Canonical Singularity
   HOME
*





Canonical Singularity
In mathematics, canonical singularities appear as singularities of the canonical model of a projective variety, and terminal singularities are special cases that appear as singularities of minimal models. They were introduced by . Terminal singularities are important in the minimal model program because smooth minimal models do not always exist, and thus one must allow certain singularities, namely the terminal singularities. Definition Suppose that ''Y'' is a normal variety such that its canonical class ''K''''Y'' is Q-Cartier, and let ''f'':''X''→''Y'' be a resolution of the singularities of ''Y''. Then :\displaystyle K_X = f^*(K_Y)+\sum_i a_iE_i where the sum is over the irreducible exceptional divisors, and the ''a''''i'' are rational numbers, called the discrepancies. Then the singularities of ''Y'' are called: :terminal if ''a''''i'' > 0 for all ''i'' :canonical if ''a''''i'' ≥ 0 for all ''i'' :log terminal if ''a''''i'' > −1 for all ''i'' :log canonical if ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Projective Variety
In algebraic geometry, a projective variety over an algebraically closed field ''k'' is a subset of some projective ''n''-space \mathbb^n 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 \mathbb^n. A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial. If ''X'' is a projective variety defined by a homogeneous prime ideal ''I'', then the quotient ring :k _0, \ldots, x_nI is called the homogeneous coordinate ring of ''X''. Basic invariants of ''X'' such as the degree and the dim ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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. 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]  


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. 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]  




Normal Variety
In algebraic geometry, an algebraic variety or scheme ''X'' is normal if it is normal at every point, meaning that the local ring at the point is an integrally closed domain. An affine variety ''X'' (understood to be irreducible) is normal if and only if the ring ''O''(''X'') of regular functions on ''X'' is an integrally closed domain. A variety ''X'' over a field is normal if and only if every finite birational morphism from any variety ''Y'' to ''X'' is an isomorphism. Normal varieties were introduced by . Geometric and algebraic interpretations of normality A morphism of varieties is finite if the inverse image of every point is finite and the morphism is proper. A morphism of varieties is birational if it restricts to an isomorphism between dense open subsets. So, for example, the cuspidal cubic curve ''X'' in the affine plane ''A''2 defined by ''x''2 = ''y''3 is not normal, because there is a finite birational morphism ''A''1 → ''X'' (namely, ''t'' maps to (''t''3, ''t''2) ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Canonical Line Bundle
In mathematics, the canonical bundle of a non-singular algebraic variety V of dimension n over a field is the line bundle \,\!\Omega^n = \omega, which is the ''n''th exterior power of the cotangent bundle Ω on ''V''. Over the complex numbers, it is the determinant bundle of holomorphic ''n''-forms on ''V''. This is the dualising object for Serre duality on ''V''. It may equally well be considered as an invertible sheaf. The canonical class is the divisor class of a Cartier divisor ''K'' on ''V'' giving rise to the canonical bundle — it is an equivalence class for linear equivalence on ''V'', and any divisor in it may be called a canonical divisor. An anticanonical divisor is any divisor −''K'' with ''K'' canonical. The anticanonical bundle is the corresponding inverse bundle ω−1. When the anticanonical bundle of V is ample, V is called a Fano variety. The adjunction formula Suppose that ''X'' is a smooth variety and that ''D'' is a smooth divisor on ''X''. T ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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]  


picture info

Resolution Of Singularities
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]  


Relative Canonical Model
In the mathematical field of algebraic geometry, the relative canonical model of a singular variety of a mathematical object where X is a particular canonical variety that maps to X, which simplifies the structure. Description The precise definition is: If f:Y\to X is a resolution define the adjunction sequence to be the sequence of subsheaves f_*\omega_Y^; if \omega_X is invertible f_*\omega_Y^=I_n\omega_X^ where I_n is the higher adjunction ideal. Problem. Is \oplus_n f_*\omega_Y^ finitely generated? If this is true then Proj \oplus_n f_*\omega_Y^ \to X is called the ''relative canonical model'' of Y, or the ''canonical blow-up'' of X. Some basic properties were as follows: The relative canonical model was independent of the choice of resolution. Some integer multiple r of the canonical divisor of the relative canonical model was Cartier and the number of exceptional components where this agrees with the same multiple of the canonical divisor of Y is also independe ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Exceptional Locus
In mathematics, specifically algebraic geometry, an exceptional divisor for a regular map :f: X \rightarrow Y of varieties is a kind of 'large' subvariety of X which is 'crushed' by f, in a certain definite sense. More strictly, ''f'' has an associated exceptional locus which describes how it identifies nearby points in codimension one, and the exceptional divisor is an appropriate algebraic construction whose support is the exceptional locus. The same ideas can be found in the theory of holomorphic mappings of complex manifolds. More precisely, suppose that :f: X \rightarrow Y is a regular map of varieties which is birational (that is, it is an isomorphism between open subsets of X and Y). A codimension-1 subvariety Z \subset X is said to be ''exceptional'' if f(Z) has codimension at least 2 as a subvariety of Y. One may then define the ''exceptional divisor'' of f to be :\sum_i Z_i \in Div(X), where the sum is over all exceptional subvarieties of f, and is an element of the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Du Val Singularity
In algebraic geometry, a Du Val singularity, also called simple surface singularity, Kleinian singularity, or rational double point, is an isolated singularity of a complex surface which is modeled on a double branched cover of the plane, with minimal resolution obtained by replacing the singular point with a tree of smooth rational curves, with intersection pattern dual to a Dynkin diagram of A-D-E singularity type. They are the canonical singularities (or, equivalently, rational Gorenstein singularities) in dimension 2. They were studied by Patrick du Val and Felix Klein. The Du Val singularities also appear as quotients of \Complex^2 by a finite subgroup of SL2(\Complex); equivalently, a finite subgroup of SU(2), which are known as binary polyhedral groups. The rings of invariant polynomials of these finite group actions were computed by Klein, and are essentially the coordinate rings of the singularities; this is a classic result in invariant theory. Classification The p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential in in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]