Cyclotomic structure in the topological Hochschild homology of \(DX\) (Q2398920)

Let \(X\) be a finite \(CW\)-complex, and consider the ring spectrum \(DX\), the Spanier-Whitehead dual of \(X\) in the category of spectra. When \(X\) is simply connected, one gets a duality \(D(\mathrm{THH}(DX)) \simeq \Sigma_+^\infty LX\), where \(\mathrm{THH}\) is topological Hochschild homology and \(LX\) is the space of free loops in \(X\) (this is a generalization to spectra of a similar duality between the Hochschild homology of the cochains of \(X\) and the cohomology of \(LX\).) The equivalence given is an equivalence of spectra with an \(S^1\)-action (Theorem 5.11), but the aim of this work is to go beyond that in the exploration of its equivariant properties. The main result is Theorem 1.1, proven in section 5 (where it appears as Corollary 5.14 of Theorem 5.13), which determines that, for each cyclic subgroup \(C_n\) of \(S^1\), the above equivalence induces equivalences of the fixed point spectra of \(D(\mathrm{THH}(DX))\) and of \(\Sigma_+^\infty LX\) (for both definitions of fixed point spectra from section 3.1: the categorical fixed points \((-)^{C_n}\) and the geometric fixed points \(\Phi^{C_n}(-)\).) This follows because the above duality \(D(\mathrm{THH}(DX)) \simeq \Sigma_+^\infty LX\) is proven to be an equivalence of cyclotomic spectra, which are defined and studied at length in section 5: a precyclotomic spectrum is an orthogonal \(S^1\)-spectrum \(T\) with additional maps of \(S^1\)-spectra \(c_n : \rho^*_n \Phi^{C_n}(T) \rightarrow T\) (where \(\rho_n\) is the obvious group isomorphism \(S^1 \rightarrow S^1/C_n\)) that are compatible by means of the commutative squares appearing in section 5.1; if, moreoever, the composite \(\rho^*_n \phi^{C_n}(cT) \rightarrow \rho_n \phi^{C_n}(T) \rightarrow T\) (where \(c\) denotes cofibrant replacement in the stable model category from section 3.1) is an equivalence of \(C_n\)-spectra for all \(n \geq 1\), it is called a cyclotomic spectrum. An important result used in the proof of Theorem 1.1 is Theorem 4.6, stating that the topological Hochschild homology of a category enriched in orthogonal spectra gives in fact a cyclotomic spectrum. The proof of the compatibility of the maps defining this structure relies on the simple and powerful Theorem 1.2, appearing in a more elaborate form as Proposition 3.19 in section 3.3: let \(G\) be a compact Lie group and let \(\Phi\) and \(F\) be functors from \(k\)-tuples of orthogonal \(G\)-spectra to orthogonal spectra such that \(\Phi(X_1, \cdots , X_k) = \Phi^G X_1 \wedge \cdots \wedge \Phi^G X_k\) for all \(k\)-tuples \((X_1, \cdots , X_k)\); if \(\eta : \Phi \rightarrow F\) is a natural transformation that is an isomorphism on every \(k\)-tuple of free \(G\)-spectra, then the only other possible natural transformation \(\Phi \rightarrow F\) is the zero natural transformation. This result is applied to other situations of high interest, determining similar rigidity conclusions for the Hill-Hopkins-Ravenel diagonal map (Theorem 3.22) and for the commutation map \(\Phi^G X \wedge \Phi^G Y \rightarrow \Phi^G(X \wedge Y)\) (Theorem 3.20), among others. A last note should be made about Proposition 5.6, coming from the previous work in section 5, with which the author proves that the homotopy categories of precyclotomic spectra and of cyclotomic spectra are tensor triangulated, and which relies on Proposition 3.24 (another consequence of Theorem 1.2) for the proof of its compatibility condition.