Scribd
Upload
78 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
Available Formats
Download as PDF, TXT or read online on Scribd
78 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
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