 | This article needs additional citations for verification .(August 2016) |
In mathematics, the Jacobian varietyJ(C) of a non-singular algebraic curve C of genus g is the moduli space of degree 0 line bundles. It is the connected component of the identity in the Picard group of C, hence an abelian variety.
The Jacobian variety is named after Carl Gustav Jacobi, who proved the complete version of the Abel–Jacobi theorem, making the injectivity statement of Niels Abel into an isomorphism. It is a principally polarized abelian variety, of dimension g, and hence, over the complex numbers, it is a complex torus. If p is a point of C, then the curve C can be mapped to a subvariety of J with the given point p mapping to the identity of J, and C generates J as a group.
Over the complex numbers, the Jacobian variety can be realized as the quotient space V/L, where V is the dual of the vector space of all global holomorphic differentials on C and L is the lattice of all elements of V of the form
where γ is a closed path in C. In other words,
with embedded in via the above map. This can be done explicitly with the use of theta functions. [1]
The Jacobian of a curve over an arbitrary field was constructed by Weil (1948) as part of his proof of the Riemann hypothesis for curves over a finite field.
The Abel–Jacobi theorem states that the torus thus built is a variety, the classical Jacobian of a curve, that indeed parametrizes the degree 0 line bundles, that is, it can be identified with its Picard variety of degree 0 divisors modulo linear equivalence.
As a group, the Jacobian variety of a curve is isomorphic to the quotient of the group of divisors of degree zero by the subgroup of principal divisors, i.e., divisors of rational functions. This holds for fields that are not algebraically closed, provided one considers divisors and functions defined over that field.
Torelli's theorem states that a complex curve is determined by its Jacobian (with its polarization).
The Schottky problem asks which principally polarized abelian varieties are the Jacobians of curves.
The Picard variety, the Albanese variety, generalized Jacobian, and intermediate Jacobians are generalizations of the Jacobian for higher-dimensional varieties. For varieties of higher dimension the construction of the Jacobian variety as a quotient of the space of holomorphic 1-forms generalizes to give the Albanese variety, but in general this need not be isomorphic to the Picard variety.
In mathematics, particularly in complex analysis, a Riemann surface is a one-dimensional complex manifold.
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.
The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus g, in a way that can be carried over into purely algebraic settings.
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.
In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic.
In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with а trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface
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 .
In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors. Both are derived from the notion of divisibility in the integers and algebraic number fields.
In mathematics, the Albanese variety, named for Giacomo Albanese, is a generalization of the Jacobian variety of a curve.
In mathematics, the Picard group of a ringed space X, denoted by Pic(X), is the group of isomorphism classes of invertible sheaves (or line bundles) on X, with the group operation being tensor product. This construction is a global version of the construction of the divisor class group, or ideal class group, and is much used in algebraic geometry and the theory of complex manifolds.
In algebraic geometry a generalized Jacobian is a commutative algebraic group associated to a curve with a divisor, generalizing the Jacobian variety of a complete curve. They were introduced by Maxwell Rosenlicht in 1954, and can be used to study ramified coverings of a curve, with abelian Galois group. Generalized Jacobians of a curve are extensions of the Jacobian of the curve by a commutative affine algebraic group, giving nontrivial examples of Chevalley's structure theorem.
In mathematics, the Enriques–Kodaira classification groups compact complex surfaces into ten classes, each parametrized by a moduli space. For most of the classes the moduli spaces are well understood, but for the class of surfaces of general type the moduli spaces seem too complicated to describe explicitly, though some components are known.
In algebraic geometry, a line bundle on a projective variety is nef if it has nonnegative degree on every curve in the variety. The classes of nef line bundles are described by a convex cone, and the possible contractions of the variety correspond to certain faces of the nef cone. In view of the correspondence between line bundles and divisors, there is an equivalent notion of a nef divisor.
In mathematics, the Abel–Jacobi map is a construction of algebraic geometry which relates an algebraic curve to its Jacobian variety. In Riemannian geometry, it is a more general construction mapping a manifold to its Jacobi torus. The name derives from the theorem of Abel and Jacobi that two effective divisors are linearly equivalent if and only if they are indistinguishable under the Abel–Jacobi map.
This is a timeline of the theory of abelian varieties in algebraic geometry, including elliptic curves.
In algebraic geometry, a branch of mathematics, the Lefschetz theorem on (1,1)-classes, named after Solomon Lefschetz, is a classical statement relating holomorphic line bundles on a compact Kähler manifold to classes in its integral cohomology. It is the only case of the Hodge conjecture which has been proved for all Kähler manifolds.
This is a glossary of algebraic geometry.
In algebraic geometry, Chevalley's structure theorem states that a smooth connected algebraic group over a perfect field has a unique normal smooth connected affine algebraic subgroup such that the quotient is an abelian variety. It was proved by Chevalley (1960), Barsotti, and Rosenlicht (1956).
In algebraic geometry, a mixed Hodge structure is an algebraic structure containing information about the cohomology of general algebraic varieties. It is a generalization of a Hodge structure, which is used to study smooth projective varieties.
