Abstract:We investigate the rank growth of elliptic curves from $\mathbb{Q}$ to $S_4$ and $A_4$ quartic extensions $K/\mathbb{Q}$. In particular, we are interested in the quantity $\mathrm{rk}(E/K) - \mathrm{rk}(E/\mathbb{Q})$ for fixed $E$ and varying $K$. When $\mathrm{rk}(E/\mathbb{Q}) \leq 1$, with $E$ subject to some other conditions, we prove there are infinitely many $S_4$ quartic extensions $K/\mathbb{Q}$ over which $E$ does not gain rank, i.e. such that $\mathrm{rk}(E/K) - \mathrm{rk}(E/\mathbb{Q}) = 0$. To do so, we show how to control the 2-Selmer rank of $E$ in certain quadratic extensions, which in turn contributes to controlling the rank in families of $S_4$ and $A_4$ quartic extensions of $\mathbb{Q}$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the rank growth of elliptic curves in specific quartic extensions. Specifically, the author studies the rank growth of the elliptic curve \(E\) when extending from the field of rational numbers \(\mathbb{Q}\) to the \(S_4\) and \(A_4\) quartic extensions \(K / \mathbb{Q}\). In particular, the author focuses on the quantity \(\text{rk}(E / K)-\text{rk}(E / \mathbb{Q})\), that is, the rank growth from \(\mathbb{Q}\) to \(K\).
### Main problems of the paper
1. **Control of rank growth**: The author attempts to prove that for elliptic curves \(E\) under certain specific conditions, there are infinitely many \(S_4\) or \(A_4\) quartic extensions \(K / \mathbb{Q}\) such that the elliptic curve \(E\) does not increase in rank in these extensions, that is, \(\text{rk}(E / K)-\text{rk}(E / \mathbb{Q}) = 0\).
2. **Application of Selmer groups**: To achieve this goal, the author controls the rank growth of elliptic curves by studying Selmer groups in quadratic extensions. In particular, the author shows how to further control the rank growth in higher - degree non - commutative extensions by controlling the 2 - Selmer groups in certain quadratic extensions.
### Specific research content
- **Selmer groups of elliptic curves**: The author uses Selmer groups (especially 2 - Selmer groups) to study the rank of elliptic curves over different fields. The Selmer group is an object closely related to the Mordell - Weil group of the elliptic curve and can be used to estimate the rank of the elliptic curve.
- **Quadratic twists**: The author introduces the concept of "square - norm twists", which is a special kind of quadratic twist used to preserve the properties associated with \(S_4\) quartic extensions.
- **Existence of infinitely many extensions**: The author proves that under certain conditions, there are infinitely many \(S_4\) or \(A_4\) quartic extensions such that the rank of the elliptic curve does not increase.
### Main conclusions
The author proves that for elliptic curves \(E\) satisfying specific conditions, there are infinitely many \(S_4\) or \(A_4\) quartic extensions \(K / \mathbb{Q}\) such that the elliptic curve \(E\) does not increase in rank in these extensions. Specifically:
- For \(S_4\) quartic extensions, if \(\dim_{\mathbb{F}_2}\text{Sel}_2(E / K_3)\equiv0\pmod{2}\), then \(\text{rk}(E / K) = 0\).
- For \(A_4\) quartic extensions, if \(\dim_{\mathbb{F}_2}\text{Sel}_2(E / K_3)\equiv1\pmod{2}\) and certain congruence conditions are satisfied, then \(\text{rk}(E / K)=1\).
### Methodology
The author achieves the above conclusions through the following methods:
1. **Transform the rank growth problem of high - degree extensions into the rank growth problem of quadratic extensions**.
2. **Use Selmer group and quadratic twist theory to control the growth of rank**.
3. **Apply the results of Mazur and Rubin to deal with quadratic twists under specific conditions**.
Through these methods, the author successfully proves the existence of elliptic curves that do not increase in rank in \(S_4\) and \(A_4\) quartic extensions under certain conditions.