Cyclotomic Spectra Overview

• Cyclotomic spectra are spectra with S¹-equivariant structure and Frobenius maps that coherently relate finite subgroup fixed points to the original object, grounding the construction of THH and TC.
• They bridge algebraic K-theory and topological cyclic homology by enabling unique trace maps and multiplicative structures across various equivariant and chromatic contexts.
• Their formulation spans classical genuine S¹-spectra to modern p-typical frameworks, supporting applications in arithmetic, Real, and chromatic homotopy theories.

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}$ (Kaledin, 2010, Quigley et al., 2019).

1. Classical and modern formulations

The first structural distinction is between mere circle actions and cyclotomic structure. A spectrum with $S^1$0-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 $S^1$1-pre-cyclotomic spectrum is a genuine $S^1$2-spectrum $S^1$3 with a cyclotomic structure map $S^1$4, where $S^1$5, and a cyclotomic spectrum is a pre-cyclotomic spectrum satisfying additional homotopy conditions. The corresponding “all primes” version uses maps $S^1$6 for all finite subgroups $S^1$7 (Blumberg et al., 2024, Blumberg et al., 2013).

The modern $S^1$8-typical Nikolaus–Scholze-style formulation replaces much of the genuine equivariant apparatus by Borel $S^1$9-equivariant data plus Tate constructions. For a prime $T$0, a $T$1-cyclotomic spectrum can be presented as an object of

$T$2

so concretely as a spectrum $T$3 with $T$4-action and a $T$5-equivariant map $T$6 (Quigley et al., 2019).

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 (Quigley et al., 2021). 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 $T$7, the free loop space $T$8 has its canonical $T$9-action by loop rotation, and the map sending a loop to its $r_m:\Phi^{C_m}(T)\xrightarrow{\simeq}T$0-fold cover identifies $r_m:\Phi^{C_m}(T)\xrightarrow{\simeq}T$1 with $r_m:\Phi^{C_m}(T)\xrightarrow{\simeq}T$2 after rescaling the circle action. This is the prototype for the cyclotomic structure on $r_m:\Phi^{C_m}(T)\xrightarrow{\simeq}T$3, and it explains why cyclotomic spectra encode power maps on loops rather than only equivariance (Rezchikov, 2024).

2. $r_m:\Phi^{C_m}(T)\xrightarrow{\simeq}T$4, $r_m:\Phi^{C_m}(T)\xrightarrow{\simeq}T$5, and trace maps

Cyclotomic spectra arise because $r_m:\Phi^{C_m}(T)\xrightarrow{\simeq}T$6 carries exactly the requisite structure. For a ring spectrum or a small stable $r_m:\Phi^{C_m}(T)\xrightarrow{\simeq}T$7-category $r_m:\Phi^{C_m}(T)\xrightarrow{\simeq}T$8, $r_m:\Phi^{C_m}(T)\xrightarrow{\simeq}T$9 is built from a cyclic bar construction, hence carries a canonical $r_1=\mathrm{id}$0-action, and refined constructions produce Frobenius maps

$r_1=\mathrm{id}$1

or, in the modern direction, maps $r_1=\mathrm{id}$2 depending on conventions. The basic example already appears for free loop spaces, and the classical ring-spectrum example is $r_1=\mathrm{id}$3 for a ring or ring spectrum $r_1=\mathrm{id}$4 (Blumberg et al., 2011, Kaledin, 2010).

Topological cyclic homology is extracted from this cyclotomic structure. In the classical Bökstedt–Hsiang–Madsen picture one forms the tower $r_1=\mathrm{id}$5 with Frobenius and restriction maps $r_1=\mathrm{id}$6, sets $r_1=\mathrm{id}$7, and then $r_1=\mathrm{id}$8. In the Nikolaus–Scholze-style $r_1=\mathrm{id}$9-typical formulation one obtains the fiber formula

$r_n\circ r_m=r_{nm}$0

and integrally

$r_n\circ r_m=r_{nm}$1

with the two maps given by the cyclotomic Frobenius and the canonical Tate comparison (Quigley et al., 2019, Ravenel, 6 Jun 2026).

Cyclotomic spectra are therefore the bridge between algebraic $r_n\circ r_m=r_{nm}$2-theory and $r_n\circ r_m=r_{nm}$3. Blumberg–Gepner–Tabuada characterize the topological Dennis trace as the unique multiplicative natural transformation $r_n\circ r_m=r_{nm}$4, and the cyclotomic trace as the unique multiplicative lift $r_n\circ r_m=r_{nm}$5; the spaces of such multiplicative maps are contractible. They also show that the space of multiplicative structures on algebraic $r_n\circ r_m=r_{nm}$6-theory is contractible, so the multiplicativity of the cyclotomic trace is not an auxiliary choice (Blumberg et al., 2011).

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

$r_n\circ r_m=r_{nm}$7

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 $r_n\circ r_m=r_{nm}$8 and the trace map whose fiber is then identified in $r_n\circ r_m=r_{nm}$9-local terms (Blumberg et al., 2015).

A further nuance is that $p$0 is not simply another additive invariant of stable $p$1-categories. The intermediate functors $p$2 are additive, but the inverse limit $p$3 itself does not preserve filtered colimits, so the cyclotomic construction is intrinsically subtler than $p$4 alone (Blumberg et al., 2011).

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$5-cyclotomic spectra in orthogonal spectra, show that their homotopy categories are triangulated, and prove that $p$6 and $p$7 are corepresentable. More precisely, the derived mapping spectrum out of the sphere in the category of cyclotomic spectra corepresents the finite completion of $p$8, while in the $p$9-cyclotomic category it corepresents the $S^1$0-completion of $S^1$1 (Blumberg et al., 2013).

A different foundational perspective replaces genuine equivariant data by naive equivariant spectra together with coherent generalized Tate constructions. For any compact Lie group $S^1$2, genuine $S^1$3-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 $S^1$4, cyclotomic spectra can be described in terms of naive $S^1$5-spectra equipped with maps

$S^1$6

for $S^1$7, 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 $S^1$8, and this recovers the Nikolaus–Scholze equalizer formula in the eventually connective case (Ayala et al., 2017).

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 (Blumberg et al., 2024).

These foundational developments clarify another common misconception. Cyclotomic spectra are not only a convenient packaging of $S^1$9-data; they form a genuine homotopy theory with model structures, mapping spectra, and multiplicative algebra. That algebra is indispensable in constructions such as relative $\mu_{p^\infty}$0, multiplicative trace maps, and commutative ring cyclotomic structures (Blumberg et al., 2013, Blumberg et al., 2024).

4. Algebraic avatars, $\mu_{p^\infty}$1-structures, and filtered theories

One of the strongest structural results is the existence of a cyclotomic $\mu_{p^\infty}$2-structure. Antieau–Nikolaus construct a $\mu_{p^\infty}$3-structure on the $\mu_{p^\infty}$4-category $\mu_{p^\infty}$5 of $\mu_{p^\infty}$6-typical cyclotomic spectra, define $\mu_{p^\infty}$7-typical topological Cartier modules, and show that the heart is the abelian category of derived $\mu_{p^\infty}$8-complete $\mu_{p^\infty}$9-typical Cartier modules. On bounded-below objects there is a fully faithful right adjoint

$X\to X^{tC_p}$0

and the cyclotomic homotopy groups are computed from $X\to X^{tC_p}$1. For $X\to X^{tC_p}$2 ind-smooth over a perfect field $X\to X^{tC_p}$3 of characteristic $X\to X^{tC_p}$4, the paper identifies

$X\to X^{tC_p}$5

as Cartier modules, thereby recovering the de Rham–Witt complex from the cyclotomic structure of $X\to X^{tC_p}$6 (Antieau et al., 2018).

A different algebraization appears in Kaledin’s theory of cyclotomic complexes. There, one constructs a triangulated category $X\to X^{tC_p}$7 of cyclotomic complexes, an equivariant homology functor from cyclotomic spectra to this algebraic category, and a $X\to X^{tC_p}$8-functor on cyclotomic complexes compatible with topological $X\to X^{tC_p}$9. The main identification is that

$S^1$00

the twisted 2-periodic derived category of generalized filtered Dieudonné modules. Under profinite completeness hypotheses, $S^1$01 on cyclotomic complexes agrees with syntomic cohomology, so cyclotomic structure becomes explicitly tied to $S^1$02-adic Hodge-theoretic data (Kaledin, 2010).

Cyclotomic synthetic spectra provide a filtered and motivic refinement of this picture. The $S^1$03-category $S^1$04 of $S^1$05-typical cyclotomic synthetic spectra is defined using a synthetic circle $S^1$06, and the motivic filtration on $S^1$07 constructed by Bhatt–Morrow–Scholze and Hahn–Raksit–Wilson is shown to carry a natural structure of cyclotomic synthetic spectrum. The Postnikov heart of $S^1$08 is identified with the abelian category of derived $S^1$09-complete $S^1$10-deformed Cartier complexes, and this yields new bounds on the syntomic cohomology of connective chromatically quasisyntomic $S^1$11-rings (Antieau et al., 2024).

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 (Antieau et al., 2018, Kaledin, 2010, Antieau et al., 2024).

5. Real and relative refinements

The Real theory replaces pure rotational symmetry by dihedral symmetry. In the parametrized-Tate approach, a Real $S^1$12-cyclotomic spectrum is a genuine $S^1$13-spectrum with twisted $S^1$14-action together with a map

$S^1$15

and the corresponding Real topological cyclic homology is defined as a right adjoint to the trivial-structure functor. For a Real $S^1$16-cyclotomic spectrum $S^1$17, there is a genuine $S^1$18-equivariant fiber sequence

$S^1$19

in $S^1$20. A forgetful functor from genuine Real $S^1$21-cyclotomic spectra to this parametrized model restricts to an equivalence on bounded-below objects, so the two Real theories agree in the expected range (Quigley et al., 2019, Quigley et al., 2021).

This Real refinement is not merely “cyclotomic spectra plus a $S^1$22-action.” The parametrized Tate construction records how Frobenius interacts with reflection, and the resulting $S^1$23 is a genuine $S^1$24-spectrum whose fixed-point and geometric-fixed-point information is designed for Real algebraic $S^1$25-theory, hermitian $S^1$26-theory, and $S^1$27-theory (Quigley et al., 2021).

A different refinement is relative cyclotomic structure. If $S^1$28 is a commutative ring pre-cyclotomic spectrum with cyclotomic power operation $S^1$29, then $S^1$30 is a pre-cyclotomic base, and for an $S^1$31-algebra $S^1$32 the relative theory

$S^1$33

inherits a functorial pre-cyclotomic structure. This permits the construction of relative $S^1$34 and yields descent results expressing $S^1$35 as the totalization of a cosimplicial diagram built from relative $S^1$36. The paper develops this theory for examples including $S^1$37 and a new connective equivariant cobordism spectrum $S^1$38 (Blumberg et al., 2023).

These relative results enlarge the scope of cyclotomic methods. Rather than treating $S^1$39 and $S^1$40 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 (Blumberg et al., 2023).

6. Geometric and chromatic extensions

Cyclotomic structures now appear outside the traditional $S^1$41 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 $S^1$42-cyclotomic spectrum $S^1$43 whose underlying nonequivariant homotopy groups recover symplectic cohomology and whose cyclotomic equivalences

$S^1$44

are Floer-theoretic analogues of the $S^1$45-fold cover map on free loop spaces (Rezchikov, 2024).

In chromatic homotopy theory, one now distinguishes between “smooth cyclotomy,” meaning cyclotomic spectra in the $S^1$46 sense, and “discrete cyclotomy,” meaning higher cyclotomic extensions of the $S^1$47-local and $S^1$48-local sphere obtained by adjoining higher roots of unity. These give extensions

$S^1$49

and lead to an intermediate cyclotomic completion $S^1$50 and an intermediate $S^1$51-semiadditive category $S^1$52 between $S^1$53- and $S^1$54-local homotopy theory (Ravenel, 6 Jun 2026).

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 $S^1$55 enter centrally in the Burklund–Hahn–Levy–Schlank analysis, where one studies the distinction between $S^1$56 and $S^1$57 for suitable $S^1$58-local ring spectra $S^1$59 (Ravenel, 6 Jun 2026). 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 $S^1$60-theory, $S^1$61-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 $S^1$62, rigid enough to support algebraic $S^1$63-structures and trace uniqueness, and flexible enough to propagate into geometric and chromatic settings (Blumberg et al., 2011, Rezchikov, 2024, Ravenel, 6 Jun 2026).