Modular curves of prime-power level with infinitely many rational points

TL;DR

This paper classifies all prime-power level modular curves with infinitely many rational points, providing explicit maps to the j-line and a detailed understanding of Galois representations of elliptic curves over rationals.

Contribution

It offers a complete classification of 248 prime-power level subgroups with infinite rational points and constructs explicit maps for each, advancing understanding of elliptic curve Galois representations.

Findings

248 groups with infinite rational points identified

220 genus 0 and 28 genus 1 modular curves classified

Explicit maps to the j-line constructed for each group

Abstract

For each open subgroup $G$ of ${\rm GL}_2(\hat{\mathbb{Z}})$ containing $-I$ with full determinant, let $X_G/\mathbb{Q}$ denote the modular curve that loosely parametrizes elliptic curves whose Galois representation, which arises from the Galois action on its torsion points, has image contained in $G$. Up to conjugacy, we determine a complete list of the $248$ such groups $G$ of prime power level for which $X_G(\mathbb{Q})$ is infinite. For each $G$, we also construct explicit maps from each $X_G$ to the $j$-line. This list consists of $220$ modular curves of genus $0$ and $28$ modular curves of genus $1$. For each prime $\ell$, these results provide an explicit classification of the possible images of the $\ell$-adic Galois representations arising from elliptic curves over $\mathbb{Q}$ that is complete except for a finite set of exceptional $j$-invariants.