zbMATH — the first resource for mathematics

On existence of log minimal models. (English) Zbl 1197.14011
Let \((X,B)\) be a log canonical pair such that \(K_X+B\) is pseudo-effective (resp. is not pseudo-effective), then the log minimal model program conjecture predicts that there is a birational morphism \(\phi:X\dasharrow Y\) to a \(\mathbb Q\)-factorial divisorially log terminal pair \((Y,B_Y:=\phi _*B+\text{Ex}(\phi ^{-1}))\) such that \(a(D,X,B)<a(D,Y,B_Y)\) for any \(\phi\)-exceptional divisor \(D\) and \(K_Y+B_Y\) is nef (resp. there is a morphism \(Y\to T\) with \(\dim Y> \dim T\) and \(-(K_Y+B_Y)\) is ample over \(T\)).
Several special cases of the above conjecture were proven in [J. Am. Math. Soc. 23, No. 2, 405–468 (2010; Zbl 1210.14019)].
In this paper the author proves that the log minimal model program conjecture in dimension \(d-1\) implies the log minimal model conjecture for \(d\)-dimensional log canonical pairs \((X,B)\) such that \(K_X+B\) is numerically equivalent to an effective \(\mathbb R\)-divisor. In particular log minimal models exist for these pairs in dimension \(5\).

14E30 Minimal model program (Mori theory, extremal rays)
Full Text: DOI arXiv
[8] doi:10.2307/1990969 · Zbl 0649.14023 · doi:10.2307/1990969
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.