Strong Hybrid Subconvexity for Twisted Selfdual GL₃ L-Functions
Pith reviewed 2026-05-23 22:35 UTC · model grok-4.3
The pith
Strong hybrid subconvex bounds hold simultaneously in q and t for L-functions of selfdual GL3 cusp forms twisted by primitive Dirichlet characters.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove strong hybrid subconvex bounds simultaneously in the q and t aspects for L-functions of selfdual GL3 cusp forms twisted by primitive Dirichlet characters. We additionally prove analogous hybrid subconvex bounds for central values of certain GL3 × GL2 Rankin-Selberg L-functions. The subconvex bounds that we obtain are strong in the sense that, modulo current knowledge on estimates for the second moment of GL3 L-functions, they are the natural limit of the first moment method pioneered by Li and by Blomer. The method of proof relies on an explicit GL3 × GL2 ↔ GL4 × GL1 spectral reciprocity formula, which relates a GL2 moment of GL3 × GL2 Rankin-Selberg L-functions to a GL1 moment of a
What carries the argument
An explicit GL3 × GL2 ↔ GL4 × GL1 spectral reciprocity formula that relates a GL2 moment of GL3 × GL2 Rankin-Selberg L-functions to a GL1 moment of GL4 × GL1 Rankin-Selberg L-functions.
If this is right
- The twisted selfdual GL3 L-functions satisfy strong hybrid subconvexity simultaneously in the q and t aspects.
- Central values of certain GL3 × GL2 Rankin-Selberg L-functions satisfy analogous hybrid subconvex bounds.
- These results achieve the natural limit of the first moment method given current estimates for the second moment of GL3 L-functions.
- The spectral reciprocity formula supplies a relation between moments at different ranks that can be applied to other hybrid subconvexity problems.
Where Pith is reading between the lines
- The coset second-moment bound for Dirichlet L-functions may have independent applications to estimating character sums or other short-interval problems.
- If the reciprocity formula can be generalized, it could connect moments involving still higher-rank L-functions.
- Sharper control on these central values may improve bounds on the distribution of low-lying zeros in the corresponding families.
Load-bearing premise
A Lindelöf-on-average upper bound holds for the second moment of Dirichlet L-functions restricted to a coset.
What would settle it
An explicit computation or asymptotic showing that the second moment of Dirichlet L-functions on some coset exceeds the Lindelöf average bound would falsify the key input and therefore the subconvexity result.
read the original abstract
We prove strong hybrid subconvex bounds simultaneously in the $q$ and $t$ aspects for $L$-functions of selfdual $\mathrm{GL}_3$ cusp forms twisted by primitive Dirichlet characters. We additionally prove analogous hybrid subconvex bounds for central values of certain $\mathrm{GL}_3 \times \mathrm{GL}_2$ Rankin-Selberg $L$-functions. The subconvex bounds that we obtain are strong in the sense that, modulo current knowledge on estimates for the second moment of $\mathrm{GL}_3$ $L$-functions, they are the natural limit of the first moment method pioneered by Li and by Blomer. The method of proof relies on an explicit $\mathrm{GL}_3 \times \mathrm{GL}_2 \leftrightsquigarrow \mathrm{GL}_4 \times \mathrm{GL}_1$ spectral reciprocity formula, which relates a $\mathrm{GL}_2$ moment of $\mathrm{GL}_3 \times \mathrm{GL}_2$ Rankin-Selberg $L$-functions to a $\mathrm{GL}_1$ moment of $\mathrm{GL}_4 \times \mathrm{GL}_1$ Rankin-Selberg $L$-functions. A key additional input is a Lindel\"of-on-average upper bound for the second moment of Dirichlet $L$-functions restricted to a coset, which is of independent interest.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves strong hybrid subconvex bounds simultaneously in the q and t aspects for L-functions of selfdual GL_3 cusp forms twisted by primitive Dirichlet characters, as well as analogous bounds for certain GL_3 × GL_2 Rankin-Selberg L-functions. The proof relies on an explicit GL_3 × GL_2 ↔ GL_4 × GL_1 spectral reciprocity formula and a Lindelöf-on-average upper bound for the second moment of Dirichlet L-functions restricted to a coset, which is presented as a key additional input of independent interest. The resulting bounds are described as the natural limit of the first-moment method given current knowledge on GL_3 second moments.
Significance. If the reciprocity formula and the stated moment bound hold, the work achieves the strongest hybrid subconvexity currently attainable by the first-moment method for these families. The explicit spectral reciprocity relating GL_3×GL_2 and GL_4×GL_1 moments, together with the coset-restricted second-moment estimate for Dirichlet L-functions, constitute contributions of independent interest that extend the analytic toolkit for higher-rank L-functions.
minor comments (3)
- [Abstract and §1] The abstract states that the Dirichlet second-moment bound is a 'key additional input'; the introduction should clarify whether this bound is proved in the manuscript or taken from external sources, and if proved, which theorem number records it.
- [§1] Notation for the hybrid aspect (q,t) is introduced without an explicit display of the target bound (e.g., the precise exponent saving) until later; an early displayed statement of the main theorem would improve readability.
- [§2] The reciprocity formula is described as 'explicit'; a brief comparison table or remark contrasting it with prior reciprocity identities (e.g., those of Li or Blomer) would help situate the novelty.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, including the recognition of the spectral reciprocity formula and the coset-restricted moment bound as contributions of independent interest. The recommendation is for minor revision, but the report lists no major comments. Accordingly, we provide no point-by-point responses below and will incorporate any minor editorial suggestions in the revised version.
Circularity Check
No significant circularity
full rationale
The derivation relies on a newly derived explicit GL₃×GL₂ ↔ GL₄×GL₁ spectral reciprocity formula together with a Lindelöf-on-average upper bound for the second moment of Dirichlet L-functions on a coset, both presented as independent inputs or contributions rather than outputs of the target subconvexity bound. No equation or step reduces the claimed hybrid subconvexity to a fitted parameter, self-definition, or self-citation chain; the moment bound is explicitly separated as additional input of independent interest, and the reciprocity is constructed directly from the spectral theory without importing the final bound. The argument structure is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Lindelof-on-average upper bound for the second moment of Dirichlet L-functions restricted to a coset
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
explicit GL3 × GL2 ↭ GL4 × GL1 spectral reciprocity formula... Lindelöf-on-average upper bound for the second moment of Dirichlet L-functions restricted to a coset
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.1... L(1/2 + it, F ⊗ χ) ≪ ... (q(|t|+1))^{3/5+ε}
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Keshav Aggarwal, ``A New Subconvex Bound for (3) L -Functions in the t -Aspect'' https://doi.org/10.1142/S1793042121500275, International Journal of Number Theory 17:5 (2021), 1111--1138
-
[2]
Nickolas Andersen and Han Wu, ``Hybrid Subconvexity and the Partition Function'' https://doi.org/10.1016/j.jnt.2022.07.012, Journal of Number Theory 242 (2023), 154--180
-
[3]
Olga Balkanova, John Brian Conrey, and Dmitry Frolenkov, ``An Approximation Formula for the Shifted Cubic Moment of Automorphic L -Functions in the Weight Aspect'' https://doi.org/10.4153/S0008414X23000512, to appear in Canadian Journal of Mathematics (2023), 24 pages
- [4]
- [5]
-
[6]
Valentin Blomer, ``Subconvexity for Twisted L -Functions on (3) '' https://doi.org/10.1353/ajm.2012.0032, American Journal of Mathematics 134:5 (2012), 1385--1421
-
[7]
Valentin Blomer, Peter Humphries, Rizwanur Khan, and Micah B. Milinovich, ``Motohashi's Fourth Moment Identity for Dirichlet L -Functions for Non-Archimedean Test Functions and Applications'' https://doi.org/10.1112/S0010437X20007101, Compositio Mathematica 156:5 (2020), 1004--1038
-
[8]
Valentin Blomer and Rizwanur Khan, ``Twisted Moments of L -Functions and Spectral Reciprocity'' https://doi.org/10.1215/00127094-2018-0060, Duke Mathematical Journal 168:6 (2019), 1109--1177
-
[9]
J. B. Conrey and H. Iwaniec, ``The Cubic Moment of Central Values of Automorphic L -Functions'' https://doi.org/10.2307/121132, Annals of Mathematics 151:3 (2000), 1175--1216
-
[10]
Agniva Dasgupta, Wing Hong Leung, and Matthew P. Young, ``The Second Moment of the GL_3 Standard L -Function on the Critical Line'' https://arxiv.org/abs/2407.06962v1, preprint (2024), 32 pages
-
[11]
Alessandro Fazzari, ``A Voronoi Summation Formula for the Shifted Triple Divisor Function'' https://doi.org/10.1007/s11139-023-00810-5, The Ramanujan Journal 63:4 (2024), 1179--1198
-
[12]
Dmitry Frolenkov, ``The Cubic Moment of Automorphic L -Functions in the Weight Aspect'' https://doi.org/10.1016/j.jnt.2019.07.009, Journal of Number Theory 207 (2020), 247--281
-
[13]
P. X. Gallagher, ``A Large Sieve Density Estimate Near = 1 '' https://doi.org/10.1007/BF01403187, Inventiones Mathematicae 11:4 (1970), 329--339
-
[14]
Thesis, Texas A&M University, 2023
Soumendra Ganguly, Subconvexity for Twisted L -Functions on GL(3) GL(2) and GL(3) https://www.proquest.com/docview/2890171113/, Ph.D. Thesis, Texas A&M University, 2023
-
[15]
Asymptotic second moment of Dirichlet $L$-functions along a thin coset
Bradford Garcia and Matthew P. Young, ``Asymptotic Second Moment of Dirichlet L -Functions Along a Thin Coset'' https://arxiv.org/abs/2312.08482v1, preprint (2023), 18 pages
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[16]
Dorian Goldfeld, Automorphic Forms and L -Functions for the Group (n, ) https://doi.org/10.1017/CBO9780511542923, Cambridge Studies in Advanced Mathematics 99, Cambridge University Press, Cambridge, 2006
-
[17]
I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products, Eighth Edition https://doi.org/10.1016/C2010-0-64839-5, editors Daniel Zwillinger and Victor Moll, Academic Press, Burlington, 2015
-
[18]
Jiandong Guo, ``On the Positivity of the Central Critical Values of Automorphic L -Functions for GL(2) '' https://doi.org/10.1215/S0012-7094-96-08307-6, Duke Mathematical Journal 83:1 (1996), 157--190
-
[19]
D. R. Heath-Brown, ``Hybrid Bounds for Dirichlet L -Functions'' https://doi.org/10.1007/BF01578069, Inventiones Mathematicae 47:2 (1978), 149--170
-
[20]
Bingrong Huang, ``Hybrid Subconvexity Bounds for Twisted L -Functions on (3) '' https://doi.org/10.1007/s11425-017-9428-6, Science China Mathematics 64:3 (2021), 443--478
-
[21]
Bingrong Huang, ``Uniform Bounds for (3) (2) L -Functions'' https://doi.org/10.1017/S1474748023000348, to appear in Journal of the Institute of Mathematics of Jussieu (2023), 44 pages
-
[22]
Bingrong Huang and Zhao Xu, ``Hybrid Subconvexity Bounds for Twists of (3) (2) L -Functions'' https://doi.org/10.2140/ant.2023.17.1715, Algebra & Number Theory 17:10 (2023), 1715--1752
-
[23]
Peter Humphries, ``Density Theorems for Exceptional Eigenvalues for Congruence Subgroups'' https://doi.org/10.2140/ant.2018.12.1581, Algebra & Number Theory 12:7 (2018), 1581--1610
- [24]
-
[25]
Peter Humphries and Maksym Radziwi , ``Optimal Small Scale Equidistribution of Lattice Points on the Sphere, Heegner Points, and Closed Geodesics'' https://doi.org/10.1002/cpa.22076, Communications on Pure and Applied Mathematics 75:9 (2022), 1936--1996
-
[26]
Aleksandar Ivi\' c , ``On Sums of Hecke Series in Short Intervals'' https://doi.org/10.5802/jtnb.333, Journal de Th\' e orie des Nombres de Bordeaux 13:2 (2001), 453--468
-
[27]
Henryk Iwaniec and Emmanuel Kowalski, Analytic Number Theory https://doi.org/10.1090/coll/053, American Mathematical Society Colloquium Publications 53, American Mathematical Society, Providence, 2004
-
[28]
Ikuya Kaneko, ``Motohashi's Formula for the Fourth Moment of Individual Dirichlet L -Functions and Applications'' https://doi.org/10.1017/fms.2022.33, Forum of Mathematics, Sigma 10:e41 (2022), 1--43
-
[29]
Henry H. Kim, ``Functoriality for the Exterior Square of _4 and the Symmetric Fourth of _2 '' https://doi.org/10.1090/S0894-0347-02-00410-1, with appendix 1 by Dinakar Ramakrishnan and appendix 2 by Henry H. Kim and Peter Sarnak, Journal of the American Mathematical Society 16:1 (2003), 139--183
-
[30]
Eren Mehmet K ral, Ian Petrow, and Matthew P. Young, ``Oscillatory Integrals with Uniformity in Parameters'' https://doi.org/10.5802/jtnb.1072, Journal de th\' e orie des nombres de Bordeaux 31:1 (2019), 145--159
- [31]
- [32]
-
[33]
Erez Lapid, ``On the Nonnegativity of Rankin-Selberg L -Functions at the Center of Symmetry'' https://doi.org/10.1155/S1073792803204013, International Mathematics Research Notices 2003:2 (2003), 65--75
-
[34]
Xiannan Li, ``Upper Bounds on L -Functions at the Edge of the Critical Strip'' https://doi.org/10.1093/imrn/rnp148, International Mathematics Research Notices 2010:4 (2010), 727--755
-
[35]
Xiaoqing Li, ``Bounds for (3) (2) L -Functions and (3) L -Functions'' https://doi.org/10.4007/annals.2011.173.1.8, Annals of Mathematics 173:1 (2011), 301--336
-
[36]
Yongxiao Lin, ``Bounds for Twists of (3) L -Functions'' https://doi.org/10.4171/jems/1046, Journal of the European Mathematical Society 23:6 (2021), 1899--1924
-
[37]
Yongxiao Lin, Ramon Nunes, and Zhi Qi, ``Strong Subconvexity for Self-Dual (3) L -Functions'' https://doi.org/10.1093/imrn/rnac153, International Mathematics Research Notices 2023:13 (2023), 11453--11470
-
[38]
Sheng-Chi Liu, Riad Masri, and Matthew P. Young, ``Rankin--Selberg L ‑Functions and the Reduction of CM Elliptic Curves'' https://doi.org/10.1186/s40687-015-0040-y, Research in the Mathematical Sciences 2:22 (2015), 23 pages
-
[39]
Qing Lu, ``Bounds for the Spectral Mean Value of Central Values of L -Functions'' https://doi.org/10.1016/j.jnt.2011.12.008, Journal of Number Theory 132:5 (2012), 1016--1037
-
[40]
Mark McKee, Haiwei Sun, and Yangbo Ye, ``Improved Subconvexity Bounds for (2) (3) and (3) L -Functions by Weighted Stationary Phase'' https://doi.org/10.1090/tran/7159, Transactions of the American Mathematical Society 370:5 (2018), 3745--3769
-
[41]
Stephen D. Miller and Wilfried Schmid, ``Automorphic Distributions, L -Functions, and Voronoi Summation for (3) '' https://doi.org/10.4007/annals.2006.164.423, Annals of Mathematics 164:2 (2006), 423--488
-
[42]
H. L. Montgomery and R. C. Vaughan, ``Hilbert's Inequality'' https://doi.org/10.1112/jlms/s2-8.1.73, Journal of the London Mathematical Society 8 (1974), 73--82
-
[43]
Yoichi Motohashi, Spectral Theory of the Riemann Zeta-Function https://doi.org/10.1017/CBO9780511983399, Cambridge Tracts in Mathematics 127, Cambridge University Press, Cambridge, 1997
-
[44]
Ritabrata Munshi, ``The Circle Method and Bounds for L -Functions---III: t -Aspect Subconvexity for GL(3) L -Functions'' https://doi.org/10.1090/jams/843, Journal of the American Mathematical Society 28:4 (2015), 913--938
-
[45]
Ritabrata Munshi, ``The Circle Method and Bounds for L -Functions - IV: Subconvexity for Twists of (3) L -Functions'' https://doi.org/10.4007/annals.2015.182.2.6, Annals of Mathematics 182:2 (2015), 617--672
-
[46]
Ritabrata Munshi, ``Subconvexity for (3) (2) L -Functions in t -Aspect'' https://doi.org/10.4171/jems/1131, Journal of the European Mathematical Society 24:5 (2022), 1543--1576
-
[47]
Paul D. Nelson, ``Subconvex Equidistribution of Cusp Forms: Reduction to Eisenstein Observables'' https://doi.org/10.1215/00127094-2019-0005, Duke Mathematical Journal 168:9 (2019), 1665--1722
-
[48]
Paul D. Nelson, ``Eisenstein Series and the Cubic Moment for (2) '' https://arxiv.org/abs/1911.06310v3, preprint (2019), 77 pages
-
[49]
Subconvexity for $\rm{GL}(3)$ L-functions
Ramon M. Nunes, ``On the Subconvexity Estimate for Self-Dual (3) L -Functions in the t -Aspect'' https://arxiv.org/abs/1703.04424v1, preprint (2017), 18 pages
work page internal anchor Pith review Pith/arXiv arXiv 2017
- [50]
-
[51]
Thesis, Princeton University, 2001
Zhuangzhuang Peng, Zeros and Central Values of Automorphic L -Functions https://www.proquest.com/docview/276446097/, Ph.D. Thesis, Princeton University, 2001
-
[52]
Ian N. Petrow, ``A Twisted Motohashi Formula and Weyl-Subconvexity for L -Functions of Weight Two Cusp Forms'' https://doi.org/10.1007/s00208-014-1166-8, Mathematische Annalen 363:1--2 (2015), 175--216
-
[53]
Ian Petrow and Matthew P. Young, ``A Generalized Cubic Moment and the Petersson Formula for Newforms'' https://doi.org/10.1007/s00208-018-1745-1, Mathematische Annalen 373:1--2 (2019), 287--353
-
[54]
Ian Petrow and Matthew P. Young, ``The Weyl Bound for Dirichlet L -Functions of Cube-free Conductor'' https://doi.org/10.4007/annals.2020.192.2.3, Annals of Mathematics 192:2 (2020), 437--486
-
[55]
Ian Petrow and Matthew P. Young, ``The Fourth Moment of Dirichlet L -Functions Along a Coset and the Weyl Bound'' https://doi.org/10.1215/00127094-2022-0069, Duke Mathematical Journal 172:10 (2023), 1879--1960
-
[56]
Zhi Qi, ``Subconvexity for Twisted L -Functions on _3 over the Gaussian Number Field'' https://doi.org/10.1090/tran/7892, Transactions of the American Mathematical Society 372:12 (2019), 8897--8932
-
[57]
Zhi Qi, ``Subconvexity for L -Functions on _3 over Number Fields'' https://doi.org/10.4171/jems/1306, Journal of the European Mathematical Society 26:3 (2024), 1113--1192
-
[58]
Haiwei Sun and Yangbo Ye, ``Further Improvement on Bounds for L -Functions Related to (3) '' https://doi.org/10.1142/S1793042119500866, International Journal of Number Theory 15:7 (2019), 1487--1517
-
[59]
Han Wu, ``On Motohashi's Formula'' https://doi.org/10.1090/tran/8750, Transactions of the American Mathematical Society 375:11 (2022), 8033--8081
- [60]
- [61]
- [62]
-
[63]
Matthew P. Young, ``Weyl-Type Hybrid Subconvexity Bounds for Twisted L -Functions and Heegner Points on Shrinking Sets'' https://doi.org/10.4171/jems/699, Journal of the European Mathematical Society 19:5 (2017), 1545--1576
-
[64]
Matthew P. Young, ``Explicit Calculations with Eisenstein Series'' https://doi.org/10.1016/j.jnt.2018.11.007, Journal of Number Theory 199 (2019), 1--48
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.