Abstract:Let $E_{/\mathbb{Q}}$ be an elliptic curve with rank $E(\mathbb{Q})=0$. Fix an odd prime $p$, a positive integer $n$ and a finite abelian extension $K/\mathbb{Q}$ with rank $E(K) = 0$. In this paper, we show that there exist infinitely many extensions $L/K$ such that $L/\mathbb{Q}$ is Galois with $\operatorname{Gal}(L/\mathbb{Q}) \simeq \operatorname{Gal}(K/\mathbb{Q}) \ltimes \mathbb{Z}/p^n\mathbb{Z}$, and rank $E(L)=0$. This is an extension of earlier results on rank stability of elliptic curves in cyclic extensions of prime power order to a non-abelian setting. We also obtain an asymptotic lower bound for the number of such extensions, ordered by their absolute discriminant.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the rank stability of elliptic curves in specific non - abelian extensions. Specifically, the researchers hope to prove that for an elliptic curve \(E\) defined over the field of rational numbers \(\mathbb{Q}\), when its rank in a certain finite abelian extension \(K / \mathbb{Q}\) is zero, there exist infinitely many extensions \(L / K\) such that \(L / \mathbb{Q}\) is a Galois extension and the Galois group is isomorphic to \(\text{Gal}(K / \mathbb{Q}) \ltimes \mathbb{Z}/p^n\mathbb{Z}\), and the rank of the elliptic curve \(E\) in these extensions still remains zero.
### Main contributions
1. **Generalized previous results**: Previous research mainly focused on rank stability in cyclic extensions (i.e., the Galois group is \(\mathbb{Z}/p\mathbb{Z}\)), while this paper generalizes it to more complex non - abelian extensions.
2. **Provided a lower bound estimate**: It not only proves the existence of infinitely many such extensions but also gives an asymptotic lower bound estimate of the number of these extensions with respect to the absolute discriminant.
### Specific content
The paper analyzes the behavior of elliptic curves in these extensions by introducing the methods of Selmer groups and Galois cohomology. In particular, through the following steps:
- **Define an appropriate Selmer structure**: Consider global Galois 1 - cohomology classes that satisfy certain local conditions.
- **Parameterize \((G, K)\)-extensions that satisfy specific local conditions**: Use Selmer classes to parameterize these extensions.
- **Calculate the number of cohomology classes that satisfy the conditions**: Apply the Wiles formula to relate the size of the Selmer group to the dual Selmer group and calculate in combination with the local terms generated by the Selmer conditions.
### Conclusion
Finally, the authors prove that under the given conditions, there exist infinitely many \((G, K)\)-extensions \(L / K\) such that \(\text{rank } E(L)=0\). In addition, they also obtain an asymptotic lower bound estimate of the number of these extensions, which provides an important basis for further understanding the rank change of elliptic curves in different extensions.
### Related formulas
The key formulas involved in the paper include:
- Definition of the Selmer group:
\[
\text{Sel}_p(E / L):=\ker\left(H^1(L, E[p]) \to \prod_{v \in \Omega_L} H^1(L_v, E)[p]\right)
\]
- Relationship between the Selmer group and the dual Selmer group:
\[
\#\text{Sel}_p(E / L)=\#\text{Sel}_{p^*}(E / L)^{\vee}
\]
where \(\text{Sel}_{p^*}(E / L)^{\vee}\) represents the dual Selmer group.
These results not only deepen our understanding of the behavior of elliptic curves in different extensions but also provide new perspectives and tools for other related problems in number theory.