TOPICS
Search

Algebraic Curve Gonality


The gonality of an algebraic curve C over a field K is the least degree of a nonconstant morphism C->P_K^1, where P_K^1 is the projective line and C is smooth and projective, and remains irreducible over an algebraic closure of K. Equivalently, it is the least degree of a nonconstant element of its function field K(C) (Derickx and van Hoeij 2014). The field is part of the definition, since extending it can change the available maps. This curve invariant motivates the analogous gonality of a graph.

Maiti (2026) determined

 gon_(F_5)X_1(42)=gon_QX_1(42)=12,

where X_1(42) is the modular curve parametrizing elliptic curves with a point of order 42. The lower bound uses exhaustive computations in the function field over F_5. Together with the finiteness of J_1(42)(Q), the rational points of its Jacobian variety, this shows that X_1(42) has only finitely many points of degree at most 11 over Q and infinitely many of degree 12 over Q.


See also

Algebraic Curve, Function Field, Gonality, Modular Curve

Explore with Wolfram|Alpha

WolframAlpha

More things to try:

References

Derickx, M. and van Hoeij, M. "Gonality of the Modular Curve X_1(N)." J. Algebra 417, 52-71, 2014. https://doi.org/10.1016/j.jalgebra.2014.06.026.Maiti, S. "The Q-Gonality of X_1(42) Is 12." 9 Nov 2026. https://arxiv.org/abs/2611.13155v1.

Cite this as:

Weisstein, Eric W. "Algebraic Curve Gonality." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/AlgebraicCurveGonality.html

Subject classifications