Homotopy equivalences and mapping torus projections
We formulate first results of our larger project based on first fixing some easily accessible invariants of topological spaces (typically the cup product structure in low dimensions) and then studying the variations of more complex invariants such as (the homotopy Lie algebra) or (the graded Lie algebra associated to the lower central series of the fundamental group). We prove basic rigidity results and give also an application in low-dimensional topology.
Let X be a space with free loop space ΛX and mod two cohomology R = H*X. We construct functors and ℓ(R) together with algebra homomorphisms and . When X is 1-connected and R is a symmetric algebra we show that these are isomorphisms.