Let be a closed, connected -manifold. Let denote the Thom spectrum of its stable normal bundle. A well known theorem of Atiyah states that is homotopy equivalent to the Spanier-Whitehead dual of with a disjoint basepoint, . This dual can be viewed as the function spectrum, , where is the sphere spectrum. has the structure of a commutative, symmetric ring spectrum in the sense of \cite{hss}, \cite{ship}. In this paper we prove that 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, . We discuss applications of this to Hochshield cohomology representations of the Chas-Sullivan loop product in the homology of the free loop space of .

生成讲解博客的中文版本

生成AI智能校验的中文版本