English

Non-Formality of $S^2$ via the free loop space

Algebraic Topology 2024-05-21 v1

Abstract

We show that the E1E_1-equivalence C(S2)H(S2)C^\bullet(S^2) \simeq H^\bullet(S^2) does not intertwine the inclusion of constant loops into the free loop space S2LS2S^2 \to LS^2. That is, the isomorphism HH(H(S2))H(LS2)HH_\bullet(H^\bullet(S^2)) \cong H^\bullet(LS^2) does not preserve the obvious maps to H(S2)H^\bullet(S^2) that exist on both sides. We give an explicit computation of the defect in terms of the EE_\infty-structure on C(S2)C^\bullet(S^2). Finally, we relate our calculation to recent work of Poirier-Tradler on the string topology of S2S^2.

Keywords

Cite

@article{arxiv.2405.12047,
  title  = {Non-Formality of $S^2$ via the free loop space},
  author = {Ryan McGowan and Florian Naef and Brian O'Callaghan},
  journal= {arXiv preprint arXiv:2405.12047},
  year   = {2024}
}

Comments

12 pages