Picard groupIn 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. Alternatively, the Picard group can be defined as the sheaf cohomology group For integral schemes the Picard group is isomorphic to the class group of Cartier divisors.
Complex torusIn mathematics, a complex torus is a particular kind of complex manifold M whose underlying smooth manifold is a torus in the usual sense (i.e. the cartesian product of some number N circles). Here N must be the even number 2n, where n is the complex dimension of M. All such complex structures can be obtained as follows: take a lattice Λ in a vector space V isomorphic to Cn considered as real vector space; then the quotient group is a compact complex manifold. All complex tori, up to isomorphism, are obtained in this way.
Abelian varietyIn 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. An abelian variety can be defined by equations having coefficients in any field; the variety is then said to be defined over that field.
Invertible sheafIn mathematics, an invertible sheaf is a sheaf on a ringed space which has an inverse with respect to tensor product of sheaves of modules. It is the equivalent in algebraic geometry of the topological notion of a line bundle. Due to their interactions with Cartier divisors, they play a central role in the study of algebraic varieties. Let (X, OX) be a ringed space. Isomorphism classes of sheaves of OX-modules form a monoid under the operation of tensor product of OX-modules. The identity element for this operation is OX itself.
Glossary of algebraic geometryThis is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.
Dual abelian varietyIn mathematics, a dual abelian variety can be defined from an abelian variety A, defined over a field K. To an abelian variety A over a field k, one associates a dual abelian variety Av (over the same field), which is the solution to the following moduli problem. A family of degree 0 line bundles parametrized by a k-variety T is defined to be a line bundle L on A×T such that for all , the restriction of L to A×{t} is a degree 0 line bundle, the restriction of L to {0}×T is a trivial line bundle (here 0 is the identity of A).
Algebraic curveIn 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.
Algebraic groupIn mathematics, an algebraic group is an algebraic variety endowed with a group structure that is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory. Many groups of geometric transformations are algebraic groups; for example, orthogonal groups, general linear groups, projective groups, Euclidean groups, etc. Many matrix groups are also algebraic. Other algebraic groups occur naturally in algebraic geometry, such as elliptic curves and Jacobian varieties.
Moduli spaceIn mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spaces frequently arise as solutions to classification problems: If one can show that a collection of interesting objects (e.g., the smooth algebraic curves of a fixed genus) can be given the structure of a geometric space, then one can parametrize such objects by introducing coordinates on the resulting space.
K3 surfaceIn 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 complex projective 3-space.