A rank zero $p$-converse to a theorem of Gross--Zagier, Kolyvagin and Rubin

Basic Information

• Paper ID: 2506.03465
• Title: A rank zero $p$-converse to a theorem of Gross--Zagier, Kolyvagin and Rubin
• Authors: Ashay A. Burungale, Ye Tian
• Classification: math.NT (Number Theory)
• Publication Date: arXiv preprint, October 11, 2025
• Paper Link: https://arxiv.org/abs/2506.03465

Abstract

This paper investigates the $p$-converse theorem for elliptic curves with complex multiplication. Let $E$ be a complex multiplication (CM) elliptic curve defined over $\mathbb{Q}$, and let $p$ be a prime. The authors prove that: ${\mathrm{corank}}_{\mathbb{Z}_{p}} {\mathrm{Sel}}_{p^{\infty}}(E/\mathbb{Q})=0 \implies {\mathrm{ord}}_{s=1}L(s,E/\mathbb{Q})=0$ where ${\mathrm{Sel}}_{p^{\infty}}(E/\mathbb{Q})$ is the $p^{\infty}$-Selmer group and $L(s,E/\mathbb{Q})$ is the complex $L$-function. Combined with Smith's work on the distribution of $2^\infty$-Selmer groups, this yields the first instance of the parity Goldfeld conjecture: for 50% of positive squarefree integers $n$, we have ${\mathrm{ord}}_{s=1}L(s,E^{(n)}/\mathbb{Q})=0$, where $E^{(n)}: ny^{2}=x^{3}-x$ is a quadratic twist of the congruent number elliptic curve $E: y^{2}=x^{3}-x$.

Research Background and Motivation

Core Problem

The central problem addressed in this paper is the $p$-converse theorem for elliptic curves, which aims to deduce analytic properties of $L$-functions from properties of Selmer groups. This represents an important direction in the study of the Birch and Swinnerton-Dyer (BSD) conjecture.

Research Significance

1. Core Content of the BSD Conjecture: The BSD conjecture connects arithmetic properties of elliptic curves (such as the rank of rational points) with analytic properties (such as the order of the $L$-function).
2. Value of Reverse Thinking: While the classical theorems of Gross-Zagier, Kolyvagin, and Rubin provide implications from analytic to arithmetic properties, the $p$-converse theorem studies the reverse implication.
3. Goldfeld Conjecture: This is an important conjecture in elliptic curve theory, predicting the distribution of analytic ranks among quadratic twists of elliptic curves.

Limitations of Existing Methods

1. Restrictions in Rubin's Early Work: Rubin's work in the 1990s required the condition $p \nmid \#O_K^×$ and necessitated different treatments for ordinary and non-ordinary primes.
2. Prime Restrictions: Previous results primarily addressed primes with good ordinary reduction.
3. Technical Complexity: The non-ordinary case lacked suitable $p$-adic $L$-functions.

Research Motivation

The authors aim to establish a unified framework capable of handling the rank zero $p$-converse theorem for CM elliptic curves for arbitrary primes $p$, with applications to the study of the Goldfeld conjecture.

Core Contributions

1. Unified $p$-Converse Theorem: Proves the rank zero $p$-converse theorem for arbitrary primes $p$ and CM elliptic curves.
2. Proof of Kato's Main Conjecture: Establishes Kato's main conjecture in the CM case (after tensoring with $\mathbb{Q}_p$).
3. First Instance of Goldfeld Conjecture: Proves the parity Goldfeld conjecture for congruent number elliptic curves.
4. Technical Innovation: Based on Iwasawa theory and zeta elements, avoiding the distinction between ordinary and non-ordinary cases.
5. Extended Applications: Provides analogous results for elliptic curves over imaginary quadratic fields.

Detailed Methodology

Theoretical Framework

The paper's approach is based on Iwasawa theory and Kato's main conjecture, with the core idea of reducing the $p$-converse theorem to a proof of the main conjecture.

Kato's Main Conjecture

Let $f \in S_k(\Gamma_1(N))$ be an elliptic newform and $p$ a prime. Let $F$ be the Hecke field and $\lambda$ a prime above $p$. The key objects include:

1. Iwasawa Cohomology: $H^q(V_{F_\lambda}(f)) = H^q(T) \otimes \mathbb{Q}$
2. Beilinson-Kato Elements: $Z(f) \subset H^1(V_{F_\lambda}(f))$
3. Main Conjecture Statement: $\xi(H^2(V_{F_\lambda}(f))) = \xi(H^1(V_{F_\lambda}(f))/Z(f))$

Equivariant Main Conjecture

For an imaginary quadratic field $K$, consider:

• $h^1 = \lim_{\leftarrow} (O_{K'}[1/p]^× \otimes_{\mathbb{Z}} \mathbb{Z}_p)$ (elliptic units)
• $h^2 = \lim_{\leftarrow} \text{Cl}_{K'}(p)$ ($p$-part of ideal class groups)
• Equivariant main conjecture: $\xi(h^2_{\mathbb{Q}}) = \xi((h^1/z)_{\mathbb{Q}})$

Technical Path

Step One: From Equivariant Main Conjecture to Kato's Main Conjecture Using Kato's establishment of the connection between Beilinson-Kato elements and elliptic units (in 12, §15), the authors reduce Kato's main conjecture in the CM case to the equivariant main conjecture for imaginary quadratic fields.

Step Two: Proof of the Equivariant Main Conjecture The authors employ results of Johnson-Leung and Kings (Theorem 2.1), which build upon Rubin's pioneering work.

Step Three: Derivation of the $p$-Converse Theorem The $p$-converse theorem is derived from Kato's main conjecture through:

• Vanishing of Bloch-Kato Selmer groups
• Application of explicit reciprocity laws
• Deduction that the $L$-function does not vanish at the critical point

Key Innovations

1. Unified Treatment: No distinction between ordinary and non-ordinary primes.
2. Application of Beilinson-Kato Elements: These elements did not appear in Rubin's approach.
3. Removal of Restrictive Conditions: The condition $p \nmid \#O_K^×$ is not required.
4. Modular Approach: Elliptic curves are handled through the language of modular forms.

Experimental Setup

This is a pure theoretical mathematics paper without computational experiments; rather, it verifies theoretical results through rigorous mathematical proofs.

Application Verification

Congruent Number Elliptic Curve: $E: y^2 = x^3 - x$

• This is an elliptic curve with complex multiplication.
• Its quadratic twists are $E^{(n)}: ny^2 = x^3 - x$.
• The authors consider positive squarefree integers $n \equiv 1, 2, 3 \pmod{8}$.

Smith's Distribution Result: Theorem 3.3 shows that for a density-one set of positive squarefree integers $n \equiv 1, 2, 3 \pmod{8}$, $\text{corank}_{\mathbb{Z}_2} \text{Sel}_{2^{\infty}}(E^{(n)}/\mathbb{Q}) = 0$

Combined Application: By applying the authors' 2-converse theorem (Theorem 1.1) together with Smith's result, the first instance of the Goldfeld conjecture is obtained.

Main Results

Core Theorems

Theorem 1.1 ($p$-Converse Theorem): Let $E$ be an elliptic curve defined over an imaginary quadratic field $K$ with complex multiplication by an order of $K$. Let $p$ be a prime. Then $\text{corank}_{\mathbb{Z}_p} \text{Sel}_{p^{\infty}}(E/K) = 0 \implies \text{ord}_{s=1} L(s, E/K) = 0$ In particular, if $E$ descends to $\mathbb{Q}$, the conclusion holds.

Theorem 1.2 (Goldfeld Conjecture): The parity Goldfeld conjecture holds for the congruent number elliptic curve $E: y^2 = x^3 - x$, namely, for a density-one set of positive squarefree integers $n \equiv 1, 2, 3 \pmod{8}$, $\text{ord}_{s=1} L(s, E^{(n)}/\mathbb{Q}) = 0$

Theorem 2.6 (Kato's Main Conjecture): Let $f \in S_k(\Gamma_1(N))$ be a CM newform and $p$ a prime. Then $\xi(H^2(V_{F_\lambda}(f))) = \xi(H^1(V_{F_\lambda}(f))/Z(f))$

Technical Results

Proposition 1.3: Let $E$ be an elliptic curve defined over an imaginary quadratic field $K$ with complex multiplication by an order of $K$. Assume that 3 is not inert in $K$. Then for at least 50% of $t \in K^×/(K^×)^2$, $\text{ord}_{s=1} L(s, E^{(t)}/K) = 0$

Related Work

Historical Development

1. Classical Results: Coates-Wiles, Gross-Zagier, Kolyvagin, and Rubin established implications from analytic to arithmetic properties.
2. Rubin's Pioneering Work: In the 1990s, proved the rank zero $p$-converse theorem (with restrictive conditions).
3. Recent Progress: Skinner and Zhang have revitalized research on the $p$-converse theorem.

Technical Foundations

1. Iwasawa Theory: Provides the framework for studying $p$-adic $L$-functions and Selmer groups.
2. Kato's Work: Establishes the theory of Beilinson-Kato elements and the main conjecture.
3. Johnson-Leung and Kings: Prove key cases of the equivariant main conjecture.
4. Smith's Statistical Results: Provide precise information on the distribution of Selmer groups.

Innovations in This Paper

Compared to Rubin's approach, the method in this paper:

• Applies to arbitrary primes $p$
• Does not require distinguishing ordinary and non-ordinary cases
• Employs Beilinson-Kato elements
• Avoids the condition $p \nmid \#O_K^×$

Conclusions and Discussion

Main Conclusions

1. Theoretical Breakthrough: First proof of the rank zero $p$-converse theorem for CM elliptic curves for arbitrary primes.
2. Successful Application: Resolves the first instance of the Goldfeld conjecture.
3. Unified Method: Provides a unified framework for handling $p$-converse theorems.
4. Technical Progress: Advances research on Kato's main conjecture in the CM case.

Limitations

1. CM Restriction: Results apply only to elliptic curves with complex multiplication.
2. Tensor Limitation: The proof of Kato's main conjecture requires tensoring with $\mathbb{Q}_p$.
3. Special Cases: The Goldfeld conjecture is proved only for congruent number curves.
4. Technical Assumptions: Some results require additional technical conditions (e.g., 3 is not inert).

Future Directions

1. Non-CM Case: Extend results to elliptic curves without complex multiplication.
2. Integral Versions: Study integral forms of the main conjecture.
3. Other Curves: Find additional instances of the Goldfeld conjecture.
4. 2-Ordinary Curves: Consider 2-ordinary non-CM curves.

In-Depth Evaluation

Strengths

1. Theoretical Depth: Combines multiple profound mathematical theories (Iwasawa theory, modular form theory, arithmetic geometry).
2. Methodological Innovation: Provides a new unified approach to handling $p$-converse theorems.
3. Applied Value: Resolves special cases of important conjectures.
4. Technical Completeness: Rigorous proofs with clear logical structure.

Technical Contributions

1. Main Conjecture Proof: Complete proof of Kato's main conjecture in the CM case.
2. Connection Establishment: Clarifies the relationship between the equivariant main conjecture and Kato's main conjecture.
3. Application Demonstration: Showcases the power of abstract theory in concrete problems.

Shortcomings

1. Limited Scope: Restricted to CM elliptic curves.
2. Technical Complexity: Requires extensive advanced background knowledge.
3. Computational Difficulty: Theoretical results are difficult to convert into effective algorithms.

Impact Assessment

1. Academic Impact: Advances research on the BSD conjecture and Goldfeld conjecture.
2. Methodological Impact: Provides new research perspectives for related problems.
3. Subsequent Research: Establishes foundations for research on non-CM cases.

Applicable Scenarios

The methods and results in this paper are applicable to:

1. Arithmetic research on CM elliptic curves.
2. Study of the distribution of zeros of $L$-functions.
3. Analysis of Selmer group structures.
4. Verification of special cases of the BSD conjecture.

References

The paper cites important literature in the field, including:

• Kato's work on $p$-adic Hodge theory and zeta function values of modular forms
• Rubin's work on the main conjecture in Iwasawa theory for imaginary quadratic fields
• Smith's recent results on the distribution of Selmer groups
• Johnson-Leung and Kings' research on the equivariant main conjecture

Overall Assessment: This is a high-quality theoretical number theory paper that achieves significant progress in arithmetic theory of elliptic curves. Although results are limited to the CM case, the methods are universal and establish a solid foundation for further research. In particular, the proof of the first instance of the Goldfeld conjecture is of significant milestone importance.