Gonality of the modular curve \(X_1(N)\)
type: Item
instance of: scholarly article
title: Gonality of the modular curve \(X_1(N)\)
zbMATH Open document ID: 1305.14012
author: Maarten Derickx
author: Mark van Hoeij
published in: Journal of Algebra
publication date: 2014-09-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/1307.5719
reviewed by: Andrea Bandini
Mathematics Subject Classification ID: 14G35
Mathematics Subject Classification ID: 14H51
Mathematics Subject Classification ID: 14G25
Mathematics Subject Classification ID: 14H25
Mathematics Subject Classification ID: 14H45
zbMATH DE Number: 6339748
zbMATH Keywords: modular curves
zbMATH Keywords: gonality
zbMATH Keywords: modular units
MaRDI profile type: Publication
OpenAlex ID: W2083355759
arXiv ID: 1307.5719
cites work: A linear lower bound on the gonality of modular curves
cites work: Curves with infinitely many points of fixed degree
cites work: Families of elliptic curves over cubic number fields with prescribed torsion subgroups
cites work: Families of elliptic curves over quartic number fields with prescribed torsion subgroups
cites work: Torsion points on elliptic curves over all quadratic fields
cites work: Q4831110
cites work: Functoriality for the exterior square of 𝐺𝐿₄ and the symmetric fourth of 𝐺𝐿₂
cites work: Q3953865
cites work: Modular curves and the Eisenstein ideal
cites work: Constructing elliptic curves over finite fields with prescribed torsion
DOI: 10.1016/J.JALGEBRA.2014.06.026
review text: For a curve \(C\) defined over a field \(K\), let \(K(C)\) be the associated function field and define the \textit{gonality} of \(C\) over \(K\) as NEWLINE\[NEWLINE \mathrm{Gon}_K(C):=\min\{\deg(f)\,:\,f\in K(C)-K\}\;.NEWLINE\]NEWLINE The paper deals with the modular curves \(X_1(N)\) over the fields \(\mathbb{Q}\) and \(\mathbb{F}_p\) (\(p\) any prime), and uses \texttt{MAGMA} computations and the relation NEWLINE\[NEWLINE \mathrm{Gon}_{\mathbb{F}_p}(C) \leqslant \mathrm{Gon}_{\mathbb{Q}}(C) \qquad\qquad\qquad\qquad\qquad (*)NEWLINE\]NEWLINE (valid for \(C\) defined over \(\mathbb{Q}\) and a prime of good reduction \(p\)) to compute their gonalities for \(N\leqslant 40\).NEWLINENEWLINE\noindent The authors look for low degree functions in the modular units of \(\mathbb{Q}(X_1(N))\) (i.e., functions whose zeroes and poles are cusps) and, building on earlier work of \textit{A. V. Sutherland} [Math. Comput. 81, No. 278, 1131--1147 (2012; Zbl 1267.11074)], find upper bounds for \(\mathrm{Gon}_{\mathbb{Q}}(X_1(N))\). Then they use some reduction steps (explicitly described for \(N=37\) and \(p=2\), the case with the highest gonality in the range \(N\leqslant 40\)) to make \texttt{MAGMA} computations for \(\mathrm{Gon}_{\mathbb{F}_p}(X_1(N))\) feasible for the lowest possible \(p\). By \((*)\), this provides lower bounds which coincide with the previous upper ones for all \(N\leqslant 40\).NEWLINENEWLINE\noindent The gonalities are used in the last section to provide a complete list of all the \(N\) for which \(X_1(N)\) has infinitely many places of degree \(d\) over \(\mathbb{Q}\) for \(5\leqslant d\leqslant 8\) (the values for \(1\leqslant d \leqslant 4\) where already known).
description: scientific article; zbMATH DE number 6339748