arxiv: v1 [math.gm] 5 Jan 2019

Transcription

1 A FUNCTION OBSTRUCTION TO THE EXISTENCE OF COMPLEX STRUCTURES arxiv: v1 [mah.gm] 5 Jan 2019 JUN LING Abrac. We conruc a funcion for almo-complex Riemannian manifold. Non-vanihing of he funcion for he almo-complex rucure implie he almo-complex rucure i no inegrable. Therefore he conruced funcion i an obrucion for he exience of complex rucure from he almo-complex rucure. I i a funcion, no a enor, o i i eaier o work wih. 1. Inroducion GivenM n ariemannianmanifold, aninereingqueionihadoehereexi any complex manifold rucure on M n ha make M n a complex manifold? For a given complex manifold, he underline complex rucure give a canonical almocomplex rucure. In he udy of exience or nonexience of complex manifold rucure for a manifold, one naurally look a exience of almo-complex rucure fir, and hould any exi, and check wheher or no i can be inegraed o a complex rucure. Analmo-complexrucureJ onriemannianmanifoldm n ianendomorphim of he angen bundle TM wih J 2 = 1. I i known ha if M ha an almocomplex rucure, hen M ha even dimenion n and M i orienable. Nijenhui enor N J for he almo complex rucure J i given by he following equaion (1.1) N J (X,Y) = [JX,JY] J[X,JY] J[JX,Y] [X,Y], for all mooh vecor field X, Y. The celebraed Newlander-Nirenberg heorem [2] implie ha N J = 0 if and only if J i a canonical almo-complex rucure of a complex manifold. An almo-complex rucure J i called inegrable if N J vanihe. So in udying exience or nonexience of complex manifold rucure on a manifold, one ofen udie exience or nonexience of inegrable almo-complex rucure, or equivalenly udie almo-complex rucure and he relaed Nijenhui enor vanihing or non-vanihing propery. On he oher hand, hough i i grea ha vanihing or non-vanihing Nijenhui enor deermine wheher he almo-complex rucure i inegrable or no, and for pecial manifold like phere i i ofen eay o check he vanihing or non-vanihing propery of Nijenhui enor, like he auhor did for phere S n (n even,n > 2 ) [1], i i hard ocheck he vanihing au forhe manifoldoher han phere, due he naure of enor. I would be nice o give ome ufficien condiion for exience or o give ome obrucion for non-exience, of complex rucure. In hi paper we give an obrucion ha i a funcion L J, no a enor, which hould be much eaier Dae: Dec 14, Mahemaic Subjec Claificaion. 53C15, 53A55. 1

2 2 JUN LING o work wih for general manifold oher han phere. Non-vanihing funcion L J implie non-vanihing Nijenhui enor N J. We conruc he obrucion funcion in Secion An funcion obrucion for he exience of complex rucure We ake he convenion ha we um on duplicaed index in hi paper, unle oherwie aed. Our fir reul i Theorem 2.1. If J i an almo-complex rucure on a Riemannian manifold wih meric g, and if (2.1) L J := j (J i l Jk l ) ij j k. i no zero a ome poin of M, Then J i no inegrable. Proof. We define a (4,0) enor N(X,Z,Y,W) by N(X,Z,Y,W) := 1 ( ) ( ) { JN J N J (X,Z),Y,W JN 4 g + J N J (Y,Z),X,W g ( ) ( ) } + JN J N J (X,W),Y,Z JN g + J N J (Y,W),X,Z. where N J i he one in (1.1) and, g = g(, ). Take he race of he fir argumen and he hird argumen and hen ake he race of he econd and he fourh argumen a a poin o ge a number for ha poin g ij g kl N(ε i,ε k,ε i,ε k ), where {ε i = } n i i=1 i a local frame of local coordinae yem {xi i} n i=1, g ij = g(, i ), marix (g ij ) = (g j ij ) 1. We wrie i =, i i =, g = g(, ) for convenience. i If we can how (2.2) g ij g kl N(ε i,ε k,ε i,ε k ) = L J hen L J i conruced from Nijenhui enor N J by conracion. Non-vanihing funcion L J implie non-vanihing enor N J ince N J = 0 implie L J = 0. Therefore he heorem follow. We now prove (2.2). We calculae a a poin wih normal coordinae. So a he poin g ij = δ ij, δ ii = 1, δ ij = 0 if i j. ( ) Noe ha N(X,Z,X,Z) = JN J N J (X,Z),X,Z. herefore g L j := N(e i,e k,e i,e k ) = JN (N(e i,e k ),e i ),e k = g Nr ik N ri Jk, where N k ij are given by N J( i, j ) = N k ij k. I i eay o ee We wrie J i := J j i j for convenience. N k ij = J k i ( p J k j j J k p) J k j ( p J k i i J k p). g = {J p i ( pj r k k J r p) J p k ( pj r i i J r p)}{j q r( q J i i J q) J q i ( qj r r J q)}j k

3 FUNTION OBSTRUCTION 3 = {J k Jp i ( pjk r kjp r ) Jk Jp k ( pji r ijp r )}{Jq r ( qji ijq ) Jq i ( qjr rjq )} = {(J k Jp i pjk r Jk Jp i kjp r ) Jk Jp k ( pji r ijp r )}{Jq r ( qji ijq ) Jq i ( qjr rjq )} = {J k J ijk r Jp i J Jp r + Ji r ij r }{J rji Jq r ijq J ijr +Jq i rjq } = {J k J ijk r ij r Jp i J Jp r + Ji r }{ J ijr Jq r ijq +J rji +Jq i rjq } = J k J ijk r J ijr Jq r Jk J ijk r ijq +Jk J ijk r J rji +Jq i Jk J ijk r rjq +J i Jr i J r +Jr q i Jq i J r J r Ji i J r J q i rjq i J r +J p i J Jp r J ijr +Jq r Jp i J Jp r ijq Jp i J Jp r J rji Jq i Jp i J Jp r rjq J i Jr Ji r Jq r ijq Ji r +J rji Ji r +Jq i rjq Ji r = J k J i J r k J i J r +J k J i J r k J r J i +J p i J J r p J i J r J p i J J r p J r J i J q r Jk J ij r k ij q +Jq i Jk J ij r k rj q J rj i ij r +J ij r ij r +Jq r Jp i J J r p ij q J q i Jp i J J r p rj q J ij r J r i +J rj i J r i +J q r i J q i J r J q i rj q i J r J q r i J q J r i +J q i rj q J r i. IV3, meaning he hird erm of fourh line in he above four line afer = J q r ij q J r i = J r i ij q Jq r = J q J r i ij q r = J qj r i ij q r = J jj k i ij j k. II3, meaning he hird erm of fourh line in he four line afer =. Oher are imilar. J r J i i J r = J j J k i i J j k II3+IV3 = 0. = J k J ij r k J ij r +Jk J ij r k J rj i +Jp i J J r p J ij r Jp i J J r p J rj i J q r Jk J ij r k ij q +Jq i Jk J ij r k rj q +II3+J ij r ij r +Jq r Jp i J J r p ij q J q i Jp i J J r p rj q J ij r J r i +J rj i J r i IV2 +J q r i J q i J r J q i rj q i J r +IV3+J q i rj q J r i J q i rj q ij r = J q rj q i ij r = J q jj q i ij j = Jj jj q i ij q II5 = J J q i ij q = J jj k i ij j k. J q rj p i J J r p i J q = J p i J q J J r p i J q r = J p i J q Jk kj r p ij q r = Jp i jj r p ij j r = Jl k jj k i ij j l = J j l jj k i i J l k = J l J k i i J l k = J j J k i i J j k. = J k J ij r k J ij r +Jk J ij r k J rj i +Jp i J J r p J ij r Jp i J J r p J rj i J q rj k J i J r k i J q +J q i Jk J i J r k r J q +II3+J i J r i J r J l k j J k i i J j l J q i Jp i J J r p r J q J i J r J r i +J r J i J r i +J q r i J q i J r J j J k i i J j k +IV3+Jq i rj q J r i.

4 4 JUN LING II2 +J q i Jk J i Jk r r Jq = JqJ k J i Jk r r J q i = J ijk r r Ji k = J i Jj k k J j i. III2 J i Jr Ji r = J ijj k kj j i. II2+III2 = 0. II5+IV2 = 0. = J k J ij r k J ij r +Jk J ij r k J rj i +Jp i J J r p J ij r Jp i J J r p J rj i J q r Jk J ij r k ij q +II2+II3+J ij r ij r +II5 III1 J q i Jp i J J r p r J q +III2+J r J i J r i +J q r i J q i J r +IV2+IV3+J q i rj q J r i. J q i Jp i J J r p r J q = J qj r p J J p i rj q i = J qj J p i Jr p r J q i II4 II1 = q J p i J pj q i = J jji k kj j i. Jr q Jk J ijk r ijq = J q Jk J ijk r ijr q = J ijj k ij j k. +J i Jr ij r = +J ijj k ij j k. II1+II4 = 0. = J k J i J r k J i J r +J k J i J r k J r J i +J p i J J r p J i J r J p i J J r p J r J i II1+II2+II3+II4+II5 IV4 III3 J j J k i kj j i +III2+J rj i J r i +J q r i J q i J r +IV2+IV3+J q i rj q J r i. +J q i rj q J r i = J r i r J q J q i = J ij q J q i = J ij k j k J j i. +J r J i J r i = +J jj k i kj j i III1 = III3 = 2J j J k i kj j i. = J j l J ij k j J ij l k +Jj l J ij k j J kj l i +Jl i J ij k j J kj j l Jl i J jj k i J kj j l II1+II2+II3+II4+II5 I3 J j J k i kj j i +III2+J jj k i kj j i +J q r i J q i J r +IV2+IV3 J i J k j k J j i. J l i J i J k j J k J j l = J l i J i J k j J p k pj j l = J p k J ij k j J l i p J j l

5 FUNTION OBSTRUCTION 5 I4 = J p k Jj l J ij k j pj l i = Jj l J ij k j Jp k pj l i = Jj l J ij k j J kj l i. I2+I3 = 0. J l i J jj k i J kj j l = J l i J jj k i Jp k pj j l = J j l J jj k i Jp k pj l i = J j l J jj k i J k J l i = J j l Jp j pj k i J k J l i = J k J l i l J k i = J j J k i k J j i. I4+III1 = 0, III1 = III3. = J j l J ij k j J i J l k +I2+I3+I4 II1+II2+II3+II4+II5 III1+III2+J j J k i kj j i +J q r i J q i J r +IV2+IV3 J i J k j k J j i. = J j l J ijj k J ijk l +J jji k kj j i +Jj l ijj k ijk l J ijj k kj j i = J j l J ijj k J i Jk l +J j l ijj k i Jk l +J j Ji k k J j i J ijj k k J j i = J j l ( J ijj k J ijk l + ijj k ijk l )+(J jji k J ijj k ) kj j i. = J j l J ijj k J i Jk l +J j l ijj k i Jk l +J j Ji k k J j i J ijj k k J j i = Jl J pj r J pjr l +Jj l ijj r ijr l +J pj r rj p J pj r rjp = J Jp i i J r Jp j j Jr +J j l ijj r i Jr l +Jp i i J j j J p Jp i i J j j Jp = J k Ji p ij l k Jj p jj l +Jj l ij k j ij l k +Ji p ij j k jj p k Ji l ij j k jj k l = J k Ji p Jj p ij l k jj l +Jj l ij k j ij l k +Ji l ij j k jj l k Ji l ij j k jj k l. = J k J i pj j p i J l k j J l +J j l ij k j i J l k +J i l i J j k jj l k J i l i J j k jj k l The fir erm above i zero. In fac, J k J i pj j p i J l k j J l = i (J k Ji p Jj p Jl k jj l ) + i J k J i pj j p J l k j J l +J k i J i pj j p J l k j J l +J k J i p i J j p J l k j J l +J k Ji p Jj p Jl k j i J l = + i (J i pj j p j J l l) +J i pj j p i J k J l k j J l

6 6 JUN LING J j p ij i p jj l l J i p ij j p jj l l J i pj j p j i J l l = J l k Ji p Jj p ij k jj l J k JpJ i p j i Jk l j Jl = Jk l Ji p Jj p jjl ij k = Ja b Ji p Jj p jjb c ijc a = J k Ji p Jj p jjk l ijl = J k JpJ u p v v Jk l u Jl = J k JpJ v p u v Jk l u Jl Therefore Now = J k Ji p Jj p ij l k jj l J k J i pj j p i J l k j J l = J k J i pj j p i J l k j J l J k J i pj j p i J l k j J l = 0. = J i l ij j k jj l k Ji l ij j k jj k l = J i l ij j k j(j l k Jk l ) = J i l j (J l k J k l ) i J j k = j (J i lj l k J i lj k l ) i J j k jj i l (J l k J k l ) i J j k = j ( δ i k J i lj k l ) i J j k jj i l J l k i J j k + jj i l J k l i J j k The um of he la wo erm i zero, for Therefore j Jl i Jl k i J j k = ij j k Jk l j Jl i = a Jc b Jc d bjd a = jjl i Jl k ij j k. NikN r rij k = j (JlJ i l k ) i J j k = L J Reference [1] Jun Ling, The Non-exience of Complex Sphere S n (n > 2), arxiv: , hp : //arxiv.org/pdf/ pdf, Jan 1 (2019). [2] A. Newlander, L. Nirenberg, Complex analyic coordinae in almo complex manifold, Ann. of Mah., 65(1957), Deparmen of Mahemaic, Uah Valley Univeriy, Orem, Uah addre: lingju@uvu.edu