No Arabic abstract
This paper investigates the homology of the Brauer algebras, interpreted as appropriate Tor-groups, and shows that it is closely related to the homology of the symmetric group. Our main results show that when the defining parameter of the Brauer algebra is invertible, then the homology of the Brauer algebra is isomorphic to the homology of the symmetric group, and that when the parameter is not invertible, this isomorphism still holds in a range of degrees that increases with n.
This paper studies the homology and cohomology of the Temperley-Lieb algebra TL_n(a), interpreted as appropriate Tor and Ext groups. Our main result applies under the common assumption that a=v+v^{-1} for some unit v in the ground ring, and states that the homology and cohomology vanish up to and including degree (n-2). To achieve this we simultaneously prove homological stability and compute the stable homology. We show that our vanishing range is sharp when n is even. Our methods are inspired by the tools and techniques of homological stability for families of groups. We construct and exploit a chain complex of planar injective words that is analogous to the complex of injective words used to prove stability for the symmetric groups. However, in this algebraic setting we encounter a novel difficulty: TL_n(a) is not flat over TL_m(a) for m<n, so that Shapiros lemma is unavailable. We resolve this difficulty by constructing what we call inductive resolutions of the relevant modules. Vanishing results for the homology and cohomology of Temperley-Lieb algebras can also be obtained from existence of the Jones-Wenzl projector. Our own vanishing results are in general far stronger than these, but in a restricted case we are able to obtain additional vanishing results via existence of the Jones-Wenzl projector. We believe that these results, together with the second authors work on Iwahori-Hecke algebras, are the first time the techniques of homological stability have been applied to algebras that are not group algebras.
In this paper we compute the singular homology of the space of immersions of the circle into the $n$-sphere. Equipped with Chas-Sullivans loop product these homology groups are graded commutative algebras, we also compute these algebras. We enrich Morse spectral sequences for fibrations of free loop spaces together with loop products, this offers some new computational tools for string topology.
Springer varieties are studied because their cohomology carries a natural action of the symmetric group $S_n$ and their top-dimensional cohomology is irreducible. In his work on tangle invariants, Khovanov constructed a family of Springer varieties $X_n$ as subvarieties of the product of spheres $(S^2)^n$. We show that if $X_n$ is embedded antipodally in $(S^2)^n$ then the natural $S_n$-action on $(S^2)^n$ induces an $S_n$-representation on the image of $H_*(X_n)$. This representation is the Springer representation. Our construction admits an elementary (and geometrically natural) combinatorial description, which we use to prove that the Springer representation on $H_*(X_n)$ is irreducible in each degree. We explicitly identify the Kazhdan-Lusztig basis for the irreducible representation of $S_n$ corresponding to the partition $(n/2,n/2)$.
We introduce a new homology theory of compact orbifolds called stratified simplicial homology (or st-homology for short) from some special kind of triangulations adapted to the orbifolds. In the definition of st-homology, the orders of the local groups of the points in an orbifold is encoded in the boundary map so that the theory can capture some structural information of the orbifold. We can prove that st-homology is an invariant under orbifold isomorhpisms and more generally under homotopy equivalences that preserve the orders of the local groups of all the strata. It turns out that the free part of st-homology of an orbifold can be interpreted by the usual simplicial homology of the orbifold and its singular set. So it is the torsion part of st-homology that can really give us new information of an orbifold. In general, the size of the torsion in the st-homology group of a compact orbifold is a nonlinear function on the orders of the local groups of the singular points which may reflect the complexity and the correlation of the singular points in the orbifold. Moreover, we introduce a wider class of objects called pseudo-orbifolds and develop the whole theory of st-homology in this setting.
The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category A. It is known that the category of bicommutative (i.e. commutative and cocommutative) Hopf algebras over a field k is an abelian category. Denote the category by H. In this paper, we give some ways to construct H-valued homology theories. As a main result, we give H-valued homology theories whose coefficients are neither group Hopf algebras nor function Hopf algebras. The examples contain not only ordinary homology theories but also extraordinary ones.