A. Agboola
Abstract:We study Rubin's variant of the $p$-adic Birch and Swinnerton-Dyer conjecture for CM elliptic curves concerning certain special values of the Katz two-variable $p$-adic $L$-function that lie outside the range of $p$-adic interpolation.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper mainly studies a variant of the p - adic Birch and Swinnerton - Dyer conjecture related to CM elliptic curves (elliptic curves with complex multiplication). Specifically, the author A. Agboola explores the behavior of Katz's two - variable p - adic L - function at certain special values that are outside the range of p - adic interpolation.
#### Main problems
1. **Variant of the p - adic Birch and Swinnerton - Dyer conjecture**:
- For the case where the rank \( r\geq1\), Rubin proposed a variant of the p - adic Birch and Swinnerton - Dyer conjecture regarding \( L_p^*(s)\), predicting that \( \text{ord}_{s = 1}L_p^*(s)=r - 1\), and gives the formula for \( \lim_{s\rightarrow1}\frac{L_p^*(s)}{(s - 1)^{r - 1}}\).
- For the case where the rank \( r = 0\), the analysis becomes complicated, especially when \( \text{ord}_{s = 1}L_p(s)=0\). It is expected that \( \text{ord}_{s = 1}L_p^*(s)\) is odd. At this time, the author attempts to verify the conjecture that \( \text{ord}_{s = 1}L_p^*(s)=1\) and calculate \( \lim_{s\rightarrow1}\frac{L_p^*(s)}{s - 1}\).
2. **Study of Iwasawa modules**:
- The author studies an Iwasawa module that is naturally related to \( L_p^*(s)\), namely the Pontryagin dual of \( X_{p^*}(K_\infty^*, W^*)\), where \( K_\infty^*\) is a certain \( Z_p\) - extension of \( K\).
- By analyzing the characteristic power series \( H_K\) of this Iwasawa module, the author proves that the above conjecture is correct and gives some key results.
3. **Properties of height pairings and Selmer groups**:
- Some restricted Selmer groups are defined and their properties are studied.
- A p - adic height pairing \( [\cdot,\cdot]_{K,p^*}\) is constructed, and the non - degeneracy conditions and related formulas are given respectively for the cases where the rank \( r = 0\) and \( r\geq1\).
### Conclusion
Through these studies, the author not only verifies the conjecture about the order of \( L_p^*(s)\) at \( s = 1\), but also provides some new proof methods and a deeper understanding, especially in the case where the rank is zero, which is of great significance for further understanding p - adic L - functions and their applications in elliptic curves.
---
If you have more specific questions or need further explanations, please feel free to let me know!