Abstract:Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $K$ be an imaginary quadratic field. Consider an odd prime $p$ at which $E$ has good supersingular reduction with $a_p(E)=0$ and which is inert in $K$. Under the assumption that the signed Selmer groups are cotorsion modules over the corresponding Iwasawa algebra, we prove that the Mordell-Weil ranks of $E$ are bounded over any subextensions of the anticyclotomic $\mathbb{Z}_p$-extension of $K$. Additionally, we provide an asymptotic formula for the growth of the $p$-parts of the Tate-Shafarevich groups of $E$ over these extensions.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on studying the growth of the Tate - Shafarevich group of the elliptic curve \(E\) in the anticyclotomic \(Z_p\)-extension under certain specific conditions. Specifically, the article focuses on the growth of the \(p\)-part of the Tate - Shafarevich group when the elliptic curve \(E\) has good supersingular reduction at the odd prime \(p\) and \(p\) is inert in the imaginary quadratic field \(K\).
To understand this problem more clearly, we can summarize as follows:
1. **Background settings**:
- \(E\) is an elliptic curve defined over the field of rational numbers \(\mathbb{Q}\).
- \(K\) is an imaginary quadratic field.
- \(p\) is an odd prime, having good supersingular reduction on \(E\), and \(a_p(E)=0\).
- \(p\) is inert in \(K\) (that is, \(p\) does not decompose in \(K\)).
2. **Research objectives**:
- Prove that the Mordell - Weil rank is bounded in the anticyclotomic \(Z_p\)-extension.
- Provide an asymptotic formula for the growth of the \(p\)-part of the Tate - Shafarevich group.
3. **Assumptions**:
- Assume that the signed Selmer groups are cotorsion modules over the Iwasawa algebra.
4. **Main results**:
- The article proves that the Mordell - Weil rank is bounded.
- Gives an asymptotic formula for the growth of the \(p\)-part of the Tate - Shafarevich group, which involves the Iwasawa invariants \(\lambda^{\pm}\) and \(\mu^{\pm}\).
Expressed in mathematical formulas, for a sufficiently large \(n\), the order \(e_n\) of the \(p\)-part \(X(E / K_n)[p^{\infty}]\) of the Tate - Shafarevich group satisfies the following asymptotic formula:
\[ e_n - e_{n - 1}=
\begin{cases}
2s_{n - 1}+\lambda^-+\varphi(p^n)\mu^--r_{\infty}&\text{if }n\text{ is odd},\\
2s_{n - 1}+\lambda^++\varphi(p^n)\mu^+-r_{\infty}&\text{if }n\text{ is even},
\end{cases}
\]
where \(\varphi(p^n)=p^n - p^{n - 1}\), \(s_n=\sum_{k = 1}^n(- 1)^{n - k}p^k\), and \(r_{\infty}\) is the supremum of the Mordell - Weil rank of \(E\) in the anticyclotomic \(Z_p\)-extension.
Through these results, the article provides an important theoretical basis for understanding and analyzing the arithmetic properties of elliptic curves in the anticyclotomic \(Z_p\)-extension.