Nefness: generalization to the lc case (Q2449601)

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.