The Redshift Bound from Quillen-Lichtenbaum

Shay Ben-Moshe

REVIEW 2 major objections 5 minor 26 references

The Redshift Bound from Quillen-Lichtenbaum

T0 review · 2 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read The paper proves the redshift upper bound for algebraic K-theory — that K-theory raises chromatic height by at most one — by descent from the Lubin–Tate spectrum, avoiding the earlier purity-based argument.

desk verdict New route to the CMNN redshift upper bound, but the descent step rests entirely on an unpublished Burklund–Clausen–Levy theorem. read the letter →

arxiv 2608.02180 v1 pith:XSD7HFX4 submitted 2026-08-03 math.KT math.AT

Shay Ben-Moshe This is my paper · ORCID

classification math.KTmath.AT MSC 19D9955P42

keywords algebraicK-theorychromaticredshiftLubin–TatespectrumtelescopiclocalizationGaloisdescentQuillen–LichtenbaumtruncatedBrown–Petersonvanishing

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

Algebraic K-theory attaches to any ring or category a spectrum that organizes its hidden multiplicative structure; chromatic height is a measure of periodicity in stable homotopy. This paper establishes that if a category is local with respect to the finite-height étale filtration L^f_n, then its K-theory vanishes at all higher chromatic heights above n+1 — the redshift upper bound. The argument is new: it descends from the Lubin–Tate spectrum (the K(n)-local algebraic closure of the sphere) through T(n)-local Galois extensions, using a Quillen–Lichtenbaum-type vanishing for truncated Brown–Peterson spectra. This provides a second proof of a theorem originally established via the purity theorem, and the method is more direct and potentially more flexible.

What carries the argument

The load-bearing mechanism is the chain of descent from E_n to the sphere: the identification of E_n as the T(n)-local algebraic closure of S_{T(n)} (an unpublished result the paper cites), combined with the vanishing descent principle of Proposition 9, which states that for any finite group G and any G-equivariant perfect category, Z-localized K-theory vanishes on fixed points iff it vanishes on the whole category. The telescopic fracture square for L^f_n R then mediates between T(n)-local and finite-local behavior. These fit together to convert vanishing at one specially chosen spectrum into vanishing for all L^f_n-local categories.

What would settle it

Check the unpublished algebraic-closure theorem: compute L_{T(n)}(colim_R S_{T(n)} R) and see whether it is E_n for some small n (e.g., n=2). Alternatively, find a finite group G and a G-equivariant perfect category C with L_Z K(C)=0 but L_Z K(C^{hG}) != 0; that would disprove Proposition 9, the vanishing descent principle. If either check goes against the paper, the proof of the redshift bound fails at that step.

Watch

Extended reading notes

Core claim

The central claim is Theorem A: for every perfect category C that is L^f_n-local, L_{T(m)}K(C)=0 for all m≥n+2. The proof proceeds by induction on n. The base case uses a Quillen–Lichtenbaum-type result for a form of the truncated Brown–Peterson spectrum, which implies vanishing for the Lubin–Tate spectrum E_n. An unpublished theorem identifying E_n as the T(n)-local algebraic closure of the sphere (i.e., the T(n)-localization of the colimit of its finite Galois extensions) then propagates the vanishing to a single finite Galois extension. A general vanishing descent principle (Proposition 9) lifts the result from that extension back to the T(n)-local sphere, and the telescopic fracture squa

Load-bearing premise

The argument stands on the unpublished result that the T(n)-localization of the filtered colimit of the finite Galois extensions of the T(n)-local sphere is the Lubin–Tate spectrum E_n; if that identification fails, the descent from E_n to the sphere collapses.

Editorial extensions

If this is right

If correct, the redshift upper bound L_{T(m)}K(C)=0 for m≥n+2 holds for all L^f_n-local perfect categories, confirming the original theorem via an independent route.
The proof does not use the purity theorem, showing that the vanishing phenomenon is not peculiar to that framework.
The vanishing descent principle is a standalone tool that may apply to other localizing invariants beyond K-theory, such as THH or TC.
The reliance on the unpublished algebraic-closure theorem means the result is contingent on that statement being correct; once published, the argument becomes fully self-contained.
The method suggests that redshift upper bounds might be provable from Galois descent alone, without purity-type input.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The proof's modularity hints that the same descent chain from E_n could yield lower bounds or intermediate chromatic information if the Quillen–Lichtenbaum input is strengthened.
If the unpublished algebraic-closure theorem can be replaced by the K(n)-local version (as the paper notes), the argument applies to L_n-local categories, which might cover a wider class of inputs.
The vanishing descent principle might be tested independently on a toy example (e.g., a finite group acting on a bounded category) to gauge its generality before relying on it for the main theorem.
The paper's use of an unpublished result is a reminder that the proof is provisional; the weakest premise is external, not internal.

Share X Bluesky LinkedIn Reddit HN

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

The paper gives a new proof of the redshift upper bound, Theorem A, originally proved by Clausen–Mathew–Naumann–Noel. The theorem itself is not new, and the paper says so plainly. What is new is the route: instead of the Land–Mathew–Meier–Tamme purity theorem, it descends from the Lubin–Tate spectrum E_n using a T(n)-local algebraic closure statement. That proof architecture is genuinely different, and the vanishing descent principle (Prop 9) looks like a useful standalone tool.

The proof is clearly structured and mostly follows known patterns: telescopic fracture, K-theory of pullbacks, the module argument at the end. I checked the subtle claim that A_n is L^f_n-local; that's correct because T(n)-local spectra are L^f_n-local and localization is smashing. The use of Elmanto–Nardin–Yang's Mitchell trick is appropriate. I also appreciate the explicit acknowledgement that the argument relies on the unpublished Burklund–Clausen–Levy theorem (Thm 2), and the disclosure about ChatGPT for the proof of Prop 9 — neither of those affects mathematical content, but both are honest.

The soft spot is exactly what the stress test says: the descent from E_n to S_{T(n)} goes through Theorem 2, a filtered colimit of T(n)-local finite Galois extensions whose T(n)-localization is E_n. If that theorem is wrong, or only true K(n)-locally, then Propositions 7 and 8 fall apart and the induction can't start. This is an external dependency, not an internal inconsistency, and the paper correctly notes that without it you only get the L_n-local version. It's the single most fragile assumption, and a referee needs to scrutinize it. Everything after that is routine and I found no internal errors.

Who is this for? People working in chromatic K-theory who care about alternative routes to known theorems and about the vanishing descent principle. It is not a new result, but it's a serious methodological contribution. The reliance on unpublished work makes it conditional, but conditional does not mean wrong.

If I were the editor, I would send it to a referee who can assess both the BCL theorem's status and the Galois descent. It deserves a serious referee, not a desk reject. I'd probably read it for my own work but wouldn't cite it until the BCL input is public.

Referee Report

2 major / 5 minor

Summary. The paper gives a new proof of the Clausen–Mathew–Naumann–Noel redshift upper bound: if C is an L^f_n-local perfect stable category, then L_{T(m)}K(C)=0 for all m≥n+2. The proof is by induction on n. The base case uses Hahn–Wilson's Quillen–Lichtenbaum theorem to obtain vanishing for a suitable E_3 form of BP⟨n⟩, then transfers this vanishing to the Lubin–Tate spectrum E_n through an E_3 map. The key new step is a descent from E_n to the T(n)-local sphere: the unpublished Burklund–Clausen–Levy theorem (Theorem 2) identifies the T(n)-localization of the colimit of all T(n)-local finite Galois extensions of S_{T(n)} with E_n. Since algebraic K-theory preserves filtered colimits, this forces one finite Galois extension R to have vanishing T(m)-localized K-theory. A general vanishing descent principle (Proposition 9) then passes from R back to S_{T(n)}, and the telescopic fracture square plus the induction hypothesis gives vanishing for L^f_n S and, by a module argument, for every L^f_n-local category.

Significance. If the proof is correct, this is a genuinely new proof of a known theorem. It avoids the Land–Mathew–Meier–Tamme purity theorem and instead derives the upper bound from the Quillen–Lichtenbaum theorem and Galois descent. The vanishing descent principle (Proposition 9) is likely to be of independent interest. The internal reductions are well structured and, apart from the external dependency discussed below, appear coherent. However, the proof is not self-contained at its most strategically important point: the descent from E_n to S_{T(n)} rests entirely on an unpublished theorem. This makes the present version conditional in a way that a journal proof should not be.

major comments (2)

[Theorem 2 and Remark 3] The proof of the main theorem depends pivotally on Theorem 2, cited to unpublished work of Burklund–Clausen–Levy: L_{T(n)}(colim_R R) ≃ E_n. This is the only statement that connects the vanishing for E_n to a finite Galois extension R of S_{T(n)}. Propositions 7 and 8 both use this statement: without it, the induction cannot start. The paper itself says 'Our proof relies on this unpublished result', and Remark 3 offers only a weaker K(n)-local variant. If Theorem 2 is incorrect, or is only valid K(n)-locally, then Propositions 7 and 8 collapse. Since this is load-bearing, the manuscript must supply a proof, a publicly available reference, or at least a precise and checkable statement; otherwise the main theorem is conditional.
[Proposition 8] The step from the vanishing of colim_R L_{T(m)}K(R) to the existence of a single R with L_{T(m)}K(R)=0 uses the fact that K(R) is a ring spectrum and that the maps in the colimit are ring maps. The paper only states that algebraic K-theory preserves filtered colimits and that T(m)-localization preserves colimits. It does not explicitly justify that L_{T(m)}K(R) is a commutative ring spectrum and that the unit argument is compatible with the colimit. If T(m)-localization is being treated as a smashing monoidal localization, this should be stated; otherwise the passage from the colimit to a single R is missing a step.

minor comments (5)

[Notation 4 and Proposition 8] The notation dMod_R^{dbl} is used without definition; presumably it means the full subcategory of dualizable objects in the T(n)-local R-module category. Please define it explicitly.
[Introduction and Theorem 2] The introduction says 'T(n)-local filtered colimit' while the proof says 'filtered colimit in spectra'. These are not formally the same; please reconcile the wording and specify exactly in which category the colimit is taken.
[Proposition 6] The sentence 'T(m)-localization vanishes on bounded above spectra' is not by itself enough to deduce L_{T(m)}K(BP⟨n⟩)=0 from Theorem 1; one also needs that T(m)-localization annihilates L^f_{n+1}-local spectra for m≥n+2. This is standard, but it would help to spell it out.
[Proposition 9] In the 'if' direction, the map C^{hG}→C should be specified as evaluation at a point, and it should be explicitly noted that both K-theory and Z-localization are applied to the induced ring map. The current wording is terse.
[Proposition 10] The equivalence Sp_{T(n)} ≃ (dMod_R)^{hG} is cited with 'see for example [BMCSY25, Proposition 3.11]'. Please also spell out how passing to dualizable objects gives an equivalence with (dMod_R^{dbl})^{hG}, since this is used to apply Proposition 9.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the proof is a genuine descent argument from E_n using external inputs.

full rationale

The derivation chain is not circular. The vanishing for E_n (Prop 6) is imported from Hahn-Wilson's Quillen-Lichtenbaum theorem (Thm 1) and an external map from [ABM26]; the descent from E_n to a finite Galois extension (Props 7-8) uses the unpublished Burklund-Clausen-Levy theorem (Thm 2), which is an external (if fragile) input, not a restatement of the target. The vanishing descent principle (Prop 9) is proved inside the paper, and the telescopic fracture step (Prop 5) uses Land-Tamme and the paper's own inductive hypothesis, which is a legitimate induction. The only same-author citation is [BMCSY25, Prop 3.11] for a standard Galois descent equivalence Sp_{T(n)} ≃ (dMod_R)^{hG}; this is non-load-bearing because it is a structural result independent of the redshift claim. No fitted parameters, renamed inputs, or uniqueness imports were found. The reliance on the unpublished BCL theorem is a correctness/robustness concern, not a circularity.

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

The proof rests on several external theorems, the most fragile being the unpublished Burklund–Clausen–Levy result. No free parameters are introduced.

assumptions (6)

domain assumption Hahn–Wilson Quillen–Lichtenbaum: K(BP⟨n⟩)_(p) → L^f_{n+1}K(BP⟨n⟩) has bounded above fiber (Theorem 1, from [HW22])
The proof uses this to get vanishing for E_n in Proposition 6.
ad hoc to paper Burklund–Clausen–Levy: L_{T(n)}(colim_R R) ≃ E_n (Theorem 2)
Unpublished result central to the descent step; the paper explicitly relies on it in Remark 3.
domain assumption [ABM26, Prop 8.3]: existence of an E_3-map BP⟨n⟩ → E with underlying E_1-ring E_n
Used in Proposition 6 to transfer vanishing from BP⟨n⟩ to E_n.
domain assumption Equivariant K-theory assembles into a normed G-ring spectrum (Prop 9, using [HR26], [EH23], [CHLL24])
The vanishing descent principle relies on this.
domain assumption R is faithful over S_{T(n)} for a finite Galois extension (Prop 10, via [Rog08, 6.3.3] and [Kuh04] 1-semiadditivity)
Needed for the equivalence Sp_{T(n)} ≃ (dMod_R)^{hG}.
domain assumption Perf(S_{T(n)}) → Sp^dbl_{T(n)} has Verdier quotient D which is L^f_{n-1}-local (Prop 11, via [CMNN24, 4.15])
Used to deduce vanishing for S_{T(n)}.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Redshift Bound from Quillen-Lichtenbaum." pith.science (2026). https://pith.science/paper/XSD7HFX4

@misc{pith2026260802180,
  author       = {Pith},
  title        = {Pith review of: The Redshift Bound from Quillen-Lichtenbaum},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XSD7HFX4}},
  note         = {Machine review of arXiv:2608.02180}
}

read the original abstract

We give a new proof that algebraic K-theory increases chromatic height by at most one, originally established by Clausen-Mathew-Naumann-Noel. Our argument proceeds by descent from the Lubin-Tate spectrum, for which the required vanishing follows from Hahn-Wilson's Quillen-Lichtenbaum result.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 2 linked inside Pith

[1]

Adjunction of roots, algebraic K-theory and chromatic redshift

Christian Ausoni, Haldun Özgür Bayındır, and Tasos Moulinos. Adjunction of roots, algebraic K-theory and chromatic redshift . Compositio Mathematica , 162(4):999–1045, 2026

2026
[2]

Syntomic cohomology of truncated Brown--Peterson spectra

Gabriel Angelini-Knoll. Syntomic cohomology of truncated Brown--Peterson spectra . 2026. arXiv:2602.14380v3 https://arxiv.org/abs/2602.14380v3 [math.KT]

arXiv 2026
[3]

Algebraic K-theory of topological K-theory

Christian Ausoni and John Rognes. Algebraic K-theory of topological K-theory . Acta Mathematica , 188(1):1--39, 2002

2002
[4]

The chromatic red-shift in algebraic K-theory

Christian Ausoni and John Rognes. The chromatic red-shift in algebraic K-theory . L`Enseignement Math \'e matique , 54(2):13--15, 2008

2008
[5]

Schlank, and Lior Yanovski

Shay Ben-Moshe, Shachar Carmeli, Tomer M. Schlank, and Lior Yanovski. Descent and cyclotomic redshift for chromatically localized algebraic K -theory . Journal of the American Mathematical Society , 38(2):521--583, 2025

2025
[6]

Galois extensions of Lubin-Tate spectra

Andrew Baker and Birgit Richter. Galois extensions of Lubin-Tate spectra . Homology, Homotopy and Applications , 10(3):27--43, 2008

2008
[7]

Schlank, and Allen Yuan

Robert Burklund, Tomer M. Schlank, and Allen Yuan. The Chromatic Nullstellensatz . Annals of Mathematics , 2024

2024
[8]

Normed equivariant ring spectra and higher Tambara functors

Bastiaan Cnossen, Rune Haugseng, Tobias Lenz, and Sil Linskens. Normed equivariant ring spectra and higher Tambara functors . 2024. arXiv:2407.08399v1 https://arxiv.org/abs/2407.08399v1 [math.AT]

arXiv 2024

Show all 26 references

[9]

Descent and vanishing in chromatic algebraic K -theory via group actions

Dustin Clausen, Akhil Mathew, Niko Naumann, and Justin Noel. Descent and vanishing in chromatic algebraic K -theory via group actions . Annales scientifiques de l'\'Ecole normale sup\'erieure , 57(4):1135--1190, 2024

2024
[10]

Devinatz and Michael J

Ethan S. Devinatz and Michael J. Hopkins. Homotopy fixed point spectra for closed subgroups of the Morava stabilizer groups . Topology , 43(1):1--47, 2004

2004
[11]

On distributivity in higher algebra I: the universal property of bispans

Elden Elmanto and Rune Haugseng. On distributivity in higher algebra I: the universal property of bispans . Compositio Mathematica , 159(11):2326–2415, 2023

2023
[12]

A Descent view on Mitchell's theorem

Elden Elmanto, Denis Nardin, and Lucy Yang. A Descent view on Mitchell's theorem . Israel Journal of Mathematics , 269(2):975--983, 2025

2025
[13]

Equivariant chromatic localizations and commutativity

Michael A Hill. Equivariant chromatic localizations and commutativity . Journal of Homotopy and Related Structures , 14(3):647--662, 2019

2019
[14]

Equivariant localizing motives and multiplicative norms on algebraic K-theory

Kaif Hilman and Maxime Ramzi. Equivariant localizing motives and multiplicative norms on algebraic K-theory . 2026. arXiv:2603.15873v1 https://arxiv.org/abs/2603.15873v1 [math.KT]

2026
[15]

Redshift and multiplication for truncated Brown--Peterson spectra

Jeremy Hahn and Dylan Wilson. Redshift and multiplication for truncated Brown--Peterson spectra . Annals of Mathematics , 196(3):1277--1351, 2022

2022
[16]

Tate cohomology and periodic localization of polynomial functors

Nicholas J Kuhn. Tate cohomology and periodic localization of polynomial functors . Inventiones mathematicae , 157(2):345--370, 2004

2004
[17]

Purity in chromatically localized algebraic K -theory

Markus Land, Akhil Mathew, Lennart Meier, and Georg Tamme. Purity in chromatically localized algebraic K -theory . Journal of the American Mathematical Society , 37:1011--1040, 2024

2024
[18]

On the K -theory of pullbacks

Markus Land and Georg Tamme. On the K -theory of pullbacks . Annals of Mathematics , 190(3):877--930, 2019

2019
[19]

The Galois group of a stable homotopy theory

Akhil Mathew. The Galois group of a stable homotopy theory . Advances in Mathematics , 291:403--541, 2016

2016
[20]

The Morava K-theory of algebraic K-theory spectra

Stephen A Mitchell. The Morava K-theory of algebraic K-theory spectra . K-theory , 3(6):607--626, 1990

1990
[21]

Algebraic K-theory of finitely presented ring spectra

John Rognes. Algebraic K-theory of finitely presented ring spectra . Talk at Oberwolfach , 2000

2000
[22]

Galois Extensions of Structured Ring Spectra

John Rognes. Galois Extensions of Structured Ring Spectra. Stably Dualizable Groups , volume 192. Memoirs of the American Mathematical Society, 2008

2008
[23]

Motivic cohomology with Z/2 -coefficients

Vladimir Voevodsky. Motivic cohomology with Z/2 -coefficients . Publications Math \'e matiques de l'IH \'E S , 98:59--104, 2003

2003
[24]

On motivic cohomology with Z/l -coefficients

Vladimir Voevodsky. On motivic cohomology with Z/l -coefficients . Annals of mathematics , pages 401--438, 2011

2011
[25]

Algebraic K-theory of spaces, localization, and the chromatic filtration of stable homotopy

Friedhelm Waldhausen. Algebraic K-theory of spaces, localization, and the chromatic filtration of stable homotopy . In Ib H. Madsen and Robert A. Oliver, editors, Algebraic Topology Aarhus 1982 , pages 173--195, Berlin, Heidelberg, 1984. Springer Berlin Heidelberg

1982
[26]

Examples of chromatic redshift in algebraic K -theory

Allen Yuan. Examples of chromatic redshift in algebraic K -theory . Journal of the European Mathematical Society , 28(8):3453--3473, 2026

2026

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.

[1] [1]

Adjunction of roots, algebraic K-theory and chromatic redshift

Christian Ausoni, Haldun Özgür Bayındır, and Tasos Moulinos. Adjunction of roots, algebraic K-theory and chromatic redshift . Compositio Mathematica , 162(4):999–1045, 2026

2026

[2] [2]

Syntomic cohomology of truncated Brown--Peterson spectra

Gabriel Angelini-Knoll. Syntomic cohomology of truncated Brown--Peterson spectra . 2026. arXiv:2602.14380v3 https://arxiv.org/abs/2602.14380v3 [math.KT]

arXiv 2026

[3] [3]

Algebraic K-theory of topological K-theory

Christian Ausoni and John Rognes. Algebraic K-theory of topological K-theory . Acta Mathematica , 188(1):1--39, 2002

2002

[4] [4]

The chromatic red-shift in algebraic K-theory

Christian Ausoni and John Rognes. The chromatic red-shift in algebraic K-theory . L`Enseignement Math \'e matique , 54(2):13--15, 2008

2008

[5] [5]

Schlank, and Lior Yanovski

Shay Ben-Moshe, Shachar Carmeli, Tomer M. Schlank, and Lior Yanovski. Descent and cyclotomic redshift for chromatically localized algebraic K -theory . Journal of the American Mathematical Society , 38(2):521--583, 2025

2025

[6] [6]

Galois extensions of Lubin-Tate spectra

Andrew Baker and Birgit Richter. Galois extensions of Lubin-Tate spectra . Homology, Homotopy and Applications , 10(3):27--43, 2008

2008

[7] [7]

Schlank, and Allen Yuan

Robert Burklund, Tomer M. Schlank, and Allen Yuan. The Chromatic Nullstellensatz . Annals of Mathematics , 2024

2024

[8] [8]

Normed equivariant ring spectra and higher Tambara functors

Bastiaan Cnossen, Rune Haugseng, Tobias Lenz, and Sil Linskens. Normed equivariant ring spectra and higher Tambara functors . 2024. arXiv:2407.08399v1 https://arxiv.org/abs/2407.08399v1 [math.AT]

arXiv 2024