Siu's lemma, optimal \(L^2\) extension and applications to twisted pluricanonical sheaves (Q2182397)

The starting point of this technical paper originated from an attempt to improve a technical Lemma by [\textit{D. H. Phong} and \textit{J. Sturm}, Ann. Math. (2) 152, No. 1, 277--329 (2000; Zbl 0995.11065)] for plurisubharmonic functions with non-trivial multiplier ideal sheaves which is the main content of Theorem 1.2. Then by using Theorem 1.2, the authors establish an improved version (Theorem 1.3) of the optimal \(L^2\) extension theorem. By using Theorems 1.2 and 1.3, they obtained an optimal \(L^{2/m}\) extension result (Theorem 1.4) for twisted pluricanonical bundles. As applications of the above results, they establish the positivity of twisted relative pluricanonical bundles and its direct images (Theorem 1.5) where \(\Pi: X \to Y\) is a surjective proper holomorphic map from a Kähler manifold \((X, \omega)\) of dimension \(n\) to a connected manifold \(Y\) of dimension k with \(1 \le k \le n\). \(X\) is equipped with a holomorphic line bundle \((L, h)\) with a singular hermitian metric \(h\) such that its associated curvature current is \(\ge 0\). Now let \(\mathcal{E} :=\Pi_*(K_{X \backslash Y} + L)\) and \(\mathcal{E}_h :=\Pi_*(K_{X \backslash Y} + L \otimes I(h))\). Then by using Theorem 1.3, they prove the positivity of \(\mathcal{E}\) and \(\mathcal{E}_h\) Furthermore, let \(\mathcal{E}_{m-1} : = \Pi_*(m K_{X \backslash Y} + L)\). Then they show (Corollary 1.8) the semi positivity of \(\mathcal{E}_{m-1}\) for \(m \ge 2\)