{"id":"5bb7dfcf-8e3d-4754-b990-4db0ef5d2963","arxiv_id":"2510.26711","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new spectral-stack framework shows that many moduli stacks in complex-periodic homotopy theory, including bounded-height oriented formal groups and oriented elliptic curves, are determined by their global sections.","lead":"Two very large kinds of mathematical objects — stacks of formal groups and stacks of elliptic curves — can be rebuilt from the ring of functions defined on them. This paper proves a general framework for that reconstruction in stable homotopy theory, extending a known affineness theorem.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Th.4.3.2.6, and hence Th.A, rests on a one-sentence citation to [Bal24, Lm.A.4.6] for global local descendability of E(h)=∏_p E_{p,h(p)}; p-local Hopkins–Ravenel does not obviously assemble across primes, and the conservativity/cocontinuity of π_* collapses if it fails.","rationale":"The reader's ACCEPT with moderate confidence is defensible: the paper's internal categorical arguments—quasi-affineness, universally 0-affine morphisms, descent stacks, and the reduction of Th.A to conservativity/cocontinuity of f_* and π_*—are coherent and check out. The single most load-bearing step is not proved in-paper: the global local descendability of E(h)=∏_p E_{p,h(p)}. This is exactly the bridge to π_* being conservative and cocontinuous, and hence to QCoh(Mor_FG≤h) ≃ L_E(h)Sp. Because infinite products over primes are delicate and the usual Hopkins–Ravenel theorem is p-local, the burden is on the cited [Bal24, Lm.A.4.6] to supply a uniform finite E(h)-resolution in the global category. If the cited lemma does provide this, the main theorems stand as stated; if it only provides p-local versions, the integral statement of Th.A and the reconstruction theorems are not established. I therefore recommend conditional acceptance pending an explicit verification of the global assertion.","tokens_in":64229,"tokens_out":20731,"duration_ms":184427,"concrete_test":"Take a nonconstant bounded height function, e.g. h(2)=1, h(3)=2, h(p)=0 for p>3, and independently construct L_E(h)S as the totalization of an explicit finite E(h)-Adams resolution whose fibers are E(h)-modules, i.e. verify L_E(h)S ∈ Thick(E(h)) in the global category Sp. If the construction requires p-localization before forming the resolution, or the resolution length depends on p, then Th.4.3.2.6's global identification is not established; equivalently, compute QCoh(Mor_FG≤h) directly from the Čech nerve of Spec E(h)→Mor_FG≤h and compare with L_E(h)Sp. A successful test exhibits the finite resolution uniformly in p.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Th.A's proof reduces to showing f_* and π_* are conservative and cocontinuous. The f_* step is internal and sound; the π_* step is supplied by Th.4.3.2.6: QCoh(Mor_FG≤h) ≃ L_E(h)Sp, obtained by applying Th.2.3.3.4 to Spec E(h) → Spec S. The only proof of local descendability of E(h) is 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].' The object E(h) is an infinite product over all primes of Morava E-theories, while the classical Hopkins–Ravenel theorem is p-local and per-height; having L_{E_{p,h}}S ∈ Thick(E_{p,h}) inside Sp_(p) for each p does not by itself give L_E(h)S ∈ Thick(E(h)) in the global category, because infinite products do not commute with smash products and thick tensor ideals are not closed under products. The cited lemma must provide a finite, uniform E(h)-Adams resolution whose totalization is L_E(h)S. If it only gives p-local statements, then QCoh(Mor_FG≤h) ≃ L_E(h)Sp is unproved; π_* need not be conservative/cocontinuous, and Th.A, Th.C/Th.D (and the integral examples KO, TMF) lose their foundation. This is not a disagreement with consensus—it is a request to locate the exact global statement inside the citation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":64659,"tokens_out":13773,"duration_ms":168804,"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":[{"comment":"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.","section":"§4.3.2, Theorem 4.3.2.6"},{"comment":"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.","section":"§4.3.2, Proposition 4.3.2.1(2)"},{"comment":"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.","section":"§1.2 and §4.4, proof of Theorem A"}],"minor_comments":[{"comment":"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.","section":"§2.2.3, proof of Corollary 2.2.3.3"},{"comment":"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'.","section":"Throughout"},{"comment":"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.","section":"§4.5.1, Proposition 4.5.1.3(4)"}],"recommendation":"major_revision","confidential_remarks":"The paper is strong and the central categorical architecture is persuasive, but the main theorems rest on a single unstated global chromatic input: local descendability of E(h) = ∏_p E_{p,h(p)} in Sp. I do not see grounds for questioning novelty or attribution; the reliance on the first author's [Bal24, Lm.A.4.6] is legitimate, but the exact statement needs to be global and must be displayed. If the authors can provide the missing global proof or a precise citation with the theorem in the required form, I would support acceptance. As it stands, the gap is load-bearing and not merely expository."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this is a serious paper, and it deserves a serious referee. Theorems A–D are new, and the proof of Theorem A is a real conceptual advance over Mathew–Meier: the reduction of 0-affineness to conservativity and cocontinuity of pushforwards, with the f∗-part handled internally and only the π∗-part outsourced to chromatic input, is clean and illuminating. The general framework for stacks on large sites and the spectral refinement of Hopkins' stack construction are also genuinely useful contributions, not just packaging.\n\nWhat the paper does well: it is honest about where the work is. The authors flag the missing reference in Lurie's proof in Cor.2.2.3.3, they state their external dependencies explicitly, and the categorical core — universal 0-affineness, descent stacks, locally descendable morphisms — is developed carefully enough to make the main theorem feel like a corollary of a good definition rather than a miracle. The examples (Mor_Ell ≃ Mor_TMF, Mor_Tori ≃ Mor_KO, bounded-height Mor_FG) are compelling and the reconstruction theorem genuinely explains why those equivalences exist.\n\nThe soft spot is real and it is the one flagged in the stress test. Th.4.3.2.6, which supplies local descendability of E(h) = ∏_p E_{p,h(p)}, is proved by a one-sentence citation to [Bal24, Lm.A.4.6]. The concern is legitimate: p-local Hopkins–Ravenel for each prime separately does not formally assemble to a global statement, because infinite products need not lie in the thick tensor ideal generated by E(h), and conservativity/cocontinuity of π∗ collapses if that global statement fails. The cited lemma may well contain exactly the needed uniform horizontal vanishing lines, and the authors say it does — but a one-sentence reformulation is not enough for a load-bearing input of this size. A referee must check that lemma's statement against the global category Sp, not just the p-local version. If it holds up, the paper's central argument stands; if it doesn't, Theorems A, C, and D lose their foundation.\n\nEverything else is in proportion. The missing-reference note is minor and self-aware. The dependencies on the first author's own published work are not circular or fitted; they are parameter-free published results. I did not find a hidden flaw in the internal categorical arguments, but I would not certify the chromatic input without independent verification.\n\nWho is this for? Anyone working in chromatic homotopy theory or spectral algebraic geometry who cares about affine stacks, Tannaka duality, or the relationship between TMF and its moduli stack. It is a paper worth citing and worth discussing in a reading group, but the referee report should require an expanded proof of Th.4.3.2.6 or an explicit quotation of the global statement from [Bal24]. Send it to peer review.","headline":"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.","tokens_in":91,"tokens_out":1728,"would_cite":true,"duration_ms":34128,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14A20","55N22","55P43","55P60"],"pacs":[],"model":"deepseek-v4-flash","headline":"Bounded-height complex-periodic stacks with quasi-affine structure maps are 0-affine: their quasi-coherent sheaves are exactly modules over their global sections.","keywords":["spectral algebraic geometry","complex-periodic stacks","0-affineness","descent stacks","local descendability","moduli stack of oriented formal groups","reconstruction","chromatic homotopy theory"],"falsifier":"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.","tokens_in":64096,"feed_emoji":"🧮","tokens_out":9388,"duration_ms":98839,"temperature":0.7,"pith_summary":"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.","feed_headline":"Height-bounded spectral stacks are captured by their global sections","feed_subtitle":"Quasi-affineness over the formal-group moduli stack forces every sheaf to be a module over the stack's global ring.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["0-affineness from quasi-affineness at bounded height","Height-bounded stacks: global sections are enough","Bounded formal groups force spectral stack recovery","Global sections reconstruct bounded-height spectral stacks","Quasi-affine bounded stacks are determined by sections"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["0-affineness from quasi-affineness at bounded height","Height-bounded stacks: global sections are enough","Bounded formal groups force spectral stack recovery","Global sections reconstruct bounded-height spectral stacks","Quasi-affine bounded stacks are determined by sections"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000235,"raw_usage":{"total_tokens":1332,"prompt_tokens":733,"completion_tokens":599,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":477,"completion_tokens_details":{"reasoning_tokens":527}},"tokens_in":477,"tokens_out":599,"duration_ms":6064,"temperature":1.0,"reasoning_tokens":527,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T07:06:59.477119+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}