The generalized Harer conjecture for the homology triviality

Loop space machines and operads in algebraic topology (55P48) Maps between classifying spaces in algebraic topology (55R37) 2-dimensional topology (including mapping class groups of surfaces, Teichmüller theory, curve complexes, etc.) (57K20)

Abstract: The classical Harer conjecture is about the stable homology triviality of the obvious embedding

p h i : B_{2 g + 2} h o o k r i g h t a r r o w G a m m a_{g}

, which was proved by Song and Tillmann. The main part of the proof is to show that

B p h i^{+} : B B_{i n f t y}^{+} i g h t a r r o w B G a m m a_{i n f t y}^{+}

induced from

p h i

is a double loop space map. In this paper, we give a proof of the generalized Harer conjecture which is about the homology triviality for an

a r b i t r a r y

embedding

p h i : B_{n} h o o k r i g h t a r r o w G a m m a_{g, k}

. We first show that it suffices to prove it for a

r e g u l a r

embedding in which all atomic surfaces are regarded as identical and each atomic twist is a {it simple twist} interchanging two identical sub-parts of atomic surfaces. The main strategy of the proof is to show that the map

P h i : m a t h c a l C i g h t a r r o w m a t h c a l S

induced by

B p h i : c o n f_{n} (D) i g h t a r r o w m a t h c a l M_{g, k}

preserves the actions of the framed little 2-disks operad.

Recommendations

This page was built for publication: The generalized Harer conjecture for the homology triviality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6403268)