Cyclotomic extensions in stable homotopy theory

Douglas C. Ravenel

arxiv: 2606.08166 · v1 · pith:OZ3L7UFGnew · submitted 2026-06-06 · 🧮 math.AT

Cyclotomic extensions in stable homotopy theory

Douglas C. Ravenel This is my paper

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

classification 🧮 math.AT

keywords cyclotomic extensionsstable homotopy theoryGalois extensionstelescope conjecturering spectrap-adic fieldsroots of unity

0 comments

The pith

Higher cyclotomic extensions of commutative ring spectra are analogous to Galois extensions of p-adic number fields obtained by adjoining roots of unity.

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

This expository paper describes higher cyclotomic extensions of commutative ring spectra as structured like Galois extensions of p-adic number fields. The parallel is drawn to clarify the role of such extensions in the stable homotopy category. It serves as a companion piece to a paper on cyclotomic spectra and is meant to illuminate the strategy behind the recent resolution of the telescope conjecture.

Core claim

Higher cyclotomic extensions of commutative ring spectra are analogous to Galois extensions of p-adic number fields (or rings of integers thereof) obtained by adjoining roots of unity. This analogy is presented to shed light on the resolution of the telescope conjecture by Burklund, Hahn, Levy and Schlank, whose proof involves both cyclotomic spectra and these extensions.

What carries the argument

Cyclotomic extensions of commutative ring spectra, which serve as the objects carrying the Galois-theoretic analogy into the stable homotopy category.

If this is right

The BHLS proof of the telescope conjecture can be understood by viewing cyclotomic extensions through the lens of Galois theory.
Structural results about extensions of ring spectra follow from the parallel to number-theoretic Galois extensions.
The analogy organizes the study of commutative ring spectra in terms of their extension properties.

Where Pith is reading between the lines

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

Techniques for constructing or classifying Galois extensions in number theory might suggest corresponding constructions for ring spectra.
The parallel could be tested by checking whether specific Galois invariants have direct counterparts in known computations of homotopy groups.

Load-bearing premise

The structural properties of cyclotomic spectra and their extensions in the stable homotopy category are sufficiently parallel to classical Galois theory.

What would settle it

A concrete computation in the stable homotopy category showing that a higher cyclotomic extension of a ring spectrum fails to exhibit the expected Galois correspondence or fixed-point properties that hold for adjoining roots of unity in p-adic fields.

read the original abstract

This expository paper is a companion to \cite{Rav:gjmcyc}, in which we discuss cyclotomic spectra. Both papers are intended to shed light on the recent resolution of the telescope conjecture by Robert Burklund, Jeremy Hahn, Ishan Levy and Tomer Schlank (hereafter referred to as BHLS) in \cite{BHLS}. Their proof involves both cyclotomic spectra, the subject of \cite{Rav:gjmcyc}, and cyclotomic extensions of spectra, the subject of this paper. Higher cyclotomic extensions of commutative ring spectra are analogous to Galois extensions of $p$-adic number fields (or rings of integers thereof) obtained by adjoining roots of unity.

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 expository note spells out an analogy between higher cyclotomic extensions of ring spectra and adjoining roots of unity in p-adic fields, intended to clarify the BHLS telescope conjecture proof without claiming any new theorems.

read the letter

This is an expository companion piece to Ravenel's earlier work on cyclotomic spectra. It draws a parallel between higher cyclotomic extensions of commutative ring spectra and Galois extensions of p-adic number fields obtained by adjoining roots of unity, with the goal of making the recent BHLS resolution of the telescope conjecture easier to follow.

The paper does a straightforward job of laying out the structural similarities on the homotopy side. Ravenel knows this material well, so the description of cyclotomic spectra and their extensions is likely to be reliable and useful for readers who already have the companion paper in hand.

The main limitation is that nothing new is proved or derived. The analogy is offered as a way to think about the proof strategy rather than as a formal equivalence that gets checked in detail. Without seeing how tightly the parallel maps onto specific steps in BHLS, it is hard to gauge how much practical help it actually provides or whether any mismatches could confuse readers. The abstract is explicit that this is motivational background, not a research claim.

This note is aimed at specialists already working in stable homotopy theory who need context for the telescope conjecture. A reader hunting for original results will not find them. It could still be worth sending to referees if a journal accepts short expository pieces that support major results, since the BHLS work is significant and extra clarification can help the community absorb it.

Referee Report

0 major / 1 minor

Summary. This expository paper is a companion to the discussion of cyclotomic spectra in the cited work, with the goal of illuminating the BHLS resolution of the telescope conjecture. Its central claim is that higher cyclotomic extensions of commutative ring spectra are analogous to Galois extensions of p-adic number fields (or their rings of integers) obtained by adjoining roots of unity.

Significance. As an expository piece with no new theorems asserted, the paper's value is in clarifying conceptual parallels between cyclotomic spectra in the stable homotopy category and classical Galois theory. If the analogy is developed clearly, it may aid readers in following the role of cyclotomic extensions within the BHLS argument; the manuscript explicitly positions the parallel as motivational rather than as a claimed equivalence.

minor comments (1)

[Abstract] The abstract references the BHLS paper and the companion work but does not indicate the sections in which the analogy is developed or illustrated with examples from the stable homotopy category.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript. The report accurately captures the expository intent of the paper as a companion to our discussion of cyclotomic spectra and its role in illuminating the BHLS resolution of the telescope conjecture.

Circularity Check

0 steps flagged

No significant circularity; purely expository analogy with no derivations

full rationale

The paper is explicitly expository and asserts no new theorems, derivations, or predictions. Its central claim is framed as a motivational analogy between higher cyclotomic extensions and classical Galois extensions, intended to illuminate the BHLS telescope conjecture proof rather than to prove an equivalence. The self-citation to the companion paper Rav:gjmcyc provides context for cyclotomic spectra but does not bear any load-bearing argument or reduce any result to a fit or definition. No equations, uniqueness theorems, or ansatzes are introduced that could create circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are introduced; the work explains existing concepts from stable homotopy theory and the author's prior papers.

pith-pipeline@v0.9.1-grok · 5653 in / 972 out tokens · 18215 ms · 2026-06-27T18:50:48.070039+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

4 extracted references

[1]

MR3290087 [DHS88] E. S. Devinatz, M. J. Hopkins, and J. H. Smith,Nilpotence and stable ho- motopy theory. I, Ann. of Math. (2)128(1988), no. 2, 207–241. MR960945 (89m:55009) [Dun88] G. Dunn,Tensor product of operads and iterated loop spaces, J. Pure Appl. Algebra50(1988), no. 3, 237–258. MR938617 [EH61] B. Eckmann and P. J. Hilton,Group-like structures in...

1988
[2]

Loday,Realization of the Stasheff polytope, Arch

MR4777639 [Lod04] J.-L. Loday,Realization of the Stasheff polytope, Arch. Math. (Basel)83 (2004), no. 3, 267–278. MR2108555 [Lur09] J. Lurie,Higher topos theory, Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton, NJ, 2009. MR2522659 (2010j:18001) [Lur17] ,Higher algebra, 2017.https://www.math.ias.edu/ ~lurie/papers/ HA.pdf. 74...

arXiv 2004
[3]

MR1192553 (94b:55015) CYCLOTOMIC EXTENSIONS IN STABLE HOMOTOPY THEORY 75 [Rez98] C

Appendix C by Jeff Smith. MR1192553 (94b:55015) CYCLOTOMIC EXTENSIONS IN STABLE HOMOTOPY THEORY 75 [Rez98] C. Rezk,Notes on the Hopkins-Miller theorem, Homotopy theory via alge- braic geometry and group representations (evanston, il, 1997), 1998, pp. 313–

1997
[4]

Rognes,Galois extensions of structured ring spectra

MR2000i:55023 [Rog08] J. Rognes,Galois extensions of structured ring spectra. Stably dualizable groups, Mem. Amer. Math. Soc.192(2008), no. 898, viii+137. MR2387923 [RW80] D. C. Ravenel and W. S. Wilson,The MoravaK-theories of Eilenberg-Mac Lane spaces and the Conner-Floyd conjecture, Amer. J. Math.102(1980), no. 4, 691–748. MR584466 (81i:55005) [Ser79] J...

2008

[1] [1]

MR3290087 [DHS88] E. S. Devinatz, M. J. Hopkins, and J. H. Smith,Nilpotence and stable ho- motopy theory. I, Ann. of Math. (2)128(1988), no. 2, 207–241. MR960945 (89m:55009) [Dun88] G. Dunn,Tensor product of operads and iterated loop spaces, J. Pure Appl. Algebra50(1988), no. 3, 237–258. MR938617 [EH61] B. Eckmann and P. J. Hilton,Group-like structures in...

1988

[2] [2]

Loday,Realization of the Stasheff polytope, Arch

MR4777639 [Lod04] J.-L. Loday,Realization of the Stasheff polytope, Arch. Math. (Basel)83 (2004), no. 3, 267–278. MR2108555 [Lur09] J. Lurie,Higher topos theory, Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton, NJ, 2009. MR2522659 (2010j:18001) [Lur17] ,Higher algebra, 2017.https://www.math.ias.edu/ ~lurie/papers/ HA.pdf. 74...

arXiv 2004

[3] [3]

MR1192553 (94b:55015) CYCLOTOMIC EXTENSIONS IN STABLE HOMOTOPY THEORY 75 [Rez98] C

Appendix C by Jeff Smith. MR1192553 (94b:55015) CYCLOTOMIC EXTENSIONS IN STABLE HOMOTOPY THEORY 75 [Rez98] C. Rezk,Notes on the Hopkins-Miller theorem, Homotopy theory via alge- braic geometry and group representations (evanston, il, 1997), 1998, pp. 313–

1997

[4] [4]

Rognes,Galois extensions of structured ring spectra

MR2000i:55023 [Rog08] J. Rognes,Galois extensions of structured ring spectra. Stably dualizable groups, Mem. Amer. Math. Soc.192(2008), no. 898, viii+137. MR2387923 [RW80] D. C. Ravenel and W. S. Wilson,The MoravaK-theories of Eilenberg-Mac Lane spaces and the Conner-Floyd conjecture, Amer. J. Math.102(1980), no. 4, 691–748. MR584466 (81i:55005) [Ser79] J...

2008