Equivariant Pieri Rule for the homology of the affine Grassmannian

An explicit rule is given for the product of the degree two class with an arbitrary Schubert class in the torus-equivariant homology of the affine Grassmannian. In addition a Pieri rule (the Schubert expansion of the product of a special Schubert class with an arbitrary one) is established for the equivariant homology of the affine Grassmannians of SL _n and a similar formula is conjectured for Sp _2n and SO _2n+1. For SL _n the formula is explicit and positive. By a theorem of Peterson these compute certain products of Schubert classes in the torus-equivariant quantum cohomology of flag varieties. The SL _n Pieri rule is used in our recent definition of k-double Schur functions and affine double Schur functions.     

A basis for the non-crossing partition lattice top homology

We find a basis for the top homology of the non-crossing partition lattice T _n . Though T _n is not a geometric lattice, we are able to adapt techniques of Björner (A. Björner, On the homology of geometric lattices. Algebra Universalis 14 (1982), no. 1, 107–128) to find a basis with C _n?1 elements that are in bijection with binary trees. Then we analyze the action of the dihedral group on this basis.     

On the topology of two partition posets with forbidden block sizes

We study two subposets of the partition lattice obtained by restricting block sizes. The first consists of set partitions of {1,…,n} with block size at most k, for k≤n−2. We show that the order complex has the homotopy type of a wedge of spheres, in the cases 2k+2≥n and n=3k+2. For 2k+2>n, the posets in fact have the same S_n−1-homotopy type as the order complex of Π_n−1, and the S_n-homology representation is the “tree representation” of Robinson and Whitehouse. We present similar results for the subposet of Π_n in which a unique block size k≥3 is forbidden. For 2k≥n, the order complex has the homotopy type of a wedge of (n−4)-spheres. The homology representation of S_n can be simply described in terms of the Whitehouse lifting of the homology representation of Π_n−1.     

Simplicial complexes of triangular Ferrers boards

We study the simplicial complex that arises from non-attacking rook placements on a subclass of Ferrers boards that have a _i rows of length i where a _i >0 and i≤n for some positive integer n. In particular, we will investigate enumerative properties of their facets, their homotopy type, and homology.     

Central extensions of generalized orthosymplectic Lie superalgebras

We completely determine the universal central extension of the generalized orthosymplectic Lie superalgebra osp _m|2n (R,-) that is coordinatized by an arbitrary unital associative superalgebra (R,-) with superinvolution. As a result, an identification between the second homology group of the Lie superalgebra osp _m|2n (R,-) and the first skew-dihedral homology group of the associative superalgebra (R,-) with superinvolution is created for positive integers m and n with (m,n) ≠ (1,1) and (m, n) ≠ (2,1). The second homology groups of the Lie superalgebras osp_1|2(R,-) and osp_2|2(R,-) are also characterized explicitly.     

Torsion in the matching complex and chessboard complex

Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Björner, Lovász, Vre?ica and ?ivaljevi? established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we show that the conjecture is true by establishing the nonvanishing of integral homology in the degrees given by these bounds. Moreover, we show that for sufficiently large n, the bottom nonvanishing homology of the matching complex Mn is an elementary 3-group, improving a result of Bouc, and that the bottom nonvanishing homology of the chessboard complex Mn,n is a 3-group of exponent at most 9. When , the bottom nonvanishing homology of Mn,n is shown to be Z₃. Our proofs rely on computer calculations, long exact sequences, representation theory, and tableau combinatorics.     

Homology of braid groups,the Burau representation,and points on superelliptic curves over finite fields

The (reduced) Burau representation V _n of the braid group B _n is obtained from the action of B _n on the homology of an infinite cyclic cover of the disc with n punctures. In this paper, we calculate H _*(B _n ; V _n ). Our topological calculation has the following arithmetic interpretation (which also has different algebraic proofs): the expected number of points on a random superelliptic curve of a fixed genus over F _q is q.     

Batalin-Vilkovisky algebras and the J-homomorphism

Let X be a topological space. The homology of the iterated loop space H_∗ΩnX is an algebra over the homology of the framed n-disks operad H_∗fDn [E. Getzler, Batalin-Vilkovisky algebras and two-dimensional topological field theories, Comm. Math. Phys. 159 (2) (1994) 265-285; P. Salvatore, N. Wahl, Framed discs operads and Batalin-Vilkovisky algebras, Q. J. Math. 54 (2) (2003) 213-231]. We explicitly determine this H_∗fDn-algebra structure on H_∗(ΩnX;Q). We show that the action of H_∗(SO(n)) on the iterated loop space H_∗ΩnX is related to the J-homomorphism and that the BV-operator on H_∗(Ω²X) vanishes on spherical classes only in characteristic other than 2.     

Cherednik algebras, W-algebras and the equivariant cohomology of the moduli space of instantons on A 2

We construct a representation of the affine W-algebra of ${\mathfrak{g}}{\mathfrak{l}}_{r}$ on the equivariant homology space of the moduli space of U _r -instantons, and we identify the corresponding module. As a corollary, we give a proof of a version of the AGT conjecture concerning pure N=2 gauge theory for the group SU(r). Our approach uses a deformation of the universal enveloping algebra of W _1+∞, which acts on the above homology space and which specializes to $W({\mathfrak{g}}{\mathfrak{l}}_{r})$ for all r. This deformation is constructed from a limit, as n tends to ∞, of the spherical degenerate double affine Hecke algebra of GL _n .     

Abelian groups with a vanishing homology group

An abelian group A is called absolutely abelian, if in every central extension N ? G ? A the group G is also abelian. The abelian group A is absolutely abelian precisely when the Schur multiplicator H₂A vanished. These groups, and more generally groups with H_nA = 0 for some n, are characterized by elementary internal properties. (Here H₁A denotes the integral homology of A.) The cases of even n and odd n behave strikingly different. There are 2^?ο different isomorphism types of abelian groups A with reduced torsion subgroup satisfying H_2nA = 0. The major tools are direct limit arguments and the Lyndon-Hochschild-Serre (L-H-S) spectral sequence, but the treatment of absolutely abelian groups does not use spectral sequences. All differentials d^r for r ≥ 2 in the L-H-S spectral sequence of a pure abelian extension vanish. Included is a proof of the folklore theorem, that homology of groups commutes with direct limits also in the group variable, and a discussion of the L-H-S spectral sequence for direct limits.     

The homology of the cyclic coloring complex of simple graphs

Let G be a simple graph on n vertices, and let χG(λ) denote the chromatic polynomial of G. In this paper, we define the cyclic coloring complex, Δ(G), and determine the dimensions of its homology groups for simple graphs. In particular, we show that if G has r connected components, the dimension of (n−3)rd homology group of Δ(G) is equal to (n−(r+1)) plus , where is the rth derivative of χG(λ). We also define a complex ΔC(G), whose r-faces consist of all ordered set partitions [B₁,…,Br+2] where none of the Bi contain an edge of G and where 1∈B₁. We compute the dimensions of the homology groups of this complex, and as a result, obtain the dimensions of the multilinear parts of the cyclic homology groups of C[x₁,…,xn]/{xixj|ij is an edge of G}. We show that when G is a connected graph, the homology of ΔC(G) has nonzero homology only in dimension n−2, and the dimension of this homology group is . In this case, we provide a bijection between a set of homology representatives of ΔC(G) and the acyclic orientations of G with a unique source at v, a vertex of G.     

Homology representations arising from the half cube, II

In a previous work, we defined a family of subcomplexes of the n-dimensional half cube by removing the interiors of all half cube shaped faces of dimension at least k, and we proved that the reduced homology of such a subcomplex is concentrated in degree k−1. This homology module supports a natural action of the Coxeter group W(Dn) of type D. In this paper, we explicitly determine the characters (over C) of these homology representations, which turn out to be multiplicity free. Regarded as representations of the symmetric group Sn by restriction, the homology representations turn out to be direct sums of certain representations induced from parabolic subgroups. The latter representations of Sn agree (over C) with the representations of Sn on the (k−2)-nd homology of the complement of the k-equal real hyperplane arrangement.     

Homology of certain algebras defined by graphs

Let K(G) for a finite graph G with vertices v₁,...,v_n denote the K-algebra with generators X₁,...,X_n and defining relations X_iX_j=X_jX_i if and only if v_i is not connected to v_j by an edge in G. We describe centralizers of monomials, show that the centralizer of a monomial is again a graph algebra, prove a unique factorization theorem for factorizations of monomials into commuting factors, compute the homology of K(G), and show that K(G) is the homology ring of a certain loop space. We also construct a K(π, 1) explicitly where π is the group with generators X₁,...,X_n and defining relations X_iX_j=X_jX_i if and only if v_i is not connected to v_j by an edge in G.     

Stable Comparison of Multidimensional Persistent Homology Groups with Torsion

The present lack of a stable method to compare persistent homology groups with torsion is a relevant problem in current research about Persistent Homology and its applications in Pattern Recognition. In this paper we introduce a pseudo-distance d _T that represents a possible solution to this problem. Indeed, d _T is a pseudo-distance between multidimensional persistent homology groups with coefficients in an Abelian group, hence possibly having torsion. Our main theorem proves the stability of the new pseudo-distance with respect to the change of the filtering function, expressed both with respect to the max-norm and to the natural pseudo-distance between topological spaces endowed with ? ⁿ -valued filtering functions. Furthermore, we prove a result showing the relationship between d _T and the matching distance in the 1-dimensional case, when the homology coefficients are taken in a field and hence the comparison can be made.     

Homology of iterated loop spaces of homogeneous spaces associated with exceptional Lie groups

We study the mod 2 homology of the double and triple loop spaces of homogeneous spaces associated with exceptional Lie groups. The main computational tools are the Serre spectral sequence for fibrations Ωⁿ⁺¹G→Ωⁿ⁺¹(G/H)→ΩⁿH for n=1,2, and the Eilenberg-Moore spectral sequence associated with related fiber squares, which both converge to the same destination space H_∗(Ωⁿ(G/H);F₂). We also develop the generalized Bockstein lemma to determine the higher Bockstein actions.     

Mod p homology of the stable mapping class group

We calculate the homology of the mapping class group Γ_g,n in the stable range. The calculation is based on Madsen and Weiss’ proof of the “Generalised Mumford Conjecture”: Γ_g,n has the same homology as a component of the space in the stable range.     

Homology of gauge groups associated with special unitary groups

We study the homology of gauge groups associated with principal SU(n) bundles over the four-sphere. After computing the mod p homology of based gauge groups of SU(n) by combined use of the Serre spectral sequence and the Eilenberg-Moore spectral sequence, we compute the modp homology of gauge groups of SU(n) using the Serre spectral sequence for the evaluation fibration.     

Realizing modules over the homology of a DGA

Let A be a DGA over a field and X a module over H_∗(A). Fix an A_∞-structure on H_∗(A) making it quasi-isomorphic to A. We construct an equivalence of categories between A_n+1-module structures on X and length n Postnikov systems in the derived category of A-modules based on the bar resolution of X. This implies that quasi-isomorphism classes of A_n-structures on X are in bijective correspondence with weak equivalence classes of rigidifications of the first n terms of the bar resolution of X to a complex of A-modules. The above equivalences of categories are compatible for different values of n. This implies that two obstruction theories for realizing X as the homology of an A-module coincide.     

A polar de Rham theorem

We prove an analogue of the de Rham theorem for polar homology; that the polar homology HP_q(X) of a smooth projective variety X is isomorphic to its H^n,n−q Dolbeault cohomology group. This analogue can be regarded as a geometric complexification where arbitrary (sub)manifolds are replaced by complex (sub)manifolds and de Rham's operator d is replaced by Dolbeault's .     

Local n-connectivity of decomposition spaces

A corollary of the main result of this paper is the following Theorem. Suppose f: X → Y is a closed surjection of metrizable spaces whose point inverses are LC^{n + 1}-divisors (n ? 1). If Y is complete and f is homology n-stable, then Y is LC^{n + 1}provided X is LC^{n + 1}.Intuitively, f is homology n-stable if the ?ech homology groups of its point inverses are locally constant up to dimension n. In addition, we obtain sufficient conditions for the Freudenthal compactification to be LCⁿ.