Models for knot spaces and Atiyah duality

DOI10.2140/AGT.2024.24.183MaRDI QIDQ6131552zbMATH OpenOpenAlexFDO

Authors Syunji Moriya

Publication date 5 April 2024

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2003.03815

zbMATH Keywords

operadembedding calculusknot space

Mathematics Subject Classification ID

Embeddings in differential topology (57R40) Homotopical algebra, Quillen model categories, derivators (18N40) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) Spectral sequences in algebraic topology (55T99) Topological and simplicial operads (18M75)

Abstract: Let $mathrmEmb(S^1,M)$ be the space of smooth embeddings from the circle to a closed manifold $M$ of dimension $geq4$. We study a cosimplicial model of $mathrmEmb(S^1,M)$ in stable categories, using a spectral version of Poincar'e-Lefschetz duality called Atiyah duality. We actually deal with a notion of a comodule instead of the cosimplicial model, and prove a comodule version of the duality. As an application, we introduce a new spectral sequence converging to $H^{\ast }(mathrmEmb(S^1,M))$ for simply connected $M$ and for major coefficient rings. Using this, we compute $H^{\ast }(mathrmEmb(S^1,S^{k}imes{S}^l))$ in low degrees with some conditions on $k$, $l$. We also prove the inclusion $mathrmEmb(S^1,M)omathrmImm(S^1,M)$ to the immersions induces an isomorphism on $p{i}_1$ for some simply connected $4$-manifolds, related to a question posed by Arone and Szymik. We also prove an equivalence of singular cochain complex of $mathrmEmb(S^1,M)$ and a homotopy colimit of chain complexes of a Thom spectrum of a bundle over a comprehensible space. Our key ingredient is a structured version of the duality due to R. Cohen.

Recommendations

• Formality of Sinha's cosimplicial model for long knots spaces and the Gerstenhaber algebra structure of homology
• The topology of spaces of knots: cosimplicial models
• Homotopy graph-complex for configuration and knot spaces
• Multiplicative formality of operads and Sinha's spectral sequence for long knots
• Goodwillie's cosimplicial model for the space of long knots and its applications

Cites work

• scientific article; zbMATH DE number 993350 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 851208 (Why is no real title available?)
• scientific article; zbMATH DE number 2207697 (Why is no real title available?)
• A homotopy theoretic realization of string topology
• A model for configuration spaces of points
• A\({}_{\infty}\)-algebras and the cyclic bar complex
• Algebraic operads
• An algebraic model for commutative \(H\mathbb{Z}\)-algebras
• Bousfield-Kan completion of homotopy limits.
• Configuration spaces of algebraic varieties
• Embeddings from the point of view of immersion theory. I
• Embeddings from the point of view of immersion theory. II
• Galois symmetries of knot spaces
• Homology and central series of groups
• Homotopy theory of nonsymmetric operads
• Manifold calculus and homotopy sheaves
• Manifold-theoretic compactifications of configuration spaces
• Model categories of diagram spectra
• Multiple disjunction for spaces of smooth embeddings
• Multiplicative properties of Atiyah duality
• On the Homology Spectral Sequence of a Cosimplicial Space
• On the homotopy groups of symmetric spectra
• On the rational homology of high-dimensional analogues of spaces of long knots
• Operads and PROPs
• Operads and knot spaces
• Shorter Notes: The Whitehead Theorem for Nilpotent Spaces
• Spaces of knotted circles and exotic smooth structures
• The Cohomology of Certain Function Spaces
• The Lambrechts-Stanley model of configuration spaces
• The rational homology of spaces of long knots in codimension \(> 2\)
• The topology of spaces of knots: cosimplicial models
• Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence

This page was built for publication: Models for knot spaces and Atiyah duality

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