Canonical L2 -extension theorem [21], l extends to a holomorphic L-valued (n – q, 0)-form on X, that is denoted by l . Fix l0 . Then, for l l0 ,l2 l0 ,l2 l ,2 , ,therefore l is uniformly bounded in L2 -norm l , . Consequently, it converges to a 0 holomorphic L-valued (n – q, 0)-form, say . Additionally, as l0 tends to , we get that two 2 . Now, it can be effortless to verify that , ,[ q ] H q ( X, KX L I ).We denote this morphism by i = [ q ]. Conversely, let [] H q ( X, KX L I ). Let Lq be the sheaf of germs of (n, q)types on X with values in L and with measurable coefficients, such that each | |two and , ||2 are locally integrable. The operator defines a complex of sheaves (L, ), and it is actually , effortless to confirm that (L, ) is really a resolution of KX L I . Every sheaf Lq is a C -module, is actually a resolution by acyclic sheaves. so LSymmetry 2021, 13,12 ofThen, we can discover a representative ( X, Lq ) of[] H q ( X, KX L I )by means of this resolution by acyclic sheaves. In other words, can be a -closed L-valued (n, q)2 |2 are locally integrable. In addition, by means of the form on X such that ||, and | , discussions in Section two.two, we could arrange the things so thatn,q 2 , and2 , .In specific, |Y L(2) (Y, L). Now let l be the harmonic representative of |Y in n,q L (Y, L). Equivalently, l = l = 0. Applying the identical argument of your first component, we(2)lwill ultimately receive a sequence of holomorphic L-valued (n – q, 0)-forms l and its limit on X. However, l2 l ,|Y2 l , q2 , ,^ the sequence l is convergent to, say . Alvelestat Protocol Because l l = l , ^ = lim l = lim (l l ) = q .l l q^ ^ Consequently, Hn,q ( L, ) by definition. We denote this morphism by j([]) = . It is actually effortless to confirm that i j = Id and j i = Id. The proof is completed. Now, we’re able to prove the injectivity theorem on a non-compact manifold. A single could seek the advice of [3,five,7,8] for a sophisticated comprehension for the injectivity theorem on a compact manifold. Theorem 2 (=Theorem 1). Let ( X, ) be a weakly pseudoconvex K ler manifold such that sec-Kfor some good continual K. Let ( L, L ) and ( H, H ) be two (singular) Hermitian line bundles on X. Assume the following situations: 1. two. three. There exists a closed subvariety Z on X such that L and H are both smooth on X \ Z; i L, L 0 and i H, H 0 on X; i L, L i H, H for some good number .For any (UCB-5307 Description non-zero) section s of H with supX |s|two e- H , the multiplication map induced by the tensor item with s : H q ( X, KX L I ( L )) H q ( X, KX L H I ( L H )) is (well-defined and) injective for any q 0.Proof. By Proposition 5, it truly is adequate to prove thats : Hn,q ( L, L ) Hn,q ( L H, L H )is well-defined, therefore injective. In other words, let Hn,q ( L, L ), and we should prove that s Hn,q ( L H, L H ). n,q The truth is, due to the fact Hn,q ( L, L ), there exists l Hl ( L) and l L (two)n,q-(Y, L)Symmetry 2021, 13,13 ofwith = l l . Applying Proposition 2, we receive that 0 = ( L l , L l )l , L ([i L, L , ]l , l )l , L . Notice that i L, L 0, ([i L, L , ]l , l )l , L 0. Hence,( L l , L l )l , L = ([i L, L , ]l , l )l , L = 0.In specific, L l = 0. Now, apply Proposition two once more on sl and observe that (sl ) = 0, we receive that 0 ( (sl ), (sl ))l , L H l l =( L H (sl ), L H (sl ))l , L H ([i L H, L H , ](sl ), sl )l , L H .Given that L H (sl ) = s L l = 0, and([i L H, L H , ](sl ), sl )l , L Hsup |s|two e- H ([i L H, L H , ]l , l )l , LX1 (1 ) sup |s|2 e- H ([i L, L , ]l , l )l , L X=0,it truly is uncomplicated to se.