Numerical characterization of some toric fiber bundles (Q2118185)

Let \(X\) be a complex projective manifold with numerically flat tangent bundle, i.e. the tangent bundle \(T_X\) is nef and has trivial determinant. Then one obtains, as a consequence of Yau's theorem, that \(X\) is an étale quotient of an abelian variety. Let now \((X, D)\) be a log smooth projective pair, i.e. \(X\) is a projective manifold and \(D \subset X\) is a reduced divisor with simple normal crossings. If the logarithmic tangent bundle \(T_X(-\log D)\) is trivial a theorem of \textit{J. Winkelmann} [Osaka J. Math. 41, No. 2, 473--484 (2004; Zbl 1058.32011)] gives a complete classification, the simplest example being smooth toric varieties \(X\) with boundary divisor \(D\). The first result of this paper is a generalization of Winkelmann's result: if the logarithmic tangent bundle \(T_X(-\log D)\) is numerically flat, the manifold \(X\) is an analytic fibre bundle \(X \rightarrow T\) over a torus \(T\) such that the fibre \((F, D|_F)\) is a smooth toric variety. This result is obtained as a corollary of a much more general statement: let \(X\) be a normal projective variety of klt type, and let \(D\) be a reduced effective divisor such that the pair \((X, D)\) is log-canonical. Assume that the following holds: \begin{itemize} \item the divisor \(-(K_X+D)\) is nef; \item the logarithmic cotangent sheaf \(\Omega^{[1]}_X(\log D)\) is locally free and numerically flat on every rational curve. \end{itemize} Then \(X\) is an analytic fibre bundle \(X \rightarrow T\) onto a manifold with \(K_T \equiv 0\) such that the fibre \((F, D|_F)\) is a toric variety with boundary divisor \(D|_F\). Moreover the manifold \(T\) does not contain any rational curves. Hence one expects that \(T\) is an étale quotient of an abelian variety, but this is a very difficult open problem if \(\dim T \geq 3\). Note that structure theorems for varieties with nef anticanonical bundle have been established recently [\textit{J. Cao} and \textit{A. Höring}, J. Algebr. Geom. 28, No. 3, 567--597 (2019; Zbl 1419.14055); \textit{F. Campana} et al., Algebr. Geom. 8, No. 4, 430--464 (2021; Zbl 1483.14016)], but they do not apply to pairs with reduced boundary divisor. The key point of the proof is to show that for some well-chosen birational model the foliation defined by the MRC-fibration is regular, since this implies that the MRC-fibration is holomorphic and in fact a submersion. An interesting technical statement involved in the proof is a descent lemma for vector bundles if the morphism has rationally chain-connected fibres, cf. also [\textit{I. Biswas} and \textit{J. P. P. dos Santos}, C. R., Math., Acad. Sci. Paris 347, No. 19--20, 1173--1176 (2009; Zbl 1175.14031); \textit{D. Greb} et al., Compos. Math. 155, No. 2, 289--323 (2019; Zbl 1443.14009)].