Flip (mathematics)

Last updated June 05, 2022

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_{X_{i}}$ is negative. Eventually, $K_{X_{n}}$ 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_{X_{i}}$ is no longer a Cartier divisor, so the intersection number $K_{X_{i}}\cdot C$ with a curve $C$ is not even defined.

The (conjectural) solution to this problem is the flip. Given a problematic $X_{i}$ as above, the flip of $X_{i}$ is a birational map (in fact an isomorphism in codimension 1) $f\colon X_{i}\rightarrow X_{i}^{+}$ to a variety whose singularities are 'better' than those of $X_{i}$ . So we can put $X_{i+1}=X_{i}^{+}$ , and continue the process.^[1]

Two major problems concerning flips are to show that they exist and to show that one cannot have an infinite sequence of flips. If both of these problems can be solved, then the minimal model program can be carried out. The existence of flips for 3-folds was proved by Mori (1988). The existence of log flips, a more general kind of flip, in dimension three and four were proved by Shokurov ( 1993 , 2003 ) whose work was fundamental to the solution of the existence of log flips and other problems in higher dimension. The existence of log flips in higher dimensions has been settled by (CaucherBirkar,Paolo Cascini&Christopher D. Haconet al. 2010 ). On the other hand, the problem of termination—proving that there can be no infinite sequence of flips—is still open in dimensions greater than 3.

Definition

If $f\colon X\to Y$ is a morphism, and K is the canonical bundle of X, then the relative canonical ring of f is

\bigoplus _{m}f_{*}({\mathcal {O}}_{X}(mK))

and is a sheaf of graded algebras over the sheaf ${\mathcal {O}}_{Y}$ of regular functions on Y. The blowup

f^{+}\colon X^{+}=\operatorname {Proj} {\big (}\bigoplus _{m}f_{*}({\mathcal {O}}_{X}(mK)){\big )}\to Y

of Y along the relative canonical ring is a morphism to Y. If the relative canonical ring is finitely generated (as an algebra over ${\mathcal {O}}_{Y}$ ) then the morphism $f^{+}$ is called the flip of $f$ if $-K$ is relatively ample, and the flop of $f$ if K is relatively trivial. (Sometimes the induced birational morphism from $X$ to $X^{+}$ is called a flip or flop.)

In applications, $f$ is often a small contraction of an extremal ray, which implies several extra properties:

The exceptional sets of both maps $f$ and $f^{+}$ have codimension at least 2,
$X$ and $X^{+}$ only have mild singularities, such as terminal singularities.
$f$ and $f^{+}$ are birational morphisms onto Y, which is normal and projective.
All curves in the fibers of $f$ and $f^{+}$ are numerically proportional.

Examples

The first example of a flop, known as the Atiyah flop, was found in ( Atiyah 1958 ). Let Y be the zeros of $xy=zw$ in $\mathbb {A} ^{4}$ , and let V be the blowup of Y at the origin. The exceptional locus of this blowup is isomorphic to $\mathbb {P} ^{1}\times \mathbb {P} ^{1}$ , and can be blown down to $\mathbb {P} ^{1}$ in two different ways, giving varieties $X_{1}$ and $X_{2}$ . The natural birational map from $X_{1}$ to $X_{2}$ is the Atiyah flop.

Reid (1983) introduced Reid's pagoda, a generalization of Atiyah's flop replacing Y by the zeros of $xy=(z+w^{k})(z-w^{k})$ .

Related Research Articles

In mathematics, a direct limit is a way to construct a object from many objects that are put together in a specific way. These objects may be groups, rings, vector spaces or in general objects from any category. The way they are put together is specified by a system of homomorphisms between those smaller objects. The direct limit of the objects $, where ranges over some directed set, is denoted by .$

In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space $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 .$

Birational geometry Field of algebraic 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, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways.

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. Both are derived from the notion of divisibility in the integers and algebraic number fields.

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.

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

In mathematics, in particular the subfield of algebraic geometry, a rational map or rational mapping is a kind of partial function between algebraic varieties. This article uses the convention that varieties are irreducible.

In algebraic geometry, the geometric genus is a basic birational invariant $p g$ of algebraic varieties and complex manifolds.

In algebraic geometry, the Chow groups of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups and have a multiplication called the intersection product. The Chow groups carry rich information about an algebraic variety, and they are correspondingly hard to compute in general.

In commutative algebra, an element b of a commutative ring B is said to be integral overA, a subring of B, if there are n ≥ 1 and a_j in A such that

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 mathematics, specifically algebraic geometry, an exceptional divisor for a regular map

In mathematics, the cone of curves of an algebraic variety $is a combinatorial invariant of importance to the birational geometry of .$

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

This is a glossary of algebraic geometry.

In mathematics, derived noncommutative algebraic geometry, the derived version of noncommutative algebraic geometry, is the geometric study of derived categories and related constructions of triangulated categories using categorical tools. Some basic examples include the bounded derived category of coherent sheaves on a smooth variety, $, called its derived category, or the derived category of perfect complexes on an algebraic variety, denoted . For instance, the derived category of coherent sheaves on a smooth projective variety can be used as an invariant of the underlying variety for many cases. Unfortunately, studying derived categories as geometric objects of themselves does not have a standardized name.$

In mathematics, and in particular algebraic geometry, K-stability is an algebro-geometric stability condition for projective algebraic varieties and complex manifolds. K-stability is of particular importance for the case of Fano varieties, where it is the correct stability condition to allow the formation of moduli spaces, and where it precisely characterises the existence of Kähler–Einstein metrics.

References

↑ More precisely, there is a conjecture stating that every sequence $X_{0}$ ⇢ $X_{1}$ ⇢ $\dots$ ⇢ $X_{n}$ ⇢ $\cdots$ of flips of varieties with Kawamata log terminal singularities, projective over a fixed normal variety $Z$ terminates after finitely many steps.

Atiyah, Michael Francis (1958), "On analytic surfaces with double points", Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences, 247 (1249): 237–244, Bibcode:1958RSPSA.247..237A, doi:10.1098/rspa.1958.0181, MR 0095974
Birkar, Caucher; Cascini, Paolo; Hacon, Christopher D.; McKernan, James (2010), "Existence of minimal models for varieties of log general type", Journal of the American Mathematical Society , 23 (2): 405–468, arXiv: math.AG/0610203 , Bibcode:2010JAMS...23..405B, doi:10.1090/S0894-0347-09-00649-3, ISSN 0894-0347, MR 2601039
Corti, Alessio (December 2004), "What Is...a Flip?" (PDF), Notices of the American Mathematical Society , 51 (11): 1350–1351, retrieved 2008-01-17
Kollár, János (1991), "Flip and flop", Proceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990), Tokyo: Math. Soc. Japan, pp. 709–714, MR 1159257
Kollár, János (1991), "Flips, flops, minimal models, etc", Surveys in differential geometry (Cambridge, MA, 1990), Bethlehem, PA: Lehigh Univ., pp. 113–199, MR 1144527
Kollár, János; Mori, Shigefumi (1998), Birational Geometry of Algebraic Varieties, Cambridge University Press, ISBN 0-521-63277-3
Matsuki, Kenji (2002), Introduction to the Mori program, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98465-0, MR 1875410
Mori, Shigefumi (1988), "Flip theorem and the existence of minimal models for 3-folds", Journal of the American Mathematical Society , 1 (1): 117–253, doi: 10.1090/s0894-0347-1988-0924704-x , JSTOR 1990969, MR 0924704
Morrison, David (2005), Flops, flips, and matrix factorization (PDF), Algebraic Geometry and Beyond, RIMS, Kyoto University
Reid, Miles (1983), "Minimal models of canonical $3$-folds", Algebraic varieties and analytic varieties (Tokyo, 1981), Adv. Stud. Pure Math., vol. 1, Amsterdam: North-Holland, pp. 131–180, MR 0715649
Shokurov, Vyacheslav V. (1993), Three-dimensional log flips. With an appendix in English by Yujiro Kawamata, vol. 1, Russian Acad. Sci. Izv. Math. 40, pp. 95–202.
Shokurov, Vyacheslav V. (2003), Prelimiting flips, Proc. Steklov Inst. Math. 240, pp. 75–213.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] More precisely, there is a conjecture stating that every sequence $X_{0}$ ⇢ $X_{1}$ ⇢ $\dots$ ⇢ $X_{n}$ ⇢ $\cdots$ of flips of varieties with Kawamata log terminal singularities, projective over a fixed normal variety $Z$ terminates after finitely many steps.

[1]