| Title:
|
Non-formality of $S^2$ via the free loop space (English) |
| Author:
|
McGowan, Ryan |
| Author:
|
Naef, Florian |
| Author:
|
O'Callaghan, Brian |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
9 |
| Issue:
|
2 |
| Year:
|
2025 |
| Pages:
|
198-210 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
We show that the $E_1$-equivalence $C^{\bullet}(S^{2}) \simeq H^{\bullet}(S^{2})$ does not intertwine the inclusion of constant loops into the free loop space $S^2 \rightarrow LS^2$. That is, the isomorphism $HH_{\bullet}(H^{\bullet}(S^2)) \simeq H^{\bullet}(LS^2)$ does not preserve the obvious maps to $H^{\bullet}(S^{2})$ that exist on both sides. We give an explicit computation of the defect in terms of the $E_{\infty}$-structure on $C^{\bullet}(S^{2})$. Finally, we relate our calculation to recent work of Poirier-Tradler on the string topology of $S^2$. (English) |
| Keyword:
|
string topology |
| Keyword:
|
algebraic topology |
| Keyword:
|
operads |
| Keyword:
|
free loop space |
| MSC:
|
16E40 |
| MSC:
|
18M80 |
| MSC:
|
55P35 |
| MSC:
|
55P50 |
| idMR:
|
MR4994255 |
| DOI:
|
10.21136/HS.2025.15 |
| . |
| Date available:
|
2026-03-13T14:53:50Z |
| Last updated:
|
2026-03-13 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153497 |
| . |
| Reference:
|
[1] Ayala, David, Francis, John: Factorization homology of topological manifolds.Journal of Topology, Vol. 8, Iss. 4, 1045-1084 MR 3431668 |
| Reference:
|
[2] Berger, Clemens, Fresse, Benoit: Combinatorial operad actions on cochains.Mathematical proceedings of the cambridge philosophical society, pp 135-174 MR 2075046 |
| Reference:
|
[3] Dugger, Daniel: A primer on homotopy colimits.preprint |
| Reference:
|
[4] Heuts, Gijs, Land, Markus: Formality of $\mathbb{E}_n$-algebras and cochains on spheres.https://arxiv.org/abs/2407.00790 |
| Reference:
|
[5] Jones, John DS: Cyclic homology and equivariant homology.Inventiones mathematicae, Vol. 87, Iss. 2, 403-423 10.1007/BF01389424 |
| Reference:
|
[6] Loday, Jean-Louis: Cyclic homology. A series of comprehensive studies in mathematics.Springer |
| Reference:
|
[7] Mandell, M.: Towards formality.Indiana University; mmandell.pages.iu.edu/talks/Austin3.pdf |
| Reference:
|
[8] McClure, James, Smith, Jeffrey: Multivariable cochain operations and little n-cubes.Journal of the American Mathematical Society, Vol. 16, Iss. 3, 681-704 MR 1969208, 10.1090/S0894-0347-03-00419-3 |
| Reference:
|
[9] Poirier, Kate, Tradler, Thomas: A note on the string topology BV-algebra for ${S}^2$ with $\mathbb{Z}_2$ coefficients.arXiv preprint arXiv:2301.05381 MR 4682718 |
| Reference:
|
[10] Steenrod, Norman E: Products of cocycles and extensions of mappings.Annals of Mathematics, 290-320 |
| Reference:
|
[11] Tradler, Thomas: Infinity-inner-products on A-infinity-algebras.J. Homotopy Relat. Struct., Vol. 3, Iss. 1, 245-271 MR 2426181 |
| Reference:
|
[12] Ungheretti, Massimiliano: Free loop space and the cyclic bar construction.Bulletin of the London Mathematical Society, Vol. 49, Iss. 1, 95-101 MR 3653104, 10.1112/blms.12007 |
| . |