{"id":"b4f799e5-f271-4456-808f-a09a62aaf0e0","arxiv_id":"1908.08296","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Minimal and next-to-minimal automorphic functions on split simply-laced groups are uniquely determined by, and explicitly reconstructible from, their Whittaker coefficients.","lead":"The paper proves that special automorphic functions on split simply-laced groups are completely determined by their Whittaker coefficients, and gives explicit reconstruction formulas. It also shows that no cusp forms occur in the minimal or next-to-minimal automorphic spectrum, which removes an open source of ambiguity in string-theory amplitudes.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem G relies on a false implication: cuspidality does not force Whittaker coefficients to vanish; the theorem is false for type A1, so the no-cusp-forms claim is unsupported.","rationale":"The reader's conditional verdict focused on the dependency on the companion paper [GGK+] and on convergence of infinite sums. Those are legitimate external dependencies, but the more load-bearing and internal problem is the proof of Theorem G. The step from 'cuspidal' to 'Wϕ[η′] = 0 for all ϕ in a sum of two simple-root spaces' is a non sequitur: cuspidality annihilates only constant terms along proper parabolic unipotents, not Whittaker coefficients with nontrivial characters. The counterexample G = SL2 is decisive because the paper's own definitions make every nonzero cuspidal automorphic form minimal (the only nonzero nilpotent orbit is both minimal and regular for A1), and such forms have nonzero Whittaker coefficients. This falsifies the theorem as stated and invalidates its proof. The main reconstruction theorems (B and E) may still be correct, and the explicit Fourier expansions are valuable, but the headline consequence advertised in the abstract and highlighted by the reader is false without a rank restriction. Hence the current version should not be accepted; it needs a correction (at minimum excluding A1 and repairing the proof of Theorem G) before the central claim can stand.","tokens_in":43422,"tokens_out":18249,"duration_ms":184612,"concrete_test":"Instantiate the proof of Theorem G for G = SL2 over Q with η the adelic lift of the Ramanujan Δ cusp form. Verify that the hypothesis holds: the archimedean discrete series and the unramified local components have wave-front set the regular nilpotent orbit, which is the minimal orbit for A1 by Lemma 2.1.1. Verify that η is cuspidal. Then compute Wϕ[η] for a generator ϕ of g∗_{−α}; it is proportional to the first Fourier coefficient of Δ and is nonzero. This directly disproves the 'Thus' step and shows Theorem G is false as stated.","verdict_should_be":"REJECT","load_bearing_attack":"The decisive flaw is in the proof of Theorem G (Section 4.2). After noting that the restriction η′ is cuspidal and minimal or next-to-minimal, the proof asserts: 'Thus, for any two simple roots ε1,ε2 and any ϕ ∈ g∗_{ε1} ⊕ g∗_{ε2}, the Whittaker coefficient Wϕ[η′] vanishes identically.' This does not follow. Cuspidality kills only the constant term W0 (the Fourier coefficient for the trivial character of the Borel unipotent radical); nonconstant Whittaker coefficients are the Fourier modes that carry cuspidal forms and are typically nonzero. For G of type A1 (SL2), the unique nonzero nilpotent orbit is minimal in the paper's sense (Bala–Carter label A1, Lemma 2.1.1), so any cuspidal automorphic form on SL2 is minimal. Its single-root Whittaker coefficients Wϕ with ϕ ∈ g∗_{−α} are nonzero, for instance the q-expansion coefficients of the Ramanujan Δ cusp form. Thus the claimed implication is false and Theorem G as stated contradicts the existence of cusp forms on SL2. The subsequent step — that all terms in Theorems B and E are built from such vanishing coefficients — is also invalid, since the terms A_i and B_n in Theorem E involve single-root Whittaker coefficients, which are not covered by any (even if corrected) vanishing statement for two-root characters. The advertised consequence 'no cusp forms in the minimal and next-to-minimal spectrum' is therefore either false (for A1) or, at best, unproved without a rank restriction and a substantially different argument.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"Let G be a finite central extension of the adelic points of a split simply-laced group. The paper defines minimal and next-to-minimal automorphic functions by their Whittaker support, and proves that maximal-parabolic Fourier coefficients of minimal functions reduce to Whittaker coefficients (Theorem A); that minimal functions are reconstructed from Whittaker coefficients along a quasi-abelian enumeration (Theorem B); analogous statements for next-to-minimal functions (Theorems C-F); and that no cuspidal automorphic forms occur in the minimal or next-to-minimal spectrum (Theorem G). The proofs rely on a reduction principle imported from the companion paper [GGK+], on root-system geometry proved here, and on induction over quasi-abelian Levi subgroups. Detailed examples for D5 and E8 and comparisons with [GMV15, KP04, BP17] are provided.","tokens_in":43754,"tokens_out":9408,"duration_ms":180773,"significance":"Conditional on the imported reduction principle, Theorems A-F would be a substantial contribution: they give explicit, parameter-free reconstruction formulas for small automorphic forms and reduce difficult maximal-parabolic Fourier coefficients to Whittaker coefficients. The root-system lemmas (Corollaries 3.0.3-3.0.4, Propositions 4.0.1-4.0.2) are proved carefully, and the worked D5/E8 expansions are consistent with earlier physics literature. However, Theorem G is false as stated: for type A1 the unique nonzero nilpotent orbit is minimal, so all cuspidal automorphic forms are 'minimal' in the paper's sense; the proof of Theorem G contains a false inference about cuspidality and Fourier coefficients. The advertised no-cusp-forms consequence is therefore not merely unproved but contradicted by standard examples.","major_comments":[{"comment":"The assertion that cuspidality implies 'for any two simple roots ε1, ε2 and any φ ∈ g*_{ε1} ⊕ g*_{ε2}, the Whittaker coefficient Wφ[η′] vanishes identically' is false. Cuspidality only forces the constant term W0[η′] to vanish; nonconstant Fourier coefficients of cuspidal forms are typically nonzero and are the objects that carry cusp forms. For G of type A1, Lemma 2.1.1 says the unique nonzero nilpotent orbit is minimal, and any nonzero cuspidal automorphic form has nonzero Whittaker coefficients for φ ∈ g×_{−α}. Hence Theorem G contradicts the existence of cusp forms on SL2. Moreover, the sums in Theorems B and E contain single-root terms Ai, so even a corrected vanishing statement for two-root coefficients would not make the right-hand side vanish.","section":"§4.2, proof of Theorem G"},{"comment":"The reconstruction identities (1.13) and (1.33) involve infinite sums over Γ-quotients and root spaces, but the paper does not prove convergence or justify rearrangement in C∞(Γ\\G). The remark in §1.2 that integrals are 'either compact integrals or represent Fourier expansions of periodic functions' does not cover these infinite sums, especially since automorphic functions here are not required to have moderate growth or finite center action. A rigorous derivation of Theorems B and E needs a convergence statement; without it the equalities are formal.","section":"§1.2 and Theorems B/E"},{"comment":"After Proposition 3.3.4 identifies the restriction η′ = F_{S,ψ}[η]|_{G′} as minimal or trivial, the proof asserts without further justification that Whittaker coefficients of η′ equal W_{φ+ψ}[η]. This equality is the mechanism by which Theorem B is applied, and it requires a lemma interchanging the integration over N′ with the integration defining η′ and matching the resulting characters. As written, the step is too compressed for (1.19) to be verified.","section":"§3.3, proof of Theorem C(ii)"}],"minor_comments":[{"comment":"The displayed complete Fourier expansion contains the same sum over X1 twice; the second term should presumably be over X2, or the formula should be corrected.","section":"Equation (1.2)"},{"comment":"In the displayed expansion, W[ηmin](g) should be W0[ηmin](g) for consistency with (1.13).","section":"Example 1.4.2"},{"comment":"The sentence ending 'defined in §1.4, respectively' is missing a period; the same typo occurs after equation (5.14).","section":"Paragraph after (1.35)"}],"recommendation":"reject","confidential_remarks":"To the editor: the false Theorem G is not a small technical flaw; it is advertised in the abstract, in Remark 1.9.1, and in Theorem G itself. The proof's key implication is wrong, and the statement has an explicit rank-one counterexample. The remaining theorems may be salvageable, but a revision would need to remove or substantially restate this consequence and to fill the convergence and coefficient-identification gaps. I would be willing to look at a revised version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know about arXiv:1908.08296. First, the main reconstruction results — Theorems A through F — are a genuine advance: they extend Whittaker reconstruction to all split simply-laced groups, and the treatment of the two D_n next-to-minimal orbits and the Heisenberg E8 terms is new, not a routine transcription of the SL_n case. The root-system geometry (minuscule modules, Slodowy slices, the action on next-to-minimal elements) is done carefully, and the D5 and E8 examples are concrete and consistent with earlier results in [GRS97, GMV15, KP04, BP17]. Second, the advertised consequence Theorem G — no cusp forms in the minimal or next-to-minimal spectrum — is not supported by the proof and is actually false as stated for type A1. In Section 4.2 the proof asserts that cuspidality forces W_phi to vanish for any phi supported on two simple roots. That implication needs those two roots to be a proper subset of the simple roots so that an initial constant term appears; even then it only kills two-root characters, not the single-root Whittaker coefficients that appear in Theorems B and E (the A_i and B_n terms). For SL2 there are no two-root characters, and a classical cusp form has a nonzero single-root Whittaker coefficient, so by the paper's own definition (Lemma 2.1.1: the unique nonzero orbit is A1) it is minimal. Thus Theorem G contradicts the existence of cusp forms on SL2. The paper could add a rank restriction and find a separate argument for the single-root terms, but as written the proof does not go through. A secondary concern is the heavy dependence on the companion paper [GGK+]; the reduction principle Theorem 2.2.6 is the engine, and the paper does not reproduce it. That is not circular, but it is a real audit burden. The convergence of the infinite Fourier sums is only dispatched in Remark 1.2.1, which is a minor gap relative to the main issue. If you are working on automorphic forms or string-theory amplitudes, the reconstruction formulas are worth knowing and likely citable. But do not cite Theorem G. My recommendation: send it to a serious referee, with the explicit instruction that Theorem G and the reasoning in Section 4.2 need a substantial overhaul before publication, while the rest of the paper may be salvageable.","headline":"The reconstruction theorems are strong and likely correct, but Theorem G's no-cusp-form claim is false as stated for type A1 and needs a serious fix.","tokens_in":44308,"tokens_out":8168,"would_cite":true,"duration_ms":80819,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F30","11F70","22E55","20G45"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that every minimal or next-to-minimal automorphic function on a split simply-laced group is completely determined by its Whittaker coefficients, and it supplies explicit reconstruction sums.","keywords":["automorphic forms","minimal representation","next-to-minimal representation","Whittaker coefficients","Fourier coefficients","nilpotent orbits","simply-laced groups","string theory"],"falsifier":"Evaluate the right-hand side of the $E_8$ next-to-minimal expansion (1.35) for an explicit next-to-minimal Eisenstein series whose Whittaker coefficients are known, at a generic unramified point; any mismatch with the function itself falsifies Theorem E. A sharper check is to compute the non-abelian integral over $V_{g_8}$ in the $B_8$ and $B_{88}$ terms and compare the result with the known local spherical vector containing a cubic phase; if the integral does not reproduce that phase, the reduction principle fails in the Heisenberg case.","tokens_in":43242,"feed_emoji":"🧮","tokens_out":14879,"duration_ms":308192,"temperature":0.7,"pith_summary":"The paper establishes that, on a split simply-laced group over a number field, the small automorphic functions—those whose Whittaker support consists of minimal, or next-to-minimal, nilpotent orbits—are completely determined by their Whittaker coefficients, the Fourier coefficients attached to characters of the unipotent radical of a fixed Borel subgroup. This is the analogue, for these small representations, of the classical Piatetski-Shapiro–Shalika recovery of cusp forms on $\\mathrm{GL}_n$ from generic Whittaker coefficients. Theorems B and E give explicit infinite sums that reconstruct the full function from those coefficients, and Theorems A and C do the same for maximal parabolic Fourier coefficients. A direct consequence is Theorem G: there are no cusp forms in the minimal or next-to-minimal automorphic spectrum, which settles a question relevant to the $R^4$ and $\\partial^4 R^4$ corrections in string theory. Because the formulas are explicit, they turn questions about the structure of these representations into sums that can be evaluated in applications such as string-theory scattering amplitudes.","feed_headline":"Whittaker coefficients determine minimal and next-to-minimal forms","feed_subtitle":"Explicit Fourier sums rebuild each automorphic function, and no cusp form can hide in this spectrum.","key_machinery":"The carrying device is the Whittaker pair $(S,\\phi)$: a rational semisimple element $S$ and a nilpotent covector $\\phi$ with $\\mathrm{ad}^*(S)\\phi = -2\\phi$; it produces the Fourier coefficient $F_{S,\\phi}[\\eta]$ by integrating $\\eta$ against the character $\\chi_\\phi$ over the unipotent subgroup $N_{S,\\phi}$. The main engine is a reduction principle, imported from the companion paper, that computes a Fourier coefficient attached to one Whittaker pair as an integral of the coefficient attached to another, finer pair (Theorem 2.2.6). Iterating this descent along a quasi-abelian enumeration of the simple roots—an ordering in which each successive root is abelian or Heisenberg inside the Levi subgroup built from the previous roots—moves every minimal or next-to-minimal Fourier coefficient down to the standard Whittaker coefficients $W_\\phi$ with $\\phi$ in the root spaces $g^*_{-\\beta}$. Geometric lemmas classify which characters can be conjugated into those root spaces by $\\Gamma$, which is what makes the final sums explicit.","core_discovery":"The central claim is a reconstruction theorem. Let $G$ be a split simply-laced reductive group with a finite central cover, and let $\\eta$ be an automorphic function whose Whittaker support is contained in the minimal, or next-to-minimal, nilpotent orbits. The paper proves that $\\eta$ is equal to its constant term plus an explicit sum of terms, each of which is a sum or integral of Whittaker coefficients $W_\\phi[\\eta]$ with $\\phi$ ranging over root spaces that appear in a quasi-abelian enumeration of the simple roots. In the next-to-minimal case the terms $A_i$, $A_{ij}$, $A_{ii}$, $B_n$, $B_{nj}$, $B_{nn}$ appearing in Theorem E are all built from Whittaker coefficients through finite sums, integrals over unipotent groups $V_\\gamma$, and shifts by Weyl-group representatives. The same machinery expresses the maximal parabolic Fourier coefficient $F_{S_\\alpha,\\phi}[\\eta]$: for minimal $\\eta$ it is a Whittaker coefficient up to conjugation, while for next-to-minimal $\\eta$ it is a Whittaker coefficient plus a sum of Whittaker terms, or an integral of a Whittaker coefficient. Consequently the paper derives that no nonzero cuspidal automorphic form belongs to the minimal or next-to-minimal spectrum.","pith_inferences":["Editorial inference: these formulas provide a uniqueness principle—two minimal or next-to-minimal automorphic functions with the same Whittaker coefficients are equal, so the space of such functions is parameterized by its Whittaker data.","Editorial inference: Theorem G can be read computationally: a cusp form would have vanishing constant terms on every maximal parabolic, and Theorems B and E then force all its Whittaker coefficients to vanish, so testing one coefficient of a candidate residue would suffice to rule it out.","Editorial inference: the descent pattern is likely to extend to quasi-split and non-simply-laced groups, where the next-to-minimal orbit class is replaced by several orbits; the $D_5$ example already shows the sums must be adjusted orbit-by-orbit.","Editorial inference: because the $E_8$ expansion (1.35) is fully explicit, a numerical implementation on a few Fourier modes could compare the non-abelian $B$ terms with instanton predictions, offering a concrete string-theory test."],"forward_implications":["No cuspidal automorphic form can occur in the minimal or next-to-minimal automorphic spectrum (Theorem G).","Every maximal parabolic Fourier coefficient of such a form is either zero, a constant term on the Levi subgroup, or an explicit combination of Whittaker coefficients (Theorems A and C).","The complete Fourier expansion of $\\eta_{\\min}$ and $\\eta_{\\mathrm{ntm}}$ along any quasi-abelian parabolic is explicit, so computations previously done case-by-case for $\\mathrm{SL}_n$, $D_5$, and $E_8$ become part of a uniform formula.","For the Eisenstein-series cases already known to have collapsing Whittaker coefficients, the reduction implies the corresponding maximal parabolic Fourier coefficients are Eulerian (Remark 1.5.5).","The $E_8$ expansions reproduce previously known minimal-orbit and abelian next-to-minimal Fourier expansions and add the missing non-abelian terms."],"supporting_citations":[{"why":"It supplies the reduction principle (Theorem 2.2.6), the Heisenberg-parabolic expansion (Proposition 2.2.7), and the geometric Lemma 2.2.8 on which Theorems A–E are built.","marker":"[GGK+]"},{"why":"It provides the domination and vanishing criteria for Whittaker pairs that yield Corollary 2.2.5 and the orbit-containment statements in Theorems A and C.","marker":"[GGS17]"},{"why":"It classifies abelian and Heisenberg roots and the internal Chevalley modules used in the geometric lemmas that conjugate nilpotent elements into the needed root spaces.","marker":"[MS12]"},{"why":"It supplies the theta-representation picture of minimal representations as residues of degenerate principal series, which the paper extends to the next-to-minimal case.","marker":"[GRS97]"},{"why":"It contains the string-theory Fourier-coefficient computations for specific Eisenstein series that the D5 examples in Section 5.1 reproduce and compare with.","marker":"[GMV15]"},{"why":"It established the SL_n versions of Theorems C and D, the case that the present paper generalizes to arbitrary split simply-laced groups.","marker":"[AGK+18]"},{"why":"It gives the explicit non-abelian Fourier expansion of the minimal E8 automorphic form, which the paper's formula (5.13) is checked against.","marker":"[KP04]"},{"why":"It derives the abelian part of the next-to-minimal E8 expansion, which the paper's formula (5.14) reproduces and supplements with the non-abelian terms.","marker":"[BP17]"}],"fun_headline_variants":["No cusp forms in minimal or next-to-minimal spectrum","Whittaker coefficients rebuild minimal automorphic forms","Explicit sums reconstruct minimal and next-to-minimal forms","Cusps vanish from minimal and next-to-minimal spectra","Minimal and next-to-minimal forms: no cusps"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument collapses if the reduction principle imported from the companion paper—which expresses a Fourier coefficient for one Whittaker pair as an integral of coefficients for another, finer Whittaker pair—has unstated hypotheses, or if the infinite arithmetic sums over $\\Gamma$-quotients and root spaces cannot be rearranged in the space of automorphic functions.","fun_headline_variants_meta":{"raw":{"variants":["No cusp forms in minimal or next-to-minimal spectrum","Whittaker coefficients rebuild minimal automorphic forms","Explicit sums reconstruct minimal and next-to-minimal forms","Cusps vanish from minimal and next-to-minimal spectra","Minimal and next-to-minimal forms: no cusps"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001541,"raw_usage":{"total_tokens":6188,"prompt_tokens":993,"completion_tokens":5195,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":609,"completion_tokens_details":{"reasoning_tokens":5112}},"tokens_in":609,"tokens_out":5195,"duration_ms":31869,"temperature":1.0,"reasoning_tokens":5112,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:56:11.974066+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the right-hand side of the $E_8$ next-to-minimal expansion (1.35) for an explicit next-to-minimal Eisenstein series whose Whittaker coefficients are known, at a generic unramified point; any mismatch with the function itself falsifies Theorem E. A sharper check is to compute the non-abelian integral over $V_{g_8}$ in the $B_8$ and $B_{88}$ terms and compare the result with the known local spherical vector containing a cubic phase; if the integral does not reproduce that phase, the reduction principle fails in the Heisenberg case.","supporting_citations":[],"review_version":1}