REVIEW 4 major objections 5 minor 36 references
Iwasawa theory for $\mathrm{U}(r,s)$, Bloch-Kato conjecture and Functional Equation
T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Vanishing central L-value forces positive Selmer rank for unitary groups U(r,s).
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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).
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 (4)
- [§6.4, Theorem 1.6/1.7 and Remark 1.8] 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.
- [§6.5, Proposition 6.19] 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.
- [§1, Remark 1.5] 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.
- [§6.5, Proposition 6.17] 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.
minor comments (5)
- [Throughout] 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.
- [§3.3] The citation 'By [ ?, Corollary 6.2.2.8]' contains an unresolved placeholder reference; please replace it with the full reference.
- [§4.8, Lemma 4.26] 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.
- [§6.2, Theorem 6.8(i)] 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.
- [§6.2, Definition 6.6] 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.
Circularity Check
No significant circularity: the p-adic families, functional equations, and nonvanishing computations are independent of the Selmer-rank conclusion; the proof's weaknesses are omitted details, not circular reductions.
full rationale
The central derivation proceeds from the Eischen-Harris-Li-Skinner and Wan constructions of p-adic L-functions and ordinary Klingen Eisenstein families ([5], [32]), whose constant terms are divisible by the p-adic L-function. At the point φ0 where the central L-value is assumed zero, the paper does not use that zero as a fitted parameter; instead Theorem 1.7 transfers the non-classical specialization φ0(E_Kling) under a Maass-Shimura operator to a classical Klingen Eisenstein series, and Propositions 6.17 and 6.19 establish nonvanishing from local intertwining-operator and Casselman-Shahidi computations plus an Archimedean constant-term check. The Eisenstein-ideal argument (Lemma 7.2, Theorem 7.5) then turns the nonzero specialization into a positive Selmer corank. None of these steps restates the target L-value nonvanishing or the Selmer-rank assertion by construction. The reliance on [32] is a self-citation, but [32] is a published, parameter-free construction whose assumptions do not include the present theorem, so it counts as independent support. The paper itself flags incompleteness: Remark 1.8 says 'We omit the precise formulas' for Theorem 1.6, and the Section 6.4 proof says 'the proof of Theorem 6.8 also gives Theorem 1.7' with details left to the reader; Proposition 6.19's 'By looking at the Archimedean component' is likewise terse. These are gaps in exposition or proof that affect the paper's completeness, not circularity.
Assumptions & free parameters
assumptions (7)
- domain assumption Residual Galois representation \bar{\rho}_\pi of G_K is absolutely irreducible (Irred).
- domain assumption At each prime v of F, if L_v(\tilde{\pi},\bar{\tau}^c,-1/2) has a pole then U(r,s)(F_v) is quasi-split (QS).
- domain assumption π is unramified and ordinary at all primes above p; p is odd and splits completely in K.
- domain assumption 0 and 1 are not Hodge-Tate weights of M.
- domain assumption Base change of π to GL(n)/K is cuspidal; results of [17] on Arthur classification, multiplicity one, and local-global compatibility are valid.
- standard math Iwasawa main conjecture for Hecke characters (Wiles [35]).
- standard math Casselman-Shahidi irreducibility theorem for standard modules, Kudla-Sweet functional equation for degenerate principal series, and Shimura pullback formulas.
Cite this review
Pith. "Pith review of Iwasawa theory for $\mathrm{U}(r,s)$, Bloch-Kato conjecture and Functional Equation." pith.science (2026). https://pith.science/paper/6CHLRKWV
@misc{pith2026190807205,
author = {Pith},
title = {Pith review of: Iwasawa theory for $\mathrmU(r,s)$, Bloch-Kato conjecture and Functional Equation},
year = {2026},
howpublished = {\url{https://pith.science/paper/6CHLRKWV}},
note = {Machine review of arXiv:1908.07205}
}
abstract
In this paper we develop a new method to study Iwasawa theory and Eisenstein families for unitary groups $\mathrm{U}(r,s)$ of general signature over a totally real field $F$. As a consequence we prove that for a motive corresponding to a regular algebraic cuspidal automorphic representation $\pi$ on $\mathrm{U}(r,s)_{/F}$ which is ordinary at $p$, twisted by a Hecke character, if its Selmer group has rank $0$, then the corresponding central $L$-value is nonzero. This generalizes a result of Skinner-Urban in their ICM 2006 report in the special case when $F=\mathbb{Q}$ and the motive is conjugate self-dual. Along the way we also obtain $p$-adic functional equations for the corresponding $p$-adic $L$-functions and $p$-adic families of Klingen Eisenstein series. Our method does not involve computing Fourier-Jacobi coefficients (as opposed to previous work which only work in low rank cases, e.g. $\mathrm{U}(1,1)$, $\mathrm{U}(2,0)$ and $\mathrm{U}(1,0)$) whose automorphic interpretation is unclear in general.
Reference graph
Works this paper leans on
-
[5]
E.Eischen, M.Harris, J.Li, C.Skinner, p-adic L-functions for Unitary Shimura Varieties (II), (III), preprint, arXiv 1602.01776
-
[32]
X. 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
work page 2015
-
[17]
T. Kaletha, A. Minguez, S-W Shin, and P-J White, Endosco pic Classification of Representa- tions: Inner Forms of Unitary Groups, arXiv 1409.3731
-
[1]
Fabrizio Andreatta, Adrian Iovita, Triple product p-adic L-functions associated to finite slope p-adic families of modular forms, with an appendix by Eric Ur ban, preprint, arXiv:1708.02785
-
[2]
J. Bellaiche and G. Chenevier, p-adic families of Galois representations and higher rank Se lmer groups, Astérisque (2009), no. 324
work page 2009
-
[3]
In The Grothendieck Festschrift, Vol
Bloch, S., and Kato, K., L-functions and Tamagawa numbers of motives. In The Grothendieck Festschrift, Vol. I, Progr. Math. 86, Birkhauser, Boston, MA, 1990,333-400
work page 1990
-
[4]
W. Casselman and F. Shahidi, On irreducibility of standa rd modules of generic representations, Ann. scient. ENS, 4 série, t. 31, 1998, 561-589
work page 1998
-
[6]
Eischen, p-adic differential operators on automorphic forms on unitar y groups
E. Eischen, p-adic differential operators on automorphic forms on unitar y groups. Ann. Inst. Fourier, Volume 62, No. 1 (2012), 177-243. 61
work page 2012
Show all 36 references
-
[7]
Eischen, A p-adic Eisenstein Measure for Unitary Groups
E. Eischen, A p-adic Eisenstein Measure for Unitary Groups. J. Reine Angew . Math. 699 (2015), 111-142
2015
-
[8]
Eischen and X
E. Eischen and X. Wan, p-adic L-Functions of Finite Slope Forms on Unitary Groups and Eisenstein Series, Journal of the Institute of Mathematics of Jussieu, volume 15, issue 03, pp. 471-510, July 2016
2016
-
[9]
http://www-math.mit.edu/~etingof/replect.pdf
Pavel Etingof, Oleg Golberg, Sebastian Hensel,Tiankai Liu, Alex Schwendner, Dmitry Vaintrob, and Elena Yudovina, Introduction to Representat ion Theory, MIT notes. http://www-math.mit.edu/~etingof/replect.pdf
-
[10]
Fulton, Joe Harris, Representation Theory – a First C ourse, GTM 225, Springer 1991
W. Fulton, Joe Harris, Representation Theory – a First C ourse, GTM 225, Springer 1991
1991
-
[11]
Greenberg, Iwasawa theory and p-adic Deformations of Motives, Proc
R. Greenberg, Iwasawa theory and p-adic Deformations of Motives, Proc. on Motives held at Seattle, 1994
1994
-
[12]
Hida, Control theorems of coherent sheaves on Shimur a varieties of PEL type, Journal of the Institute of Mathematics of Jussieu, 2003, 1(1):1-76
H. Hida, Control theorems of coherent sheaves on Shimur a varieties of PEL type, Journal of the Institute of Mathematics of Jussieu, 2003, 1(1):1-76
2003
-
[13]
Hida, H.: On p-adic L-functions of GL(2)× GL(2) over totally real fields. Ann. Inst. Fourier 40, 311-391 (1991)
1991
-
[14]
Eisenstein congruence on unitary groups a nd Iwasawa main conjectures for CM fields
M-L. Hsieh, “Eisenstein congruence on unitary groups a nd Iwasawa main conjectures for CM fields.” Journal of the American Mathematical Society 27.3 ( 2014): 753-862
2014
-
[15]
Hsieh, Ordinary p-adic Eisenstein series and p-adicL-functions for unitary groups, Ann
M.-L. Hsieh, Ordinary p-adic Eisenstein series and p-adicL-functions for unitary groups, Ann. Inst. Fourier (Grenoble) 61 (2011), no. 3: 987-1059
2011
-
[16]
Katz, p-adic L-functions for CM fields, Invent
N. Katz, p-adic L-functions for CM fields, Invent. Math. 49 (1978), no. 3, 199- 297
1978
-
[18]
144 (2008) 1107- 1154
Tamotsu Ikeda, On the lifting of hermitian modular form s, Compositio Math. 144 (2008) 1107- 1154
2008
-
[19]
Kudla and W
S. Kudla and W. J. Sweet Jr., Degenerate principal serie s representations for U(n,n ), Israel J. Math. 98 (1997), 253-306
1997
-
[20]
Lan, Arithmetic compactifications of PEL-type Sh imura varieties, London Mathematical Society Monographs, vol
K.-W. Lan, Arithmetic compactifications of PEL-type Sh imura varieties, London Mathematical Society Monographs, vol. 36, Princeton University Press, P rinceton, 2013
2013
-
[21]
Liu, p-adicL-functions for Ordinary Families on Symplectic Groups, pre print, 2016
Z. Liu, p-adicL-functions for Ordinary Families on Symplectic Groups, pre print, 2016
2016
-
[22]
Liu and G
Z. Liu and G. Rosso, Non-Cuspidal Hida Theory for Siegel Forms and Trivial Zeros of p-adic L-Functions, preprint, arXiv:1803.10273
-
[23]
Liu, The doubling Archimedean zeta integrals for p-a dic interpolation, arXiv:1904.07121
Z. Liu, The doubling Archimedean zeta integrals for p-a dic interpolation, arXiv:1904.07121
1904 arXiv
-
[24]
Mok, Endoscopic classification of representation s of quasi-split unitary groups, Memoirs of the American Mathematical Society, Volume 235, Number 11 08, 2015
C-P. Mok, Endoscopic classification of representation s of quasi-split unitary groups, Memoirs of the American Mathematical Society, Volume 235, Number 11 08, 2015. 62
2015
-
[25]
Pilloni, S
V. Pilloni, S. Bijakowski and B. Stroh, Classicité de form es modulaires surconvergentes, Ann. of Math. (2) 183 (2016), no. 3, 975-1014
2016
-
[26]
Shimura, Euler products and Eisenstein series, CBMS R egional Conference Series in Math- ematics 93, American Mathematical Society, Providence, RI , 1997
G. Shimura, Euler products and Eisenstein series, CBMS R egional Conference Series in Math- ematics 93, American Mathematical Society, Providence, RI , 1997
1997
-
[27]
Shimura, Arithmeticity in the theory of automorphic forms, Mathematical Surveys and Monographs, 82
G. Shimura, Arithmeticity in the theory of automorphic forms, Mathematical Surveys and Monographs, 82. American Mathematical Society, Providenc e, RI, 2000. x+302 pp
2000
-
[28]
S.-W. Shin, On the cohomological base change for unitar y similitude groups, an appendix to Galois representations associated to holomorphic limits o f discrete series I: Unitary Groups, Compositio Math. 150 (2014), no.2, 191-228, by Wushi Goldri ng
2014
-
[29]
The Iwasawa mai n conjectures for GL2
Skinner, Christopher, and Eric Urban. “The Iwasawa mai n conjectures for GL2.” Inventiones mathematicae 195.1 (2014): 1-277
2014
-
[30]
C.Skinner and E.Urban, Vanishing of L-functions and Ra nks of Selmer Groups, ICM 2006
2006
-
[31]
Urban, Eigenvarieties for reductive groups, Ann
E. Urban, Eigenvarieties for reductive groups, Ann. of Math. (2) 174 (2011) no. 3, 1685-1784
2011
-
[33]
Wan, Iwasawa Main Conjecture for Rankin-Selberg p-adic L-functions, preprint, arXiv: 1408.4044, 2014
X. Wan, Iwasawa Main Conjecture for Rankin-Selberg p-adic L-functions, preprint, arXiv: 1408.4044, 2014
2014 arXiv
-
[34]
X.Wan, Iwasawa Main Conjecture for Hilbert Modular For ms, Forum of Mathematics, Sigma, 95 pages, 2015
2015
-
[35]
Wiles, The Iwasawa conjecture for totally real fields , Ann
A. Wiles, The Iwasawa conjecture for totally real fields , Ann. of Math. 131, 493-540, 1990
1990
-
[36]
Zhang, The holomorphy and non-vanishing of local int ertwining operators, Pacific Journal of Mathematics, Vol
Y. Zhang, The holomorphy and non-vanishing of local int ertwining operators, Pacific Journal of Mathematics, Vol. 180, No.2, 1997. 63
1997
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.