{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q982160","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q982160","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q982160","kernelVersion":"v1","immutable":true,"modified":"2026-03-27T16:49:25Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q982160","name":"Topological Hochschild homology of Thom spectra and the free loop space","headline":"Topological Hochschild homology of Thom spectra and the free loop space","description":"scientific article; zbMATH DE number 5730921","url":"https://portal.mardi4nfdi.de/entity/Q982160","datePublished":"2010-07-06","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q404269"},{"@id":"https://portal.mardi4nfdi.de/entity/Q222100"},{"@id":"https://portal.mardi4nfdi.de/entity/Q456796"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q258878"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.2140/GT.2010.14.1165","url":"https://doi.org/10.2140/GT.2010.14.1165"},"sameAs":["https://doi.org/10.2140/GT.2010.14.1165"],"comment":"The paper under review identifies the topological Hochschild homology of ring spectra that arise as Thom spectra for loop maps \\( f: X \\to BF\\). Here \\(BF\\) is the colimit of the classifying spaces \\(BF(n)\\), where \\(F(n)\\) is the topological monoid of base-point preserving homotopy equivalences of \\(S^n\\), the \\(n\\)-sphere. Letting \\(EF(n)\\) denote the one-sided bar construction \\(B(*, \\, F(n), \\, S^n)\\), the Thom space of a map \\(f: X \\to BF(n)\\) is defined as the quotient space  \\[ T(f) = f^* EF(n)/X, \\]  where \\(F^*EF(n)\\) is the pullback of \\(EF(n)\\). For more details about the Lewis-May Thom spectrum functor, see \\textit{L. G. Lewis jun., J. P. May} and \\textit{M. Steinberger} [Equivariant stable homotopy theory. With contributions by J. E. McClure, Lect. Notes Math. 1213 (1986; Zbl 0611.55001)]. To describe the main theorem of the paper, let \\(B\\) be a connected space, \\(L(B)\\) its free loop space, and \\(\\Omega (B)\\) the based loop space. When \\(B\\) is a homotopy associative and commutative \\(H\\)-space, \\(L(B)\\) is as well, and there is a (non-equivariant) equivalence of \\(H\\)-spaces  \\[ L(B) \\overset{\\simeq}{\\longrightarrow} \\Omega(B) \\times B. \\]  Thus,  \\[ L(B^2F) \\simeq \\Omega (B^2F) \\times B^2F \\simeq BF \\times B^2F. \\]  The Hopf fibration \\(S^3 \\to S^2\\) induces a map  \\[  \\eta : B^2F \\simeq {\\text{Map}}_*(S^2, \\;B^4F) \\to {\\text{Map}}_*(S^3, \\;B^4F) \\simeq BF.  \\]  Let \\(f: X \\to BF\\) be the loop map associated to a map of based spaces \\(Bf : BX \\to B^2f\\). Then there is a natural stable equivalence  \\[ THH (T(f)) \\simeq T(L^{\\eta}(Bf)), \\]  where \\(L^{\\eta}(Bf)\\) denotes the composite  \\[ L(BX) \\overset{L(Bf)}{\\longrightarrow} L(B^2F) \\simeq BF \\times B^2F \\overset{{\\mathbf{1}}\\times \\eta}{\\longrightarrow} BF \\times {BF}  BF. \\]  Moreover, if \\(f\\) is a 2-fold loop map, then there is a stable equivalence  \\[ THH(T(f)) \\simeq T(f) \\wedge T(\\eta \\circ Bf). \\]  These results are applied to the classical cobordism spectra \\(MG\\), yielding  \\[ THH(MG) \\simeq MG \\wedge BBG_+ , \\]  where \\(G\\) denotes a stabilized Lie group \\(O\\), \\(SO\\), \\(Spin\\), \\(U\\), or \\(Sp\\). The theorem is also applied to the Eilenberg-MacLane spectra \\(H{\\mathbf{Z}}/p\\) and \\(H{\\mathbf{Z}}\\), recovering a result of \\textit{M. Bökstedt} [``The topological Hochschild homology of \\({\\mathbf{Z}}\\) and \\({\\mathbf{Z}}/p\\), preprint (1990)]. Thus, there are stable equivalences  \\[ \\begin{aligned} & THH(H{\\mathbf{Z}}/p) \\simeq H{\\mathbf{Z}}/p \\wedge \\Omega(S^3)_+ \\\\ & THH(H{\\mathbf{Z}}) \\simeq H{\\mathbf{Z}} \\wedge \\Omega(S^3 \\langle 3 \\rangle)_+, \\end{aligned} \\]  where \\(S^3 \\langle 3 \\rangle\\) denotes the 3-connected cover of \\(S^3\\). The authors work through symmetric monoidal models of the category of spaces over \\(BF\\) as well as strong symmetric monoidal Thom spectrum functors.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2934811"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3541584"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1964127"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1772010"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4930548"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5550395"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4191283"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2559986"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2464927"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4191271"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1246762"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4896538"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4716283"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1061204"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4790109"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4700183"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3475996"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4867806"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1087179"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2265229"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4215784"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1131756"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2752112"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3923270"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2766397"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2554903"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4084413"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1233239"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3866801"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3414127"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4485837"},{"@id":"https://portal.mardi4nfdi.de/entity/Q456797"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5392976"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1882828"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2464452"},{"@id":"https://portal.mardi4nfdi.de/entity/Q845276"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4487605"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2562634"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1845239"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1970564"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5571606"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2560474"},{"@id":"https://portal.mardi4nfdi.de/entity/Q598657"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3868473"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4192669"}]},"provenance":{"prov:generatedAtTime":"2026-03-27T16:49:25Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}