Abundance conjecture

Last updated

In algebraic geometry, the abundance conjecture is a conjecture in birational geometry, more precisely in the minimal model program, stating that for every projective variety with Kawamata log terminal singularities over a field if the canonical bundle is nef, then is semi-ample.

Important cases of the abundance conjecture have been proven by Caucher Birkar. [1]

Related Research Articles

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.

In mathematics, the canonical bundle of a non-singular algebraic variety of dimension over a field is the line bundle , which is the nth exterior power of the cotangent bundle Ω on V.

In mathematics, the pluricanonical ring of an algebraic variety V, or of a complex manifold, is the graded ring

In algebraic geometry, the Kodaira dimensionκ(X) measures the size of the canonical model of a projective variety X.

In mathematics, the Enriques–Kodaira classification is a classification of compact complex surfaces into ten classes. For each of these classes, the surfaces in the class can be parametrized by a moduli space. For most of the classes the moduli spaces are well understood, but for the class of surfaces of general type the moduli spaces seem too complicated to describe explicitly, though some components are known.

A height function is a function that quantifies the complexity of mathematical objects. In Diophantine geometry, height functions quantify the size of solutions to Diophantine equations and are typically functions from a set of points on algebraic varieties to the real numbers.

In differential geometry, a Kähler–Einstein metric on a complex manifold is a Riemannian metric that is both a Kähler metric and an Einstein metric. A manifold is said to be Kähler–Einstein if it admits a Kähler–Einstein metric. The most important special case of these are the Calabi–Yau manifolds, which are Kähler and Ricci-flat.

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.

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

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.

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 Miles Reid (1983) by removing the prefix "dis" from the word "discrepant", to indicate that the resolutions have no discrepancy in the canonical class.

János Kollár is a Hungarian mathematician, specializing in algebraic geometry.

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 Reid (1980). 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.

Anabelian geometry is a theory in number theory, which describes the way in which the algebraic fundamental group G of a certain arithmetic variety V, or some related geometric object, can help to restore V. The first results for number fields and their absolute Galois groups were obtained by Jürgen Neukirch, Masatoshi Gündüz Ikeda, Kenkichi Iwasawa, and Kôji Uchida prior to conjectures made about hyperbolic curves over number fields by Alexander Grothendieck. As introduced in Esquisse d'un Programme the latter were about how topological homomorphisms between two arithmetic fundamental groups of two hyperbolic curves over number fields correspond to maps between the curves. These Grothendieck conjectures were partially solved by Hiroaki Nakamura and Akio Tamagawa, while complete proofs were given by Shinichi Mochizuki.

Vyacheslav Shokurov Russian mathematician (born 1950)

Vyacheslav Vladimirovich Shokurov is a Russian mathematician best known for his research in algebraic geometry. The proof of the Noether–Enriques–Petri theorem, the cone theorem, the existence of a line on smooth Fano varieties and, finally, the existence of log flips—these are several of Shokurov's contributions to the subject.

Caucher Birkar is a China-based Iranian Kurdish mathematician and a professor at Tsinghua University and University of Cambridge.

Yujiro Kawamata is a Japanese mathematician working in algebraic geometry.

In algebraic geometry, a Gorenstein scheme is a locally Noetherian scheme whose local rings are all Gorenstein. The canonical line bundle is defined for any Gorenstein scheme over a field, and its properties are much the same as in the special case of smooth schemes.

Chenyang Xu is a Chinese mathematician in the area of algebraic geometry and a professor at Princeton University.

In algebraic geometry, a contraction morphism is a surjective projective morphism between normal projective varieties such that or, equivalently, the geometric fibers are all connected. It is also commonly called an algebraic fiber space, as it is an analog of a fiber space in algebraic topology.

References

  1. Birkar, Caucher (2012). "Existence of log canonical flips and a special LMMP". Publications Mathématiques de l'IHÉS. 115: 325–368. arXiv: 1104.4981 . doi:10.1007/s10240-012-0039-5.