What are cyclotomic spectra and why do we need them?

Douglas C. Ravenel

arxiv: 2606.08109 · v1 · pith:PMTHGMCYnew · submitted 2026-06-06 · 🧮 math.AT

What are cyclotomic spectra and why do we need them?

Douglas C. Ravenel This is my paper

Pith reviewed 2026-06-27 18:57 UTC · model grok-4.3

classification 🧮 math.AT

keywords cyclotomic spectratopological cyclic homologytopological Hochschild homologychromatic homotopy theoryTC conjecture

0 comments

The pith

Cyclotomic spectra carry circle group actions that define topological cyclic homology and separate its K(n+1) and T(n+1) localizations at every chromatic height n at least 1.

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

The paper gives an expository account of cyclotomic spectra, which are spectra equipped with an action of the circle group T together with compatible additional structure. These objects arise when one constructs topological Hochschild homology and then passes to topological cyclic homology. The account focuses on how cyclotomic spectra are used in a recent disproof showing that, for every n at least 1 and every prime p, there exists a p-local ring spectrum X of chromatic height n such that the K(n+1)-localization and the T(n+1)-localization of TC(X) are not the same. This distinction falsifies a conjecture about the behavior of topological cyclic homology. The work is presented as an effort to understand the cited disproof in detail.

Core claim

Cyclotomic spectra are spectra with T-action that arise in THH and TC and figure prominently in the disproof of the TC conjecture for chromatic heights n greater than or equal to 1, where for each such n and each prime p there is a p-local ring spectrum X of chromatic height n with L_{K(n+1)} TC(X) distinct from L_{T(n+1)} TC(X).

What carries the argument

Cyclotomic spectrum: a spectrum equipped with a circle group T-action and additional structure that permits the passage from THH to TC.

If this is right

The TC conjecture fails for every chromatic height n at least 1.
For each n at least 1 and each prime p there exist p-local ring spectra of height n on which the two localizations of TC differ.
Topological cyclic homology does not satisfy the property that its K(n+1) and T(n+1) localizations coincide.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Further explicit computations with cyclotomic spectra at low heights may reveal the precise size of the difference between the two localizations.
The same circle-action structure could be used to compare other invariants built from THH beyond TC.
The distinction between the two localizations might persist after additional operations such as passage to algebraic K-theory.

Load-bearing premise

The reader already knows stable homotopy theory and chromatic homotopy theory well enough to follow the definitions and the references to THH, TC, and the cited disproof.

What would settle it

An explicit example of a p-local ring spectrum X of chromatic height n for which L_{K(n+1)} TC(X) equals L_{T(n+1)} TC(X) would show that the reported distinction does not always hold.

read the original 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

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Ravenel's short note is a clear, expert-level recap of cyclotomic spectra and their role in the recent Burklund-Hahn-Levy-Schlank disproof, with no new theorems or computations.

read the letter

This is an expository piece by Ravenel that lays out the definition of cyclotomic spectra—spectra with circle action plus the extra data needed for THH and TC—and places them in the context of the recent disproof that TC and its variants differ at chromatic heights n ≥ 1. Nothing in the paper is claimed as new; every substantive point is attributed to the cited work or standard references.

What it does well is give a compact, readable account that should help someone who already knows stable homotopy and chromatic theory but has not yet dug into the details of that disproof. The abstract makes the motivation explicit and the structure is straightforward.

The main limitation is that it is purely explanatory. There are no derivations, no new examples, and no independent checks of the cited results. If the goal is to understand the disproof, this note is a useful pointer but does not replace reading the original paper. The writing itself looks solid given the author's track record, though only the abstract was initially visible.

This is for readers already working in chromatic homotopy theory who want a quick orientation before tackling the Burklund et al. work. It does not introduce methods or resolve questions on its own. I would send it to peer review if the authors want it published as a survey note; the exposition is competent and the context is timely, even if the mathematical content is not original.

Referee Report

0 major / 2 minor

Summary. The manuscript is an expository account of cyclotomic spectra, defined as spectra equipped with a circle group (denoted T) action together with additional structure that appears in algebraic K-theory and its relatives topological Hochschild homology (THH) and topological cyclic homology (TC). It explains their prominent role in the Burklund–Hahn–Levy–Schlank disproof of the TC conjecture at chromatic heights n ≥ 1: for each n ≥ 1 and prime p there exists a p-local ring spectrum X of height n such that L_{K(n+1)} TC(X) and L_{T(n+1)} TC(X) are distinct. All substantive statements are attributed to the cited reference; the paper presents no new theorems or computations.

Significance. If the exposition is accurate, the paper supplies a clear record of the standard definition of cyclotomic spectra and their appearance in THH/TC, thereby lowering the barrier to entry for readers seeking to understand the technical background of a recent breakthrough result in chromatic homotopy theory. The absence of new claims is appropriate for an expository work and does not diminish its potential utility as a reference.

minor comments (2)

[Abstract] Abstract: the notation for topological cyclic homology alternates between \TopC and \TC; adopt a single consistent abbreviation throughout.
[Abstract] Abstract: the cross-reference \cref{def-KT-KK} appears without a preceding definition in the visible text; ensure the full manuscript supplies an explicit definition or forward reference at first use.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive recommendation to accept. The referee's summary accurately reflects the expository nature of the work.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The manuscript is explicitly expository: it records the standard definition of cyclotomic spectra (spectra with T-action used in THH/TC) and locates their role in the cited Burklund–Hahn–Levy–Schlank disproof of the TC conjecture at heights n≥1. No new theorems, derivations, predictions, or fitted quantities are asserted anywhere in the text. All substantive statements are attributed to external references. Consequently there are no load-bearing steps that reduce by construction, self-citation, or renaming to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

This is an expository paper on established concepts; no new free parameters, axioms, or invented entities are introduced.

pith-pipeline@v0.9.1-grok · 5728 in / 997 out tokens · 21822 ms · 2026-06-27T18:57:21.129578+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

3 extracted references · 1 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...

Pith/arXiv 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

[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...

Pith/arXiv 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