{"id":"e37d7cd0-aae9-475e-99be-b7546e73519c","arxiv_id":"2505.01086","paper_version":1,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Synthetic spectra based on Morava E-theory are generated by bigraded spheres and are equivalent to modules over a filtered ring spectrum.","lead":"This paper proves that synthetic spectra built from Morava E-theory are cellular, meaning bigraded homotopy groups detect equivalences, and identifies them with modules over a filtered ring spectrum. The result extends earlier cellularity theorems to the non-connective chromatic setting and gives a filtered model useful for descent spectral sequences.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The filtered module equivalence in Theorem A(2) hinges on the unproved assertion that τ^{-1}νS is t-strict in Syn_E; the text neither proves it nor gives the exact place where it is established.","rationale":"The reader's weakest assumption identifies exactly the step I find most load-bearing. The rest of the cellularity proof (Theorem 1.4) is an induction on finite E-projective spectra that appears sound: the use of Lemma 1.5 and Nakayama's lemma is legitimate, and the 2-out-of-3 property for E-exact sequences makes the induction work. The filtered module part, however, depends on Theorem 2.4, and the only way Corollary 2.5 instantiates Theorem 2.4 is via the t-strictness of τ^{-1}νS. That assertion is stated without proof or a precise reference. I also note that Theorem 2.4's hypotheses (b) and (c) are not explicitly verified, though (b) should follow from compact generation by νP for finite P and (c) may follow from cellularity together with τ_{≥0}A ≅ 1; the text should state this. Because the missing step is a proof obligation rather than a demonstrated error, the appropriate verdict is conditional acceptance pending a proof or exact citation. I agree with the reader's verdict and would not change it.","tokens_in":5134,"tokens_out":22821,"duration_ms":235435,"concrete_test":"Verify Lemma 2.3(a)-(b) for C = Syn_E and A = τ^{-1}νS: compute τ_{≥0}A and check that the unit map 1 → τ_{≥0}A is an equivalence, and for all n,m ∈ Z check that the multiplication map τ_{≥n}A ⊗ τ_{≥m}A → τ_{≥n+m}A is an equivalence. This can be done using the explicit filtered model of synthetic spectra, or by locating a proof of t-strictness in [CDvN24a] or [Pst24] and citing the exact proposition and where it is established. A single counterexample, e.g., n = 1, m = -1 failing to be an equivalence, would invalidate Theorem A(2).","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Corollary 2.5, the only displayed justification is the sentence: 'In the case C = Syn_R, the τ-inverted unit τ^{-1}νS is a t-strict E∞-algebra.' No proof or citation is offered for this assertion. This is the input that makes Theorem 2.4 applicable; without t-strictness, Lemma 2.3 fails, so the identification filmap_C(1,−) ≅ map(1, Wh A ⊗ −) in the proof of Theorem 2.4 does not hold, and the symmetric monoidal equivalence to Mod_{map(νS,Wh(τ^{-1}νS))}(FilSp) does not follow by the method of this paper. The sentence 'The result now follows by using [CDvN24a, Proposition 1.25]' transfers the rest of the argument to a citation, but the t-strictness itself is not located there or anywhere. In addition, Theorem 2.4 hypotheses (b) and (c) — compactness of the unit and generation by Σ^n τ_{≥m}A — are not checked in the corollary; (b) is likely true via compact generation of Syn_E, and (c) may follow from cellularity, but the text does not say so. The t-strictness of τ^{-1}νS is therefore the load-bearing unproved step.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves two main results about the ∞-category Syn_E of synthetic spectra based on Morava E-theory. First, Theorem 1.4 establishes that Syn_E is cellular: the bigraded spheres generate Syn_E under colimits. The proof uses an induction on the dimension and E-rank of finite E-projective spectra, with a key lemma (Lemma 1.5) relating E_*-surjectivity and K_*-surjectivity via Nakayama. Second, Theorem A(2) identifies Syn_E with the ∞-category of modules over a filtered ring spectrum, using a general criterion (Theorem 2.4) for constructing filtered deformations from a t-strict E_∞-algebra in a symmetric monoidal stable ∞-category. The paper is an announcement-style preprint with short proofs.","tokens_in":5402,"tokens_out":16734,"duration_ms":148326,"significance":"If correct, the results are significant: they show that bigraded homotopy groups detect equivalences in Syn_E, and they provide a practical filtered model for Syn_E as modules over a filtered ring spectrum. The general deformation criterion (Theorem 2.4) is a useful contribution in its own right, and the cellularity proof is elementary and self-contained. However, the filtered module equivalence in Theorem A(2) currently rests on an unproved assertion about the t-strictness of τ^{-1}νS in Syn_E, as well as on hypotheses that are not explicitly verified in the text. These gaps are local and likely fixable, but they are load-bearing for the paper's central claim.","major_comments":[{"comment":"The proof of Corollary 2.5 asserts, with no proof or citation, that the τ-inverted unit τ^{-1}νS is a t-strict E_∞-algebra in Syn_E. This is hypothesis (a) of Theorem 2.4, and it is the precise input that makes the identification filmap_C(1,-) ≅ map(1, Wh A ⊗ -) valid via the duality supplied by Lemma 2.3. The sentence 'The result now follows by using [CDvN24a, Proposition 1.25]' does not relieve the authors of the need to establish t-strictness, since that proposition is not shown to contain this fact. Please either prove t-strictness directly or give a precise pointer to a theorem/proposition where it is established.","section":"2, Corollary 2.5"},{"comment":"The proof also does not check hypotheses (b) and (c) of Theorem 2.4 for C = Syn_E and A = τ^{-1}νS. In particular, the compactness of the unit and the generation of Syn_E by the objects Σ^n τ_{\\ge m}(τ^{-1}νS) should be demonstrated or at least explicitly reduced to Theorem 1.4. As written, the corollary's proof is a single assertion plus a citation, which is insufficient for the main equivalence in Theorem A(2).","section":"2, Corollary 2.5"}],"minor_comments":[{"comment":"The statement of Theorem A(2) says that νX is sent to Tot(Wh(E^{[•]} ∧ X)), while Corollary 2.5 says Tot(τ^{≥⋆}(E^{[•]} ⊗ X)). These notations should be reconciled, and the relationship between Wh and τ^{≥⋆} in this context should be spelled out.","section":"Theorem A and Corollary 2.5"},{"comment":"In the second case of the induction, the cofibre sequence is written as 'S^{k_d-1(P)} → P → ⊕_{Celld(P)} S^d'; the symbol S^{k_d-1(P)} should be sk_{d-1}(P), the (d-1)-skeleton, to be consistent with the surrounding text.","section":"1, proof of Theorem 1.4"},{"comment":"The introductory claim that 'E is F_p-acyclic for all p' appears to be incorrect for Morava E-theory at positive height, since E_*(F_p) is typically nonzero. If a different sense is intended, it should be clarified.","section":"Introduction"},{"comment":"The proof of Theorem 2.4 would benefit from a short explanation of how the strong symmetric monoidal functor Z → C given by n ↦ τ_{\\ge -n} A is obtained from t-strictness and how it induces the symmetric monoidal left adjoint FilSp → C.","section":"2, proof of Theorem 2.4"}],"recommendation":"major_revision","confidential_remarks":"The paper is elegant and the cellularity proof is convincing. The main deficiency is that the proof of the filtered equivalence in Corollary 2.5 is too thin for a result as prominent as Theorem A(2). If the t-strictness of τ^{-1}νS is indeed a known fact in [CDvN24a] or [CD24], the authors should state the precise location; otherwise they should include a proof. This is a fixable issue, so I support major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main result here is genuinely new. Pstrągowski handled MU, Lawson handled connective R, and E is F_p-acyclic, so neither applies. The proof in Section 1, using E-thick subcategories and an induction on (dim, rank), is a real method and I found no hole in it. Lemma 1.5 is a clean Nakayama argument, and the handling of top cells via K-theory is convincing. Theorem A(1) is the core of the paper and I think it is solid.\n\nThe filtered part is where I share the reader's reservation. Theorem 2.4 is a nice general criterion, and the proof is plausible, but Corollary 2.5 asserts without proof that tau^{-1} nu S is t-strict in Syn_E. That is the load-bearing input: it makes Lemma 2.3 apply, which in turn gives the identification filmap(1,-) = map(1, Wh A tensor -). The text just says it is t-strict and then cites [CDvN24a, Prop 1.25] for the rest. I could not find the statement in the text, and the citation is not to a specific place where t-strictness is established. In addition, hypotheses (b) and (c) of Theorem 2.4 are not checked in the corollary; they may follow from known compact generation and the cellularity just proved, but the paper does not spell this out. So Theorem A(2) is conditional as written.\n\nThis should not sink the paper. The fix is either a proof of t-strictness or a precise pointer to where it is proved; the section can be revised. The cellularity theorem stands on its own and is worth publishing even if the filtered equivalence needs more support. The writing is clear and the debt to prior work is acknowledged honestly.\n\nFor a reader working on synthetic spectra or chromatic homotopy, this is a useful paper. I would bring it to a reading group and I would cite the cellularity result if I needed it. The gaps are local and fixable, so a serious editor should send it to peer review rather than desk reject.","headline":"The cellularity theorem for Morava E-theory is new and the inductive proof in Section 1 looks sound; the filtered module equivalence in Theorem A(2) rests on an unproved t-strictness assertion and should be conditional until that is fixed.","tokens_in":5952,"tokens_out":2036,"would_cite":true,"duration_ms":22303,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55P42","18N60","55T99"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that synthetic spectra based on Morava E-theory are cellular and equivalent to modules over a filtered ring spectrum.","keywords":["cellularity","synthetic spectra","Morava E-theory","bigraded spheres","filtered spectra","t-structures","chromatic homotopy theory","infinity-categories"],"falsifier":"If for some $n,m\\in\\mathbb{Z}$ the natural map $\\tau_{\\ge n}(\\tau^{-1}\\nu S)\\otimes\\tau_{\\ge m}(\\tau^{-1}\\nu S)\\to\\tau_{\\ge n+m}(\\tau^{-1}\\nu S)$ in $\\mathrm{Syn}_E$ is not an isomorphism, then t-strictness fails and the filtered-model equivalence does not follow. Likewise, exhibiting a finite $E$-projective spectrum outside the $E$-thick subcategory generated by spheres would refute cellularity.","tokens_in":4892,"feed_emoji":"","tokens_out":10731,"duration_ms":105276,"temperature":0.7,"pith_summary":"This paper establishes that synthetic spectra based on Morava E-theory are cellular: the bigraded spheres generate the whole category under colimits, so bigraded homotopy groups detect equivalences. It also provides a symmetric monoidal equivalence between this synthetic category and the category of modules over an explicitly built filtered ring spectrum, with the synthetic image of an E-nilpotent spectrum described by the totalization of the Whitehead filtration of its E-Adams resolution. The route is a general method: any t-strict E-infinity algebra in a presentably symmetric monoidal stable infinity-category gives a filtered deformation and hence a filtered module equivalence. A reader should care because this turns a chromatic, computationally difficult category into an algebraic module category, making E-based Adams spectral sequences amenable to module-level analysis.","feed_headline":"Morava E synthetic spectra are generated by bigraded spheres","feed_subtitle":"That makes bigraded homotopy a complete invariant and yields a filtered ring model for the category.","key_machinery":"The argument is carried by three devices. First, the $E$-thick subcategory generated by spheres: a subcategory closed under suspensions, retracts, and the 2-out-of-3 property for cofibre sequences that are short exact on $E$-homology; when the finite $E$-projective spectra are contained in it, the paper proves that $\\mathrm{Syn}_E$ is cellular. Second, a comparison lemma showing that Morava $K$-homology detects $E$-homology surjectivity for finite $E$-projective spectra, which turns the top-cell induction into a $K$-theory argument and invokes Nakayama's lemma. Third, the t-strictness condition on an $E_\\infty$-algebra $A$: the Whitehead filtration $\\mathrm{Wh}\\,A$ is strong symmetric monoidal, equivalently $1\\to\\tau_{\\ge 0}A$ and $\\tau_{\\ge n}A\\otimes\\tau_{\\ge m}A\\to\\tau_{\\ge n+m}A$ are isomorphisms. For t-strict $A$ with compact unit and generators $\\tau_{\\ge m}A$, the paper's Theorem 2.4 produces the $\\mathrm{FilSp}$-module equivalence; for $A=\\tau^{-1}\\nu S$ in $\\mathrm{Syn}_E$ this gives Theorem A(2).","core_discovery":"The central claim is Theorem A: for a Morava E-theory $E$ at any prime and height, the $\\infty$-category $\\mathrm{Syn}_E$ of $E$-synthetic spectra is cellular, and there is a symmetric monoidal equivalence $$\\mathrm{Syn}_E \\simeq \\mathrm{Mod}_{\\mathrm{map}(\\nu S,\\mathrm{Wh}(\\$tau^{{-1}}$\\nu S))}(\\mathrm{FilSp})$$ sending $\\nu X$ to $\\mathrm{Tot}(\\mathrm{Wh}(E^{[\\bullet]}\\otimes X))$ for $E$-nilpotent complete $X$. The proof of cellularity shows that every finite $E$-projective spectrum lies in the $E$-thick subcategory generated by the sphere, by induction on the pair (top-cell dimension, $E_*$-rank); the inductive step uses the fact that for finite $E$-projective spectra a map is surjective on $E$-homology exactly when it is surjective on Morava $K$-homology, via $K_*\\otimes_{E_*} E_*P \\cong K_*P$ and Nakayama's lemma. The filtered model is a corollary of a general theorem: if $A$ is a t-strict $E_\\infty$-algebra in a presentably symmetric monoidal stable $\\infty$-category with compact unit and generators $\\tau_{\\ge m}A$, then the category is equivalent to modules over the filtered ring $\\mathrm{map}(1,\\mathrm{Wh}\\,A)$ in $\\mathrm{FilSp}$. Applied to $\\mathrm{Syn}_E$ with $A=\\tau^{-1}\\nu S$, this yields the module description.","pith_inferences":["A natural next test is whether t-strictness holds with the same $\\tau$-inverted unit in synthetic categories based on other completed ring spectra, which would produce filtered module models beyond Morava E-theory.","Since cellularity turns bigraded homotopy into a complete invariant, the $E$-synthetic category might serve as a tractable algebraic proxy for the $E$-local category; one could check whether known $E$-local phenomena, such as hidden extensions, appear as module-level facts over the filtered endomorphism ring.","The induction proving cellularity depends only on a $K$-theory surjectivity criterion plus Nakayama's lemma; this suggests that any spectrum $R$ with a 'field' quotient $K$ for which $K_*\\otimes_{R_*}R_*P\\cong K_*P$ on finite $R$-projective spectra would admit the same cellularity argument."],"forward_implications":["In $\\mathrm{Syn}_E$, bigraded homotopy groups detect equivalences: two $E$-synthetic spectra are equivalent exactly when their bigraded homotopy groups are isomorphic.","$\\mathrm{Syn}_E$ becomes a module category over an explicit filtered ring spectrum, so the $E$-based Adams spectral sequence can be studied as filtered module theory.","The general t-structure theorem gives a reusable recipe: any presentably symmetric monoidal stable $\\infty$-category with a compatible t-structure and a t-strict $E_\\infty$-algebra satisfying compactness and generation inherits a filtered module equivalence.","For $E$-nilpotent complete spectra, the synthetic functor $\\nu$ has the explicit formula $\\nu X\\simeq \\mathrm{Tot}(\\mathrm{Wh}(E^{[\\bullet]}\\otimes X))$, making the synthetic image computable from the $E$-Adams resolution."],"supporting_citations":[{"why":"Introduces R-synthetic spectra and the functor $\\nu$, supplies the generation criterion used in Proposition 1.3, and establishes cellularity for $MU$.","marker":"[Pst22]"},{"why":"Proves cellularity for connective $R$, the prior result that Theorem A extends beyond.","marker":"[Law24]"},{"why":"Provides the filtered Schwede–Shipley criterion (Theorem 2.1) turning a $\\mathrm{FilSp}$-module structure into a module equivalence.","marker":"[Pst24]"},{"why":"Supplies Proposition 1.25 identifying the signature functor with the totalization of the Whitehead-filtered Adams resolution.","marker":"[CDvN24a]"},{"why":"Contains the earlier observation that cellularity yields filtered models and gives an alternative description of the equivalence through completed modules.","marker":"[BHS22]"},{"why":"Gives the equivalence $\\mathrm{CAlg}(\\mathrm{Fil}(C))\\simeq \\mathrm{Fun}^{\\mathrm{lax}}(\\mathbb{Z}^{\\mathrm{op}},C)$, which underlies the definition of t-strictness.","marker":"[HA]"}],"fun_headline_variants":["Bigraded spheres generate Morava E synthetic spectra","Spheres generate synthetic spectra over Morava E","Filtered ring modules model Morava E synthetic spectra","Cellularity of Morava E synthetic spectra via spheres"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a certain filtered unit object in the synthetic category, obtained by inverting the unit, has a filtration that is compatible with the tensor product; the paper asserts this without proof, and the module description depends on it.","fun_headline_variants_meta":{"raw":{"variants":["Bigraded spheres generate Morava E synthetic spectra","Spheres generate synthetic spectra over Morava E","Filtered ring modules model Morava E synthetic spectra","Cellularity of Morava E synthetic spectra via spheres"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000735,"raw_usage":{"total_tokens":3274,"prompt_tokens":923,"completion_tokens":2351,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":539,"completion_tokens_details":{"reasoning_tokens":2289}},"tokens_in":539,"tokens_out":2351,"duration_ms":16430,"temperature":1.0,"reasoning_tokens":2289,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:27:07.472162+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"If for some $n,m\\in\\mathbb{Z}$ the natural map $\\tau_{\\ge n}(\\tau^{-1}\\nu S)\\otimes\\tau_{\\ge m}(\\tau^{-1}\\nu S)\\to\\tau_{\\ge n+m}(\\tau^{-1}\\nu S)$ in $\\mathrm{Syn}_E$ is not an isomorphism, then t-strictness fails and the filtered-model equivalence does not follow. Likewise, exhibiting a finite $E$-projective spectrum outside the $E$-thick subcategory generated by spheres would refute cellularity.","supporting_citations":[],"review_version":1}