The $3$-isogeny Selmer groups of the elliptic curves $y^2=x^3+n^2$

Stephanie Chan
DOI: https://doi.org/10.1093/imrn/rnad266
2023-11-29
Abstract:Consider the family of elliptic curves $E_n:y^2=x^3+n^2$, where $n$ varies over positive cubefree integers. There is a rational $3$-isogeny $\phi$ from $E_n$ to $\hat{E}_n:y^2=x^3-27n^2$ and a dual isogeny $\hat{\phi}:\hat{E}_n\rightarrow E_n$. We show that for almost all $n$, the rank of $\mathrm{Sel}_{\phi}(E_n)$ is $0$, and the rank of $\mathrm{Sel}_{\hat{\phi}}(\hat{E}_n)$ is determined by the number of prime factors of $n$ that are congruent to $2\bmod 3$ and the congruence class of $n\bmod 9$.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the distribution problem of the rank of the 3 - isogeny Selmer group of the elliptic curve \(E_n: y^2 = x^3 + n^2\). Specifically, the author studies the behavior of the rank of the 3 - isogeny Selmer group of these elliptic curves when \(n\) is a positive cube - free integer. ### Main problem description 1. **Elliptic curve families and 3 - isogeny mappings** - Consider the elliptic curve family \(E_n: y^2 = x^3 + n^2\), where \(n\) is a positive cube - free integer. - There exists a rational 3 - isogeny mapping \(\varphi\) from \(E_n\) to its dual curve \(\hat{E}_n: y^2 = x^3 - 27n^2\), and a dual isogeny mapping \(\hat{\varphi}\) from \(\hat{E}_n\) back to \(E_n\). 2. **Definition and properties of Selmer groups** - The Selmer groups \(\text{Sel}_{\varphi}(E_n)\) and \(\text{Sel}_{\hat{\varphi}}(\hat{E}_n)\) are subgroups related to the isogeny mappings \(\varphi\) and \(\hat{\varphi}\) respectively. - These Selmer groups are finite 3 - groups, so their ranks \(\text{rank}\, \text{Sel}_{\varphi}(E_n)\) and \(\text{rank}\, \text{Sel}_{\hat{\varphi}}(\hat{E}_n)\) can be studied. 3. **Main results** - The main theorem of the paper shows that for almost all positive cube - free integers \(n\), \(\text{rank}\, \text{Sel}_{\varphi}(E_n)=0\). - The rank of \(\text{rank}\, \text{Sel}_{\hat{\varphi}}(\hat{E}_n)\) is determined by the number of prime factors of \(n\) that are congruent to 2 modulo 3 and the congruence class of \(n\) modulo 9. ### Formula representation According to the formulas in the paper, the main results can be summarized as: \[ \text{rank}\, \text{Sel}_{\hat{\varphi}}(\hat{E}_n)=\text{rank}\, \text{Sel}_{\varphi}(E_n)+\omega_2(\text{cf}(2n))+\delta_n \] where: - \(\omega_2(n)\) represents the number of prime factors of \(n\) that are congruent to 2 modulo 3. - \(\text{cf}(2n)\) represents the cube - free part of \(2n\). - \(\delta_n\) is defined as follows: \[ \delta_n = \begin{cases} 1 & \text{if } n\equiv\pm 3\pmod{9}, \\ - 1 & \text{if } n\equiv\pm 4\pmod{9}, \\ 0 & \text{otherwise}. \end{cases} \] ### Research significance By studying the ranks of these Selmer groups, the author hopes to better understand the arithmetic properties of elliptic curves, especially their performance under different \(n\). This helps to promote the research on elliptic curves and isogeny mappings in number theory.