Iterated chromatic localisation

Neil Strickland; Nicola Bellumat

arxiv: 1907.07801 · v1 · pith:MXWQ4GVWnew · submitted 2019-07-17 · 🧮 math.AT

Iterated chromatic localisation

Neil Strickland , Nicola Bellumat This is my paper

Pith reviewed 2026-05-24 19:38 UTC · model grok-4.3

classification 🧮 math.AT

keywords stable homotopy categoryMorava K-theorychromatic localizationtranschromatic phenomenaChromatic Splitting Conjectureequivariant stable homotopyLean formalization

0 comments

The pith

A monoid of endofunctors on the stable homotopy category includes localizations at finite unions of Morava K-theories.

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

The paper establishes an axiomatic description of a monoid of endofunctors that contains all localizations with respect to finite unions of Morava K-theories. This framework is designed to apply also in equivariant stable homotopy theory. A reader would care because it provides a structured way to handle iterated chromatic localizations, which are relevant to understanding how different chromatic heights interact in stable homotopy. The combinatorial aspects have been checked in a proof assistant, suggesting the results are robust enough for further development.

Core claim

The authors study a monoid of endofunctors of the stable homotopy category that includes localizations with respect to finite unions of Morava K-theories. They work in an axiomatic framework that extends to analogous questions in equivariant stable homotopy theory. Their results are intended to be helpful for the study of transchromatic phenomena, including the Chromatic Splitting Conjecture.

What carries the argument

The monoid of endofunctors of the stable homotopy category including localizations at finite unions of Morava K-theories, described axiomatically.

If this is right

The framework extends to equivariant stable homotopy theory.
Results aid the study of transchromatic phenomena.
The Chromatic Splitting Conjecture may be approachable via this monoid.
Combinatorial parts are formalizable in Lean.

Where Pith is reading between the lines

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

This monoid structure could allow systematic iteration of localizations across different heights.
The axiomatic setup might apply to other categories in homotopy theory beyond stable and equivariant cases.
Formalization suggests potential for verifying more complex transchromatic statements computationally.

Load-bearing premise

That the localizations with respect to finite unions of Morava K-theories can be organized into a monoid of endofunctors admitting an axiomatic description that works in the equivariant setting as well.

What would settle it

A concrete counterexample where an iterated chromatic localization fails to satisfy the monoid axioms or does not capture a known transchromatic phenomenon in the equivariant case.

read the original abstract

We study a certain monoid of endofunctors of the stable homotopy category that includes localizations with respect to finite unions of Morava $K$-theories. We work in an axiomatic framework that can also be applied to analogous questions in equivariant stable homotopy theory. Our results should be helpful for the study of transchromatic phenomena, including the Chromatic Splitting Conjecture. The combinatorial parts of this work have been formalised in the Lean proof assistant.

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

Strickland and Bellumat define a monoid of endofunctors including finite unions of Morava K-theory localizations, with an axiomatic setup and Lean formalization of the combinatorics.

read the letter

The new piece is the explicit monoid of endofunctors on the stable homotopy category that closes under these iterated localizations, together with the axiomatic language that lets the same setup run in equivariant settings. The Lean formalization of the combinatorial parts is real, checkable work and gives the paper a solid anchor on that side. That is the part that stands up without needing further interpretation. The claim that this organizes transchromatic phenomena and will help with the Chromatic Splitting Conjecture is stated plainly but not demonstrated with a new calculation or reduction in the abstract. The framework is general by design, so its value will depend on whether later papers actually use it to produce concrete statements about the conjecture. No load-bearing circularity or hidden assumption jumps out from the given description, and the axiomatic route is a reasonable way to get generality without re-proving everything from scratch each time. This is narrow-gauge work aimed at people already inside chromatic homotopy theory who care about transchromatic questions. A reader who is not already tracking the splitting conjecture or related localization problems will not get much out of it. The combination of a central topic and verifiable formalization is enough to justify sending it to referees rather than desk-rejecting; the details of how the monoid interacts with actual spectra will need checking, but the paper is coherent on its own terms.

Referee Report

0 major / 2 minor

Summary. The paper studies a monoid of endofunctors of the stable homotopy category that includes localizations with respect to finite unions of Morava K-theories. It develops this study in an axiomatic framework that extends to equivariant stable homotopy theory. The results are positioned as helpful for transchromatic phenomena, including the Chromatic Splitting Conjecture. Combinatorial parts of the work are formalized in Lean.

Significance. If the results hold, the axiomatic framework provides a uniform way to handle iterated localizations at finite unions of Morava K-theories and extends naturally to equivariant settings, offering potential tools for transchromatic questions. The Lean formalization of the combinatorial components supplies machine-checked verification of that portion of the argument, which is a clear strength.

minor comments (2)

[Abstract] The abstract states that the results 'should be helpful' for the Chromatic Splitting Conjecture but does not indicate which specific theorem or construction is intended to apply directly; a brief pointer to the relevant result would clarify the claim.
The axiomatic setup is described as extending to equivariant stable homotopy theory, but the precise axioms that enable this extension are not enumerated in the provided summary; listing them explicitly would aid readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the paper, the significance of the axiomatic framework and Lean formalization, and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper defines and studies a monoid of endofunctors via an axiomatic framework that is explicitly designed to extend beyond the specific case of Morava K-theory localizations, with combinatorial aspects independently verified by Lean formalization. No equations, predictions, or central claims are shown to reduce by construction to fitted parameters, self-citations, or renamed inputs; the positioning of results as helpful for transchromatic questions such as the Chromatic Splitting Conjecture is presented as an application rather than a derived equality. The setup relies on general background in stable homotopy theory without load-bearing self-referential steps.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background of the stable homotopy category and Morava K-theories; no free parameters or new postulated entities are indicated in the abstract.

axioms (2)

standard math Existence and basic properties of the stable homotopy category
Invoked as the ambient setting for the endofunctors.
domain assumption Existence of Morava K-theories and their localizations
Used to define the localizations included in the monoid.

pith-pipeline@v0.9.0 · 5583 in / 1214 out tokens · 26792 ms · 2026-05-24T19:38:17.325262+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery; embed_strictMono_of_one_lt unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We study a certain monoid of endofunctors ... generated by all the λA for A⊆N. ... μ(U,V)=U∗V={A∪B|A∈U,B∈V,A∠B}
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.8. There is a strong monoidal functor U↦→θU from Q to End(B)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · 3 internal anchors

[1]

A. K. Bousﬁeld and Daniel M. Kan, Homotopy limits, completions and localizations , Lecture notes in Mathematics, vol. 304, Springer–Verlag, 1972

work page 1972
[2]

Denis-Charles Cisinski, Images directes cohomologiques dans les cat´ egories de mod ` eles, An- nales Math´ ematiques Blaise Pascal10 (2003), 195-244 (French)

work page 2003
[3]

MR22 94028

, Les pr´ efaisceaux comme mod` eles des types d’homotopie , Ast´ erisque 308 (2006), xxiv+390 (French, with English and French summaries). MR22 94028

work page 2006
[4]

D. C. Cisinski and A. Neeman, Additivity for derivator K-theory , Advances in Mathematics, vol. 217, 2008

work page 2008
[5]

Franke, Uniqueness theorems for certain triangulated categories p ossessing an Adams spec- tral sequence, K-theory Preprint Archives, 1996

J. Franke, Uniqueness theorems for certain triangulated categories p ossessing an Adams spec- tral sequence, K-theory Preprint Archives, 1996

work page 1996
[6]

Groth, Book project on derivators , Vol

M. Groth, Book project on derivators , Vol. 1, under construction

work page
[7]

13, Mathematical Sciences Publisher, 2013

, Derivators, pointed derivators and stable derivators , Algebraic & Geometric Topol- ogy, vol. 13, Mathematical Sciences Publisher, 2013. 42 N. P. STRICKLAND AND N. BELLUMAT

work page 2013
[8]

, Monoidal derivators and additive derivators , arXiv:1203.5071, 2012

work page internal anchor Pith review Pith/arXiv arXiv 2012
[9]

33, 2018

, Revisiting the canonicity of canonical triangulations , Theory and Applications of Categories, vol. 33, 2018

work page 2018
[10]

Groth, K

M. Groth, K. Ponto, and M. Shulman, Mayer-Vietoris sequences in stable derivators , Vol. 16, Homology, Homotopy and Applications, 2014

work page 2014
[11]

Andreas Heider, Two results from Morita theory of stable model categories , available at arXiv:0707.0707[math.AT]

work page internal anchor Pith review Pith/arXiv arXiv
[12]

Mark Hovey, John H Palmieri, and Neil P Strickland, Axiomatic stable homotopy theory , Mem. Amer. Math. Soc. 128 (1997), no. 610, x+114

work page 1997
[13]

Margolis, Spectra and the Steenrod algebra , North-Holland, 1983

Harvey R. Margolis, Spectra and the Steenrod algebra , North-Holland, 1983

work page 1983
[14]

148, Princeton University Press, Princeton, NJ, 2001

Amnon Neeman, Triangulated categories, Annals of Mathematics Studies, vol. 148, Princeton University Press, Princeton, NJ, 2001. MR1812507

work page 2001
[15]

The linearity of traces in monoidal categories and bicategories

K. Ponto and M. Shulman, Linearity of traces in monoidal categories and bicategorie s, arXiv:1406.7854, 2014

work page internal anchor Pith review Pith/arXiv arXiv 2014
[16]

D. A. Pronk, Etendues and stacks as bicategories of fractions , Compositio mathematica, vol. 102, no.3, 1996

work page 1996
[17]

I , Algebraic k-theory, i: Higher k-theories (proc

Daniel Quillen, Higher algebraic K-theory. I , Algebraic k-theory, i: Higher k-theories (proc. conf., battelle memorial inst., seattle, wash., 1972), 197 3, pp. 85–147. Lecture Notes in Math., Vol. 341

work page 1972
[18]

E. M. Vitale, Bipullbacks and calculus of fractions , Chaiers de topologie et g´ eom´ etrie diﬀ´ erentielle cat´ egoriques, vol. 51, no.2, 2010

work page 2010

[1] [1]

A. K. Bousﬁeld and Daniel M. Kan, Homotopy limits, completions and localizations , Lecture notes in Mathematics, vol. 304, Springer–Verlag, 1972

work page 1972

[2] [2]

Denis-Charles Cisinski, Images directes cohomologiques dans les cat´ egories de mod ` eles, An- nales Math´ ematiques Blaise Pascal10 (2003), 195-244 (French)

work page 2003

[3] [3]

MR22 94028

, Les pr´ efaisceaux comme mod` eles des types d’homotopie , Ast´ erisque 308 (2006), xxiv+390 (French, with English and French summaries). MR22 94028

work page 2006

[4] [4]

D. C. Cisinski and A. Neeman, Additivity for derivator K-theory , Advances in Mathematics, vol. 217, 2008

work page 2008

[5] [5]

Franke, Uniqueness theorems for certain triangulated categories p ossessing an Adams spec- tral sequence, K-theory Preprint Archives, 1996

J. Franke, Uniqueness theorems for certain triangulated categories p ossessing an Adams spec- tral sequence, K-theory Preprint Archives, 1996

work page 1996

[6] [6]

Groth, Book project on derivators , Vol

M. Groth, Book project on derivators , Vol. 1, under construction

work page

[7] [7]

13, Mathematical Sciences Publisher, 2013

, Derivators, pointed derivators and stable derivators , Algebraic & Geometric Topol- ogy, vol. 13, Mathematical Sciences Publisher, 2013. 42 N. P. STRICKLAND AND N. BELLUMAT

work page 2013

[8] [8]

, Monoidal derivators and additive derivators , arXiv:1203.5071, 2012

work page internal anchor Pith review Pith/arXiv arXiv 2012

[9] [9]

33, 2018

, Revisiting the canonicity of canonical triangulations , Theory and Applications of Categories, vol. 33, 2018

work page 2018

[10] [10]

Groth, K

M. Groth, K. Ponto, and M. Shulman, Mayer-Vietoris sequences in stable derivators , Vol. 16, Homology, Homotopy and Applications, 2014

work page 2014

[11] [11]

Andreas Heider, Two results from Morita theory of stable model categories , available at arXiv:0707.0707[math.AT]

work page internal anchor Pith review Pith/arXiv arXiv

[12] [12]

Mark Hovey, John H Palmieri, and Neil P Strickland, Axiomatic stable homotopy theory , Mem. Amer. Math. Soc. 128 (1997), no. 610, x+114

work page 1997

[13] [13]

Margolis, Spectra and the Steenrod algebra , North-Holland, 1983

Harvey R. Margolis, Spectra and the Steenrod algebra , North-Holland, 1983

work page 1983

[14] [14]

148, Princeton University Press, Princeton, NJ, 2001

Amnon Neeman, Triangulated categories, Annals of Mathematics Studies, vol. 148, Princeton University Press, Princeton, NJ, 2001. MR1812507

work page 2001

[15] [15]

The linearity of traces in monoidal categories and bicategories

K. Ponto and M. Shulman, Linearity of traces in monoidal categories and bicategorie s, arXiv:1406.7854, 2014

work page internal anchor Pith review Pith/arXiv arXiv 2014

[16] [16]

D. A. Pronk, Etendues and stacks as bicategories of fractions , Compositio mathematica, vol. 102, no.3, 1996

work page 1996

[17] [17]

I , Algebraic k-theory, i: Higher k-theories (proc

Daniel Quillen, Higher algebraic K-theory. I , Algebraic k-theory, i: Higher k-theories (proc. conf., battelle memorial inst., seattle, wash., 1972), 197 3, pp. 85–147. Lecture Notes in Math., Vol. 341

work page 1972

[18] [18]

E. M. Vitale, Bipullbacks and calculus of fractions , Chaiers de topologie et g´ eom´ etrie diﬀ´ erentielle cat´ egoriques, vol. 51, no.2, 2010

work page 2010