---
title: Cyclotomic Spectra Overview
url: https://www.emergentmind.com/topics/cyclotomic-spectra
type: topic
---

# Cyclotomic Spectra Overview

Searching arXiv for recent and foundational papers on cyclotomic spectra.
Searching arXiv for work on real cyclotomic spectra and synthetic/categorical refinements.
Cyclotomic spectra are spectra equipped with circle-equivariant structure together with Frobenius-type maps that identify finite-subgroup fixed-point information with the original object in a homotopically coherent way. They abstract the extra structure carried by topological Hochschild homology, and they are the input from which topological cyclic homology is constructed. In the classical genuine \(S^1\)-equivariant formulation, a cyclotomic spectrum is a genuine \(S^1\)-spectrum \(T\) with equivalences \(r_m:\Phi^{C_m}(T)\xrightarrow{\simeq}T\) satisfying \(r_1=\mathrm{id}\) and \(r_n\circ r_m=r_{nm}\); in modern \(p\)-typical formulations, the same idea is encoded by a spectrum with \(S^1\)- or \(\mu_{p^\infty}\)-action together with a cyclotomic Frobenius \(X\to X^{tC_p}\) [1003.2810, 1909.03920].

## 1. Classical and modern formulations

The first structural distinction is between mere circle actions and cyclotomic structure. A spectrum with \(S^1\)-action is not yet cyclotomic; one must also specify maps involving geometric fixed points or Tate constructions. In the Blumberg–Mandell point-set framework, a \(p\)-pre-cyclotomic spectrum is a genuine \(S^1\)-spectrum \(X\) with a cyclotomic structure map \(\varphi_X:\Phi X\to X\), where \(\Phi=\rho_p^*\Phi^{C_p}\), and a cyclotomic spectrum is a pre-cyclotomic spectrum satisfying additional homotopy conditions. The corresponding “all primes” version uses maps \(\Phi_n X\to X\) for all finite subgroups \(C_n\subset S^1\) [2412.15928, 1303.1694].

The modern \(p\)-typical Nikolaus–Scholze-style formulation replaces much of the genuine equivariant apparatus by Borel \(S^1\)-equivariant data plus Tate constructions. For a prime \(p\), a \(p\)-cyclotomic spectrum can be presented as an object of
\[
\CycSp_p
=
\operatorname{LEq}\!\Big(
\Sp^{h\mu_{p^\infty}}
\;\substack{\xrightarrow{\;\mathrm{id}\;}\\[-0.25em]\xrightarrow[\;(-)^{t\mu_p}\;]{}}
\Sp^{h\mu_{p^\infty}}
\Big),
\]
so concretely as a spectrum \(X\) with \(\mu_{p^\infty}\)-action and a \(\mu_{p^\infty}\)-equivariant map \(X\to X^{t\mu_p}\) [1909.03920].

A central comparison theorem is that genuine and Borel models agree on bounded-below objects. In the ordinary cyclotomic setting, the forgetful functor from genuine cyclotomic spectra to Borel cyclotomic spectra restricts to an equivalence on bounded-below subcategories; the same pattern reappears in the Real theory discussed below [2112.07462]. This resolves a frequent misunderstanding: the Borel presentation is not a different invariant in the bounded-below range, but a different model for the same homotopy theory.

The classical geometric intuition remains important. For a space \(Y\), the free loop space \(LY\) has its canonical \(S^1\)-action by loop rotation, and the map sending a loop to its \(k\)-fold cover identifies \(LY\) with \((LY)^{C_k}\) after rescaling the circle action. This is the prototype for the cyclotomic structure on \(THH\), and it explains why cyclotomic spectra encode power maps on loops rather than only equivariance [2405.18370].

## 2. \(THH\), \(TC\), and trace maps

Cyclotomic spectra arise because \(THH\) carries exactly the requisite structure. For a ring spectrum or a small stable \(\infty\)-category \(\mathcal A\), \(THH(\mathcal A)\) is built from a cyclic bar construction, hence carries a canonical \(S^1\)-action, and refined constructions produce Frobenius maps
\[
\varphi_p:\THH(\mathcal A)^{tC_p}\to \THH(\mathcal A)
\]
or, in the modern direction, maps \(\THH(\mathcal A)\to \THH(\mathcal A)^{tC_p}\) depending on conventions. The basic example already appears for free loop spaces, and the classical ring-spectrum example is \(THH(A)\) for a ring or ring spectrum \(A\) [1103.3923, 1003.2810].

Topological cyclic homology is extracted from this cyclotomic structure. In the classical Bökstedt–Hsiang–Madsen picture one forms the tower \(\mathrm{TR}^n(X)=X^{C_{p^{n-1}}}\) with Frobenius and restriction maps \(F,R:\mathrm{TR}^n(X)\rightrightarrows \mathrm{TR}^{n-1}(X)\), sets \(\mathrm{TC}^n(X)=\mathrm{holim}(F,R)\), and then \(\mathrm{TC}(X)=\mathrm{holim}_n\mathrm{TC}^n(X)\). In the Nikolaus–Scholze-style \(p\)-typical formulation one obtains the fiber formula
\[
\TC(X;p)\simeq
\fib\Big(
X^{h\mu_{p^\infty}}
\xrightarrow{\;\varphi^{h\mu_{p^\infty}}-\mathrm{can}\;}
(X^{t\mu_p})^{h\mu_{p^\infty}}
\Big),
\]
and integrally
\[
\TC(X)\simeq
\fib\Big(
X^{hS^1}
\to
\prod_p (X^{tC_p})^{hS^1}
\Big)
\]
with the two maps given by the cyclotomic Frobenius and the canonical Tate comparison [1909.03920, 2606.08109].

Cyclotomic spectra are therefore the bridge between algebraic \(K\)-theory and \(TC\). Blumberg–Gepner–Tabuada characterize the topological Dennis trace as the unique multiplicative natural transformation \(K\to THH\), and the cyclotomic trace as the unique multiplicative lift \(K\to TC\); the spaces of such multiplicative maps are contractible. They also show that the space of multiplicative structures on algebraic \(K\)-theory is contractible, so the multiplicativity of the cyclotomic trace is not an auxiliary choice [1103.3923].

This uniqueness has arithmetic consequences. In work on the fiber of the cyclotomic trace for number rings and the sphere spectrum, the relevant map is
\[
\operatorname{trc}_R:K(R)\longrightarrow TC(R),
\]
and the homotopy fiber is analyzed using the cyclotomic trace together with étale and duality-theoretic input. The role of cyclotomic spectra there is structural rather than definitional: they furnish \(TC\) and the trace map whose fiber is then identified in \(K(1)\)-local terms [1508.00014].

A further nuance is that \(TC\) is not simply another additive invariant of stable \(\infty\)-categories. The intermediate functors \(\mathrm{TC}^n\) are additive, but the inverse limit \(TC\) itself does not preserve filtered colimits, so the cyclotomic construction is intrinsically subtler than \(THH\) alone [1103.3923].

## 3. Homotopy theory and multiplicative foundations

The homotopy theory of cyclotomic spectra admits explicit model-categorical foundations. Blumberg–Mandell construct spectral model structures on the categories of cyclotomic spectra and \(p\)-cyclotomic spectra in orthogonal spectra, show that their homotopy categories are triangulated, and prove that \(TR\) and \(TC\) are corepresentable. More precisely, the derived mapping spectrum out of the sphere in the category of cyclotomic spectra corepresents the finite completion of \(TC\), while in the \(p\)-cyclotomic category it corepresents the \(p\)-completion of \(TC(-;p)\) [1303.1694].

A different foundational perspective replaces genuine equivariant data by naive equivariant spectra together with coherent generalized Tate constructions. For any compact Lie group \(G\), genuine \(G\)-spectra can be reconstructed from the naive spectra underlying their geometric fixed points, organized over the subgroup poset as a right-lax limit. Specializing to \(G=\mathbb T\), cyclotomic spectra can be described in terms of naive \(\mathbb T\)-spectra equipped with maps
\[
\sigma_r:T\longrightarrow T^{tC_r}
\]
for \(r\in \mathbb N_{>0}\), together with higher coherences encoding the lax associativity of iterated Tate constructions. In that formulation the homotopy invariants of the cyclotomic structure are given by a limit over the subdivision category \(\mathrm{sd}(\mathbb BN)\), and this recovers the Nikolaus–Scholze equalizer formula in the eventually connective case [1710.06416].

Multiplicative issues require still finer control of geometric fixed points. Recent work on the point-set homotopy theory of cyclotomic spectra introduces generalized orbit desuspension spectra and proves new multiplicative results for geometric fixed points on equivariant commutative ring spectra. This yields model structures on commutative ring pre-cyclotomic spectra, a formula for derived mapping spaces in that category as homotopy equalizers, and a multiplicative tom Dieck splitting for equivariant commutative ring spectra obtained from non-equivariant ones [2412.15928].

These foundational developments clarify another common misconception. Cyclotomic spectra are not only a convenient packaging of \(THH\)-data; they form a genuine homotopy theory with model structures, mapping spectra, and multiplicative algebra. That algebra is indispensable in constructions such as relative \(TC\), multiplicative trace maps, and commutative ring cyclotomic structures [1303.1694, 2412.15928].

## 4. Algebraic avatars, \(t\)-structures, and filtered theories

One of the strongest structural results is the existence of a cyclotomic \(t\)-structure. Antieau–Nikolaus construct a \(t\)-structure on the \(\infty\)-category \(CycSp_p\) of \(p\)-typical cyclotomic spectra, define \(p\)-typical topological Cartier modules, and show that the heart is the abelian category of derived \(V\)-complete \(p\)-typical Cartier modules. On bounded-below objects there is a fully faithful right adjoint
\[
TR:CycSp_p^-\longrightarrow TCart_p^-,
\]
and the cyclotomic homotopy groups are computed from \(TR(X)\). For \(R\) ind-smooth over a perfect field \(k\) of characteristic \(p\), the paper identifies
\[
\pi_i^{\mathrm{cyc}} THH(R)\cong W\Omega_R^i
\]
as Cartier modules, thereby recovering the de Rham–Witt complex from the cyclotomic structure of \(THH\) [1809.01714].

A different algebraization appears in Kaledin’s theory of cyclotomic complexes. There, one constructs a triangulated category \(D_{\Lambda R}(k)\) of cyclotomic complexes, an equivariant homology functor from cyclotomic spectra to this algebraic category, and a \(TC\)-functor on cyclotomic complexes compatible with topological \(TC\). The main identification is that
\[
D_{\Lambda R}(\mathbb Z)\simeq \mathrm{FDM}_{\mathrm{per}},
\]
the twisted 2-periodic derived category of generalized filtered Dieudonné modules. Under profinite completeness hypotheses, \(TC\) on cyclotomic complexes agrees with syntomic cohomology, so cyclotomic structure becomes explicitly tied to \(p\)-adic Hodge-theoretic data [1003.2810].

Cyclotomic synthetic spectra provide a filtered and motivic refinement of this picture. The \(\infty\)-category \(\mathrm{CycSyn}\) of \(p\)-typical cyclotomic synthetic spectra is defined using a synthetic circle \(T_{ev}\), and the motivic filtration on \(\mathrm{THH}(R;\mathbb Z_p)\) constructed by Bhatt–Morrow–Scholze and Hahn–Raksit–Wilson is shown to carry a natural structure of cyclotomic synthetic spectrum. The Postnikov heart of \(\mathrm{CycSyn}\) is identified with the abelian category of derived \(V\)-complete \(\eta\)-deformed Cartier complexes, and this yields new bounds on the syntomic cohomology of connective chromatically quasisyntomic \(\mathbf E_\infty\)-rings [2411.19929].

Taken together, these results show that cyclotomic spectra admit several algebraic shadows: Cartier modules, filtered Dieudonné modules, syntomic complexes, and synthetic Cartier-type objects. This suggests that the Frobenius and Verschiebung operators visible in arithmetic geometry are not analogies external to cyclotomic spectra, but internal manifestations of their homotopy theory [1809.01714, 1003.2810, 2411.19929].

## 5. Real and relative refinements

The Real theory replaces pure rotational symmetry by dihedral symmetry. In the parametrized-Tate approach, a Real \(p\)-cyclotomic spectrum is a genuine \(C_2\)-spectrum with twisted \(\mu_{p^\infty}\)-action together with a map
\[
\varphi:X\longrightarrow X^{t_{C_2}\mu_p},
\]
and the corresponding Real topological cyclic homology is defined as a right adjoint to the trivial-structure functor. For a Real \(p\)-cyclotomic spectrum \(X\), there is a genuine \(C_2\)-equivariant fiber sequence
\[
\TCR(X;p)\simeq
\fib\Big(
X^{h_{C_2}\mu_{p^\infty}}
\to
(X^{t_{C_2}\mu_p})^{h_{C_2}\mu_{p^\infty}}
\Big)
\]
in \(\Sp^{C_2}\). A forgetful functor from genuine Real \(p\)-cyclotomic spectra to this parametrized model restricts to an equivalence on bounded-below objects, so the two Real theories agree in the expected range [1909.03920, 2112.07462].

This Real refinement is not merely “cyclotomic spectra plus a \(C_2\)-action.” The parametrized Tate construction records how Frobenius interacts with reflection, and the resulting \(TCR\) is a genuine \(C_2\)-spectrum whose fixed-point and geometric-fixed-point information is designed for Real algebraic \(K\)-theory, hermitian \(K\)-theory, and \(L\)-theory [2112.07462].

A different refinement is relative cyclotomic structure. If \(\underline R\) is a commutative ring pre-cyclotomic spectrum with cyclotomic power operation \(\Psi_R\simeq \mathrm{id}\), then \(\underline R\) is a pre-cyclotomic base, and for an \(R\)-algebra \(A\) the relative theory
\[
THH^R(A)=THH(A)\wedge_{THH(R)}\underline R
\]
inherits a functorial pre-cyclotomic structure. This permits the construction of relative \(TC^R(A)\) and yields descent results expressing \(TC(A)\) as the totalization of a cosimplicial diagram built from relative \(TC^{R^{(\bullet+1)}}\). The paper develops this theory for examples including \(MUP_{\mathbb T}\) and a new connective equivariant cobordism spectrum \(mu\) [2310.02348].

These relative results enlarge the scope of cyclotomic methods. Rather than treating \(THH\) and \(TC\) only over the sphere, they allow cyclotomic structure to be transported along equivariant and chromatic bases, which is especially relevant in settings where complex cobordism rather than the sphere is the natural ambient ring spectrum [2310.02348].

## 6. Geometric and chromatic extensions

Cyclotomic structures now appear outside the traditional \(THH/TC\) corridor. In symplectic topology, an equivariant virtual Cohen–Jones–Segal construction assigns genuine equivariant orthogonal spectra to framed virtually smooth flow categories. For a compact symplectic manifold satisfying the hypotheses in the paper, this yields a genuine \(p\)-cyclotomic spectrum \(SH^\bullet(M,S)\) whose underlying nonequivariant homotopy groups recover symplectic cohomology and whose cyclotomic equivalences
\[
(SH^\bullet(M,S)_k)^{\Phi C_p}\simeq SH^\bullet(M,S)_{k-1}
\]
are Floer-theoretic analogues of the \(p\)-fold cover map on free loop spaces [2405.18370].

In chromatic homotopy theory, one now distinguishes between “smooth cyclotomy,” meaning cyclotomic spectra in the \(THH/TC\) sense, and “discrete cyclotomy,” meaning higher cyclotomic extensions of the \(K(n)\)-local and \(T(n)\)-local sphere obtained by adjoining higher roots of unity. These give extensions
\[
\mathbb S_{K(n)}\to \mathbb S_{K(n)}[\omega^{(n)}_{p^j}],
\qquad
\mathbb S_{T(n)}\to \mathbb S_{T(n)}[\omega^{(n)}_{p^j}],
\]
and lead to an intermediate cyclotomic completion \(L_{\Cyc(n)}\) and an intermediate \(\infty\)-semiadditive category \(\qSp_{\Cyc(n)}\) between \(K(n)\)- and \(T(n)\)-local homotopy theory [2606.08166].

That chromatic story feeds back into the role of ordinary cyclotomic spectra in recent work around the telescope conjecture. Expository accounts emphasize that cyclotomic spectra and \(TC\) enter centrally in the Burklund–Hahn–Levy–Schlank analysis, where one studies the distinction between \(L_{K(n+1)}TC(X)\) and \(L_{T(n+1)}TC(X)\) for suitable \(p\)-local ring spectra \(X\) [2606.08109]. A plausible implication is that cyclotomic structure is not only a receptacle for trace methods but also a mechanism by which higher chromatic and arithmetic phenomena become visible.

Cyclotomic spectra therefore occupy a junction of several theories: equivariant stable homotopy, algebraic \(K\)-theory, \(p\)-adic Hodge theory, Real and hermitian refinements, Floer-theoretic constructions, and chromatic localization. Their unifying feature is the same throughout: a circle action alone does not suffice, but once finite-subgroup Frobenius data is imposed, one obtains a homotopy theory rich enough to define \(TC\), rigid enough to support algebraic \(t\)-structures and trace uniqueness, and flexible enough to propagate into geometric and chromatic settings [1103.3923, 2405.18370, 2606.08166].

Source: https://www.emergentmind.com/topics/cyclotomic-spectra