A rigidity theorem for $\pi_*$-\'etale $\mathbb E_k$-algebras

XianSheng Li

REVIEW 1 major objections 4 minor 15 references

The paper proves a rigidity theorem: for an E_{k+1}-ring spectrum, the category of π*-étale extensions of an E_k-algebra over a fixed target is equivalent to the category of étale Dirac algebras over its graded homotopy ring.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-02 07:11 UTC pith:G6F7TBYG

load-bearing objection The relative π*-étale rigidity theorem is real, and the one apparent gap in the k=1 case dissolves once you make the Koszul sign convention explicit. the 1 major comments →

arxiv 2607.22680 v1 pith:G6F7TBYG submitted 2026-07-12 math.AT

A rigidity theorem for π_*-\'etale mathbb E_k-algebras

Xiansheng Li This is my paper

classification math.AT MSC 55P4318N7013B40

keywords Dirac ringsring spectrasynthetic spectraobstruction theoryE_k-algebrasπ*-étale morphismsLubin-Tate theoryE_4-orientation

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper proves that the full graded homotopy ring of a structured ring spectrum controls its étale extensions. For any E_{k+1}-ring spectrum R and any map A→C of π*-Dirac E_k-R-algebras, the category of π*-étale extensions of A over C is equivalent to the ordinary category of étale Dirac algebras over π_*A over π_*C. This generalizes the classical π0-étale rigidity theorem from the bottom homotopy group to the entire homotopy ring, reducing spectral lifting problems to purely algebraic questions about graded-commutative rings. The proof uses a relative obstruction theory in synthetic spectra, showing that all obstruction and ambiguity spaces vanish for étale Dirac maps. As an application, the completed version of the theory constructs an I_n-complete E_3-MU_(p)-algebra structure on the Lubin-Tate spectrum E_n and an E_4-orientation MU_(p)→E_n.

Core claim

The central claim is that the functor π_*: Mod_R → Mod_{π_*(R)}(grAb) induces an equivalence of categories Alg_{E_k}(Mod_R)^{π*-ét}_{A//C} ≃ (CAlg^♡_{π_*A})^{ét}_{/π_*C} for 1≤k≤∞. In words: a π*-étale extension of an E_k-algebra is determined up to canonical equivalence by the induced étale map of Dirac rings on homotopy groups, and every étale Dirac extension is realizable. This extends the classical π0-étale rigidity theorem to the full graded homotopy ring, capturing examples such as the inclusion of the periodic Adams summand into p-local complex K-theory, which is not π0-étale. The author also develops an I-complete version of the obstruction theory and applies it to produce the I_n-co

What carries the argument

The argument runs through the theory of synthetic modules Syn_R: a complete prestable category whose heart is the category of graded π_*R-modules and whose periodic objects recover R-modules in spectra. Its potential-stage tower interpolates between E_k-R-algebras and graded algebraic data. The key technical tool is a relative obstruction theory: relative obstruction classes for objects and morphisms are identified, via base change, with mapping spaces out of the algebraic relative cotangent complex L^{E_k}_{B_0/A_0}. For étale Dirac maps this complex vanishes (k≥2) or the relevant mapping spaces vanish (k=1, by an augmentation-ideal calculation), making every transition in the tower an equi

Load-bearing premise

The k=1 case of Proposition 3.14 assumes without proof that a map of Dirac rings B0→D0 makes the two B0-actions on D0 agree, so the obstruction bimodule factors through the multiplication map; for graded-commutative rings these actions differ by the Koszul sign, so this factorization is not automatic and the written proof does not establish rigidity for k=1.

What would settle it

Find an étale morphism of Dirac rings A0→B0 and a map B0→D0 such that the B0-bimodule structure on D0 does not factor through the multiplication map (e.g., any example with odd-degree elements, where left and right actions differ by the Koszul sign); then the k=1 obstruction spaces in Lemmas 3.10–3.11 are not contractible by Lemma 3.3, so either Proposition 3.14 fails for k=1 or a new argument is needed. A concrete search: test whether there exist two non-equivalent π*-étale E_1-R-algebras with the same étale Dirac homotopy-ring map; such a pair would falsify Theorem 3.8 for k=1.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

π*-étale extensions of an E_k-algebra over an E_{k+1}-ring are classified entirely by their graded homotopy rings; the equivalence identifies the spectral category with a 1-category of Dirac algebras, so all higher homotopy information is irrelevant for étale extensions.
A π*-étale extension of E_1-ring spectra automatically carries a canonical E_k-algebra structure for every k (Corollary 3.9), so higher commutativity is free once the homotopy-ring map is étale.
For k≥2, the relative cotangent complex of any π*-étale extension vanishes (Corollary 3.17), confirming that such extensions have no deformations.
The completed obstruction theory produces an I_n-complete E_3-MU_(p)-algebra structure on the Lubin-Tate spectrum E_n and an E_4-orientation MU_(p)→E_n (Corollaries 4.8 and 4.9).
The existence of the E_3-algebra structure on E_n is recovered without appealing to prior constructions, giving an independent proof of a known existence result.

Where Pith is reading between the lines

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

If the k=1 case holds, this rigidity theorem suggests a general 'graded étale rigidity' principle: for any commutative ring spectrum whose homotopy ring is a Dirac ring, étale extensions are governed by the graded étale site of that ring, so spectral deformation problems can be solved algebraically whenever coefficient modules are complete.
The completed obstruction criterion (the vanishing of the completed relative cotangent complex) may apply to other Landweber-exact homology theories beyond Lubin-Tate, potentially yielding E_∞-structures on other completed spectra under MU_(p) whenever the analogous completed cotangent calculation vanishes.
A testable extension: the k=1 gap flagged in Proposition 3.14 might be repaired by working with the Koszul-sign-twisted bimodule directly; if repaired, the theorem would also strengthen Corollary 3.9, making every π*-étale E_1-extension canonically an E_∞-extension.
The contractibility of realization spaces in Corollary 4.8 implies that the E_3-MU_(p)-structure on E_n is essentially unique up to a contractible space of choices, not merely existence; this uniqueness is not explicitly stated by the paper but follows from Proposition 4.5.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

The relative π*-étale rigidity theorem is real, and the one apparent gap in the k=1 case dissolves once you make the Koszul sign convention explicit.

read the letter

Eli — quick take on arXiv:2607.22680. The paper proves a graded, relative version of Lurie's étale rigidity: for an E_{k+1} ring R, the category of π*-étale E_k-R-algebra extensions of A over a fixed target C is equivalent to the category of étale Dirac algebras over π_*A under π_*C. That genuinely extends Hesselholt–Pstrągowski's initial-object case and Lurie's π0-based statement, and it's proved uniformly for all k via relative obstruction theory in synthetic spectra. The I-complete version and the construction of an E_3-MU_(p)-algebra structure on Lubin–Tate theory are new machinery, even though the orientation itself is known (BHLS23). The paper is honest about that: it recovers the existence result, and it explicitly does not claim the resulting E_3-structure agrees with BHLS23's.

I read the proof with the reader's concern in mind. The alleged gap in the k=1 case of Prop. 3.14 is not real. The assertion that a map of Dirac rings B0→D0 makes the two B0-actions on D0 agree is exactly the kind of statement that looks false if you forget that the symmetry in grAb carries the Koszul sign. Once you write the right action ρ(d,b)=d f(b) and convert it to a left action of B0^op via α(b,d)=(-1)^{|b||d|}ρ(d,b), graded commutativity gives α(b,d)=f(b)d, so the B0⊗B0^op-action factors through multiplication. Same for B0 itself as coefficient. So Cor. 3.13(2) applies. The paper should add that sign sentence; as written it's a genuine subtlety, but not a load-bearing gap.

Other soft spots are minor. The proof is long and depends on PV22, PP23, HP23, and Higher Algebra; nothing circular, and the appendix gives a second proof for k≥2 via Dunn additivity, which is a useful cross-check. No code or formalization, but that is normal for this area. The application relies on the completed cotangent calculation, which is plausible and well-organized; the self-imposed limitation about not comparing to BHLS23's structure is fine.

This paper deserves refereeing. I'd send it out. The theorem is important, the argument is coherent, and the remaining work is exposition — spelling out the sign convention and maybe compressing the preliminary sections. For a reading group, I'd probably skip the full details but cite it.

Referee Report

1 major / 4 minor

Summary. The paper proves a graded, nonconnective generalization of Lurie's π₀-étale rigidity theorem: for an E_{k+1}-ring spectrum R and a π_*-Dirac E_k-R-algebra A, the homotopy-group functor induces an equivalence between the category of π_*-étale E_k-algebra extensions of A with a fixed target C and the corresponding category of étale Dirac algebras over π_*A. The proof develops a relative Goerss–Hopkins obstruction theory in synthetic R-modules, using the potential-stage tower of Pstrągowski–VanKoughnett and vanishing results for étale Dirac morphisms. As an application, the completed relative obstruction theory is used to construct an I_n-complete E_3-MU_(p)-algebra structure on the Lubin–Tate spectrum E_n, and hence an E_4-orientation MU_(p)→E_n, recovering a known construction of Burklund–Hahn–Levy–Schlank.

Significance. If the proof is correct, the main theorem is a substantial extension of étale rigidity: replacing π₀ by the full Dirac homotopy ring makes the statement sensitive to graded information and covers examples such as the periodic Adams summand inclusion, which are not π₀-étale. The relative obstruction-theoretic framework is clean and uniform, and the completed version is powerful enough to construct the Lubin–Tate E_3-MU_(p)-algebra structure directly from an algebraic coefficient map, without fitting parameters or introducing ad hoc axioms. The paper is also honest about what it does not prove, namely equivalence with the BHLS23 E_3-structure. The central theorems for k≥2 and the application rest on substantial external machinery, but the internal derivation is coherent and the application is concrete.

major comments (1)

[Proposition 3.14 and Lemma 3.3 (k=1 case)] The k=1 step asserts that for a map of Dirac rings B0→D0, the two B0-actions on D0 agree, so the coefficient bimodule factors through the multiplication μ. In the category of graded abelian groups, the natural B0-bimodule structure on D0 has action (b1⊗b2)·d = f(b1)d f(b2), whereas the μ-factorized action is f(b1)f(b2)d. These differ by the Koszul sign (-1)^{|d||b2|}, which depends on the degree of d; graded commutativity alone does not make the two actions agree as maps out of B0⊗B0^{op}⊗D0, and the regular bimodule is not isomorphic to the diagonal one. Thus Lemma 3.3 does not apply to the coefficient modules appearing in Proposition 3.14, and the k=1 obstruction spaces are not proved to vanish. This is load-bearing because the theorem is stated for 1≤k≤∞ and Appendix A reduces k≥2 to the k=1 case. The authors should either prove the required vanishing for the actual bimodule, add a hy

minor comments (4)

[Proposition 2.17] The sentence 'where the Ext group is computed in the derived category of E_k-modules in the derived category LMod_{π0(A)}' is confusing; it should say 'derived category of E_k-modules over π0(A)'.
[Definition 2.2 / Construction 2.4] Definition 2.2 defines a grading for 2≤k≤∞, but Construction 2.4 and Theorem 3.8 use the same notion for k=1. Please clarify how the grading is obtained for k=1.
[Lemma 3.12] The symbol R is used both for the base ring spectrum and for the shift algebra in Syn_R; this makes the base-change formulas hard to parse. Consider using a different letter for the shift algebra.
[Corollary 4.8] The step 'Transporting the structure across such an equivalence' is terse. Specify that the equivalence B≃E_n is an equivalence of MU_(p)-module spectra and that the E_3-MU_(p)-algebra structure is transported along it, yielding a map BP⟨n⟩→E_n under MU_(p).

Circularity Check

0 steps flagged

No significant circularity: the rigidity theorem and its Lubin–Tate application derive from external frameworks and contain no fitted parameters or definitionally equivalent predictions.

full rationale

The derivation chain is self-contained relative to the cited external frameworks (Lurie's Higher Algebra/SAG, PV22's abstract Goerss–Hopkins theory, PP23's synthetic spectra, HP23's Dirac geometry). Theorem 3.8 is not defined into existence: the left-hand side is defined by the π*-étale condition, but the theorem's content is the inverse implication, that every étale Dirac map is uniquely realizable; the proof supplies that content by relative obstruction theory (Lemmas 3.10–3.12, Prop. 3.14) and by the associated right-fibration argument. The obstruction spaces are shown to vanish using external vanishing results (HP23 Prop. 4.35 and Lemma 4.24) and the base-change formalism of Lurie/PV22, not by assuming the target category is equivalent to the source. No parameter is fitted to data and then renamed a prediction. The application uses the standard Lubin–Tate coefficient map, not an adjustable input, and derives the realization from the completed cotangent vanishing. The k=1 bimodule-factorization assertion in Prop. 3.14 is a sign-convention subtlety (graded commutativity), not a circular step. The paper's caveat that it does not compare its E3-MU(p)-algebra structure with BHLS23's is a compatibility limitation for the application, but it does not make the derivation circular; the self-centrality theorem of BHLS23 is external support, not a self-citation.

Axiom & Free-Parameter Ledger

0 free parameters · 7 axioms · 0 invented entities

The central claim rests on several substantial external frameworks (synthetic spectra, abstract Goerss-Hopkins theory, Dirac geometry, completion in spectral algebra). None of these are introduced ad hoc to this paper; they are established tools. There are no free parameters or invented entities.

axioms (7)

domain assumption Syn_R is a complete Grothendieck prestable category whose heart is LMod_{π_*R}(grAb) and whose periodic objects recover R-modules (Construction 2.4).
This synthetic-spectra framework, due to PP23, is the ambient in which the potential-stage tower and the equivalence with R-modules are run.
domain assumption The abstract Goerss-Hopkins obstruction theory of PV22 applies to E_k-algebras in Syn_R, including the formulas for object and morphism lifting obstructions (Props 2.17-2.19).
The relative obstructions in Lemmas 3.10-3.12 are obtained by relativizing this external theory.
standard math For k≥2, an étale morphism of Dirac rings has vanishing E_k-relative cotangent complex (HP23, Prop 4.35).
This is the algebraic vanishing input that kills the relative obstruction spaces in Cor 3.13(1).
standard math Derived I-completion in graded module categories and operadic module categories is exact and satisfies the mapping-space adjunction (Lurie SAG §7.3, as adapted in Lemma 4.1).
This is the basis of the completed obstruction theory in §4.1.
standard math The chosen BP⟨n⟩ admits an E_3-MU_(p)-algebra structure (HW22, Theorem A).
Used as the source algebra in the Lubin-Tate application.
standard math The self-centrality theorem identifies the E_3-center of E_n with E_n (BHLS23, Prop 5.11).
Used in Cor 4.9 to promote the constructed E_3 structure to an E_4 orientation.
standard math Landweber exact MU-module spectra are determined by their coefficient modules (HS99, Thm 2.8).
Used to identify the realized spectrum B with Lubin-Tate spectrum E_n.

pith-pipeline@v1.3.0-alltime-deepseek · 18818 in / 40865 out tokens · 372506 ms · 2026-08-02T07:11:04.746510+00:00 · methodology

0 comments

read the original abstract

We prove a rigidity theorem for $\pi_*$-\'etale $\mathbb E_k$-algebras over an $\mathbb E_{k+1}$-ring spectrum: the category of $\pi_*$-\'etale extensions of an $\mathbb E_k$-algebra is identified with the ordinary category of \'etale Dirac algebras over its graded homotopy Dirac ring. The proof develops a relative Goerss-Hopkins type obstruction theory in synthetic spectra, including an $I$-complete version. As an application, the completed obstruction theory constructs the $I_n$-complete $\mathbb E_3$-$MU_{(p)}$-algebra realization of the Lubin-Tate theory, hence an $\mathbb E_4$-orientation $MU_{(p)}\to E_n$.

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 3 linked inside Pith

[1]

, title =

Burklund, Robert and Hahn, Jeremy and Levy, Ishan and Schlank, Tomer M. , title =. 2023 , eprint =. doi:10.48550/arXiv.2310.17459 , url =

Pith/arXiv arXiv doi:10.48550/arxiv.2310.17459 2023
[2]

Publications Math\'

Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , title =. Publications Math\'. 2019 , doi =

2019
[3]

Transactions of the American Mathematical Society , volume =

Baker, Andrew and Richter, Birgit , title =. Transactions of the American Mathematical Society , volume =. 2007 , url =

2007
[4]

and Yuan, Allen , title =

Burklund, Robert and Schlank, Tomer M. and Yuan, Allen , title =. 2022 , eprint =. doi:10.48550/arXiv.2207.09929 , url =

Pith/arXiv arXiv doi:10.48550/arxiv.2207.09929 2022
[5]

2002 , url =

Hatcher, Allen , title =. 2002 , url =

2002
[6]

Dirac geometry

Hesselholt, Lars and Pstr. Dirac geometry. Peking Mathematical Journal , year =
[7]

2009 , series =

Lurie, Jacob , title =. 2009 , series =

2009
[8]

2010 , note =

Lurie, Jacob , title =. 2010 , note =

2010
[9]

2017 , url =

Lurie, Jacob , title =. 2017 , url =

2017
[10]

2018 , url =

Lurie, Jacob , title =. 2018 , url =

2018
[11]

Adams spectral sequences and Franke's algebraicity conjecture , year =

Patchkoria, Irakli and Pstr. Adams spectral sequences and Franke's algebraicity conjecture , year =. 2110.03669 , archivePrefix =

Pith/arXiv arXiv
[12]

Finite Height Chromatic Homotopy Theory , year =

Pstr. Finite Height Chromatic Homotopy Theory , year =
[13]

Abstract Goerss--Hopkins theory , journal =

Pstr. Abstract Goerss--Hopkins theory , journal =. 2022 , doi =

2022
[14]

Annals of Mathematics , volume =

Hahn, Jeremy and Wilson, Dylan , title =. Annals of Mathematics , volume =. 2022 , doi =

2022
[15]

, title =

Hovey, Mark and Strickland, Neil P. , title =. 1999 , doi =

1999

[1] [1]

, title =

Burklund, Robert and Hahn, Jeremy and Levy, Ishan and Schlank, Tomer M. , title =. 2023 , eprint =. doi:10.48550/arXiv.2310.17459 , url =

Pith/arXiv arXiv doi:10.48550/arxiv.2310.17459 2023

[2] [2]

Publications Math\'

Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , title =. Publications Math\'. 2019 , doi =

2019

[3] [3]

Transactions of the American Mathematical Society , volume =

Baker, Andrew and Richter, Birgit , title =. Transactions of the American Mathematical Society , volume =. 2007 , url =

2007

[4] [4]

and Yuan, Allen , title =

Burklund, Robert and Schlank, Tomer M. and Yuan, Allen , title =. 2022 , eprint =. doi:10.48550/arXiv.2207.09929 , url =

Pith/arXiv arXiv doi:10.48550/arxiv.2207.09929 2022

[5] [5]

2002 , url =

Hatcher, Allen , title =. 2002 , url =

2002

[6] [6]

Dirac geometry

Hesselholt, Lars and Pstr. Dirac geometry. Peking Mathematical Journal , year =

[7] [7]

2009 , series =

Lurie, Jacob , title =. 2009 , series =

2009

[8] [8]

2010 , note =

Lurie, Jacob , title =. 2010 , note =

2010

[9] [9]

2017 , url =

Lurie, Jacob , title =. 2017 , url =

2017

[10] [10]

2018 , url =

Lurie, Jacob , title =. 2018 , url =

2018

[11] [11]

Adams spectral sequences and Franke's algebraicity conjecture , year =

Patchkoria, Irakli and Pstr. Adams spectral sequences and Franke's algebraicity conjecture , year =. 2110.03669 , archivePrefix =

Pith/arXiv arXiv

[12] [12]

Finite Height Chromatic Homotopy Theory , year =

Pstr. Finite Height Chromatic Homotopy Theory , year =

[13] [13]

Abstract Goerss--Hopkins theory , journal =

Pstr. Abstract Goerss--Hopkins theory , journal =. 2022 , doi =

2022

[14] [14]

Annals of Mathematics , volume =

Hahn, Jeremy and Wilson, Dylan , title =. Annals of Mathematics , volume =. 2022 , doi =

2022

[15] [15]

, title =

Hovey, Mark and Strickland, Neil P. , title =. 1999 , doi =

1999