Abstract:These are expanded notes for the mini-course given by the author at the 2022 ICTS workshop `Elliptic curves and the special values of $L$-functions'.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the Iwasawa theory of elliptic curves under Eisenstein primes. Specifically, the paper explores the following problems:
1. **Verification of the p - part of the BSD conjecture**: For a given elliptic curve \(E/\mathbb{Q}\) and its Hasse - Weil L - function \(L(E, s)\), the paper studies the verification of the BSD conjecture (Birch and Swinnerton - Dyer conjecture) under specific conditions, especially when \(p\) is an Eisenstein prime. The BSD conjecture predicts the relationship between the order of \(L(E, 1)\) and the rank of \(E(\mathbb{Q})\).
2. **The p - part of the Selmer group and the BSD formula**: The paper explores the structure of the Selmer group and its relationship with the BSD formula. Especially in the cases where the analytic rank is 0 and 1, it verifies the correctness of the \(p\)-part BSD formula. This involves the study of the control theorem of the Selmer group, Mazur's main conjecture, and Perrin - Riou's main conjecture.
3. **The BDP main conjecture under Eisenstein primes**: The paper studies the proof of the BDP main conjecture under Eisenstein primes. The BDP main conjecture involves the relationship between the Selmer group of the elliptic curve \(E\) over the imaginary quadratic field \(K\), its characteristic ideal, and the \(p\)-adic L - function.
4. **Comparison of Iwasawa invariants**: The paper verifies the validity of Mazur's main conjecture and other related conjectures under Eisenstein primes by comparing Iwasawa invariants (such as \(\lambda\) and \(\mu\) invariants).
5. **Application of Heegner points**: The paper uses Heegner points and their Kummer images to construct Selmer classes, and through these classes, it studies the properties of the Selmer group, thereby verifying the \(p\)-part of the BSD conjecture.
In summary, the main objective of this paper is to verify the correctness of the BSD conjecture and its refined forms under Eisenstein primes by means of the Iwasawa theory method, and to explore the properties of the related Selmer group and \(p\)-adic L - function. This research not only promotes the understanding of the arithmetic properties of elliptic curves but also provides new tools and methods for solving the BSD conjecture.