REVIEW 2 major objections 4 minor 1 cited by
On $L$-functions of Hecke characters and anticyclotomic towers
T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read For almost all anticyclotomic twists, the central zero order of the Hecke L-function is exactly the sign-allowed minimum.
desk verdict A real and expected generalization of Rohrlich, with a solid analytic core but a missing Gross-Zagier check for the derivative case when h>1. 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 argument rests on an averaging identity over the Galois conjugates of $\chi$. With $v\in\{0,1\}$ fixed by $W(\chi)=(-1)^v$, one studies $L^{(v)}(1,\chi)_{\mathrm{av}}=[K(\chi):K]^{-1}\sum_\sigma L^{(v)}(1,\chi^\sigma)$; a zero of one conjugate forces all conjugates to share the zero, so vanishing of the average is necessary for an individual zero. The paper then shows the average is dominated by an explicit principal term $2\sum_n \kappa(n)n^{-1}I_v(n^2/A f)$, whose limit is $2L(1,\kappa)\neq 0$ in the even case and whose leading growth is $2L(1,\kappa)\log(A f)$ in the odd case, with the remaining non-principal contribution sent to zero by a counting argument. The counting is successively reduced to counting pairs of rational integers $(u,v)$ lying in prescribed residue classes modulo $q$, and a p-adic Diophantine approximation bound gives the two key estimates: no such pairs exist up to $q^c$ for $c<1/2$, and fewer than $q^s$, $s<1/2$, exist up to $q^d$ for some $d>1/2$.
What would settle it
Find infinitely many characters χn in X with conductors tending to infinity such that W(χn)=1 but ord_{s=1}L(s,χn)>0, or W(χn)=-1 but ord_{s=1}L(s,χn)>1; the theorem predicts both fail eventually, so the first such sequence would refute it.
Extended reading notes
Core claim
The central claim is that the root number determines the central vanishing order throughout the anticyclotomic tower, up to a finite set of characters. The paper proves that the average of $L^{(v)}(1,\chi)$ over Galois conjugates tends to $2L(1,\kappa)$ in the even case and grows like $2L(1,\kappa)\log(A f(\chi))$ in the odd case, where $\kappa$ is the quadratic Dirichlet character attached to $K$ and $A$ is a constant depending only on $K$. Since a zero of any conjugate forces the average to vanish, the nonvanishing of the average for sufficiently large conductors forces the individual $L$-functions to have the minimal zero order allowed by parity.
Load-bearing premise
The proof depends on the implication that a zero of L(1,χ), or of L'(1,χ) when W(χ)=-1, forces the same zero for every Galois conjugate χσ; in the derivative case this uses a special-value formula for CM points that the paper assumes applies to every conductor in the family.
Editorial extensions
If this is right
- For every imaginary quadratic field, the root number determines the central vanishing order for all anticyclotomic twists outside a finite set.
- The averaged value $L(1,\chi)_{\mathrm{av}}$ tends to $2L(1,\kappa)\neq 0$ in the even case, so the family average itself is nonzero.
- In the odd case $L'(1,\chi)_{\mathrm{av}}$ grows like $2L(1,\kappa)\log(A f)$, so simple zeros are generic.
- The earlier class-number-one restriction is removed, so the result covers all imaginary quadratic fields.
Reading between the lines
- The finite exceptional set is non-effective because it inherits ineffectivity from the p-adic Diophantine approximation input; an effective version of that bound would turn the theorem into a finite verification.
- The same averaging-and-counting strategy may apply to cyclotomic towers or to CM fields of higher degree, provided the two conjugation-inheritance properties and the counting reduction survive.
- A direct numerical probe of the first few thousand twists of a fixed base field could test the predicted sign-versus-zero pattern and help locate the exceptional set in practice.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that, for all but finitely many Hecke characters χ in a prescribed anticyclotomic family over an arbitrary imaginary quadratic field K, the central vanishing order of L(s,χ) is determined by the root number: ord_{s=1} L(s,χ)=0 when W(χ)=1 and 1 when W(χ)=-1. The family consists of twists φρ where φ has infinite type (1,0) and equivariant under complex conjugation, and ρ is a finite-order anticyclotomic character unramified outside a fixed finite set P. The proof follows Rohrlich's strategy: express L^{(v)}(1,χ) as a sum of principal and non-principal terms, average over K-automorphisms, show the non-principal average is negligible using counting estimates, and invoke p-adic Roth-type theorems. The paper also proves the asymptotics L(1,χ)_av → 2L(1,κ) for W(χ)=1 and L'(1,χ)_av ∼ 2L(1,κ) log(Af) for W(χ)=-1.
Significance. If correct, the theorem is a substantial generalization of Rohrlich's class-number-one result to arbitrary imaginary quadratic fields, replacing elliptic curves with abelian varieties of GL2-type having CM by K. The analytic core—the Abel-theorem asymptotics, the split into principal and non-principal terms, and the exponent bookkeeping in Propositions 1–2—is sound and carefully executed. The novel reduction via h-th roots in Lemma 2 and the passage to Ridout's theorem are interesting technical contributions. The manuscript is not accompanied by machine-checked proofs, but the argument is written in a checkable style and the main external inputs are clearly identified.
major comments (2)
- [Introduction; §2, (2.19)–(2.20)] The contrapositive step of the averaging argument requires that for every K-automorphism σ of C, if W(χ)=-1 and L'(1,χ)=0, then L'(1,χ^σ)=0. This is load-bearing: without it, a zero of L'(1,χ) need not force the average L'(1,χ)_av to vanish, and the proof of Theorem 1 for W(χ)=-1 collapses. The manuscript attributes this implication to Gross–Zagier [3], but [3] is an elliptic-curve statement. In the present setting, when h_K>1, the Hecke character χ is attached to an abelian variety of GL2-type of dimension h_K, as the Introduction itself states. What is needed is the Shimura-curve Gross–Zagier formula in the form of Yuan–Zhang–Zhang [18], together with a verification of its Heegner-type hypothesis for every χ in the family. The paper neither states this theorem nor checks its hypotheses, and it does not explain why the relevant height vanishing is Galois-invariant. This gap must be repaired before the central claim can be accepted.
- [§3, Lemma 2, (3.11)–(3.16)] The proof of Lemma 2 is too compressed at the point where the condition on the order of ε_p(w^h w_0) is converted into the congruence w ≡ η_p ω_p x_p mod qO⊗Z_p. Specifically, the existence of m=jp^μ satisfying (3.11) from the p^μ-annihilation assumption, the m-th root extraction in (3.12)–(3.13), and the step from z_1=z_2^h to (3.17)–(3.18) all require p-adic valuation estimates that are not stated. Since Lemma 2 is the bridge to the counting propositions and is used for both Propositions 1 and 2, the exponent bookkeeping and the choice of μ should be written out in full.
minor comments (4)
- [§4, Proposition 5] In the statement of Proposition 5, condition (1) says 'uβ_p − vα_p ≡ 0 mod Z_p', but from the proof and from the earlier definition of M(q,t) the congruence should be modulo qZ_p. In addition, line (4.9) writes max(|u|,|v|) ≤ q^{-1}; this should be ≤ q^c, since the set M(q,q^c) is being counted.
- [§2, (2.43)] In the v=1 case, the bound for the third sum is written with e^{Na/Af}; from (2.38) it should be e^{-Na/Af}.
- [§3, definitions of N(χ,t)] The set N(χ,t) is defined twice: first with conditions (1)–(3) and then again with an additional condition (4) fixing an ideal class. To avoid confusion, the final definition should be stated once and used consistently from that point on.
- [Throughout] There are several typographical errors and OCR-style artifacts (e.g., 'satifies', 'infinte', missing overlines in condition (2) of N_ω(q,t)); the manuscript would benefit from a careful proofreading pass.
Circularity Check
No significant circularity: the proof is self-contained as a derivation and relies only on external published results, with no fitted parameter renamed as a prediction.
full rationale
The paper's derivation chain does not reduce to its own inputs. The class X, root number W(χ), and the Hecke L-functions are defined independently, and the theorem's central claim is that the vanishing order is forced to be 0 or 1 by the sign of W(χ); this is not built into the definition of W(χ), since W(χ) only determines parity. The averaging argument in Section 2 uses two external implications, L(1,χ)=0 ⇒ L(1,χ^σ)=0 and L'(1,χ)=0 ⇒ L'(1,χ^σ)=0, attributed to Shimura [15],[16] and Gross-Zagier [3]; these are not results of the present paper and are not used as definitions. The proof of the key estimates, Propositions 1-5, is carried out internally, with the second half of Proposition 5 explicitly referred to Rohrlich [9], an external published theorem. The Main Lemma and the transition to Roth's theorem are new technical steps and are not equivalent to the theorem being proved. No parameter is fitted to the target data, no uniqueness theorem is imported from the authors' own prior work, and the author has no self-citation chain at all. A possible concern is whether the cited Gross-Zagier CRAS note [3] covers the higher-dimensional abelian varieties that arise when h_K>1, but that is a question of correctness or completeness of the external support, not circularity. Under the stipulated standard, the correct finding is no circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption Vanishing preservation for L-values: for every K-automorphism σ, L(1,χ)=0 implies L(1,χ^σ)=0 (Section 2, averaging argument; attributed to Shimura [15],[16]).
- domain assumption Derivative vanishing preservation: W(χ) = -1 and L'(1,χ) = 0 imply L'(1,χ^σ) = 0 (Introduction and Section 2; attributed to Gross-Zagier [3], with the general CM abelian variety framework from [18]).
- standard math Ridout's p-adic Roth theorem: the inequality (4.1) has finitely many solutions (Section 4; [8]).
- domain assumption Rohrlich's Section 3 counting estimate: M(q,q^d) < q^s for absolute constants d > 1/2, s < 1/2 (Section 4, proof of Proposition 5, deferred to [9]).
- ad hoc to paper Local congruence propagation in Lemma 2: for m = jp^μ with suitable j coprime to p, (w^h w0)^m lies in 1+p^3 O⊗Z_p, and z in 1+p^{3+op(χ)}O⊗Z_p admits an m-th root in 1+p^{op(χ)-μ}O⊗Z_p (Section 3, equations (3.11)-(3.16)).
Cite this review
Pith. "Pith review of On $L$-functions of Hecke characters and anticyclotomic towers." pith.science (2026). https://pith.science/paper/2RYLR372
@misc{pith2026241205867,
author = {Pith},
title = {Pith review of: On $L$-functions of Hecke characters and anticyclotomic towers},
year = {2026},
howpublished = {\url{https://pith.science/paper/2RYLR372}},
note = {Machine review of arXiv:2412.05867}
}
abstract
In this paper, we generalize a work of Rohrlich. Let $K/\mathbb{Q}$ be an imaginary quadratic field and $\phi$ be a Hecke character of $K$ of infinite type (1,0) whose restriction to $\mathbb{Q}$ is the quadratic character corresponding to $K/\mathbb{Q}$. We consider a class of Hecke characters $\chi$, which are anticyclotomic twists of $\phi$ with ramification in a prescribed finite set of primes. We shall prove the central vanishing order of the Hecke $L$-function $L(s,\chi$) attached to each $\chi$ is 0 or 1 depending on the root number $W(\chi)$ for all but finitely many such $\chi$.
Forward citations
Cited by 1 Pith paper
-
Anticyclotomic Iwasawa theory of CM elliptic curves at ramified primes
The authors prove an integral Iwasawa main conjecture (characteristic ideal equals p-adic L-function) for CM elliptic curves at ramified primes, the first in a setting with no trianguline geometric specializations.
Reference graph
Works this paper leans on
-
[9]
D. E. Rohrlich, On L-functions of elliptic curves and anticyclotomic towers , Invent. Math., 75(1984), 383-408
work page 1984
-
[3]
B. H. Gross, D. Zagier, Points de Heegner et d´ eriv´ ees de fonctions L, C. R. Acad. Sc. Paris 297(1983), S´ erie I, 85-87
work page 1983
-
[18]
X. Yuan, S. Zhang, W. Zhang, The Gross–Zagier Formula on Shimura Curves , Princeton University Press, 2013. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, No. 55, Zhong Guan Cun East Road, Beijing, 100190, China. E-mail address: jiahaijun22@mails.ucas.ac.cn 21
work page 2013
- [1]
-
[2]
Greenberg, On the Birch and Swinnerton-Dyer conjecture , Invent
R. Greenberg, On the Birch and Swinnerton-Dyer conjecture , Invent. Math., 72(1983), 241-266
work page 1983
-
[4]
Hecke, Mathematische Werke , Vandenhoeck & Ruprecht, 1959
E. Hecke, Mathematische Werke , Vandenhoeck & Ruprecht, 1959
work page 1959
-
[5]
Iwaniec, Topics in Classical Automorphic Forms , Graduate Studies in Mathematics, Vol
H. Iwaniec, Topics in Classical Automorphic Forms , Graduate Studies in Mathematics, Vol. 17, Amer. Math. Soc., Provindence, Rhode Island, 1997
work page 1997
-
[6]
J. S. Milne, Complex Multiplication, https://www.jmilne.org/math/CourseNotes/cm.html
Show all 18 references
-
[7]
Miyake, Modular Forms, Springer-Verlag, 1989
T. Miyake, Modular Forms, Springer-Verlag, 1989
1989
-
[8]
Ridout, The p-adic generalization of the Thue-Siegel-Roth theorem , Mathematika, 5(1958), 40-48
D. Ridout, The p-adic generalization of the Thue-Siegel-Roth theorem , Mathematika, 5(1958), 40-48
1958
-
[10]
D. E. Rohrlich, On L-functions of elliptic curves and cyclotomic towers , Invent. Math., 75(1984), 409–423
1984
-
[11]
D. E. Rohrlich, Root Numbers, http://math.bu.edu/people/rohrlich/pcmi.pdf
-
[12]
Shimura, On elliptic curves with complex multiplication as factors o f the Jacobians of modular function fields , Nagoya Math
G. Shimura, On elliptic curves with complex multiplication as factors o f the Jacobians of modular function fields , Nagoya Math. J., 43(1971), 199–208
1971
-
[13]
Shimura, On the zeta-function of an abelian variety with complex mult iplication, Ann
G. Shimura, On the zeta-function of an abelian variety with complex mult iplication, Ann. of Math., 94(1971), 504–533
1971
-
[14]
Shimura, Class fields over real quadratic fields and Hecke operators , Ann
G. Shimura, Class fields over real quadratic fields and Hecke operators , Ann. of Math., 95(1972), 130–190. 20
1972
-
[15]
Shimura, The special values of the zeta functions associated with cus p forms , Comm
G. Shimura, The special values of the zeta functions associated with cus p forms , Comm. Pure Appl. Math., 29(1976), 783-804
1976
-
[16]
Shimura, On the periods of modular forms , Math
G. Shimura, On the periods of modular forms , Math. Ann., 229(1977), 211–221
1977
-
[17]
J. H. Silverman, Advanced Topics in the Arithmetic of Elliptic Curves , Graduate Texts in Mathematics, Vol. 151, Springer-Verlag, 1994
1994
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.