Pith. sign in

REVIEW 3 major objections 3 minor 17 references

Bounded-height complex-periodic stacks with quasi-affine structure maps are 0-affine: their quasi-coherent sheaves are exactly modules over their global sections.

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-04 07:06 UTC pith:NHHQ6I5X

load-bearing objection A substantial, well-structured generalization of Mathew–Meier 0-affineness, with reconstruction theorems that are genuinely new — but the main proof leans on one terse citation that a referee should force the authors to unpack. the 3 major comments →

arxiv 2510.26711 v2 pith:NHHQ6I5X submitted 2025-10-30 math.AT math.AGmath.CTmath.KT

Affineness and reconstruction in complex-periodic geometry

William Balderrama , Jack Morgan Davies , Sil Linskens This is my paper
classification math.AT math.AGmath.CTmath.KT MSC 14A2055N2255P4355P60
keywords spectral algebraic geometrycomplex-periodic stacks0-affinenessdescent stackslocal descendabilitymoduli stack of oriented formal groupsreconstructionchromatic homotopy theory
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 establishes that in complex-periodic geometry—derived stacks carrying an orientation of their formal group—many stacks are controlled by their ring of global sections. Its main theorem says that any complex-periodic stack of bounded height whose structure map to the moduli stack of oriented formal groups is quasi-affine is 0-affine: the category of quasi-coherent sheaves on the stack is equivalent to modules over its global sections. The proof is short and categorical, isolating all computational content in the smash product theorem rather than in spectral-sequence bookkeeping, and it generalizes a known 0-affineness theorem for narrower classes of stacks. A second family of results concerns reconstruction: under a stronger affine condition, such stacks are exactly the complex-periodifications of their global sections—the stack obtained by pulling back an affine spectrum along the formal-group moduli stack—so bounded-height formal-group moduli, oriented tori, and oriented elliptic curves are all determined by their global section rings.

Core claim

The central claim is Theorem A: if X is a complex-periodic stack of bounded height and its unique morphism X → Mor_FG is quasi-affine, then X is 0-affine—the global sections functor Γ : QCoh(X) → Mod_Γ(X) is an equivalence. The proof factors global sections through the height-bounded substack Mor_FG≤h. Quasi-affineness makes the first pushforward conservative and cocontinuous, via open-immersion and affine base-change arguments; the refined smash product theorem makes the second pushforward conservative and cocontinuous by identifying QCoh(Mor_FG≤h) with the corresponding localized category of spectra. The paper then introduces reconstructible stacks—those equivalent to the complex-periodifi

What carries the argument

Three pieces carry the argument. Universally 0-affine morphisms are maps whose base changes have conservative, colimit-preserving pushforwards satisfying a Beck–Chevalley compatibility; quasi-affine maps of spectral stacks are shown to be universally 0-affine. Descent stacks turn a morphism f: Y → X into its image D_f = colim of the Čech nerve Y ×_X Y ⇉ Y → ... , and the sheaf category on D_f is the descent category of modules. The key input is local descendability: when f_* O_Y is a thick-tensor generator of the localized category—roughly, the localized unit is built from f_* O_Y by tensor powers, retracts, and finite colimits—the inclusion D_f → X is 0-affine and QCoh(D_f) is the Bousfield

Load-bearing premise

The load-bearing input is the refined smash product theorem: localization of spectra at the product of the height-h Landweber exact E∞ rings is smashing and identifies the sheaf category on the height-bounded moduli stack with localized spectra; if that identification fails, the terminal pushforward in the proof of 0-affineness is no longer known to be conservative and cocontinuous.

What would settle it

The sharpest check is to construct a bounded-height complex-periodic stack X with quasi-affine X → Mor_FG for which Γ : QCoh(X) → Mod_Γ(X) is not an equivalence. Since the proof pins the terminal step on the smash product theorem, such a counterexample would first appear as a failure of the identification QCoh(Mor_FG≤h) ≃ L_h Sp—for instance, a spectral sequence based on a height-h Landweber exact ring without a uniform horizontal vanishing line.

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

If this is right

  • Every bounded-height complex-periodic stack with a quasi-affine structure map is 0-affine: its quasi-coherent sheaf category is exactly modules over its global sections, making computations in that category algebraically tractable.
  • The height-bounded formal-group moduli stacks, the oriented torus stack, and the oriented elliptic curve stack are reconstructible from their global sections; in particular the oriented elliptic curve stack is the complex-periodification of TMF.
  • For any complex-periodic stack X, oriented elliptic curves over X are in bijection with maps of E∞ rings TMF → Γ(O_X); the global sections of the universal curve may be constructed entirely from such maps.
  • Global sections restrict to an equivalence between affine stacks of height ≤ h and localized E∞ rings, so the global-sections functor is fully faithful on chromatically affine bounded-height stacks and its essential image is known.

Where Pith is reading between the lines

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

  • Because the proof funnels all computational input into one local-descendability input, the same theorem should transfer to any derived-geometry context where a classifying stack admits a locally descendable affine cover; the paper's general foundations are explicitly built to allow such transfer.
  • The 0-affineness/reconstruction gap identified for the compactified elliptic curve stack suggests a practical test: a complex-periodic stack is reconstructible roughly when its descent spectral sequence agrees with the usual Adams–Novikov-type spectral sequence of its global sections; checking this agreement could decide reconstruction in new examples.
  • A testable extension: any new complex-periodic moduli problem with affine structure map over Mor_FG and bounded height should automatically be reconstructible, so one can identify its global E∞ ring by recognizing the stack—an avenue for constructing new exotic E∞ rings from geometry.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper develops a functor-of-points foundation for derived algebraic geometry on possibly large sites, applies it to E_∞-rings with the fpqc topology to obtain the ∞-category Stk of spectral stacks, and embeds Lurie's nonconnective spectral Deligne–Mumford stacks into this setting. It introduces complex-periodic stacks over the moduli stack of oriented formal groups and proves three main results: Theorem A, that a bounded-height complex-periodic stack with quasi-affine structure map to Mor_FG is 0-affine; Theorem B, that complex-periodifications of MU-nilpotent E_∞-rings are 0-affine; and Theorems C and D, giving reconstruction of chromatically affine stacks from their global sections, including equivalences Mor_FG≤h ≃ Mor_L_hS, Mor_Ell ≃ Mor_TMF, and Mor_Tori ≃ Mor_KO. The proof of Theorem A is divided into a purely geometric/fpqc step concerning f_* and a chromatic step concerning π_*, the latter relying on a refinement of the Hopkins–Ravenel smash product theorem.

Significance. If Theorem A holds, it is a substantial generalization of the Mathew–Meier 0-affineness theorem: the Noetherian and Deligne–Mumford hypotheses are replaced by bounded height and quasi-affineness of the structure map to Mor_FG. The reconstruction results also give a clean categorical mechanism for recovering large classes of complex-periodic stacks from their global sections, with striking integral examples such as Mor_Ell ≃ Mor_TMF. The general stack-theoretic framework in Sections 2–3 is likely to be independently useful, and the paper is readable and carefully structured. The main theorems are parameter-free and falsifiable; the categorical parts of the proofs are largely self-contained and transparent. The central weakness is that the key global chromatic input is only cited, not stated or proved, and the assembled global statement is not obviously a formal consequence of the p-local smash product theorem.

major comments (3)
  1. [§4.3.2, Theorem 4.3.2.6] The proof that Mor_FG≤h → Spec S is locally descendable consists of the sentence: 'This is a reformulation of the uniform horizontal vanishing lines present in the E_n-based Adams spectral sequence, see [Bal24, Lm.A.4.6].' This is the sole support for conservativity and cocontinuity of π_* in the proof of Theorem A, and hence for Theorems C and D. The object E(h) is ∏_p E_{p,h(p)} in Sp, while the classical Hopkins–Ravenel theorem is p-local and per height. Infinite products do not commute with smash products, and Thick^⊗ is closed under finite thick ideals, not arbitrary products. The p-local statements L_{E_{p,h}}S ∈ Thick(E_{p,h}) in Sp_(p) do not by themselves imply the global statement L_{E(h)}S ∈ Thick^⊗(E(h)) in Sp. Please reproduce the exact global form of [Bal24, Lm.A.4.6] or supply the missing global argument; as written, this load-bearing point is unproved.
  2. [§4.3.2, Proposition 4.3.2.1(2)] The proof that E(h) = ∏_p E_{p,h(p)} is a Landweber exact E_∞-ring covering Mor_FG≤h is also abbreviated. The assertion that E(h) 'satisfies Landweber's exactness criterion as the same is true for E_{p,h}' only checks componentwise criteria on π_*E(h)/I_{p,n}. It does not establish the global facts needed later: that Spec E(h) is faithfully flat over Mor_FG≤h, that p-localization of the infinite product behaves as claimed, or that the base change MP → MP⊗E(h) is flat. These properties are not formal consequences of the corresponding p-local statements because localization and smash products do not commute with infinite products. Since Corollaries 4.3.2.2 and 4.3.2.4 and Theorem 4.3.2.6 depend on this cover, the authors should either give the full global argument or point to a precise statement in the literature where this exact product is treated.
  3. [§1.2 and §4.4, proof of Theorem A] The reduction to proving conservativity and cocontinuity of f_* and π_* is sound and clearly presented, and the f_* step is internally coherent. However, the π_* step inherits the unresolved dependence on Theorem 4.3.2.6 described above. In particular, the identification QCoh(Mor_FG≤h) ≃ L_hSp, the claim that π_* is the inclusion of E(h)-local spectra, and the conclusion that π_* preserves colimits all rely on the same unproved global local-descendability statement. Thus Theorem A is not fully established as written, even though the geometric part of the argument appears correct.
minor comments (3)
  1. [§2.2.3, proof of Corollary 2.2.3.3] The sentence 'except for the crucial [Lur18b, Cor.2.4.2.2], which is the missing reference in the proof of [Lur18b, Lm.9.2.1.2]' is opaque. If the authors are pointing out an erratum or missing step in Lurie's proof, this should be stated precisely; if not, the aside is confusing. Please clarify whether the proof of Corollary 2.2.3.3 itself is independent of that external lemma.
  2. [Throughout] There are several typographical errors: 'phenonemon' (§1), 'classicla' (§4.5.2), 'setions' (§4.6.2), and 'quasi-coherent sheaf content' in Definition 2.1.3.6 and Definition 2.1.3.7 for 'context'.
  3. [§4.5.1, Proposition 4.5.1.3(4)] The notation '(A_0MP, A_0MP^{⊗2})' is used for the Hopf algebroid associated to A. Consider clarifying that A_0MP^{⊗2} means π_0((A⊗MP)⊗_A(A⊗MP)) and not an iterated tensor product of the single ring A_0MP.

Circularity Check

0 steps flagged

No significant circularity: the main theorems are derived from independent categorical and chromatic inputs, and the one load-bearing self-citation is a prior published theorem rather than a restatement of this paper's conclusions.

full rationale

I walked the derivation chain of Theorems A, B, C, and D. Theorem A reduces to showing that the two pushforwards f_* and pi_* are conservative and cocontinuous. The f_* argument is internal: quasi-affineness, base change along a Landweber-exact cover, and openness/affineness of the resulting maps are used directly, with no circular definition. The pi_* step is supplied by Theorem 4.3.2.6, which identifies QCoh(Mor_FG^{<=h}) with L_h Sp. That identification is not assumed or built into the definitions of the objects involved; it is derived from the abstract local descendability criterion of Th.2.3.3.4, the identification Mor_FG^{<=h} ≃ D_E of Cor.4.3.2.2, and a cited Hopkins-Ravenel-type vanishing-line statement [Bal24, Lm.A.4.6]. The latter is a self-citation to the first author's published work, and it is load-bearing, but it is a parameter-free theorem with an independent proof and does not, as quoted, restate any theorem of this paper. There is no fitted data, no quantity called a prediction that is actually an input, and no uniqueness or ansatz imported only through an earlier paper by the same authors. The reconstruction statements in Theorems C and D are applications of the same local descendability computation plus the affine/0-affine criterion; the equivalences Mor_Ell ≃ Mor_TMF and Mor_FG^{<=h} ≃ Mor_{L_h S} are consequences, not hypotheses. The p-local versus global-prime issue raised by the skeptic is a possible support gap in the cited lemma, but not a circularity: it concerns whether the independent input is strong enough, not whether the derivation reduces to its own conclusion.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 2 invented entities

The paper introduces no fitted numerical parameters and no speculative physical entities. Its central claims depend instead on standard spectral algebraic geometry, moduli of formal groups, and the refined Hopkins–Ravenel smash product theorem. The most important assumption to scrutinize is the local descendability of Mor_FG≤h, entered through the cited [Bal24, Lm.A.4.6].

axioms (6)
  • standard math The tautological quasi-coherent sheaf context: (Aff, fpqc, Mod(-)) is a quasi-coherent context, i.e. Mod(-) is an fpqc sheaf on E-infinity rings.
    Lemma 3.1.2.1 invokes [Lur18b, Cor.D.6.3.3].
  • standard math Oriented formal groups over an E-infinity ring A are contractible iff A is complex-periodic; the unique oriented formal group is the Quillen formal group.
    Proposition 4.1.1.3 relies on [Lur18a, Pr.4.3.21, Pr.4.3.23].
  • domain assumption Refined Hopkins–Ravenel smash product theorem: for a suitable Landweber exact E(h), the spectrum E(h) is locally descendable in Sp, with smashing E(h)-localization and uniform horizontal vanishing lines in the E_n-based Adams spectral sequence.
    Used in the proof of Theorem A and in Th.4.3.2.6, citing [Bal24, Lm.A.4.6].
  • standard math Quillen's theorem: the classical moduli stack of formal groups is equivalent to the stack associated to the Hopf algebroid (π0MP, π0MP⊗MP).
    Corollary 4.1.3.3 uses this via [Pet19, Ex.3.1.19].
  • domain assumption CAlg and its connective/discrete variants are accessible, and their κ-compact objects form subsites for the fpqc topology, so Stk_fpqc(CAlg) is the filtered colimit of sheaf categories over small subsites.
    This is the technical foundation for the new large-site definition of Stk; see Cor.2.1.2.5 and Cor.3.1.1.4.
  • standard math The sphere spectrum is MP-nilpotent complete: Γ(Mor_FG) ≃ lim MP^{⊗(•+1)} ≃ S, using Bousfield's nilpotence theorem.
    Corollary 4.1.3.2 cites [Bou79, Th.3.1].
invented entities (2)
  • Stk_fpqc(CAlg): the ∞-category of spectral stacks on E-infinity rings with the fpqc topology independent evidence
    purpose: A functor-of-points foundation for nonconnective spectral algebraic geometry that avoids size issues with flat sheafification.
    It is defined as a colimit of sheaf categories over small subsites, and its compatibility with Lurie's SpDMnc stacks is proved in Th.3.2.1.3, Pr.3.2.2.2, and Ex.3.2.2.3.
  • Mor_A: the complex-periodification of an E-infinity ring A independent evidence
    purpose: A spectral refinement of Hopkins' stack construction, intended as a left adjoint to global sections and the key object in reconstruction.
    Its points, global sections, and descent spectral sequence are computed in Pr.4.5.1.3 and Rmk.4.5.1.4; it is also identified with existing stacks, e.g. Mor_Ell ≃ Mor_TMF.

pith-pipeline@v1.3.0-alltime-deepseek · 63839 in / 17092 out tokens · 192808 ms · 2026-08-04T07:06:59.477119+00:00 · methodology

0 comments
read the original abstract

Working in a generic derived algebro-geometric context, we lay the foundations for the general study of affineness and local descendability. When applied to $\mathbf{E}_\infty$ rings equipped with the fpqc topology, these foundations give an $\infty$-category of spectral stacks, a viable functor-of-points alternative to Lurie's approach to nonconnective spectral algebraic geometry. Specializing further to spectral stacks over the moduli stack of oriented formal groups, we use chromatic homotopy theory to obtain a large class of $0$-affine stacks, generalizing Mathew--Meier's famous $0$-affineness result. We introduce a spectral refinement of Hopkins' stack construction of an $\mathbf{E}_\infty$ ring, and study when it provides an inverse to the global sections of a spectral stack. We use this to show that a large class of stacks, which we call reconstructible, are naturally determined by their global sections, including moduli stacks of oriented formal groups of bounded height and the moduli stack of oriented elliptic curves.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references · 10 linked inside Pith

  1. [2]

    Chromatic defect, Wood’s theorem, and higher real K-theories

    87 [Car24] Christian Carrick. Chromatic defect, Wood’s theorem, and higher real K-theories. Preprint, arXiv:2402.17519 [math.AT] (2024),

    Pith/arXiv arXiv 2024

  2. [4]

    Descent spectral sequences through synthetic spectra.Int

    [CDvN25] Christian Carrick, Jack Morgan Davies, and Sven van Nigtevecht. Descent spectral sequences through synthetic spectra.Int. Math. Res. Not., 2025(15):26,

    2025

  3. [11]

    Even periodization of spectral stacks

    88 [Gre25] Rok Gregoric. Even periodization of spectral stacks. Preprint, arXiv:2504.16410 [math.AG] (2025),

    Pith/arXiv arXiv 2025

  4. [16]

    Elliptic Cohomology III: Tempered cohomology

    [Lur19] Jacob Lurie. Elliptic Cohomology III: Tempered cohomology. Available at https: //www.math.ias.edu/~lurie/, July 2019 version,

    2019

  5. [1976]

    Globalizing and stabilizing global ∞-categories

    [Lin24] Sil Linskens. Globalizing and stabilizing global ∞-categories. Preprint, arXiv:2401.02264 [math.AT] (2024),

    Pith/arXiv arXiv 2024

  6. [2000]

    [Goe08] Paul G. Goerss. Quasi-coherent sheaves on the moduli stack of formal groups. Preprint, arXiv:0802.0996 [math.AT] (2008),

    Pith/arXiv arXiv 2008

  7. [2008]

    Moduli stack of oriented formal groups and periodic complex bordism

    [Gre21a] Rok Gregoric. Moduli stack of oriented formal groups and periodic complex bordism. Preprint, arXiv:2107.08657 [math.AG] (2021),

    Pith/arXiv arXiv 2021

  8. [2011]

    Higher algebra

    [Lur17] Jacob Lurie. Higher algebra. Available at https://www.math.ias.edu/~lurie/, September 2017 version,

    2017

  9. [2014]

    On the derived Tate curve and global smooth Tate K-theory

    [DL25] Jack Morgan Davies and Sil Linskens. On the derived Tate curve and global smooth Tate K-theory. Preprint, arXiv:2503.04494 [math.AT] (2025),

    Pith/arXiv arXiv 2025

  10. [2016]

    Examples of descent up to nilpotence

    [Mat18] Akhil Mathew. Examples of descent up to nilpotence. InGeometric and topological aspects of the representation theory of finite groups. PIMS summer school and work- shop, Vancouver, Canada, July 27 – August 5, 2016, pages 269–311. Cham: Springer; Vancouver: Pacific Institute for the Mathematical Sciences,

    2016

  11. [2017]

    Elliptic Cohomology II: Orientations

    [Lur18a] Jacob Lurie. Elliptic Cohomology II: Orientations. Available athttps://www.math. ias.edu/~lurie/, April 2018 version,

    2018

  12. [2018]

    Spectral Algebraic Geometry

    [Lur18b] Jacob Lurie. Spectral Algebraic Geometry. Available at https://www.math.ias. edu/~lurie/, February 2018 version,

    2018

  13. [2020]

    Pyknotic objects, I

    [BH19] Clark Barwick and Peter Haine. Pyknotic objects, I. Basic notions. Preprint, arXiv:1904.09966 [math.AG] (2019),

    Pith/arXiv arXiv 1904

  14. [2021]

    Moduli stack of oriented formal groups and the chromatic filtration

    [Gre21b] Rok Gregoric. Moduli stack of oriented formal groups and the chromatic filtration. Preprint, arXiv:2111.15202 [math.AT] (2021),

    Pith/arXiv arXiv 2021

  15. [2022]

    Comparing tempered and equivariant elliptic cohomology

    [Dav23] Jack Morgan Davies. Comparing tempered and equivariant elliptic cohomology. Preprint, arXiv:2311.07958 [math.AT] (2023),

    Pith/arXiv arXiv 2023

  16. [2024]

    The descent spectral sequence for topological modular forms

    [CDvN24] Christian Carrick, Jack Morgan Davies, and Sven van Nigtevecht. The descent spectral sequence for topological modular forms. Preprint, arXiv:2412.01640 (2024),

    Pith/arXiv arXiv 2024

  17. [2025]

    Douglas, John Francis, André G

    [DFHH14] Christopher L. Douglas, John Francis, André G. Henriques, and Michael A. Hill, editors. Topological modular forms. Based on the Talbot workshop, North Conway, NH, USA, March 25–31, 2007, volume

    2007