Gonality of an algebraic curve

Last updated

In mathematics, the gonality of an algebraic curve C is defined as the lowest degree of a nonconstant rational map from C to the projective line. In more algebraic terms, if C is defined over the field K and K(C) denotes the function field of C, then the gonality is the minimum value taken by the degrees of field extensions

K(C)/K(f)

of the function field over its subfields generated by single functions f.

If K is algebraically closed, then the gonality is 1 precisely for curves of genus 0. The gonality is 2 for curves of genus 1 (elliptic curves) and for hyperelliptic curves (this includes all curves of genus 2). For genus g ≥ 3 it is no longer the case that the genus determines the gonality. The gonality of the generic curve of genus g is the floor function of

(g + 3)/2.

Trigonal curves are those with gonality 3, and this case gave rise to the name in general. Trigonal curves include the Picard curves, of genus three and given by an equation

y3 = Q(x)

where Q is of degree 4.

The gonality conjecture, of M. Green and R. Lazarsfeld, predicts that the gonality of the algebraic curve C can be calculated by homological algebra means, from a minimal resolution of an invertible sheaf of high degree. In many cases the gonality is two more than the Clifford index. The Green–Lazarsfeld conjecture is an exact formula in terms of the graded Betti numbers for a degree d embedding in r dimensions, for d large with respect to the genus. Writing b(C), with respect to a given such embedding of C and the minimal free resolution for its homogeneous coordinate ring, for the minimum index i for which βi, i + 1 is zero, then the conjectured formula for the gonality is

r + 1 − b(C).

According to the 1900 ICM talk of Federico Amodeo, the notion (but not the terminology) originated in Section V of Riemann's Theory of Abelian Functions. Amodeo used the term "gonalità" as early as 1983.

Related Research Articles

<span class="mw-page-title-main">Elliptic curve</span> Algebraic curve

In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point O. An elliptic curve is defined over a field K and describes points in K2, the Cartesian product of K with itself. If the field's characteristic is different from 2 and 3, then the curve can be described as a plane algebraic curve which consists of solutions (x, y) for:

<span class="mw-page-title-main">Curvature</span> Mathematical measure of how much a curve or surface deviates from flatness

In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.

In representation theory and algebraic number theory, the Langlands program is a web of far-reaching and influential conjectures about connections between number theory and geometry. Proposed by Robert Langlands, it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles. Widely seen as the single biggest project in modern mathematical research, the Langlands program has been described by Edward Frenkel as "a kind of grand unified theory of mathematics."

<span class="mw-page-title-main">Faltings's theorem</span> Curves of genus > 1 over the rationals have only finitely many rational points

Faltings's theorem is a result in arithmetic geometry, according to which a curve of genus greater than 1 over the field of rational numbers has only finitely many rational points. This was conjectured in 1922 by Louis Mordell, and known as the Mordell conjecture until its 1983 proof by Gerd Faltings. The conjecture was later generalized by replacing by any number field.

In mathematics, the Weil conjectures were highly influential proposals by André Weil (1949). They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory.

<span class="mw-page-title-main">Abelian variety</span>

In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for much research on other topics in algebraic geometry and number theory.

<span class="mw-page-title-main">Algebraic variety</span> Mathematical object studied in the field of algebraic geometry

Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition.

<span class="mw-page-title-main">Algebraic curve</span> Curve defined as zeros of polynomials

In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation h(x, y, t) = 0 can be restricted to the affine algebraic plane curve of equation h(x, y, 1) = 0. These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered.

<span class="mw-page-title-main">Birational geometry</span> Field of algebraic geometry

In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles.

In number theory, the local zeta functionZ(Vs) (sometimes called the congruent zeta function or the Hasse–Weil zeta function) is defined as

In mathematics, Dirichlet's unit theorem is a basic result in algebraic number theory due to Peter Gustav Lejeune Dirichlet. It determines the rank of the group of units in the ring OK of algebraic integers of a number field K. The regulator is a positive real number that determines how "dense" the units are.

<span class="mw-page-title-main">Hyperelliptic curve</span>

In algebraic geometry, a hyperelliptic curve is an algebraic curve of genus g > 1, given by an equation of the form

In algebraic geometry, Brill–Noether theory, introduced by Alexander von Brill and Max Noether (1874), is the study of special divisors, certain divisors on a curve C that determine more compatible functions than would be predicted. In classical language, special divisors move on the curve in a "larger than expected" linear system of divisors.

In mathematics, the canonical bundle of a non-singular algebraic variety of dimension over a field is the line bundle , which is the nth exterior power of the cotangent bundle Ω on V.

In algebraic geometry, the Kodaira dimensionκ(X) measures the size of the canonical model of a projective variety X.

In mathematics, Clifford's theorem on special divisors is a result of William K. Clifford (1878) on algebraic curves, showing the constraints on special linear systems on a curve C.

This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.

In algebraic geometry, the homogeneous coordinate ringR of an algebraic variety V given as a subvariety of projective space of a given dimension N is by definition the quotient ring

This is a glossary of algebraic geometry.

References