Brill–Noether theory
In algebraic geometry, Brill–Noether theory, introduced by, is the study of special divisors, certain divisors on a curve 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.
Throughout, we consider a projective smooth curve over the complex numbers.
The condition to be a special divisor can be formulated in sheaf cohomology terms, as the non-vanishing of the cohomology of the sheaf of sections of the invertible sheaf or line bundle associated to. This means that, by the Riemann–Roch theorem, the cohomology or space of holomorphic sections is larger than expected.
Alternatively, by Serre duality, the condition is that there exist holomorphic differentials with divisor on the curve.
Main theorems of Brill–Noether theory
For a given genus, the moduli space for curves of genus should contain a dense subset parameterizing those curves with the minimum in the way of special divisors. One goal of the theory is to 'count constants', for those curves: to predict the dimension of the space of special divisors of a given degree, as a function of, that must be present on a curve of that genus.The basic statement can be formulated in terms of the Picard variety of a smooth curve, and the subset of corresponding to divisor classes of divisors, with given values of and of in the notation of the Riemann–Roch theorem. There is a lower bound for the dimension of this subscheme in :
called the Brill–Noether number. The formula can be memorized via the mnemonic
For smooth curves and for, the basic results about the space of linear systems on of degree and dimension are as follows.
- George Kempf proved that if then is not empty, and every component has dimension at least.
- William Fulton and Robert Lazarsfeld proved that if then is connected.
- showed that if is generic then is reduced and all components have dimension exactly .
- David Gieseker proved that if is generic then is smooth. By the connectedness result this implies it is irreducible if.
- Eric Larson proved that if,, and, the restriction maps are of maximal rank, also known as the maximal rank conjecture.
- Eric Larson and Isabel Vogt proved that if then there is a curve interpolating through general points in if and only if except in 4 exceptional cases:
Maximal rank conjecture
Let be a general curve of genus g embedded via a general linear series of degree d. The Maximal Rank Conjecture asserts that the restriction maps are of maximal rank; this determines the Hilbert function of .Its first proof was published by Eric Larson on 14 Nov 2017 whilst a graduate student at MIT.