{"id":"879cf826-c7e2-4c64-ab79-ab633f3a1af2","arxiv_id":"2411.13143","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The first Whittaker coefficient of a torus-induced metaplectic Eisenstein series equals the Weyl group multiple Dirichlet series of the dual root system, under the adjoint-type condition.","lead":"A mathematician proved that the first Whittaker coefficient of a metaplectic Eisenstein series equals a Weyl group multiple Dirichlet series, confirming a conjecture of Brubaker, Bump, and Friedberg for a large class of root systems. The proof gives a uniform method and covers new cases, tying automorphic forms on covering groups to Dirichlet series used in analytic number theory.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sign inconsistency in the regrouping (3.20) vs Lemma 5.3.8 threatens the key gluing comparison; proof needs a sign check or correction.","rationale":"The paper has a serious, coherent structure: it uses McNamara's metaplectic Casselman-Shalika formula and Patnaik-Puskás's total Whittaker function, unfolds the Borel Eisenstein series, and reduces the global equality to compatibility of two gluing processes. The local statement (1.6) is cited properly; the global unfolding (5.13) is standard. The adjoint-type hypothesis is explicit in Theorem 5.3.3; it excludes e.g. B_r with even n, so the abstract's 'mild assumption' and mention of 'global fields' overstate the scope, but these do not invalidate the conditional theorem. The most load-bearing issue I found is internal: the sign in the regrouping (3.20) is inconsistent with Lemma 5.3.8 and the proof of Lemma 5.4.3. Read literally, the fiber at λ∨ contains C with logνC≡−λ∨_ν, yet the proof evaluates local integrals at π^{λ∨_ν}. Fixing the sign in (3.20) is straightforward and does not change the total sum, so I do not recommend REJECT; but the proof as typeset has a gap that a reader cannot verify without a correction. The introduction's s_i off-by-one is another presentation error that should be fixed. With those corrections, the central claim appears sound under the stated hypotheses.","tokens_in":39858,"tokens_out":19110,"duration_ms":165473,"concrete_test":"Check the rank-one case: D=A1, n=3, one good prime ν, compute fCS(0)=1+v g_1 e^{−α∨} and the Whittaker side Iν(iν π^{λ∨}) for λ∨_ν=1 mod Λ∨0. Verify whether equality in (5.35) for the corresponding Z_{λ∨} holds with supp defined by +λ∨_ν or −λ∨_ν; also compare the exponents using s_i=1−⟨λ,α∨_i⟩ versus s_i=−⟨λ,α∨_i⟩. The off-by-sign and off-by-one will be directly visible in the q-exponents.","verdict_should_be":"UNCHANGED","load_bearing_attack":"§3.3.5 defines p_Z(C)=logS C and then (3.20) sets supp(Z;λ∨)=p_Z^{-1}(λ∨)={C : logνC≡−λ∨_ν}. That minus makes it the fiber at −λ∨. Lemma 5.3.8 and the proof of Lemma 5.4.3 both require the opposite sign: Lemma 5.3.8 writes ηk(C)=π^{λ∨}η′ (true only if logνC≡λ∨_ν), and Lemma 5.4.3 sets λ∨_ν:=logν ην(C) and uses Iν(iν(π^{λ∨_ν})) for C∈supp(Z;λ∨). If (3.20) is literal, then C∈supp(Z;λ∨) has logνC≡−λ∨_ν, so the local integral Iν(iν ην(C)) equals Iν(iνπ^{−λ∨_ν}), not Iν(iνπ^{λ∨_ν}); the proof's equality (5.37) compares the wrong local tori. Since Iν(π^{λ∨})≄Iν(π^{−λ∨}) in general, Step 2's sub-summation comparison (5.35) fails as written. The natural repair is to change (3.20) to +λ∨_ν; because the unlabelled total sum over λ∨ is invariant under λ∨↦−λ∨, the final theorem is likely unaffected, but the proof needs the correction. Separately, the introduction (§1.1, §1.2.3) states s_i=−⟨λ,α∨_i⟩ while Theorem 5.3.3 and the local comparison (5.41) force s_i=⟨ρ−λ,α∨_i⟩; this off-by-one in the announced main result must be harmonized.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a global identity between the first Whittaker coefficient of a metaplectic Eisenstein series on a split simply-connected group and a Weyl group multiple Dirichlet series (WMDS). Under the hypothesis that the metaplectic dual root datum D^∨_{(Q,n)} is of adjoint type, Theorem 5.3.3 states that W(λ,1) equals [T_{oS}:T_{0,oS}] Z_Ψ(s_1,...,s_r) with s_i = ⟨ρ−λ, α_i^∨⟩. The strategy is to unfold the Eisenstein series, sum over T_k/T_{0,k}, regroup both sides by the finite quotient ⊕_{ν∉S} Λ^∨/Λ^∨_0, and identify each sub-sum using the local Patnaik–Puskás total Whittaker function theorem and the Chinta–Gunnells construction of the p-parts of the WMDS.","tokens_in":40245,"tokens_out":17685,"duration_ms":165548,"significance":"If the proof is completed, this gives a uniform confirmation of the Brubaker–Bump–Friedberg Eisenstein conjecture for split simply-connected groups subject to the adjoint-type condition on the metaplectic dual. The main novelty is conceptual: the paper replaces the crystal/pattern combinatorics of earlier type-by-type proofs by a local-to-global gluing argument built from the total Whittaker functional and the Chinta–Gunnells averaging construction. The exposition is mostly clear, and the precise statement of Theorem 5.3.3 is a definite falsifiable claim. However, the paper relies on the imported local theorem of Patnaik–Puskás for the central local identity, and the proof as written contains a sign inconsistency in the fiber decomposition that affects the key gluing comparison; this must be repaired before the result can be accepted.","major_comments":[{"comment":"There is a sign inconsistency in the definition of the fibers supp(Z; λ^∨). Equation (3.20) sets supp(Z; λ^∨) = {C : log_ν C ≡ −λ^∨_ν (mod Λ^∨_0)}. Lemma 5.3.8 then claims that for C in this fiber one has I_ν(i_ν(η_ν(C))) = I_ν(i_ν(π^{λ^∨})), and its proof writes η_k(C) = π^{λ^∨} η′. This is only correct if log_ν C ≡ +λ^∨_ν (mod Λ^∨_0). In the proof of Lemma 5.4.3 the quantity λ^∨_ν is then set equal to log_ν η_ν(C), so equation (5.41) evaluates the local integral at π^{log_ν C}, i.e. at π^{−λ^∨_ν} relative to the original fiber parameter. Since I_ν(i_ν(π^{μ^∨})) is not invariant under μ^∨ ↦ −μ^∨, the sub-summation comparison (5.35) and the equality (5.37) fail as written. The natural repair is to replace −λ^∨_ν by +λ^∨_ν in (3.20); because λ^∨ ranges over all classes in ⊕_{ν∉S} Λ^∨/Λ^∨_0, the total sum (3.22) is unchanged, so this is a proof repair rather than a change of theorem.","section":"§3.3.5, Lemma 5.3.8, Lemma 5.4.3"},{"comment":"The statement of the main result in the introduction and the local identity (1.4) use s_i = −⟨λ, α_i^∨⟩, whereas Theorem 5.3.3 defines s_i := ⟨ρ−λ, α_i^∨⟩ = 1 − ⟨λ, α_i^∨⟩, and the proof of Lemma 5.4.3 in equation (5.41) requires the latter. These two definitions differ by 1 for every simple coroot, so the equality announced in §1.1 is not the equality that is proved in Theorem 5.3.3. The introduction and §1.2.3 should be corrected to match the precise theorem, or the difference in convention should be explained explicitly.","section":"§1.1, §1.2.3, Theorem 5.3.3"}],"minor_comments":[{"comment":"The abstract and §1.1 state the result for global fields, while §5 and Theorem 5.3.3 restrict to number fields containing all 2n-th roots of unity (and hence totally imaginary). The scope of the theorem should be stated consistently in the abstract and introduction.","section":"Abstract, §1.1, §5"},{"comment":"The sentence 'Our approach to the Eisenstein conjecture works uniformly for all types of root systems' is stronger than the hypothesis of Theorem 5.3.3, which requires the metaplectic dual root datum to be of adjoint type; this condition excludes, for example, type B_r covers with even n (see §3.1.5). The claim should be qualified accordingly.","section":"§1.1.1"},{"comment":"There are several typos: 'conputation' should be 'computation', 'affin Weyl group' should be 'affine Weyl group', 'Einsenstein' should be 'Eisenstein', and 'Eisenstein seires' in the abstract should be 'Eisenstein series'.","section":"§1.1.4, §1.3"},{"comment":"In the statement of Theorem 5.3.3 the notation D^∨_{(sQ,n)} contains a stray 's'; it should read D^∨_{(Q,n)}.","section":"Theorem 5.3.3"},{"comment":"After the sign correction in (3.20), the proof of Lemma 5.3.8 should explicitly state that η_k(C) = π^{λ^∨} η′ holds because log_ν C ≡ λ^∨_ν modulo Λ^∨_0 for every ν outside S; as currently written the proof is inconsistent with (3.20).","section":"Lemma 5.3.8"}],"recommendation":"major_revision","confidential_remarks":"The sign issue in (3.20) appears to be a locally fixable error, not a fundamental obstruction: replacing the minus sign by a plus sign preserves the total sum over λ^∨ and makes Lemma 5.3.8 and Lemma 5.4.3 consistent. The other main concern is the mismatch in the definition of s_i between the introduction and the precise theorem. If the author repairs these points, the paper would make a solid contribution. I would also ask the author to align the abstract's 'global fields' wording with the number-field restriction in the body."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is a genuine attempt at a major theorem, and the main strategy is new: reduce the global Eisenstein conjecture to the compatibility of two gluing processes, using the metaplectic Casselman-Shalika formula and Patnaik-Puskás's total Whittaker function. That is a real improvement over the prior type-by-type crystal proofs, and the claimed coverage of types D and E under the adjoint-type condition is significant. The paper is careful about the metaplectic torus, the scattering matrix, and the local Whittaker functionals; the appendix computation is a useful contribution.\n\nThe problem is that the written proof is not consistent as it stands. In (3.20), the fiber supp(Z; λ∨) is defined by logν C ≡ −λ∨_ν (mod Λ∨0). Lemma 5.3.8 then says that for C in that fiber, η_k(C) = π^{λ∨}η′ and concludes Iν(iν ην(C)) = Iν(iν π^{λ∨}). That is the wrong sign: the definition gives η_k(C) = π^{−λ∨}η′. The same sign slip appears in Lemma 5.4.3, where λ∨_ν is set to logν ην(C) and then used as if it were the parameter matching the Z_{λ∨} sub-sum. As written, the key comparison (5.35) does not follow. This is not cosmetic; the proof needs a correction. Because the total sum over λ∨ is invariant under λ∨ ↦ −λ∨, the theorem is very likely salvageable by flipping the sign in (3.20) or in Lemma 5.3.8, but the current text does not go through.\n\nTwo smaller issues worth flagging. The abstract and §1.1 say global fields and state s_i = −⟨λ, α∨_i⟩, while Theorem 5.3.3 restricts to number fields and correctly uses s_i = 1 − ⟨λ, α∨_i⟩. That mismatch should be harmonized. Also, the “mild” adjoint-type assumption is not mild: it excludes, for example, type B covers with even n, so the uniformity claim should be stated with that caveat.\n\nWho is this for? Number theorists working on metaplectic forms, Weyl group multiple Dirichlet series, and the Brubaker-Bump-Friedberg conjecture. It deserves a serious referee: the theorem is important and the method is promising. Send it to peer review, but require the sign error to be fixed and the statement inconsistencies resolved before publication.","headline":"A serious proof of the Eisenstein conjecture under an adjoint-type assumption, but the written proof has a sign error in the key gluing comparison that must be fixed.","tokens_in":40787,"tokens_out":5794,"would_cite":false,"duration_ms":51996,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F70","11M41","22E50"],"pacs":[],"model":"deepseek-v4-flash","headline":"For root data whose metaplectic dual is adjoint, the paper proves that the first Whittaker coefficient of a torus-induced metaplectic Eisenstein series is exactly a Weyl group multiple Dirichlet series, confirming the Eisenstein conjecture.","keywords":["metaplectic Eisenstein series","Whittaker coefficients","Weyl group multiple Dirichlet series","twisted multiplicativity","root data","unramified principal series","Gauss sums","Eisenstein conjecture"],"falsifier":"Compute the first Whittaker coefficient directly for the threefold cover of $\\mathrm{SL}_2$ over $\\mathbb{Q}(\\zeta_6)$ and compare term-by-term with the cubic Gauss-sum Dirichlet series predicted by (5.11); a mismatch in any coefficient would disprove the theorem, and a match for an even-degree type $B_r$ cover, where the adjoint hypothesis fails, would show the assumption is removable.","tokens_in":39633,"feed_emoji":"∑","tokens_out":11296,"duration_ms":105714,"temperature":0.7,"pith_summary":"This paper proves the Eisenstein conjecture: for a number field containing all $2n$-th roots of unity, the first Whittaker coefficient of a global metaplectic Eisenstein series induced from the torus is exactly a Weyl group multiple Dirichlet series attached to the same root datum and degree $n$. The equality is stated as Theorem 5.3.3 under the hypothesis that the metaplectic dual root datum $D^\\vee_{(Q,n)}$ is of adjoint type. A sympathetic reader should care because this replaces case-by-case verifications for individual root systems with one local-to-global mechanism, and it ties the analytic theory of metaplectic Eisenstein series to the arithmetic of twisted-multiplicative Dirichlet coefficients.","feed_headline":"Eisenstein coefficient equals Weyl group Dirichlet series","feed_subtitle":"The first Whittaker coefficient matches the multiple Dirichlet series, proving the Eisenstein conjecture uniformly.","key_machinery":"The load-bearing object is the total Whittaker functional, the sum of all local Whittaker functionals indexed by $\\Lambda^\\vee/\\Lambda^\\vee_0$; its value on the normalized spherical vector is a generating series for the local $\\nu$-part coefficients of the WMDS. The identity is proved through a Weyl-group averaging action on Laurent polynomials in $\\Lambda^\\vee$, which produces the coefficients $H(\\pi^{k_1}_\\nu,\\dots,\\pi^{k_r}_\\nu)$, and through a global comparison of two gluing processes: the cocycle $D(C;\\nu)$ that arises when lifting a factorization of torus elements to the metaplectic torus, and the cocycle $D(C_1,\\dots,C_r)$ from twisted multiplicativity. Lemma 5.3.7 identifies the two cocycles, reducing the global equality to the local one.","core_discovery":"The central claim is that the first Whittaker coefficient $W(\\lambda,1)$ of the metaplectic Eisenstein series induced from the torus equals $[T_{oS}:T_{0,oS}]\\,Z_\\Psi(s_1,\\dots,s_r)$, where $s_i=\\langle \\rho-\\lambda,\\alpha_i^\\vee\\rangle$. Here $Z_\\Psi$ is the Weyl group multiple Dirichlet series with coefficients built from the metaplectic local formula for the total Whittaker functional, and $\\Psi$ absorbs the contribution of the finitely many places in $S$. The proof establishes this by showing that the global sum over $T_k/T_{0,k}$ of local Whittaker integrals glues together by the same twisted-multiplicativity cocycle that assembles local $\\nu$-parts into the global Dirichlet series; once the two gluing processes are identified, the theorem reduces to the local identity relating the total Whittaker functional to the $\\nu$-part.","pith_inferences":["Inference: the adjoint-type assumption is probably technical: it is used only to make the torus section multiplicative on $T_0$, so a more refined cocycle computation may extend the equality to all covers, including even-degree type $B_r$.","Inference: the same two-step strategy should apply to Eisenstein series induced from maximal parabolics; matching a parabolic total Whittaker functional with a p-part would define parabolic multiple Dirichlet series.","Inference: because the local identities hold away from wild places, a function-field version likely holds with $S$ enlarged to include wild and ramified places; the number-field statement in Theorem 5.3.3 is narrower than the abstract's 'global fields' wording."],"forward_implications":["The Eisenstein conjecture holds uniformly for all semisimple simply-connected root data whose metaplectic dual is adjoint, over number fields containing all $2n$-th roots of unity.","The Whittaker coefficient inherits meromorphic continuation and Weyl-group functional equations from the Eisenstein series, giving a new proof of the analytic properties of the corresponding multiple Dirichlet series.","Earlier type-by-type results for low-rank root systems become special cases of one local-to-global identity.","Covers such as type $B_r$ with even degree are outside the theorem, so the boundary of the conjecture under this hypothesis is explicit."],"supporting_citations":[{"why":"Conjectures the Eisenstein identity and constructs stable-case Weyl group multiple Dirichlet series whose coefficients this paper compares.","marker":"[7]"},{"why":"Companion formulation of the Eisenstein conjecture and the twisted-multiplicative framework for the Dirichlet series coefficients.","marker":"[11]"},{"why":"Gives the averaging construction for the local $\\nu$-parts, used here as the definition of the WMDS coefficients.","marker":"[13]"},{"why":"Supplies the local theorem that the total Whittaker functional at the spherical vector equals the $\\nu$-part of the WMDS generating series.","marker":"[33]"},{"why":"Provides the total Whittaker function whose value at $\\pi^{\\lambda^\\vee}$ is the local polynomial used for the coefficients.","marker":"[37]"},{"why":"Supplies convergence in the Godement region and meromorphic continuation and functional equations for the metaplectic Eisenstein series used in the global setup.","marker":"[34]"},{"why":"Contributes the treatment of bad places as a single unit $S$, which the global argument adopts.","marker":"[9]"}],"fun_headline_variants":["First Whittaker coefficient matches Weyl group Dirichlet series","Metaplectic Eisenstein confirms BBF conjecture","Uniform proof of Eisenstein-Dirichlet equality","Whittaker coefficient equals Dirichlet series: proof","Torus-induced Eisenstein ties to Weyl Dirichlet"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument needs the metaplectic dual root datum $D^\\vee_{(Q,n)}$ to be of adjoint type, meaning the lattice $\\Lambda^\\vee_0$ is exactly spanned by $n_i\\alpha^\\vee_i$; this makes the section of the metaplectic torus multiplicative on $T_0$, and it fails for covers such as type $B_r$ with even $n$.","fun_headline_variants_meta":{"raw":{"variants":["First Whittaker coefficient matches Weyl group Dirichlet series","Metaplectic Eisenstein confirms BBF conjecture","Uniform proof of Eisenstein-Dirichlet equality","Whittaker coefficient equals Dirichlet series: proof","Torus-induced Eisenstein ties to Weyl Dirichlet"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000223,"raw_usage":{"total_tokens":1380,"prompt_tokens":792,"completion_tokens":588,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":408,"completion_tokens_details":{"reasoning_tokens":512}},"tokens_in":408,"tokens_out":588,"duration_ms":5931,"temperature":1.0,"reasoning_tokens":512,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:49:44.429033+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the first Whittaker coefficient directly for the threefold cover of $\\mathrm{SL}_2$ over $\\mathbb{Q}(\\zeta_6)$ and compare term-by-term with the cubic Gauss-sum Dirichlet series predicted by (5.11); a mismatch in any coefficient would disprove the theorem, and a match for an even-degree type $B_r$ cover, where the adjoint hypothesis fails, would show the assumption is removable.","supporting_citations":[{"cited_title":"2, 325–355","cited_arxiv_id":null,"evidence_quote":"Conjectures the Eisenstein identity and constructs stable-case Weyl group multiple Dirichlet series whose coefficients this paper compares."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Companion formulation of the Eisenstein conjecture and the twisted-multiplicative framework for the Dirichlet series coefficients."},{"cited_title":"Gunnells, Constructing Weyl group multiple Dirichlet series, J","cited_arxiv_id":null,"evidence_quote":"Gives the averaging construction for the local $\\nu$-parts, used here as the definition of the WMDS coefficients."},{"cited_title":"4, 2913–2937","cited_arxiv_id":null,"evidence_quote":"Supplies the local theorem that the total Whittaker functional at the spherical vector equals the $\\nu$-part of the WMDS generating series."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the total Whittaker function whose value at $\\pi^{\\lambda^\\vee}$ is the local polynomial used for the coefficients."},{"cited_title":"Moeglin and J","cited_arxiv_id":null,"evidence_quote":"Supplies convergence in the Godement region and meromorphic continuation and functional equations for the metaplectic Eisenstein series used in the global setup."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contributes the treatment of bad places as a single unit $S$, which the global argument adopts."}],"review_version":1}