What are cyclotomic spectra and why do we need them?

Douglas C. Ravenel

What are cyclotomic spectra and why do we need them?

T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Cyclotomic spectra equip ordinary spectra with circle actions and fixed-point structure maps so that THH and TC become the natural home for detecting the failure of the telescope conjecture above height 1.

desk verdict Solid, historically grounded survey that makes the cyclotomic technology behind BHLS readable; pure exposition with no new theorems, but high pedagogical value for the right audience. read the letter →

arxiv 2606.08109 v2 pith:PMTHGMCY submitted 2026-06-06 math.AT

Douglas C. Ravenel This is my paper · ORCID

classification math.AT MSC 55P4219D5555N2018N60

keywords cyclotomicspectratopologicalHochschildhomologycyclictelescopeconjecturealgebraicK-theorycircleactionscoassemblymapsTateconstruction

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This expository paper explains cyclotomic spectra: spectra carrying a circle-group action together with equivariant structure maps that identify the original spectrum with its geometric (or Tate) fixed points under every finite cyclic subgroup after a root reindexing. These objects arise automatically as the topological Hochschild homology of ring spectra and support topological cyclic homology TC, the equalizer of restriction and Frobenius maps on fixed-point towers. The author assembles the classical, equivariant, and infinity-categorical definitions, then shows how coassembly maps for algebraic K-theory and TC applied to integer actions on height-n spectra become equivalences after K(n+1)-localization but fail after T(n+1)-localization. The resulting distinction supplies the counterexamples that disprove the telescope conjecture for chromatic heights greater than 1. A sympathetic reader cares because the same circle-fixed-point package organizes decades of calculations in algebraic K-theory and now separates two localizations that were long expected to coincide.

What carries the argument

The cyclotomic structure maps (either geometric fixed-point equivalences Phi_p or the equivalent Tate maps phi_p : X to X^{t C_p}) together with the resulting infinity-category CycSp; these turn the Greenlees-May Tate diagram into a fiber sequence that computes TC and make coassembly maps for functors applied to homotopy fixed points under Z the decisive comparison.

What would settle it

An explicit calculation showing that the T(n+1)-localized coassembly map for algebraic K-theory of BP<n> with its Z-action is in fact an equivalence, or that L_{T(n+1)} TC(X) and L_{K(n+1)} TC(X) coincide for the spectra X constructed by BHLS.

Watch

Extended reading notes

Core claim

Cyclotomic spectra are the minimal extra structure on T-spectra that makes topological Hochschild homology and topological cyclic homology functorial, computable via fiber sequences, and sensitive enough that their coassembly maps for Z-actions distinguish telescopic localization L_{T(n+1)} from chromatic localization L_{K(n+1)} for every n greater than or equal to 1.

Load-bearing premise

The entire account treats the existence and properties of the BHLS counterexamples (Adams operations on truncated Brown-Peterson spectra and the local-unipotence hypotheses that force coassembly failure) as established black boxes whose internal verification is deferred elsewhere.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This is Ravenel’s attempt to get his head around the cyclotomic spectra that sit under the BHLS disproof of the telescope conjecture for n>1. It is pure exposition—no original theorems—and that is exactly what it claims to be.

What it does well is organize three decades of definitions into one coherent narrative. You get the classical Bökstedt–Hsiang–Madsen story with FSPs and edgewise subdivision, the orthogonal T-spectra version of Blumberg–Mandell (with geometric fixed points and the Greenlees–May diagram), and the ∞-categorical version of Nikolaus–Scholze (lax equalizers, Tate diagonals, the Antieau–Nikolaus t-structure). The roadmap in §1.1 and the outline in §1.5 make clear how each piece feeds the coassembly maps that BHLS use to separate L_{T(n+1)} from L_{K(n+1)}. The historical asides are useful rather than ornamental, and the citations are careful.

The soft spots are the ones the author flags himself: the Adams operations on BP⟨n⟩ and the local-unipotence hypotheses of BHLS §4 are deferred to the companion [Rav26], and the Antieau–Nikolaus heart is treated as a black box. That is a deliberate scope choice, not a hidden flaw. The math that is present is standard and correctly attributed; there are no free parameters or circular definitions.

This is for people who already know some chromatic homotopy or algebraic K-theory and want a single place to see how the cyclotomic package fits together before diving into BHLS or NS18. It is not for beginners and it will not change the field, but it will save a lot of time for the right readers.

I would send it to a serious referee. It is a clean, useful survey of technical material that is currently hard to assemble from the primary sources.

Referee Report

0 major / 4 minor

Summary. The manuscript is a pure expository account of cyclotomic spectra, developed in three successive languages (classical cyclic objects and Bökstedt functors, orthogonal T-spectra with geometric fixed-point structure maps, and the Nikolaus–Scholze ∞-categorical formulation). It supplies consistent definitions of THH, TC, TR and the associated coassembly maps, and shows how these maps, applied to Z-actions on ring spectra, distinguish L_{T(n+1)} from L_{K(n+1)} for n≥1, thereby explaining the role of cyclotomic spectra in the BHLS disproof of the telescope conjecture. All original technical work (Adams operations on BP⟨n⟩, local unipotence) is deferred to the companion paper [Rav26] and the primary sources.

Significance. The paper fills a genuine pedagogical gap: the literature on cyclotomic spectra is scattered across three incompatible formalisms, and the BHLS argument is inaccessible without a unified dictionary. The careful cross-translation of definitions (1.4, 4.51, 5.23–5.24), the explicit roadmap of §1.1, and the self-contained treatment of the Greenlees–May diagram and the Antieau–Nikolaus t-structure make the manuscript a valuable reference for anyone who needs to read BHLS or subsequent work on chromatic redshift. Because the text asserts no new theorems, its value is entirely expository; that value is high.

minor comments (4)

Throughout: the manuscript systematically uses the non-standard symbols mT, TopC, BPxny, etc. While the author explains the font convention, a short “Notation” paragraph at the end of §1 would help readers who jump into later sections.
§2.5–2.7: the successive introductions of the cyclic, paracyclic, r-cyclic and epicyclic categories are thorough but dense; a single summary table of objects, morphisms and geometric realisations (already sketched in §2.8) placed earlier would improve navigability.
§5.11: the surprising definition of coconnectivity in the Antieau–Nikolaus t-structure is stated clearly, yet a one-sentence reminder that the heart consists of p-typical Cartier modules (Definition 5.72) would make the subsequent discussion of TR more self-contained.
References: a few classical sources (e.g., the original Bökstedt preprint, Connes’ cyclic cohomology papers) appear only by short citation; expanding the bibliographic entries slightly would aid readers new to the subject.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: pure exposition of independent published definitions and results, with no original derivation that reduces to its own inputs.

full rationale

The manuscript is explicitly expository (abstract and §1). Its central objects—smoothly cyclotomic spaces (Def. 1.4), orthogonal cyclotomic spectra (Def. 4.51), ∞-categorical cyclotomic spectra (Def. 5.23–5.24), THH (Defs. 3.9, 5.21), TC (Defs. 3.30, 5.54), TR (Def. 5.80), and coassembly maps (Def. 5.6)—are taken from the independent literature (Bökstedt–Hsiang–Madsen, Blumberg–Mandell, Nikolaus–Scholze, Antieau–Nikolaus, etc.). The only self-references are to the companion [Rav26] for deferred material (Adams operations on BP⟨n⟩, discrete cyclotomy, local unipotence) that is not used to force any equation or claim inside the present text. No parameter is fitted, no uniqueness theorem is imported from the author’s prior work to forbid alternatives, and no known empirical pattern is renamed as a new derivation. The paper asserts no original theorems whose validity would collapse if a self-citation were removed. Score 0 is therefore the correct, proportionate finding.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The paper is expository and therefore rests almost entirely on standard results of equivariant stable homotopy theory, algebraic K-theory and ∞-category theory. No free parameters are fitted; the only ‘axioms’ are the classical definitions and theorems that the survey recalls.

assumptions (3)

standard math Existence of a symmetric monoidal model for the category of spectra (orthogonal spectra or S-modules) in which THH can be defined as a geometric realization of a cyclic spectrum.
Invoked throughout §§3–5; taken from EKMM, HSS, MM02.
domain assumption The Nikolaus–Scholze equivalence between the classical and ∞-categorical definitions of cyclotomic spectra for bounded-below objects.
Used to pass freely between Definitions 4.51 and 5.23; cited from NS18.
domain assumption The Antieau–Nikolaus t-structure on CycSp_p whose heart is the category of derived V-complete p-typical Cartier modules.
Discussed in §5.11; taken as given from AN21.

how reviews work

0 comments

Cite this review

Pith. "Pith review of What are cyclotomic spectra and why do we need them?." pith.science (2026). https://pith.science/paper/PMTHGMCY

@misc{pith2026260608109,
  author       = {Pith},
  title        = {Pith review of: What are cyclotomic spectra and why do we need them?},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PMTHGMCY}},
  note         = {Machine review of arXiv:2606.08109}
}

abstract

This paper is an expository account of cyclotomic spectra. They are spectra (in the sense of homotopy theory) with additional structure that includes an action of the circle group, which we will denote by $\mT$, for torus. Such objects come up in algebraic $K$-theory and its close relatives topological Hochschild homology $\THH$ and topological cyclic homology $\TopC$. They figure prominently in the recent disproof of the {\TC} for chromatic heights greater than 1 by Robert Burklund, Jeremy Hahn, Ishan Levy and Tomer Schlank . Those authors show that for each $n\geq 1$ and each prime $p$, there is a $p$-local ring spectrum $X$ of chromatic height $n$ such that $L_{K (n+1)}\TopC (X)$ and $L_{T (n+1)}\TopC (X)$ (see \cref{def-KT-KK}) are distinct. The present work is part of my attempt to understand theirs

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

3 extracted references · 2 linked inside Pith

[1]

MR3933034 [Ada74] J. F. Adams,Operations of thenth kind inK-theory, and what we don’t know about RP 8, New developments in topology (Proc. Sympos. Algebraic Topology, Oxford, 1972), 1974, pp. 1–9. London Math. Soc. Lecture Note Ser., No. 11. MR0339178 [Ada82] J. F. Adams,Graeme Segal’s Burnside ring conjecture, Bull. Amer. Math. Soc. (N.S.) 6(1982), no. 2...

arXiv 1972
[2]

Halliwell, E

MR175950 [HHL`18] G. Halliwell, E. H¨ oning, A. Lindenstrauss, B. Richter, and I. Zakharevich,Relative Loday constructions and applications to higherT HH-calculations, Topology Appl. 235(2018), 523–545. MR3760216 WHAT ARE CYCLOTOMIC SPECTRA AND WHY DO WE NEED THEM? 103 [HHR16] M. A. Hill, M. J. Hopkins, and D. C. Ravenel,On the nonexistence of elements of...

arXiv 2018
[3]

Math.157(2021), no

MR3459022 [Mat21] ,OnKp1q-local TR, Compos. Math.157(2021), no. 5, 1079–1119. MR4256236 [McC24] J. McCandless,On curves in K-theory and TR, J. Eur. Math. Soc. (JEMS)26(2024), no. 11, 4315–4373. MR4780484 [MM02] M. A. Mandell and J. P. May,Equivariant orthogonal spectra andS-modules, Mem. Amer. Math. Soc.159(2002), no. 755, x+108. MR1922205 (2003i:55012) [...

2021

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.

[1] [1]

MR3933034 [Ada74] J. F. Adams,Operations of thenth kind inK-theory, and what we don’t know about RP 8, New developments in topology (Proc. Sympos. Algebraic Topology, Oxford, 1972), 1974, pp. 1–9. London Math. Soc. Lecture Note Ser., No. 11. MR0339178 [Ada82] J. F. Adams,Graeme Segal’s Burnside ring conjecture, Bull. Amer. Math. Soc. (N.S.) 6(1982), no. 2...

arXiv 1972

[2] [2]

Halliwell, E

MR175950 [HHL`18] G. Halliwell, E. H¨ oning, A. Lindenstrauss, B. Richter, and I. Zakharevich,Relative Loday constructions and applications to higherT HH-calculations, Topology Appl. 235(2018), 523–545. MR3760216 WHAT ARE CYCLOTOMIC SPECTRA AND WHY DO WE NEED THEM? 103 [HHR16] M. A. Hill, M. J. Hopkins, and D. C. Ravenel,On the nonexistence of elements of...

arXiv 2018

[3] [3]

Math.157(2021), no

MR3459022 [Mat21] ,OnKp1q-local TR, Compos. Math.157(2021), no. 5, 1079–1119. MR4256236 [McC24] J. McCandless,On curves in K-theory and TR, J. Eur. Math. Soc. (JEMS)26(2024), no. 11, 4315–4373. MR4780484 [MM02] M. A. Mandell and J. P. May,Equivariant orthogonal spectra andS-modules, Mem. Amer. Math. Soc.159(2002), no. 755, x+108. MR1922205 (2003i:55012) [...

2021