Pull-back of quasi-log structures (Q2360100)

Let \(Y\subset M\) be a simple normal crossings divisor on a smooth variety and \(D\) an \(\mathbb R\)-divisor on \(M\) such that the support of \(D+Y\) has simple normal crossings and \(D\) and \(Y\) have no common components. Then \((Y,B_Y:=D|_Y)\) is a globally embedded simple normal crossings pair with ambient space \(M\). A quasi-log scheme \([X,\omega]\) is a scheme \(X\) and an \(\mathbb R\)-divisor \(\omega\) on \(X\) and a proper closed subscheme \(X_{-\infty}\subset X\) and a finite collection \(\{C\}\) of reduced and irreducible subschemes of \(X\) such that there is a proper morphism \(f:Y\to X\) from a globally embedded simple normal crossings pair \((Y,B_Y)\) such that: \(f^*\omega \sim _{\mathbb R}K_Y+B_Y\), the natural map \(\mathcal O _X\to f_*\mathcal O _Y(\lceil -(B_Y^{<1})\rceil )\) induces an isomorphism \(\mathcal I _{X_{-\infty}}\cong f_*\mathcal O _Y(\lceil -(B_Y^{<1})\rceil -\lfloor B_Y^{>1}\rfloor ),\) the collection \(\{ C\}\) coincides with the images of strata of \((Y,B_Y)\) not included in \(X_{-\infty}\). The main result of this paper is that if \([X,\omega ]\) is a quasi-log scheme and \(h:X'\to X\) is a smooth quasi-projective morphism, then \([X',\omega ']\) has a natural quasi-log structure with \(\omega '=h^*\omega \otimes \text{det}\Omega ^1_{X'/X}\). The author then deduces applications to log Fano pairs and a proof of Kento Fujita's theorem on the simple connectedness of log Fano pairs with log canonical singularities.