Theta-divisor

Theta-divisor

In mathematics, the theta-divisor Θ is the divisor in the sense of algebraic geometry defined on an abelian variety "A" over the complex numbers (and principally polarized) by the zero locus of the associated Riemann theta-function. It is therefore an algebraic subvariety of "A" of dimension dim "A" − 1.

Classical theory

Classical results of Bernhard Riemann describe Θ in another way, in the case that "A" is the Jacobian variety "J" of an algebraic curve (compact Riemann surface) "C". There is, for a choice of base point "P" on "C", a standard mapping of "C" to "J", by means of the interpretation of "J" as the linear equivalence classes of divisors on "C" of degree 0. That is , "Q" on "C" maps to the class of "Q" − "P". Then since "J" is an algebraic group, "C" may be added to itself "k" times on "J", giving rise to subvarieties "W""k".

If "g" is the genus of "C", Riemann proved that Θ is a translate on "J" of "W""g" − 1. He also described which points on "W""g" − 1 are non-singular: they correspond to the effective divisors "D" of degree "g" − 1 with no associated meromorphic functions other than constants. In more classical language, these "D" do not move in a linear system of divisors on "C", in the sense that they do not dominate the polar divisor of a non constant function.

Riemann further proved the Riemann singularity theorem, identifying the multiplicity of a point p = class(D) on "W""g" − 1 as the number of independent meromorphic functions with pole divisor dominated by D, or equivalently as "h"0(O(D)) , the number of independent global sections of the holomorphic line bundle associated to "D" as Cartier divisor on "C".

Later work

The Riemann singularity theorem was extended by George Kempf in 1973, [cite journal | author=G. Kempf | title=On the geometry of a theorem of Riemann | journal=Ann. of Math. | volume=98 | year=1978 | pages=178-185] building on work of David Mumford and Andreotti - Mayer, to a description of the singularities of points p = class(D) on "W""k" for 1 ≤ "k" ≤ "g" − 1. In particular he computed their multiplicities also in terms of the number of independent meromorphic functions associated to D (Riemann-Kempf singularity theorem). [Griffiths and Harris, p.348]

More precisely, Kempf mapped "J" locally near "p" to a family of matrices coming from an exact sequence which computes "h"0(O(D)), in such a way that "W""k" corresponds to the locus of matrices of less than maximal rank. The multiplicity then agrees with that of the point on the corresponding rank locus. Explicitly, if

:"h"0(O(D)) = "r" + 1,

the multiplicity of "W""k" at class(D) is the binomial coefficient

:{g-k+r choose r}.

When "d" = "g" − 1, this is "r" + 1, Riemann's formula.

Notes

References

*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Divisor (algebraic geometry) — In algebraic geometry, divisors are a generalization of codimension one subvarieties of algebraic varieties; two different generalizations are in common use, Cartier divisors and Weil divisors (named for Pierre Cartier and André Weil). These… …   Wikipedia

  • Divisor summatory function — The summatory function, with leading terms removed, for x < 104 …   Wikipedia

  • Theta characteristic — In mathematics, a theta characteristic of a non singular algebraic curve C is a divisor class Θ such that 2Θ is the canonical class, In terms of holomorphic line bundles L on a connected compact Riemann surface, it is therefore L such that L 2 is …   Wikipedia

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

  • Symmetric product of an algebraic curve — In mathematics, the n fold symmetric product of an algebraic curve C is the quotient space of the n fold cartesian product: C times; C times; ... times; C or C n by the group action of the symmetric group on n letters permuting the factors. It… …   Wikipedia

  • Italian school of algebraic geometry — In relation with the history of mathematics, the Italian school of algebraic geometry refers to the work over half a century or more (flourishing roughly 1885 1935) done internationally in birational geometry, particularly on algebraic surfaces.… …   Wikipedia

  • Función suma de divisores — En teoría de números, la función suma de divisores es una función que es una suma sobre la función divisor. Se utiliza con frecuencia en el estudio del comportamiento asintótico de la función zeta de Riemann. Varios de los estudios sobre el… …   Wikipedia Español

  • Engranaje — Animación de dos engranajes. Piñón y corona …   Wikipedia Español

  • Polynomial — In mathematics, a polynomial (from Greek poly, many and medieval Latin binomium, binomial [1] [2] [3], the word has been introduced, in Latin, by Franciscus Vieta[4]) is an expression of finite length constructed from variables (also known as… …   Wikipedia

  • Riemann hypothesis — The real part (red) and imaginary part (blue) of the Riemann zeta function along the critical line Re(s) = 1/2. The first non trivial zeros can be seen at Im(s) = ±14.135, ±21.022 and ±25.011 …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”