Abstract:We upgrade Howard's divisibility toward Perrin-Riou's Heegner point Main Conjecture to an equality under some mild conditions. We do this by exploiting Wei Zhang's proof of the Kolyvagin conjecture. The main ingredient is an improvement of Howard's Kolyvagin system formalism. As another consequence of it, we establish the equivalence between this main conjecture and the primitivity of the Kolyvagin system in certain cases, by also exploiting a explicit reciprocity law for Heegner points.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to a key conjecture in the field of number theory - Perrin - Riou's Heegner Point Main Conjecture. Specifically, the author aims to upgrade Howard's divisibility result to an equality relationship and prove this conjecture under certain mild conditions. In addition, the author also explores the equivalence relationship between the primitivity of the Kolyvagin system and the main conjecture.
### Problem Background
The paper mainly focuses on the following aspects:
1. **Heegner Points and Kolyvagin Systems**: These concepts play important roles in the arithmetic study of elliptic curves. Heegner points are special points that have important arithmetic properties on elliptic curves. The Kolyvagin system is an algebraic structure constructed through Heegner points and is used to study the Selmer group of elliptic curves.
2. **Iwasawa Theory**: This is a tool for studying infinite extensions in number theory, especially for studying the p - adic Selmer group of elliptic curves and its relationship with the p - adic L - function.
3. **Perrin - Riou's Main Conjecture**: This conjecture predicts the relationship between a cohomology class κHg1 constructed from Heegner points and the characteristic ideal of a certain Selmer group. Specifically, it asserts that:
\[
\text{char}(X_{\text{tor}}) = \left(\text{char}\left(\frac{H^1_{F_\Lambda}(K, T)}{\kappa_{Hg}^1}\right)\right)^2
\]
where \(\text{char}(M)\) represents the characteristic ideal of the Λ - module \(M\).
### Main Contributions
The author's main contributions include:
1. **Improvement of Howard's Formalism**: By improving Howard's Kolyvagin system formalism, the author successfully upgrades Howard's divisibility result to an equality relationship. This is mainly achieved by using Wei Zhang's proof of the Kolyvagin conjecture.
2. **Establishment of an Equivalence Relationship**: The author establishes the equivalence relationship between the main conjecture and the primitivity of the Kolyvagin system. Specifically, in some cases, these two conditions are equivalent.
3. **Verification in New Cases**: Through the above improvements, the author is able to verify Howard's main conjecture in more cases, especially when the analytic rank is greater than 1.
### Conclusion
Through these works, the author not only deepens the understanding of Perrin - Riou's main conjecture but also provides a new method to verify this important conjecture. This is of great significance for the arithmetic study of elliptic curves.