Abstract:We provide a formula for the order of the Tate--Shafarevich group of elliptic curves over dihedral extensions of number fields of order $2n$, up to $4^{th}$ powers and primes dividing $n$. Specifically, for odd $n$ it is equal to the order of the Tate--Shafarevich group over the quadratic subextension. A similar formula holds for even $n$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the growth law of the Tate - Shafarevich group (denoted as \( \text{X} \)) of elliptic curves in dihedral extensions. Specifically, the author provides a formula to calculate, under specific conditions, the order of the Tate - Shafarevich group of elliptic curves under dihedral extensions, accurate to the 4 - th power and primes that can divide the extension degree \( n \).
### Main problems:
1. **Calculating the order of the Tate - Shafarevich group**: For a given elliptic curve \( E \) and a dihedral extension \( F/k \), how to determine the order of \( \text{X}(E/F)[p^{\infty}] \)?
2. **Comparing Tate - Shafarevich groups under different extensions**: Especially when \( n \) is odd, compare it with the Tate - Shafarevich group under the quadratic sub - extension \( K \); when \( n \) is even, compare it with the Tate - Shafarevich groups under the three quadratic sub - extensions \( K_1, K_2, K_3 \).
### Specific conclusions:
- **Odd \( n \)**: If \( n \) is odd and \( K \) is a quadratic extension contained in \( F \), then there exists an integer \( t \) such that
\[
\frac{|\text{X}(E/F)[p^{\infty}]|}{|\text{X}(E/K)[p^{\infty}]|}=p^{4t}
\]
- **Even \( n \)**: If \( n \) is even and \( K_1, K_2, K_3 \) are three quadratic extensions contained in \( F \), then there exists an integer \( t \) such that
\[
\frac{|\text{X}(E/F)[p^{\infty}]|}{|\text{X}(E/K_1)[p^{\infty}]||\text{X}(E/K_2)[p^{\infty}]||\text{X}(E/K_3)[p^{\infty}]|}=p^{4t}
\]
### Important background:
- The Tate - Shafarevich group \( \text{X}(E/k) \) is an important arithmetic invariant of the elliptic curve \( E \) over the number field \( k \), and it is very difficult to calculate its order.
- Cassels proved that if \( \text{X}(E/k) \) is finite, then its order must be a square number.
### Applications and significance:
Through these results, the author can better understand the variation law of the Tate - Shafarevich group under different extensions, especially in dihedral extensions. This is helpful for further research on the arithmetic properties of elliptic curves, such as analytic rank, congruent number conjecture, etc.
### Additional remarks:
- When \( p\mid n \) or \( n \) is not a dihedral extension, the above conclusions may not hold.
- The paper also discusses the Galois module structure and provides more detailed structural information about \( \text{X}(E/F)[p^{\infty}] \) and \( \text{X}(E/K)[p^{\infty}] \).
In conclusion, the main contribution of this paper is to provide a new method to calculate and compare the order of the Tate - Shafarevich group of elliptic curves under dihedral extensions, which is of great significance for in - depth understanding of the arithmetic properties of elliptic curves.