No Arabic abstract
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.
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.
We give a new proof of an index theorem for fiber bundles of compact topological manifolds due to Dwyer, Weiss, and Williams, which asserts that the parametrized $A$-theory characteristic of such a fiber bundle factors canonically through the assembly map of $A$-theory. Furthermore our main result shows a refinement of this statement by providing such a factorization for an extended $A$-theory characteristic, defined on the parametrized topological cobordism category. The proof uses a convenient framework for bivariant theories and recent results of Gomez-Lopez and Kupers on the homotopy type of the topological cobordism category. We conjecture that this lift of the extended $A$-theory characteristic becomes highly connected as the manifold dimension increases.
The study of triangulations on manifolds is closely related to understanding the three-dimensional homology cobordism group. We review here what is known about this group, with an emphasis on the local equivalence methods coming from Pin(2)- equivariant Seiberg-Witten Floer spectra and involutive Heegaard Floer homology.