Algebraic surfaceIn mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of dimension four as a smooth manifold. The theory of algebraic surfaces is much more complicated than that of algebraic curves (including the compact Riemann surfaces, which are genuine surfaces of (real) dimension two).
Birational geometryIn mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles. A rational map from one variety (understood to be irreducible) to another variety , written as a dashed arrow X Y, is defined as a morphism from a nonempty open subset to .
Iitaka dimensionIn algebraic geometry, the Iitaka dimension of a line bundle L on an algebraic variety X is the dimension of the image of the rational map to projective space determined by L. This is 1 less than the dimension of the section ring of L The Iitaka dimension of L is always less than or equal to the dimension of X. If L is not effective, then its Iitaka dimension is usually defined to be or simply said to be negative (some early references define it to be −1).
Fano varietyIn algebraic geometry, a Fano variety, introduced by Gino Fano in , is a complete variety X whose anticanonical bundle KX* is ample. In this definition, one could assume that X is smooth over a field, but the minimal model program has also led to the study of Fano varieties with various types of singularities, such as terminal or klt singularities. Recently techniques in differential geometry have been applied to the study of Fano varieties over the complex numbers, and success has been found in constructing moduli spaces of Fano varieties and proving the existence of Kähler–Einstein metrics on them through the study of K-stability of Fano varieties.
Rational surfaceIn algebraic geometry, a branch of mathematics, a rational surface is a surface birationally equivalent to the projective plane, or in other words a rational variety of dimension two. Rational surfaces are the simplest of the 10 or so classes of surface in the Enriques–Kodaira classification of complex surfaces, and were the first surfaces to be investigated. Every non-singular rational surface can be obtained by repeatedly blowing up a minimal rational surface.
Geometric genusIn algebraic geometry, the geometric genus is a basic birational invariant p_g of algebraic varieties and complex manifolds. The geometric genus can be defined for non-singular complex projective varieties and more generally for complex manifolds as the Hodge number h^n,0 (equal to h^0,n by Serre duality), that is, the dimension of the canonical linear system plus one. In other words for a variety V of complex dimension n it is the number of linearly independent holomorphic n-forms to be found on V.
