Inmathematics, thegonality of analgebraic curveC is defined as the lowest degree of a nonconstantrational map fromC to theprojective line. In more algebraic terms, ifC is defined over thefieldK andK(C) denotes thefunction field ofC, then the gonality is the minimum value taken by the degrees offield extensions
of the function field over itssubfields generated by single functionsf.
IfK is algebraically closed, then the gonality is 1 precisely for curves ofgenus 0. The gonality is 2 for curves of genus 1 (elliptic curves) and forhyperelliptic curves (this includes all curves of genus 2). For genusg ≥ 3 it is no longer the case that the genus determines the gonality. The gonality of a curve of genusg is less than or equal to thefloor function of
Trigonal curves are those with gonality 3, and this case gave rise to the name in general. Trigonal curves include thePicard curves, of genus three and given by an equation
whereQ is of degree 4.
Thegonality conjecture, of M. Green and R. Lazarsfeld, predicts that the gonality of the algebraic curveC can be calculated byhomological algebra means, from aminimal resolution of aninvertible sheaf of high degree. In many cases the gonality is two more than theClifford index. TheGreen–Lazarsfeld conjecture is an exact formula in terms of thegraded Betti numbers for a degreed embedding inr dimensions, ford large with respect to the genus. Writingb(C), with respect to a given such embedding ofC and the minimal free resolution for itshomogeneous coordinate ring, for the minimum indexi for which βi,i + 1 is zero, then the conjectured formula for the gonality is
According to the 1900 ICM talk ofFederico Amodeo, the notion (but not the terminology) originated in Section V ofRiemann'sTheory of Abelian Functions. Amodeo used the term "gonalità" as early as 1893.