Pith. sign in

REVIEW 2 major objections 4 minor 23 references

Hybrid bounds for ${\rm{GL}}(4)\times {\rm{GL}}(1)$ twisted $L$-functions

T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For prime level $P$ and conductor $M$, the paper proves a hybrid subconvex bound for $L(1/2,\Pi\otimes\chi)$ that beats the convexity bound $Q^{1/4+\varepsilon}$ whenever $M^{1/(4+2\mu)}<P<M^{2/5}$ for some $0<\mu<1/2$.

desk verdict A serious, genuinely new subconvexity attempt for GL(4)×GL(1), but Theorem 1.1's last exponent is algebraically unsupported and the paper needs a corrected endgame. read the letter →

arxiv 2501.15801 v2 pith:VOEZQIXA submitted 2025-01-27 math.NT

Fei Hou This is my paper · ORCID
classification math.NT MSC 11F6711F6611L05
keywords subconvexityhybridboundstwistedL-functionsGL(4)Hecke-MaassformsVoronoisummationKloostermansumsamplificationmethodDirichletcharacters
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves a hybrid subconvexity bound for $\mathrm{GL}(4)\times\mathrm{GL}(1)$ twisted $L$-functions: for a normalized Hecke-Maass form $\Pi$ of prime level $P$ and a primitive Dirichlet character $\chi$ modulo $M$, the central value $L(1/2,\Pi\otimes\chi)$ is bounded by $Q^{1/4+\varepsilon}$ times a sum of negative powers of $Q=PM^4$, provided $M^{1/(4+2\mu)}

What carries the argument

The machinery that carries the proof is the level-$P$ $\mathrm{GL}(4)$ Voronoi summation formula of Lemma 2.1, applied after the character-decomposition identity (3.2) splits $\chi(n)$ into a main term and a dual term. Lemma 2.1 rewrites a sum of Fourier coefficients $A_\Pi(n,1,1)$ weighted by $e(an/c)$ as a sum over divisors $d_1\mid c$, $d_2\mid c/d_1$ of hyper-Kloosterman sums $KL_2$ and coefficients $A_\Pi(m,d_2,d_1)$, with an oscillatory integral transform $\psi_\pm(x;\omega)$ whose main term behaves like $x^{5/8}e(4x^{1/4})$. The appendix derives Lemma 2.1 from the general $\mathrm{GL}(n)$ Voronoi formula of [6], inserting a corrected normalizing factor in (4.1): a product over $|t_2\cdots t_{n-1}|_p$ that was missing on page 1392 of [6]. The proof then feeds the Voronoi-transformed sums into Poisson summation and bounds the resulting Kloosterman correlations with the estimate (3.21), after two rounds of amplification by well-chosen prime sets $t$ and $s$.

What would settle it

Compute both sides of Lemma 2.1 numerically for a concrete Hecke-Maass form of a small prime level $P$, a single modulus $c$ coprime to $aP$, and a compactly supported test function $\omega$; a mismatch of the size of the factor (4.1) would refute the formula. A cheaper check: for $n=4$ the corrected change of variables must produce the extra factor $|t_2t_3|_p$ in (4.1), so a direct $p$-adic computation of the relevant Kloosterman integral will confirm or deny the paper's correction.

Watch

Extended reading notes

Core claim

The central assertion is Theorem 1.1: for primes $P,M$ with $(P,M)=1$, a normalized Hecke-Maass form $\Pi$ of level $P$ and trivial nebentypus, and a primitive Dirichlet character $\chi$ modulo $M$, the central value satisfies $$L(1/2,\Pi\otimes\chi)\ll $Q^{{1/4+\varepsilon}}$\bigl($Q^{{-(2-5\theta)/(3(32+8\theta))}}$+$Q^{{-\theta/(16+4\theta)}}$+$Q^{{-(1-2\mu)\theta/(8+2\theta)}}$+$Q^{{-(3+2\mu)\theta/(3(16+4\theta))}}$\bigr)$$ for any $0<\mu<1/2$, where $\theta=\log P/\log M$ and $Q=PM^4$ is the analytic conductor. Whenever $1/(4+2\mu)<\theta<2/5$, every exponent in the parentheses is negative, so the right-hand side is a genuine power saving over the convexity bound $Q^{1/4+\varepsilon}$. Theorem 1.1 is deduced from Theorem 1.2, which establishes cancellation in the smoothed coefficient sum $S_\Pi(X,M,P)=\sum_n A_\Pi(n,1,1)\chi(n)n^{-1/2}V(n/X)$ for $X$ near $Q^{1/2}$.

Load-bearing premise

The load-bearing premise is that Lemma 2.1, including the corrected normalizing factor (4.1) inserted into the $\mathrm{GL}(n)$ formula of [6], is exactly right; if the appended factor were wrong, the Voronoi transformations in (3.10), (3.17), and §3.3 would collapse.

Editorial extensions

If this is right

  • For any $0<\mu<1/2$ and $M^{1/(4+2\mu)}<P<M^{2/5}$, the four negative exponents in (1.1) give a saving over the convexity bound $Q^{1/4+\varepsilon}$ simultaneously in the level and conductor aspects.
  • With $P\asymp M^{2/7+\varepsilon}$, Corollary 1.3 supplies a family of level-$P$ Hecke-Maass forms for which $L(1/2,\Pi\otimes\chi)\ll_{\Pi,\varepsilon}Q^{1/4-1/60+\varepsilon}$.
  • If the degenerate term is treated by repeating the full argument of §3.1 rather than the direct estimate of §3.3, the same method covers the wider range $\varepsilon<\theta<2/5$.
  • The estimate is stated for every normalized Hecke-Maass form of the given level, with implied constants depending only on $\varepsilon$ and the archimedean parameters of $\Pi$, so the subconvexity statement is uniform across the level-$P$ family in that sense.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The correction in (4.1) is a standalone fact about the general $\mathrm{GL}(n)$ Voronoi formula: users of the level-modulus formula of [6] in other problems should check whether their normalizations inherit the missing product over $|t_2\cdots t_{n-1}|_p$.
  • The restriction $\theta>1/(4+2\mu)$ appears to be a technical artifact of the direct bound on the degenerate term; the paper's own remark that a fuller §3.1-style treatment would extend the range to $\varepsilon<\theta<2/5$ suggests the barrier is not structural.
  • A concrete test of the mechanism would be to average the same twisted coefficient sum over characters $\chi$ or over the level-$P$ family; if the cancellation is as strong as the proof indicates, such averages should recover or improve the exponent $1/4$ outside the parameter range covered here.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper studies hybrid subconvexity for L(1/2, Π⊗χ), where Π is a normalized Hecke-Maass form on GL(4) of prime level P and χ is a primitive Dirichlet character modulo M. Theorem 1.1 claims a bound of the form Q^{1/4+ε} times a sum of four negative powers of Q = P M^4, for 0<μ<1/2 and M^{1/(4+2μ)} < P < M^{2/5}. Theorem 1.2 is a coefficient-sum estimate obtained by a Holowinsky-Nelson decomposition of χ applied twice, GL(4) Voronoi summation, Poisson summation, and Kloosterman-sum estimates, with parameters T, R, R*, S, μ optimized in §3.4. The appendix claims to correct a missing normalizing factor in Corbett's general Voronoi formula and sketches a proof of the prime-level GL(4) formula used throughout.

Significance. If the proof is completed and corrected, the paper would provide a hybrid subconvexity result for a GL(4)×GL(1) family, a setting where genuine level-aspect subconvexity for GL(4) is largely open. The parameter optimization is explicit and the paper gives a concrete route through standard tools, including a self-contained prime-level Voronoi formula. However, the advertised Theorem 1.1 contains a fourth exponent that is not a consequence of the displayed estimate (3.35); the qualitative subconvexity claim appears repairable by replacing that exponent with the correctly balanced one, since the other three terms already give negative exponents in the stated range, but the theorem as printed asserts a stronger saving than the proof supports.

major comments (2)
  1. [§1, Eq. (1.1); §3.4, Eq. (3.35)] The fourth exponent in Theorem 1.1 is not derivable from the final estimate (3.35). Writing P = Q^{θ/(4+θ)} and M = Q^{1/(4+θ)}, the term Q^δ M^{1/4}/P^{1+μ/2} in (3.35) has log-Q exponent δ + (1/4 - (1+μ/2)θ)/(4+θ). Balancing this against the Q^{-δ/2} term from the approximate functional equation gives the final exponent (1 - (4+2μ)θ)/(12(4+θ)). The exponent displayed in (1.1) is (1-(4+2μ))θ/(12(4+θ)), which is smaller by (1-θ)/(12(4+θ)) in log-Q scale and is therefore stronger than what the proof establishes whenever 0<θ<1. The theorem must be corrected to the balanced exponent, and the consequences for Corollary 1.3 and the claimed subconvex range should be rechecked in detail.
  2. [§4.1, Eq. (4.1) and Lemma 2.1] Lemma 2.1 is the foundation for the transformations in (3.10), (3.17), and §3.3, but its proof in Appendix A.1 is only a sketch and depends on a claimed correction to Corbett's formula: the factor ∏_{i=2}^{n-2}|t_2⋯t_{n-1}|_p is asserted to be missing on p. 1392 of [6]. The appendix does not give a complete derivation of (4.1), and the subsequent manipulation introduces an undefined parameter L^4 before the change of variables r → rL^4. Because the whole paper collapses if this Voronoi formula is wrong, a complete, verifiable proof (or a precise reference establishing the prime-level formula) is a necessary condition for accepting the results.
minor comments (4)
  1. [Throughout] There are several typographical slips, including “whcih”, “Writer →rPι”, “Possion”, and inconsistent capitalization of P in phrases such as “1/p^{1/4−ε}”; these should be cleaned up.
  2. [§3.1, display before (3.7)] The condition stated before (3.7) is “R< T < M”, while later conditions involve R<S and S+T<R*<TR; the hierarchy of parameters should be stated consistently.
  3. [§3.4, Eq. (3.34)] The choice R = X/(M^{3/2}P^μ) makes R depend on X, while earlier R is introduced as a free parameter in the decomposition (3.2); the final estimate (3.35) should explicitly explain how the X-dependence cancels after inserting the range of X in Theorem 1.2.
  4. [§4.1] The appendix would benefit from a list of all substitutions used to pass from (4.2) to (4.3), since several steps are summarized with phrases such as “akin to [11, Eqn. (2.9)]” and are hard to verify.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main bound is proved from external Voronoi and Kloosterman inputs and parameter optimization, not by fitting the conclusion.

full rationale

The chain from Theorem 1.2 to Theorem 1.1 is a genuine substitution: after the approximate functional equation, X is chosen near Q^{1/2}, and the auxiliary exponent δ is balanced against the displayed terms; no data-dependent constant is fitted, and the bound is not assumed. Theorem 1.2 is derived by amplification, the Holowinsky-Nelson decomposition (3.2), GL(4) Voronoi summation (Lemma 2.1), Cauchy-Schwarz, Poisson summation, and the Kloosterman estimate (3.21), with parameters T, R, R*, S and μ chosen after the fact to optimize display (3.35). The only potentially load-bearing technical input, Lemma 2.1, is proved in Appendix A.1 by correcting Corbett's p-adic change of variables (4.1); the earlier paper [11] by the author is cited only as a proof blueprint, while the formula itself is supported by Corbett's external theorem and the displayed computation. This is a self-citation, but it is not load-bearing and is not equivalent to the target bound. The apparent mismatch between the fourth exponent in (1.1) and the balancing of (3.35) is a possible correctness defect, not a circularity, since the printed exponent is not used as an input. No self-definition, fitted-input-as-prediction, imported uniqueness, or renaming of a known result occurs.

Assumptions & free parameters 6 free parameters · 5 assumptions · 0 invented entities

All free parameters are proof parameters selected to optimize the bound, not fitted to data. The axioms are standard analytic number theory inputs. No new particles, forces, dimensions, or other entities are introduced.

free parameters (6)
  • mu = 0 < mu < 1/2, arbitrary
    Controls the trade-off in the final parameter choices and defines the lower bound of the range 1/(4+2mu).
  • T = sqrt(M) P^mu
    Length of the first amplifier modulus set; chosen in (3.34).
  • R = X / (M^{3/2} P^mu)
    Truncation parameter for the Holowinsky-Nelson decomposition; chosen in (3.34), also constrained by R = X/(M T) in (3.8).
  • R* = M^{1-epsilon} sqrt(P)
    Second decomposition truncation parameter; chosen in (3.34).
  • S = M^{1-100epsilon} sqrt(P)
    Length of the second amplifier modulus set; chosen in (3.34).
  • L = P^{1/2+100epsilon}
    Poisson summation frequency cutoff in Section 3.1.1; chosen to kill nonzero frequencies.
assumptions (5)
  • standard math The GL(4)xGL(1) L-function has analytic continuation, functional equation, and an approximate functional equation of conductor Q = P M^4.
    Invoked in Section 2.1 and used to pass from the smoothed sum in Theorem 1.2 to the central value bound in Theorem 1.1.
  • domain assumption The GL(4) Voronoi summation formula with prime level, Lemma 2.1, including the corrected Corbett normalization factor (4.1), is valid.
    This is the main transformation used in (3.10), (3.17), and Section 3.3. The appendix gives a sketch but no independent machine-checked proof.
  • domain assumption The Holowinsky-Nelson character decomposition (3.2) holds for the characters appearing in the proof.
    Used at the first and second decomposition stages in Sections 3.1 and 3.3. The paper does not discuss the primitive versus imprimitive case in detail.
  • standard math The Kloosterman sum estimate (3.21) is valid.
    Cited from [13] and used to bound the off-diagonal contributions in Section 3.1.
  • domain assumption The Ramanujan-on-average bound for GL(4) Fourier coefficients holds.
    Used in the Cauchy-Schwarz steps in Sections 3.1 and 3.3 to remove the Fourier coefficients.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hybrid bounds for ${\rm{GL}}(4)\times {\rm{GL}}(1)$ twisted $L$-functions." pith.science (2026). https://pith.science/paper/VOEZQIXA

@misc{pith2026250115801,
  author       = {Pith},
  title        = {Pith review of: Hybrid bounds for $\rmGL(4)\times \rmGL(1)$ twisted $L$-functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VOEZQIXA}},
  note         = {Machine review of arXiv:2501.15801}
}
abstract

Let $P,M$ be a two primes such that $(P,M)=1$. Let $\Pi$ be a normalized Hecke-Maa\ss\ form on ${\rm{GL}}(4)$ of level $P$, and $\chi$ a primitive Dirichlet character modulo $M$. In this paper, we study the hybrid subconvexity problem for $L(s, \Pi\otimes \chi)$ simultaneously in the level and conductor aspects. Among other things, we prove a hybrid subconvex bound, so long as $M^{1/5}<P<M^{2/5}$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 20 canonical work pages

  1. [6]

    Corbett, Vorono ˘ ı summation forGLn: collusion between level and modulus , Amer

    A. Corbett, Vorono ˘ ı summation forGLn: collusion between level and modulus , Amer. J. Math. 143 (2021), no. 5, 1361-1395. 24 F. HOU

    work page 2021

  2. [1]

    Assing, A note for Vorono ˘ ı summation forGLn, private correspondences

    E. Assing, A note for Vorono ˘ ı summation forGLn, private correspondences

    work page

  3. [2]

    Blomer and G

    V. Blomer and G. Harcos, Hybrid bounds for twisted L-functions, J. Reine Angew. Math. 621 (2008), 53-79

    work page 2008

  4. [3]

    A GL(3) converse theorem via a "beyond endoscopy" approach

    V. Blomer and W. H. Leung, A GL(3) converse theorem via a “beyond endoscopy” approach , 2024, arXiv preprint arXiv:2401.04037

    work page Pith review arXiv 2024

  5. [4]

    D. A. Burgess, On character sums and L-series, I , Proc. London Math. Soc. 12 (1962), 193-206

    work page 1962

  6. [5]

    Chandee and X

    V. Chandee and X. Li, The second moment of GL(4) × GL(2) L-functions at special points , Adv. Math. 365 (2020), 107060

    work page 2020

  7. [7]

    Subconvexity for $GL(1)$ twists of Rankin-Selberg $L$-functions

    A. Ghosh, Subconvexity for GL(1) twists of Rankin-Selberg L-functions, 2023, arXiv preprint arXiv:2303.09646

    work page Pith review arXiv 2023

  8. [8]

    Goldfeld, Automorphic forms and L-functions for the group GL(n, R), Cambridge Studies in Advanced Mathematics, vol

    D. Goldfeld, Automorphic forms and L-functions for the group GL(n, R), Cambridge Studies in Advanced Mathematics, vol. 99 (Cambridge University Press, Camb ridge, 2006, With an appendix by K. Broughan)

    work page 2006

Show all 23 references
  1. [9]

    D. R. Heath-Brown, Hybrid bounds for Dirichlet L-functions, Invent. Math. 47 (1978), no. 2, 149- 170

    1978

  2. [10]

    Holowinsky and P

    R. Holowinsky and P. Nelson, Subconvex bounds on GL(3) via degeneration to frequency zero , Math. Ann. 372 (2018), 299-319

    2018

  3. [11]

    Hou and and G

    F. Hou and and G. L¨ u, An explicit Vorono ˘ ı formula forSL3(R) newforms underlying the symmetric lifts in the level aspect , Int. J. Number Theory 20 (2024), no. 3, 797-809

    2024

  4. [12]

    Ichino and N

    A. Ichino and N. Templier, On the Vorono ˘ ı formula forGL(n), Amer. J. Math. 135 (2013), no. 1, 65-101

    2013

  5. [13]

    B. Kerr, I. E. Shparlinski, X. Wu and P. Xi, Bounds on bilinear forms with Kloosterman sums , J. Lond. Math. Soc. 108 (2023), no. 2, 578-621 (available at https://arxiv.org/pdf/2204.05038)

    2023 arXiv

  6. [14]

    Khan, Subconvexity bounds for twisted L-functions, II , Trans

    R. Khan, Subconvexity bounds for twisted L-functions, II , Trans. Amer. Math. Soc. 35 (2022), no. 10, 6769-6796

    2022

  7. [15]

    Kumar, R

    S. Kumar, R. Munshi and S. K. Singh, Subconvexity bound for GL(3) × GL(2) L-functions: Hybrid level aspect, Algebra & Number Theory 18 (2024), no. 3, 477-497

    2024

  8. [16]

    S. D. Miller and W. Schmid, A general Voronoi summation formula for GL(n, Z), In Geometry and Analysis, Adv. Lect. Math. vol. 18 (Intern. Press, Somerville, 201 1), pp. 173-224

  9. [17]

    Munshi, A note on Burgess bound , Geometry, Algebra, Number Theory, and Their Information Technology Applications, GANITA, Springer Proceedings in Mathema tics & Statistics, 2016

    R. Munshi, A note on Burgess bound , Geometry, Algebra, Number Theory, and Their Information Technology Applications, GANITA, Springer Proceedings in Mathema tics & Statistics, 2016

    2016

  10. [18]

    Munshi, Twists of GL(3) L-functions, In: M¨ uller, W., Shin, S.W., Tem- plier, N

    R. Munshi, Twists of GL(3) L-functions, In: M¨ uller, W., Shin, S.W., Tem- plier, N. (eds) Relative Trace Formulas, Simons Symposia, Springer, Cham. https://doi.org/10.1007/978-3-030-68506-5_11

    doi

  11. [19]

    Petrow and M

    I. Petrow and M. P. Young, The fourth moment of Dirichlet L-functions along a coset and the Weyl bound, Duke Math. 172 (2023), no. 10, 1879-1960

    2023

  12. [20]

    R. A. Smith On n-dimensional Kloosterman sums , J. Number Theory 11 (1979), 324–343

    1979

  13. [21]

    Sharma and W

    P. Sharma and W. Sawin Subconvexity for GL(3)× GL(2) twists, Adv. Math. 404, Part B, 6 August 2022, 108420

    2022

  14. [22]

    Sun, Bounds for GL2 ×GL2 L-functions in depth aspect , manuscripta math

    Q. Sun, Bounds for GL2 ×GL2 L-functions in depth aspect , manuscripta math. 174 (2024), 429-451

    2024

  15. [23]

    Zhou, The Voronoi formula on GL(3) with ramification , 2018, arXiv preprint arXiv:1806.10786

    F. Zhou, The Voronoi formula on GL(3) with ramification , 2018, arXiv preprint arXiv:1806.10786. School of Sciences, Xi’an University of Technology, Xi’an 7 10054, China Email address : fhou@xaut.edu.cn

    2018 arXiv

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.