Uniqueness of the multiplicative cyclotomic trace

From MaRDI portal
Publication:2452072



Abstract: Making use of the theory of noncommutative motives, we characterize the topological Dennis trace map as the unique multiplicative natural transformation from algebraic K-theory to topological Hochschild homology (THH) and the cyclotomic trace map as the unique multiplicative lift through topological cyclic homology (TC). Moreover, we prove that the space of all multiplicative structures on algebraic K-theory is contractible. We also show that the algebraic K-theory functor from small stable infinity categories to spectra is lax symmetric monoidal, which in particular implies that E_n ring spectra give rise to E_{n-1} ring algebraic K-theory spectra. Along the way, we develop a "multiplicative Morita theory", establishing a symmetric monoidal equivalence between the infinity category of small idempotent-complete stable infinity categories and the Morita localization of the infinity category of spectral categories.


The authors characterize the topological Dennis trace map and the cyclotomic trace map. The techniques are from the noncommutative theory of motives and the homotopy theory of \(E_\infty\) categories and exact functors. More precisely, let \(Cat_\infty^{perf}\) denote the \(\infty\)-category of small idempotent-complete stable \(\infty\)-categories and exact functors. Let \(\mathcal{S}_\infty\) denote the stable \(\infty\)-category of spectra. As applications of their techniques, they have the following Theorem 7.3. The space of maps of \(E_\infty\) algebras from \(K\) to \(THH\) in \(Fun_{add}(Cat_\infty^{perf},\mathcal{S}_\infty)^\otimes\) is contractible. Equivalently, the space of natural transformations of lax symmetric monodical functors from \(K\to THH\) in \(Fun_{add}^{lax}(Cat_\infty^{perf},\mathcal{S}_\infty)\) is contractible. The unique element of this space is the topological Dennis trace map. Here \(K\) denotes the non-connective algebraic \(K\)-theory spectrum and \(THH\) topological Hochschild homology. The next case is that of the cyclotomic trace: Theorem 7.4. The space of maps of \(E_\infty\) algebras from \(K\to TC^n\) in \(Fun_{add}(Cat_\infty^{perf},\mathcal{S}_\infty)^\otimes\) is contractible. The unique homotopy class of maps of \(E_\infty\) algebras in \(Fun_{add}(Cat_\infty^{perf},\mathcal{S}_\infty)^\otimes\) from \(K\) to \(TC\) that restricts to maps of \(E_\infty\) algebras \(K\to TC^n\) is the cyclotomic trace.



Cites work


Cited in
(36)








This page was built for publication: Uniqueness of the multiplicative cyclotomic trace

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