Effective semi-ampleness of Hodge line bundles on curves (Q6185964)

If \((X,D)\) is a pair and \(f\colon X\to Y\) a fibration such that \(K_X+D\) is the pull-back of a Cartier divisor on \(Y\), the canonical bundle formula for \(f\), introduced by Kodaira for elliptic fibrations and then in its general form by Kawamata, is a way of expressing \(K_X+D\) as the pullback of the sum of three Weil \(\mathbb Q\)-divisors: the canonical divisor \(K_Y\) of \(Y\), a divisor \(B_Y\), called the discriminant, encoding information on singular fibres, and a divisor \(M_Y\), called the moduli part, which is conjectured to contain information on the birational variation of \(f\). The main conjecture on the moduli part is that it is semiample on a birational model. A more refined and stronger version of the conjecture, formulated by Prokhorov and Shokurov, is that there exists a birational morphism \(Y'\to Y\) and an integer \(m\) depending only on some numerical invariants of the general fibre (for example the dimension or the Cartier index) such that \(mM_{Y'}\) is base-point-free, where \(M_{Y'}\) is the moduli part of the base-changed fibration. The main result of the paper under review is a result in this direction, namely the existence of a positive integer \(m\) depending only on the dimension of the fibres of \(f\) and the denominators of \(D\) such that \(m(B_Y+M_Y)\) is base-point-free, for fibrations whose fibres \((X_t,D_t)\) are all klt pairs and whose underlying variety is Fano. The result is based on the existence of the moduli stack and space of K-semistable log pairs.