Siu's lemma, optimal \(L^2\) extension and applications to twisted pluricanonical sheaves (Q2182397): Difference between revisions
From MaRDI portal
Latest revision as of 01:47, 26 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Siu's lemma, optimal \(L^2\) extension and applications to twisted pluricanonical sheaves |
scientific article |
Statements
Siu's lemma, optimal \(L^2\) extension and applications to twisted pluricanonical sheaves (English)
0 references
23 May 2020
0 references
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\)
0 references
plurisubharmonic functions
0 references
canonical bundles
0 references
mutiplier ideal
0 references
0 references
0 references
0 references