Minimal models for Kähler threefolds (Q2634618)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimal models for Kähler threefolds |
scientific article |
Statements
Minimal models for Kähler threefolds (English)
0 references
17 February 2016
0 references
In this comprehensive article the authors establish a minimal model program for compact Kähler threefolds. Let \(X\) be a normal \(\mathbb Q\)-factorial compact Kähler threefold with at most terminal singularities. Suppose the canonical bundle \(K_X\) is pseudo-effective, i.e., \(X\) is not uniruled, see \textit{M. Brunella} [Int. J. Math. 17, No. 1, 35--43 (2006; Zbl 1097.37041)]. Then \(X\) is bimeromorphically equivalent to a compact Kähler threefold \(X'\) with \(K_{X'}\) nef. The cone \(\overline{NA}(X)\) generated by the positive closed \((1,1)\)-currents on \(X\) plays a central role for the proof of this profund result. The cone admits a decomposition \(\overline{NA}(X)=\overline{NA}(X)_{K_{X}\geq 0}+ \sum_{i\in I}\mathbb R^+[\Gamma_i]\) with a countable family \((\Gamma_i)_{i\in I}\) of rational curves on \(X\) with the property \(-4<K_X\cdot\Gamma_i<0\). The construction of a minimal model is achieved by a sequence of contractions of the extremal rays \(\mathbb R^+[\Gamma_i]\) and flips. It is shown that these processes can be performed within the class of \(\mathbb Q\)-factorial compact Kähler threefolds with only terminal singularities. If \(X\rightarrow Y\) is a divisorial contraction, then for the Picard numbers the relation \(\rho(Y)=\rho(X)-1\) holds, and if the contraction is small with flip \(X^+\rightarrow Y\), then \(\rho(X^+)=\rho(X)\) but \(d(X^+)<d(X)\) by \textit{V. V. Shokurov} [Math. USSR, Izv. 26, 591--604 (1986; Zbl 0605.14006); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 49, No. 3, 635--651 (1985)], where \(d(X)\in \mathbb N\) denotes the so-called difficulty of \(X\). Therefore the sequence of contractions terminates after finitely many steps.
0 references
minimal model program
0 references
pseudoeffective canonical bundle
0 references
nef canonical bundle
0 references
extremal ray
0 references
terminal singularity
0 references
0 references
0 references
0 references
0 references
0 references