Varieties fibred over abelian varieties with fibres of log general type (Q481683): Difference between revisions

Let \((X,B)\) be a complex projective klt pair. It is a standard conjecture in minimal model theory that there exists a klt pair \((Y,B_Y)\) such that \(Y\) is birational to~\(X\), and either \((Y,B_Y)\) is a log minimal model of \((X,B)\) (i.e., \(K_Y+B_Y\) is nef), or \((Y,B_Y)\) admits the structure of a Mori fiber space. A log minimal model is called \textit{good} if abundance holds for it, i.e., \(K_Y + B_Y\) is semi-ample. In the present paper, the authors prove the existence of a good log minimal model of \((X,B)\) in the case that \(X\) carries a surjective morphism \(f: X \to Z\), where \(Z\) is a normal projective variety with maximal Albanese dimension, and \(K_X + B\) is big over~\(Z\). This generalizes previous results for \(\dim Z=0\) by \textit{C. Birkar} et al. [J. Am. Math. Soc. 23, No. 2, 405--468 (2010; Zbl 1210.14019)] and for \(\dim Z = \dim X\) by \textit{O. Fujino} [Proc. Japan Acad., Ser. A 89, No. 8, 92--95 (2013; Zbl 1287.14006)]. The authors furthermore prove the inequality \(\kappa(K_X+B) \geq \dim F + \kappa(Z)\) for a general fiber \(F\) of \(f\). This is a special case of the generalized Iitaka conjecture which states that if \(f: X \to Z\) is an algebraic fiber space onto a smooth projective variety~\(Z\), then \(\kappa(K_X+B) \geq \kappa(K_F+B_F) + \kappa(Z)\), where \(F\) is a general fiber of~\(f\) and \(K_F + B_F = (K_X+B)|_F\). The authors suggest that their methods might give rise to a proof of the generalized Iitaka conjecture in the case that \(Z\) is of maximal Albanese dimension, provided that one can prove stronger versions of certain extension theorems.