REVIEW 5 major objections 6 minor 32 references
Spectral Reciprocity for the first moment of triple product $L$-functions and applications
T0 review · 5 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read This paper proves a subconvexity bound for triple product L-functions in the level aspect over any number field, with an unconditional saving of 225/2624 in the exponent.
desk verdict A competent Zacharias-style reciprocity argument for the triple product first moment over number fields, yielding a modest subconvexity saving; the result is plausible but the proof leans heavily on cited inputs and lacks a positioning against stronger recent bounds. 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 machinery is the symmetric period $P_{\mathfrak{q}}(\mathfrak{l},\Phi,\Phi)=\langle T_{\mathfrak{l}}(\Phi),\Phi\rangle$ with $\Phi=\varphi_1\varphi_2^{\mathfrak{q}}$, expanded in two ways: first by Plancherel over forms of level $\mathfrak{u}\mathfrak{v}\mathfrak{q}$, where the Hecke operator produces the eigenvalue $\lambda_\pi(\mathfrak{l})$ inside the moment; second by using the Hecke relation to expand $T_{\mathfrak{l}}$ and then reversing the roles of $\mathfrak{q}$ and $\mathfrak{l}$ to obtain a spectral expansion over level-$\mathfrak{l}$ representations. The resulting identity, equation (5.15)/(5.18), bounds $q^{1/2}\,\zeta_{\mathfrak{q}}(1)/\zeta_{\mathfrak{q}}(2)\,|G_{\mathfrak{q}}(\mathfrak{l},\Phi,\Phi)|$ by $(\ell q)^\varepsilon\,(q^{1/2}/\ell^{1/2-\theta_1-\theta_2}+\ell^{1/2}q^{\theta})$. The link between these periods and triple product L-functions is Proposition 3.1, the Ichino formula and its Eisenstein analogue, and the positivity of the local period factors $\ell_v$ supplies the nonnegativity needed for amplification.
What would settle it
For a finite place $v\mid\mathfrak{q}$, compute the normalized local triple product period factor $\ell_v$ from (3.3) over an orthonormal basis of $K_{0}(\mathfrak{p}_v^{m})$-invariant vectors for a representation of conductor $\mathfrak{p}_v^{m}$, for instance a Steinberg or principal-series representation; a zero or negative value would falsify the lower bound $H(\pi,\mathfrak{q})\gg 1/q$ on which the proof relies. A coarser check is to test Theorem 1.1 numerically for small $\mathfrak{q}$ and $\mathfrak{l}$: any violation of the stated moment bound would invalidate the amplification argument that produces Theorem 1.2.
Extended reading notes
Core claim
The central claim is Theorem 1.2: for fixed $\theta_i$-tempered cuspidal representations $\pi_1,\pi_2$ and a cuspidal $\pi_3$ of conductor $\mathfrak{q}$, with $(\mathfrak{q},\mathfrak{u}\mathfrak{v})=1$ and an archimedean principal-series condition, one has $L(\tfrac12,\pi_1\otimes\pi_2\otimes\pi_3) \ll q^{1 - (\tfrac12-\theta)(1-2\theta_1-2\theta_2)/(3-2\theta_1-2\theta_2)+\varepsilon}$. The same bound is proved in Theorem 1.3 when $\pi_3$ is replaced by a unitary Hecke character of conductor $\mathfrak{q}$. The engine is a reciprocity formula for the twisted first moment: the moment over representations of conductor dividing $\mathfrak{u}\mathfrak{v}\mathfrak{q}$, weighted by $\lambda_\pi(\mathfrak{l})$, is bounded by a spectral expansion over representations of conductor dividing $\mathfrak{l}$, up to acceptable errors. This swaps the spectral length of the family and makes the moment accessible to the amplifier, which then isolates the single value at $\pi_3$ and converts the moment bound into a subconvex bound. The paper describes the resulting exponent as the limit of the amplification method in this setting.
Load-bearing premise
The proof depends on quoted results that the local triple product period factors are nonnegative and that, for a target representation of conductor $\mathfrak{q}$, their product over $v\mid\mathfrak{q}$ is about $1/q$; the archimedean lower bound $f(\pi_\infty) \ge c(\pi_\infty)^{-1-\varepsilon}$ is a second quoted input. If any of these local factors could vanish or change sign, or if the archimedean bound failed, the amplification step would lose its lower bound.
Editorial extensions
If this is right
- An individual triple product value $L(\tfrac12,\pi_1\otimes\pi_2\otimes\pi_3)$ in the level aspect is subconvex over any number field, with exponent saving $225/2624$ unconditionally and $1/6$ under the Ramanujan-Petersson conjecture.
- The same saving holds for $\mathrm{GL}(1)$ twists $L(\tfrac12,\pi_1\otimes\pi_2\otimes\chi)$, improving known depth-aspect bounds for twists of $\mathrm{GL}(2)\times\mathrm{GL}(2)$ Rankin-Selberg L-functions.
- The reciprocity formula is a reusable identity: the first moment twisted by $\lambda_\pi(\mathfrak{l})$ with conductor bound $\mathfrak{u}\mathfrak{v}\mathfrak{q}$ is controlled by spectral data at level $\mathfrak{l}$, so the spectral length can be traded between the two ideals.
- The fixed-two-vary-one normalization gives a stronger saving than hybrid bounds that vary all three representations, and the paper identifies the final exponent as the limit of the amplification method.
Reading between the lines
- One step beyond the paper, the same spectral reciprocity identity could be iterated or fed into higher moments, potentially yielding non-vanishing results or sharper averaged bounds for triple product L-functions in the level aspect.
- The saving formula shows the method's boundary: as $\theta_1+\theta_2$ approaches $1/2$ the exponent saving tends to zero, so any improvement in the Ramanujan bound for $\mathrm{GL}(2)$ over number fields would directly strengthen Theorem 1.2.
- The archimedean principal-series hypothesis appears to be a removable barrier in the Eisenstein case (Theorem 1.3) because the Eisenstein component is itself principal series; a testable extension is to relax this hypothesis in the cuspidal case along the lines of Remark 5.2.
- A numerical experiment on a fixed number field with small conductors could check whether the reciprocity identity (5.18) holds as an approximate equality rather than only as the bound used here, which would indicate whether the method is lossless.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a spectral reciprocity formula for the twisted first moment of triple product L-functions over a number field, and derives level-aspect subconvexity bounds for L(1/2, π1⊗π2⊗π3) and for L(1/2, π1⊗π2⊗χ). The central objects are a symmetric period P_q(l,Φ,Φ) built from fixed cuspidal representations π1, π2 and a varying representation π3 of conductor q, expanded according to the spectral decomposition of level uvq. The reciprocity relation (5.8) re-expresses this period in terms of lower-level periods, leading through Ichino's formula to the moment bound in Theorem 1.1. Amplification then gives the subconvex bounds in Theorems 1.2 and 1.3. The proof relies on several external inputs: the local period lower bounds from [Hu17] and [BJN24], the archimedean lower bound of [MV10], and the technical treatment of Eisenstein contributions following [Zac20] and [Blo12].
Significance. If the gaps identified below are repaired, the paper would provide a new level-aspect subconvex exponent for triple product L-functions over number fields: an unconditional saving exponent 225/2624 and a saving 1/6 under the Ramanujan–Petersson conjecture. The reciprocity formula itself is a useful extension of Zacharias's framework and could be of independent interest. The manuscript is explicit about its exponents, has no fitted parameters, and credits the main inputs clearly. However, the central moment bound and the key local lower bound are not proved in the text but quoted or deferred, so the significance cannot be assessed without additional verification.
major comments (5)
- [End of §5 / Theorem 1.1] Theorem 1.1 is the central moment estimate on which the two subconvexity theorems rest, yet its proof is not contained in the manuscript. After inequality (5.18) the text states that the estimation of Theorem 1.1 can be achieved from the discussion in Sections 4 and 5 (see also [Zac20, Section 4.5]), but the passage from (5.18) to (1.4) is not carried out: one must show that the generic part G_q(l,Φ,Φ) in (5.4) equals the moment M(π1,π2,q,l) up to the explicit constants using identity (5.20) and the definition H(π,q)=ℓ(π,q)/(2Δ_F^{1/2}), and the Eisenstein contribution in (1.2) must be bounded by the same method. This is a load-bearing step, and a reference to another paper cannot replace the proof.
- [§5.3 and §6.1] The lower bound H(π,q) ≫ 1/q for a representation of conductor q is quoted from [Hu17, Theorem 4.1] (for v|q) and [BJN24] (for v|uv), but the manuscript does not verify that the hypotheses of those theorems match the local data used here. In the period P_q(l,Φ,Φ), the vector in the π2-factor at v|q is the translate φ_2^q = a(ϖ_v^m)φ_2, not the unramified newvector, and the basis B(π,uvq) runs over all K0(uvq)-invariant vectors, including old vectors when c(π_v)<m. The amplified lower bound in §6.1 uses exactly the factor C q^{-1} A(π3) L(1/2,π1⊗π2⊗π3)/Λ(1,π3,Ad) f(π3,∞) ≤ M_A; if the product of local factors were q^{-1-δ} instead of q^{-1}, the resulting exponent would be 1 - δ0 + δ, which is no longer subconvex. A precise local statement and a verification of its hypotheses are required.
- [§5.2, Eq. (5.8)] The symmetric relation (5.8) is the key mechanism behind the reciprocity formula, but it is asserted without derivation. The text says only that the relation is obtained by grouping the Hecke translation in two different ways. Since this identity is not proved and is presented as a generalization of [Zac20, Equation 4.9], the author should provide a full derivation or a precise reference together with a verification that the additional q-translation and the q1^{-1} correction term are consistent with the definitions of Ψ1 and Ψ2 in (5.9).
- [§6, proof of Theorem 1.3] The proof of Theorem 1.3 is only sketched. The text acknowledges that the quadratic-character case t=0 creates a zero of order two in the quotient L(1/2+it,π1⊗π2⊗ω)L(1/2−it,π1⊗π2⊗ω)/Λ*(1,πω(it),Ad) and states that 'one can overcome this obstacle by an application of Holder's inequality, as in [Blo12, Section 4]'. This is not a proof of Theorem 1.3; the relevant argument from [Blo12] must be reproduced or stated as a lemma with its hypotheses verified. The same applies to the treatment of the continuous contribution in Theorem 1.1.
- [Theorem 1.2, uniformity in the archimedean type] The implied constant in (1.5) depends on π∞, which includes the archimedean component of π3. Since q ranges over integral ideals while π3 varies among representations of conductor q, the archimedean type is not fixed; without an upper bound on c(π∞) in terms of q, the final use of Proposition 5.1 and (2.11) yields a bound only for each fixed archimedean type. The statement should explicitly quantify over π∞ or prove a polynomial dependence in c(π∞).
minor comments (6)
- [Throughout] There are several typos and minor errors: 'APPLICA TIONS' in the title, 'Propostition' in Proposition 5.1, 'intergers' in Section 2, 'Cauchy-Schwartz' for Cauchy-Schwarz, and 'Holder' should be 'Hölder'. Also, 'θi-tempered' should be 'θ_i-tempered'.
- [§4.1, Proposition 4.2] In the proof of Proposition 4.2, the equality ||φ2^l||_{L4}=||φ2||_{L4} follows from right-translation invariance of the quotient measure; this should be stated explicitly, since as written the proof appears to drop the l without justification.
- [§5.3] The sentence 'If 0 ≤ c(π_v) ≤ m−1, by definition, it is known that ℓ_v ≥ 0' is confusing: nonnegativity follows from ℓ_v being a sum of squared moduli, but the lower bound H(π,q)≫1/q additionally requires nonvanishing, which is not addressed for old vectors.
- [Abstract and §1] The notation u and v is used both for integral ideals and for their norms. Since this is a common source of confusion, the ideals should be typeset in a distinct font (e.g., fraktur) throughout.
- [Remark 1.4] The chain of inequalities '1/6 > 1/7.5 > ...' is difficult to parse. It would be clearer to state that 225/2624 ≈ 0.0857, 625/5696 ≈ 0.1097, and 25/192 ≈ 0.130, so the claimed savings are ordered accordingly.
- [§6.1, choice of L] After the choice L = q^{(1/2−θ)/(3−2θ1−2θ2)}, the text claims that q^{1/7} < L ⩽ q^{1/6}. This is not correct for all admissible parameters (e.g., θ=7/64 and θ1=θ2=0 gives L = q^{25/192} < q^{1/7}). The argument only needs L ≍ q^α with 0 < α < 1 and the stated bounds q^{1/100} < L < q.
Circularity Check
No significant circularity: the reciprocity formula and moment bound are derived from spectral theory and period integrals, the key local lower bounds are external citations, and the sole self-citation is contextual only.
full rationale
The paper's central derivation is not circular. The spectral reciprocity relation in Section 5.2 is obtained by applying the Plancherel formula, Hecke relations, and a spectral decomposition to the period Pq(l, Phi, Phi), following Zacharias; it is not assumed as an input. The first moment bound in Theorem 1.1 is then derived from period estimates and the reciprocity relation, and the amplification argument in Section 6.1 is a standard isolation of the target L-value. The load-bearing lower bound H(pi, q) >> 1/q in Section 5.3 is quoted from external work: [Hu17, Theorem 4.1] for ramified non-archimedean factors and [BJN24, Corollary 3.4] for unramified factors, together with [Wood12]. Although [Hu17] is itself a subconvexity paper, the cited Theorem 4.1 is a local period estimate used as a lemma; it does not by itself yield the global moment estimate or the amplified subconvex bound, so no prediction reduces to its input by construction. The archimedean lower bound in Proposition 5.1 is likewise quoted from [MV10, Proposition 3.6.1] and is external. The only self-citation, [Miao24], appears in the introduction solely to compare the previous hybrid subconvexity result with the sharper level-aspect bound obtained here; it is not used in any estimate or proof. The skeptical concern that [Hu17, Theorem 4.1] may not apply verbatim to the shifted test vector and the full K0(uvq)-basis is a correctness and hypothesis-verification issue, not a circularity issue. No fitted parameter is renamed as a prediction, and no uniqueness or ansatz is imported from the author's own prior work in a way that forces the conclusion. Therefore the paper is essentially self-contained against external benchmarks, with only a harmless contextual self-citation.
Assumptions & free parameters
assumptions (7)
- standard math Spectral decomposition of L^2(X) into cuspidal, residual, and continuous spectra (Section 2, Eq. 2.8).
- standard math Ichino's triple product formula and its Eisenstein variants (Proposition 3.1).
- domain assumption Local triple product period factors are nonnegative and satisfy Q_{v|q} l_v ≍ 1/q when c(pi_v)=m >= 1 (Section 5.3).
- domain assumption Archimedean test-vector lower bound f(pi_infinity) >= C(pi_{1,infinity}, pi_{2,infinity}, epsilon) c(pi_infinity)^{-1-epsilon} (Proposition 5.1).
- standard math The best recorded exponent toward Ramanujan-Petersson over number fields is max(theta, theta_i) = 7/64 (Section 1).
- standard math Adjoint L-function asymptotic Lambda^*(1, pi, Ad) = C(pi)^{o(1)} (Section 2, Eq. 2.11).
- standard math Landau Prime Ideal Theorem supplies the lower bound A(pi3) >> L^2/(log L)^2 (Section 6.1).
Cite this review
Pith. "Pith review of Spectral Reciprocity for the first moment of triple product $L$-functions and applications." pith.science (2026). https://pith.science/paper/F4V2DXUT
@misc{pith2026250110418,
author = {Pith},
title = {Pith review of: Spectral Reciprocity for the first moment of triple product $L$-functions and applications},
year = {2026},
howpublished = {\url{https://pith.science/paper/F4V2DXUT}},
note = {Machine review of arXiv:2501.10418}
}
abstract
Let $F$ be a number field with adele ring $\mathbb{A}_F$, $\pi_1, \pi_2$ be two fixed unitary automorphic representations of $\mathrm{PGL}_2(\mathbb{A}_F)$ with finite coprime analytic conductor $\mathfrak{u}$ and $\mathfrak{v}$, $\mathfrak{q},\mathfrak{l}$ be two coprime integral ideals with $(\mathfrak{q} \mathfrak{l}, \mathfrak{u} \mathfrak{v})=1$. Following [Zac20], we estimate the first moment of $L(\frac{1}{2}, \pi \otimes \pi_1 \otimes \pi_2)$ twisted by the Hecke eigenvalues $\lambda_{\pi}(\mathfrak{l})$, where $\pi$ runs over unitary automorphic representations of finite conductor dividing $\mathfrak{u}\mathfrak{v}\mathfrak{q}$. By applying the triple product integrals, spectral decomposition and Plancherel formula, we get a reciprocity formula links the twisted first moment of triple product $L$-functions to the spectral expansion of certain triple product periods over automorphic representations of finite conductor dividing $\mathfrak{l}$. As application, we study the subconvexity problem for the triple product $L$-function in the level aspect and give a subconvex bound for $L(\frac{1}{2}, \pi \otimes \pi_1 \otimes \pi_2)$ in terms of the norm of $\mathfrak{q}$.
Reference graph
Works this paper leans on
-
[1]
Level reciprocity in the twisted second moment of R ankin- S elberg L -functions
Nickolas Andersen and Eren Mehmet Kiral. Level reciprocity in the twisted second moment of R ankin- S elberg L -functions. Mathematika , 64(3):770--784, 2018
2018
-
[2]
Subconvexity for twisted L -functions on (3)
Valentin Blomer. Subconvexity for twisted L -functions on (3) . American Journal of Math. , 134(5):1385-1421, 2012
2012
-
[3]
On the R amanujan conjecture over number fields
Valentin Blomer and Farrell Brumley. On the R amanujan conjecture over number fields. Ann. of Math. (2) , 174(1):581--605, 2011
2011
-
[4]
Valentin Blomer, Subhajit Jana and Paul D. Nelson. The Weyl bound for triple product L -functions. Duke Math. J. , 172:1173-1234, 2023. arXiv: 2101.12106v2
work page Pith review arXiv 2023
-
[5]
Valentin Blomer, Subhajit Jana and Paul D. Nelson. Local integral transforms and global spectral decomposition. arXiv preprint arXiv: 2404.10692 , 2024
arXiv 2024
-
[6]
Twisted moments of L -functions and spectral reciprocity
Valentin Blomer and Rizwanur Khan. Twisted moments of L -functions and spectral reciprocity. Duke Math. J. , 168(6):1109--1177, 2019
2019
-
[7]
Valentin Blomer, Xiaoqing Li, and Stephen D. Miller. A spectral reciprocity formula and non-vanishing for L -functions on GL (4) GL (2) . J. Number Theory , 205:1--43, 2019
2019
-
[8]
Automorphic forms and representations , volume 55 of Cambridge Studies in Advanced Mathematics
Daniel Bump. Automorphic forms and representations , volume 55 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1997
1997
Show all 32 references
-
[9]
Stephen S. Gelbart. Automorphic forms on ad\`ele groups . Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1975. Annals of Mathematics Studies, No. 83
1975
-
[10]
Forms of GL (2) \ from the analytic point of view
Stephen Gelbart and Herv\'e Jacquet. Forms of GL (2) \ from the analytic point of view. In Automorphic forms, representations and L -functions ( P roc. S ympos. P ure M ath., O regon S tate U niv., C orvallis, O re., 1977), P art 1 , Proc. Sympos. Pure Math., XXXIII, pages 213...
1977
-
[11]
Subconvexity for (1) twists of Rankin-Selberg L -functions
Aritra Ghosh. Subconvexity for (1) twists of Rankin-Selberg L -functions. arXiv: 2303.09646 , preprint, 2023
2023 arXiv
-
[12]
The subconvexity problem for R ankin- S elberg L -functions and equidistribution of H eegner points
Gergely Harcos and Philippe Michel. The subconvexity problem for R ankin- S elberg L -functions and equidistribution of H eegner points. II . Invent. Math. , 163(3):581--655, 2006
2006
-
[13]
Coefficients of M aass forms and the S iegel zero
Jeffrey Hoffstein and Paul Lockhart. Coefficients of M aass forms and the S iegel zero. Ann. of Math. (2) , 140(1):161--181, 1994. With an appendix by Dorian Goldfeld, Hoffstein and Daniel Lieman
1994
-
[14]
Triple product formula and the subconvexity bound of triple product L -function in level aspect
Yueke Hu. Triple product formula and the subconvexity bound of triple product L -function in level aspect. Amer. J. Math. , 139(1):215--259, 2017
2017
-
[15]
The subconvexity problem for Rankin-Selberg and triple product L -functions
Yueke Hu, Philippe Michel, and Paul Nelson. The subconvexity problem for Rankin-Selberg and triple product L -functions. arXiv: 2207.14449v2
-
[16]
Trilinear forms and the central values of triple product L -functions
Atsushi Ichino. Trilinear forms and the central values of triple product L -functions. Duke Math. J. , 145(2):281--307, 2008
2008
-
[17]
Herve Jacquet and Joseph A. Shalika. On E uler products and the classification of automorphic representations. I . Amer. J. Math. , 103(3):499--558, 1981
1981
-
[18]
Simultaneous non-vanishing of (3) (2) and (2) L -functions
Rizwanur Khan. Simultaneous non-vanishing of (3) (2) and (2) L -functions. Math. Proc. Cambridge Philos. Soc. , 152(3):535--553, 2012
2012
-
[19]
Rankin- S elberg L -functions in the level aspect
Emmanuel Kowalski, Philippe Michel, and Jeffrey VanderKam. Rankin- S elberg L -functions in the level aspect. Duke Math. J. , 114(1):123--191, 2002
2002
-
[20]
Spectral reciprocity and hybrid subconvexity bound for triple product L -functions
Xinchen Miao. Spectral reciprocity and hybrid subconvexity bound for triple product L -functions. preprint, 2024
2024
-
[21]
The subconvexity problem for R ankin- S elberg L -functions and equidistribution of H eegner points
Philippe Michel. The subconvexity problem for R ankin- S elberg L -functions and equidistribution of H eegner points. Ann. of Math. (2) , 160(1):185--236, 2004
2004
-
[22]
Recent progresses on the subconvexity problem
Philippe Michel. Recent progresses on the subconvexity problem. Seminar Bourbaki , no.1190, (74), 2021-2022
2021
-
[23]
The subconvexity problem for GL _2
Philippe Michel and Akshay Venkatesh. The subconvexity problem for GL _2 . Publ. Math. Inst. Hautes \' E tudes Sci. , (111):171--271, 2010
2010
-
[24]
Hybrid subconvexity bounds for twists of _2 _2 L -functions
Chenchen Shao and Huimin Zhang. Hybrid subconvexity bounds for twists of _2 _2 L -functions. preprint , 2024
2024
-
[25]
Bounds for _2 _2 L -functions in the depth aspect
Qingfeng Sun. Bounds for _2 _2 L -functions in the depth aspect. Manuscripta Math. , 174: 429-451, 2024
2024
-
[26]
Sparse equidistribution problems, period bounds and subconvexity
Akshay Venkatesh. Sparse equidistribution problems, period bounds and subconvexity. Ann. of Math. (2) , 172(2):989--1094, 2010
2010
-
[27]
Woodbury
Michael C. Woodbury. Explicit trilinear forms and subconvexity of the triple product L -function . ProQuest LLC, Ann Arbor, MI, 2011. Thesis (Ph.D.)--The University of Wisconsin - Madison
2011
-
[28]
Woodbury
Michael C. Woodbury. Trilinear forms and subconvexity of the triple product L -functions. submitted, 2012
2012
-
[29]
Woodbury
Michael C. Woodbury. On the triple product formula: real local calculations. preprint 2017
2017
-
[30]
Burgess-like subconvex bounds for GL _2 GL _1
Han Wu. Burgess-like subconvex bounds for GL _2 GL _1 . Geom. Funct. Anal. , 24(3):968--1036, 2014
2014
-
[31]
Periods and reciprocity I
Raphaël Zacharias. Periods and reciprocity I . International Mathematics Research Notices , rnz100
-
[32]
Periods and reciprocity II
Raphaël Zacharias. Periods and reciprocity II . arXiv: 1912.01512v2
1912 arXiv
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.