arxiv: v1 [math.dg] 20 Sep 2018

Transcription

1 DERIVATIONS ON ALMOST COMPLEX MANIFOLDS arxiv: v [math.dg] 20 Sep 208 WEI XIA Abstract. In this short note, we propose an unified method to derive formulas for derivations conjugated by exponential functions on an almost complex manifold.. Introduction Our main result of this note is the following Theorem.. Let (M,J) be an almost complex manifold, E be a smooth vector bundle on M, and be a linear connection on E with the decomposition according to bidegrees : =,0 + 0, i θ i θ, where θ A 2,0 (M,T 0, ) is the torsion form of J. For any vector form K A l+ (M,TM), l 0, denote the interior derivative b K and the Lie derivatives by L K := [i K, ], L,0 K := [i K,,0 ], L 0, K := [i K, 0, ], respectively. For any φ A 0, (M,T,0 ) and ψ A 0, (M,T,0 ), set e i φ := k=0 and define e i φ,e i ψ,e i ψ in a similar way. Then we have () e i φ e i φ = L φ 2 i [φ,φ]; (2) e i φ,0 e i φ =,0 L,0 φ 2 i [φ,φ], and e i φ 0, e i φ = 0, L 0, φ ; (3) e i φi θ e i φ = i θ +i [θ,φ], and e i φi θ e i φ = i θ ; (4) e i ψi φ e i ψ = i φ+[φ,ψ] +[φ,ψ], and e i ψi (2) [φ,φ] e i ψ = i j=3 ; j=0 j! [[φ,φ],ψ] (j) (5) e i ψl φ e i ψ = L φ iψ φ +i j=2 j=0 (j+)! [[φ,ψ],ψ] (j) 2 i [i ψ φ,ψ] 3! i [[i ψ φ,ψ],ψ] ; (6) e i ψe i φ e i φe i ψ = L ψ 2 i [ψ,ψ] L φ i ψ φ i j=2 j=0 3! i [[i ψ φ,ψ],ψ] 2 i j=3 j=0 j! [[φ,φ],ψ] (j). i k φ k! + (j+)! [[φ,ψ],ψ] (j) 2 i [i ψ φ,ψ] + While formulas (),(2) are identical to those proved in [LRY5] for complex manifolds, formulas(3),(4),(5),(6) are new. After reviewing some basic facts about derivations in Section 2, we prove our main result in Section 3. The proof of these formulas is based on the following lemma which we believe is of independent interest: Lemma.2. Let R be an unitary associative algebra over Q (not necessarily commutative), y R be a nilpotent element. Assume x R is k-commutable with y, i.e. [x,y] (k) = 0. Then (.) e y xe y = i=k i! [x,y](i), Recently, we have learned that this lemma is already contained in Goto s work [Got05, Lem.2.7].

2 where e y := +y + y2 2! + is the exponential function. 2. Derivations and bracket operations on a real manifold In this section we review some basic facts about derivations and refer the readers to chapter II of [KMS93] for more details. Let M be a smooth manifold of dimension n, A(M) = k=n k=0 Ak (M) be its exterior algebra of differential forms. A (graded) derivation D on A(M) is a R-linear map D : A(M) A(M) with D(A l (M)) A l+k (M) and D(ξ η) = (Dξ) η +( ) kl ξ (Dη) for ξ A l (M).The integer k is called the degree of D. We denote by D k (M) the space of all derivations of degree k on A(M). For any D D k (M) and D 2 D k 2 (M), the graded commutator is defined by [D,D 2 ] := D D 2 ( ) k k 2 D 2 D. With respect to this bracket operation, the space of all derivations D(M) = k Dk (M) becomes a graded Lie algebra. 2.. The interior derivative and Lie derivative. For a smooth vector field X on M, we have the interior derivative i X which is a derivation of degree. For a vector valued (k +)-form K A k+ (M,TM), we can associate a derivation i K of degree k by setting i K ϕ := ξ (i X ϕ), if K = ξ X for a (k +)-form ξ and a vector field X, where ϕ A(M). The exterior derivative d is a derivation of degree. The Lie derivative L X := [i X,d] = i X d + di X is a derivation of degree 0. Similarly, the Lie derivative L K := [i K,d] = i K d ( ) k di K, where K A k+ (M,TM), is a derivation of degree k+. In fact, for any D D k (M), there exist unique K A k (M,TM) and L A k+ (M,TM) such that (2.) D = L K +i L, and L = 0 if and onlf [D,d] = 0, K = 0 if and onlf D is algebraic Algebraic derivation and Nijenhuis-Richardson bracket. A derivation D on A(M) is called algebraic if Df = 0, f A 0 (M). Every algebraic derivation of degree k on A(M) is of the form i K for some unique K A k+ (M,TM). For any two algebraic derivation i K D k (M) and i L D l (M), [i K,i L ] is again an algebraic derivation, hence [i K,i L ] = i [K,L] for some unique [K,L] A k+l+ (M,TM). We have (2.2) [i K,i L ] = i [K,L] = i (ik L ( ) kl i L K). The operation [, ] is called the Nijenhuis-Richardson bracket. i K L is defined as i K L := ξ (i X η) Y for K = ξ X and L = η Y The Frölicher-Nijenhuis bracket. ForanyK A k (M,TM), L A l (M,TM), [L K,L L ] is a derivation of degree k +l such that [[L K,L L ],d] = 0, hence [L K,L L ] = L [K,L] for some unique [K,L] A k+l (M,TM). This operation [, ] is called the Frölicher-Nijenhuis bracket. For k = l = 0, this bracket coincides with the Lie bracket of vector fields. On an almost complex manifold (M, J), the Newlander-Nirenberg theorem says that J is integrable if and onlf [J,J] = 0, where J : TM TM 2

3 is considered as a vector -form. On a complex manifold, the Frölicher-Nijenhuis bracket can be extended C-linearly and is exactly the bracket operation appeared in Kodaira-Spencer s deformation theory [MK7] A useful commutator relation. The following commutator relation will be useful for our purpose: for K A k (M,TM), L A l+ (M,TM), we have (2.3) [L K,i L ] = i [K,L] ( ) kl L il K. See [Mic86], [LR] and [LRY5] for various forms and generalizations of this formula. 3. Derivations on an almost complex manifold Now, let (M,J) be an almost complex manifold of real dimension 2n, its complexifiedtangent bundlet C (M) = T R (M) CadmitsadecompositionT C (M) = T,0 T 0,. For each k 0, the space of (complexified) k-forms A k C (M) := Ak (M) C admits a decomposition A k C (M) = p+q=k Ap,q (M), where A p,q (M) = p T,0 q T 0,. Hence A C (M) := p,q Ap,q (M) = A(M) C. In what follows, we omit the subscript C and make the convention that differential forms are always complex valued unless otherwise stated. Replacing R-linearity by C-linearity, the notion of graded derivation on A(M) is similarly defined. Since now A(M) has a bigrading structure, we can make a refinement. A bigraded derivation of bidegree (k,l) on A(M) is a C-linear map D : A(M) A(M) with D(A p,q (M)) A p+k,q+l (M) and D(ξ η) = (Dξ) η+( ) (k+l)m ξ (Dη) for ξ A m (M). By definition, A bigraded derivation of bidegree (k,l) is necessarily a graded derivation of degree k + l. The spaceofall bigradedderivationof bidegree(k,l) ona(m) isdenoted byd k,l (M), then D k (M) = p+q=k Dp,q (M). Note that, by extending C-linearly, all the constructions in previous section can be applied in the present situation. Example 3. (c.f. page 398 of [Dem2]). The exterior derivative d admit a decomposition into 4 bigraded derivations: d = + i θ i θ, where := p,q Πp+,q dπ p,q with Π p,q being the projection A(M) A p,q (M) and := p,q Πp,q+ dπ p,q. θ A 2,0 (M,T 0, ) is the torsion form of J which is defined byθ(x,y) := [X,Y] 0, forx,y A 0 (M,T,0 ), where[x,y] 0, isthe(0,) partofthe vectorfield[x,y]. Weseethatthebidegreeof,,i θ,i θ are(,0),(0,),(2, ),(,2) respectively. Example 3.2. For φ A 0,k (M,T,0 ), define L,0 φ := [i φ, ] = i φ ( ) k i φ and L 0, φ := [i φ, ] = i φ ( ) k i φ, then L,0 φ D0,k (M) and L 0, φ D,k+ (M). 3

4 It is clear that if D D p,q (M) is algebraic, D = i L for some unique L A p+,q (M,T,0 ) A p,q+ (M,T 0, ). We can also make the following refinement of (2.): Proposition 3.3. Let D D p,q (M), then we have (3.) D = L,0 K p,q +L0, K p,q +i L p+,q +i L p,q+, for some K p,q A p,q (M,T,0 ), K p,q A p,q (M,T 0, ) and L p+,q A p+,q (M,T,0 ), L p,q+ A p,q+ (M,T 0, ). Proof. Let D D p,q (M), then D = L K + i L, for some unique K A p+q (M,TM) and L A p+q+ (M,TM). We can write D = (L,0 K a,b +L,0 K a,b +L0, K a,b +L0, )+ i K a,b L a,b +L a,b, a+b=p+q a+b=p+q+ where a,b,k a,b A a,b (M,T,0 ), K a,b A a,b (M,T 0, )andsimilarlyl a,b A a,b (M,T,0 ), L a,b A a,b (M,T 0, ). It follows from D k (M) = p+q=k Dp,q (M) that D = L,0 K p,q +L,0 K p,q+ +L0, K p+,q +L0, K p,q +i L p+,q +i L p,q+. It is clear that L,0 K p,q+ and L0, K p+,q are algebraic so that L,0 K p,q+ = i R p,q+, L 0, K p+,q = i R p+,q forsomer p,q+ A p,q+ (M,T 0, )andr p+,q A p+,q (M,T,0 ). Remark 3.4. It is important to notice that the uniqueness part of (2.) is lost. Let φ A 0, (M,T,0 ), then i φ is nilpotent : (i φ ) n+ ξ = 0, ξ A(M), so that the operator e i i k φ φ := : A(M) A(M) k! k=0 is well-defined. Since e i φe i φ = e i φe i φ = e 0 is the identity operator, e i φ is the inverse operator of e i φ. Definition 3.5. Let R be an unitary associative algebra over Q (not necessarily commutative). For any x,y R, we say that x is finitely commutable with f there is a positive integer k such that k times {}}{ (3.2) [ [ x, y],y],,y] = 0, }{{} k times where [x,y] = xy yx is the usual commutator. If x is finitely commutable with y, the least integer k such that (3.2) holds is called the commutable degree of (x,y), and in this case we say x is k-commutable with y. We will simply denote the k times bracket in (3.2) by [x,y] (k) and make the convention that [x,y] (0) := x. 4

5 3.. A commutator lemma. Lemma 3.6. Let R be an unitary associative algebra over Q (not necessarily commutative), y R be a nilpotent element. Assume x R is k-commutable with y, i.e. [x,y] (k) = 0. Then (3.3) e y xe y = where e y := +y + y2 2! i=k i! [x,y](i), + is the exponential function. Proof. Assume y l = 0 for some positive integer l and set N = max{k,l}, then xe y = x(+y + y2 2! + ) = x+xy(+ y 2! + y2 3! + ) = x+([x,y]+yx)(+ y 2! + y2 3! + ) = (+y)x+[x,y]+([x,y]+yx)( y 2! + y2 3! + ) = (+y)x+[x,y]+([x,y] (2) +y[x,y]+y[x,y]+y 2 x)( 2! + y 3! + ) = = i=2 i=3 i! x+(+y)[x,y]+ 2 [x,y](2) +([x,y] (2) +2y[x,y]+y 2 x)( y 3! + ) i=2 i! x+ i! [x,y]+ 2 (+y)[x,y](2) + 3! [x,y](3) +([x,y] (3) +3y[x,y] (2) +3y 2 [x,y]+y 3 x)( y 4! + ) = i=4 i=3 i! x+ i! [x,y]+ i=2 2 i! [x,y](2) + 3! (+y)[x,y](3) + 4! [x,y](4) +([x,y] (4) +4y[x,y] (3) +6y 2 [x,y] (2) +4y 3 [x,y]+y 4 x)( y 5! + ) = = i=2n + i=2n i=2n i! x+ i! [x,y]+ + i=n N! ( ) 2N [x,y] (2N i) y ( i (2N +)! + ), i! [x,y](n) + + (2N)! [x,y](2n) }{{} =0 5

6 where ( 2N) i are the binomial coefficients. Now, by our assumption, we know that i=2n ( ) i=2n 2N [x,y] (2N i) i=2n = 0 and i i! = i=n i! = = i! = ey, thus xe y = e =k i! [x,y](i) e y xe y = i=k i! [x,y](i) Derivations on the algebra of vector bundle valued forms. Let E be a smooth vector bundle on the the almost complex manifold (M,J) and be a linear connection on E. The space of E-valued differential forms A(E) can be decomposed as A(E) = p,q Ap,q (E). From the work [Mic86] of P. W. Michor, we know that a similar theory as those described in Section 2 holds in this setting, in particular, formulas (2.2) and (2.3) are valid with the Lie derivative defined by L K := [i K, ] = i K ( ) k i K, where K A k+ (M,TM). See [Mic86, Lem.3.9] for the proof of (2.3). As in Example 3., the connection admits a decomposition: =,0 + 0, i θ i θ, where,0 := p,q Πp+,q Π p,q with Π p,q being the projection A(E) A p,q (E) and 0, := p,q Πp,q+ Π p,q. Define L,0 K := [i K,,0 ] = i K,0,0 i K and L 0, K := [i K, 0, ] = i K 0, 0, i K as usual. We make two observations. For φ A 0,k (M,T,0 ), ψ A 0,l (M,T,0 ), it follows easily form the definition that (3.4) i φ i ψ = ( ) (k+)(l+) i ψ i φ, and since i ψ φ = 0, by (2.3) we have (3.5) [L φ,i ψ ] = i [φ,ψ]. As in (3.2), we use [x,y] (k) to denote the k-times Nijenhuis-Richardson bracket of x with y, and [x,y] (0) := x. Theorem 3.7. Let φ A 0, (M,T,0 ) and ψ A 0, (M,T,0 ), then we have () e i φ e i φ = L φ 2 i [φ,φ]; (2) e i φ,0 e i φ =,0 L,0 φ 2 i [φ,φ], and e i φ 0, e i φ = 0, L 0, φ ; (3) e i φi θ e i φ = i θ +i [θ,φ], and e i φi θ e i φ = i θ ; (4) e i ψi φ e i ψ = i φ+[φ,ψ] +[φ,ψ], and e i ψi (2) [φ,φ] e i ψ = i j=3 j=0 ; j! [[φ,φ],ψ] (j) (5) e i ψl φ e i ψ = L φ iψ φ +i j=2 j=0 (j+)! [[φ,ψ],ψ] (j) 2 i [i ψ φ,ψ] 3! i [[i ψ φ,ψ],ψ] ; (6) e i ψe i φ e i φe i ψ = L ψ 2 i [ψ,ψ] L φ i ψ φ i j=2 j=0 3! i [[i ψ φ,ψ],ψ] 2 i j=3 j=0 j! [[φ,φ],ψ] (j). + (j+)! [[φ,ψ],ψ] (j) 2 i [i ψ φ,ψ] + Proof. All these follows easily from Lemma 3.6. For (), note that [,i φ ] = L φ. By (3.4) and (3.5), [,i φ ] (2) = [ L φ,i φ ] = i [φ,φ] and [,i φ ] (3) = [ i [φ,φ],i φ ] = 0. 6

7 For (2), first [,0,i φ ] = L,0 φ. By (2.2) and (3.4), we have so L φ = [i φ, ] = [i φ,,0 + 0, i θ i θ ] = L,0 φ +L0, φ i [φ,θ], [ L,0 φ,i φ] = [ L φ +L 0, φ +i [θ,φ],i φ] = i [φ,φ] +[L 0, φ,i φ]+i [θ,φ] (2). By comparing the degrees of the both sides, we must have [ L,0 φ,i φ] = i [φ,φ] and [L 0, φ,i φ] = i [θ,φ] (2) = 0. The proof of (2) is complete by noting that [ 0,,i φ ] = L 0, φ and [ 0,,i φ ] (2) = [ L 0, φ,i φ] = 0. For (3), we note that [i θ,i φ ] = i [θ,φ], i [θ,φ] (2) = 0 and [i θ,i φ ] = 0. For (4), we note that [i φ,i ψ ] (2) = i [φ,ψ] (2) and [φ,ψ] (2) A,0 (M,T 0, ) implies that [i φ,i ψ ] (3) = [[i φ,i ψ ] (2),i ψ ] = [i [φ,ψ] (2),i ψ ] = 0. Similarly, [[φ,φ],ψ] (3) A 2,0 (M,T 0, ) implies that [i [φ,φ],i ψ ] (4) = 0. For (5), first by (2.3) we have [L φ,i ψ ] = i [φ,ψ] L iψ φ. And so [L φ,i ψ ] (2) = [i [φ,ψ] L iψ φ,i ψ ] = i [[φ,ψ],ψ] i [iψ φ,ψ], where we have used the fact that L iψ i ψ φ = 0 since i ψ i ψ φ = 0. Now note that [[φ,ψ],ψ] (2) A 2,0 (M,T 0, ) and [[i ψ φ,ψ],ψ] A 2,0 (M,T 0, ) so that [L φ,i ψ ] (4) = [[i [[φ,ψ],ψ] i [iψ φ,ψ],i ψ ],i ψ ] = [i [[φ,ψ],ψ] (2) i [[iψ φ,ψ],ψ],i ψ ] = 0. For (6), first we have e i ψe i φ e i φ e i ψ = e i ψ( L φ 2 i [φ,φ])e i ψ = L ψ 2 i [ψ,ψ] e i ψl φ e i ψ 2 e i ψi [φ,φ] e i ψ, then (6) follows from (4) and (5). Remark 3.8. It is not hard to check that the left hand side of these identities are all graded derivations. Hence we can also prove these formulas by using (2.). In a subsequent paper, we will carry out this approach to prove several extension formulas and studts applications in deformation of complex structures. Remark 3.9. In the case E is trivial, it is easy to see that L 0, φ = [i φ, ] is an algebraic derivation, that is, L 0, φ f = 0, f A0 (M). Hence L 0, φ = i K for some unique K A 0,2 (M,T,0 ). Let {e i } be a local frame of T,0 and {ξ i } A,0 (M) its dual frame, since i K ξ i = 0 and i K ξ i = i φ ξ i i φ ξ i, we see that K = K i e i, where K i = i φ ξ i i φ ξ i. If furthermore J is integrable, i.e. M is a complex manifold, then we may set e i = and ξ i = dz i to be the coordinate frame, it follows that z i K = φ and L 0, φ = i φ. Since (i φ ) n = 0, by (4), we see that (i φ+[φ,ψ] +[φ,ψ] (2) ) n = 0. We failed to give a direct proof of this simple fact. Indeed, we have the following more general result 7

8 Proposition 3.0. Let R be an unitary associative algebra over Q (not necessarily commutative), x,y R be nilpotent elements. Assume x N = 0 for some N > and x R is k-commutable with y, i.e. [x,y] (k) = 0, then ( i=k i! [x,y](i) ) N = 0 and e y e x e y = e i=k i! [x,y](i). Proof. This follows immediately from Lemma 3.6. Acknowledgements. This note is motivated by the work [LRY5],[RZ7] of Liu- Yang-Rao and Rao-Zhao on extension formulas. I would like to thank Professor Kefeng Liu for his constant support and encouragement. I would like to thank Kang Wei for his useful comments. I would also like to thank the anonymous referees for their valuable suggestions. References [Dem2] J. P. D ly. Complex analytic and differential geometry available at [Got05] R. Goto. On deformations of generalized Calabi-Yau, hyperkähler, G2 and Spin(7) structures I. arxiv:math/0522v, [KMS93] I. Kolář, P. W. Michor, and J. Slovák. Natural operations in differential geometry. Springer- Verlag, Berlin, Heidelberg, New York, 993. [LR] K. Liu and S. Rao. Remarks on the Cartan formula and its applications. Asian Journal of Mathematics, 6():57 69, 20. [LRY5] K. Liu, S. Rao, and X. Yang. Quasi-isometry and deformations of Calabi-Yau manifolds. Inventiones mathematicae, 99(2): , 205. [Mic86] P. W. Michor. Remarks on the Frölicher-Nijenhuis bracket. In Proceedings of the Conference on Differential Geometry and its Applications, Brno, volume 086, pages , 986. [MK7] J. Morrow and K. Kodaira. Complex manifolds, volume 355. American Mathematical Soc., 97. [RZ7] S. Rao and Q. Zhao. Several special complex structures and their deformation properties. The Journal of Geometric Analysis, Wei Xia, Center of Mathematical Sciences, Zhejiang University, Hangzhou, 30027, CHINA. address: xiaweiwei3@26.com 8