Maximal abelian extension of $X_0(p)$ unramified outside cusps

Takao Yamazaki,Yifan Yang
DOI: https://doi.org/10.48550/arXiv.1901.06564
2019-06-02
Abstract:Let $p$ be a prime number. Mazur proved that a geometrically maximal unramified abelian covering of $X_0(p)$ over $\mathbb Q$ is given by the Shimura covering $X_2(p) \to X_0(p)$, that is, a unique subcovering of $X_1(p) \to X_0(p)$ of degree $N_p := (p-1)/\gcd(p-1, 12)$. In this short paper, we show that a geometrically maximal abelian covering $X_2'(p) \to X_0(p)$ of $X_0(p)$ over $\mathbb Q$ unramified outside cusps is cyclic of degree $2N_p$. The main ingredient for the construction of $X_2'(p)$ is the generalized Dedelind eta functions.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct and prove a particular geometrically maximal abelian covering. Specifically: For a prime number \(p\), consider the modular curve \(X_0(p)\) and its open subscheme \(Y_0(p)\) such that \(X_0(p)\setminus Y_0(p)\) contains all (two) cusps. The author hopes to construct a geometrically maximal unramified abelian covering \(f'_p: X'_2(p)\to X_0(p)\) and prove the following results: 1. \(f'_p|_{Y'_2(p)}: Y'_2(p)\to Y_0(p)\) is the geometrically maximal unramified covering of \(Y_0(p)\) over \(\mathbb{Q}\), where \(Y'_2(p): = f'^{-1}_p(Y_0(p))\). 2. \(f'_p\) can be decomposed as \(f'_p = f_p\circ\pi_p\), where \(\pi_p: X'_2(p)\to X_2(p)\) is a degree - two covering unramified outside the cusps. To achieve this goal, the author uses the generalized Dedekind eta function to construct the function field \(\mathbb{Q}(X'_2(p))\) of \(X'_2(p)\), making it a quadratic extension of \(\mathbb{Q}(X_2(p))\) and generated by the square root of a certain rational function in \(\mathbb{Q}(X_2(p))\). Through these constructions, the author proves that there exists a cyclic covering \(f'_p: X'_2(p)\to X_0(p)\) of order \(2N_p\) and satisfying the above two conditions. Here \(N_p:=\frac{p - 1}{\gcd(p - 1,12)}\). In summary, the main contribution of this paper lies in constructing a new geometrically maximal unramified abelian covering and proving its properties, thus extending Mazur's results on Shimura coverings.