Abstract
In this paper we prove some Kollár–Enoki type injectivity theorems on compact Kähler manifolds using the Hodge theory, the Bochner–Kodaira–Nakano identity and the analytic method provided by Fujino (Osaka J Math 49(3):833–852, 2012), Fujino and Matsumur (Trans Am Math Soc Ser B 8(27):849–884, 2021), Matsumura (J Algebraic Geom 27(2):305–337, 2018), Matsumura (Complex analysis and geometry, Springer, Tokyo, 2015). We have some straightforward corollaries. In particular, we will show that our injectivity theorem implies several Nadel type vanishing theorems on smooth projective manifolds.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The subject of cohomology vanishing theorems for holomorphic vector bundles on complex manifolds occupies a role of central importance in several complex variables and algebraic geometry (cf. [9, 10, 18, 20, 22, 27]). Among various vanishing theorems the Kodaira vanishing theorem [26] is one of the most celebrated results in complex geometry and his original proof is based on his theory of harmonic integrals on compact Kähler manifolds. The injectivity theorem as one of the most important generalizations of the Kodaira vanishing theorem plays an important role when we study fundamental problems in higher dimensional algebraic geometry (cf. [11, 16, 19, 29, 30, 34]). Kollár obtained in [28] his famous injectivity theorem, which is one of the most important generalizations of the Kodaira vanishing theorem for smooth complex projective varieties. After Kollár’s important work, Enoki recovered and generalized Kollár’s injectivity theorem in [8] as an easy application of the theory of harmonic integrals on compact Kähler manifolds.
Recently, Fujino and Matsumura in [13, 14, 23, 31,32,33, 35] have obtained a series of important injectivity theorems on compact Kähler manifolds formulated by singular hermitian metrics and multiplier ideal sheaves by using the transcendental method based on the theory of harmonic integrals on complete noncompact Kähler manifolds. As is well known, the transcendental method often provides us some very powerful tools not only in complex geometry but also in algebraic geometry (cf. [6, 24, 37,38,39,40,41,42]). Thus it is natural and of interest to study various vanishing theorems, injectivity theorems and other related topics by using the transcendental method. For a comprehensive and further description about this method, we recommend the reader to see the papers [4, 5, 11, 12, 15,16,17, 21] and also the references therein.
In this paper, we consider some Kollár–Enoki type injectivity theorems on compact Kähler manifolds by using the Hodge theory, the Bochner–Kodaira–Nakano identity on compact Kähler manifolds and the analytic method provided by Fujino and Matsumura in [13, 23, 32, 35]. Our first main result is the following Theorem 1.1 which contains the famous Enoki injectivity theorem as a special case.
Theorem 1.1
Let L be a semi-positive holomorphic line bundle over a compact Kähler manifold X with a smooth hermitian metric \(h_L\) satisfying \(\sqrt{-1}\Theta _{h_L} (L) \ge 0\). If F (resp. \(E\) \()\) is a holomorphic line (resp. vector) bundle over X with a smooth hermitian metric \(h_F\) (resp. \(h_E\) \()\) such that
-
(1)
\(\sqrt{-1}\Theta _{h_F}(F) - a \sqrt{-1}\Theta _{h_L} (L) \ge 0\)
-
(2)
\(\sqrt{-1}\Theta _{h_E}(E)+(a-b)Id_E\otimes \sqrt{-1}\Theta _{h_L}(L)\ge _{Nak}0\) in the sense of Nakano
for some positive constants \(a, b>0\), then for a nonzero section \(s \in H^{0}(X, L)\) the multiplication map induced by \(\otimes s\)
is injective for every \(q\ge 0\), where \(K_X\) is the canonical line bundle of X.
Although the assumptions in Theorem 1.1 may look a little bit artificial it is very useful and has some interesting applications. For instance, by applying Theorem 1.1 we obtain the following Corollaries 1.2 and 1.3. Corollary 1.2 is just the original Enoki injectivity theorem. Corollary 1.3 generalizes the Enoki injectivity theorem to the case twisted by Nakano semi-positive vector bundles.
Corollary 1.2
(Enoki injectivity theorem cf. [8, 19, 23, 32]) Let L be a semi-positive line bundle over a compact Kähler manifold X. Then for a nonzero section \(s \in H^{0}(X, L^l)\) the multiplication map induced by \(\otimes s\)
is injective for any \(k,l\ge 1\) and \(q\ge 0\).
Corollary 1.3
Let L (resp. \(E\) \()\) be a semi-positive line bundle (resp. a Nakano semi-positive vector bundle) over a compact Kähler manifold X. Then for a nonzero section \(s \in H^{0}(X, L^l)\) the multiplication map induced by \(\otimes s\)
is injective for any \(k,l\ge 1\) and \(q\ge 0\).
Motivated by the profound work obtained by Fujino and Matsumura in a series of papers (cf. [13, 23, 32, 35]) we can generalize Theorem 1.1 to the case formulated by singular hermitian metrics and multiplier ideal sheaves as follows.
Theorem 1.4
Let L be a semi-positive holomorphic line bundle over a compact Kähler manifold X with a smooth hermitian metric \(h_L\) satisfying \(\sqrt{-1}\Theta _{h_L} (L) \ge 0\). If F (resp. \(E\) \()\) is a holomorphic line (resp. vector) bundle over X with a singular hermitian metric h (resp. a smooth hermitian metric \(h_E\) \()\) such that
-
(1)
\(\sqrt{-1}\Theta _{h}(F) - a \sqrt{-1}\Theta _{h_L} (L) \ge 0\) in the sense of currents
-
(2)
\(\sqrt{-1}\Theta _{h_E}(E)+(a-b)Id_E\otimes \sqrt{-1}\Theta _{h_L}(L)\ge _{Nak}0\) in the sense of Nakano
for some positive constants \(a, b>0\), then for a nonzero section \(s \in H^{0}(X, L)\) the multiplication map induced by \(\otimes s\)
is injective for every \(q\ge 0\), where \(\mathcal I(h)\) is the multiplier ideal sheaf of h.
Here we remark that Theorem 1.4 has many straightforward applications. For instance, by applying Theorem 1.4 we have the following Corollaries 1.5 and 1.6. Corollary 1.5 is the main injectivity theorem in [23] and Corollary 1.6 is the Theorem 6.6 in [23].
Corollary 1.5
(Theorem A in [23]) Let L be a semi-positive holomorphic line bundle over a compact Kähler manifold X with a smooth hermitian metric \(h_L\) satisfying \(\sqrt{-1}\Theta _{h_L} (L) \ge 0\). If F is a holomorphic line bundle over X with a singular hermitian metric h such that \(\sqrt{-1}\Theta _{h}(F) - a \sqrt{-1}\Theta _{h_L} (L) \ge 0\) in the sense of currents for some positive constants \(a>0\), then for a nonzero section \(s \in H^{0}(X, L)\) the multiplication map induced by \(\otimes s\)
is injective for every \(q\ge 0\).
Corollary 1.6
(Theorem 6.6 in [23]) Let L be a semi-positive holomorphic line bundle over a compact Kähler manifold \((X,\omega )\) equipped with a smooth hermitian metric \(h_L\) satisfying \(\sqrt{-1}\Theta _{h_L} (L) \ge 0\) and E a Nakano semi-positive vector bundle over X. If F is a holomorphic line bundle over X with a singular hermitian metric h such that \(\sqrt{-1}\Theta _{h}(F) - a \sqrt{-1}\Theta _{h_L} (L) \ge 0\) for some positive constants \(a>0\), then for a nonzero section \(s \in H^{0}(X, L)\) the multiplication map induced by \(\otimes s\)
is injective for every \(q\ge 0\).
Moreover, by applying Theorem 1.4 we can also prove some vanishing theorems of Nadel type on smooth projective manifolds.
Corollary 1.7
Let X be a smooth projective manifold with a Kähler form \(\omega \) and E a Nakano semi-positive vector bundle on X. Let F be a holomorphic line bundle on X with a singular hermitian metric h such that \(\sqrt{-1}\Theta _{h}(F)\ge \varepsilon \omega \) in the sense of currents for some \(\varepsilon >0\). Then for every \(q>0\) we have
In particular we have
Corollary 1.8
(Nadel vanishing theorem due to Demailly: [3, Theorem 4.5]) Let X be a smooth projective manifold with a Kähler form \(\omega \) and F be a holomorphic line bundle on X with a singular hermitian metric h such that \(\sqrt{-1}\Theta _{h}(F)\ge \varepsilon \omega \) in the sense of currents for some \(\varepsilon >0\). Then for every \(q>0\) we have
This paper is organizied as follows. In Sect. 2, we recall some basic definitions and collect several preliminary lemmas. Section 3 is devoted to the proof of the main Kollár–Enoki type injectivity theorems on compact Kähler manifolds. We will give the proof of Theorem 1.1 at first and then generalize Theorems 1.1 to 1.4 by applying the deep method provided by Fujino and Matsumura in [13, 23, 32, 35].
2 Preliminaries
In this section, we collect some basic definitions and results from complex analytic and differential geometry. For details, see, for example, [4, 5].
2.1 Singular Hermitian Metrics and Multiplier Ideal Sheaves
Next let us recall the definition of singular hermitian metrics and its multiplier ideal sheaves. For the details, we recommend the reader to see [4]. Let F be a holomorphic line bundle on a complex manifold X.
Definition 2.1
A singular hermitian metric on F is a metric \(h_F\) which is given in every trivialization \(\theta : F|_{\Omega }\simeq \Omega \times \mathbb C\) by \(| \xi |_{h_F} =|\theta (\xi )|e^{-\varphi } \text { on } \Omega ,\) where \(\xi \) is a section of F on \(\Omega \) and \(\varphi \in L^1_{\textrm{loc}}(\Omega )\) is an arbitrary function. Here \(L^1_{\textrm{loc}}(\Omega )\) is the space of locally integrable functions on \(\Omega \). We usually call \(\varphi \) the weight function of the metric with respect to the trivialization \(\theta \). The curvature current of a singular hermitian metric \(h_F\) is defined by \(\sqrt{-1}\Theta _{h_{F}}(F):=2\sqrt{-1}\partial \overline{\partial } \varphi ,\) where \(\varphi \) is a weight function and \(\partial \overline{\partial } \varphi \) is taken in the sense of distributions. It is easy to see that the right hand side does not depend on the choice of trivializations (cf. [4]).
Definition 2.2
A holomorphic line bundle F is said to be pseudo-effective if F admits a singular hermitian metric \(h_F\) with semi-positive curvature current.
The notion of multiplier ideal sheaves introduced by Nadel in [36] is very important in the recent developments of complex geometry and algebraic geometry.
Definition 2.3
A quasi-plurisubharmonic function by definition is a function \(\varphi \) which is locally equal to the sum of a plurisubharmonic function and of a smooth function. If \(\varphi \) is a quasi-plurisubharmonic function on a complex manifold X, then the multiplier ideal sheaf \(\mathcal J(\varphi )\subset \mathcal O_X\) is defined by
for every open set \(U\subset X\). Then it is known that \(\mathcal J(\varphi )\) is a coherent ideal sheaf of \(\mathcal O_X\) (see [4, (5.7) Lemma] for example).
Definition 2.4
Let F be a holomorphic line bundle over a complex manifold X and let \(h_F\) be a singular hermitian metric on F. We assume \(\sqrt{-1}\Theta _{h_F}(F)\ge \gamma \) for some smooth (1, 1)-form \(\gamma \) on X. We fix a smooth hermitian metric \(h_{\infty }\) on F. Then we can write \(h_{F}=h_{\infty } e^{-2\psi }\) for some \(\psi \in L^1_{\textrm{loc}}(X)\) and \(\psi \) coincides with a quasi-plurisubharmonic function \(\varphi \) on X almost everywhere. In this situation, we put \(\mathcal J(h_{F}):=\mathcal J(\varphi )\). We note that \(\mathcal J(h_{F})\) is independent of \(h_{\infty }\) and is thus well-defined.
2.2 Equisingular Approximations
The following Lemma 2.5 is the well-known Demailly–Peternell–Schneider equisingular approximation theorem, which is frequently used in this paper. For details, see [7, Theorem 2.3] and [32, Theorem 2.3].
Lemma 2.5
Let F be a holomorphic line bundle on a compact Kähler manifold \((X,\omega )\) with a singular hermitian metric h with semi-positive curvature current. Then there exists a countable family \(\{h_{\varepsilon } \}_{1\gg \varepsilon >0}\) of singular hermitian metrics on F with the following properties:
-
(a)
\(h_{\varepsilon }\) is smooth on \(Y_{\varepsilon }:=X \setminus Z_{\varepsilon }\), where \(Z_{\varepsilon }\) is a proper closed subvariety on X.
-
(b)
\(h_{\varepsilon '} \le h_{\varepsilon ''} \le h\) holds on X when \(\varepsilon '> \varepsilon '' > 0\).
-
(c)
\(\mathcal I({h})= \mathcal I({h_{\varepsilon }})\) on X.
-
(d)
\(\sqrt{-1} \Theta _{h_{\varepsilon }}(F) \ge a\sqrt{-1}\Theta _{h_{F}}(F) -\varepsilon \omega \) on X.
2.3 \(L^2\) Spaces and \(L^2\) Estimates
Let X be a complex manifold with a positive (1, 1)-form \(\omega \) and E be a holomorphic vector bundle over X with a smooth metric h. For E-valued (p, q)-forms u and v, the point-wise inner product \(\langle u, v\rangle _{h, \omega }\) can be defined, and the global inner product \({\langle \!\hspace{0.02cm} \!\langle }u, v {\rangle \!\hspace{0.02cm}\!\rangle }_{h, \omega }\) can also be defined by
where \(\mathrm{{d}}V_{\omega }:= \omega ^{n}/n!\) and n is the dimension of X. Recall that the Chern connection \(D_{h}\) on E determined by the holomorphic structure and the hermitian metric h can be written as \(D_{h} = D'_{h} + \bar{\partial }\) with the (1, 0)-connection \(D'_{h}\) and the (0, 1)-connection \(\bar{\partial }\) (the \(\bar{\partial }\)-operator). The connections \(D'_{h}\) and \(\bar{\partial }\) can be regarded as a densely defined closed operator on the \(L^{2}\)-space \(L_{(2)}^{p, q}(X, E)_{h, \omega }\) defined by
The formal adjoints \(D'^{*}_{h}\) and \( \bar{\partial }^{*}_{h}\) agree with the Hilbert space adjoints in the sense of Von Neumann if \(\omega \) is a complete metric on X. For the \(L^2\)-space \(L^{p,q}_{(2)}(X, E)_{h, \omega }\) of E-valued (p, q)-forms on X with respect to the inner product \(\Vert \bullet \Vert _{h, \omega }\), we define the \(L^2\) cohomology \(H^{p,q}_{(2)}(X, E)_{h, \omega }\) by
Finally, we require the following very famous Hörmander \(L^2\) estimates, which will be used in the proof of our vanishing theorems.
Lemma 2.6
([1, 4, 25]) Let \((X,\omega )\) be a complete Kähler manifold. Let (E, h) be an hermitian vector bundle over X. Assume that \(A=[i\Theta _{h}(E),\Lambda _\omega ]\) is positive definite everywhere on \(\Lambda ^{p,q}T^{*}X\otimes E\), \(q\ge 1\). Then for any form \(g\in L^2(X,\Lambda ^{p,q}T^{*}X\otimes E)\) satisfying \(\overline{\partial } g=0\) and \(\int _X (A^{-1}g,g)dV_\omega <+\infty ,\) there exists \(f\in L^2(X,\Lambda ^{p,q-1}T^{*}X\otimes E)\) such that \(\overline{\partial }f=g\) and
3 Proof of Injectivity Theorems
Theorem 3.1
(=Theorem 1.1) Let L be a semi-positive holomorphic line bundle over a compact Kähler manifold X with a smooth hermitian metric \(h_L\) satisfying \(\sqrt{-1}\Theta _{h_L} (L) \ge 0\). If F (resp. \(E\) \()\) is a holomorphic line (resp. vector) bundle over X with a smooth hermitian metric \(h_F\) (resp. \(h_E\) \()\) such that
-
(1)
\(\sqrt{-1}\Theta _{h_F}(F) - a \sqrt{-1}\Theta _{h_L} (L) \ge 0\)
-
(2)
\(\sqrt{-1}\Theta _{h_E}(E)+(a-b)Id_E\otimes \sqrt{-1}\Theta _{h_L}(L)\ge _{Nak}0\) in the sense of Nakano
for some positive constants \(a, b>0\), then for a nonzero section \(s \in H^{0}(X, L)\) the multiplication map induced by \(\otimes s\)
is injective for every \(q\ge 0\), where \(K_X\) is the canonical line bundle of X.
Proof
Let \(\omega \) be a fixed Kähler metric on X and \(n=\dim X\). For simplicity, we denote \(h_{E\otimes F}=h_E \otimes h_F\) and \(h_{E\otimes F\otimes L}=h_E \otimes h_F\otimes h_L\). By the Hodge theory it is enough to show the map
is injective for every \(q\ge 0\), where \(\mathcal {H}^{n,q}(X, E\otimes F)\) is space of \(E\otimes F\)-valued forms u such that u is harmonic with respect to the metrics \(\omega \) and \(h_{E\otimes F}\), and the same for \(\mathcal {H}^{n,q}(X, E\otimes F\otimes G)\).
We will show below the map (1) is well-defined, from which the injectivity is obvious to see. In fact, for any \(u\in \mathcal {H}^{n,q}(X, E\otimes F)\) we have \(\Delta ''_{E\otimes F,h_{E\otimes F}}u=0\), where
is the complex Laplace–Beltrami operator of \(\nabla ''_{E\otimes F}\). By the Nakano identity
We note that \(\Delta ''_{E\otimes F,h_{E\otimes F}}u=0\Leftrightarrow \nabla ''_{E\otimes F}u=\nabla ''^{*}_{E\otimes F,h_{E\otimes F}}u=0\). Thus for any \(u\in \mathcal {H}^{n,q}(X,E\otimes F)\) we have
But
which means that \(E\otimes F\) is Nakano semi-positive. It follows that the curvature operator
is semi-positive for any (n, q)-forms u on X. Thus we obtain
by equation (2). It follows that
where \(\langle \bullet \rangle _{\omega ,h_{E\otimes F}}\) means the pointwise inner product on X with respect to \(\omega \) and \(h_{E\otimes F}\). Therefore
since s is a holomorphic L-valued (0,0)-form, where \(*\) is the Hodge star operator with respect to the metric \(\omega \). By the Nakano identity again
\(\nabla ''_{E\otimes F\otimes L}su=0\) by the Leibnitz rule, since s is holomorphic and u is harmonic. It follows that
On the other hand, we compute
that is,
It follows that
Therefore, by equation (3) we have
and
This means that
Recall that \(\nabla ''_{E\otimes F\otimes G}su=0\). Thus we conclude that the \(E\otimes F\otimes L\)-valued form su is harmonic with respect to the metrics \(\omega \) and \(h_{E\otimes F\otimes L}\), that is, \(su\in \mathcal {H}^{n,q}(X, E\otimes F\otimes L).\) This means that the map (1) is well-defined. The proof is finished. \(\square \)
Corollary 3.2
(=Corollary 1.2) Let L be a semi-positive line bundle over a compact Kähler manifold X. Then for a nonzero section \(s \in H^{0}(X, L^l)\) the multiplication map induced by \(\otimes s\)
is injective for any \(k,l\ge 1\) and \(q\ge 0\).
Proof
Let E be the trivial line bundle on X. For the semi-positive line bundle L we set \(F=L^k\) and \(L'=L^{l}\). Then the conditions (1) and (2) in Theorem 3.1 are easy to check for small positive constants \(a>0,b>0\) with \(a=b\). By Theorem 3.1 we know that for a nonzero section \(s \in H^{0}(X, L')\) the multiplication map induced by \(\otimes s\)
that is,
is injective for every \(q\ge 0\). \(\square \)
Corollary 3.3
(=Corollary 1.3) Let L (resp. \(E\) \()\) be a semi-positive line bundle (resp. a Nakano semi-positive vector bundle) over a compact Kähler manifold X. Then for a nonzero section \(s \in H^{0}(X, L^l)\) the multiplication map induced by \(\otimes s\)
is injective for any \(k,l\ge 1\) and \(q\ge 0\).
Proof
For a semi-positive line bundle L and a Nakano semi-positive vector bundle E on X we let \(F=L^k\) and \(L'=L^{l}\). Then the conditions (1) and (2) in Theorem 3.1 are easy to check for small positive constants \(a>0,b>0\) with \(a=b\). By Theorem 3.1 we know that for a nonzero section \(s \in H^{0}(X, L')\) the multiplication map induced by \(\otimes s\)
that is,
is injective for any \(k,l\ge 1\) and \(q\ge 0\). \(\square \)
Theorem 3.4
(=Theorem 1.4) Let L be a semi-positive holomorphic line bundle over a compact Kähler manifold X with a smooth hermitian metric \(h_L\) satisfying \(\sqrt{-1}\Theta _{h_L} (L) \ge 0\). If F (resp. \(E\) \()\) is a holomorphic line (resp. vector) bundle over X with a singular hermitian metric h (resp. a smooth hermitian metric \(h_E\) \()\) such that
-
(1)
\(\sqrt{-1}\Theta _{h}(F) - a \sqrt{-1}\Theta _{h_L} (L) \ge 0\) in the sense of currents
-
(2)
\(\sqrt{-1}\Theta _{h_E}(E)+(a-b)Id_E\otimes \sqrt{-1}\Theta _{h_L}(L)\ge _{Nak}0\) in the sense of Nakano
for some positive constants \(a, b>0\), then for a nonzero section \(s \in H^{0}(X, L)\) the multiplication map induced by \(\otimes s\)
is injective for every \(q\ge 0\), where \(\mathcal I(h)\) is the multiplier ideal sheaf of h.
Proof
We may assume \(q>0\) since the case \(q=0\) is obvious. For the proof, it is sufficient to show that an arbitrary cohomology class \(\eta \in H^{q}(X, K_{X}\otimes E\otimes F \otimes \mathcal {I}(h))\) satisfying \(s \eta = 0 \in H^{q}(X, K_{X}\otimes E\otimes F \otimes \mathcal {I}(h) \otimes L)\) is actually zero. We fix a Kähler form \(\omega \) on X throughout the proof and represent the cohomology class \(\eta \in H^{q}(X, K_{X}\otimes E\otimes F \otimes \mathcal {I}(h))\) by a \(\overline{\partial }\)-closed \(E\otimes F\)-valued (n, q)-form u with \(\Vert u \Vert _{h_Eh, \omega } < \infty \) by using the standard De Rham–Weil isomorphism
For the given singular hermitian metric h on F, by the Demailly-Peternell-Schneider equisingular approximation theorem (Lemma 2.5), there is a countable family \(\{h_{\varepsilon } \}_{1\gg \varepsilon >0}\) of singular hermitian metrics on F with the following properties:
-
(a)
\(h_{\varepsilon }\) is smooth on \(Y_{\varepsilon }:=X \setminus Z_{\varepsilon }\), where \(Z_{\varepsilon }\) is a proper closed subvariety on X.
-
(b)
\(h_{\varepsilon '} \le h_{\varepsilon ''} \le h\) holds on X when \(\varepsilon '> \varepsilon '' > 0\).
-
(c)
\(\mathcal I({h})= \mathcal I({h_{\varepsilon }})\) on X.
-
(d)
\(\sqrt{-1} \Theta _{h_{\varepsilon }}(F) \ge a\sqrt{-1}\Theta _{h_{F}}(F) -\varepsilon \omega \) on X.
By [13, Section 3] we can take a complete Kähler form \(\omega _{\varepsilon }\) on \(Y_{\varepsilon }\) such that: \(\omega _{\varepsilon }\) is a complete Kähler form on \(Y_{\varepsilon }\), \(\omega _{\varepsilon } \ge \omega \) on \(Y_{\varepsilon }\) and \(\omega _{\varepsilon }=\sqrt{-1}\partial \overline{\partial }\Psi _{\varepsilon }\) for some bounded function \(\Psi _{\varepsilon }\) on a neighborhood of every \(p \in X\). We define a Kähler form \(\omega _{\varepsilon , \delta }\) on \(Y_{\varepsilon }\) by
for \(\varepsilon \) and \(\delta \) with \(0<\delta \ll \varepsilon \). The following properties are easy to check
-
(A)
\(\omega _{\varepsilon , \delta }\) is a complete Kähler form on \(Y_{\varepsilon }=X\setminus Z_{\varepsilon }\) for every \(\delta >0\).
-
(B)
\(\omega _{\varepsilon , \delta } \ge \omega \) on \(Y_{\varepsilon }\) for every \(\delta >0\).
-
(C)
\(\Psi + \delta \Psi _{\varepsilon }\) is a bounded local potential function of \(\omega _{\varepsilon , \delta }\) and converges to \(\Psi \) as \(\delta \rightarrow 0\) where \(\Psi \) is a local potential function of \(\omega \).
In the proof of Theorem 1.4, we actually consider only a countable sequence \(\{\varepsilon _{k}\}_{k=1}^{\infty }\) (resp. \(\{\delta _{\ell }\}_{\ell =1}^{\infty }\)) converging to zero since we need to apply Cantor’s diagonal argument, but we often use the notation \(\varepsilon \) (resp. \(\delta \)) for simplicity. In the following, we mainly consider the \(L^{2}\)-space \(L^{n,q}_{(2)}(Y_{\varepsilon },E\otimes F)_{h_Eh_{\varepsilon },\omega _{\varepsilon , \delta }}\) of \(E\otimes F\)-valued (n, q)-forms on \(Y_{\varepsilon }\). We denote \(L^{n,q}_{(2)}(E\otimes F)_{\varepsilon , \delta }:= L^{n,q}_{(2)}(Y_{\varepsilon },E\otimes F)_{h_Eh_{\varepsilon },\omega _{\varepsilon , \delta }}\) and \(\Vert \bullet \Vert _{\varepsilon , \delta }:=\Vert \bullet \Vert _{h_Eh_{\varepsilon }, \omega _{\varepsilon , \delta }}\) for simplicity. The following inequality is easy to check
In particular, the norm \(\Vert u\Vert _{\varepsilon , \delta }\) is uniformly bounded with respect to \(\varepsilon \), \(\delta \). \(\square \)
There are various formulations for \(L^2\)-estimates for \(\overline{\partial }\)-equations, which originated from Hörmander’s paper [25]. The following one is suitable for our purpose.
Lemma 3.5
(cf. [2, 4.1 Théorème]) Assume that B is a Stein open set in X such that \(\omega _{\varepsilon , \delta }=\sqrt{-1}\partial \overline{\partial }(\Psi + \delta \Psi _{\varepsilon })\) on a neighborhood of \(\overline{B}\). Then, for an arbitrary \(\alpha \in {\text {Ker}}\overline{\partial }\subset L^{n, q}_{(2)}(B{\setminus } Z_{\varepsilon }, E\otimes F)_{\varepsilon , \delta }\), there exist \(\beta \in L^{n, q-1}_{(2)}(B{\setminus } Z_{\varepsilon }, E\otimes F)_{\varepsilon , \delta }\) and a positive constant \(C_{\varepsilon , \delta }\) (independent of \(\alpha \) \()\) such that: (1) \(\overline{\partial }\beta = \alpha \) and \(\Vert \beta \Vert ^{2}_{\varepsilon , \delta }\le C_{\varepsilon , \delta } \Vert \alpha \Vert ^{2}_{\varepsilon , \delta }\); (2) \(\varlimsup _{\delta \rightarrow 0} C_{\varepsilon ,\delta }\) is finite and is independent of \(\varepsilon \).
Proof of Lemma 3.5
We may assume \(\varepsilon < 1/2\). For the smooth hermitian metric \(H_{\varepsilon ,\delta }\) on \(E\otimes F\) over \(B\setminus Z_{\varepsilon }\) defined by \(H_{\varepsilon ,\delta }:=h_Eh_{\varepsilon } e^{-(\Psi + \delta \Psi _{\varepsilon })}\), the curvature satisfies
by property (B) and \(\sqrt{-1}\Theta _{h_Eh_{\varepsilon }}(E\otimes F) \ge -\varepsilon Id_E\otimes \omega \). The \(L^{2}\)-norm \(\Vert \alpha \Vert _{H_{\varepsilon ,\delta }, \omega _{\varepsilon ,\delta }}\) with respect to \(H_{\varepsilon ,\delta }\) and \(\omega _{\varepsilon ,\delta }\) is finite since the function \(\Psi + \delta \Psi _{\varepsilon } \) is bounded and \(\Vert \alpha \Vert _{\varepsilon ,\delta }\) is finite. Therefore, from the standard \(L^{2}\)-method for the \(\overline{\partial }\)-equation (cf. [2, 4.1 Théorème]), we obtain a solution \(\beta \) of the \(\overline{\partial }\)-equation \(\overline{\partial }\beta =\alpha \) with
It follows that
where \(C_{\varepsilon , \delta }=\frac{2}{q} \frac{ \sup _{B} e^{-(\Psi + \delta \Psi _{\varepsilon })} }{\inf _{B} e^{-(\Psi + \delta \Psi _{\varepsilon })}}\). It is easy to check \(C_{\varepsilon , \delta }\) satisfies the above properties. \(\square \)
By essentially using the property (C) and Lemma 3.5 we have the following De Rham–Weil isomorphism from the \(\overline{\partial }\)-\(L^2\) cohomology on \(Y_{\varepsilon }\) to the \(\mathrm {\check{C}}\)ech cohomology on X (cf. [13, Claim 1] and [32, Proposition 5.5])
The following orthogonal decomposition then follows
Now that the \(E\otimes F\)-valued (n, q)-form u belongs to \(L^{n,q}_{(2)}(E\otimes F)_{\varepsilon ,\delta }\) by (5), it can be decomposed into \(u=\overline{\partial }w_{\varepsilon , \delta }+u_{\varepsilon , \delta }\) for some \(w_{\varepsilon , \delta } \in \mathrm{{Dom}\, \overline{\partial }} \subset L^{n,q-1}_{(2)}(E\otimes F)_{\varepsilon ,\delta }\text { and } u_{\varepsilon , \delta } \in \mathcal {H}^{n,q}_{\varepsilon , \delta }(E\otimes F). \) The orthogonal projection of u to \({{\text {Im}}\overline{\partial }^{*}_{\varepsilon , \delta }}\) is zero since u is \(\overline{\partial }\)-closed. We need the following Lemma 3.6 which can be proved by the same analytic method provided by Fujino and Matsumura in [23, 32]. Here we omit the proof for simplicity. For the details, we refer the reader to the proof of Proposition 5.7 in [23] in which the inequality (5) plays an important role. By Lemma 3.6 it is sufficient for the proof to study the asymptotic behavior of the norm of \(su_{\varepsilon , \delta }\).
Lemma 3.6
(cf. Proposition 5.7 in [23]) The cohomology class \(\eta \) is zero if
where \(\Vert \bullet \Vert _{\varepsilon , \delta }:= \Vert \bullet \Vert _{h_Eh_{\varepsilon }h_L, \omega _{\varepsilon ,\delta }}\) for an \(E\otimes F \otimes L\)-valued form \(\bullet \).
Moreover, following the proof of Proposition 5.8 in [23] and Proposition 2.8 in [29] we have
Lemma 3.7
Proof of Lemma 3.7
By applying the Bochner–Kodaira–Nakano identity and the density lemma to \(u_{\varepsilon , \delta }\) and \(s u_{\varepsilon , \delta }\) (see [23, Proposition 5.8] and [29, Proposition 2.8]), we have
where we used the fact that \(u_{\varepsilon , \delta }\) is harmonic and \(\overline{\partial }(s u_{\varepsilon ,\delta })=s\overline{\partial }u_{\varepsilon ,\delta }=0\). We have
by properties (d), (B) and the assumption (2) in Theorem 1.4. It follows that
So the integrand \(g_{\varepsilon , \delta }\) of the first term of (6) satisfies
For the precise argument, see [32, Step 2 in the proof of Theorem 3.1]. By (6) we have
It follows that
Therefore, by Eq. (6) we have
Thus, we obtain
thanks to
and
On the other hand, by formula (8) we have
It follows that
which leads to
by formulas (10) and (12). Moreover, we have
thanks to \(D'^{*}_{\varepsilon , \delta }=-*\overline{\partial }*\) where \(*\) is the Hodge star operator with respect to \(\omega _{\varepsilon ,\delta }\). By formula (10) it follows that
Therefore, we obtain the conclusion by the Eqs. (7), (13) and (14). \(\square \)
Lemma 3.8
There exist \(E\otimes F\otimes L\)-valued \((n, q-1)\)-forms \(v_{\varepsilon ,\delta }\) on \(Y_{\varepsilon }\) such that \(\overline{\partial }v_{\varepsilon ,\delta }=su_{\varepsilon , \delta }\) and \(\varlimsup _{\delta \rightarrow 0} \Vert v_{\varepsilon ,\delta }\Vert _{\varepsilon , \delta } \) can be bounded by a constant independent of \(\varepsilon \).
The proof of Lemma 3.8 is completely the same as that in Proposition 5.10 in [23] in which Lemma 3.5 is used to establish the De Rham–Weil isomorphism from the \(\overline{\partial }\)-\(L^2\) cohomology on \(Y_{\varepsilon }\) to the \({{\check{\textrm{C}}}}\)ech cohomology on X (cf. [13, Claim 1] and [32, Proposition 5.5]) and the inequality (5) is essentially used to control the bound. For the details, we refer the reader to the proof of Proposition 5.10 in [23] and here we omit it for simplicity.
Lemma 3.9
Proof of Lemma 3.9
For the solution \(v_{\varepsilon ,\delta }\) in Lemma 3.8, it is easy to check that
By Lemma 3.7 and Lemma 3.8 we conclude that the right hand side is zero.
Now we finish the proof of Theorem 3.4 by Lemma 3.6. \(\square \)
Corollary 3.10
(=Corollary 1.5) Let L be a semi-positive holomorphic line bundle over a compact Kähler manifold X with a smooth hermitian metric \(h_L\) satisfying \(\sqrt{-1}\Theta _{h_L} (L) \ge 0\). If F is a holomorphic line bundle over X with a singular hermitian metric h such that \(\sqrt{-1}\Theta _{h}(F) - a \sqrt{-1}\Theta _{h_L} (L) \ge 0\) in the sense of currents for some positive constants \(a>0\), then for a nonzero section \(s \in H^{0}(X, L)\) the multiplication map induced by \(\otimes s\)
is injective for every \(q\ge 0\).
Proof
We let E be the trivial line bundle on X. Then the conditions (1) and (2) in Theorem 3.4 are easy to check if we take \(b=a\). By Theorem 3.4 we know that for a nonzero section \(s \in H^{0}(X, L)\) the multiplication map induced by \(\otimes s\)
that is,
is injective for every \(q\ge 0\), where \(\mathcal I(h)\) is the multiplier ideal sheaf of h. \(\square \)
Corollary 3.11
(=Corollary 1.6) Let L be a semi-positive holomorphic line bundle over a compact Kähler manifold \((X,\omega )\) equipped with a smooth hermitian metric \(h_L\) satisfying \(\sqrt{-1}\Theta _{h_L} (L) \ge 0\) and E a Nakano semi-positive vector bundle over X. If F is a holomorphic line bundle over X with a singular hermitian metric h such that \(\sqrt{-1}\Theta _{h}(F) - a \sqrt{-1}\Theta _{h_L} (L) \ge 0\) for some positive constants \(a>0\), then for a nonzero section \(s \in H^{0}(X, L)\) the multiplication map induced by \(\otimes s\)
is injective for every \(q\ge 0\).
Proof
For a Nakano semi-positive vector bundle E on X the conditions (1) and (2) in Theorem 3.4 are easy to check if we take \(b=a\). By Theorem 3.4 we know that for a nonzero section \(s \in H^{0}(X, L)\) the multiplication map induced by \(\otimes s\)
is injective for every \(q\ge 0\), where \(\mathcal I(h)\) is the multiplier ideal sheaf of h. \(\square \)
References
Andreotti, A., Vesentini, E.: Carleman estimates for the Laplace-Beltrami equation on complex manifolds. Publ. Math. IHES 25, 81–130 (1965)
Demailly, J.P.: Estimations \(L^{2}\) pour l’opérateur \(\overline{\partial }\) d’un fibré vectoriel holomorphe semi-positif au-dessus d’une variété kählérienne complète. Ann. Sci. École Norm. 15(4), 457–511 (1982)
Demailly, J.-P.: A numerical criterion for very ample line bundles. J. Differ. Geom. 37(2), 323–374 (1993)
Demailly, J.-P.: Analytic Methods in Algebraic Geometry. Surveys of Modern Mathematics, vol. 1. Higher Education Press, Beijing (2012)
Demailly, J.P.: Complex Analytic and Differential Geometry. Universit de Grenoble I, Grenoble (1997)
Demailly, J.-P., Hacon, C.D., Păun, M.: Extension theorems, non-vanishing and the existence of good minimal models. Acta Math. 210(2), 203–259 (2013)
Demailly, J.-P., Peternell, T., Schneider, M.: Pseudo-effective line bundles on compact Kähler manifolds. Int. J. Math. 6, 689–741 (2001)
Enoki, I.: Kawamata–Viehweg Vanishing Theorem for Compact Kähler Manifolds, Einstein Metrics and Yang–Mills Connections (Sanda, 1990). Lecture Notes in Pure and Applied Mathematics, pp. 59–68. Dekker, New York (1993)
Esnault, H., Viehweg, E.: Logarithmic de Rham complexes and vanishing theorems. Invent. Math. 86, 161–194 (1986)
Esnault, H., Viehweg, E.: Lectures on Vanishing Theorems, DMV Seminar, 20. Birkhäuser, Basel (1992)
Fujino, O.: On injectivity, vanishing and torsion-free theorems for algebraic varieties. Proc. Jpn. Acad. Ser. A 85(8), 95–100 (2009)
Fujino, O.: Fundamental theorems for the log minimal model program. Publ. Res. Inst. Math. Sci. 47(3), 727–789 (2011)
Fujino, O.: A transcendental approach to Kollár’s injectivity theorem. Osaka J. Math. 49(3), 833–852 (2012)
Fujino, O.: A transcendental approach to Kollár’s injectivity theorem II. J. Reine Angew. Math. 681, 149–174 (2013)
Fujino, O.: Vanishing Theorems, Minimal Models and Extremal Rays (Kyoto, 2011). Advanced Studies in Pure Mathematics, vol. 70, pp. 299–321. The Mathematical Society of Japan, Tokyo (2016)
Fujino, O.: Injectivity theorems[C]//Higher dimensional algebraic geometry–in honour of Professor Yujiro Kawamata’s sixtieth birthday. Advanced Studies in Pure Mathematics 74, The Mathematical Society of Japan, Tokyo, pp. 131–157 (2017)
Fujino, O.: Foundations of the Minimal Model Program. MSJ Memoirs, vol. 35. Mathematical Society of Japan, Tokyo (2017)
Fujino, O.: Kodaira vanishing theorem for log-canonical and semi-log-canonical pairs. Proc. Jpn Acad. Ser. A 91(8), 112–117 (2015)
Fujino, O.: On semipositivity, injectivity and vanishing theorems. In: Hodge theory and L2-analysis, Advanced Lectures in Mathematics (ALM), vol. 39, Int. Press, Somerville, MA, (2017), pp. 245– 282. MR3751293
Fujino, O.: Vanishing and semipositivity theorems for semi-log canonical pairs. Publ. Res. Inst. Math. Sci. 56(1), 15–32 (2020)
Fujino, O.: Kollár-type effective freeness for quasi-log canonical pairs. Internat. J. Math. 14, 15 (2016)
Fujino, O.: Kollár–Nadel type vanishing theorem. Southeast Asian Bull. Math. 42(5), 643–646 (2018)
Fujino, O., Matsumura, S.: Injectivity theorem for pseudo-effective line bundles and its applications. Trans. Am. Math. Soc. Ser. B 8(27), 849–884 (2021)
Gongyo, Y., Matsumura, S.: Versions of injectivity and extension theorems. Ann. Sci. Éc. Norm. Supér. 50, 479–502 (2017)
Hörmander, L.: \(L^2\) estimates and existence theorems for the \(\overline{\partial }\) operator. Acta Math. 113(1), 89–152 (1965)
Kodaira, K.: On a differential-geometric method in the theory of analytic stacks. Proc. Nat. Acad. Sci. USA 39, 1268–1273 (1953)
Kawamata, Y.: A generalization of Kodaira–Ramanujam’s vanishing theorem. Math. Ann. 261(1), 43–46 (1982)
Kollár, J.: Higher direct images of dualizing sheaves. I. Ann. Math. 123(1), 11–42 (1986)
Matsumura, S.: A Nadel vanishing theorem via injectivity theorems. Math. Ann. 359(3–4), 785–802 (2014)
Matsumura, S.: A Nadel vanishing theorem for metrics with minimal singularities on big line bundles. Adv. Math. 280, 188–207 (2015)
Matsumura, S.: Some applications of the theory of harmonic integrals. Complex Manifolds 2, 16–25 (2015)
Matsumura, S.: An injectivity theorem with multiplier ideal sheaves of singular metrics with transcendental singularities. J. Algebr. Geom. 27(2), 305–337 (2018)
Matsumura, S.: Injectivity theorems with multiplier ideal sheaves for higher direct images under Kähler morphisms. arXiv preprint arXiv:1607.05554, (2016)
Matsumura, S.: A vanishing theorem of Kollár–Ohsawa type. Math. Ann. 366(3–4), 1451–1465 (2016)
Matsumura, S.: Injectivity theorems with multiplier ideal sheaves and their applications, Complex analysis and geometry, pp. 241–255, Springer Proceedings in Mathematics and Statistics, 144, Springer, Tokyo (2015)
Nadel, A.M.: Multiplier ideal sheaves and Kahler–Einstein metrics of positive scalar curvature. Ann. Math. 8, 549–596 (1990)
Ohsawa, T.: Vanishing theorems on complete Kähler manifolds. Publ. Res. Inst. Math. Sci. 20(1), 21–38 (1984)
Ohsawa, T.: On a curvature condition that implies a cohomology injectivity theorem of Kollár–Skoda type. Publ. Res. Inst. Math. Sci. 41(3), 565–577 (2005)
Ohsawa, T., Takegoshi, K.: On the extension of \(L^2\) holomorphic functions. Math. Z. 195(2), 197–204 (1987)
Păun, M.: Siu’s invariance of plurigenera: a one-tower proof. J. Differ. Geom. 76(3), 485–493 (2007)
Siu, Y.-T.: Invariance of Plurigenera. Invent. Math. 134, 661–673 (1998)
Siu, Y.-T.: Extension of twisted pluricanonical sections with plurisubharmonic weight and invariance of semipositively twisted plurigenera for manifolds not necessarily of general type. In: Complex geometry (Göttingen, 2000) pp. 223–277, Springer, Berlin (2002)
Acknowledgements
The author would like to express his sincerely gratitude to Prof. Kefeng Liu for continued support and interest on this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Huang, C. Some Kollár–Enoki Type Injectivity Theorems on Compact Kähler Manifolds. J Geom Anal 34, 4 (2024). https://doi.org/10.1007/s12220-023-01441-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-023-01441-4
Keywords
- Injectivity theorems
- Compact Kahler manifolds
- \(L^{2}\) analytic methods
- Nadel type vanishing theorems