Abstract:In this paper, we determine all tetraelliptic modular curves $X_1(N)$ over $\mathbb Q$, and find some tetraelliptic maps $\phi_N$ from $X_1(N)$ to elliptic curves for those tetraelliptic $X_1(N)$. Also we will construct $\phi_N$ explicitly as rational functions. Moreover, we will show that all $\phi_N$ we found are Galois and find elliptic curves with torsion subgroup $\mathbb Z/17\mathbb Z$ over cyclic quartic number fields by using the cyclic map $\phi_{17}$.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine all four - elliptic modular curves $X_1(N)$ defined over the field of rational numbers $\mathbb{Q}$, and to find some four - elliptic maps $\varphi_N$ from these four - elliptic modular curves $X_1(N)$ to elliptic curves. In addition, the author also tries to explicitly construct these maps $\varphi_N$ as rational functions and prove that all the found $\varphi_N$ are Galois maps. Finally, the author uses the cyclic map $\varphi_{17}$ to find an elliptic curve with a $\mathbb{Z}/17\mathbb{Z}$ - torsion subgroup. Specifically, the main contributions of the paper include: 1. **Determination of four - elliptic modular curves**: All four - elliptic modular curves $X_1(N)$ defined over $\mathbb{Q}$ are determined, namely $N = 17, 20, 24, 26, 28, 30, 32$. 2. **Construction of four - elliptic maps**: For each of the above $N$, a four - elliptic map $\varphi_N$ from $X_1(N)$ to an elliptic curve is found, and these maps are explicitly represented as rational functions. 3. **Proof of Galois property**: It is proved that all the found $\varphi_N$ are Galois maps, and for $N = 17, 20, 26, 30, 32$, these maps are cyclic. 4. **Application to a specific elliptic curve**: Using $\varphi_{17}$, an elliptic curve with a $\mathbb{Z}/17\mathbb{Z}$ - torsion subgroup is found. Through these works, the paper not only promotes the understanding of four - elliptic modular curves, but also provides some specific construction and application examples.

Tetraelliptic modular curves $X_1(N)$

Hyperelliptic and trigonal modular curves in characteristic $p$

Modular curves $X_1(n)$ as moduli spaces of point arrangements and applications

Computing Galois representations and equations for modular curves $X_H(\ell)$

Intermediate modular curves with infinitely many cubic points over $\mathbb{Q}$

Congruence properties of the coefficients of the classical modular polynomials

Infinitely many cubic points on $X_0(N)/\langle w_d\rangle$ with $N$ square-free

Tetragonal modular quotients $X_0^+(N)$

Tetragonal intermediate modular curves

Modular degree and a conjecture of Watkins

Sporadic Cubic Torsion

$\ell$-adic images of Galois for elliptic curves over $\mathbb{Q}$

Sporadic points of odd degree on $X_1(N)$ coming from $\mathbb{Q}$-curves

Modular Symbols over Function Fields of Elliptic Curves

Tetragonal modular quotients $X_0^{+d}(N)$

Modular curves and Néron models of generalized Jacobians

Towards a classification of isolated $j$-invariants

On $12$-congruences of elliptic curves

Regular models of modular curves in prime level over ${\mathbb Z}_p^{\mathrm{ur}}$

Familles de polynomes liees aux courbes modulaires X_1(l) unicursales et points rationnels non-triviaux de courbes elliptiques quotient

Global $\mathbb{A}^1$ degrees of covering maps between modular curves