Computing Selmer Groups for Elliptic Curves over $\mathbb{Q}(i)$

Anthony Kling,Ben Savoie
2024-10-30
Abstract:We construct an algorithm to compute the $\varphi$-Selmer group of the elliptic curve $E_b: y^2 = x^3 + b x$ over $\mathbb{Q}(i)$, where $b \in \mathbb{Z}[i]$ and $\varphi$ is a degree 2 isogeny of $E_b$. We associate to $E_b$ a weighted graph $G_b$, whose vertices are the odd Gaussian primes dividing $b$, with the edge weight between two vertices determined by the quartic Legendre symbol of these primes. A bijection is established between elements of the $\varphi$-Selmer group of $E_b$ and certain partitions of $G_b$, leading to a linear-algebraic interpretation of the $\varphi$-Selmer group via the Laplacian matrix of $G_b$. This enables efficient computation of $S^{(\varphi)}(E_b/\mathbb{Q}(i))$ for any $b \in \mathbb{Z}[i]$. We then analyze the case where $b$ is a square in $\mathbb{Z}[i]$, showing that $\# S^{(\varphi)}(E_b/\mathbb{Q}(i))$ depends only on the rank of the Laplacian $L(G_b)$ in this case. Finally, we implement our algorithm to compute the distribution of $\# S^{(\varphi)}(E_b/\mathbb{Q}(i))$ for the first 10,000 curves $E_b$.
Number Theory
What problem does this paper attempt to address?