{"id":"77732ce9-2f8f-4051-9682-4bac866eddfc","arxiv_id":"1908.03616","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every elliptic modular form of integral weight greater than 1 lies in products of at most two cusp expansions of Eisenstein series; for weights above 2, exactly two suffice.","lead":"Every holomorphic modular form of weight greater than 1 can be written using products of at most two simple building blocks called Eisenstein series, regardless of whether certain L-values vanish. This lifts a restriction that had forced earlier work to exclude weight 2 forms connected to elliptic curves of positive rank.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Omitted proof of Lemma 3.1 is load-bearing: the whole cusp-form inclusion in Theorem 3.4 depends on the exact Petersson formula (3.1), whose exceptional-character conditions are unverified.","rationale":"The reader's weakest_assumption was Lemma 3.1; I agree. I considered other possible weaknesses: the truncation of Hecke operators by the Sturm bound in Theorem 3.4, the 'induction on N' for oldforms, and the application of Lemma 3.1 after twisting in the k=l=1 case. These are secondary and likely repairable. The decisive issue is Lemma 3.1 because, without it, no Eisenstein product is shown to pair with a given newform, so the central inclusion of cusp forms is unsupported. This does not make me think the theorem is false; rather, the missing proof should be supplied before the claim is accepted as fully proved. Thus the conditional verdict is appropriate and no adjustment is needed.","tokens_in":13976,"tokens_out":4680,"duration_ms":54201,"concrete_test":"Have a second party re-derive Lemma 3.1 from first principles by unfolding the Petersson product of g=E_{k,χ1}E_{l,χ2} against f via Rankin–Selberg, tracking all local Euler factors at primes dividing N and the character construction ψ(−1)=(−1)^k. The check succeeds only if the result is (3.1) exactly, with no extra imprimitive L-values, and only if the stated exclusions for k=2 and l≤2 are necessary. If the derivation cannot be completed as stated, Theorem 3.4 and Theorem I lack proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 3.1 is the sole mechanism in the proof of Theorem 3.4 that produces a nonzero Petersson pairing between an arbitrary newform f and a product of Eisenstein series. Every inclusion (3.2), hence Theorem I, depends on it. Yet the proof is omitted: the text says 'mutatis mutandis' from Corollary 4.2 of [11], and the cited setting is more restrictive. The formula (3.1) asserts a clean factorization into L(f^c,k+l−1)L(f^c⊗ψ,l) with no imprimitive factors, no extra local factors, and with the exclusions ψ≠1 at k=2 and ψ≠χ at l≤2. The later nonvanishing arguments are tuned exactly to this factorization: in k=l≥2 they combine a non-central value at k+l−1 with a central value at l; in k=l=1 they need two applications of the Ono–Skinner theorem to make both factors nonzero. Any hidden factor, shift, or failure of the exclusions would break those arguments and remove the claimed weight-2 and general-level cases. This is an internal completeness problem: an unverified lemma at the critical juncture, not a disagreement with external consensus.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that every holomorphic modular form of integral weight greater than 1 can be expressed as a linear combination of products of at most two cusp expansions of Eisenstein series; for weights greater than 2, products of exactly two suffice. The proof combines vector-valued Hecke operators, a Petersson product formula relating products of Eisenstein series to products of L-values, and nonvanishing results for twisted L-values due to Waldspurger, Kohnen-Zagier, and Ono-Skinner. Explicit levels for the Eisenstein factors are given in most cases, except the weight (1,1) case where only an existence statement is provided. The main theorem is stated for principal congruence subgroups, with extensions to Γ0(N), Γ1(N), Dirichlet characters, and vector-valued modular forms.","tokens_in":14233,"tokens_out":7914,"duration_ms":81238,"significance":"If the proof is completed, the result is significant: it removes the central L-value obstruction that limited all earlier works on products of Eisenstein series, and it yields new explicit descriptions of spaces of modular forms in terms of Eisenstein products, with algorithmic consequences for computing expansions at all cusps. The strategy of fixing the Eisenstein weights and varying their levels is a genuine advance over the earlier approach that varied the weight. The paper also provides substantial technical machinery, including a careful treatment of the passage between classical and vector-valued modular forms.","major_comments":[{"comment":"Lemma 3.1 is the only mechanism in the proof of Theorem 3.4 that produces a nonzero Petersson pairing between an arbitrary newform f and a product of Eisenstein series, so every inclusion in (3.2) rests on formula (3.1). The proof is omitted with the comment 'mutatis mutandis' from Corollary 4.2 of [11], but the cited result is established under a more restrictive level assumption (as the paper itself states in the introduction, Eq. (0.1), the level in [11] is a product of two prime powers and a square-free integer). The exact form of the factorization in (3.1), with no imprimitive or local factors and with the stated exclusions ψ≠1 at k=2 and ψ≠χ at l≤2, is critical because the subsequent nonvanishing arguments are tuned to the values at the central point and at the abscissa of convergence. A complete proof of Lemma 3.1 for the stated level of generality, or a precise reference containing exactly this statement, must be supplied before the main theorem can be regarded as established.","section":"Section 3, Lemma 3.1"},{"comment":"The applications of Lemma 3.1 to twisted newforms do not verify the lemma's hypotheses. In the case k=l≥2, after choosing D with L(f^c⊗ε_D,l)≠0, the text applies Lemma 3.1 to f⊗ε_Dψ for 'a suitable Dirichlet character ψ mod 16' and asserts that L(f^c⊗ε_Dψ^2,l)≠0; however, the reason why ψ^2 is a permissible twist (for instance, ψ^2=1) is not stated, and for k=l=2 the condition ψ≠χ is not checked. In the case k=l=1, a second application of Ono-Skinner provides a discriminant D' with L(f^c⊗ε_D⊗ε_{D'},1)≠0, but the condition ψ≠χ for ψ=ε_{D'} is not verified; the character of the twisted form is χ·ε_D·ψ, so this requires χ·ε_D≠1. Without these verifications, the conclusion ⟨g∞,f⟩≠0 does not follow from Lemma 3.1.","section":"Section 3, proof of Theorem 3.4, cases k=l≥2 and k=l=1"}],"minor_comments":[{"comment":"There are typos in the statement and proof: 'intergers' should be 'integers', and 'irreducibe' should be 'irreducible'. The displayed formula for N0 in Theorem 3.4 would be clearer if the exponent 4 were set off typographically, for example N(16B(k+1/2,N))^4 B(k+l,(16B(k+1/2,N))^4).","section":"Theorem 4.2"},{"comment":"The key notion 'cusp expansions of Eisenstein series' is used throughout but not defined in the introduction. The distinction between E_k(N)_∞ and E_k(N) is central to the argument, and a short explanation of why the space of cusp expansions at all cusps, rather than only at infinity, is needed for the representation-theoretic method would improve readability.","section":"Introduction, Section 2.2"},{"comment":"The use of the half-integral weight Sturm bound to select a fundamental discriminant D < B(k+1/2,N) with nonvanishing L^1/2 value is not documented. The standard Sturm bound applies to all Fourier coefficients, whereas the desired conclusion requires a nonzero coefficient at a fundamental discriminant. A reference or a short justification for this variant would remove a potential gap.","section":"Section 3, proof of Theorem 3.4, k=l≥2 case"}],"recommendation":"major_revision","confidential_remarks":"The central claim of the manuscript is plausible and the overall strategy is coherent, but the omission of the proof of Lemma 3.1 is a serious gap that affects the entire cusp-form inclusion in Theorem 3.4. The authors should be asked to supply a full proof of Lemma 3.1 in the stated generality, or to give a precise reference that covers the arbitrary-level case with the exact exceptional-character conditions. The paper is otherwise well organized and deserves the opportunity for revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the quick version. This paper proves that every modular form of integral weight >1, including weight 2 with vanishing central L-values, is a linear combination of products of at most two cusp expansions of Eisenstein series. For weight >2, products of exactly two suffice. That is a genuine advance over Kohnen–Zagier, Borisov–Gunnells, Dickson–Neururer, and Raum's earlier paper. The obstruction that blocked weight 2 in all previous work is gone.\n\nWhat's new is mostly in the architecture. The authors work with the full space of cusp expansions Ek(N) instead of just the expansion at infinity, fix the weights of the Eisenstein factors, and vary their levels using vector-valued Hecke operators. That gives enough room to avoid the central L-value obstruction. The proof of the 'exactly two factors' part (Theorem 4.2) is a clever representation-theoretic constant-term argument, and the level bounds are explicit except in a couple of corners.\n\nThe soft spots are real but not fatal. Lemma 3.1 is the load-bearing analytic step: it gives the Petersson pairing between a product of Eisenstein series and a newform as a product of two L-values. The proof is omitted, with 'mutatis mutandis' pointing to Dickson–Neururer. That would be fine for a routine variant, but the cited setting is more restrictive, and the exceptional-character conditions (ψ≠1 for k=2, ψ≠χ for l≤2) are exactly what the later nonvanishing argument needs. The paper does not verify those conditions in the k=l cases. A referee should ask for a complete proof of Lemma 3.1 or a precise derivation from [11]. It is very likely true, but as written it is an unverified assertion at a critical juncture.\n\nThe case k=l=1 is honestly flagged as incomplete: N0 exists only non-constructively, and Theorem 4.2 excludes it. That is a limitation, not a flaw.\n\nOverall, this is a serious paper with a new theorem, a plausible but partly hidden proof, and some genuinely nice ideas. It deserves peer review. I would send it to a good number theory journal and ask the referee to focus on Lemma 3.1.","headline":"Genuinely new result that removes the central L-value obstruction for weight 2, but the proof rests on an unproved key lemma that a referee must check.","tokens_in":14745,"tokens_out":2982,"would_cite":true,"duration_ms":29381,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F11","11F67","11F25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every modular form of integral weight greater than 1 is a linear combination of products of at most two cusp expansions of Eisenstein series.","keywords":["modular forms","Eisenstein series","cusp expansions","central L-values","quadratic twists","vector-valued Hecke operators","pairing formula","congruence subgroups"],"falsifier":"Take a weight-2 newform f whose central L-value vanishes and compute both sides of the pairing formula in Lemma 3.1 for a product g constructed from weight-1 Eisenstein expansions with an odd character ψ≠χ. If the identity fails for any admissible triple, the proof of Theorem 3.4—and with it Theorem I—would break; if it holds numerically, that supports the omitted proof of the lemma.","tokens_in":13784,"feed_emoji":"🧮","tokens_out":14898,"duration_ms":137361,"temperature":0.7,"pith_summary":"This paper proves that every elliptic modular form of integral weight greater than 1—including weight 2, the case earlier methods could not handle—is a linear combination of products of at most two cusp expansions of Eisenstein series, where 'cusp expansions' means the Fourier expansions of Eisenstein series at every cusp, not just the one at infinity. For weights greater than 2, products of exactly two such expansions suffice. Previous results of this kind required the central L-value of a weight-2 newform to be nonzero, an obstruction that excludes forms attached to elliptic curves of positive rank. The proof removes that obstruction by using nonvanishing of quadratic twists instead, and it specifies explicit levels at which the Eisenstein factors may be chosen.","feed_headline":"Every modular form of weight greater than 1 is an Eisenstein product","feed_subtitle":"A new proof covers weight 2 even when the central L-value vanishes, with explicit levels for the factors.","key_machinery":"The carrying object is $E_k(N)$, the space of Fourier expansions at every cusp of weight-k Eisenstein series of level N; unlike the space of expansions at infinity alone, it carries an action of $\\mathrm{SL}_2(\\mathbb{Z})$, which lets the proof use representation theory. Three mechanisms do the work: vector-valued Hecke operators, which move expansions from one level to another; a pairing formula (Lemma 3.1) that evaluates the inner product of a product of Eisenstein expansions with a cusp form f as a nonzero constant times $L(f^c,k+l-1)L(f^c\\otimes\\psi,l)$; and a representation-theoretic comparison of $T$-fixed vectors that shows weight-$(k+l)$ Eisenstein spaces are contained in products of weight-k and weight-l Eisenstein spaces. The vector-valued setup lets the weights k and l stay fixed while the levels vary, so the special L-values that must be shown nonzero are quadratic twists rather than the central value itself.","core_discovery":"The central discovery is Theorem I: for any positive integers k, l, and N, some positive integer N0 exists with $M_{k+l}(\\Gamma(N)) \\subseteq E_{k+l}(N) + E_k(N_0)\\cdot E_l(N_0)$, where $E_k(N)$ is the space of Fourier expansions at all cusps of weight-k Eisenstein series of level N. Whenever $k+l \\geq 3$, an explicit N0 and another integer N1 give $M_{k+l}(\\Gamma(N)) \\subseteq E_k(\\mathrm{lcm}(N_0, N N_1))\\cdot E_l(\\mathrm{lcm}(N_0, N_1))$, with no weight-$(k+l)$ Eisenstein term on the right. In words, every modular form of integral weight at least 2 is captured by products of at most two Eisenstein expansions, and every form of weight at least 3 by products of exactly two. The same statement is proved for $\\Gamma_1(N)$, $\\Gamma_0(N)$, Dirichlet-character forms, and vector-valued modular forms. This is the first version of the statement that includes weight-2 newforms whose central L-value vanishes, the case ruled out in previous work.","pith_inferences":["If the explicit level bounds N0 and N1 are made effective and small, the theorem turns into an algorithm for computing all cusp expansions of modular forms, a task current modular-symbol methods only do at infinity.","The same vector-valued Hecke mechanism is not tied to two factors, so a similar proof may express weight-2 forms with prescribed ramification using longer products of Eisenstein expansions.","The pairing-formula route suggests a general principle: a modular form can be built from Eisenstein data exactly when the associated family of L-values has some nonzero twist, which reframes the vanishing-central-value obstruction as a nonvanishing problem in a larger family."],"forward_implications":["Weight-2 newforms with vanishing central L-values, previously excluded, are now covered, so the main obstruction to Eisenstein-product expressions is removed.","For every modular form of weight at least 3, the expression uses exactly two Eisenstein factors with explicit levels, not a sum over intermediate weights.","The inclusion holds for Γ1(N), Γ0(N), Dirichlet characters, and vector-valued modular forms, not only for principal congruence subgroups.","Because the right-hand side's action of SL2(Z) is explicit, Fourier expansions at all cusps can in principle be computed from Eisenstein data, including cusps not mapped to infinity by the usual algorithms.","The only unproved case of the refined 'exactly two' statement is weight 2 with both factors of weight 1; the paper leaves it open with numerical evidence suggesting it holds."],"supporting_citations":[{"why":"Corollary 4.2 in this paper is the template for Lemma 3.1, the pairing formula on which the cusp-form inclusion depends.","marker":"[11]"},{"why":"The scalar-product computation developed here underlies the L-function evaluation in the pairing formula.","marker":"[20]"},{"why":"It established the original connection between products of Eisenstein series and period/L-values that the argument extends.","marker":"[17]"},{"why":"It supplies the half-integral-weight Fourier coefficients that control nonvanishing of quadratic twists of L-values.","marker":"[21]"},{"why":"It provides the nonvanishing of quadratic twists used for the weight-2 k=l=1 case.","marker":"[19]"},{"why":"It develops the vector-valued Hecke operators and representation-theoretic setup that propagate expansions across levels.","marker":"[22]"},{"why":"It gives the analytic nonvanishing result used for L-values evaluated at the edge of their convergence range.","marker":"[15]"},{"why":"It supplies the sharp Fourier-coefficient growth bound used for the same edge-of-convergence nonvanishing.","marker":"[10]"}],"fun_headline_variants":["Every weight-2 modular form is an Eisenstein combination","No L-value obstruction: all weight-2 forms are Eisenstein","For weight 2 and above, two Eisenstein products suffice","Eisenstein products generate all modular forms of weight 2+","Two Eisenstein products suffice for weight-2 modular forms"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole cusp-form half of the proof rests on a pairing formula (Lemma 3.1) that is quoted from earlier work without proof; if that formula does not extend to the fixed weights, levels, and exceptional character conditions used here, the inclusion of cusp forms in Theorem I collapses.","fun_headline_variants_meta":{"raw":{"variants":["Every weight-2 modular form is an Eisenstein combination","No L-value obstruction: all weight-2 forms are Eisenstein","For weight 2 and above, two Eisenstein products suffice","Eisenstein products generate all modular forms of weight 2+","Two Eisenstein products suffice for weight-2 modular forms"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001165,"raw_usage":{"total_tokens":4779,"prompt_tokens":861,"completion_tokens":3918,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":477,"completion_tokens_details":{"reasoning_tokens":3832}},"tokens_in":477,"tokens_out":3918,"duration_ms":28060,"temperature":1.0,"reasoning_tokens":3832,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:08:09.705650+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a weight-2 newform f whose central L-value vanishes and compute both sides of the pairing formula in Lemma 3.1 for a product g constructed from weight-1 Eisenstein expansions with an odd character ψ≠χ. If the identity fails for any admissible triple, the proof of Theorem 3.4—and with it Theorem I—would break; if it holds numerically, that supports the omitted proof of the lemma.","supporting_citations":[{"cited_title":"La conjecture de Weil. II","cited_arxiv_id":null,"evidence_quote":"Corollary 4.2 in this paper is the template for Lemma 3.1, the pairing formula on which the cusp-form inclusion depends."},{"cited_title":"Non-vanishing of quadratic twists of modular L-functions","cited_arxiv_id":null,"evidence_quote":"The scalar-product computation developed here underlies the L-function evaluation in the pairing formula."},{"cited_title":"Products of two Eisenstein series and spaces of cusp forms of prime level","cited_arxiv_id":null,"evidence_quote":"It established the original connection between products of Eisenstein series and period/L-values that the argument extends."},{"cited_title":"The scalar product of modular forms","cited_arxiv_id":null,"evidence_quote":"It supplies the half-integral-weight Fourier coefficients that control nonvanishing of quadratic twists of L-values."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It provides the nonvanishing of quadratic twists used for the weight-2 k=l=1 case."},{"cited_title":"Sur les coefficients de Fourier des formes modulaires de poids demi-entier","cited_arxiv_id":null,"evidence_quote":"It develops the vector-valued Hecke operators and representation-theoretic setup that propagate expansions across levels."},{"cited_title":"Heegner points and derivatives of L-series","cited_arxiv_id":null,"evidence_quote":"It gives the analytic nonvanishing result used for L-values evaluated at the edge of their convergence range."},{"cited_title":"Expansions at cusps and Petersson products in Pari/GP","cited_arxiv_id":null,"evidence_quote":"It supplies the sharp Fourier-coefficient growth bound used for the same edge-of-convergence nonvanishing."}],"review_version":1}