Multiplicative properties of Atiyah duality

DOI10.4310/HHA.2004.V6.N1.A15MaRDI QIDQ1770302zbMATH OpenFDO

Authors Ralph L. Cohen

Publication date 5 April 2005

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0403486, https://eudml.org/doc/51693, http://www.emis.de/journals/HHA/volumes/2004/volume6-1.htm

zbMATH Keywords

ring spectraSpanier-Whitehead duality

Mathematics Subject Classification ID

Spanier-Whitehead duality (55P25) Stable homotopy theory, spectra (55P42) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) Flatness and tameness of topological manifolds (57N45)

Abstract: Let $M^n$ be a closed, connected $n$-manifold. Let $mtm$ denote the Thom spectrum of its stable normal bundle. A well known theorem of Atiyah states that $mtm$ is homotopy equivalent to the Spanier-Whitehead dual of $M$ with a disjoint basepoint, $M_{+}$. This dual can be viewed as the function spectrum, $F(M,S)$, where $S$ is the sphere spectrum. $F(M,S)$ has the structure of a commutative, symmetric ring spectrum in the sense of cite{hss}, cite{ship}. In this paper we prove that $mtm$ also has a natural, geometrically defined, structure of a commutative, symmetric ring spectrum, in such a way that the classical duality maps of Alexander, Spanier-Whitehead, and Atiyah define an equivalence of symmetric ring spectra, $alpha:mtmoF(M,S)$. We discuss applications of this to Hochshield cohomology representations of the Chas-Sullivan loop product in the homology of the free loop space of $M$.

Review text

Let \(M^{n}\) denote a closed connected \(n\)-manifold embedded into \({\mathbb R}^{k}\) with normal bundle \(\eta\). The \(k\)-fold desuspension of the Thom space of \(\eta\), \(M^{- \tau} = \Sigma^{-k}M^{\eta}\) is a well-defined stable homotopy spectrum, independent of the embedding into Euclidean space. The duality theorem of [\textit{M. F. Atiyah}, Proc. Lond. Math. Soc., III. Ser. 11, 291--310 (1961; Zbl 0124.16301)] asserts that there is a homotopy equivalence \[ \alpha : M^{- \tau} \overset{\simeq}{\longrightarrow} F(M,S) , \] \(F(M,S)\) being the spectrum whose \(m\)-th space is the space of maps from \(M\) to the \(m\)-sphere. The author's main result is that \(M^{- \tau}\) has the structure of a commutative, symmetric ring spectrum in the sense of [\textit{M. Hovey, B. Shipley} and \textit{J. Smith}, J. Am. Math. Soc. 13, 149--208 (2000; Zbl 0931.55006)] and that \(\alpha\) may be chosen to be an equivalence of symmetric ring spectra. This result is used to fill in details in the argument of [\textit{R. L. Cohen} and \textit{J. D. S. Jones}, Math. Ann. 324, 773--798 (2002; Zbl 1025.55005)] which shows that the Hochschild cohomology \(H^{*}( C^{*}(M), C^{*}(M))\) is isomorphic to the loop algebra \({\mathbb H}(LM)\) of [\textit{M. Chas} and \textit{D. Sullivan}, String topology; ArXiv: math.GT/9911159 (1999)].

Recommendations

• A homotopy theoretic realization of string topology
• The factorization theory of Thom spectra and twisted nonabelian Poincaré duality
• Fiber products, Poincaré duality and 𝐴_{∞}-ring spectra
• The cohomology ring of free loop spaces
• scientific article; zbMATH DE number 2147295

Cited in

(18)

• Quadratic spaces
• The Hochschild cohomology of a closed manifold
• Twisted Calabi-Yau ring spectra, string topology, and gauge symmetry
• Spectral sequences for Hochschild cohomology and graded centers of derived categories
• Moduli space actions on the Hochschild co-chains of a Frobenius algebra. I: Cell operads
• Dyer-Lashof operations in the string topology of spheres and projective spaces
• On the moduli space of 𝐴_{∞}-structures
• Some properties of the Thom spectrum over loop suspension of complex projective space
• The homotopy invariance of the string topology loop product and string bracket
• The Hochschild cohomology ring of the singular cochain algebra of a space.
• The transfer map of free loop spaces
• Coassembly and the \(K\)-theory of finite groups
• String topology prospectra and Hochschild cohomology
• Duo Property Applied to Powers and Regular Elements
• Models for knot spaces and Atiyah duality
• Spanier–Whitehead duality for topological coHochschild homology
• Rational maps and string topology
• Moduli space actions on the Hochschild co-chains of a Frobenius algebra. II: Correlators

This page was built for publication: Multiplicative properties of Atiyah duality

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