Nefness: generalization to the lc case

Rational and birational maps (14E05) Minimal model program (Mori theory, extremal rays) (14E30) Families, moduli, classification: algebraic theory (14J10)

Review text

The paper deals with lc-trivial fibrations, a type of fibrations that appear naturally in higher codimension adjunction and provide an appropriate framework to generalize Kodaira's classical canonical bundle formula for minimal elliptic surfaces. An lc-trivial fibration \(f:(X,B) \to Y\) consists of a Mori contraction \(f:X \to Y\) of proper normal varieties and a log pair structure \((X,B)\) on \(X\) such that the log canonical divisor \(K_X+B\) is \(\mathbb Q\)-linearly trivial over \(Y\). According to Kawamata, the discriminant part \(B_Y\) of the fibration is the \(\mathbb Q\)-divisor \(B_Y= \sum b_P P\), where the sum runs over prime divisors \(P\) of \(Y\) and \(1-b_P\) is the largest real number \(t\) such that \((X,B+tf^*P)\) is log canonical over the generic point of \(P\). The moduli part \(M_Y\) is then defined by the formula \(K_X+B = _{\mathbb Q} f^*(K_Y+B_Y+M_Y)\). The author proves that for every lc-trivial fibration as above, there exists a proper birational morphism \(Y' \to Y\) such that: i) \(K_{Y'}+B_{Y'}\) is \(\mathbb Q\)-Cartier; ii) \(M_{Y'}\) is a nef \(\mathbb Q\)-Cartier divisor and \(\nu^* (M_{Y'})=M_{Y}\) for every proper birational morphism \(\nu:Y \to Y'\), where \(B_{Y'}, M_{Y'}\) and \(M_{Y}\) denote the discriminant and the moduli parts of the lc-trival fibrations induced by the base change. This is strictly related to a result of \textit{F. Ambro} [J. Differ. Geom. 67, No. 2, 229--255 (2004; Zbl 1097.14029)] and work of Fujino and others.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Nefness: generalization to the lc case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2449601)