Scribd
Upload
99 views

Lecture 3

This document provides an overview of almost complex structures and related concepts in differential geometry. It begins by defining an almost complex structure J as an endomorphism that satisfies J2 = -1, which reduces the structure group of the tangent bundle. Integrability conditions for J are discussed, along with the decomposition of the tangent bundle into holomorphic and anti-holomorphic subbundles. Hermitian and complex structures are then introduced, along with the Nijenhuis tensor as a measure of integrability. The document concludes by discussing the decomposition of differential forms into types (p,q) on a complex manifold.

Uploaded by

satyabasha
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
99 views

Lecture 3

This document provides an overview of almost complex structures and related concepts in differential geometry. It begins by defining an almost complex structure J as an endomorphism that satisfies J2 = -1, which reduces the structure group of the tangent bundle. Integrability conditions for J are discussed, along with the decomposition of the tangent bundle into holomorphic and anti-holomorphic subbundles. Hermitian and complex structures are then introduced, along with the Nijenhuis tensor as a measure of integrability. The document concludes by discussing the decomposition of differential forms into types (p,q) on a complex manifold.

Uploaded by

satyabasha
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

3 Lecture 3 (Notes: J.

Bernstein)
3.1 Almost Complex Structure
Let J C

(End(T)) be such that J


2
=1. Such a J is called an almost complex structure and makes the
realtangentbundleintoacomplexvectorbundleviadeclaringiv=J(v). Inparticulardim
R
M = 2n. This
also tells us that the structure group of the tangent bundle reduces from Gl(2n,R) to Gl(n,C). Thus T is
an associated bundle to a principal Gl(n,C) bundle. In particular we have map on the cohomology,
H
2i
(M,Z) H
2i
(M,Z/2Z)
c(T, J) w(T)
Where c(T, J) are the Chern classes of T (with complex structure given by J) and w(T) are the Stiefel-
Whitney classes. Here the map is reduction mod 2. In particular w
2i+1
= 0 and c
1
w
2
, the later fact
implies that M is Spin
c
.
RecallthatthePontryaginclasses ofavectorbundlearep
i
H
4i
suchthatp
i
(E) = (1)
i
c
2i
(EC). We
studyp
i
(T) = (1)
i
c
2i
(TC). SincetheeigenvaluesofJ :T T areiwehavethenaturaldecomposition
T C=(Ker (Ji))(Ker (J+i))=T
1,0
T
0,1
Here T
1,0
and T
0,1 = are complex subbundles of T C and on has the identications (T
1,0
, i)

(T, J) and
(T
0,1
, i)

= (T,J). Hence if we choose a hermitian metric h on T we get a non degenerate pairing,


T
1,0
T
0,1
C
and hence T
1,0

We now compute = (T
0,1
)

.
(1)
k
p
k
(T) = c
2k
(T
1,0
T
0,1
) = c
i
(T
1,0
)c
2ki
(T
0,1
) = ( c
i
(T
1,0
))( c
j
(T
0,1
)
k k k i i j
wherethelastequalitycomesfromrearrangingthesum. Nowwehavec
i
(T
0,1
) = (1)
i
c
i
(T
1,0
)andsincewe
can identity T
1,0
with (T, J) we have
(1)
k
p
k
(T) = ( c
i
(T, J))( (1)
j
c
j
(T, J))
k i j
Thus the existence of an almost complex structure implies that one can nd classes c
i
H
2i
(M,Z) that
when taken mod 2 give the Stiefel-Whitney class and that satisfy the above Pontryagin relation.
Problem. Show that S
4k
does not admit an almost complex structure.
Remark. Topologicalobstructionstotheexistenceofanalmostcomplexstructureingeneralarenotknown.
3.2 Hermitian Structure
Denition 10. A hermitian structure or a real vector space V consists of a triple
J an almost complex structure
:V V

symplectic (i.e.

=)
g:V V

g a metric (i.e. g

=g and if we write xg(x, ) then g(x, x)>0 for x=0)


with the compatibility
g J =
8
Now pick (J, g) this determines a hermitian structure if and only if
(gJ) = (gJ)

=J

=J

g
. On the other hand (J, ) determines a hermitian structure if and only if
(J) = (J
1
)

=J

=J

that is if and only if J

+J = 0. Then we have (J

+J)(v)(w) = (Jx, y) +(x, Jy) = 0 which is


equivalent to of type (1,1). We get three structure groups
g O(V, g) ={A:A

gA=g}
Sp(V, ) ={A

A=}
J Gl(V, J) ={A:AJ =JA}
Now if we form h=g+i we obtain a hermitian metric on V. And we have structure group
Stab(h) =U(V, h) =O(v, h)Sp(V, ) =Gl(V, J)O(V, g) =Sp(V, )Gl(V, J)
we note U(V, h) is the maximal compact subgroup of Gl(V, J).
Problem. 1. Show Explicitly that given J one can always nd a compatible (or g)
2. Show similarly that givne can nd compatible g.
3.3 Integrability of J
Since we have a Lie bracket on T we can tensor it with C and obtain a Lie bracket on T C. The since
T C = T
1,0
T
0,1
, integrability conditions are thus that the complex distribution T
1,0
is involutive i.e.
[T
1,0
, T
1,0
]T
1,0
. HowfaristhisgeometryfromusualcomplexstructureonC
n
? IdeaisifonecanformM
C
thecomplexicationofM (thinkofRP
n
CP
n
orR
n
C
n
,indeedifM isrealanalyticitisalwayspossible
to do this. Then M
C
has two transverse foliations by the integrabrility condition (from T
1,0
and T
0,1
). Say
i 1 2 n
functions z : M
C
C cut out the leaves of T
1,0
(i.e. the leaves are given by z = z = . . . = z = c).
1 n
Then when one restricts the z
i
i to a neighborhood U M, obtains maps z , . . . , z : U C such that
<dz
1
, . . . , dz
n
>=T
1

,0
=Ann(T
0,1
. That is one obtains a holomorphic coordinate chart. Moreover in this
chart one has


J = i(dz
k

z
k
+dz
k

z
)
k
k
Remark. This is similar to the Darboux theorem of symplectic geometry
More generally we have
Theorem 4. (Newlander-Nirenberg) If M is a smooth manifold with smooth almost complex structure J
that is integrable then M is actually complex.
Note. This was most recently treated by Malgrange.
NowT
1,0
closedunder[,]happensifandonlyifforX T, XiJX T
1,0
onehas[XiJX, Y iJY] =
ZiJZ. That is [X, Y][JX, JY] +J[X, JY] +J[JX, Y] = 0
Denition 11. We dene the Nijenhuis tensor as N
J
(X, Y) = [X, Y][JX, JY] +J[X, JY] +J[JX, Y]
Problem. Show that N
J
is a tensor in C

2
T

T).
Thus one has J integrable if and only if N
J
=0.
9

Remark. N
J
=0 is the analog of dC

3
T

)
Now if we view J End(T) =
1
(T) =
i
then J acts on dierential forms,

(M) by

J
() =
i

vi
= (e

i
vi
). And one computes

J
() =
J
()+ (1)

thus
J
Der
0
(

(M)) and we may form L


J
= [
J
, d]Der
1
(

(M)).
Note. L
J
is denoted d
c
Denition 12. We dene the Nijenhuis bracket [,] :
k

k+l
by L
[J,K]
= [L
J
, L
K
]
One checks [L
J
, L
J
] =L
N
J
hence N
J
= [J, J].
3.4 Forms on a Complex Manifold
Inamannersimilarwithourtreatmentoffoliations,wewishtoexpressintegrabilityintermsofdierentiable
forms. LetT
0,1
(orT
1,0
)beclosedunderthecomplexiedLiebracket. SinceAnn T
0,1
=T
1

,0
=<
1
, . . . ,
n
>
(Ann T
1,0
= T
1

,0
), =
1
. . .
n
is a generator for det T
1

,0
= K. Where here K is a complex line
bundle. The condition for integrability is then d
n,0
=
0,1

n,0
for some . Taking d again one obtains
0 =d
n,0
d =d, hence =0. We call K =
n
T

the canonical bundle.


1,0
Note. ThisdenitionisdeservedsinceK T

CandT
0,1
=AnnK ={X
X
= 0},i.e. wecanrecover
the complex structure from K
More fully, there is a decomposition of forms
p q

T

C= T
1

,0
T
0

,1
p,q

=
p,q
(M)
p,q
that is a ZZ grading.
Since d
n,0
= we have integrability if and only if d = +, where here =
p,q+1
d and
=
p+1,q
d.
Problem. Show that without integrability
d=++d
N
where N
J

2
T

T and d
N
=
N
J
. Also determine the p, q decomposition of d
N
.
3.5 Dolbeault Cohomology
Assuming N
J
=0 one has
2
=
2
=+ =0. Thus one gets a complex
:
p,q
(M)
p,q+1
(M).
The cohomology of this complex is called the Dolbeault cohomology and is denoted
Ker |

p,q
=H

p,q
(M).
Im |

p,q1
10
This is s Z x 2 g&ed ring. The symbol dB can be de&mined from the oomputation p, rnp] = qi. N m
givenarealform~f SF*-(0) thtm
i e &p t i c , s i n c e ~ = ~ ~ * ~ + ( ~ ~ = $ ~ o + ~ ( w ~ m d ) andsoP.'#b. Aeneedi rn~<monMeompad.
Maw suppose E + M is a compltx vector bundle, huw dcw pone make E srrmpstible with the corn*
structure J on M?
The aohorn(~1~gy of this conplm is called Do& Jt whomulogkt with oahm in.E and iS h a t e d I$E (M, E).
Elliptic theory t& us tbat M compact impzis HsB(M, E) is finite dimensional. We note that Bl w. o is a
holomwrphic structure an K and henoe K is a halomarpbic he bundle.

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy