|
Discrepancy (algebraic Geometry)
In algebraic geometry, given a pair (''X'', ''D'') consisting of a normal variety ''X'' and a \mathbb-divisor ''D'' on ''X'' (e.g., canonical divisor), the discrepancy of the pair (''X'', ''D'') measures the degree of the singularity of the pair. See also * Canonical singularity *Crepant resolution In algebraic geometry, a crepant resolution of a singularity is a resolution that does not affect the canonical class of the manifold. The term "crepant" was coined by by removing the prefix "dis" from the word "discrepant", to indicate that t ... References * Algebraic geometry {{Algebraic-geometry-stub ... [...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] |
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] |
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. (That is, not every subvariety of projective space is a complete intersection.) Locally, every codimension-1 subvariety of a smooth variety can be defined by one equation in a neighborhood of each point. Again, the analogous statement fails for higher-codimension subvarieties. As a result of this property, much of algebraic geometry studies an arbitrary variety by analysing its codimension-1 subvarieties ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canonical Divisor
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''. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Crepant Resolution
In algebraic geometry, a crepant resolution of a singularity is a resolution that does not affect the canonical class of the manifold. The term "crepant" was coined by by removing the prefix "dis" from the word "discrepant", to indicate that the resolutions have no discrepancy in the canonical class. The crepant resolution conjecture of states that the orbifold cohomology of a Gorenstein orbifold is isomorphic to a semiclassical limit of the quantum cohomology of a crepant resolution. In 2 dimensions, crepant resolutions of complex Gorenstein quotient singularities ( du Val singularities) always exist and are unique, in 3 dimensions they exist but need not be unique as they can be related by flops, and in dimensions greater than 3 they need not exist. A substitute for crepant resolutions which always exists is a terminal model. Namely, for every variety ''X'' over a field of characteristic zero such that ''X'' has canonical singularities (for example, rational Gorenstein s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
