Plurigenera
In mathematics, the pluricanonical ring of an algebraic variety ''V'' (which is non-singular), or of a complex manifold, is the graded ring :R(V,K)=R(V,K_V) \, of sections of powers of the canonical bundle ''K''. Its ''n''th graded component (for n\geq 0) is: :R_n := H^0(V, K^n),\ that is, the space of sections of the ''n''-th tensor product ''K''''n'' of the canonical bundle ''K''. The 0th graded component R_0 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''. One can define an analogous ring for any line bundle ''L'' over ''V''; the analogous dimension is called the Iitaka dimension. A line bundle is called big if the Iitaka dimension equals the dimension of the variety. Properties Birational invariance The canonical ring and therefore likewise the Kodaira dimension is a b ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Birational Geometry
In 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. Birational maps Rational maps A rational map from one variety (understood to be irreducible) X to another variety Y, written as a dashed arrow , is defined as a morphism from a nonempty open subset U \subset X to Y. By definition of the Zariski topology used in algebraic geometry, a nonempty open subset U is always dense in X, in fact the complement of a lower-dimensional subset. Concretely, a rational map can be written in coordinates using rational functions. Birational maps A birational map from ''X'' to ''Y'' is a rational map such that there is a rational map inverse to ''f''. A birational map induces an isomorphism from a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Iitaka Dimension
In 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'' :R(X, L) = \bigoplus_^\infty H^0(X, 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 -\infty or simply said to be negative (some early references define it to be −1). The Iitaka dimension of ''L'' is sometimes called L-dimension, while the dimension of a divisor D is called D-dimension. The Iitaka dimension was introduced by . Big line bundles A line bundle is big if it is of maximal Iitaka dimension, that is, if its Iitaka dimension is equal to the dimension of the underlying variety. Bigness is a birational invariant: If is a birational morphism of varieties, and if ''L'' is a big line bundle on ''X'', th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Journal Of The American Mathematical Society
The ''Journal of the American Mathematical Society'' (''JAMS''), is a quarterly peer-reviewed mathematical journal published by the American Mathematical Society. It was established in January 1988. Abstracting and indexing This journal is abstracted and indexed in: 2011. American Mathematical Society. * * * * ISI Ale ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Linear System Of Divisors
In algebraic geometry, a linear system of divisors is an algebraic generalization of the geometric notion of a family of curves; the dimension of the linear system corresponds to the number of parameters of the family. These arose first in the form of a ''linear system'' of algebraic curves in the projective plane. It assumed a more general form, through gradual generalisation, so that one could speak of linear equivalence of divisors ''D'' on a general scheme or even a ringed space (''X'', ''O''''X''). Linear system of dimension 1, 2, or 3 are called a pencil, a net, or a web, respectively. A map determined by a linear system is sometimes called the Kodaira map. Definition Given the fundamental idea of a rational function on a general variety X, or in other words of a function f in the function field of X, f \in k(X), divisors D,E \in \text(X) are linearly equivalent divisors if :D = E + (f)\ where (f) denotes the divisor of zeroes and poles of the function f. Note that i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mori 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. Outline 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". The precise meaning of this phrase has evolved with the development of the subject; originally for surfaces, it meant finding a smooth variety X for which any birational morphism f\colon X \to X' with a smooth surface X' is an isomorphism. In the modern formulation, the goal of the theory is as follows. Suppose we are given a projective variety X, which for simplicity is assumed non-singular. There are ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Finitely Generated Algebra
In mathematics, a finitely generated algebra (also called an algebra of finite type) is a commutative associative algebra ''A'' over a field ''K'' where there exists a finite set of elements ''a''1,...,''a''''n'' of ''A'' such that every element of ''A'' can be expressed as a polynomial in ''a''1,...,''a''''n'', with coefficients in ''K''. Equivalently, there exist elements a_1,\dots,a_n\in A s.t. the evaluation homomorphism at =(a_1,\dots,a_n) :\phi_\colon K _1,\dots,X_ntwoheadrightarrow A is surjective; thus, by applying the first isomorphism theorem, A \simeq K _1,\dots,X_n(\phi_). Conversely, A:= K _1,\dots,X_nI for any ideal I\subset K _1,\dots,X_n/math> is a K-algebra of finite type, indeed any element of A is a polynomial in the cosets a_i:=X_i+I, i=1,\dots,n with coefficients in K. Therefore, we obtain the following characterisation of finitely generated K-algebras :A is a finitely generated K-algebra if and only if it is isomorphic to a quotient ring of the type K _1,\do ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Desingularization
In algebraic geometry, the problem of resolution of singularities asks whether every algebraic variety ''V'' has a resolution, a non-singular variety ''W'' with a proper birational map ''W''→''V''. For varieties over fields of characteristic 0 this was proved in Hironaka (1964), while for varieties over fields of characteristic ''p'' it is an open problem in dimensions at least 4. Definitions Originally the problem of resolution of singularities was to find a nonsingular model for the function field of a variety ''X'', in other words a complete non-singular variety ''X′'' with the same function field. In practice it is more convenient to ask for a different condition as follows: a variety ''X'' has a resolution of singularities if we can find a non-singular variety ''X′'' and a proper birational map from ''X′'' to ''X''. The condition that the map is proper is needed to exclude trivial solutions, such as taking ''X′'' to be the subvariety of non- ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Birational Invariant
In algebraic geometry, a birational invariant is a property that is preserved under birational equivalence. Formal definition A birational invariant is a quantity or object that is well-defined on a birational equivalence class of algebraic varieties. In other words, it depends only on the function field of the variety. Examples The first example is given by the grounding work of Riemann himself: in his thesis, he shows that one can define a Riemann surface to each algebraic curve; every Riemann surface comes from an algebraic curve, well defined up to birational equivalence and two birational equivalent curves give the same surface. Therefore, the Riemann surface, or more simply its Geometric genus is a birational invariant. A more complicated example is given by Hodge theory: in the case of an algebraic surface, the Hodge numbers ''h''0,1 and ''h''0,2 of a non-singular projective complex surface are birational invariants. The Hodge number ''h''1,1 is not, since the process o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Variety
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. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determined ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kodaira Dimension
In algebraic geometry, the Kodaira dimension ''κ''(''X'') measures the size of the canonical ring, canonical model of a projective variety ''X''. Igor Shafarevich, in a seminar introduced an important numerical invariant of surfaces with the notation ''κ''. Shigeru Iitaka extended it and defined the Kodaira dimension for higher dimensional varieties (under the name of canonical dimension), and later named it after Kunihiko Kodaira. The plurigenera The canonical bundle of a smooth scheme, smooth algebraic variety ''X'' of dimension ''n'' over a field is the line bundle of ''n''-forms, :\,\!K_X = \bigwedge^n\Omega^1_X, which is the ''n''th exterior power of the cotangent bundle of ''X''. For an integer ''d'', the ''d''th tensor power of ''K''''X'' is again a line bundle. For ''d'' ≥ 0, the vector space of global sections ''H''0(''X'',''K''''X''''d'') has the remarkable property that it is a birational invariant of smooth projective varieties ''X''. That is, this vector spa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |