Canonical L2 -extension theorem [21], l extends to a holomorphic L-valued (n – q, 0)-form on X, which is denoted by l . Repair l0 . Then, for l l0 ,l2 l0 ,l2 l ,2 , ,hence l is uniformly bounded in L2 -norm l , . Consequently, it converges to a 0 holomorphic L-valued (n – q, 0)-form, say . Moreover, as l0 tends to , we Goralatide web obtain that two two . Now, it can be uncomplicated to confirm 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 | |2 and , ||two are locally integrable. The operator defines a complex of sheaves (L, ), and it really is , simple to confirm that (L, ) is often a resolution of KX L I . Every single sheaf Lq can be a C -module, is 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 way of this resolution by acyclic sheaves. In other words, can be a -closed L-valued (n, q)two |2 are locally integrable. In addition, by means of the kind on X such that ||, and | , discussions in Section 2.two, we could PHA-543613 Purity & Documentation arrange the factors so thatn,q two , and2 , .In specific, |Y L(two) (Y, L). Now let l be the harmonic representative of |Y in n,q L (Y, L). Equivalently, l = l = 0. Applying exactly the same argument from the 1st component, we(two)lwill ultimately get 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 . Considering that l l = l , ^ = lim l = lim (l l ) = q .l l q^ ^ Hence, Hn,q ( L, ) by definition. We denote this morphism by j([]) = . It is actually straightforward to confirm that i j = Id and j i = Id. The proof is finished. Now, we are ready to prove the injectivity theorem on a non-compact manifold. 1 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 positive continual K. Let ( L, L ) and ( H, H ) be two (singular) Hermitian line bundles on X. Assume the following circumstances: 1. 2. 3. There exists a closed subvariety Z on X such that L and H are each smooth on X \ Z; i L, L 0 and i H, H 0 on X; i L, L i H, H for some positive number .To get a (non-zero) section s of H with supX |s|2 e- H , the multiplication map induced by the tensor solution 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 is enough to prove thats : Hn,q ( L, L ) Hn,q ( L H, L H )is well-defined, hence injective. In other words, let Hn,q ( L, L ), and we need to prove that s Hn,q ( L H, L H ). n,q In truth, due to the fact Hn,q ( L, L ), there exists l Hl ( L) and l L (2)n,q-(Y, L)Symmetry 2021, 13,13 ofwith = l l . Applying Proposition two, we get 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. Therefore,( L l , L l )l , L = ([i L, L , ]l , l )l , L = 0.In particular, L l = 0. Now, apply Proposition 2 once again on sl and observe that (sl ) = 0, we acquire 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 .Due to the fact 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 is actually quick to se.
