Abstract:We prove non-vanishing theorems for the central values of $L$-series of certain quadratic twists of the Gross elliptic curve with complex multiplication by the imaginary quadratic field $\mathbb{Q}(\sqrt{-q})$, where $q$ is any prime congruent to $7$ modulo $8$. This completes the non-vanishing theorems proven by Coates and the second author in which the primes $q$ were taken to be congruent to $7$ modulo $16$. From this, we obtain the finiteness of the Mordell-Weil group and the Tate-Shafarevich group for these curves. For a special prime $\mathfrak{P}$ lying above the prime $2$, we also prove a rank zero converse theorem and the $\mathfrak{P}$-part of the Birch-Swinnerton-Dyer conjecture for the higher-dimensional abelian varieties obtained by restriction of scalars.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to prove that the central L - values of a specific family of elliptic curves are non - zero. Specifically, the author focuses on the non - zero problem of the central L - values of the Gross elliptic curve family with complex multiplication property (given by the imaginary quadratic field \( \mathbb{Q}(\sqrt{-q}) \)) under certain quadratic twists, where \( q \) is a prime number congruent to 7 modulo 8.
### Main problem description
1. **Non - zero of central L - values**:
- The author's goal is to prove that for certain quadratic twists \( A(R) \) of the Gross elliptic curve \( A \), its central L - value \( L(A(R)/H, 1)\neq 0 \) on the Hilbert class field \( H \).
- Here \( R \) is a special class of square - free positive integers of the form \( R = r_1\cdots r_k \), where \( r_i\equiv 1\pmod{4} \) and inertially decomposes in \( K \).
2. **Finiteness of Mordell - Weil group and Tate - Shafarevich group**:
- By proving that the central L - values are non - zero, one can further deduce the finiteness of the Mordell - Weil group and Tate - Shafarevich group of these elliptic curves.
- In particular, for any \( R\in R \), the Mordell - Weil group \( A(R)(H) \) and the Tate - Shafarevich group \( X(A(R)/H) \) are both finite.
3. **Partial verification of Birch - Swinnerton - Dyer conjecture**:
- The author also proves the Birch - Swinnerton - Dyer conjecture for the P - part of the high - dimensional abelian varieties related to these elliptic curves under restricted scalars.
### Methods and techniques
- **Iwasawa theory**: The author uses Iwasawa theory, especially developing this theory at the prime number \( p = 2 \), to deal with technical difficulties.
- **Selmer groups and conjugate operators**: By studying Selmer groups and their conjugate operators, the author is able to bypass the non - triviality problem of \( X(F_\infty) \) and calculate its P - adic valuation.
- **Infinite descent method**: Combining various descent methods at the finite and infinite levels, the author proves the key results.
### Conclusions
The main conclusions of this paper are:
- For any \( R\in R \), the central L - value \( L(A(R)/H, 1)\neq 0 \).
- This result not only applies to the case of \( q\equiv 7\pmod{16} \), but also covers the new case of \( q\equiv 15\pmod{16} \), which could not be handled in previous work.
- Through these results, the author proves the finiteness of the Mordell - Weil group and Tate - Shafarevich group of the relevant elliptic curves and partially verifies the Birch - Swinnerton - Dyer conjecture.
This work fills the gaps in previous research and provides new tools and methods for further understanding the arithmetic properties of elliptic curves with complex multiplication.