REVIEW 3 major objections 5 minor 24 references
Moments of Dirichlet $L$-functions with prime conductors over function fields
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves an asymptotic expansion for the second moment of quadratic Dirichlet L-functions over prime conductors, with an explicit next-to-leading term that matches the ratios-recipe conjecture.
desk verdict The g^2 coefficient is new and the paper is careful, but the proof borrows a load-bearing lemma without stating it; fix that and it's solid. 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 load-bearing mechanism is the evaluation of a shifted-moment integral on a small arc of the unit circle. Starting from the approximate functional equation, the arc integral is turned by Perron's formula into a double contour integral in variables $u$ and $v$; the identity $\sum_{f\in\mathcal{M}}\tau(f^2)v^{\deg f} = Z(v)^3/Z(v^2)$ isolates the square-polynomial diagonal. Extracting residues at $v=1$ from this displayed integrand gives the main term $g^2(g-X)/(2\zeta_q(2))$ plus smaller errors, and the complementary arc is bounded by the moment upper bounds in Corollary 4.3. For the elliptic-curve application, the same Perron treatment is applied to the Dirichlet series of $L(E\otimes\chi_P,u)$, producing the leading term in the mean of the derivative.
What would settle it
Evaluate the double contour integral in Proposition 5.1 directly, without using the quoted residue lemma: if the residue at $v=1$ is not exactly $g^2(g-X)/(2\zeta_q(2))$ with the stated error terms, the theorem's $g^2$ coefficient is not established.
Extended reading notes
Core claim
The central claim is that in the prime-conductor family of quadratic Dirichlet $L$-functions over function fields, the second moment at the central point is now known to order $g^2$. Explicitly, Theorem 1.1 states that $$\frac{1}{|\mathcal{P}_{2g+1}|}\sum_{P\in\mathcal{P}_{2g+1}} L(1/2,\chi_P)^2 = \frac{$g^{3}$}{3\zeta_q(2)} + \left(\frac{3}{2}+\frac{1}{2q}\right)$g^{2}$ + O_\varepsilon($g^{{3/2+\varepsilon}}$),$$ where $\mathcal{P}_{2g+1}$ is the set of monic irreducible polynomials of degree $2g+1$ over $\mathbb{F}_q[x]$. The $g^3$ term was already known; the new content is the explicit $g^2$ term, which exactly matches the ratios-recipe prediction. The proof achieves this by truncating the Dirichlet series from the approximate functional equation at an interior cutoff, evaluating the tail with Perron's formula as a shifted moment over a circle, and cancelling the small-arc piece against the diagonal. The same machinery yields the leading term of the mean derivative of elliptic-curve twists, and, outside an explicit excluded case, a twist of analytic rank 1.
Load-bearing premise
The $g^2$ coefficient relies on a residue-evaluation lemma from a companion paper that is quoted without proof; if that lemma's error terms were different, the announced coefficient would not follow.
Editorial extensions
If this is right
- For each odd $q$, the average of $L(1/2,\chi_P)^2$ over monic irreducibles of degree $2g+1$ is determined up to $O_\varepsilon(g^{3/2+\varepsilon})$, improving the previous leading-term formula $g^3/(3\zeta_q(2))+O(g^2)$.
- The coefficient $(3/2+1/(2q))g^2$ agrees with the ratios-recipe conjecture, giving the first check of a lower-order term in this prime-conductor family.
- For a fixed elliptic curve $E/\mathbb{F}_q(t)$ with $(q,6)=1$, outside the case $\epsilon_{2g+1}\epsilon(E)=1$ and $M=1$, the mean of $\epsilon_- L'(E\otimes\chi_P,1/2)$ has leading term $2(\log q)(A_E(1;1)-\epsilon_{2g+1}\epsilon(E)A_E(M;1))L(\mathrm{Sym}^2 E,1)g$ with error $O_\varepsilon(g^{1/4+\varepsilon})$.
- Consequently, under the same exclusion, there exists a monic irreducible $P$ of degree $2g+1$ with analytic rank $r_{E\otimes\chi_P}=1$.
Reading between the lines
- The same truncation-and-Perron mechanism should expose the coefficient of $g$ in the second moment once the expected off-diagonal terms are evaluated, giving a sharper test of the full polynomial conjectured for integral moments.
- Applying the derivative-moment method to higher derivatives $L^{(r)}(E\otimes\chi_P,1/2)$ would likely produce analogues of Corollary 1.3 showing twists of analytic rank $r$.
- Because the family is sparse (irreducible polynomials, not all squarefree polynomials), the split-cutoff strategy may transfer to other sparse families, such as primes over $\mathbb{F}_q[x]$ satisfying a congruence condition.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies two families of L-functions over F_q[x]: quadratic Dirichlet L-functions with prime conductor P of degree 2g+1, and quadratic twists of a fixed elliptic curve E/F_q(t) by monic irreducibles. Theorem 1.1 claims an asymptotic for the second moment of L(1/2, chi_P) with main terms g^3/(3 zeta_q(2)) + g^2(3/2 + 1/(2q)) and error O_epsilon(g^{3/2+epsilon}), improving the earlier Andrade-Keating result by making the g^2 term explicit. Theorem 1.2 claims an asymptotic for the first moment of L'(E tensor chi_P, 1/2) in the root-number -1 subfamily, and Corollary 1.3 deduces the existence of a prime P for which the corresponding twisted elliptic curve has analytic rank 1, outside an explicitly excluded case. The methods are approximate functional equations, Perron's formula, the Weil bound for character sums, and shifted-moment recursion; the g^2 coefficient is checked in Section 8 against the conjecture of Andrade-Jung-Shamesaldeen.
Significance. If the main theorems are correct, the paper provides the first lower-order term in the second moment of a prime-conductor family over function fields and a matching of that term with the CFKRS-type conjecture of AJS18. The elliptic-curve derivative moment in Theorem 1.2 and the rank-one corollary are also new in this setting and are natural applications of the moment method. Strengths of the paper include a mostly self-contained derivation from first principles, no fitted constants, explicit error terms, and the independent consistency check in Section 8. The main caveat is that a load-bearing evaluation in Proposition 5.1 is delegated to an unstated lemma from the companion paper [Flo17], so the g^2 coefficient of Theorem 1.1 is exactly as secure as the applicability of that lemma.
major comments (3)
- [Section 5, Proposition 5.1, line before (5.3)] The proof of Proposition 5.1 reduces E11 to a finite trigonometric double sum with weight P(n), and then states 'Using Lemma 9.4 in [Flo17] we then obtain' equation (5.3). Lemma 9.4 is neither stated nor proved in the present paper, and its hypotheses, summation ranges, polynomial degree, and normalization are not specified. This lemma is the sole input that converts the trigonometric sum into the main term g^2(g-X)/(2 zeta_q(2)); if its hypotheses do not match the present sum exactly, the coefficient of g^2 in Theorem 1.1 would change. Section 8 gives a consistency check against the AJS18 conjecture, but that is not a proof. The authors should state Lemma 9.4 in full, verify that it applies to the exact sum with the weight P(n), or give a proof in this paper.
- [Section 4, Proposition 4.1] Proposition 4.1 is stated as an upper bound for the k-th moment of L(u/sqrt(q), chi_P), and it is used through Corollary 4.3 to bound the integral E12 in Proposition 5.1, hence to control the error term in Theorem 1.1. The proof of Proposition 4.1 is not given; the text says 'We shall only illustrate the proof of Proposition 4.2. The proof of Proposition 4.1 follows along the same lines'. Since the claimed error O_epsilon(g^{3/2+epsilon}) depends on this proposition, the manuscript should either include the proof or provide a precise reference with the statement and a verification that the cited argument applies to the prime-conductor family considered here.
- [Section 5, equation (5.1) and Proposition 5.1] The error analysis in Proposition 5.1 combines the bound E12 << g^{1+epsilon}(g-X) theta_1^{-1} with the three error terms in (5.3). With theta_1 = 1/sqrt(g), the term O(g^2(g-X) theta_1) becomes O(g^{3/2}(g-X)), and the term O(g(g-X) theta_1^{-1}) becomes O(g^{3/2}(g-X)); together with O(g^{1/2}(g-X)^3) this is compatible with the stated conclusion, but only if the trigonometic sum evaluation in (5.3) is fully justified. This reinforces the need to state and prove Lemma 9.4 of [Flo17] rather than quoting it.
minor comments (5)
- [Section 2, first paragraph] The text says 'Fix an odd number q' before introducing F_q[x]; since q is the cardinality of a finite field, it should be 'odd prime power' to exclude composite q such as q=9? (Actually 9 is a prime power but not a prime; the current wording is imprecise and should be corrected.)
- [Section 7, last paragraph] There is a typo: 'Chossing X = 2g - [100 log g]' should read 'Choosing X = ...'.
- [Section 5, equation (5.4) and surrounding text] Several powers appear without superscript formatting, for example 'u2g+n', 'uX+1', and 'u2g+n-X'. These should be typeset as u^{2g+n}, u^{X+1}, and u^{2g+n-X} to avoid ambiguity.
- [Section 4, Lemma 4.4, proof] In the bound for the second term in (4.1), the step from the Cauchy-Schwarz estimate to the final O((sum |a(Q)|^2/|Q|)^l) is terse; spelling out how hl <= g and the Prime Polynomial Theorem absorb the q^{-g} factor would improve readability.
- [Section 6, choice of X] The choice X = g - [100 log g] should specify the base of the logarithm (presumably natural log, matching the use of log q in Section 7) and how the error term O(g^{1/2}(g-X)^3) is absorbed into O_epsilon(g^{3/2+epsilon}).
Circularity Check
No significant circularity: the lower-order coefficient is computed from residues and Euler products, not fitted; the unstated [Flo17] lemma is a legitimate prior-work citation, not a circular input.
full rationale
The proof of Theorem 1.1 is a genuine derivation rather than a repackaging of its inputs. The approximate functional equation (Lemma 3.1) and Perron formula reduce the second moment to a diagonal contribution and a tail integral; the tail is then written as a shifted-moment integral over arcs (Proposition 5.1). The main terms of size g^3 and g^2 emerge as residues of explicit Euler products such as Z(v)^3/Z(v^2), and the displayed evaluation (5.3) is the output of a residue computation, not a parameter fitted to the desired asymptotic. No step assumes the target asymptotic formula. The comparison in Section 8 with the [AJS18] conjecture is explicitly a check performed after the proof and is not used to derive Theorem 1.1. The only caveat is the line immediately before (5.3), 'Using Lemma 9.4 in [Flo17]', which imports a technical trigonometric-sum evaluation from the first author's previously published GAFA paper without restating or proving it. This makes the proof of the g^2 coefficient not fully self-contained in the present text, but it is ordinary reliance on published prior work: nothing in the quoted passage or the surrounding derivation indicates that the lemma assumes the second moment being computed, and no fitted input is renamed as a prediction. The same holds for the standard inputs from [AK13], [Rud10], and [SY10]. Under the required standard, no recursive definition or forced reduction can be exhibited, so the correct finding is no circularity.
Assumptions & free parameters
assumptions (5)
- standard math Prime Polynomial Theorem |P_n| = q^n/n + O(q^{n/2}/n)
- standard math Weil bound for character sums over primes: for f not a square, the average of chi_P(f) over P in P_{2g+1} is much less than q^{-g deg f}.
- standard math Approximate functional equations for L(s, chi_P)^2 and L'(E tensor chi_P, 1/2) as given in Lemmas 3.1 and 3.2.
- domain assumption Euler-product factorization (7.4): the generating function for Nf square equals A_E(N;u) L(Sym^2 E, u^2/q^{1+2 alpha}), with A_E uniformly bounded on the relevant contour.
- standard math Technical residue lemma, Lemma 9.4 of [Flo17], used in Proposition 5.1 to evaluate E11.
Cite this review
Pith. "Pith review of Moments of Dirichlet $L$-functions with prime conductors over function fields." pith.science (2026). https://pith.science/paper/32KUAUPB
@misc{pith2026190900854,
author = {Pith},
title = {Pith review of: Moments of Dirichlet $L$-functions with prime conductors over function fields},
year = {2026},
howpublished = {\url{https://pith.science/paper/32KUAUPB}},
note = {Machine review of arXiv:1909.00854}
}
abstract
We compute the second moment in the family of quadratic Dirichlet $L$-functions with prime conductors over $\mathbb{F}_q[x]$ when the degree of the discriminant goes to infinity, obtaining one of the lower order terms. We also obtain an asymptotic formula with the leading order term for the mean value of the derivatives of $L$-functions associated to quadratic twists of a fixed elliptic curve over $\mathbb{F}_q(t)$ by monic irreducible polynomials, which allows us to show that there exists a monic irreducible polynomial such that the analytic rank of the corresponding twisted elliptic curve is equal to $1$.
Reference graph
Works this paper leans on
-
[1]
Small zeros of Dirichlet $L$-functions of quadratic characters of prime modulus
J. Andrade and S. Baluyot, Small zeros of D irichlet L -functions of quadratic characters with prime modulus , preprint arXiv:1802.03413 (2018)
work page Pith review arXiv 2018
-
[3]
J. Andrade and J. P. Keating, Mean value theorems for L -functions over prime polynomials for the rational function field , Acta Arith. 161 (2013), no. 4, 371--385. 3150889
work page 2013
-
[4]
D. Bump, S. Friedberg, and J. Hoffstein, Nonvanishing theorems for L -functions of modular forms and their derivatives , Invent. Math. 102 (1990), 543--618. 1074487
work page 1990
-
[6]
S. Baig and C. Hall, Experimental data for G oldfeld's conjecture over function fields , Exp. Math. 21 (2012), 362--374. 3004252
work page 2012
-
[7]
S. Baluyot and K. Pratt, Dirichlet L -functions of quadratic characters of prime conductor at the central point , preprint arXiv:1809.09992 (2018)
arXiv 2018
-
[8]
J. B. Conrey, D. W. Farmer, J. P. Keating, M. O. Rubinstein, and N. C. Snaith, Integral moments of L -functions , Proc. London Math. Soc. (3) 91 (2005), no. 1, 33--104. 2149530 (2006j:11120)
work page 2005
-
[9]
Florea, The fourth moment of quadratic D irichlet L -functions over function fields , Geom
A. Florea, The fourth moment of quadratic D irichlet L -functions over function fields , Geom. Funct. Anal. 27 (2017), 541--595. 3655956
work page 2017
-
[10]
Iwaniec, On the order of vanishing of modular L -functions at the critical point , S\' e m
H. Iwaniec, On the order of vanishing of modular L -functions at the critical point , S\' e m. Th\' e or. Nombres Bordeaux 2 (1990), 365--376. 1081731
work page 1990
Show all 24 references
-
[11]
Jutila, On the mean value of L( 1 2 ,\, ) for real characters , Analysis 1 (1981), no
M. Jutila, On the mean value of L( 1 2 ,\, ) for real characters , Analysis 1 (1981), no. 2, 149--161. 632705 (82m:10065)
1981
-
[12]
J. P. Keating and N. C. Snaith, Random matrix theory and L -functions at s=1/2 , Comm. Math. Phys. 214 (2000), no. 1, 91--110. 1794267
2000
-
[13]
M. R. Murty and V. K. Murty, Mean values of derivatives of modular L -series , Ann. of Math. 133 (1991), 447--475. 1109350
1991
-
[14]
Petrow, Moments of L'( 12) in the family of quadratic twists , Int
I. Petrow, Moments of L'( 12) in the family of quadratic twists , Int. Math. Res. Not. IMRN (2014), 1576--1612
2014
-
[15]
Rudnick, Traces of high powers of the F robenius class in the hyperelliptic ensemble , Acta Arith
Z. Rudnick, Traces of high powers of the F robenius class in the hyperelliptic ensemble , Acta Arith. 143 (2010), no. 1, 81--99. 2640060
2010
-
[16]
Soundararajan, Nonvanishing of quadratic D irichlet L -functions at s= 12 , Ann
K. Soundararajan, Nonvanishing of quadratic D irichlet L -functions at s= 12 , Ann. of Math. (2) 152 (2000), no. 2, 447--488. 1804529 (2001k:11164)
2000
-
[17]
, Moments of the R iemann zeta function , Ann. of Math. (2) 170 (2009), no. 2, 981--993. 2552116
2009
-
[18]
Soundararajan and M
K. Soundararajan and M. P. Young, The second moment of quadratic twists of modular L -functions , J. Eur. Math. Soc. (JEMS) 12 (2010), no. 5, 1097--1116. 2677611
2010
-
[19]
AK J. C. Andrade, J. P. Keating, Mean value theorems for L-functions over prime polynomials for the rational function field , Acta Arith. 161 (2013), 371--385
2013
-
[20]
A2 J. C. Andrade, H. Jung, A. Shamesaldeen The integral moments and ratios of quadratic Dirichlet L --functions over monic irreducible polynomials in F _q[t] , preprint, https://arxiv.org/pdf/1807.06347.pdf
-
[21]
hall S. Baig, C. Hall, Experimental data for Goldfeld’s conjecture over function fields , Exp. Math 21 (2012), 362-374
2012
-
[22]
BFKR H. M. Bui, A. Florea, J. P. Keating, E. Roditty-Gershon, Moments of quadratic twists of elliptic curve L-functions over function fields , preprint, http://arxiv.org/abs/1902.00568
1902 arXiv
-
[23]
Florea, The fourth moment of L(1/2, ) in the hyperelliptic ensemble , Geom
AF4th A. Florea, The fourth moment of L(1/2, ) in the hyperelliptic ensemble , Geom. Funct. Anal 27 (2017), no. 3, 541-595
2017
-
[24]
Rudnick, Traces of high powers of the Frobenius class in the hyperelliptic ensemble , Acta Arith
R Z. Rudnick, Traces of high powers of the Frobenius class in the hyperelliptic ensemble , Acta Arith. 143 (2010), 81--99
2010
-
[25]
Soundararajan, Nonvanishing of quadratic Dirichlet L -functions at s= 1 2 , Annals of Math
S K. Soundararajan, Nonvanishing of quadratic Dirichlet L -functions at s= 1 2 , Annals of Math. 152 (2000), 447--488
2000
-
[26]
Soundararajan, M
SY K. Soundararajan, M. P. Young, The second moment of quadratic twists of modular L-functions , J. Eur. Math. Soc. (JEMS) 12 (2010), 1097--1116
2010
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.