REVIEW 6 minor
$p$-adic $L$-functions for elliptic curves over global function fields
T0 review · 0 major / 6 minor · reviewed 2026-07-14 · grok-4.5
Pith's one-line read A p-adic L-function for ordinary elliptic curves over function fields interpolates Hasse-Weil values and equals the dual Selmer characteristic ideal in several Iwasawa main-conjecture cases.
desk verdict Solid construction of the analytic side of IMC for ordinary elliptic curves over function fields, with a clean Grassmannian reduction for higher-rank towers. 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 p-adic L-function L_{A/L}, obtained by assembling Mazur theta elements into an inverse-limit element in the completed group ring of the ray-class tower and then correcting by the explicit factors t_{A/L}, nabla_{A/L} and dagger_{A/L}; it supplies both the analytic interpolation and the matching specialization maps used to compare characteristic ideals.
What would settle it
An explicit ordinary elliptic curve over a function field together with a concrete Z_p-extension unramified only at ordinary places for which the constructed L_{A/L} fails to lie in the Iwasawa algebra or fails to generate the characteristic ideal of the dual Selmer group.
Extended reading notes
Core claim
An element L_{A/L} in the rationalized Iwasawa algebra is built so that it interpolates the special values of twisted Hasse-Weil L-functions of an ordinary elliptic curve A over a function field K relative to any Z_p^d-extension L/K unramified outside ordinary places; after adjustment by explicit local factors it satisfies the same functional equation and specialization formulae as the characteristic ideal of the dual p^infty-Selmer group, and the resulting main conjecture holds in the listed cases with a Grassmannian reduction for higher d.
Load-bearing premise
The tower L/K may ramify only at places where the elliptic curve has ordinary (good ordinary or multiplicative) reduction; additive places are forbidden from ramifying.
Editorial extensions
If this is right
- The main conjecture holds for every constant ordinary elliptic curve and every such Z_p^d-extension.
- Under global semistable reduction the mu-invariants of L_{A/L} and of the dual Selmer group coincide, and the Selmer group is non-torsion if and only if L_{A/L} vanishes.
- For d greater than or equal to 3 the full main conjecture is equivalent to the same statement for all intermediate Z_p^2-extensions in a nonempty Zariski-open subset of the Grassmannian.
- A modified form of the conjecture that removes augmentation ideal factors reduces even for rank-one intermediate extensions to a Zariski-open set of Z_p-extensions.
Reading between the lines
- Specialization and restriction maps may transport known main-conjecture or BSD results from the constant-field tower to more general ordinary towers.
- The Grassmannian reduction isolates the rank-two case as the essential remaining verification under the ordinary-reduction hypothesis.
- Analogous constructions for higher-dimensional ordinary abelian varieties would require only control of local cohomology at multiplicative places.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs a p-adic L-function L_{A/L} in Q_p · Λ for an ordinary elliptic curve A over a global function field K of characteristic p and a Z_p^d-extension L/K (d ≥ 0 allowed) unramified outside ordinary places. The function is built from Mazur’s theta elements and Gauss sums, interpolates twisted Hasse–Weil special values (Lemma 4.1.1), and is shown to satisfy a functional equation (Prop. 4.2.3) and specialization formulae (Prop. 4.3.1) that match those already known for the characteristic ideal of the dual p^∞-Selmer group X_L. The Iwasawa main conjecture (L_{A/L} generates CH_Λ(X_L)) is proved when L = K, when A is constant, when A is semistable and L is the constant-field Z_p-extension, and when X_L is non-torsion; for d ≥ 3 the conjecture for L is equivalent to the conjecture for all intermediate Z_p^{2}-extensions in a nonempty Zariski-open subset of the Grassmannian. A modified form of the conjecture is treated for e = 1.
Significance. The work supplies a complete analytic side for the Iwasawa main conjecture in the ordinary function-field setting and systematically extends the local correction factors ϑ_{L/L'} and †_{A/L} to non-split multiplicative places. The group-ring reduction (Props. 6.1.1, 6.4.1) that reduces the d ≥ 3 case to a Zariski-open set of Z_p^{2}-extensions is of independent interest and may apply elsewhere. The results rest on a careful matching of interpolation formulae with previously established algebraic specialization and restriction maps, and they recover or strengthen several earlier theorems (BSD, constant-curve IMC, constant-field IMC). The construction is independent of the Selmer group, so there is no circularity.
minor comments (6)
- After Proposition 1.1.1 the text reads “propersition”; correct to “proposition”.
- In the proof of Proposition 3.3.4 the symbol “tildeL” appears; replace by the consistent notation ˜L.
- Section 5.1.1, product formula (55): the phrase “with multiplicity p. in of both sides” is ungrammatical; rephrase for clarity.
- Definition 2.1.4(c) and the accompanying footnote correct an earlier erratum; a brief parenthetical remark that the present definition supersedes Tan14, Def. 1.3(c) would help the reader.
- The density of notation in §§2–3 (especially the many local factors ϱ, ϑ, †, ∇, t) would be eased by a short “notation summary” table or paragraph at the end of the introduction.
- In Lemma 4.2.2 the comparison with the Stickelberger element of LLTT16a is stated only for L ≠ K; a one-line remark on the L = K case would complete the picture.
Circularity Check
No significant circularity: analytic p-adic L-function built independently from Mazur theta elements; algebraic side and special cases supplied by prior independent results; matching via interpolation/specialization is genuine content.
full rationale
The p-adic L-function is assembled from Mazur's theta elements Θ_D (Thm 3.1.1, citing Tan93/Mazur) via the standard MTT-style limit construction of ȳL_{A,T} (Def 3.2, Lem 3.2.1-2), then adjusted by the explicit local factors t, abla, † (Defs 2.1.1-2, 3.3.1, 3.4.1) to obtain L_{A/L}. Interpolation (Lem 4.1.1), functional equation (Prop 4.2.3) and specialization (Prop 4.3.1) are derived directly from these definitions and the product formulae for L-values/Gauss sums. The algebraic characteristic ideal CH_Λ(X_L) and its specialization (Prop 2.1.5) come from prior work (Tan14, LLTT18); equality in special cases (Thms 4.4.1-3) likewise rests on BSD or earlier IMC results (LLTT16a,b) that are independent of the present analytic object. The d≥3 reduction (Props 6.1.1, 6.4.1) is pure formal power-series/group-ring theory once specialization holds. Self-citations supply the algebraic input and base cases but do not force the equality by definition; the paper's contribution is the matching. No fitted parameters, no self-definitional loop, and no uniqueness theorem imported solely to close a circle. Score 1 reflects only the ordinary (non-circular) reliance on the author's prior algebraic papers.
Assumptions & free parameters
assumptions (4)
- domain assumption Characteristic ideals of finitely generated modules over Z_p[[Γ]] satisfy the algebraic functional equation and specialization formulae of Tan14 / LLTT18.
- domain assumption BSD holds for elliptic curves over global function fields (Tate, Milne, Kato–Trihan).
- domain assumption Mazur’s theta elements Θ_D interpolate twisted Hasse–Weil values (Tan93).
- ad hoc to paper Ordinary (good ordinary or multiplicative) reduction at all ramified places of L/K.
invented entities (1)
-
p-adic L-function L_{A/L} (and intermediate objects ˜L_{A,T}, ˆL_{A/L})
Cite this review
Pith. "Pith review of $p$-adic $L$-functions for elliptic curves over global function fields." pith.science (2026). https://pith.science/paper/SM7A5PAX
@misc{pith2026260310576,
author = {Pith},
title = {Pith review of: $p$-adic $L$-functions for elliptic curves over global function fields},
year = {2026},
howpublished = {\url{https://pith.science/paper/SM7A5PAX}},
note = {Machine review of arXiv:2603.10576}
}
abstract
We introduce a $p$-adic $L$-function $\mathscr L_{A/L}$ associated to each ordinary elliptic curve $A$ over a global function field $K$ of characteristic $p$ together with a $\mathbb{Z}_{p}^{d}$-extension $L/K$, $d=0$ allowed, unramified outside a finite set of places where $A$ has ordinary (good ordinary or multiplicative) reductions. This $\mathscr L_{A/L}$ is characterized by its interpolation of the special values of twisted Hasse-Weil $L$-functions. We show that it satisfies the desired functional equation, specialization formula, and restriction formula in connection with the characteristic ideal of the dual $p^\infty$-Selmer group of $A/L$. The Iwasawa main conjecture having $\mathscr{L}_{A / L}$ as the analytic side is proven in several cases. In the $d\geq 3$ case, the conjecture holds for $A/L$ if and only if it holds for all intermediate $\mathbb{Z}_p^2$-extensions $L'/K$ belonging to a given non-empty Zariski open subset of the Grassmannian $\mathrm{Gr}(d-2,d)(\mathbb{Z}_p)$. Recently, subject to a technical $\mu$-invariant hypothesis, if $A/K$ has semistable reduction everywhere, the Iwasawa main conjecture is proven for $A$ over $L$ \cite{ttt26}.
Reviewed July 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.