REVIEW 3 major objections 3 minor 1 cited by
On the Blasius-Deligne conjecture for the standard $L$-functions of symplectic type for $\textrm{GL}_{2n}$
T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read The paper proves a Galois reciprocity law for normalized central L-values of regular algebraic cuspidal automorphic representations of GL(2n) of symplectic type, yielding algebraicity in explicit rationality fields.
desk verdict The reciprocity law for general algebraic Hecke characters is new and important, but the abstract's 'unconditional' framing is not backed by the body: Assumption 1.3 is needed to define the Shalika periods and is itself unproved. Still deserves a serious referee. 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 central object is the family of Shalika periods Omega_epsilon(sigma Pi, sigma eta) of Definition 10.3. Each period is the value of an archimedean modular symbol on a distinguished cohomology class kappa_epsilon, chosen so that the non-archimedean modular symbol is rational; the quotient space H(Pi_infinity)[epsilon] / Ker is one-dimensional and, by Lemma 10.2, defined over the rationality field. The proof that these periods transform correctly under Aut(C) is carried by the refined archimedean period relations (Theorem 2.16), obtained from local zeta integrals: the archimedean theory of Jacquet-Shalika exterior-square integrals, the open-orbit comparison producing modifying factors, and
What would settle it
Take a concrete Pi of symplectic type over a number field with a complex place, already at n=1 a Hilbert modular form of CM type, choose epsilon and a balanced chi satisfying Assumption 1.3, and compute both sides of (1.5) for a nontrivial sigma in Aut(C) using two different auxiliary classes kappa_epsilon, kappa'_epsilon. If the normalized values depend on this choice beyond a factor in Q(sigma Pi, sigma eta)^x, or if the normalized value fails to lie in Q(Pi, eta, chi), the period family is not canonical and the theorem fails.
Extended reading notes
Core claim
The central result is Theorem 1.4. For a regular algebraic cuspidal automorphic representation Pi of GL_{2n}(A) of symplectic type and each epsilon, the identity sigma( L(1/2, Pi tensor chi) / (Omega_{mu,chi_sharp} G(chi)^n Omega_epsilon(Pi, eta)) ) = L(1/2, sigma Pi tensor sigma chi) / (Omega_{mu,chi_sharp} G(sigma chi)^n Omega_epsilon(sigma Pi, sigma eta)) holds for every sigma in Aut(C) and every algebraic Hecke character chi whose archimedean type is F_mu-balanced with quadratic part epsilon. Hence the normalized value lies in Q(Pi, eta, chi). The family of Shalika periods Omega_epsilon(sigma Pi, sigma eta) is defined canonically under Assumption 1.3; the proof uses the archimedean perio
Load-bearing premise
The load-bearing premise is Assumption 1.3: that some Galois twist of Pi has a nonzero central L-value for some F_mu-balanced Hecke character with quadratic part epsilon, because without it the canonical Shalika periods of Definition 10.3 are not defined when k has a complex place; the proof also depends on the nonvanishing of the archimedean modular symbols established in [JST19].
Editorial extensions
If this is right
- Every normalized central value L(1/2, Pi tensor chi) / (Omega_{mu,chi_sharp} G(chi)^n Omega_epsilon(Pi, eta)) is algebraic, explicitly in the rationality field Q(Pi, eta, chi).
- If L(1/2, Pi tensor chi) is nonzero, then L(1/2, sigma Pi tensor sigma chi) is nonzero for every sigma in Aut(C): vanishing of the central value is a Galois-invariant property.
- The archimedean Jacquet-Shalika integrals are now known to converge, admit meromorphic continuation, satisfy functional equations with the expected Artin factors, and have nonvanishing normalized values under mild hypotheses, for principal series over every local field.
- The modifying factors obtained by comparing Jacquet-Shalika and open-orbit integrals match the p-adic predictions, so the same local periods should serve as normalizations for p-adic L-functions of exterior-square and standard type.
- The theorem covers all n >= 1 and all algebraic Hecke characters, extending the earlier finite-order-character case.
Reading between the lines
- If Lemma 10.2 can be proved without Assumption 1.3, as the authors expect, the same theorem would hold with no auxiliary existence hypothesis even over fields with complex places; this is a concrete open step.
- The same architecture of open-orbit integrals, modifying factors, and translation functors is likely to yield analogous reciprocity laws for other spherical-pair L-functions, suggesting a uniform mechanism rather than a case-by-case phenomenon.
- The local modifying factors identify a canonical normalization for p-adic interpolation; one can test this by constructing the corresponding p-adic L-function outside the nearly ordinary case and checking that its special values recover the algebraic numbers of Theorem 1.4.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proves a Blasius–Deligne reciprocity law for the central critical values of the standard L-functions of symplectic type for GL_{2n}, n ≥ 1, with general algebraic Hecke characters. The central result is Theorem 1.4: for a regular algebraic cuspidal automorphic representation Π of symplectic type, the ratio L(1/2, Π⊗χ)/(Ω_{μ,χ♮} G(χ)^n Ω_ε(Π,η)) is Aut(C)-equivariant and lies in the rationality field Q(Π,η,χ). The proof is built on a large local theory: Archimedean Jacquet–Shalika integrals, modifying factors for exterior-square and Friedberg–Jacquet integrals, refined Archimedean period relations via translation functors, and a global modular-symbol formalism. Shalika periods are defined in Definition 10.3, subject to Assumption 1.3 when k has a complex place.
Significance. If the proof is completed as written, this is a major result: it gives the first general treatment of Blasius–Deligne periods for GL_{2n}-standard L-functions of symplectic type with arbitrary algebraic Hecke characters, not only finite-order characters as in [JST19]. The local results are substantial and interesting in their own right: Theorem 2.2 establishes the Archimedean theory of Jacquet–Shalika integrals for principal series, and Theorems 2.6 and 2.15 provide modifying factors with arithmetic predictions in the style of Coates–Perrin-Riou. The paper is careful and largely self-contained, and it explicitly identifies its main assumption. However, the advertised unconditional status is not supported, and two local arguments are asserted rather than proved.
major comments (3)
- [§1 (Assumption 1.3), §10 (Definition 10.3), Theorem 1.4] The abstract claims an unconditional proof, but Theorem 1.4 is conditional as stated. Assumption 1.3 postulates the existence of σ′ ∈ Aut(C) and an algebraic Hecke character χ′ with χ′♮ = ε and L(1/2, σ′Π⊗σ′χ′) ≠ 0. Definition 10.3 defines the Shalika periods Ω_ε(σΠ,ση) only under Assumption 1.3 when k has a complex place, and Lemma 10.2 uses Assumption 1.3 to show that σ preserves Ker ℘_ε°. The text explicitly says that without Assumption 1.3 such a canonical period family is currently unavailable when k has a complex place. Thus the denominator in (1.5) is undefined in the residual case; the observation that all relevant central values would vanish does not repair the formulation. The theorem should be restated as conditional on Assumption 1.3, or the assumption should be proved and removed.
- [§5.1 and §5.3 (Lemma 5.2, odd-case continuation)] The proof of Theorem 2.4 (FE′_m) contains two omitted arguments in the odd case. In §5.1 the meromorphic continuation for m = 2n+1 is dismissed as 'similar' with details omitted. In §5.3, Lemma 5.2—which is essential for the odd-case functional equation (2.17)—is stated with the proof omitted ('can be verified directly'). These are load-bearing: Theorem 2.4 is an induction hypothesis for the proofs of Theorems 2.2 and 2.6. A similar omission occurs in Proposition 3.7, where the proof explicitly treats only the even case. Please provide full proofs or precise references for these steps.
- [Theorem 1.4 vs. Definition 10.3] The statement of Theorem 1.4 does not list Assumption 1.3 among its hypotheses; it refers only to 'the family of Shalika periods in Definition 10.3.' Since Definition 10.3 is conditional on Assumption 1.3 when k has a complex place, the statement of the main theorem is ambiguous about its hypotheses. This is a presentation issue, but it is directly connected to the unconditional claim and should be fixed in the revision.
minor comments (3)
- [Title and Section 8 heading] The title has a line break artifact 'ST ANDARD', and Section 8 is headed 'Archimdedean period relations' instead of 'Archimedean period relations'.
- [§10.2, Lemma 10.5] Lemma 10.5 shows that a different choice of κ_ε changes the Shalika period by a scalar in Q(σΠ,ση)^×. For the exact reciprocity identity (1.5), it would be clearer to state that the scalar is the image under σ of the corresponding scalar in Q(Π,η)^×, so that the family transforms coherently under Aut(C).
- [§9.2.4, diagram (9.7)] The notation P^◦_∞⊗P^◦_f in the commutative diagram is not defined explicitly; it should be labeled as the product of the normalized Archimedean and non-Archimedean modular symbols.
Circularity Check
No circularity found: the derivation chain consists of independent local zeta-integral identities and global modular-symbol comparisons, with no equation reducing to itself by construction; the principal limitation is the conditional Assumption 1.3, which is a nonvanishing input rather than a disguised form of the target result.
full rationale
The central reciprocity identity (1.5) is obtained by chasing the commutative diagram (10.7), whose commutativity rests on independent ingredients: the local Jacquet–Shalika and Friedberg–Jacquet zeta-integral identities (Theorems 2.2, 2.6, 2.15), the Archimedean period relation (Theorem 2.16, proved via Zuckerman translation functors and modifying factors in Sections 5–8), and the global–local modular-symbol comparison (Proposition 9.1). The Shalika periods in Definition 10.3 are defined as reciprocals of Archimedean modular-symbol values at an arbitrary class κ_ε not in Ker ℘°_ε; they are not fitted to the final L-values, and Lemma 10.5 shows only that the dependence on κ_ε is up to Q(σΠ,ση)^×, which is a standard period normalization. In the diagram chase the Ω_ε factors cancel, leaving the honest content that L/(Ω·G^n) is σ-equivariant, so the result is not true by construction. The paper does rely on prior work by overlapping authors ([JST19, Theorem 3.11], [LLS24], [LLSS23], [CS20], [SZ12], [S12]); these are cited as proven, parameter-free theorems with stated assumptions that do not include the target reciprocity law, and they are not merely asserted in this paper. The only serious limitation is Assumption 1.3: when k has a complex place, Definition 10.3 and Lemma 10.2 require an unproved nonvanishing statement L(1/2,σ′Π⊗σ′χ′)≠0; without it the period family is currently unavailable, so the abstract's word 'unconditional' is too strong. This is a conditionality/gap, not a circularity: the assumption is an input, not the reciprocal of the target period or a hidden restatement of (1.5). Hence the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- standard math Local Langlands correspondence for GL_m(k) and the associated Artin local factors for exterior square and standard representations exist and are compatible with parabolic induction.
- standard math Shalika model uniqueness and Casselman-Wallach theory for irreducible admissible representations over archimedean fields.
- standard math Godement sections, Jacquet integrals, and the Rankin-Selberg and Godement-Jacquet functional equations for principal series as stated in [J09] and [GJ72].
- domain assumption Assumption 1.3: existence of sigma' in Aut(C) and algebraic Hecke character chi' such that chi'_sharp is F_mu-balanced, chi'_sharp = epsilon, and L(1/2, sigma' Pi tensor sigma' chi') is nonzero.
Cite this review
Pith. "Pith review of On the Blasius-Deligne conjecture for the standard $L$-functions of symplectic type for $\textrm{GL}_{2n}$." pith.science (2026). https://pith.science/paper/KIE2KAMT
@misc{pith2026250900434,
author = {Pith},
title = {Pith review of: On the Blasius-Deligne conjecture for the standard $L$-functions of symplectic type for $\textrmGL_2n$},
year = {2026},
howpublished = {\url{https://pith.science/paper/KIE2KAMT}},
note = {Machine review of arXiv:2509.00434}
}
abstract
In this paper we give an unconditional proof of the Blasius-Deligne conjecture for the critical values of the $\textrm{GL}_{2n}$-standard $L$-functions of symplectic type with $n\geq 1$ and complete the project started in [JST19].
Forward citations
Cited by 1 Pith paper
-
Finite-Sum Realization of Archimedean Asai and Exterior-Square $L$-Factors
The archimedean Asai L-factor for GL_n(C) and the exterior-square L-factor for GL_m(F) are finite sums of Flicker and Jacquet-Shalika local zeta integrals, respectively.
Reference graph
Works this paper leans on
-
[1]
A. Aizenbud, D. Gourevitch and H. Jacquet, Uniqueness of Shalika functionals: the Archimedean case , Pacific J. Math. 243 (2009), no.2, 201--212
work page 2009
-
[2]
Blasius, Period relations and critical values of L -functions , Olga Taussky-Todd: in memoriam
D. Blasius, Period relations and critical values of L -functions , Olga Taussky-Todd: in memoriam. Pacific J. Math. 1997, Special Issue, 53--83
work page 1997
-
[3]
Beuzart-Plessis, Archimedean theory and -factors for the Asai Rankin-Selberg integrals , Simons Symp
R. Beuzart-Plessis, Archimedean theory and -factors for the Asai Rankin-Selberg integrals , Simons Symp. Springer, Cham, 2021, 1--50
work page 2021
-
[4]
C. Chen, D. Jiang, B. Lin, and F. Tian, Archimedean Non-vanishing, Cohomological Test Vectors, and Standard L -functions of _ 2n : Real Case , Math. Z. 296 (2020), no. 1-2, 479--509
work page 2020
-
[5]
F. Chen and B. Sun, Uniqueness of Rankin–Selberg periods , International Mathematics Research Notices, Vol. 2015, No. 14, pp. 5849--5873
work page 2015
-
[6]
F. Chen and B. Sun, Uniqueness of twisted linear periods and twisted Shalika periods , Sci. China Math. 63 (2020), no. 1, 1--22
work page 2020
-
[7]
F. Chen, B. Sun and Y. Weng, in progress
-
[8]
L. Clozel, Motifs et formes automorphes: applications du principe de fonctorialit\' e .(French) [Motives and automorphic forms: applications of the functoriality principle] Automorphic forms, Shimura varieties, and L -functions, Vol. I (Ann Arbor, MI, 1988), 77--159, Perspect. Math., 10, Academic Press, Boston, MA, 1990
work page 1988
Show all 46 references
-
[9]
Clozel and A
L. Clozel and A. Kret, On the central value of Rankin L-functions for self-dual algebraic representations of linear groups over totally real fields, arXiv:2306.05049 https://arxiv.org/abs/2306.05049
-
[10]
Coates, On p -adic L -functions attached to motives over
J. Coates, On p -adic L -functions attached to motives over . II , Bol. Soc. Brasil. Mat. (N.S.) 20 (1989), no. 1, 101--112
1989
-
[11]
Coates, and B
J. Coates, and B. Perrin-Riou, On p -adic L -functions attached to motives over , in: Algebraic number theory, 23--54, Adv. Stud. Pure Math., 17, Academic Press, Inc., Boston, MA, 1989
1989
-
[12]
Coates, On p -adic L -functions , Ast\'erisque(1989), no
J. Coates, On p -adic L -functions , Ast\'erisque(1989), no. 177--178, Exp. No. 701, 33--59
1989
-
[13]
J. W. Cogdell and N. Matringe, The functional equation of the Jacquet-Shalika integral representation of the local exterior-square L -function , Math. Res. Lett. 22 (2015), no.3, 697--717
2015
-
[14]
J. W. Cogdell, F. Shahidi and T.-L. Tsai, Local Langlands correspondence for _n and the exterior and symmetric square -factors , Duke Math. J. 166 (2017), no.11, 2053--2132
2017
-
[15]
Deligne, Valeurs de fonctions L et p\'eriodes d'int\'egrales, With an appendix by N
P. Deligne, Valeurs de fonctions L et p\'eriodes d'int\'egrales, With an appendix by N. Koblitz and A. Ogus, Proc. Sympos. Pure Math., XXXIII, Automorphic forms, representations and L -functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, pp....
1977
-
[16]
Feigon, E
B. Feigon, E. Lapid and O. Offen, On representations distinguished by unitary groups , Publ. Math. Inst. Hautes \'Etudes Sci. 115 (2012), 185--323
2012
-
[17]
Friedberg and H
S. Friedberg and H. Jacquet, Linear periods, J. Reine Angew. Math. 443 (1993), 91--139
1993
-
[18]
Godement and H
R. Godement and H. Jacquet, Zeta functions of simple algebras . Lecture Notes in Math., Vol. 260 Springer-Verlag, Berlin-New York, 1972. ix+188 pp
1972
-
[19]
Henniart, Correspondance de Langlands et fonctions L des carrés ext\'erieur et sym\'etrique , Int
G. Henniart, Correspondance de Langlands et fonctions L des carrés ext\'erieur et sym\'etrique , Int. Math. Res. Not. IMRN (2010), no. 4, 633--673
2010
-
[20]
Ishii and T
T. Ishii and T. Miyazaki, Calculus of archimedean Rankin-Selberg integrals with recurrence relations, Represent. Theory 26 (2022), 714--763
2022
-
[21]
H. Jacquet, Archimedean Rankin-Selberg integrals, in: Automorphic Forms and L -functions II: Local Aspects, Proceedings of a workshop in honor of Steve Gelbart on the occasion of his 60th birthday, Contemporary Mathematics, volumes 489, 57--172, AMS and BIU 2009
2009
-
[22]
Jacquet, I
H. Jacquet, I. Piatetski-Shapiro, and J. Shalika, Rankin-Selberg convolutions, Amer. J. Math. 105 (1983), no. 2, 367--464
1983
-
[23]
Jacquet and J
H. Jacquet and J. Shalika, On Euler products and the classification of automorphic representations. I. Amer. J. Math.103 (1981), no. 3, 499--558
1981
-
[24]
Jacquet and J
H. Jacquet and J. Shalika, Exterior square L -functions , Automorphic forms, Shimura varieties, and L -functions, Vol. II (Ann Arbor, MI, 1988), 143--226. Perspect. Math., 11 Academic Press, Inc., Boston, MA, 1990
1988
-
[25]
Jiang, B
D. Jiang, B. Sun and F. Tian, Period Relations for Standard L -functions of Symplectic Type, arXiv:1909.03476 https://arxiv.org/abs/1909.03476
1909 arXiv
-
[26]
Jiang, D
D. Jiang, D. Liu, B. Sun and F. Tian, On the twisted Shalika models for principal series representations of (2n) , preprint available at https://sites.google.com/view/dwliu/
-
[27]
Jo, Derivatives and exceptional poles of the local exterior square L -function for _m , Math
Y. Jo, Derivatives and exceptional poles of the local exterior square L -function for _m , Math. Z. 294 (2020), no. 3--4, 1687--1725
2020
-
[28]
P. K. Kewat and R. Raghunathan, On the local and global exterior square L -functions of _n , Math. Res. Lett. 19 (2012), no. 4, 785--804
2012
-
[29]
Kudla, Tate's thesis , in: An introduction to the Langlands program (Jerusalem, 2001), 109--131, Birkh\"auser Boston, Boston, MA, 2003
S. Kudla, Tate's thesis , in: An introduction to the Langlands program (Jerusalem, 2001), 109--131, Birkh\"auser Boston, Boston, MA, 2003
2001
-
[30]
J.-S. Li, D. Liu, F. Su and B. Sun, Rankin-Selberg convolutions for (n) (n) and (n) (n-1) for principal series representations, Science China. Math. 66 (2023), no. 10, 2203--2218
2023
-
[31]
J.-S. Li, D. Liu and B. Sun, Period relations for Rankin-Selberg convolutions for (n) (n-1) , Compositio Math. 160 (2024), 1871--1915
2024
-
[32]
Lin and F
B. Lin and F. Tian, Archimedean Non-vanishing, Cohomological Test Vectors, and Standard L -functions of _ 2n : Complex Case , Adv. Math. 369 (2020), 107189, 51 pp
2020
-
[33]
Liu and B
D. Liu and B. Sun, Relative completed cohomologies and modular symbols , arXiv:1709.05762 https://arxiv.org/abs/1709.05762
-
[34]
D. Liu, F. Su and B. Sun, Rankin-Selberg integrals for principal series representations of (n) , Forum Math. 33 (2021) no. 6, 1549--1559
2021
-
[35]
Matringe, Linear and Shalika local periods for the mirabolic group, and some consequences , J
N. Matringe, Linear and Shalika local periods for the mirabolic group, and some consequences , J. Number Theory 138 (2014), 1--19
2014
-
[36]
Mœglin, M.-F
C. Mœglin, M.-F. Vign\'eras, J.-L. Waldspurger, Correspondances de Howe sur un corps p-adique. Lecture Notes in Math., 1291 Springer-Verlag, Berlin, 1987. viii+163 pp
1987
-
[37]
Shahidi, Local coefficients as Artin factors for real groups , Duke Math
F. Shahidi, Local coefficients as Artin factors for real groups , Duke Math. J. 52 (1985), no. 4, 973--1007
1985
-
[38]
Shahidi, A proof of Langlands' conjecture on Plancherel measures; complementary series for p -adic groups , Ann
F. Shahidi, A proof of Langlands' conjecture on Plancherel measures; complementary series for p -adic groups , Ann. of Math. (2) 132 (1990), no. 2, 273--330
1990
-
[39]
She, Local Langlands correspondence for the twisted exterior and symmetric square -factors of _n , Manuscripta Math
D. She, Local Langlands correspondence for the twisted exterior and symmetric square -factors of _n , Manuscripta Math. 173 (2024), no. 1-2, 155--201
2024
-
[40]
Sun, Multiplicity one theorems for Fourier-Jacobi models , Amer
B. Sun, Multiplicity one theorems for Fourier-Jacobi models , Amer. J. Math. 134 (2012), no. 6, 1655--1678
2012
-
[41]
Sun and C.-B
B. Sun and C.-B. Zhu, Multiplicity one theorems: the Archimedean case , Ann. of Math. (2) 175 (2012), no. 1, 23--44
2012
-
[42]
Tate, Fourier analysis in number fields and Hecke's zeta-functions , Thesis (Ph.D.)–Princeton University
J. Tate, Fourier analysis in number fields and Hecke's zeta-functions , Thesis (Ph.D.)–Princeton University. 1950; reprinted in Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965), 305–347, Thompson, Washington, D.C., 1967
1950
-
[43]
Tate, Number theoretic background , in: Automorphic forms, representations and L -functions (Proc
J. Tate, Number theoretic background , in: Automorphic forms, representations and L -functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, pp 3--26, Proc. Sympos. Pure Math , XXXIII, Amer. Math. Soc., Providence, R.I., 1979
1977
-
[44]
Tr\`eves, Topological vector spaces, distributions and kernels , Academic Press, New York-London, 1967
F. Tr\`eves, Topological vector spaces, distributions and kernels , Academic Press, New York-London, 1967. xvi+624 pp
1967
-
[45]
Wallach, Real Reductive Groups I, Pure and Applied Mathematics, 132
N. Wallach, Real Reductive Groups I, Pure and Applied Mathematics, 132. Academic Press, Inc., Boston, MA, 1988. xx+412 pp
1988
-
[46]
Wallach, Real Reductive Groups II, Pure and Applied Mathematics, 132-II
N. Wallach, Real Reductive Groups II, Pure and Applied Mathematics, 132-II. Academic Press, Inc., Boston, MA, 1992. xiv+454 pp
1992
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.