|
Flip (mathematics)
In algebraic geometry, flips and flops are codimension-2 surgery operations arising in the minimal model program, given by blowing up along a relative canonical ring. In dimension 3 flips are used to construct minimal models, and any two birationally equivalent minimal models are connected by a sequence of flops. It is conjectured that the same is true in higher dimensions. The minimal model program The minimal model program can be summarised very briefly as follows: given a variety X, we construct a sequence of contractions X = X_1\rightarrow X_2 \rightarrow \cdots \rightarrow X_n , each of which contracts some curves on which the canonical divisor K_ is negative. Eventually, K_ should become nef (at least in the case of nonnegative Kodaira dimension), which is the desired result. The major technical problem is that, at some stage, the variety X_i may become 'too singular', in the sense that the canonical divisor K_ is no longer a Cartier divisor, so the intersection numb ... [...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] |
Surgery Theory
In mathematics, specifically in geometric topology, surgery theory is a collection of techniques used to produce one finite-dimensional manifold from another in a 'controlled' way, introduced by . Milnor called this technique ''surgery'', while Andrew Wallace called it spherical modification. The "surgery" on a differentiable manifold ''M'' of dimension n=p+q+1, could be described as removing an imbedded sphere of dimension ''p'' from ''M''. Originally developed for differentiable (or, smooth) manifolds, surgery techniques also apply to piecewise linear (PL-) and topological manifolds. Surgery refers to cutting out parts of the manifold and replacing it with a part of another manifold, matching up along the cut or boundary. This is closely related to, but not identical with, handlebody decompositions. More technically, the idea is to start with a well-understood manifold ''M'' and perform surgery on it to produce a manifold ''M''′ having some desired property, in such a way th ... [...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] |
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. The weak factorization theorem says that every birational map can be factored as a composition of particularly simple blowups. The Cremona group, the group of birational automorphisms of the plane, is generated by blowups. Besides their importance in describing birational transformations, blowups are also an important way of constructing new spaces. For instance, most procedures for resolution of singularities proceed by bl ... [...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] |
Contracting Morphism
In algebraic geometry, a contraction morphism is a surjective projective morphism f: X \to Y between normal projective varieties (or projective schemes) such that f_* \mathcal_X = \mathcal_Y or, equivalently, the geometric fibers are all connected ( Zariski's connectedness theorem). It is also commonly called an algebraic fiber space, as it is an analog of a fiber space in algebraic topology. By the Stein factorization, any surjective projective morphism is a contraction morphism followed by a finite morphism. Examples include ruled surfaces and Mori fiber spaces. Birational perspective The following perspective is crucial in birational geometry (in particular in Mori's minimal model program). Let ''X'' be a projective variety and \overline(X) the closure of the span of irreducible curves on ''X'' in N_1(X) = the real vector space of numerical equivalence classes of real 1-cycles on ''X''. Given a face ''F'' of \overline(X), the contraction morphism associated to ''F'', if it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Numerically Effective
In algebraic geometry, a line bundle on a projective variety is nef if it has nonnegative degree on every curve in the variety. The classes of nef line bundles are described by a convex cone, and the possible contractions of the variety correspond to certain faces of the nef cone. In view of the correspondence between line bundles and divisors (built from codimension-1 subvarieties), there is an equivalent notion of a nef divisor. Definition More generally, a line bundle ''L'' on a proper scheme ''X'' over a field ''k'' is said to be nef if it has nonnegative degree on every (closed irreducible) curve in ''X''. (The degree of a line bundle ''L'' on a proper curve ''C'' over ''k'' is the degree of the divisor (''s'') of any nonzero rational section ''s'' of ''L''.) A line bundle may also be called an invertible sheaf. The term "nef" was introduced by Miles Reid as a replacement for the older terms "arithmetically effective" and "numerically effective", as well as for the phr ... [...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] |
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] |
Small Contraction
Small may refer to: Science and technology * SMALL, an ALGOL-like programming language * Small (anatomy), the lumbar region of the back * ''Small'' (journal), a nano-science publication * <small>, an HTML element that defines smaller text Arts and entertainment Fictional characters * Small, in the British children's show Big & Small Other uses * Small, of little size * Small (surname) * "Small", a song from the album '' The Cosmos Rocks'' by Queen + Paul Rodgers See also * Smal (other) * List of people known as the Small The Small is an epithet applied to: *Bolko II the Small (c. 1312–1368), Duke of Świdnica, of Jawor and Lwówek, of Lusatia, over half of Brzeg and Oława, of Siewierz, and over half of Głogów and Ścinawa *Dionysius Exiguus (c. 470–c. 5 ... * Smalls (other) {{disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Terminal Singularities
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] |
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] |
