{"id":"cfdd15d5-5091-4967-b6a4-6342c14ec14f","arxiv_id":"1908.07205","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For ordinary automorphic forms on unitary groups U(r,s) over totally real fields, it proves that a rank-zero Selmer group forces the central L-value to be nonzero.","lead":"The paper proves a new case of the Bloch-Kato conjecture for unitary groups: if a Selmer group has rank zero, a central L-value must be nonzero. It does so by introducing p-adic functional equations that turn a p-adic limit Eisenstein form into a classical one whose nonvanishing can be checked explicitly.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central nonvanishing step rests on p-adic functional equations whose proof is only sketched; the paper itself says formulas for Theorem 1.6 are omitted.","rationale":"The reader's verdict of CONDITIONAL is reasonable, and the dependence on [17] identified by the reader is a real caveat. However, the single most load-bearing spot in the argument is not that external dependence but the internal proof of the new p-adic functional equation and the nonvanishing conclusion drawn from it. Theorem 1.7 is the vehicle that turns a non-arithmetic p-adic limit into a classical Klingen Eisenstein series, and Proposition 6.19 converts that into the nonzero specialization feeding the Eisenstein-ideal/lattice construction. The text's one-sentence proof of Theorem 1.7, the explicit omission of Theorem 1.6's formulas, and the unchecked constant-term cancellation in Proposition 6.19 leave this central step incomplete. Verifying Theorem 1.7 by a direct coefficient-by-coefficient check would settle whether this gap is formal or substantive. Until then the conditional verdict remains correct.","tokens_in":55955,"tokens_out":15153,"duration_ms":151087,"concrete_test":"Independently re-derive Theorem 1.7 by expanding both sides as formal Fourier-Jacobi expansions at the t=s cusp label and comparing every coefficient, including degenerate beta using the auxiliary-prime construction of Section 4.8; in the same verification, compute the constant term of the right-hand classical Klingen Eisenstein series at the distinguished Archimedean element and show explicitly that the f_z and A(f)_-z summands do not cancel. If any Fourier-Jacobi coefficient fails to match, Proposition 6.19 and hence Theorem 1.3 are unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.3 is reached through Proposition 6.19, which asserts that the ordinary Klingen Eisenstein family specializes to a nonzero p-adic limit form at phi0. That proposition depends on the p-adic functional equation Theorem 1.7 and on the claim that the classical Klingen Eisenstein series on the right side has nonzero constant term. The proof of Theorem 1.7 (Section 6.4) is a one-paragraph sketch: it says 'the proof of Theorem 6.8 also gives Theorem 1.7', and Remark 1.8 explicitly says the right-hand side of Theorem 1.6 has omitted formulas. Moreover, Proposition 6.19 moves from the nonzero local pullback section of Proposition 6.17 to nonvanishing of the global classical Eisenstein series by saying 'By looking at the Archimedean component, we see that the constant term ... and thus E itself must be nonzero.' The constant term has two summands, f_z and A(f)_-z, and no computation is shown that they cannot cancel. Since the Selmer-rank argument needs this nonzero specialization as its input, the central claim is not fully established unless Theorem 1.7 and the non-cancellation check are completed. This concern is independent of the [17] trace-formula caveat: even granting multiplicity one and local-global compatibility, the new mechanism has an unproved step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a new Iwasawa-theoretic method for unitary groups U(r,s) over a totally real field F, using ordinary Hida families of Klingen Eisenstein series and p-adic functional equations. Its main theorem (Theorem 1.3) states that, under assumptions (QS), (Irred), ordinarity at all primes above p, and a Hodge-Tate weight condition, the vanishing of the central L-value L(M^∨(1),0) forces positive rank of the Selmer group Sel_{p^∞}(M). The method avoids Fourier-Jacobi coefficient computations by relating a p-adic limit form, obtained as a specialization of a Klingen Eisenstein family at a non-arithmetic point, to a classical Klingen Eisenstein series via p-adic functional equations, and then proving nonvanishing of the latter. The paper also claims p-adic functional equations for the corresponding p-adic L-functions and for the Klingen Eisenstein families (Theorems 1.6 and 1.7).","tokens_in":56207,"tokens_out":5739,"duration_ms":59642,"significance":"If the proof is completed, this would be a substantial advance: it removes the F=Q restriction and the conjugate self-duality assumption of Skinner-Urban's ICM 2006 result, and it introduces a new technique for studying Klingen Eisenstein families at non-classical points that has the potential to apply beyond the low-rank cases treated earlier. The paper also contains significant original work: a Hida theory for non-cuspidal forms on U(r,s), detailed local computations of pullback sections at an auxiliary prime, and a clean use of Casselman-Shahidi theory to analyze nonvanishing at special points. At the same time, the manuscript is explicit about several dependencies and omissions, and these gaps are load-bearing for the central claim.","major_comments":[{"comment":"The proof of Theorem 1.7 is contained in a single paragraph that asserts 'the proof of Theorem 6.8 also gives Theorem 1.7', and the proof of Theorem 1.6 is explicitly omitted ('we omit the details'). Remark 1.8 further states that the precise formulas on the right-hand side of Theorem 1.6 are omitted. These p-adic functional equations are the central mechanism that allows the author to compare a non-arithmetic p-adic limit form with a classical Eisenstein series, and Proposition 6.19 depends directly on Theorem 1.7. As written, this is a missing proof of a load-bearing step, not a minor presentation issue.","section":"§6.4, Theorem 1.6/1.7 and Remark 1.8"},{"comment":"The nonvanishing of the classical Klingen Eisenstein series E^{C∞}_{Kling, D^{(2)}_{φ0}} is asserted from its constant term: 'By looking at the Archimedean component, we see that the constant term ... and thus E itself must be nonzero.' However, by Lemma 4.4 the constant term is the sum f_z + A(f)_{-z}, and the text gives no computation ruling out cancellation between these two summands at z = 1/2. Since this nonvanishing is the input to the Selmer-rank argument via Proposition 6.19, a concrete verification of non-cancellation (for example, by comparing Archimedean K-types or by computing explicit Fourier coefficients) is required.","section":"§6.5, Proposition 6.19"},{"comment":"The main theorem is conditional on results from [17] on Arthur conjectures, specifically multiplicity one for cuspidal forms on U(r,s) under cuspidal base change and local-global compatibility of the base change map, which the author notes depend on ongoing work of Moeglin-Waldspurger on stabilization of trace formulas. Until that work is available, the proof of Theorem 1.3 is not unconditional. This is acknowledged honestly, but the statement of Theorem 1.3 should be labeled explicitly as conditional on these results, and the precise locations in the proof that invoke them should be listed.","section":"§1, Remark 1.5"},{"comment":"In the case where ∏_{v∈Σ} L_v(π,τ^c,-z) has poles, the argument says these poles 'are cancelled by poles provided by Lemma 6.15', but Lemma 6.15 only guarantees that the intertwining operator has a pole of at least the same multiplicity. To conclude nonvanishing of the pullback section, one must also check that the leading coefficients of the poles do not cancel and that the resulting finite value is nonzero. The text asserts this from local computations, but no such leading-coefficient computation is shown. This is another load-bearing point in the nonvanishing argument and needs to be filled in.","section":"§6.5, Proposition 6.17"}],"minor_comments":[{"comment":"There are numerous typographical and formatting issues, including the title spacing in the text ('Iw asa w a theory forU'), the spelling 'Moeglin-Waldspurger' (usually 'Mœglin-Waldspurger'), and several unbalanced parentheses in long displayed formulas; these should be corrected in a final revision.","section":"Throughout"},{"comment":"The citation 'By [ ?, Corollary 6.2.2.8]' contains an unresolved placeholder reference; please replace it with the full reference.","section":"§3.3"},{"comment":"The proof of the existence of an auxiliary prime v with pairwise distinct Satake parameters is compressed to two sentences. It should spell out the Chebotarev argument and explicitly justify that the ordinarity assumption gives distinct Satake parameters at p so that the nearby-eigenvalue argument applies.","section":"§4.8, Lemma 4.26"},{"comment":"The displayed formula in part (i) uses notation 'ss2' without a clear definition and appears to have unmatched parentheses; please rewrite this formula cleanly and define all quantities such as s_1 and s_2 in the surrounding text.","section":"§6.2, Theorem 6.8(i)"},{"comment":"The definition of the I[[Γ_K^+]]-valued characters ξ_i says 'We omit the precise formula since it requires introducing unnecessary notations.' Since these ξ_i are used in the interpolation formulas (30) and (31), a precise or referenced definition is needed for the reader to verify the interpolation.","section":"§6.2, Definition 6.6"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is ambitious and contains a plausible new approach, but the central claim currently rests on unproved p-adic functional equations, an unverified non-cancellation assertion in the constant term, and a conditional Arthur-classification input. These gaps are fixable in principle but are not merely expository; they are exactly the steps that make the main theorem work. I therefore recommend major revision rather than rejection, provided the author can supply the missing proofs or clearly restructure the paper to separate the completed portions from the conditional ones."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. First, this is not a repackaging of Skinner–Urban: it introduces a distinct mechanism—comparing a p-adic limit Klingen Eisenstein family with a classical Klingen Eisenstein series via p-adic functional equations—and that is what lets it drop F=Q and conjugate self-duality for U(r,s). Second, the proof as written has two real soft spots that keep it from being complete: Theorem 1.6 is stated without details, and Proposition 6.19 contains an uncomputed cancellation check in the constant term. The reader's conditional verdict is about right.\n\nWhat is genuinely good. The Hida theory for non-cuspidal forms on U(r,s) in Section 3 is a real extension of Liu–Rosso, with the parallel weight space and ordinary cusp labels handled carefully. The auxiliary-prime construction in Section 4.8, using Godement–Jacquet to compute pullback sections, is clever and appears to deliver what is claimed. The interpolation formulas in Theorem 6.8 follow published constructions in [5] and [32] rather than fitting constants. No circularity: the target L-value nonvanishing is not inserted as an assumption.\n\nNow the soft spots, in proportion. (1) The functional equations are load-bearing. Theorem 1.7 is justified by saying the proof of Theorem 6.8 also gives it, and Theorem 1.6 says the details are omitted. Since Proposition 6.19, and through it the Selmer-rank theorem, depends on Theorem 1.7, this is not a harmless omission. (2) In Proposition 6.19 the constant term has two summands, f_z and A(f)_{-z}, and the text moves from the Archimedean component to nonvanishing of the whole series without ruling out cancellation. The stress-test note is correct on this. (3) Remark 1.5 concedes dependence on Moeglin–Waldspurger trace-formula work via [17]; that makes the main theorem conditional, though not suspect. (4) Several local computations are called straightforward checking; they are probably right, but they cannot be certified from the text alone.\n\nBottom line. The outline is coherent, the new method is real, and the main claim is likely true once the missing details are supplied. This deserves a serious referee, not a desk reject. I would send it to peer review and ask the author to expand the proofs of Theorems 1.6 and 1.7 and to give an explicit constant-term computation before publication. I would also bring it to reading group.","headline":"A genuine extension of Skinner–Urban with a novel p-adic functional-equation mechanism, but the proof as written has two real gaps—Theorem 1.6/1.7 are sketched and the non-cancellation step in Proposition 6.19 is not shown—so the right verdict is conditional, not accept.","tokens_in":56738,"tokens_out":3465,"would_cite":true,"duration_ms":38385,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F67","11F70","11R23","11G40"],"pacs":[],"model":"deepseek-v4-flash","headline":"Vanishing central L-value forces positive Selmer rank for unitary groups U(r,s).","keywords":["Iwasawa theory","Bloch-Kato conjecture","unitary groups","Selmer groups","p-adic L-functions","Eisenstein series","p-adic functional equation","Hida theory"],"falsifier":"Find a regular algebraic cuspidal π on U(r,s)/F satisfying the assumptions with L(M∨(1),0)=0 but Sel_{p^∞}(M) of rank 0; equivalently, check at such a point whether the specialized ordinary Klingen Eisenstein family has at least one nonzero Fourier-Jacobi coefficient, since vanishing of all such coefficients would contradict the paper's nonvanishing proposition for the p-adic Klingen Eisenstein family.","tokens_in":55740,"feed_emoji":"🧮","tokens_out":8242,"duration_ms":76514,"temperature":0.7,"pith_summary":"This paper proves a Bloch-Kato nonvanishing statement for motives attached to regular algebraic cuspidal automorphic representations of unitary groups U(r,s) over a totally real field F, twisted by Hecke characters: if the central L-value vanishes, then the Selmer group has positive rank. This generalizes a previous theorem for F=Q and conjugate self-dual motives to general totally real base fields and general signature. The proof introduces p-adic functional equations for ordinary families of Klingen Eisenstein series and for p-adic L-functions, which connect the p-adic limit of the Eisenstein family at the critical point to a classical Eisenstein series whose nonvanishing can be checked. The method avoids the Fourier-Jacobi coefficient computations that limited earlier work to low-rank unitary groups.","feed_headline":"Zero central L-value forces positive Selmer rank for U(r,s)","feed_subtitle":"New p-adic functional equations for Klingen Eisenstein series prove a Bloch-Kato nonvanishing theorem.","key_machinery":"The engine is an ordinary Hida family of Klingen Eisenstein series on GU(r+1,s+1), a p-adic analytic family interpolating nearly ordinary Klingen Eisenstein series, together with new p-adic functional equations (Theorems 1.6 and 1.7). The Klingen equation says that a Maass-Shimura differential operator δ_{r+1,s+1} applied to the p-adic limit at the non-arithmetic point φ0 equals a classical Klingen Eisenstein series for the dual Eisenstein datum; the classical series is proved nonzero using the functional equation for degenerate principal series, the zeta-integral functional equation at an auxiliary prime, and the quasi-split theory of intertwining operators and standard-module reducibility. The p-adic L-function version extends the interpolation of the doubling-method p-adic L-functions to the left of the centre. The final Selmer step is the Eisenstein ideal and lattice construction, with the Iwasawa main conjecture for Hecke characters supplying control of an auxiliary characteristic ideal.","core_discovery":"Theorem 1.3 is the central claim: under assumptions (QS), (Irred), with 0 and 1 not Hodge-Tate weights of M, and with π unramified and ordinary above p, the equality L(M∨(1),0)=0 implies that the rank of the Selmer group Sel_{p^∞}(M) is positive. Equivalently, a Selmer group of rank 0 forces the central L-value to be nonzero. The author establishes this by specializing an ordinary Hida family of Klingen Eisenstein series to the non-arithmetic point φ0 where the p-adic L-function takes the central value, showing that the specialization is a nonzero p-adic limit form, and then using an Eisenstein ideal argument to convert this nonvanishing into a lower bound on the Selmer group rank.","pith_inferences":["The same p-adic functional-equation mechanism should extend to finite-slope, non-ordinary Eisenstein families once finite-slope families and local triangulations of Galois representations are available; the author explicitly leaves this to future work.","Because the nonvanishing of the p-adic limit is reduced to a classical Eisenstein series, any zero of the p-adic L-function not explained by Selmer-rank reasons would have to appear as a zero of that classical series, giving a concrete interpretation of possible exceptional zeros.","If the quasi-split intertwining-operator results are proven for non-quasi-split inner forms, the quasi-split hypothesis (QS) should be removable, extending the theorem to every unitary group U(r,s) over F.","A similar pullback-plus-functional-equation strategy might transfer to other automorphic families, such as symplectic or orthogonal groups, where Fourier-Jacobi coefficients are not tractable but doubling or pullback formulas exist."],"forward_implications":["The Bloch-Kato rank-zero-nonvanishing implication now holds for general totally real base fields and general signature (r,s), not only for F=Q and conjugate self-dual motives.","The p-adic functional equation for p-adic L-functions extends the doubling-method interpolation formula to critical values on the left of the centre, thereby covering all critical values.","The p-adic functional equation for Klingen Eisenstein families gives a new nonvanishing criterion for p-adic Eisenstein families that does not require Fourier-Jacobi coefficient expansions, so it should apply to higher-rank unitary groups outside the low-rank cases.","If the Selmer group of M has rank 0, then L(M∨(1),0) is nonzero, constraining the vanishing order side of the Bloch-Kato conjecture at the central point."],"supporting_citations":[{"why":"Supplies the Bloch-Kato formulation of the conjectural equality between L-value vanishing order and Selmer rank.","marker":"[3]"},{"why":"Provides the doubling-method construction of p-adic L-functions for unitary Shimura varieties that the paper extends by a p-adic functional equation.","marker":"[5]"},{"why":"Supplies the endoscopic classification, multiplicity one, and local-global compatibility of base change on which the Hida-theoretic and cohomological steps rest.","marker":"[17]"},{"why":"Supplies the functional equation for degenerate principal series and local Siegel series used in the p-adic functional equations.","marker":"[19]"},{"why":"Supplies the lattice construction, Eisenstein ideal method, and control theorem used to pass from Eisenstein nonvanishing to Selmer rank.","marker":"[29]"},{"why":"States the previous special-case theorem, with F=Q and conjugate self-dual motives, that this paper generalizes.","marker":"[30]"},{"why":"Constructs the nearly ordinary families of Klingen Eisenstein series on unitary groups that are specialized at the critical point φ0.","marker":"[32]"},{"why":"Supplies the Iwasawa main conjecture for Hecke characters used to bound the characteristic ideal of the auxiliary Selmer group.","marker":"[35]"}],"fun_headline_variants":["Rank-zero Selmer forces nonzero central L-value for U(r,s)","Zero central L-value implies positive Selmer rank for U(r,s)","Selmer rank 0 forces central L-value nonzero for U(r,s)","New Iwasawa method: rank-zero Selmer gives nonzero L-value for U(r,s)"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof is not fully unconditional: it relies on the endoscopic classification results of [17], in particular multiplicity one for cusp forms on U(r,s) under cuspidal base change and local-global compatibility of the base change map, which as the paper states depend on ongoing work on stabilization of trace formulas; if that work has a gap, the theorem's proof infrastructure breaks, while the main statement could still be true.","fun_headline_variants_meta":{"raw":{"variants":["Rank-zero Selmer forces nonzero central L-value for U(r,s)","Zero central L-value implies positive Selmer rank for U(r,s)","Selmer rank 0 forces central L-value nonzero for U(r,s)","New Iwasawa method: rank-zero Selmer gives nonzero L-value for U(r,s)"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000519,"raw_usage":{"total_tokens":2511,"prompt_tokens":935,"completion_tokens":1576,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":551,"completion_tokens_details":{"reasoning_tokens":1495}},"tokens_in":551,"tokens_out":1576,"duration_ms":12822,"temperature":1.0,"reasoning_tokens":1495,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:22:39.973406+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a regular algebraic cuspidal π on U(r,s)/F satisfying the assumptions with L(M∨(1),0)=0 but Sel_{p^∞}(M) of rank 0; equivalently, check at such a point whether the specialized ordinary Klingen Eisenstein family has at least one nonzero Fourier-Jacobi coefficient, since vanishing of all such coefficients would contradict the paper's nonvanishing proposition for the p-adic Klingen Eisenstein family.","supporting_citations":[{"cited_title":"In The Grothendieck Festschrift, Vol","cited_arxiv_id":null,"evidence_quote":"Supplies the Bloch-Kato formulation of the conjectural equality between L-value vanishing order and Selmer rank."},{"cited_title":"p-adic L-functions for unitary groups","cited_arxiv_id":"1602.01776","evidence_quote":"Provides the doubling-method construction of p-adic L-functions for unitary Shimura varieties that the paper extends by a p-adic functional equation."},{"cited_title":"Kudla and W","cited_arxiv_id":null,"evidence_quote":"Supplies the functional equation for degenerate principal series and local Siegel series used in the p-adic functional equations."},{"cited_title":"The Iwasawa mai n conjectures for GL2","cited_arxiv_id":null,"evidence_quote":"Supplies the lattice construction, Eisenstein ideal method, and control theorem used to pass from Eisenstein nonvanishing to Selmer rank."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"States the previous special-case theorem, with F=Q and conjugate self-dual motives, that this paper generalizes."},{"cited_title":"Wan, Families of nearly ordinary Eisenstein series o n unitary groups (with an Appendix by Kai-Wen Lan), Algebra and Number Theory (2015): 1955-2054","cited_arxiv_id":null,"evidence_quote":"Constructs the nearly ordinary families of Klingen Eisenstein series on unitary groups that are specialized at the critical point φ0."},{"cited_title":"Wiles, The Iwasawa conjecture for totally real fields , Ann","cited_arxiv_id":null,"evidence_quote":"Supplies the Iwasawa main conjecture for Hecke characters used to bound the characteristic ideal of the auxiliary Selmer group."}],"review_version":1}