Concept
Kodaira dimension
Related concepts (16)
Canonical ring
In mathematics, the pluricanonical ring of an algebraic variety V (which is nonsingular), or of a complex manifold, is the graded ring of sections of powers of the canonical bundle K. Its nth graded component (for ) is: that is, the space of sections of the n-th tensor product Kn of the canonical bundle K. The 0th graded component is sections of the trivial bundle, and is one-dimensional as V is projective. The projective variety defined by this graded ring is called the canonical model of V, and the dimension of the canonical model is called the Kodaira dimension of V.
Glossary of algebraic geometry
This 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.
Rational point
In number theory and algebraic geometry, a rational point of an algebraic variety is a point whose coordinates belong to a given field. If the field is not mentioned, the field of rational numbers is generally understood. If the field is the field of real numbers, a rational point is more commonly called a real point. Understanding rational points is a central goal of number theory and Diophantine geometry. For example, Fermat's Last Theorem may be restated as: for n > 2, the Fermat curve of equation has no other rational points than (1, 0), (0, 1), and, if n is even, (–1, 0) and (0, –1).
Minimal model program
In algebraic geometry, the minimal model program is part of the birational classification of algebraic varieties. Its goal is to construct a birational model of any complex projective variety which is as simple as possible. The subject has its origins in the classical birational geometry of surfaces studied by the Italian school, and is currently an active research area within algebraic geometry. The basic idea of the theory is to simplify the birational classification of varieties by finding, in each birational equivalence class, a variety which is "as simple as possible".
Blowing up
In mathematics, blowing up or blowup is a type of geometric transformation which replaces a subspace of a given space with all the directions pointing out of that subspace. For example, the blowup of a point in a plane replaces the point with the projectivized tangent space at that point. The metaphor is that of zooming in on a photograph to enlarge part of the picture, rather than referring to an explosion. Blowups are the most fundamental transformation in birational geometry, because every birational morphism between projective varieties is a blowup.
Canonical bundle
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 . Over the complex numbers, it is the determinant bundle of the holomorphic cotangent bundle . Equivalently, it is the line bundle of holomorphic n-forms on . This is the dualising object for Serre duality on . It may equally well be considered as an invertible sheaf.
List of complex and algebraic surfaces
This is a list of named algebraic surfaces, compact complex surfaces, and families thereof, sorted according to their Kodaira dimension following Enriques–Kodaira classification. Projective plane Cone (geometry) Cylinder Ellipsoid Hyperboloid Paraboloid Sphere Spheroid Cayley nodal cubic surface, a certain cubic surface with 4 nodes Cayley's ruled cubic surface Clebsch surface or Klein icosahedral surface Fermat cubic Monkey saddle Parabolic conoid Plücker's conoid Whitney umbrella Châtelet surfaces Dupin
Enriques surface
In mathematics, Enriques surfaces are algebraic surfaces such that the irregularity q = 0 and the canonical line bundle K is non-trivial but has trivial square. Enriques surfaces are all projective (and therefore Kähler over the complex numbers) and are elliptic surfaces of genus 0. Over fields of characteristic not 2 they are quotients of K3 surfaces by a group of order 2 acting without fixed points and their theory is similar to that of algebraic K3 surfaces.
K3 surface
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 complex projective 3-space.
Divisor (algebraic geometry)
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 (named for Pierre Cartier and André Weil by David Mumford). Both are derived from the notion of divisibility in the integers and algebraic number fields. Globally, every codimension-1 subvariety of projective space is defined by the vanishing of one homogeneous polynomial; by contrast, a codimension-r subvariety need not be definable by only r equations when r is greater than 1.