(p= 0. If (p is harmonic, n(p = dh(p-\-hd(p = 0. Conversely, by (3.130) if[I\(p=0, (p is harmonic. Thus (p is harmonic if and only if[ll(p = 0. We denote by H^'^ the linear subspace of i^^'^ consisting of all harmonic (/?, g)-forms. W'^ = {(peLP'''\n(p = 0}. Since M is compact and D is strongly elliptic, H^'^ is finite dimensional (See Theorem 7.3 of Appendix.) We say that (p and iff are orthogonal if {(p, lA) = 0. If (JP e H^'^, ((^, De^) = {U(p,ilf) = 0 for any i/^ei^^'^ hence, H^''^ and Dif^'^ are orthogonal. We denote the direct sum of mutually orthogonal subspaces by @. The following theorem is fundamental. Theorem 3.17. if^'^ = H^'^enif^'^.
I
(3.131)
For proof see Appendix (Corollary to Theorem 7.4 of Appendix). Corollary. ^ A ^ ^ H P , 9 0 5 ^ A 9 - i + ^^A^+i^
where we excise the term 5i^^'^~^ for q = 0 and t>^^'^^^ for q = n.
(3.132)
§3.5. Harmonic Differential Forms
157
Proof. It is clear from (3.124) and (3.125) that H^'^ d^^^^'' and bi^^'^"^' are mutually orthogonal. For any (peH^'"^, by (3.131) there is an / I G H ^ ' ^ and i/fGi^^'^ such that
Since Oip = d\)ilJ-^tdil/, hil/e^P'^~' and ^JAFG i^^'^'^\ we obtain (3.132).
I
Consider the a-cohomology //f^(M) = r ( M , aj2F'^-0/ar(M, ^ ^ ' ^ - ' ) , g ^ l , of M. Then r ( M , ^^'^"') = if'''^"\ and r ( M , a^^^'^"') is the linear subspace of if^'^ of all ^-closed C°°(/?, ^)-forms. From (3.132) we have
r(M, a^^'^"0 = H^'^ea^^'^"\ In fact for any cpe^^'^ represent cp as (p = h + dil/-\-hr] by (3.132) where h G H^'^, (A e if^'^~' and 77 G if^'^""'. Then if b77 = 0, ^cp = 0 clearly. Conversely, if 5
= W'^.
(3.133)
In other words a harmonic form (p e H^'^ gives a representative of a dcohomology class of (p, q)-forms. By Dolbeault's theorem (3.100), we have H^(M, a^) = Hl'\M),
q^l.
Hence we obtain the following Theorem 3.18 (Hodge-Dolbeault). H^M,aP) = W'\
I
(3.134)
For a C°° (;?, 0)-form (p, d
158
3. Differential Forms, Vector Bundles, Sheaves
such that 7r~\ Uj) = (7, x C" for each Uj, Let ( ^ ] , . . . , ^J) be the fibre coordinates of F over Uj, andyjfc(z) = (/^fc^(z));^^=i ,, the transition function of F. Then on L^ n t/^ T^ 0 , ^j=l
fjkAz)a-
(3.135)
Definition 3.18. A Hermitian metric on the fibres ofF is defined by specifying on each Uj a positive definite form
such that aj^Jz)
is C°° and that I
aj,^(z)cn^=
A,/u. = l
Z
a,,^izUU^
(3.136)
A,yu, = l
for ze UjC) U^. By (3.135), (3.136) is equivalent to ak.^{z)=
I
frkdz)ffk^iz)aj^^{z).
(3.137)
Therefore, in view of the transition relations (3.50) of F*, ajxfiiz) represents a C°° section of F * ® F * where F* is the conjugate of the dual bundle F*. Let i^^'^(F) be the linear space of all C^ip, ^)-forms with coefficients in F:i^^'^(F) = r ( M , ^ ^ ' ^ ( F ) ) . (pe^^^^F) is represented by a vector (p = {(pj,..., (pj) on Uj where (pj are C°°(jp, ^)-forms satisfying, on ^•nt/,^0,
(3.138)
For (p,il/e ^P'%F), Y,l^=, aj^fi{z)(pj A *(Aj' is a C°° 2n-form on Uj. Comparing (3.138) with (3.135), we see from (3.136) that, on UJH U^T^^, Z A,/x = l
aj^f,{z)ip^^^lP^=
Z
ak^^{z)
A,/x = l
holds. Consequently there is a 2n-form on M which coincides with Z aj;,^{z)(pj A^ij/^ on each Uj. We denote it by ZA,^ ^ A / I ( ^ ) ^ ^ A*I/?^ The
§3.5. Harmonic Differential Forms
159
inner product of (p, (/^G i^^'^(F) is defined by {
Z
a,^(z)(p^A*(^^
(3.139)
It is easy to verify that (i) {ip,(p) = i(p, i/f) and that (ii) (-\F), ~d
a''{z)*d(i
T=l
a^,iz)*i(,A.
(3.140) /
\ M = 1
ha is the adjoint of d, that is, (a^, (A) = (
^ e L^'^^-^F),
(A e L^'^^CF).
(3.141)
In fact, writing a;^^ for a^^(z), we have Z «A^^' A*(b.(A)^ = Z
A
\ fx
J
= (-l)''"'Z^'A5(la,^*r). Since Y.^,^ «AM
\A,At
/
\A,yu,
= Z
/
OAMS*'' A
* ^ + (-i)^-^''-' Y.
A,At
A
\ /Lt
Hence we have d( Z ci,^
a,^ A *(b,(A)'
Integrating over M, we obtain (^(p, i^) = (<^, bat^)ba is an analogy of b = —*5*. As in the case of b, we have (ba^A,
/
160
3. Differential Forms, Vector Bundles, Sheaves
By (3.140) we have (hAr-H"-
i a'\z)^l i aa^,(z)A*(/.^). T=l
(3.142)
/
\M=1
We define • a = 5t),+b,a
(3.143)
analogously to D. It is clear from (3.142) that the principal part of Da coincides with that of n , hence is equal to -Z«,^=.i g^"(z)(aV^a"^^^). Since (n,(p,^) = ( 9 , n . ^ ) ,
(3.144)
Da is a self-adjoint strongly elliptic linear partial differential operator. (p e i^^'^(F) is called a harmonic form with coefficients in F if 'dcp =t^a
(3.145)
I
(3.146)
Corollary. i?^'^(F) = H^'^(F)ea^^'^-^(F)eb«^^'^-"H^).
•
(3.147)
Consider the ^-cohomology with coefficients in F : Hl'\F)
= r ( M , a^^'^-HF))/ar(M, J2^^'^-^(F)).
r ( M , dsd^'^~\F)) is the linear space of all (p e if^'^(F) with d(p = 0. Hence by (3.147) r(M,a^^'^-^(F)) = H^'^(F)e5i^^'^-H^). Since T(M, ^^'^-'(F)) = if^'^-H^), we have /ff(M,F)-H^'^(F).
§3.5. Harmonic Differential Forms
161
Thus by (3.108) we obtain the following theorem. Theorem 3.20. H%M,nP(F))
= W'%F).
Corollary. //^(M, {1^(F)) is finite dimensional.
I
(3.148)
I
Let F * be the dual bundle of F, and (rjji,..., rjj^) the fibre coordinates of F * over Uj. Then the transition relations are, by (3.50), VK^=
i fjkAz)vj.,
(3.149)
A= l
where {fjkfxi^)) is the transition function ofF. For il/ = {il/],..., if/J) e i^^'^(F), put 4^%= i Then since on UjnU},9^0,
aj,^(z)^4i^.
ipl-= Y.l=Jfkr{z)Vk.
(3.150) we obtain from (3.137)
A= l
Comparing this with (3.149), we see that (i/^*i,..., IIJ%) is a C°° (n -;?, n g)-form lA* with coefficients in F*: i/f* = (j/^.^i,..., «A,*J e i^"-^'"-^(F*). Solving (3.150) with respect to i^jf, since ^^i/^j" = ( - l ) ^ ^ V j ' , we obtain
^r=(-i)^"^ I «^(^)*^fA. Thus the map (A-» j/^* maps i^^'^(F) onto i^"-^,'"-^(F*) bijectively. This map is U-linear. In terms of the components with respect to arbitrary fibre coordinates ( r / i , . . . , 77J, U\ . . . , D of F and F * w i t h ! , ^ S , = Z , ^^r^,,, we write (3.150) as
For (p e ^P'^(F) and i^ e i^"~^'"~^(F*), X L i ^A,* A (pj is a C"^ 2n-form on Uj, and on UjnUkT^ 0 , we have
A
A
which implies that XA ^t ^^^ is a C°° 2n-form on M.
162
3. Difierential Forms, Vector Bundles, Sheaves
Theorem 3.21. Define the inner product of4>* e H""^-""«(F*) and (p e by
{r,
W'^F)
1
M A= l
Then with respect to this inner product H" ^'" ^(F*) is the dual of H^'^(F). Proof. Define the inner product of (/f* e i^"-^'"-^(F*) and (pe^^^^F)
by
{^^
A
Then since il/t = Y.^ ^A^tC^)*^'^? we have
Introducing a Hermitian metric XA,/X ^^^i^)V\Vtx on the fibres of F*, we define the inner product of (A*, <^* e ^ " - / ' ' " - ^ ( F * ) by ^'{z)iPtA^Cpl. J M A,/u,
Since Z a'^^(z)*<^* = Z a'^^(z) I a.^(z)**^^ = ( - 1 ^ ^ ' , we have
1 I M
M A
{il,*,^*) = {tl,*,
i'P,n
Hence
For (p € ^"'"-'{F) form on M. Hence
and ./»* e iP"-''-"-«(F*), I^, .p^ A ./^J is a C°° (n, n - 1 ) -
J M \ A
/
J
M
\
/
A
Consequently integrating the equaHty
\ A
(3.151)
/
A
A
§3.5. Harmonic Differential Forms
163
over M, we obtain ((A*,ab> = (-ir^(a(A*,.
(3.152)
Since b^ is the adjoint of d, we have, by (3.151)
On the other hand, (ai/^*, (p) = (dilj'^, cp"^) holds, hence by (3.152), (a(A*,
^ e ^P^'^iF).
(3.153)
Similarly since (5(/f*,
^ e ^^''^(F).
(3.154)
(3.153) and (3.154) imply that (/^* is harmonic if and only if \p is harmonic. Thus i//^ (A* maps H^'^(F) bijectively onto H"-^'""^(F*). Choose an orthonormal basis {^i,..., e^} of H^'^(F) where m = dimH^'^(F). Then { e f , . . . , e*} is an orthonormal basis of H"-^'"-^(F*). For, by (3.151) (ef, e^) = (efc, e,) = 5,fc, and for any (/^ = Xr=i ^fc^fc^M^'^(^)? we have «A* = Zr=i^^fc- Since by (3.151)
we have m
for
164
3. Differential Forms, Vector Bundles, Sheaves
Theorem 3.22. Let M be a compact complex manifold M of dimension n, and F a holomorphic vector bundle over M. Then the equality dim //^(M, n^(F)) = dim H"-^(M, a""^(F*))
(3.155)
holds where F* is the dual bundle of F. Proof Since by Theorem 3.21, dimH^'^(F) = dim H"-^'"-^(F*), (3.155) follows from (3.148) immediately. I Let 0 be the sheaf of germs of holomorphic vector fields: % = €{ T{M)), where T{M) is the tangent bundle of M. Since €{T{M)) = a^{T{M)), by (3.155) dim W{M, 0 ) = dim //""^(M, n " ( r * ( M ) ) . Moreover we have fl" = ^(A"F*(M)). Let {L^} be a finite open covering of M consisting of coordinate neighbourhoods Up and {z],..., z") the local complex coordinates on Uj. Then dz] ^' - - ^ dz" is a basis of A" ^ * ( ^ ) over Uj. A" F*(M) is a vector bundle of rank 1, and each fibre A" Ff (M) at z e L^ is a 1-dimensional linear space C dz] A- - • A dzj. Put
Jjkiz) = det—I
—
d{Zj,...,Zj)
Then since dzl A • • • A dzl = Jjk(z) dz] A • • • A dz], the transition relations for the fibre coordinates on A" T'^iM) are given by Cj = Uz)^j,.
(3.156)
A" T^(M) is called the canonical bundle of M, and is denoted by K: i^ = A" T'^iM). K plays an important role in the theory of complex manifolds and algebraic geometry. Since
a"(r*(M)) = ^(X0 r*(M)) = ^(F*(M)® x) = n\K), we obtain the following equality dim f/^(M, @) = dim //""'^(M, n\K)).
(3.157)
§3.6. Complex Line Bundles
185
§3.6. Complex Line Bundles (a) Complex Line Bundles By a complex line bundle we mean a holomorphic vector bundle of rank 1 over a complex manifold. Let (F, M, TT) be a complex line bundle. We choose a finite open covering U = {Uj} such that 7r~^(Uj)= UjXC Then (z, ij) e UjXC and (z, ^k) e U^xC are the same point on F if
where the transition function yjfc(z) is a non-vanishing holomorphic function on Ujn L/fc. Moreover we have fjj{z) = 1, fkj(z) =fjk(zy^ by (3.40) and on UinUjnUj,9^0,byi339), fiu{z)=fij{z)fju{z).
(3.158)
Let 6^ be the set of germs of non-vanishing holomorphic functions at peM. 0^ forms a group with respect to the multiplication. Since 0^ is an Abelian group, considering it as a Z-module, we can define a sheaf ^* = UpeM ^p of germs of non-vanishing holomorphic functions over M. ^* is an open subset of €. Let g = g(z) be a local holomorphic function oh M. We denote / = / ( z ) = e^"'^^"^ by e(g). Then ^ : g - > / = e ( g ) defines a homomorphism gp-> e(g)p of 0 into ^*, which we denote also by e. Since ^27rig(z)^^ if aiid only if g{z) is a Z-valued locally constant function, ker e = Z, hence, 0-^Z-^^-i^*-»0
(3.159)
is exact. By Theorem 3.7 we obtain from this exact sequence the following exact sequence of cohomologies. > H\M, 0) -> H\M, 0^) ^ H\M, Z) -> • • •.
(3.160)
If we regard the transition function fi^ =fjk{z) of a complex line bundle F = (F, M, TT) as a s e c t i o n ^ e T { U j n U^, ^*) of ^* over UjnUj,9^ 0 , {i;a forms a 1-cocycle with respect to U by (3.158): {fjk}eZ'{U, 0*). Suppose that each Uj is a coordinate poly disk. Then as with (3.160), the sequence
>H\Uj, €)^H\Uj,
€^)^H\Uj,Z)-^'
is exact. By Dolbeault's theorem (Theorem 3.12), we have H\ Uj, €) ^ n Uj, 5 ^ ) / 5 r ( Uj, si)
••
166
3. Differential Forms, Vector Bundles, Sheaves
where A is the sheaf of germs of C°° functions. By Dolbeault's lemma (Theorem 3.3), for any a-closed (0, l)-form (peT(Uj, dsd) on Uj, there is a il/er{Uj,sd) with (p=dil/, hence H\Uj,O) = 0. Since H^(Uj,Z) = 0, we obtain H\Uj, ^*) = 0. Therefore, by Theorem 3.5, we have H\n,
^*) = H\M,
^*).
(3.161)
Thus 1-cocycles {fjk} and {gjk}eZ^{Vi, 0^) belong to the same cohomology class if and only if there is a 0-cochain {hj} e C^(U, ^*) such that {fjkgjk} = 8{hj}, which means that^fcg7fc^ = M 7 ^ i-e. gjk = hj/n^hl^ Consequently {fj^} and {gjk} belong to the same cohomology class if and only if fji, and gjk are transition functions of the same line bundle F (see p. 99). Thus we identify a complex line bundle with the cohomology class of the l-cocycle {fjk}'F=
[{fjk}]eH\M,0%
Thus H^{M, ^*) is the group of complex line bundle over M with tensor product as its group multiplication. Definition 3.19. For a complex line bundle F e H\M, ^ * ) , S'^Fe H\M, Z ) is called its Chern class, and is denoted by c{F): c(F) = S'^F. Actually (3.161) holds for any sufficiently fine finite open covering 11 = {Uj}. In fact, take a finite open covering SB = { W^} of M such that each Wx is a polydisk. Then if each Uj is sufficiently small, we may assume that n = {Uj} is a refinement of SB: U<SB. Consequently by (3.71), (3.68) and Theorem 3.4, we have //^(SB, ^*) c: H\U, 6^*) c: H\M,
^*).
Since by (3.161), H H S B , ^*) = H{M, ^*), we have the desired result. Let U = { L/y} < SB be a finite open covering such that Uj and Uj n Uk (7^0) are all simply connected, and that t/jO UjnUk 9^0 is connected. Let F = [{fjk}]eH\M,€'^) where {fjk}eZ\n,€''). Then since ^ ( ^ ) ^y;^ is a non-vanishing holomorphic function on a simply connected open set Uj n Uk9^0, any branch of log fjk{z) is a one-valued holomorphic function on Uj n Uk. Put gjkiz) =
T= log fjkiz), 27rV-l
gkjiz) = -gjk(z).
Then by (3.158) e{gjk(z)-gik(z)
+ g,j{z))=fjk(z)fk{zr%(z)
= l.
§3.6. Complex Line Bundles
167
Hence Cijk = gjk(z) - gik(z) + gij{z)
is a constant integer on the doman UinUjn 11^9^0. Since e{gjk} = {yj^}, and 5{g,fc} = {Cyfc}GZ^(tl, Z), 5*F is represented by the 2-cocycle {Cy^} by the definition of 5* (see p. 130). Thus the Chern class ciF) = 8'^F of a complex line bundle F = [{fjk}] is given by
c{F) = [{c,j^}l
c,j^=
^ ( l o g X - f c - l o g ^ + logi;,-). 2W-1
(3.162)
By a divisor on a compact complei mdnifold M = M"" we mean a linear combination D = Y,^rn^S^ of a finite number of analytic hypersurface 5 i , . . . , S^,..., with coefficients m^eZ. For a sufficiently fine finite open covering 11 = { L^}, 5^ is given in U;, with L^ n 5^ ?^ 0 by its minimal equation f.j(z) = 0: S^ n (7,- = {z G ^ \f^j(z) = 0}.
(3.163)
In case L^ n 5^ = 0 , if we take as/^j(z) an arbitrary non-vanishing holomorphic function, e.g., a constant function 1, then (3.163) is also valid there. fvj{z)/fvk{z) is a non-vanishing holomorphic function on UjnUkT^ 0 . Put
fjk{z) = U['yY-,] vv/..(z); r
,
zG^-nf/,.
(3.164)
\jvk\Z)/
Then yjfc(^) is also non-vanishing on UjC^U^y^ 0 . Hence {fj^} G Z ^ ( U , ^ * ) . Thus there is a complex line bundle F with the transition function ^fc, which we call the complex line bundle defined by D and denote it by [D\.{D1^ = F = If S is non-singular and connected, 5 is a submanifold of M" of codimension 1, i.e. of dimension ( n - 1 ) . In this case we call D = S a non-singular prime divisor. A divisor D = Y,m^S^ on M is a (2n-2)-diinensional cycle, hence determines a homology class in H2n-2{^,^)- We shall investigate the relation between the Chern class c([D]) of [D] and the homology class of D. Consider a simplicial decomposition of M, and let / ? i , . . . , /7k,... be its vertices, Sj^.j< k, its 1-simplices, 5y/c, i<j< k, its 2-simplices, Sy^i, i <j
168
3. Differential Forms, Vector Bundles, Sheaves
Figure 4
For / < 7 < - • •
Since X m,;,-^^^^^ = ay = 0, and dstjj, = Sjj, - Sn, + 5^, we get I rriijkSjk -Z rriijkSik + 1 m^fc^y = 0,
(3.165)
which implies that (c, y) does not depend on the choice of the representative {Cijk} o f C.
For a divisor D on M = M"" considered as a (2n-2)-cycle, we denote the intersection number of D and y by I{D, y). Then we have I{D,y)
= {c([D]),y),
(3.166)
169
§3.6. Complex Line Bundles
To see (3.166), we assume for simplicity that D = 5 is a non-singular prime divisor and let fj{z) = 0 be a minimal equation of S on Uj. Since 5 is a submanifold of codimension 1, for any qe SWQ can choose local coordinates ( z ^ , . . . , Zq) centred at q such that fj(z) = zl Then for D = S, (3.164) reads
[5] is a line bundle with transition function yjfc(z). Assume that 5' meets no 1-simplices 5,^, and that it meets 2-simplices 5'^^ transversally if it does. Let I(S, Syj^) be the number of intersection points of 5 and s^^ counted with signature. Then HS,y) = T.^ijkHS,Sijk). Let Pijk be the centre of mass of 5^^ and Py the middle point of %, and decompose Syj^ into three cells ^yfc, e,fci, ^kij as illustrated below. If we assume that S does not meet any of three line segments joining p^^ with /Ty^, ptk and Pij respectively, then / ( 5 , s,j^) = I(S, e,j^) + I(S, ej^,) + / ( 5 , e^^.j).
Figure 5
170
3. Differential Forms, Vector Bundles, Sheaves
Since yj(z) = 0 is a minimal equation of S on Uj, and e^j^ c: Ut,
2W-I J,,,, by the residue theorem, where 36^^ is the boundary of 6^^. Hence
2W^/(5,5,,)= I
d log f,{z) +
d log fj{z)+\ 'jki
dlogA(z), ^ dej^ij
hence by (3.165) Pijk
dlogMz)~\
dlogMz) •f Pik
+ 1
d\ogfj{z)-\
+ Since fi{z)/fj{z) equal to
a
d log fj{z) •' Pa
'^ Pjk
JlogA(z)^ Pik
^logA(z)). ^ Pjk
'
=fij(z), and so on, the right-hand side of this equaUty is
Pijk
CPijk
diog^(z)Pjk
[Pijk
jiogy;,(z)+ ^ Pik
\
^iogi;,(z) ^ Pij
= 1 my7c(iogy;7c(Py/c)--iogi/fc(/'jfc)-iogy;fc(/7o7c) +iogy;fc(/),7c)+iogyy(Ajfc)-iog/y(/7y)). On the other hand, by (3.162), we have 10gX7c(/?yfc)-10g^(Py7c) + 1 0 g / y ( P y k ) = 2 7 7 y ^ C y f c ,
and by (3.165)
i;myfc(iogy;-fc(p,7c)-iogi;fc(A/c)+iogyy(Aj))=o. Hence / ( 5 , r ) = Im,^,c,, = (c([5]),r). (3.166) can also be proved similarly for general D.
'
§3.6. Complex Line Bundles
171
(b) Submanifolds of Codimension 1 Let 5 be a submanifold of codimension 1 of a compact complex manifold M = M" where we assume n^2. We denote by 0(-S) the sheaf over M of germs of holomorphic functions vanishing on S. €(-S) is a subsheaf of 0. We can identify €/(Oi-S)) with €s where Og is the sheaf of germs of holomorphic functions on S. In fact, let ( z ^ , . . . , z^) be local coordinates with centre p such that z^ = 0 on 5. Then we may regard ( z ^ , . . . , z^) as local coordinates on 5. In (0/€i-S)),= 0,/€(-S),, Op is the power series ring: Op = C{zp,..., Zp}. If we write (p{zp) e Op in the form oo
cp{zp) = cpo{zl,..,z;)+
I
(zir
we have (p{Zp) = (po(zl,..., z^) on S. Therefore 0(-S)p is the ideal of Op consisting of all power series of the form Z^^i (z^)'"
0(-S)p
= Op, and (O/O{-S))p 0/0{-S)
for pes.
= 0. Thus we may consider = Os.
(3.167)
The homomorphism rs:0'^Os = 0/0(-S) given by rs'. (p{zp) -» (po{z],,..., z ^ is called the restriction map to 5, because (Poizl, ...,Zp) = (^(0, z ^ , . . . , Zp) is the restriction of (p{zp) = (p(zl,..., Zp) to S. rs defines a homomorphism rgi T{W, 0)-^T(Sn W, Og) for any open set W^ M. For (peT{W, 0), rs(p is the local holomorphic function on S obtained by restricting (p io W r^S. Let U-{Uj} be a sufficiently fine finite open covering and ^(z) = 0 a minimal equation of S on Uj. Then we have 0(-S) = 0{[ST').
(3.168)
Proof. Let (p be a local section of ^(-5') defined over an open set W. In other words (p =
172
3. Differential Forms, Vector Bundles, Sheaves
Consequently on each Wn Uj 7^ 0 , (p{z) = fj{z)\jjj{z) with some local function i//r^(z) on Wn Uj. Since on Wn Ujn 11^9^0, fj(z)iljj{z) =fk{z)it/j,(z), we have iljj(z)=f;j!(z)Mz).
(3.169)
Consequently putting il/{z) = {z,il/j{z)) on each Wn Uj, we obtain a holomorphic section (/^: z^il/{z) of [5]"^ over W. Conversely, if if/: z^ il/{z) = (z, if/jiz)) is a holomorphic section of [S]~^ over W, ij/jiz) is a holomorphic function on Wn Uj such that^(z)(/fy(z)=/fc(z)(/^fc(z) on Wn Ujn Uk7^0. Consequently putting (p(z)=fj(z)il/j{z) on each Wn Uj7^0, we obtain a holomorphic function (p = (p{z) on W vanishing on S. Thus we obtain an isomorphism 0{-S) = 0([ST^). I The sequence
is exact, where t is the inclusion. Replacing 0(-S)
by €{[S]~^) we obtain
0 -> OUST') -^O^Os-^0.
(3.170)
Let F be a complex line bundle over M, €{F) the sheaf of germs of holomorphic sections of F, O(F-S) the sheaf of germs of holomorphic sections of F vanishing on S, and 0{F)s the sheaf of germs of holomorphic section of F over S. Then similarly as in (3.167) we have 0(F)/0{F-S)
= 0(F) s.
Let Fs be the line bundle over S obtained from F by restricting the base space to 5. We call Fs the restriction of F to S. Then 0(F)s is identified with ^(Fs): ^(F)5 = ^(Fs). Therefore we obtain as in (3.168) 0(F-
S) = ^ ( F ® [5]-').
(3.171)
Hence we obtain the exact sequence 0 -> 0(F®[ST')
-^ 0(F) ^ 0(Fs) -^ 0.
(3.172)
Putting F = [5], we obtain from (3.172) 0^O^O(F)^O(Fs)^0,F
= [Sl
(3.173)
since F®F~^ = M ® C . (3.172) holds also for holomorphic vector bundles of rank ^ 2 over M.
§3.6. Complex Line Bundles
173
Let K and K{S) be the canonical bundles of M and 5 respectively. Then we have K(S) = Ks®[S]s>
(3.174)
Proof. Let U = { L^} be a sufficiently fine finite open covering such that each Uj is a coordinate neighbourhood. Let (z],..., zj) be the local coordinates on Uj and fj(z) = 0 a minimal equation of S on Uj. Put fjk(z) =fj{z)/fk(z). Further assume that fj{z) = z] for UjnS9^0. Then ( z j , . . . , zj) may be regarded as local coordinates of 5 on 5 n Uj. The transition function of K is given by d{Zk, Zj^,...,
/^7c(^) = ciet 'd(z],z%...,z^y
Zfc)
Put J{S)j,{z) = dQt^}'l''''''ll
on
«9(z^-,... ,z^-j
5n^nt/,#0.
Then J(S)jk(z) is the transition function of K(S). Thus it suffices to prove J{S)j,,(z) = Jju{z)fjk{z) For 7, k with
on
SnUjnUk^0.
SnUjnUk7^0, Zk =fkj{z)z]
on
L^- n U^.
Hence dzl=fkj{z)
dz]-\-z] dfkj(z).
On the other hand, on Uj n Uf,, we have
J z j A dzl, A • • • A ^Zfc = d e t
2' '
' '
d{Zj,.
Since z] = 0 on 5, we have, on
n\ ^ ^ j ^ ^^7 A • • • A
dZj.
..,Zj)
SnUjnUj^
dzl A dzl A • • • A c/zfc =fkj(z) dz] A (izfc A • • • A dzl = fkj(z)J{S)jk{z)
Thus Jjkiz) =fkj(z)J(S)jk(z),
dz] Adz^A"'A
which proves (3.174).
I
dz].
3. Differential Forms, Vector Bundles, Sheaves
174
(c) Projective Space In this section we study complex line bundles on P". Let Zr,)3=i Scx^ dz"'®dz^ be a Hermitian metric on a complex manifold M", and o) =yJ-\ Za,/3=i ^«/8 ^^" ^ ^^^ ^^^ associated real (1, l)-form. We call "La 13=1 Sap dz'^®dz^ a Kdhler metric if d(o = 0. co is then called its Kdhler form. Any complex manifold M has a Hermitian metric, but does not always have a Kahler metric. A complex manifold endowed with a Kahler metric is called a Kdhler manifold. Let n^ be the sheaf of germs of holomorphic /7-forms over a complex manifold M = M". Put /z^'^ = dim H^(M, H^)
and
b, = dim H'(M, C),
where b^ is the rth Betti number of M. If M is Kahler, the following equalities hold: (3.175)
/z^'^ = /i^'^.
h'''' = br,
S
It follows from these equalities that br is even for odd r. Thus let M", n ^ 2 , be a Hopf manifold given in Example 2.9. M " is diffeomorphic to S^ x 5^"~\ hence cannot have a Kahler metric because its first Betti number is 1. If iV is a submanifold of a Kahler manifold M, restricting the Kahler metric of M to N, we obtain a Kahler metric of N. Thus a submanifold of a Kahler manifold is again Kahler. Let (^0? • • •» fn) he the homogeneous coordinates on P". Let U = { U,} be a finite open covering of P", {z],..., zj) local complex coordinates on Uj such that on each Uj, ^ ^ Q ) # 0 for some /3(j), and that
V ^J 9 • • • ' ^J /
, • • • 5
I
Xt^O)
^
fc/SO)
,
^
5 • • • J ^
(,13 U)
I•
^(3(j)/
Put a(z,) = l + Z L J z ; | l Then aa log a(z,)=
I
gj^pdzfAdzf,
where a(zy) The Hermitian form Xa^ gja^^^'vi^^ is easily seen to be positive definite where w \ . . . , w" e C . On the other hand, since ^(z^) =Za=o l^a/f^o)!^? we
§3.6. Complex Line Bundles
175
obtain a{zj) = \ejkiz)\^a(zk)
on
^0(7^7^0,
where ejk{z) = Cp{k)/Cpuy ^jki^) is a non-vanishing holomorphic function. Hence dd log a(Zj) = dd log a{z}^). Thus Y.a/3 Sjap dzf(S)dzf gives a Hermitian metric on P". Its associated real (1, l)-form is given by CO = V —1 dd l o g
a(Zj)
= V - 1 c/alog a{Zj), since J = (9 + 5. Therefore dco = 0, and X!« ^g gja^ dzf (x) dff is a Kahler metric onP". Thus P" is a Kahler manifold. Consequently projective algebraic manifolds are all Kahler, being submanifolds of the Kahler manifold P". Since the rth Betti number of P" is 1 for even r and 0 for odd r, where r ^ 2 n , we obtain from (3.175) dim H^P\
nn = h'^'^ = \ '
^^^'
py^q.
(3.176)
In particular for 0 = fl^, we have dim//^(P", ^) = 0,
q^l.
(3.177)
Hence by (3.160) we have H\P\
O"") = H\P\
Z) = Z.
(3.178)
Thus the group //^(P", 0^) of complex line bundles over P" is an infinite cyclic group. Let Poo be the hyperplane ^o = 0, and E =[Poo] the line bundle over P" defined by the divisor Poo- Since ColCpu)^^ is a minimal equation of Poo on Uj, the transition function of E is given by e,.(z)=-^/-^ =^ . inU)/
i>fi(k)
(3.179)
ipU)
E is a generator o/Z/^P", 0^). Proof. Let G be a generator of f/^P", (D^*), and suppose that E = G"^ where m is an integer. Let y be a line joining a
3. Differential Forms, Vector Bundles, Sheaves
176
point of Poo with ( 1 , 0 , . . . , 0). Then 7 = P M S a 2-cycle. Since c(E) = mc(G), we have, by (3.166),
I{P^,y) =
{c{E),y)=m{c{G),y).
On the other hand, /(Poo, r ) = U and {c(G), y) is an integer. Consequently m = ± l , and E = G or E = G~^. I Thus any complex line bundle Fe iir^(P", 0"^) is written as F = E^ where h is an integer. Let '^(^) = ' ^ ( ^ 0 , . . . , ^„) be a homogeneous polynomial of degree h in ^ 0 , . . . , L' Put ilfj(z) = ^(O/Cpij) on each Uj. Then iffjizj) is a holomorphic function of ( z ] , . . . , z") on Uj, and on Uy n L^^ ?^ 0 , ipjiz) = ejk(z)^il/k(zk). Therefore if/: z^ il/(z) = (z, i/(/(z)) gives a holomorphic section of JB^ over P": (/f 6 r ( P " , ^ ( £ ) ) where ij/jiz) is the fibre coordinate of the point (/^(z) of E\ We denote lA by il/ = {il/j{z)}, Conversely any holomorphic section i/^G r(P", ^ ( £ ^ ) ) with h a positive integer, is represented as il/= {ij/jiz)} with i//^(z) = '^(^)/^^(^) by some homogeneous polynomial ' ^ ( ^ of degree h in ^0, • • •, (n- Proof. Let Poo be the hyperplane ^o = 0. Then P" -Poo = C", and ( z i , . . . , z„) give complex coordinates on C", where z^ = CalCo- Since ^j{z) is holomorphic on Uj and since ^,(2) = ( y ^ )
^.(^)
on^nL/,^0,
we have on C" n Ujn 11^9^0
(fe)',«.(fe)V. (z). Therefore we can define a holomorphic function (p(zi,..., z„) on C" by putting 9 ( ^ 1 , . . . , ^n) = ( ^ )
^,-(z)
(3.180)
on each C" n ^ ^ 0 . Denote the homogeneous part of degree m of the power series expansion of cp by k. For this, take any point /7oo = (0, ^ 1 , . . . , f„) of Poo. Poo is contained in some Uj. If/?OOG ^ , we have, by (3.180), 00
yh
I j^'PMu...,L) = i'^aM^)m = 0 feo
(3-181)
§3.6. Complex Line Bundles
177
For a sufficiently small e > 0, the right-hand side of (3.181) is a holomorphic function in ^o in |^ol<e- Hence for m>/z, cpmUu" - An) = 0. Thus
is a homogeneous polynomial of degree Tz, and by (3.181) we obtain
Clearly r(P", ^(£^)) = r(P", 0) = C. For h<0, r(P", €(£'')) = 0 since in this case using (3.181) we obtain
u,-(z)i;(z) = e,,(z)V(^)A(^) on UjnUk9^0, which implies that {uj{z)fjiz)}eT(P",€{E'')). Since r(P", ^(E^)) = 0 for / i < 0 , and r(P", ^(JB^)) = C, h must be a positive integer. Consequently by the above result, {Uj(z)fj{z)} is represented as ^(^) u,(z)/;.(z)==^,
(3.182)
with a homogeneous polynomial ^ ( ^ ) of degree /z. On each Uj, fj(z) = 0 is equivalent to ^ ( f ) = 0. Thus 5 is a hypersurface of degree h defined by ^ ( ^ ) = 0. I Note that this is a special case of Chow's theorem (see p. 40). Let P{^) = P(^o, • • •, ^n) be a homogeneous polynomial of degree n ^ 2 in ^0, • • • 5 ^n- If at each point ^€ P", at least one of the partial derivatives dPiO/^L of PU) does not vanish, the hypersurface 5 defined by P(^) = 0 is non-singular. Moreover S is connected. For, if not, each component S„ I = 1, 2 , . . . , of >S is a submanifold of codimension 1 of P". Therefore by
3. Differential Forms, Vector Bundles, Sheaves
178
Theorem 3.23, S^ is a hypersurface defined by an algebraic equation ^ ( ^ ) = 0. Then ^ ( ^ ) does not vanish on 52. Therefore ^«/'^(^) with h = deg ^ ( f ) is a holomorphic function on 52, hence, a constant. Consequently c« = is also a constant, which implies that (fo, • • •, ^n) = (^o,..., c„) ia/^Uy^^ on 52. This is a contradiction. Thus 5 is connected, hence, is a submanifold of codimension 1. Let m = deg P(^), and put fj(0 = P{C)lC'^UY Thenyj(z) = 0 gives a minimal equation of 5 on (7, since at least one of the partial derivatives dP{^)/d^oc does not vanish at each point ^. Therefore fj{z)/fk{z) = {Cpi^k)/Cii{j)T gives the transition function of [5]. Thus [5] = The canonical bundle K of P" is given by (3.183)
X = E-"-\
Proo/ Let Uj = {^ G P" | {^ T^ 0}. Then U = {U,} is an open covering of P", and (z^,...,zi-\zi-^\...,z;)
z- = UCj
with
give local coordinates on Uj. Define Jj^ by d z l ^ - ' ^
dzt'
A J Z ^ ' A • • • A J Z ^ = J^-fc6?Z,% • • • A J z j - ' A J z j " ' ' A • • • A J z ;
on Uj n Uk' Then K is defined by {Jju}- On the other hand, the transition function Cj^ of E is given by ey^ = Ckld- Since z^ = ZQ/ZQ, a = 1 , . . . , n, and Zfc= l / z j , we have dzl^dzl^'
' ' ^ dzt~^ A dzt^^ N- - Kdzl
/ ^ \ n+l dZoAdzlA-'-AdZo^A = -( — 1
dZo^'^ A'
' '
AdZo
^ 4 A • • • A dz!^-' A ^z5 A • • • A dzl
= (-1)''(—)
T h u s / o . - ( - l ) ' ^ ( f o / f J " ^ \ hence
Consequently K = £'"""\
|
(d) Surfaces in P^ Let 5 be a non-singular surface of degree h in P^. By the results of the preceding subsection, [S] = E^ where E = [P^].
§3.6. Complex Line Bundles
179
By (3.183) K = E-^ for ¥>\ Therefore by (3.174) the canonical bundle K{S) of 5 is given by K{S) = E'r\
(3.184)
where Es is the restriction of E to S. The first Betti number b^ of S vanishes. In fact we will let . . . , CiCt'. Cs be all the monomials of degree h Cl Co~'Cu . . . , CHHHe\ in ^0, ^1, ^2, ^3- They are (^3^) in number. Using these monomials we define a map of P^ into P"" where JJL = Ct^) - 1 , as follows: L: ^-> (COO, WJ, . . . , ft>^) = (^5, ^ o " Y i , . • . , ^3*),
where (a>o, W i , . . . , co^) is the homogeneous coordinates of P^. t maps P^ biholomorphically into P ^ Thus P^ = 6(P^)cip^ is a submanifold of P ^ Let ^ ( ^ ) = 0 be the defining equation of S. ^ ( ^ ) is a linear combination of monomials of degree h\ n n = aoCo + «i^o ~'^i + • • • + a.^oVf ^^2^^ 3'^+ • • • + a^^,\ Therefore if / / is a hyperplane of P^ defined by ao<^o+ • * • + ci^^o)^ — 0, then ^ ^ p 3 ^ p M -g ^j^^ section of P^ by H: / / n P ^ = 5. Consequently by Lefschetz' theorem (see [23], also [24] for the proof using Morse theory),
H\S,0
=
H\P\0.
Since / f ' ( P ' , C) = 0, bj = 0 for S, Let nVbe the sheaf of germs of holomorphic 1-forms on S. Since 5 is Kahler, and h^ = 0, we obtain from (3.175) //'^(5,a') = 0.
(3.185)
Let M be a 2-dimensional compact complex manifold which is not necessarily Kahler. Then we can prove that if //^(M, C) = 0, then /f ^(M, a ' ) = 0 as follows. Let
|(/^i2| ^z^ A dz^ A Jz^ A Jz^
JM
—~ J M
J M
l'Ai2|^ dz^ ^ dz^ ^ ^^^ ^ dz^
3. Differential Forms, Vector Bundles, Sheaves
180
On the other hand,
dcp A d(p= \ JM
d(p Ad(p= \
d{(p A d(p) = 0.
JM
JM
Hence (/^i2 = 0. Thus dcp — 0. Since by hypothesis H^{M, C) = 0, by de Rham's theorem r ( M , dsd^) = dr(M, ^''). Therefore for any ^ e r ( M , dsd""), there i s a n / e r ( M , si"") such is a (0, l)-form, df=0. Therefore / is that (p = df. Since (p = df=df+df holomorphic on M, hence a constant. Consequently (p = df=0. Thus we obtain H%M,a') = 0. If dim M = 2, H\M, Z ) - Z. Therefore the cup product cc' e H\M, Z ) = Z of any two cohomology classes c, c' G H^{M, Z ) is considered as an integer. In general, for a compact complex manifold M = M"^, the ^r^^ Chern class Cj of M is defined to be —c{K) where K is the canonical bundle of M: Ci = —c{K). For n = 2, c\= CiCi is an integer. In this case we call (l + Cj) the linear genus of M. Let 5 be a non-singular hypersurface of degree h in P^. Then c{Esf = h.
(3.186)
Proof, Let P be a plane in general position in P^. Then P is not tangent to 5', so the intersection C = P n 5 is a non-singular algebraic curve on 5. C, as a divisor on S, defines a line bundle [C] on 5. Then we have £s = [C].
(3.187)
In fact, let /(^) = 0 be the defining equation of P where 1{C) is a linear form in fo, Cu ^2, ^3- Let U = {Uj} he a. finite open covering of P^ such that on each Uj, some ^^Q)7^0. Then KOIC^{j)='^ gives a minimal equation of P on Uj. Therefore on 5 n U, T^ 0 , il{0/Cf3(j))s = 0 gives a minimal equation of C = P n 5, where {l(0/Cp(j))s denotes the restriction of 1(0/^^u) ^^ '^• Consequently the transition function of [C] is given by
Since ^y^ = ^/3(k)/^/30) is the transition function of E, we obtain [C] = E5 as desired. Let P' be another plane in general position in P^, and put C' = P' nS. Then C and C meet transversally on S. Then
c([C])-c([C']) = /(C,C'),
§3.6. Complex Line Bundles
181
where / ( C , C ) is the intersection number of C and C (see [15]). Since by (3.187), £s = [C] = [ C I , c{Es)' =
I{C,C'),
On the other hand, y = PnP' is a line in P^, and the intersection points of C = P n 5 with C = P' nS coincide with those of S with y. Since a line 7 in general position meets a hypersurface of degree h transversally in h distinct points, / ( C , C) - h, hence c{EsY = h. I
Chapter 4
Infinitesimal Deformation From now on we proceed to the main theme of this book.
§4.1. Differentiable Family (a) Introduction As stated in §2.1(a) in connexion with Definition 2.1 of complex manifolds, a complex manifold M = M " is obtained by glueing domains ^i,.,.,%,... in C": Af = U j %. If we write the coordinate transformation by yj^ instead of Tjj, in (2.2),
ffj,: zj, -> zj = {z],...,
zj) =fjkizk),
fji^ is a biholomorphic map of the open set ^kj ^ ^k onto %k ^ %, and Zje% and Zf^e^L^ are the same point of M if Zj=fjk(z},). Zj==fj,^{z,,) is written in detail as Zj =f%{zk) =mzl...,
zD,
a = 1 , . . . , n.
(4.1)
In the sequel we write Uf instead of %y for simplicity: Uj = %. By Theorem 2.1, we may assume that U = {^ |j = 1, 2,...} is a locally finite open covering of M, and that each Uj is a polydisk: t/, = { z , e C " | | z j | < r ; , . . . , | z ; | < r ; } .
(4.2)
Replacing zf by zj/rf, we may assume further that Uj is of radius 1: [/, = { z , e C " | | 2 ] | < l , . . . , | z ; | < l } .
(4.3)
If M is compact, U = { Uj} may be assumed to be a finite open covering. Thus a compact complex manifold M is obtained by glueing a finite number of polydisks U^ ..., Uj,..., Uj by identifying z^ e Uk and Zj =fjk(zk) e Uj'. M = Uj-=i ^j' ^ deformation of M is considered to be the glueing of the same polydisks Uj via different identification. In other words, replacing
§4.1. Differentiable Family
183
fjk(zk) in (4.1) by the functions fjkiz,, t) =ff,(z,,
?!,..., tj,
ff,(z^, 0)
=ff,iz,),
of Zfc and the parameter t = (ti,..., t^), we obtain deformations M^ of M = Mo by glueing the polydisks Ui,..., Ui by identifying z^ G U^ with z^ =fjkizk, t)e Uj. This is the fundamental idea of Spencer and the author on the deformation of complex structures [21]. We were, however, at first rather sceptic about this idea. For, the complex structure of M^ = U^. Uj thus defined via the identification Zj=fjk(zk, t) may not actually vary with t. For example, let ^^ = ( ^ j , . . . , ^J) be local coordinates of M, and choose holomorphic functions zj = zfi^p 0, a; == 1 , . . . , n, of (« + 1) variables Up t) = Ul..., ^^j), defined on (, e Uj, |r| < 1, such that the map Zj'. ^j-^ZjUj. t) = (z'jUj, 0, . • • , Z^Uj, t)) gives new local coordinates of M on Uj. Let Zk-^Zj=fjk{Zk,
t)
be the coordinate transformation. Then since
ffki^k, t) depend in general on t. But since {z^,..., z,,...} is a system of local complex coordinates of the given complex manifold M, M^ = U^. Uj obtained via the identification Zj^fjk{z^, t) is just M, hence M^ does not vary with t. Thus at a glance M^ appears to depend on t, but actually does not. Therefore since, at first, we had no criterion for the acutual dependence of Mf on t, we were sceptic about the efficiency of our above-mentioned idea. Later at a colloquium held in the Institute for Advanced Studies at Princeton, A. Frolicher reported his joint work with A. Nijenhuis on the deformation of complex structures, and explained their proof of the rigidity of P" ([7]). Their theory depended on the differential geometric method developed by them. This encouraged us to develop our idea on the deformation anew. (b) Differentiable Family At first we did not take notice of the fact that the parameter appeared in the definition of a complex manifold is in general a complex one, and that therefore as a family of complex manifolds M^ depending on the parameter t = (ti,..., t^), it is more natural to consider a complex analytic family (Definition 2.8 in §2.3). Thus we at first considered the case that/j^(zfc, t) =
184
4. Infinitesimal Deformation
fjki^k, ti,... ,tm) are C°° functions of the real parameters ti,..., t^. For this we introduced the concept of a differentiable family of compact complex manifolds. The definition of a differentiable family of compact complex manifolds is the C°° analogue of the definition of a complex analytic family {Mt\te B} = {M, B, m) given in §2.3(a). We give the precise definition below. Let J^ be a differentiable manifold, B a domain of IR'", and m a C°° map of M onto B. Suppose that the rank of the Jacobian matrix of xu is equal to m at every point of Ji. Then, as stated in §2.3(a), we can choose a system of local C°° coordinates { z i , . . . , x^,...}, xy. p^ Xj(p) satisfying the following conditions: (i) (ii)
Xjip) = (xj(/7),..., xj(p), r i , . . . , tj, (tu ...,tm) = m(p), {%} is a locally finite open covering of M where % is the domain o f Xj.
Therefore for every point te B,if m'^t) is connected, Trr'^t) is a differentiable manifold whose system of local C°° coordinates is given by {P^(x](p),...,xj{p)\%nm-\t)r^0}. Moreover if rxT'^t) is compact, taking for each feB an open multi-interval / such that r ^ G / c i [ / ] c : B , we see from Theorem 2.4 that VT~\I) =
m-\f)xL Definition 4.1. Suppose given a compact complex manifold M^ = M " for each point r of a domain B of IR'^. {M, \teB}\s called a differentiable family of compact complex manifolds if there are a differentiable manifold M and a C°° map m of M onto B satisfying the following conditions: (i)
The rank of the Jacobian matrix of m is equal to m at every point of M. (ii) For each teB, 'UT~^{t) is a compact connected subset of M. (iii) m-\t)^M,. (iv) There are a locally finite open covering {% |j = 1, 2,...} of J^ and complex-valued C°° functions z j ( / ? ) , . . . , z]{p), j = 1, 2 , . . . , defined on %ij such that for each t {p-^{z]{p),...,2l{p)\%n^-\t)^0}
(4.4)
form a system of local complex coordinates of M,. By (i), (ii), each m~^{t) is a compact differentiable manifold. The condition (iii) means that m~\t) is the underlying differentiable manifold of M^. We call teB the parameter of the differentiable family {Mj rG B) and B its parameter space or base space.
§4.1. Differentiable Family
185
We denote the differentiable family {Mt\tG B} by (Jt, B, m) or simply by M. If we write zJ{p) = x]"'~^{p)-\-ix]'^{p), a == 1 , . . . , n, by dividing into the real and imaginary parts, and put ^jip) = ix]{p), xj(p),.
. ., x f (/7), t,,..., tj,
{t„ ...,tj
= m{p),
then by the condition (iv), {Xj I7 = 1, 2 , . . . } , xf. p -^ Xj{p) form a system of local C°° coordinates of the differentiable manifold M. Xj maps % into R^" X B differentiably. Introducing complex coordinates in R^" by (z\ . . . , z") = (x^ + ix\ . . . , x^"-' + ix^"), we consider !R^" as C", and Xj as a C°° map of % into C" x J5: Xj: p -» x,(;?) = {z]ip),...,
z;(;7), ^ i , . . . , r^),
(t,, ...,tj
= m{p).
(4.5)
When we consider x, as a map of % into C" x J5, we call {xj I7 = 1, 2,...} a system of local coordinates of the differentiable family Ji. Since the coordinate transformation Xk(p)^Xj(p) for % n ^^ ^^ 0 does not affect ^ 1 , . . . , ^m, it is written in the form izlip\...,zUp\t)^iz'j(p\...,z^(p\t)
= (fjkizkip, t), r),... Jjkizj^ip, t), t), r),
t = m{p).
Since by (iv), for a fixed t,p-^{z]{p),... ,z]{p)) gives local complex coordinates of the complex manifold M^, the coordinate transformation on
{zi{p),...,zl{p))^{z]{p),...,z]{p))
is biholomorphic. Therefore C°° functions fU^k. t) =fU^l
...,zl,t,,...,
tj,
a = 1 , . . . , n,
of Zfc,..., Zfc, ti,..., t^ are holomorphic in z ^ , . . . , z^. There are infinitely many choices of systems of local coordinates of the given differentiable family Jt. Given a locally finite open covering {W;^\X = 1,2,...}, and a diffeomorphism u^:p-^u^{p)
= ( w l ( / ? ) , . . . , wlip), ^ 1 , . . . , tm),
of W), onto an open subset of C" x B for each A, {MJ, . . . , M^, • • •} form a system of local coordinates of the differentiable family M if and only if for
186
4. Infinitesimal Deformation
each t e B, w^ip), with pe MjnW^ is a. local holomorphic function on M^. Thus if {MA} is a system of local coordinates of the family Ji, putting
<(P) = gtj(z]{p),...,
zjip), ^ 1 , . . . , tj,
ih, ...,tj
= m(p),
on each W^ n %, we see that the C°° functions gtjizl...,
z;, ^ 1 , . . . , tj,
a = 1, 2 , . . . , n,
(4.6)
of z ] , . . . , z j , ^ 1 , . . . , tm, are holomorphic in z ] , . . . , zj. Given a differentiable family {Jt, B,m), by Theorem 2.1, we may choose its system of local coordinates {Xj}, xf. p -» Xjip), Xj(p) = (zj(/7),..., z;(/7), ^ 1 , . . . , tm),
{tu ...,tj
= m{p),
such that for each j w e have Xj{%)=UjXlj,
(4.7)
where we put ^ = { Z , G C " | | Z 7 | < r 7 , a = 1 , . . . , n}, and Ij = {teB\aj^< K<^jir> ^ = Ij • • •, ^ } - Thus identifying p e % with Xj{p), we consider ^ = [JJ Uj X 7^-. From this viewpoint, (z^, t)e UjX Ij and (z^, t)e U^x 4 are the same point on Ji if Zj=fjk(zjc, t). In terms of the local coordinates (zj, r), tar is written as t i T : ( z j , . . . , z ; , o->^. Consequently m{UjXlj) = Ij. Thus M^ = tz7~^(0 is the union of all UjXt with r G Ij, Identifying Uj x t with Uj, we may consider M,= U Uj. IjBt
Then z^ e L^ and z^ e Uj^ are the same point on M, if z^ =fjk(zk, 0- Thus M^ f5 a compact manifold obtained by glueingpolydisks Uj with IjStby identifying Zfc e Uk with Zj =fjk(zk, 0 e Uj. Since {% IJ = 1,2,...} is locally finite, for any fixed t^e B, there are only finitely many % such that % n M,o 7^ 0 . For simplicity we put t^ = 0, and assume that %nMo7^0 forj = 1 , . . . , / , and that % n MQ7^ 0 fovj^ / + 1. Then MoCzU UjXij.
187
§4.1. Differentiable Family
Putting I = r)j=i Ij, and Mi = m \l),
we have
Mr = m-\I)
= [J
UjXl.
(4.8)
j=i
UjXl
M
U,xl
Figure 1
Of course / is an open multi-interval with Oe I(^ B. Therefore for each te I, Mt = U^^i Uj is a complex manifold obtained by glueing Ui,..., Ui by identifying Zj, e Uj, with Zj =fjk{zk, t) e Uj. Thus considering a differentiable family (Jt, B,m),wQ can get a clearer image of the deformation of compact complex manifolds. Namely, given a compact complex manifold M, if there is a differentiable family (Ji, B, wr) with m~\t^) = M for some t^eB, each Mt = m~\t) is called a deformation of M By Theorem 2.4, ifMt is a deformation ofM, M, and M are diffeomorphic. Restricting the domain of the parameter t to a sufficiently small multi-interval /, we see that M, = V7~\t) = U^.^i ^ for t e /, where each Uj isapolydisk independent oft, and only the coordinate transformations z^ -^ Zj = fjk(zk, t) depend on t. Thus only the way of glueing Ui,..., Ui depends on t. Each point of M^ belongs to one of Uj. Consequently the complex structure of a sufficiently small neighbourhood of each point of M^ does not vary under deformation. Note that at this point the deformation of complex manifolds is essentially different from the deformation of an elastic body. For, any small portion of an elastic body undergoes distortion under deformation. Let / 7 G M , = UJ=i ^7,, and suppose peUinUjnUk. Then putting Zi = Ziip), Zj = Zj(p), and z^ = Zk(p), we have Zi =MZj,
t) =fkiZf,,
t),
Zj =fjk{Zk,
t).
188
4. Infinitesimal Deformation
Hence on % n % n^k9^0,
we obtain the following important equality.
Mz,,t)=Mfjj,(z^,t),t).
§4.2.
(4.9)
Infinitesimal Deformation
(a) Infinitesimal Deformation Given a differentiable family (Jt, B, wr) of compact complex manifolds, how can we know whether the complex structure of Mt = vT~\t) actually depends on tl First let us consider this problem for m = 1, that is, in case B is an open interval of IR. Given a differentiable function f{t) of a real variable t, by differentiating it in t, we know whether/(O is a constant independent of t or not. Analogically also in our case we expected to obtain a useful criterion of the actual dependence on t by the differentiation of (4.9) in t. (4.9) is written in more detail as
fUz,, t) =mfjic(zk, 0 , . . . JMz^, 0, 0,
a = 1,..., n.
Putting zf =ffj^(zk, t), we obtain
dmzj,,t)_dfrj{zj,t) ^ " dftjizj,t) df%{zu.t) dt
dt
(3 = 1
dzf
dt
Also putting zf =fy{zj, t), we have
dniz(,,t)_dfrj(zj,t) ^ ^ dzidfixzj^ dt
dt
13 = 1 dzf
dt
Using holomorphic vector fields, we can rewrite these equalities in the following intrinsic form: J dftkizk^t) a=i
dt
d _ " dftjizj^t) dzf
a=i "
dt
dt
where we use the equality d
"
dzf
dzf ~ hx dzf
dzf
df%{Zk,t)
%t,
d dzf
d
d
dzf
§4.2. Infinitesimal Deformation
189
Introducing the vector fields OjM = i ^ ^ ^ ^ - ^ , a=l
Ot
z, =A,(z,, t),
(4.10)
OZj
we write the above equality as eidt) = o,j(t) + ej,,{t).
(4.11)
Thus on each open set Ujn 17^7^0 of Mt = [Jj Uj, a holomorphic vector field Ojk(t) is defined, and the equality (4.11) holds on UinUjn Uk^0. (4.11) is also written as ^,fc(0-^.fc(0 + %(0 = 0.
(4.12)
Putting i = k, since fZk = ^k, we have dkk(t) = 0. Consequently from (4.11) we have ekj(t) = -ejM.
(4.13)
From (4.12) and (4.13), we see that {Sj^it)} is a 1-cocycle. Namely, let St be the sheaf of germs of holomorphic vector fields over M^. Then ^,-,(r)Gr(^-n(7,,©,),
Otj(t) = -ejM.
From (4.12), {Ojj^it)} is a 1-cocycle with respect to the open covering Ut = {Uj} on M, = U , Uj' {Ojk(t)} e Z^U,, 0,). We denote by e{t) the element of the cohomology group H\Mt, St) determined by the l-cocycle {djj^{t)}. By the Corollary to Theorem 3.4, H^{Vit,St) is a subgroup of H\Mt, St): H\nt,St)^H\Mt,St).
(4.14)
Thus 6(t) is considered to be an element of H\Mt,St). Then it will be obvious that 0{t) is the cohomology class of {6jk(t)}. Since Ojk(t)=
I a^l
— , ot
Zk=fkj(zj,t),
dZj
is obtained by differentiating fjki^k, 0 which define the complex structure of M^f, we may expect that 6{t) represents in some sense or another the "derivative" of the complex structure of M^ with respect to t. Hence we call 6{t) the infinitesimal deformation of Mt, and consider 6(t) as the derivative of the complex structure of Mt with respect to t. We denote it by
190
4. Infinitesimal Deformation
dMJdv.
f =.(-).
(4.,5,
In the above argument, we assume that Xj{%) = UjX Ij, but this assumption is redundant. Let { x i , . . . , Xj,...} be an arbitrary system of local coordinates of the differentiable family M, and % the domain of x,. Identifying p e % with (Zj, t) = (z],..., Zj,ti,..., tm) = Xj{p), we consider % with {Zj, t) = C " x B , hence %nMt=Uj,xt,
Uj,^C\
Consequently identifying Ujt x t with Up, we obtain an open covering Vit = {Ujt} of Mt. Ut is a finite covering of M^ where we omit Up if it is empty. Let {Zj,,t)-^{Zj,t)
=
{fj,,(Z},,t),t)
be the coordinate transformation on % n ^k. Then we have the identity (4.9) on %n %n^j,9^0. Consequently defining Oj^it) by (4.10), we have {^jk{t)} e Z\Vit, ©f). We denote by 0(t) the cohomology class of the 1-cocycle {Ojk(t)}:
and define ^ ( 0 as the infinitesimal deformation of Mt'. dMt/dt = 0{t). Thus the infinitesimal deformation is defined with respect to any system of local coordinates. We must verify that d{t) does not depend on the choice of systems of local coordinates. First we show that ^ ( 0 does not change under the refinement of U = {%}. Let 93 = { r , } , r^ c: ^^.(^), be any refinement of U, and define local coordinates x^ on Y^ by x^,: p^X;,{p) = Xj(^^^(p). We must show that the infinitesimal deformation defined with respect to {x} coincides with ^ ( 0 defined with respect to {Xj}. Since X;, is the restriction of x^(x) to T^, the holomorphic vector field ^AAX(0 defined by (4.10) with respect to {x^}, is the restriction of Ojixmtx) to T^nV^n m'^t). Namely, putting 93, = {T^J, where TA, = "FA n M, T^ 0 , we have
Hence {0),fj,(t)} = U.^\{djj^(t)}. Consequently by (3.81) the cohomology class of {^A/Lt(0} coincides with that of {Ojk(t)}. Thus the infinitesimal deformation does not change under the refinement of the open covering. Since any two locally finite open coverings have a common refinement, in order to prove the independence of ^ ( 0 of the choice of systems of local coordinates, it
§4.2. Infinitesimal Deformation
191
remains to show the following: Given two local coordinates Xj = (zj, t) and Uj = {Wj, t) on each Uj, the infinitesimal deformation 7]{t) with respect to {Uj} coincides with ^ ( 0 defined with respect to {Xj}. Let (Wfc, t) -> {Wj, t) = (hjj,(Wk, t), t)
be the coordinate transformation of {Uj} on % n ^^ T^ 0 . Put as in (4.10) Vjk{t)=
I
—^,
Wk =
hkj{wj,t).
Then 7){t) is the cohomology class of the 1-cocycle By (4.6),
{r)jk{t)}eZ^{^t,%t).
w; = gf(z;,...,zr,o is a C°° function of z],...,
z", t, which is holomorphic in Zj,...,
z". Since
gf(zj, t) = w; = hf^iwk, t) = hfkig^izk, t), t), and Zj =fjkizk,t),vje
have gfifjki^k, t), t) = hjkigkizk, t), t)
(4.16)
on '^k <^ % ^ 0- Differentiating (4.16) in t, we obtain « dgldj% p^l dzf
dt
p = l dt
dzf
dgl_ dt
"
dh]i^dgld_h%
i^idw^
dt
dt
that is, dt
13 = 1 dt dW^
dt
Multiplying d/dwj from the right, and taking the summation Sa = i» we obtain the equality
p = l dt
dzf
a = i dt
dwf
phi
Putting a=l
ot
dWj
dt
dW^
a=l
dt
dwJ"
192
4. Infinitesimal Deformation
we have Ojdt)-Vjk(t)
= OUt)-ej{t).
Since Oj(t) is a holomorphic vector field on Ujt = %nMt, C\U,, e,) and (4.17) means that {0Mt)}-{vj,(t)}
(4.17) {dj{t)}e
= 8{ejit)}.
Therefore r](t) coincides with 6(t), and the infinitesimal deformation 0(t) does not depend on the choice of systems of local coordinates. (b) Trivial Differentiable Family The first problem in the theory of deformation was to see if we could justify the consideration that the infinitesimal deformation d(t) represents the derivative of the complex structure of M^ with respect to t For, this consideration seemed to the author too good to be true. (Spencer had, I think, a more optimistic view.) If 6(t) is the derivative of the complex structure of M^ with respect to t, 6{t) = 0 must hold if Mf does not vary with t. For this we must give the precise definition for M^ not varying with t. In general we define the equivalence of two differentiable families as follows. Definition 4.2. Suppose given two differentiable families {M, B,m) and {Jf, J5, TT) with the same base space BaW, M and M' are called equivalent if there is a diffeomorphism ^ oi M onto ^ such that for each teB, <^ maps Mt = m~^{t) biholomorphically onto Nt = 7r~\t). Suppose that Ji and ^ are equivalent. Let {Xj}, xy. p -> Xj{p) = (zj(p), t), t = m{p),hQ the system of local coordinates of Jt, and {ux}, U;^: q -^ U;^{q) = ( ^ A ( ^ ) , OJ ^= '"'(^)5 that of ^ . Then we have u,(^(p))
=
{w,(^(p)),t),
If we represent w"(0(P)) by a C°° function of the local coordinates (zj{p), t) as
then gtizj, t) is holomorphic in z],... ,z]. In this case, identifying peM with ^ = (/7) G ^ , we may consider that M and ^ are the same differentiable family. In fact, since 4> is diffeomorphic, we may identify ^ and J^ via O. Then since gti^p 0 is holomorphic in z],..., zj, the system of local coordinates {WA}, "A = {^k, t), ^\ = S\(^j^ 0, of -^ can be regarded as a system of
§4.2. Infinitesimal Deformation
193
local coordinates of M. Thus if M and Jf are equivalent, we may consider Jf as the same differentiahle family with M endowed with a new system of local coordinates. Let M be a compact complex manifold, and {WA} a system of local complex coordinates. Let TT: M x B ^ B be the projection of M x B onto B. Then (M x 5, B, TT) is clearly a differentiahle family of compact complex manifolds. A system of local coordinates of M x B is given by {WA}, where "A = {^K, 0- Of course the complex structure of TT~^{t) = M xt = M does not depend on t. Definition 4.3. A differentiahle family (M, B, m) is called trivial if it is equivalent to (MxB,B, IT) where M = m~\t^) with t^eB. If the differentiahle family {M, B, m) is trivial, M coincides with M xB endowed with some system of local coordinates {Xj}, Xj = (zj, t) = (Zj,..., z", t). Let %LjCi M xB be the domain of Xj, and {w^} a system of local complex coordinates of M = m~^{t^). Then z7 = g7(wA, t),
a = l,...,n,
are C^ functions of w ^ , . . . , w", r defined on %Lj which are holomorphic in w\,.,,,wl.On%n^^,
z^=ff,(z,,t) are C°° functions of z j , . . . , Zj,t which are holomorphic in Zj,..., z". For any fixed t, {Zj \%n M xt} form a system of local complex coordinates of Mt = m~\t). Since in general the coordinate transformation Zj^'^Zj = fjki^k, t) does depend on /, the complex structure of M^ apparently depends on t. Let / c : B be a subdomain of B. Then {Mj, /, m) with Mj = vj~\l) is clearly a differentiahle family, where the domain of vr is assumed to be restricted to Mj. Definition 4.4. A differentiahle family (M, B,m) is called locally trivial if for each te B, there is a subdomain / with telci B such that {Mi, I, m) is trivial. By saying that the complex structure of Mt = V7~\t) of the differentiahle family {Ji, B, m) does not vary with t, we mean that {M, B, m) is locally trivial. If (Ji, B, m) is locally trivial, each M^ = tiT~\t) is biholomorphically equivalent to a fixed M = m'~\t^). Let us consider the inverse. Namely, if each M^ is biholomorphic to a fixed M, is (M, B, w) locally trivial? This problem was solved for complex analytic families affirmatively by Fischer and Grauert [4] later. (This paper
194
4. Infinitesimal Deformation
was published in 1965, but Grauert explained the idea of proof already about 1960 at the "Nothing Seminar" held in Princeton University under the direction of Spencer.) At that time, however, nothing was known about it. We thought that the local triviality of {M, B, m) would be stronger than the condition that each M^ is biholomorphic to a fixed M Now again let B be an open interval of R. If {M, J5, m) is locally trivial, for any sufficiently small domain / c : J5, {Mj, /, m) is equivalent to {M xl, /, TT). Since the infinitesimal deformation d(t) of Mt = m~^(t) does not depend on the choice of systems of local coordinates, we can calculate d{t) for tel in terms of local coordinates {MA}, WA = (^A, t) of M X /, where {w^} is a system of local coordinates of M. Let Wf^^Wx = /IA^ (n^^Lt) be the coordinate transformation for {w^}. Then the coordinate transformation for {1/^} is given by (w^, t)-> (WA, 0 = (h^(^^),
t).
Since hx^(w^) is independent of t, we have
hence ^ ( 0 = 0. Thus if the complex structure of M^ = rjiT'^t) does not vary with t in the sense that (M, B, m) is locally trivial, we have 0(t) = 0. IfO(t) is truly the derivative of the complex structure of Mt with respect to t, that 6(t)=0 identically must imply conversely the local triviality of (M, B,m). We shall show below that this is true at least under a certain additional condition. (Cf. [21], Chap. II.) For simplicity we consider the differentiable family Mi = m~\l)
/ = \J
UjXl
7=1
given by (4.8). Each Uj ci C" is a polydisk, and (z^, t)eUjXl UkXl are the same point on Jij if z"=f]ic(Zk,t),
and (z^, t) e
a = l,...,n.
Let St be the sheaf of germs of holomorphic vector fields on M^ = w~\t), and nt = {Uj} = {UjXt}. Suppose ^ ( 0 = 0 identically. 6(t) is, by definition, the cohomology class of the 1-cocycle {^,,(0}eZHU., ®.) where Ojf,{t)=H^,(df%/dt)(d/dz^). Since by (4.14),
e{t) e H'iUt, e,) = z\Ut, e,)/5C«(U„ ©,),
§4.2. Infinitesimal Deformation
195
^ ( 0 = 0 means that {Ojj^(t)} = 8{dj(t)}, namely there is a 0-cochain {6j(t)}e C ^ U „ e , ) such that Ojk(t) = ek{t)-ej(t).
(4.18)
We want to prove that {Mi,I,m) is equivalent to ( M x / , / , TT) with M = m~\0). In other words, we must show that there is a diffeomorphism 0 of M X / onto MI = U]=i UjXl such that O maps M xl biholomorphically onto Mt = m'^t) for each t We proceed as in the proof of Theorem 2.4(1°). Let Oj(t)=i
O^zj^t)^, a=l
OZj
Then the equality (4.18) is written as
a =l
Ot
dZj
a=l
OZk
OZj
a=l
We denote by {d/dt)u the vector field d/dt on UkXla Mj. Then with respect to the coordinate transformation (z^, t) -> (Zj, t), zf ^ffki^k, t), a = l,... ,n, we have as in (2.26)
\dt)k
«=i
dt
dzJ
Consequently on each open subset UjXln
a=l
dZj
\dt/j
\dt)j'
1/^x19^0
a^l
dZk
We define the vector field v on Mj, by putting on each v=- l
a=l
0^izj,t)^+^^. dZf ^Zj
of Jij we have
dt
\ot/k
UjXl (4.19)
(4.19) is an analogy of (2.25). But in contrast to (2.25), it does not follow immediately that v is C°°. In fact, though 6jk(t) is a C°° vector field on UjXln UkXl^ Oj(t) may not be differentiable in t. Moreover 6j(t) is not uniquely determined by {Ojk{t)}. Hence there arises the following problem: Can we choose dj{t)J =\,... ,1, such that each 6f(Zj,t) is C°° in z],..., zj,tl The following theorem is an answer to this problem. Theorem 4.1. If dim H\Mt,
St) is independent of te I, then we can choose
196
4. Infinitesimal Deformation
a 0-cochain {Ojit)} with 8{0j{t)} = {Oj^it)} such that each ej{Zj, t) is a C°° function of z],..., z", t where we put Oj{t) = YZ = \ ^Ji^p t)(d/dzf). We give the proof of this theorem in §7.2(b). The proof depends on the method developed by Spencer and the author for the theory of variations of almost complex structures ([19]). Now suppose that dim H\Mt, 6 J does not depend on t. By Theorem 4.1, choose {6j{t)} such that each dj(t) is a C°° vector field on Uj xlaJli. Then v in (4.19) is a C°° vector field on Jij. Consider the simultaneous ordinary differential equations dzf
1
a = l, (4.20)
dl = 1, ds for V as in (2.28). Take an arbitrarypeM = m ^(0), and assumepe (7^x0. Let (^i(/?),0) be the local coordinates of p. (4.20) has the unique solution 'zj{s) = zf{p,s), t = s^ under the initial conditions
zno)=cr{p),
a = i,...,n,
t(0) = 0.
This solution gives a smooth curve on Mj passing through p: yp'-t^ypit)
= (zj(p,t),t),
tel.
Thus we obtain a family of smooth curves {jplpeM} on Mj. By the uniqueness theorem of the solution of simultaneous ordinary differential equations, for each point (zy, t) e Mj, there exists just one curve which passes through it. Consequently the map ^:{p,t)^(zj,t)
is a diffeomorphism of M x / onto Mj.
=
izj{p,t),t)
197
§4.2. Infinitesimal Deformation
Since clearly O maps M x t onto M^, in order to see that : M x r ^ M^ is biholomorphic, it suffices to show that Zj{p, t) is holomorphib in p. For this we write Zj{p, t) as a function of t and the local complex coordinates ^J = ^j{p), A = 1 , . . . , n, of /? in the form
Since t = s,by (4.20) we have
~zfUi, t) = -e;(zj(^, f),..., z;(4 0,0. By differentiating both sides of this equation in f f, since ^/(Zj, 0 is holomorphic in z j , . . . , z", we obtain
ddzfu,t)_ dt
d^f
^ sei ,%dzf^''^^'''^''^'
dzfu, t) a^7 *
Put (of(t)=dzfUi, t)/dCt Then (oj'(t) is a solution of the simultaneous ordinary linear differential equations
dt
of(t) = - Z -^{zjiL ^ = 1 dZj
t\ t)cof(t),
a = 1 , . . . , n.
198
4. Infinitesimal Deformation
Since zfU^, 0) = ^r, we have (of(0)=d^T/d[f = 0, Hence the solution co;'{t) satisfies the initial condition: cof{0) = 0. Consequently by the uniqueness of the solution, co]'{t) = 0 identically. Thus dzJUi, t)/d[f = 0, and zJ'ip, t) is holomorphic in p. Therefore ^ : M x ^ - > M f is biholomorphic, which proves that {Mj, /, m) is trivial. I The above proof also applies to the case feB is an arbitrary point of B instead of 0. Thus we obtain the following theorem. Theorem 4.2. Let Mf = m~^ (t). If dim H\Mt, St) is independent of t, and 6(t) = dMt/dt = 0 identically, then (Ji, B, m) is locally trivial Thus under the condition that d i m / / ^ M , ^r) is a constant, we have proved that if ^(r) = 0 identically, the complex structure of M^ does not vary with t. Accordingly we may consider 6{t) as the derivative of the complex structure of M^ with respect to t. In the above argument we have assumed that B is an open interval in IR. But the notion of the infinitesimal deformation is easily extended to the case B is an arbitrary domain in [R". Suppose given a differentiable family {M, B,m) of compact complex manifolds where 5 is a domain of R". Let {xi,... ,Xj,...}, Xj = (Zj, t) = {z],..., z", ^ 1 , . . . , r^) be a system of local coordinates on M, and % the domain of x^. Suppose that on % n^k^0, we have 2'7 =ffkizk, t) =f^k(z],...,
zJ, ^ 1 , . . . , r^),
a = 1 , . . . , n.
As usual, identifying a point of Jt with its local coordinates, we may consider that % = Xj{%) c: C"" X B, and that M = \Jj % is obtained by glueing the domains ^ i , . . . , ^fc,... of C" x J5 by identifying (zy, t) and (z^, t) if Zj = fjk(^k,t).Ut = {Ujt\ Ujt = %nMt9^0} form a finite open covering of M^ = vj-\t),
The tangent space T ; ( B ) of J5 at t consists of all tangent vectors d/dt = i r ^ i c^a/a^A, C;,eU. For d/dteTt(B), put ^jkit)= L
7^,
a=l
Z},=fj,j(zj,t).
(4.21)
dZj
Ot
Then as in the case m = 1, we have {6jj^{t)}eZ\Vit, St). The cohomology class 6(t)eH\Mt,&t) of the 1-cocycle {^^^(0) is called the infinitesimal deformation ofMt along d/dt, and is denoted by dMt/dt: dMt/dt = 6{t). The infinitesimal deformation dMt/dt is independent of the choice of systems of local coordinates. We define the map pt by ^
(d\
Pt is an R-linear map of Tt{B) into H\Mt,
dMt
©J.
§4.2. Infinitesimal Deformation
199
lfpt{d/dt) = OfoTSinyd/dte Tt{B), pt is called the 0-map, and is denoted by pt = 0. If {M, B, vj) is trivial, we see immediately as in the case m = 1 that Pt = 0 identically, using the fact that 9{t) is independent of the choice of systems of local coordinates. Theorem 4.3. If dim H\Mt, 0^) is independent of t, and Pt = 0 identically, then (M, B,VT) is locally trivial Proof Consider the differentiable family Mi = m-\I)
= {J
UjXl
given in (4.8). For simplicity, we assume that / = {(/i,..., ^^)||^i| < r,..., \tm\< f}- We proceed by induction on m as in the proof of Theorem 2.4. Let I"^-' = { ( ^ 1 , . . . , r^) I kil < r , . . . , \t^_,\ < r}, Im =
and
{tm\~r
Then / = / ' " " ' x / ^ . Considering J ' " " ' = /"'"'xOc=/, we see that (m~\l"^~^), I'^~\ m) is a differentiable family. Since Theorem 4.3 is true for m = 1, we may assume that TZT~^(/'"~^) is trivial. Define the map of t!T~\l"'~^)xI^ onto / by (p, tm)^{ru{p), t^) where/7G tz7~^(/'""^), which makes m~\l'^~^)xl^ a differentiable family on the parameter space /. Since by hypothesis m~^{I'^~^) is equivalent to Mx/'^~^ where M = trr"^(0), tz7~^(/'^~^) x / ^ is equivalent to M x / . Therefore in order to prove the triviality ofJ^j, it suffices to verify that ^ / is equivalent to tzT~^(/'"~^) x / ^ . Put a=\
Ot^
dZj
Then the cohomology class ^ ( 0 = Pt{d/dt^) of the 1-cocycle {Ojk(t)} is equal to 0 by the assumption. Consequently as in the case /tz — 1, by (4.14) there exists a 0-cochain {6>,(0}e C^(U„ 6,) such that {Ojk(t)} = slOjit)}. Since Theorein 4.1 remains true also for m ^ 2 (see §7.2(b)), we may assume that the coefficients Of{Zj, ^ i , . . . , r^) in ej{t)= i
e^izj,t„...,tj^
(4.23) aZj
a =l
are C°° functions of z j , . . . , zj, f i , . . . , ^^ in Uj x /. Therefore as in the case m = 1, we obtain a C°° vector field v on Mj such that on each UjXl a Jij v =- i a=l
e^izj, ^ 1 , . . . , ^ m ) - ^ + - f . OZj
dt^
(4.24)
200
4. Infinitesimal Deformation
Consider the corresponding simultaneous ordinary differential equations
"f=-";(','....
' ? ^m/5
ds
ds
= 0,
a = l,...,n,
A = l,...,m-1,
(4.25)
= 1.
Take any point pem-\l'^-') = \J,UiXl'^-'xO, and let (^.(/7), ^ i , . . . , t^_i, 0) be its local coordinates where (iti,..., r^_i, 0) = VT{P). Then (4.25) has the unique solution
^zj{s) = zj{p,s) ^A(^) = ^A,
a = l,...,n, A = l,...,m-1,
under the initial conditions
r^r(o) = fr(p),
a = i,...,n,
\t^{Q) = t^^
A = l,...,m-1,
[^m(0)=0. Thus we get a diffeomorphism ^ofti7"^(/'"~^)x/^ onto Mi: ^'- ( A ^m) ^ {Zj{p, tm), ^1, . . . , ^m-l, ^m).
If, using the local coordinates (^J,..., ^f, t i , . . . , r^_i, 0), we write ^j ( P ? ^m) ~ ^j ( b i? • • • J b i 5 ^1? • • • 5 ^ m - l 5 ^m)?
then since Of(Zj, ti,.,., t^) is holomorphic in z j , . . . , z", we see as in the case m = 1 that z"U],..., ^f, ^ j , . . . , t^) is holomorphic in ^ / , . . . , f f- • Theorem 4.4. ([19]). For a differentiahle family (M, B, m), dim ff H M , €)r) 15 an upper-semicontinuous function oft where Mt = m~^{t).
§4.2. Infinitesimal Deformation
201
By the upper-semicontinuity, we mean that for each s e B, dim H\M„
S,)^dim
H\M,,e,)
if
\t-s\<8
provided that s is sufficiently small. We give proof of this theorem in §7.2(b). From this theorem and Theorem 4.3, the Frolicher-Nijenhuis theorem ([7]) follows. Theorem 4.5. Let {M, B, m) be a differentiable family of compact complex manifolds where B is a domain of W^, and OeB. If H\MO,SO) = 0, with Mo= VT~\0), then for a sufficiently small open interval I with Oel'^B, {MI, I,m) is trivial A compact complex manifold M is called rigid if for any differentiable family {M, B, m) with OeB and txr~^(0) = M, there is an open interval / with Oe I a B such that {Mj, /, m) is trivial. If (Jti, I, m) is trivial, M^ = nT~^{t) has the same complex structure with M = Mo= ti7~^(0) for tel. Thus if M is rigid, the complex structure of M = MQ is invariant under small perturbation of t. By Theorem 4.5, a compact complex manifold is rigid ifH\M, 6 ) = 0, where S is the sheaf of germs of holomorphic vector fields on M. (c) The Case of Complex Analytic Families Let (Jt, B,m) be Si complex analytic family of compact complex manifolds (Definition 2.8) where 5 is a domain of C", and {(zj, t)} its system of local coordinates. Then each (Zj, t) is a local complex coordinate system of the complex manifold M, and
^; =fU^i....,
z;;, ^1,..., tm),
a = 1,..., n,
are holomorphic functions in z ^ , . . . , z^, ^ i , . . . , t^. As in the case of differentiable families, for a tangent vector d/dt = X^^i C),{d/dt^), c^ e C, of B, we put
ejM = i a-1
'-^^^
-^,
Ot
z, =A,(z,, t).
(4.26)
dZj
The cohomology class d(t)e H\Mt,St) of the 1-cocycle {Ojk{t)} is called the infinitesimal deformation along d/dt and is denoted by dMt/dt. The infinitesimal deformation is independent of the choice of systems of local coordinates. d
/ d\
dMt
''-7t^'\7t)=~jr is a C-linear map of T^B) into H^Mf,
S^).
202
4. Infinitesimal Deformation
A complex analytic family (Jt^ B, wr) is called trivial if it is biholomorphically equivalent to (M xB, B, TT) with M = m'^it^) where t^ is some point of B (see p. 61). Similarly we define the local triviality of (M, J5, m). As in the case of differentiable families, t = 0 identically if {M, B, m) is locally trivial. By considering Bc:C"=(R^" as a domain of R^", a complex analytic family {M, B, vr) may be regardedas a differentiable family. The tangent space of B at f considered as a subdomain of K^" which consists of all tangent vectors with complex coefficients is Tt{B)®Tt(B). Since fjici^k, ^1, • • •, tm) are also holomorphic in ^ i , . . . , t^, Sffkiz^, t)/dt = 0 for d/dt = Y.^ Cx(a/a4)e Tt(B), hence pt(d/dt) = 0. Thus the map pt for (M, B, m) considered as a differentiable family coincides with that for (M, B,m) considered as a complex analytic family. For a complex analytic family (Jt, B, xzr) of compact complex manifolds, we have the following theorem similar to Theorem 4.3. Theorem 4.6. If dim H\Mt, 6^) is independent ofteB, and p, = 0 identically, then the complex analytic family {Ji, B, m) is locally trivial. Proof. Proof is similar to that of Theorem 4.3. Let OeB, and take a sufficiently small polydisk A with OeAaB. Put J/^ = tD-"^(A). Then as in (4.8), we have ^A=U ^xA,
(4.27)
7=1
where each Uj is a polydisk independent of t, and (z^, ^ e L ^ x A and (Zfc, t)e Uj^xA are the same point on Jt^ if zj" =f]l(zj^, t), a = 1 , . . . , n. fjki^k, t) =/jfc(zfc,..., Zfc, f i , . . . , trn) is a holomorphic function in the complex variables z ^ , . . . , zJJ, ^ i , . . . , t^. We may assume that A = { ( r i , . . . , r^)EC" ||^i| < r , . . . , | t ^ | < r}. We proceed by induction on m. For this we put A"-^ = {(?!, ...,t^)\\t,\
,\t^_,\ < r},
and
Am={tm\\tm\
We consider A'""* = A'"'^ x O c A'""^ x A^ = A. It suffices to prove that the complex analytic family t3j"\A'^~^) xA^ is biholomorphically equivalent to M^. Put ^ . ,
" dffkJZk, t,,. . . , tj
f^jkKt)-
L
—
_d_ .u-
Since the cohomology class Pt{d/dt^) of the 1-cocycle {Ojk{t)} is equal to 0, there exists a 0-cochain {(9,(0}e C^tt,, 6,) such that {Ojkit)} = 8{ej{t)} where we put U^ = { L^ x r}. As was mentioned in the proof of Theorem 4.3
§4.2. Infinitesimal Deformation
203
above, we may assume that each coefficient O^'izj, ti,..., Oj(t)=
I
t^) in
e-{zj,t,,...,tj^ OZj
« = 1
is a C°° function of z j , . . . , zj, ^ i , . . . , t^. In order to show that tEr~^(A'"~^) x A^ is biholomorphically equivalent to Jt^, it suffices to verify that we can choose a 0-cochain {dj{t)} such that each coefficient ^"(zj, ^ i , . . . , ^m) of Oj(t) is holomorphic in z j , . . . , z", ^ i , . . . , f^. In fact, if each Of(Zj, t^,..., t^) is holomorphic, the map O: tiT~^(A'"~^) x A ^ ^ M ^ defined as in (4.25) by virtue of the solution of the simultaneous ordinary differential equations
ds dtrr
I ds
A= l,...,m-1,
= 0,
= 1,
is biholomorphic and O maps TtT ^(A'" ^) = w- ^(A'" ^) xO identically onto m~\A'"-')^M^. If we write ejM=
I
Of,(zj,t) — ,
a =l
OZj
then Ofki^p t) = (d/dtrn)ffk(zk, 0 with z^ =fkj(zj, t) are holomorphic functions of z],..., zj, ^ 1 , . . . , tm- The equality djk(t) = 6k(t) - Oj(t) is written in the explicit form as
(x = \
dZj
^ =1
dZk
a=l
oZj
namely, " (9z" )8 = 1 OZk
Since dzJ/dzl = df%{zk, t)/dz^, z^ =fkM, t), and Ofkizj, t) are holomorphic in ^ 1 , . . . , ^^, differentiating both sides of the above equality in f^, we obtain
J dzfde'kizk,t)_def(zj,t) f3 = ldZ^
dt;,
dtx
204
4. Infinitesimal Deformation
namely, p^\
dfx
dZj^
a^l
dtx
dzj
Thus putting V\it) = la(^^fi^P O/^h) ' d/dzf on each UjXtaMt, we obtain a holomorphic vector field r};,(t)e H^{Mf, @^) on M^. As was mentioned above, if we consider (M, B, m) as a differentiable family, Pr = 0 also holds identically. Consequently by Theorem 4.3, (Jt, B,m) is locally trivial as differentiable family. Therefore each M, = wr~\t) with r G B is biholomorphicto M = txr'^O). Hence dim H^(Mt, 6,) = dim i/°(M, 0 ) . Note that we have //^(M, 6 ) = 0 for many examples of compact complex manifolds. Such M as dim H^(M, 0 ) ^ 1 is rather exceptional. (1°) The case dimH\M,e) = 0. Then / / ^ ( M „ e , ) = 0, too. Hence 77A(0 = 0 identically. Therefore dOf{zj, t)/dt), = 0 for A = 1 , . . . , m. Consequently O'^izj, t) are holomorphic in z j , . . . , zj, ^ i , . . . , t^. (2°) The case dim H^(M, O) ^ 1. We use the following lemma. Lemma 4.1. For a complex analytic family (Jt, B, m), suppose that dim H^(Mt, (dt) = d is independent oft. Then for a sufficiently small polydisk A with Oe A<=^ B,we can choose a basis {(pi(t),..., <^d (01 of each linear space H\M,, 6,) with a=l
oZj
such that (Pqj(Zj, t) are holomorphic functions of z],...,
zj, ^ j , . . . , t^.
We give proof of this lemma in §7.2(b). Put d
V^{t)= Z c^x(t)
The coefficients C^ACO are C°° functions of ^ i , . . . , t^. We denote d with respect to the variables ti,..., t^ by df. Then on each Uj x A, we have d
d.ef{zj,t)=
m
I
Since dfCPqjiZj, r) = 0 by the above lemma, we have d
_
"^
o = d,d,ef{zj,t)= z
A=l
(4.28)
§4.2. Infinitesimal Deformation
205
Hence dt 1^=1 V ( ^ ) ^^A = 0 . Since Y.7=\ ^^ACO ^^A is a (0, l)-form on the polydisk A, by Dolbeault's lemma (Theorem 3.3), there exists a C°° function Cq{t) on A, for each q such that dtc,{t)= Z c^x{t)dh. «-qAV
(4.29)
A= l
Put ej{t)=^dj{t)-Ht),
. ^ ( 0 = 1 c,(r)
For each r e A, (/^(r) is a holomorphic vector field on M,, hence, 6>y(0 is a holomorphic vector field on UjXtcz M,. Clearly we have Ojk(t) =
Oj(t)-ek(t).
Writing 61(0 = l L i ^r(^> 0^/(5z;, we have ^7(z,, r) = ^;(z„ 0 - I c,(0
Therefore by (4.28) and (4.29), M 7 ( ^ > 0 = 0. Consequently ^/(z,, 0 are holomorphic functions of z j , . . . , z", r^,..., r^. I Corollary. A complex analytic family (Jt, B, m) is trivial if it is trivial as a differentiahle family. Proofs of Theorems 4.1, 4.4 and Lemma 4.1 given in §7.2(b) are based on the theory of harmonic differential forms. Therefore the above theory of deformations of compact complex manifolds is also based on the theory of harmonic differential forms, hence cannot apply to the deformations of complex spaces. Grauert extended the above results to the case of complex spaces by developing the theory of deformations based on the theory of coherent analytic sheaves ([8]). (d) Change of the Parameter Suppose given a complex analytic family { M J M ^ = tz7~^(0, teB} = (Jt, B,VT) of compact complex manifolds, where B is a domain of C". Let D be a domain of C\ and h: s^ t = h(s), se D, a, holomorphic map of D into B. Then by changing the parameter from t to s, we obtain a complex analytic family {Mh(s)\seD} on the parameter space D as follows.
206
4. Infinitesimal Deformation
We denote a point of M by /?, and define the holomorphic map 11 of MxDio BxDhy n:{p,s)-^{t,s)
=
{m{p),s).
Then (JtxD, BxD, U) is a complex analytic family with the parameter space B X D. We have 11"^^, 5) = M, xs. The graph of h G=
{{h{s),s)eBxD\seD}
is a submanifold of BxD, hence a complex manifold. Since the projection P: BxD^ D maps G biholomofphically onto D, we may identify G with D via P. ^ = n~^(G) is a submanifold of the complex manifold JtxD, If we denote the restriction of 11 to ^ again by 11, then (J{, G, U) is a complex analytic family over the parameter space G. Identifying G with D as mentioned above, we obtain the complex analytic family (Jf, D, rr) where 7r = P o n . Definition 4.5. The complex analytic family (^, D, TT) thus obtained is called the complex analytic family induced from (Jt, B, vj) by the holomorphic map h'.D^B. Since Il~\h(s),
s) = Mh(^s)^s, we may consider 7T-\S) = U-\h(s),
S) = M^(,) X S = M;,(,).
Thus {Mft(5)\se D} form a complex analytic family (JV, D , TT). To investigate the relation of the infinitesimal deformation of Mh(s) and that of Mt, assume that OeB,OeD, and h(0) = 0. Taking a sufficiently small coordinate polydisk A with 0 e A c= J5, we represent M^ = IJT~\A) in the form of (4.27) as ^A=U ^xA, where (z,, t)e L^ x A and (z^, t)e L4 x A are the same point of Jt^ if Zj = fjk(zk,t)' Take a polydisk E with OeEc^ D, and put ^ £ = 7r-^(£) = U-\GE)
where G^ = {(h(s),
Jfs is a submanifold of J^A X E. We have J^AX£ = U
^XAXJB,
s)\seE}.
§4.2. Infinitesimal Deformation
207
where (Zj, t, s)e UjX^xE and (z^, t, s)e U^x^xE M^xE if Zj =fjk{Zk, t). Consequently
are the same point on
where {zj, h(s), s)e UjXGE and (z^, h(s), s)e U^xGE are the same point on ^E if Zj=fjk(zk, h{s)). Identifying GE with E = P(GE) via P, we may consider JfE==^~\E)
= [J
UjXE.
Thus J^E is a complex manifold obtained by glueing UiXE,..., UiXE by identifying (z^, s) eU^xE and (z^, 5) e L7y x E if Zj =fjk(Zk-> his)). Then the complex analytic family (J^E, E, TT) induced from (Ji^, A, ttj) by the map /i: JB ^ A is a complex analytic family obtained by substituting t = h(s) into the functions ffki^k, 0 defining Ji^. Theorem 4.7. For any tangent vector d/ds e Ts(D), the infinitesimal deformation of Mh(s) along d/ds is given by ^M,(,) - dt.dM, — = I — T—, ds \ = i ds dtx
( ^ 1 , . . . , ^m) = Hs).
. (4.30)
Proof We put .
, , , _ V ^f%i^k.h,....tm)
^KjkKt)-
L
d
~
ot = \
—^.
Otx
dZj
" dffk{zk.his)) Vjk(s)= I a=l
ds
d —. dZj
dMt/dt), is the cohomology class of the 1-cocycle {d^jkit)), and dMh(s)/ds is that of {rjjkis)}. Since h(s) = (t^,..., t^), we have dffki^k, h{s)) _ - dt;, ds
A=:i ^^
Hence we see that (4.30) holds.
dffk{Zk,tu.--,tm) <5rA
I
(4.30) is just the formula of the derivative of a composite function. A similar formula holds for differentiable families.
4. Infinitesimal Deformation
208
Our Theorems 4.2, 4.3, and 4.6 contain the assumption that dim H\Mt, B^) is independent of t. At first we did not know whether this assumption was essential or not. Since we might expect the local triviality of (M, B, m) in case p^ = 0 if pt(d/dt) = dMJdt is truly the derivative of the complex structure of M,, we suspected that we could get rid of this assumption. But the study of deformations of Hopf surfaces revealed the necessity of this assumption. We will explain this below. Let {M^ C, ID-) be the complex analytic family of Hopf surfaces M^ = 7r~H0 given in Example 2.15. {M, C, m) has the following properties: (1°) If we put U = C -{0}, {Mu, U, m) is trivial; (2°) MQ and M, with r # 0 are not biholomorphically equivalent. Consider the complex analytic family (JV*, C , TT) induced from {M, C, vr) by the holomorphic map s-^ t = s^. Then from (4.30) the infinitesimal deformation ps(d/ds) of 7r~\s) = M^^ is given by dM,2 ds • ( ! ) =
dt dM, ds dt
dM, dt
If 5 7^0, t = s^e U, hence dMJdt = Q because {Mu, U, m) is trivial. Thus we have Ps = 0 identically. On the other hand, (^, C, TT) is not locally trivial. For, 77-~^(0) = MQ and 7r~^{s) = M^ with r = 5^ ?^ 0 are not biholomorphically equivalent. Thus although p^ = 0 identically, (^, C, TT) is not locally trivial. SS^) Since p^ = 0 identically but (^, C, TT) is not locally trivial, dim H\MS^, of computation must not be a constant. By making an explicit dim H\Mt, ©,) ([21]), we have
dimf/HM„e,) = |^'
ty^O.
Chapter 5
Theorem of Existence
Let (M, B,m)hc a, complex analytic family of compact complex manifolds where B is a domain of C. Then the infinitesimal deformation dMt/dt of Mt = n7~\t) is an element of H\Mt, 6^). Consequently, given a compact complex manifold M, if (M, B, m) with O G J 5 C : C is a complex analytic family such that m~\0) = M, {dMJdt)t=oeH\M, 6 ) , where 0 is the sheaf of germs of holomorphic vector fields over M Thus, if there is a complex analytic family {M.B.m) with tJT~^(0) = M, the corresponding element e = (dMt/dt)t=o of H\M, e) is determined. Conversely, given a deH\M,S), does there exist a complex analytic family {M,B,m) with 0 e 5 c: C such that ^-1(0)=M,
(dM\
r ^ ] =0 1 \ dt A=o
This was the next problem in the theory of deformation. In this chapter we explain the development of the theory of deformation in connexion with this problem.
§5.1. Obstructions Lemma 5.1. Let L^ = {(z\ . . . , Z " ) G C " | | Z ^ | < r , . . . , |z"| < r} be a polydisk, and 6 the sheaf of germs of holomorphic vector fields over U. Then H'{U,e)
= 0,
q^h
(5.1)
Proof A germ of a holomorphic vector field i ; e 0 ^ at ZG L^ is written in the form d v = vi—+dZi
d • • + i?„—, (9z„
where the coefficients i;«, 1 ^ a ^ n, are germs of holomorphic functions at z. Thus V can be represented as v = (vu... ,Vn) with v^ e 0^, where we
5. Theorem of Existence
210
denote the sheaf of germs of holomorphic functions over U by €. Therefore
'-\-H^U,0). H''{U,S) = H^U,€)-\-" _—/ .^^ ^ ^ n times
By Dolbeault's theorem (Theorem 3.12), we have
while by Dolbeault's lemma (Theorem 3.3), for any 5-closed (0, ^)-form (pGr(L/,a^^'^"') on a polydisk U, there is a iAGr(U, ^^'^"') such that cp = dil/. Therefore H^(U, 0) = 0, hence H\U, S) = 0. I Let U = { Uj} be a finite open covering of a compact complex manifold M, and suppose that each Uj is a coordinate polydisk. Then by Lemma 5.1 above, we have H\Uj, S) = 0. Therefore, by Theorem 3.5 and 3.6, we obtain the following: Lemma 5.2. H\n,e) = H\M,e),
(5.2)
H\Vi,e)^H\M,@).
(5.3)
Suppose given a compact complex manifold M, and let {Jt, B, m) with 0 G B c: C be a complex analytic family such that tzT~^(0) = M. Take a small disk A with centre 0 such that OG Ac: B, and represent M^= tEr~^(A) in the form (4.27): (5.4)
^ A = U ^-xA,
where each Uj is a polydisk, and (z^, t)e UjXA and (z^, t)e U^xA are the same point on ^ ^ if ^f =fJk{^k-> 0 for a = 1 , . . . , n. Here each fjki^k, 0 = Zfc, r) is a holomorphic function of z j , , . . . , zl, t defined on Uj^ x f^ki^k,..., An^xA7^0. is, by definiThe infinitesimal deformation 6(t) = dAiJdte H\Mt,St) where tion, the cohomology class of the 1-cocycle {6jkit)}eZ\Vit,St) Ut = {UjX t}, and the vector field
a
OZj
is given by
ej,(2j, t)JM5^^ ot
,^ =y^.(
,).
(5.5)
§5.1. Obstructions
211
Note that the functions O^ki^j, t) of Zj,... ,z],t are obtained by differentiating first the functions f%{zj^, t) of zJ,,..., z^, t with respect to t, and then substituting z^ =fkj(^p 0On t/fc X A n L/, X A n ^ X A 7^ 0 , we have the equahties fTkizk, t) =mfjk(zi.,
0 , 0,
a = 1 , . . . , n.
(5.6)
By differentiating both sides of these equahties in t, we have " (9z" eUzi. t) = eUzi, 0 + Z T^Ofj^izj, t),
a = l , . . . , n.
(5.7)
^ = 1 dZJ
As is stated in §4.2(a), these equalities imply that {Ojk(t)} is a 1-cocycle. Next, we consider the equahties obtained by differentiating both sides of (5.7) in t as functions of z],..., z", t. We sometimes write {d/dt)j instead of (d/dt) in order to make expUcit that d/dt denotes the differentiation of a function of z ] , . . . , zj", r with respect to t On U, x A n L/^ x A T^ 0 , we have the following equalities:
_a_^"azf^
dzf _dfl{zj,t)
dzf
dzJ
ph.dzf
dz^'
dzJ
' (5.8)
\dt)j
/^i \ dt )j dzf
\dt/;
\ dt Jj
dt
Consequently
( I Oik{Zi,t)\dt/j
2. p=i
= E p^i
dt
--pOik(Zi,t)^ dZJ
dt
erj{zi,t)—^eik{Zi,t)-\-—-—. dzf
dt
Therefore putting
dt
we have
[£j oUzi, t) = e,j{t) • eUz,, r) + 4(z,, 0.
212
5. Theorem of Existence
Similarly we have
(^)/s<- t) = eyit)-diiz„t)
+07,(2,, t),
and
{7) ^7^ ^U^j, t) \dt/j
13 = 1 dzf (i
dZj
dt
/3 dZj
=1 ef,{zj, t)-^erj{z„ t)+i^^ej,izj, t) j3
dZj
p
dZj
= ej,{t)-erd^„t)+i^^efdzj,t). Accordingly, differentiating (5.7) with respect to t, we obtain the following equalities:
oy ei{z„ t) + ei{z„ t) = e,,{t) • e%{z„ 0+0^(z, t)
Since
we can write the above equalities in the form
erj{z,,t)-erAzi.t)+ i ^^efj,izj,t) (5.9)
= Oijit) 'l^^ef,(zj, t)-ej,{t)' e^{z^ t). /3
^^j
In general we define the bracket of two local holomorphic vector fields t ^ = Z L i < W O and i . = i : ^ , uj{d/dzj) by iv,u-\= i
(v'uf-U'vf)^,
cx = \
dZj
(5.10)
§5.1. Obstructions
213
It can easily be verified that [i;, u] does not depend on the choice of coordinates, [v, u] is bilinear in u and v, and clearly [u,v]=-'[v,u] holds. Putting Oij{t) = Y.l = i ^tji^i, 0 d/dzf and so on, and using the bracket, we rewrite (5.9) as
eij(t)-e,M + ejM = [o,j{t\ejj,{t)i
(5.11)
Substituting r = 0, we obtain ^ f ; ( 0 ) - 4 ( 0 ) + M 0 ) = [^y(0), OjdO)l
(5.12)
Since M = MQ by assumption, identifying Uj with Uj x 0, we may consider 11 = {^} as a finite open covering of M For a given 6e H\M,(d), if 6 = (dMt/dt)t=o, 0 is the cohomology class of the 1-cocycle {Ojk(0)}e Z\Vi,S) above, hence (5.12) imposes a certain restriction on such 6. In order to make clear the meaning of this condition, we put for any 1-cocycle {6i,,}€Z'(U,0)
on Uin Ujn Uk9^0. ^tjk is a holomorphic vector field on UinUjn Uijk} forms a 2-cocycle on U. In fact, first since ^ikj = [ ^ik, ^kj] = ~[ ^ij + ^jk, ^jk] — ~[ Oij, ^jk] = ~ ^i/fc,
^jik = [^jh ^ik] = ~ [ % ^ij + ^jk] = ~ [ % ^jk] =
-Cijk,
^ijk is skew-symmetric in ij, k. Next, on Uh n Ut n Uj n U^ 9^ 0, Cijk ~~ Chjk + Chik ~ Chij = [ ^ij ~ ^h> ^jfc] + [ ^fii, ^ik -' ^ij\
Thus {Cijk) is a 2-cocycle. For arbitrary 1-cocycles {6^^} and {r)jk} G Z ^ ( U , ©), we put
U^.
5. Theorem of Existence
214
Then since Uijk = [ Oij + 7)ij, 6jk + 7]jk] - [ % ^,7c] - [ Vip Vjkl {^ijk} is also a 2-cocycle in Z^{Vi, 0 ) , whose cohomology class ^ is uniquely determined by the cohomology classes 6 of {Oj^} and 17 of {17^^}. In fact if Ojk = ^k- ^p it follows from a simple calculation that
namely, that {^y7c} = 5{[6>y +^fc, 17^^]}. We define the bracket of ^, 17 6
H\M,(d) hy [^,7?] = ^.
(5.13)
[6, 97] is bilinear in 0 and 17, and the equality [0, r]] = —[rj, 6] holds. Putting / = A: in (5.12), we obtain ^^,(0) + Oj^iO) = 0 since 4^(0) = 0. Thus {^jki^)} is a 1-cochain, and (5.12) can be rewritten as HOjkiO)} = U,j,},
Cijk = [OijiO), 0jj,iO)l
Hence we obtain
[e{o),em
= o.
(5.14)
From these results we obtain the following theorem immediately. Theorem 5.1. Suppose given a compact complex manifold M, and 6e H\M, 0 ) . In order that there may exist a complex analytic family {M, B, m) such that trr~^(0) = M, and that {dMt/dt)t=o = 6, it is necessary that [0, 6] = 0 holds. In other words, if [^, 0] 7^ 0, there exists no deformation M^ with MQ = M and {dMt/dt)t=o= 0. In this sense we call [0, 0]eH^{M, 0 ) the obstruction to deformation of M The necessary condition [^, ^] == 0 is obtained by differentiating (5.7) with respect to t and putting t = 0, while (5.7) is obtained by differentiating (5.6) with respect to t. Thus the condition [6, 6] = 0 is obtained from (5.6) by differentiating twice and then putting t = 0. Similarly we obtain infinitely many necessary conditions by differentiating (5.6) m times and then putting Thus we have infinitely many obstructions to deformat = 0 for m = 3, 4, tion of M. In view of this fact we call [6, 0] the primary obstruction. Theorem 5.1 above holds also for a differentiable family, as will be easily seen from its proof.
§5.2. Number of Moduli
215
§5.2. Number of Moduli (a) Wonder of the Number of Parameters Let {M, 5, tu) be a complex analytic family of compact complex manifolds where 5 is a domain of C". Suppose that for any teB, the linear map
of T,{B) to H\M,, e,) is injective. Then since if a/at = 17=1 c^{d/dt^)9^0, dMJdt 7^0, we may consider that the complex structure of M^ actually varies with t. In this case we say that the parameter t is effective. More precisely, Definition 5.1. If for every te B, pt'. T^B) -^ H\Mt, St) is injective, we say that the parameter ^ = ( ^ i , . . . , ^m) of the complex analytic family {Jt, B, m) is effective, and that (Ji, B, wr) is an effectively parametrized complex analytic family. For a given compact complex manifold M, if there is an effectively parametrized complex analytic family {Ji, B, m) where B is a domain of C " containing 0, and t3j"^(0) = M, then since po'. ToiB) -^ H\M, 0 ) is injective, po(^o(^)) is an m-dimensional linear subspace of H^{M, 6 ) . Assume 6 e po{To{B)). Then 0 = po{d/dt) for some d/dt = Z^^j C;,(a/arJ e To{B). Let 5 G C be a variable and put t{s) = (tM,
. . . , tm(s))
= (Ci5, . . . , CmS).
Then if e > 0 is sufficiently small, we have t(s) e B for |5| < s. Consequently, considering the complex analytic family {Mf(5)||5|< E} induced from {Jt, JB, VT) by the holomorphic map s-^ t = t{s), we have M^(o) = Mo = M, and from (4.30),
Therefore by Theorem 5.1, ^ satisfies the equality [6, ^] = 0. Moreover, as was stated above, 6 must satisfy infinitely many conditions. Thus, in general, PO{TQ(B))^H\M,S), and we may expect that m is rather smaller than dim H\M,(d). Since [0, rj] = [r], 6], if 6, v ^ PoiTo(B)), we have
216
5. Theorem of Existence
In this case by we have po{To{B)) = H\M,e). If m = dimH\M,e), H\M,S), Oe any for that considering the above {M,(5)||s|< e}, we see that such OeBciC with {M.B^m) there is a complex analytic family 0. {dMJdt)t=o= m~\0) = M and that In many examples of compact complex manifolds M, the definition of M itself contains several effective complex parameters, by use of which we can construct complex analytic family of deformations of M. For several simple cases, we compared the number m of parameters of M with dim H\M, ©) ([21], Chapter VI, §14). At first, however, since we had no precise definition of the effectivity of the parameter, we used as m the number of the remaining parameters appeared in the definition of M after excluding the obviously ineffective ones. (i) Projective space P". The definition of P" contains no variable parameters. Hence m = 0 . On the other hand, it is well known ([1]], see also p. 244) that f/^P", 0 ) = 0. Thus we have
dimH\P\e).
m=
(ii) Complex tori. Let M = C"/G be a complex torus given in Example 2.8 with G = {I^^!i mjcoj \ mj e Z}, where coj = {coj,..., cuj) G C",7 = 1 , . . . , 2n, are linearly independent over R. Among coi,..., a>2„, there are n linearly independent vectors over C. We may assume that con+i,..., co2n are such ones. If we take complex coordinates of C" such that a = l,
a;„^« = ( 0 , . . . , 0 , r , 0 , . . . , 0 ) ,
«,
then the period matrix of M is given in terms of these coordinates by col
c.? •• • co^
(On
2 (On
•
1 0
0
•
0
0
1
•
• • •
^n
0 0
(5.15)
1
Therefore an n-dimensional complex torus M is determined by n^ parameters (of,j,a = l,...,n. Thus m = n^. In this case we get rid of the ineffective parameters through the coordinate change of C". On the other hand, we can easily compute dim H\M, @) using the formula (3.148): H\M, n^(F)) = H^'^(F). In our case since B = €{T(M)), we have f f \ M , 0 ) = H^'^(r(M)).
(5.16)
§5.2. Number of Moduli
217
G is a group of automorphisms of C", and each element co = {a)\ ..., (o'')e G represents the automorphism of C" given by the translation
Vector fields, differential forms, etc., on M = C " / G correspond in a one-toone manner to G-invariant vector fields, differential forms, etc. on C", respectively. Since holomorphic vector fields 5/(5z", a = 1 , . . . , n, are Ginvariant, they represent holomorphic vector fields on M, and
I-
-I
forms a basis of the tangent bundle T{M) over M. Similarly {dz\...,
dz")
forms a basis of f*{M) over M. Consequently any (pe^-\T{M)) T{M, si{f*{M)®T{M)) is represented as
a-1v=l
=
OZ
Since the Hermitian metric Ii" = i dz"'®dz'^ on C" is G-invariant, it gives a Hermitian metric on M, which we write as YJl,(i = iSa^ dz°'®dz^ where ^a)8 — ^ap' The complex Laplace-Beltrami operator D for this metric is given by
• = -a=\I
d^ dz
dz
since g^" = 5«^, and each term of a^f", « A 5 ^ and b^s in (3.128) contains at least one partial derivative of g«^ = d^p or g^" = 5„^, hence, is equal to 0. Writing a tangent vector ve T^(M) in the form f = Z2=i ^"(^Z^^:"), we introduce the fibre coordinates (C\ . . . , ^") of T(M). We define a Hermitian metric on T(M) by X « r r . Then by (3.142) and (3.143), we have b a = b and
•« = • = - ! T ; ! - ^ . a = l OZ
dz
H°-'(r(M)) = {^ei?«-'(T(M))|n„
(5.17)
218
5. Theorem of Existence
while by (5.17) for (p=lclv
n<,(p = 0 means that
a = l OZ dZ
for all (pt If 0(^^ = 0, by (3.130)
\\dcpn' = {ncpt,
I
i cUz''®z^,c-.ec].
a = l v^\
OZ
Consequently dimH^'Hr(M)) = n^ Hence dim H\M,e) have
(5.18)
J
= n^. Thus we
m = dim H\M,0) in this case. (iii) Hypersurfaces in the projective space. Let ^ = (^o, • • •, ^n+i) be the homogeneous coordinates on P""^^ The number (/x + 1) of the monomials ^0° • • • CTI of degree h = ho+ • • • + /i„+i in (n + 2) variables ^o, • • •, ^n+i is given by M+l=(
,
).
(5.19)
We associate with each point t = (to,..., t^) of the /it-dimensional projective space P^ the homogeneous polynomial of degree h given by tU) = to^o +
t,^o~'^i^"'^t^^Li-
In order that the hypersurface t{^) = 0 has a singularity, (^o,.. -, t^) must satisfy certain algebraic conditions. (See p. 42.) Therefore there is an algebraic subset © g P ^ such that the hypersurface M^ given by r(^) = 0 for r ^ © is a submanifold of P"'^^ Of course M^ is an n-dimensional algebraic manifold. We call M^ a non-singular hypersurface of order h in We shall treat the case n = l later. The case h = l, Mf = P", hence, it contains no parameter. In case /i = 2, M^ is a quadric hypersurface, which can be transformed into the normal form: ^l+- • - + ^^+1 = 0 by a change
§5.2. Number of Moduli
219
of homogeneous coordinates. Thus it also contains no parameter. We consider now the cases n^2 and h^3. First we must calculate the number of effective parameters. Put B = P^ - ©. Then {M^ \teB} forms a complex analytic family, but its parameter space B is not effective. In fact, consider a projective transformation of P""^^
y'C^C'=yL
a=^l
7^^^,, det(r«^)7^o.
Letting (7«^)~^ = ('ya^) be the inverse matrix of (7a^), we have ^« = Z^^o y^p^'/B' Therefore any monomial of degree hin^o,..., ^^+1 is represented as a linear form of monomials of degree h in ^Q, ..., Cn+i- Consequently if we let t(^) = tXCl, t-^ t' is Si projective transformation of P^, which we denote by y:
Since y is an automorphism of P " ^ \ yMt and M^ are biholomorphically equivalent. Since ^ e M^ if and only if C' e yMt, yMt is a hypersurface given by r'(^) = 0, namely, yMt = Mt' = Myt.
Let @ be the projective transformation group of P"^^ Then since each element y G @ is determined by the ratio of {n + lf components y^/s, OL,^ = 0, 1 , . . . , M + 1, ofthe matrix (y^^), dim @ = ( n + 2 ) ^ - 1 . For any point 5 6 B, t=yse®s, @5 is a submanifold of dimension (n + 2 ) ^ - 1 , and as long as the complex structure of Mt = yM^ does not vary. Therefore among ^ components of the local coordinates of B, ((n + 2 ) ^ - 1) ones are ineffective parameters for Mt. Thus the number of the effective parameters of M, is given by m = /x-(n + 2 f + 1 . Hence by (5.19) we have m= y
^
y{n
On the other hand, calculating dim H\Mt, case n = 2, /i = 4, we have
+ 2)\
(5.20)
&t), we see that except in the
dim f f ' ( M „ 0 , ) = ( " ^ ^ ^ ' ' ) - ( « + 2)1
(5.21)
220
5. Theorem of Existence
Thus m=
dimH\M,,e,)
except in the case n = 2, h = 4. We shall give the calculation of dim H\Mt, St) in (c) of this section. In case n = 2, /i = 4, that is, in case M^ is a quartic surface in P^, dim H\Mt, St) = 20 (see p. 308). Since by (5.19), m = ( I ) - 4 ^ = 1 9 , m < dim H\Mt, St) in this case. (iv) Quadratic transform of P^. Take P distinct points qi,..., q^ on P^, and let M be the algebraic surface obtained by applying quadratic transformations Qq^ at each q^, for A = 1 , . . . , i^: M=Qq^'"QjP').
(5.22)
We compute the number of effective parameters of this M when qi,..., move on P^. Choose the homogeneous coordinates on P^ such that gi = ( 0 , 0 , l ) ,
^2^(1.0,0),
^3 = (0,1,0),
q^
^4=(l,l,l).
Assume for simplicity that ^5, • • •, ^^ do not lie on the line through ^2 and ^3, and put q\ = iLuL2,
1),
A = 5,..., K
Them M is determined by 2{v-A) parameters ^51, ^52,..., Cv\, Cvi- In case ^ ^ 4 , M contains no parameters. Thus we have fO
v^A
m= "'
.
"^-7
(5.23)
forM. Next we compute dim H^{M, B) using the Riemann-Roch-Hirzebruch theorem. For a while let M be an arbitrary algebraic surface. We call q = dim H^{M, O^) the irregularity of M, Pg = dim H^{M, Cl^) the geometric genus of M, and Pa~Pg~q the arithmetic genus of M. By the RiemannRoch-Hirzebruch theorem ([10]), dim H\M,
e ) - d i m H\M,
©) + dim H\M,
(d)=\{lc\-5c2),
(5.24)
where c^ e H^(M, Z) is the first Chern class of M and C2 is the Euler number of M Ci is an integer. Classical Noether's formula 12(/?, + l) = c?+C2
(5.25)
221
§5.2. Number of Moduli
also follows from the Riemann-Roch-Hirzebruch theorem. By (5.24) and (5.25) we obtain dim H\M,
6 ) = 2c2-U{pa
+1) + dim H\M,
0 ) + dim H\M,
O).
(5.26)
Again let M be the algebraic surface given by (5.22). If M = P ^ H H P ^ 0 ) = 0 as stated in (i). By (3.157) dim H\P\
0 ) = dim H%M,
a\K)).
(5.27)
Let {(zj, Zj)} be a system of local complex coordinates on M. Then ((/e H^{M,Ct\K)) is represented as
^ a = \ /3,y=l
namely, r/^ is a covariant tensor field i/^«^^, \\f^^y = - if/ay^ which is holomorphic on all of M. Consequently H^(P^, 0 ) = 0 follows from the fact that there is no non-zero holomorphic tensor field on P^, which is easily verified as follows. Let ^ = {^ G P^ I ^j 9^ 0}, for J = 0, 1,2. Then each Uj is a copy of C^ and P^= Uo^ UiU U2. Putting z^ = f 1/^0 and z^ = Ci/^o, we get the coordinates (z\z^) on UQ. Similarly ( w \ w^) = (fo/fi, ^2/^1) gives the coordinates on U,, On UonUu 1
1
z^ = w
^,=0
^2 = 0
^0 = 0
Figure 1
(5.28)
5. Theorem of Existence
222
hold. A holomorphic covariant tensor field if/ of, say, rank 2 on P^ is written on (7oas(/f = Xa,^=i ipoap dz"" ® dz^ and on ^ i as (/^ = Xl/3=i ^ic.(3dw'^®dw^, where i/^oa^ and 1/^1^/3 are holomorphic functions on UQ and L/j, respectively. On UonUi, we have -
/
^
/ V y,5 = i
dz
^ dz^
while by (5.28) we have
oZ
aZ
dZ
oZ
Thus each aw^/^z", a, 7 = 1, 2, can be extended to a holomorphic function on L/i, which vanishes on the line ^0 —0. Therefore (/^oa^ is extended to a holomorphic function on IJ^^ (/j = P^-{(0, 0, 1)} which vanishes on ^0 = 0This extended holomorphic function is again extended to all of P^ by Hartog's theorem (Theorem 1.8). Thus we have shown that i/fo«^ is a holomorphic function on all of P^, vanishing on the line ^0 = 0. Since a holomorphic function on a compact complex manifold is a constant, i/^oa^ vanishes identically, hence, a covariant tensor field \\s is identically equal to 0. A holomorphic differential form is a holomorphic skew-symmetric covariant tensor field. Consequently / / ^ ( P ^ ^ ^ ) = 0, and /f^(P^a^) = 0. Thus the irregularity q, the geometric genus Pg and the arithmetic genus Pa of P^ are all equal to 0. Similarly we can determine holomorphic vector fields on P^. Let ve H^{P^,@). V is written as v = vl{d/dz^)-hvl{d/dz^) on UQ, and as i; = vl{d/dw^) + vl{d/dw^), where vS = vS{z\ z^) and v^ = uf ( w \ w^), a = 1, 2, are holomorphic functions on Uo = C^ and Ui = C^, respectively. On L^o*^ (7i, we have « = 1,2.
-T. Vi = ^ o T T + ^ o -dZ dZ
Consequently by (5.29) we have
\w
w/
\w
w/
w/
\w
Put
vkz\z')=
I h,k=0
a,^{z')'{z')'
and
vl{z\z')=
I h,k=0
b,,iz')'(z')\
§5.2. Number of Moduli
223
Then by (5.28)
h,/c=0 (W j
Vi{w,w)=
X
r..Mh^k-i
h,k=0
•
(W )
We must determine a/,fc, 6^^ such that these two power series contain no terms of negative exponent for w\ Thus a holomorphic vector field v is written as
OZ + (C4+ CsZ^ + C6Z^+
CjZ^Z^+Csiz^)^;-^,
where C j , . . . , Cg are arbitrary constants. Therefore we obtain dim H%P^, ©) = 8.
(5.30)
Since the Euler number of P^ is equal to 3, from (5.26) we have H\P^, 6 ) = 0. In order to compute dim H\M, S) for M = Qq^' • • Qq^{P^), it suffices to see how each term of (5.26) changes under a quadratic transformation. For this take an arbitrary point qe M, and put M = Qq(M). As stated in Example 2.12, M is a surface obtained from M by replacing q by the projective line Qq{q) = S = P^:
M=
{M-{q})uS.
Therefore M-S = M-{q}. First we investigate the correspondence between holomorphic tensor fields on M and those on M. Given a holomorphic tensor field ij/ on M, by restricting (^ to M - 5, we get a holomorphic tensor field if/' on M - {q} = lH-S. By Hartog's theorem, ij/' is extended to a holomorphic tensor field ij/ on M which coincides with ip on M-{q} = M - S. Thus to a holomorphic tensor field ij/ on M corresponds a holomorphic tensor field ijj on M. Conversely, given a holomorphic tensor field ip on M and by restricting ij/ to M — {q}, we obtain a holomorphic tensor field il/' on M - S = M - {q}. We examine the possibility of extension of il/' to all of M. Let (zi, Z2) be local coordinates with centre q, and put W - {(zi, Z2) | |zi| < e, |z2| < e) for a sufficiently small e > 0. Then
w'=a(w^)={(z.,z2,n6wxp'i^,z2-f2z,=o},
224
5. Theorem of Existence
where Uuii) denotes the homogeneous coordinates of ^eP\ Putting U, = U\i2^0}^Sind U2 = U\Ci9^0}, we have P'= U,u U2. Therefore putting W^ = Wn WxU^,a = l, 2, we have W=WiU W^. Let Wi = ^1/^2 be the non-homogeneous coordinate of the point t,^U\. Then we have ^ 1 = {(^1, ^2, Wi) G Vl^ X ?7i I Zi = W1Z2}. Thus we may use (wi, Z2) as coordinates on W^. We write W2 instead of Z2. Then W^ = {(>Vi, W2)GC^||W2| < e , |>ViW2|< e}, and (?~^: Wx-^W'v$> given by
5 n 1^1 is a submanifold of Wi defined by W2 = 0: Sn ^ 1 = {(wi, 0)| vvi eC}. Therefore W,-S
= {(wuW2)e Wi\w29^0}'^
W-{q},
where the inclusion map ^ is given by (wi, ^2)-^ (zj, Z2) = (W1W2, W2). Let i/^ be a covariant tensor field of, say, rank 2. Then on W, if/ is written as 2
^=
I
il/ap(zuZ2) dz^®dzf3,
«,/3 = l
where il/^isizu ^2) are holomorphic functions of Zi, Z2. Therefore if we represent (A' on Wy-S<=^ W-{q} as 2
then dW^
7,6 = 1
dWp
while we have dZi dWi
= W2,
dZi dW2
=Wi,
dZ2 dWi
= 0,
dZ2
=1.
dW2
Consequently ifjapi^u ^2) is extended to a holomorphic function on Wi, hence if/' is extended to a holomorphic tensor field on Wi. Since similar result holds for W2, «A' is extended to a holomorphic tensor field ij/ on M.
§5.2. Number of Moduli
225
Thus, if ifj is a holomorphic covariant tensor field, i/^' is extended to a covariant tensor field on M. Consequently there is a one-to-one correspondence between the holomorphic covariant tensor fields \p on M = Qq{M) and those if/ on M. Next consider the case e/^ is a holomorphic vector field on M. In this case ip is represented on W as dZi
dZ2
w h e r e JAIC^I^ ^2), ^li^u 2^2) a r e h o l o m o r p h i c f u n c t i o n s o f Zi, Z2. Since Zj = >Vi>^2, 22 = >^2 a n d >Vi = Zi/z2 o n \ y i - 5 c : V l ^ - { g } , w e h a v e
_d__J_ dZx
d
W2(9Wi'
_d__
Wi d
d
dZ2
W2 dZi
dZ2
Therefore we have ^ =
1-—^4f2{^
W2
1^2,^2)—-'
dWi
dW2
Expanding 1^1(^1, ^2), ^2(^1, ^2) into the power series in Zi, Z2, we see that the coefficient of d/dWx in ip has the form (Ai(0,0)-w,(A2(Q,Q) , . , u- r .• ha holomorphic function W2
on W^i. Consequently i/^' is extended to a holomorphic vector field on W^ if and only if JAI(0, 0) = (^2(0, 0) = 0, that is, i/^ vanishes at q. Thus a holomorphic vector field (/? on M = Qq{M) corresponds in a one-to-one manner to a holomorphic vector field j/^ on M which vanishes at q. H^{M, Cl^) is the vector space of all holomorphic covariant vector fields on M, H^(M, Cl^) is that of all holomorphic skew-symmetric covariant tensor fields of rank 2, and H^{M,Ct\K)) is that of all holomorphic covariant tensor fields ip^xpy of rank 3 which are skew-symmetric in the indices j8, y. Therefore from the above results, as to M = Q^- • • Qq^{P^), we see that
H\M,n'),
H%M,[l^) and H\M,n\K))
are isomorphic to
H\P\a'),
/ / ^ ( P ^ a ^ ) and H^{P^,n\K)) respectively. Consequently the irregularity q, the geometric genus Pg and dim H^{M, S) = dim H^(M, [l\K)) all vanish, hence also the arithmetic genus Pa of M vanishes. Again from the above consideration, H^(M, ©) is isomorphic to the subspace of//^(P^, 0 ) consisting of holomorphic vector fields which vanishes aiq;„X = l,..., v. Therefore by (5.30) we have
dim//«(M,0) = {^ ^^'
226
5. Theorem of Existence
On the other hand, since the Euler number of q^ is equal to 1, and that of QqA^\) = P^ is equal to 2, the Euler number increases by one if we replace a point qx by Qq^iq^). Therefore the Euler number C2 of M = Q^^ • • • Qq^{P^) is equal to 3+ ^. Substituting these values into (5.26), we obtain
6imH\M,®)=\:
„
; ;
Consequently by (5.23) we have m=
dimH\M,(d).
So far for several examples of compact complex manifolds M, we have compared dim H\M, @) with the number of the parameters of M roughly computed. Except only one example—the quartic surfaces in P^—we have seen that the equality m = dim H\M,e)
(5.31)
holds. This seemed very strange since at that time nothing was known concerning the existence of deformation of M. As stated at the head of this section, we had expected that in general the number m might be rather smaller than dim H\M,S). The effort to explain this strange phenomenon by proving the theorem of existence for deformations contributed much to the subsequent development of the theory of deformation. In this sense it may be said that the theory of deformation was at first an experimental science. A complex manifold of dimension 1 is just a Riemann surface. The idea of deformation of a Riemann surface goes back to Riemann. Let M be a compact Riemann surface of genus g. If g = 0, M is P \ and if g = 1, M is a 1-dimensional complex torus. Therefore we assume in the following that g ^ 2. According to Riemann's well-known formula, the complex structure of a Riemann surface of genus g = 2 depends on 3 g - 3 parameters. According to the theory of Teichmiiller ([30]), the number of parameters of a compact Riemann surface M is given by m = dim H%M,
€(T''(M)®T''{M))).
Let {zj} be the system of local complex coordinates, and Uj the domain of zj. Then an arbitrary i/j e H%M, OiT'^iM)® T'^iM))) is written on each Uj in the form if/ = iljj dzj ® dzj,
where ipj is a holomorphic function on Uj. Consequently ijj is called a holomorphic quadratic differential. There exist g linearly independent
§5.2. Number of Moduli
227
Abelian differentials of the first kind on M. Let COQ be one of them, and ! = {(OQ) the divisor of COQ. The degree of ! is given by deg!=2g-2. Since we assume g ^ 2 , we have ! > 0 . Since on each Uj, we can write ^0 = ^oj dZj with holomorphic (OQJ, if we write a holomorphic quadratic differential ij/ as (/^=/- 0)00),
/ is a meromorphic function on M and we have (/) + 2! ^ 0. Thus we have fe ^(2!). Conversely i f / G ^(2!), if/ = / • o;® a; is a holomorphic quadratic differential on M (For notation, see [17]). Therefore H%M, €{T''{M)®T''{M)))
= ^(2!).
By the Riemann-Roch formula, we have dim ^(2!) - d i m ^ ( - ! ) = deg 2! - g + 1 . On the other hand, since ! > 0 , ^ ( - ! ) = 0, and d e g ! = 2 g - 2 , hence dim ^(2!) = 3 g - 3 . Thus we obtain m = dim//^(M,^(r*(M)®r*(M))) = 3g-3. By (3.157) dim H\M,
8 ) = dim H\M,
while K = T'^iM) in our case. Consequently ^\K) hence
n\K)), = €{
T''{M)®T''{M)),
m = dimHHM,e). Thus if M is a compact Riemann surface, dim H\M, 6 ) coincides with the number of parameters of M already known long before. (b) The Number of Moduli In the preceding section, we computed the number of parameters for several examples of compact complex manifolds, without giving their precise definition. In this section we shall give the precise definition. We begin with the definition of the completeness of a complex analytic family.
228
5. Theorem of Existence
Definition 5.2. Let {M, B,m) be a complex analytic family of compact complex manifolds, and f e B. {M, B, m) is called complete at feB if for any complex analytic family {M, D, ir) such that D is a domain of C^ containing 0 and that Tr~^{Q) = m~\t^), there are a sufficiently small domain E with OeEc: D, and a holomorphicmap h: s^ t=' h{s) with h{0) = 0 such that (J^E, E, TT) is the complex analytic family induced from {M, B, m) by h where J^E = "^~\E). Ns = 7T~\s) is a deformation of No= Mt^= m~\t^). If {J^E.E.TT) is induced from {M, B, m) by h, Ns = Mh(^s) — "^^^(5)) for s e E. Consequently if (M, B, VT) is complete at t^ e B, (M, B, xu) contains any deformation Ns of MfO provided that s is sufficiently small In this sense we may say that {Jt, B, m) contains all sufficiently small deformations of Mt(^= xxT~^{t^), Definition 5.3. (Jt, B, m) is called a complete complex analytic family if {M, B, m) is complete at every point te B. A complete complex analytic family {M, B, m) contains all sufficiently small deformations of each Mt = m~^{t) for t e B. Definition 5.4. Let M be a compact complex manifold. If there is an effectively parametrized and complete complex analytic family {M, B,m) with VT~\0) = M where B is a domain of C " containing 0, we call m = dim B the number of moduli of M and denote it by m{M). We don't define the number of moduli of M if there exists no such family. The number m(M) of moduli of M is the number of effective parameters of the complex analytic family (Ji, B, m) with m~\0) = M which contains all sufficiently small deformations of M. Thus the number of parameters of M in the precise sense is considered to be its number of moduli m{M). If the number of moduli of M is not defined, we consider that the number of parameters of M cannot be determined. We will explain the reason of this later (p. 314). We must verify that the number of moduli of M does not depend on the choice of complex analytic family used for the definition. For this, suppose given another effectively parametrized and complete complex analytic family (^, D, TT) where D is a domain of C^ containing 0, and 7T~\0) = M. We must show / = m. Since 7T~\Q) = M = m~\Q), and {M,B,m) is complete, there is a domain E with OeEciD such that (JfE, E, IT) with NE = 7r~\E) is the family induced from {M, B, m) by a holomorphic map h.E^B with /i(0) = 0. Put Mt = m~\t). Then iV, = 'TT~^{s) = Mh^s)' Since by assumption s == ( ^ j , . . . , 5/) is an effective parameter of (#, D, TT), putting t = h{s) for s e E, WQ see that dN -^e
H\Ns, ©J = H\M,, 0,),
M = 1, • • •, /,
(5.32)
§5.2. Number of Moduli
229
are linearly independent. On the other hand by (4.30), we have
hence / ^ m. Interchanging M and ^ , we have also m ^ /. Consequently / = m, and the number of moduli m(M) of M does not depend on the choice of {M, B, m) used for the definition. Moreover since / = m, det(ar;v/<5'Sya) A,/Lt=i,...,m 7^ 0 by (5.32). Therefore putting A = h{E), we see that A is a domain of B and that h.E-^ts. is holomorphic. If we take E sufficiently small, then A is also small, hence M^= ti7~\A) is represented in the form (4.27):
M^ = U^,xA. Assume that (z,, t)e UjXA and (z^, t)e t 4 x A are the same point of ^ A if Zj =fjk{z]^, t). Then, as stated before (p. 207), we have
^E=UUjXE, where {Zj,s)eUjXE and {zj^, s) e Uj^ x E are the same point of J^E if ^j =fjk(zk,h(s)). Considering the biholomorphic map h: s^ t = h{s) as the coordinate transformation of the parameter space, we see that (JV^, E, TT) and (M^, A, m) may be considered as the same complex analytic family. In this sense, if for a given compact complex manifold M, an effectively parametrized and complete complex analytic family (Jt, B,m) with m~\0) = M exists, then (M^, A, tu) is uniquely determined by M provided that A is sufficiently small with 0 G A c: B. For the examples of compact complex manifolds given in the precediiig section, we have seen that the number of effective parameters m of M is equal to dim H\M, (d) except for one example. Since it is difficult to believe that for so many examples the equality m = dim //^(M, 0 ) occurs only by accident, it might be reasonable to expect that the number m of parameters will coincide with the number m(M) of moduli of M. Let ti,..., t^ be effective parameters contained in the definition of M, and put t = (ti,...,tm)' Further let M^ be the manifold corresponding to the parameter t, and B the domain of t Then {Mt\te B} is a complex analytic family, which we denote by (M, B, TT). In order to prove m = m(M), we must prove that {M,B,m) is complete and effectively parametrized. For the completeness of a complex analytic family, we have the following theorem. Let {M^B^m) be a complex analytic family of compact complex manifolds where B is a domain of C", and p^: T^B) -» H\Mt, 0,) the linear
230
5. Theorem of Existence
map defined in (4.22) for Mt = m \t), that is,
Theorem of Completeness ([20]). If pt^ is surjective at feB, p,o(T,o(B)) = H\Mt% @fO), then {M, B, m) is complete at t^.
that is,
We give the proof of this theorem in the next chapter. Using this theorem we see that ii{M,B,xu) is effectively parametrized and m = dim H\Mt, 8^) for every t e B, then we have m = m{M). In fact, if {Jt, B, m) is effectively parametrized, pt is injective, hence dimpt{Tt(B)) = m. Consequently pt{Tt{B)) = H\Mt, St), and by the theorem of completeness, (Jt, B, ur) is complete. Thus in order to prove that m = m{M) for the examples given in the preceding section with m = dim H\M,S), it suffices to verify that (M, B, m) = {Mt \te B} is effectively parametrized. (i) Projective space P". Since H\P'',S) = 0,by the theorem of completeness, the complex analytic family {P"} consisting of only one member P" is complete. Hence m(P") = 0. (ii) Complex tori. Let M be a complex torus of dimension n with the period matrix of the form (5.15): 't\
••
t\ •• 1,0 • • _0
• •
tf t"n
0 1_
Put ^ = (^a)a,)8 = i,...,nj ^nd wHtc M^ for M. Let
be the /cth row of the period matrix. Namely cof{t)
Jtf, Uf_„'
; = l,...,n ; = /t + l,...,2n.
Then Mt = C/Gt where G^ = {Xj"i myCeji^(0|'W;GZ}. In vectors (0j{t),j = 1 , . . . , 2n, are linearly independent over U if and only if det Im ^ T^ 0 where lmt = {lmt^)^^p = ir,. Let B = {r|det Im r > 0 } . Then {Mt\teB} forms a complex analytic family. This is verified as in the case n = l given in Example
§5.2. Number of Moduli
231
2.13. In fact, let ^ be the group of automorphisms of C" x B consisting of all automorphisms defined by (z, o ^ ( ^ + Z
7 = 1,...,2n.
^j^j(0, n ,
Then ^ acts properly discontinuously without fixed points, hence the quotient space J/ = C " x B / ^ i s a complex manifold. The projection (z, 0 ^ ^ of C" x B onto B induces a holomorphic map m of Jt onto B. Then it is clear that (M, B, wr) is a complex analytic family and that m~\t) = C " x r / G , = M,. In order to compute the infinitesimal deformation of M^, we take the following system of coordinates on Jt. Let 11 be the canonical holomorphic map of C" X JB onto M = C" xB/^.Uis a. locally biholomorphic map. Let {^fc} be a locally finite open covering of M where ^^ is assumed to be a sufficiently small domain. Then n~^(^fc) consists of infinitely many mutually disjoint domains ^k^, ^k^,... of C" x R Choose one of them, say, ^fcp and let (zfc,..., Zfc, r) be the restriction of the complex coordinates ( z \ . . . , z", 0 of C x B to ^fc^. Since 11: ^k^-^^k is biholomorphic, we may consider (zfc,..., Zfc, 0 as the complex coordinates on ^k- We use these (z^, t) = (zfc,..., Zfc, 0 as local complex coordinates of M on ^k- On ^^ n ^fc we have
Zi = ^/c + I mikojjit),
m]ke\
namely zf==z^ + m r ^ + I
i8 = l , . . . , n .
mr,r^,
(5.33)
a=\
Put a=l
and define ^ikCO as Oik(t)= z — - ^ — i 7 ? = ^ ' ^ i ; ? y=i
5^^
dz[
(^'^^^
dZi
Then the infinitesimal deformation dMt/dt^ is the cohomology class 6{t)e H\M,,(dt) of the 1-cocycle {(9,fc(0}. Let ^ , = M{T{M,)), "^t is the sheaf of germs of C°° vector fields of the form Za
%,) ^ r(M„ a ^ , ) / 5 r ( M „ ^ , ) .
(5.35)
232
5. Theorem of Existence
Since ^^ is a fine sheaf, from the exact sequence
we obtain the exact sequence of cohomology groups
from which (5.35) is derived. Therefore a ^-closed vector (0, l)-form (p(t) e r ( M „ a ^ , ) corresponds to e{t)eH\M,,^,) if 8''(p{t) = e{t). Let U, = { Ukt I Ukt = ^fc n M, 7^ 0 } . If on each Ukt e U t, we can choose C vector field ifj^eTiUkty'^t) such that
then since dilji = dil/k on each UHD Ukt'^0, we obtain a (p(Oer(M,,^'^f) which coincides with dil/^ on each U^r- Then by the definition of 5*, 8'^(p(t)=e{t). For, if we put c^^fiAJe C'^CU,, ^ , ) , we have 5c^= (^(r) and Sc' = {e,,(t)}. Such a 0-cochain {il/k}^ C^i^h^^t) as il/k-^i = ^ik{t) is obtained easily as follows. By (5.33),
By assumption det(rf - f^)„^^==i... „7^0. Therefore letting (M«)a,^=i,...,n be the inverse matrix of {t^ - r?)a,^=i,...,r„ we have
7=1
7=1
Consequently putting
since a/azf = a/^z^, we obtain from (5.34)
Since dzl = (if^, and dzl = 0, we have
7=1
dZ
§5.2. Number of Moduli
233
It is obvious from (5.18) that (p{t) e T{Mt, 5'^^) is a harmonic vector (0, 1)form: (p{t)en^'\T{Mt)). Thus via the isomorphism (5.16):
//HM,e,)^H^'HT(M)), the infinitesimal deformation pt{d/dt^) = dMt/dt^ e H\Mt, St) corresponds to the harmonic vector (0, l)-form Y.l=i " " dz^ d/dz^. Since det(M")7^0, Pt{d/dt^), a, ^ = 1 , . . . , n, are linearly independent. Therefore n^ parameters ^«, a, j8 = 1 , . . . , n, are effective, and miMt) = m = dim H^M^, 0,). However the situation for n ^ 2 is somewhat different from that forn ^ 1. In case n = 1, M^, with Im ^ > 0, is an elliptic curve, and, as stated in Example 2.14, in the complex analytic family {M^ 11 e ^"^}, Mt' and M^ are biholomorphic if and only if t' =
at + b -, ct-\- d
a,T),c,deZ
and
ad-bc=l.
Let r be the group of all linear transformations of the above form. Then F is properly discontinuous, and ¥t/T = C Thus up to the biholomorphic equivalence, an elliptic curve corresponds in a one-to-one manner to a point T G C = IHl"^/r. We express this fact by staying that C is the space of moduli of elliptic curves. The number of moduli m(M^) = 1 is the dimension of the space of moduli C. Consider next the case n ^ 2 . Let Z" be the set of all n x n integral matrices a = (a^), a ^ e Z . Then in the above notation, M^ and M^ are biholomorphic if and only if t' = {at+b){ct + dy\
a,b,c,deZr,,
det(
(c
. ) = 1- (5-36)
. ' ) = '•
Let r be the group of automorphisms y: t-^ t' of the form (5.36). Then for n ^ 2, the group F of automorphisms of B is not properly discontinuous ([28]). Moreover in any neighbourhood U of any point seB with se Uc: B, there is a te U such that TtnU is an infinite set. Consequently, in contrast to the case n = l, B/T is not even a Hausdorff space. Thus we cannot define B/T as the space of moduli. Let yj, p = l,2,... be infinitely many points of F^ n U. Then M^^^, M^^?,... are biholomorphic to one another. Thus/or any small neighbourhood U, there are infinitely many points y^t, 72^ • • • ofU such thatMy^t, My^f> • • • have the same complex structure ([21]). Nevertheless B is an effective parameter space.
234
5. Theorem of Existence
In view of this example, we suspected that there would exist a complex analytic family which is not locally trivial, but all members M^ = ^~\t) of which are biholomorphic to one another. But, as already mentioned, Fischer and Grauert proved that this cannot happen. (c) Complex Analytic Family of Hypersurfaces In order to prove that for a non-singular hypersurface M^ of order h in P""^^ with n ^ 2, /i ^ 3, the number m{Mt) of moduli is defined and coincides with m given in (5.20) except for the case « = 2,/i = 4, we need several results from the general theory on complex analytic families of non-singular hypersurfaces. First we explain them. In general let 5 be a submanifold of a complex manifold W. By the codimension of S, we mean the difference of the dimensions of W and 5. Then a non-singular hypersurface of order /i in P""*"Ms a submanifold of P"^^ of codimension 1. Let W be a given compact complex manifold of dimension n + 1 . A complex analytic family {Jt, B, m) of compact complex manifolds is called a complex analytic family of hypersurfaces in W if it satisfies the following conditions: (i) (ii)
Each Mt = m'^t) is a submanifold of codimension 1 of \y for r G B. There is a holomorphic map (^ of M into W whose restriction to Mt coincides with the inclusion Mt "=-> W.
Since we are only interested in the infinitesimal deformations, it suffices to take a sufficiently small polydisk Ac: B, and consider {M^, A, m) instead of {Jt, B, m) where we put J^A = tix'^A). Moreover we may assume that Ji^ has the form /
where (zj, t)e UjXA. and (z^, t)e L4 x A are the same point of M^ if zf = fjki^k, 0- Let {Wi,..., W;,...} be a finite open covering of W, where Wj is a coordinate neighbourhood, and let Wj = (w^^,..., w") be the local coordinates defined on Wj. Taking Uj and A sufficiently small, we may assume that <|)(^xA)c: WJ for7 = l , . . . , / , and that ^(M^)n[Wj] = 0 f o r j ^ Z + l . O is represented on each L^ x A as CD: (zj, 0 ^ «
. . . , wJ) = (
Since O induces the inclusion M ^ ^ W, rank—-1 d{Zj,...,Zj)
3rr=«-
§5.2. Number of Moduli
235
We denote a point of M by p, and define the map cp of M into WxB
^:p^^{p)
by
= (^{p),7T{p)).
Then O is represented in terms of local coordinates as {zj, 0 ^ ( w ° , . . . , w;, t) = {
cpjizj, t), t).
Therefore we have ^ d{w]...,wj,t,,...,tj ^ rank ——^
^ .. ^ =m + n = dim M.
d{Zj, . . . , Zj , ti, . . . , tm)
Consequently O is a biholomorphic map of M^ into \y x A, and, identifying M^ with 0 ( J^A), we may consider that J^A is a submanifold of codimension 1 of WxA. Then
is considered as the graph of VT~^: t-^ Mt. If we take WJ and A sufficiently small, M^ is given on each W) x A by a single minimal equation Sj(wj,t)
= 0.
Here 5,(w^, r) is understood to be a non-vanishing holomorphic function if Wj x^nM^ = 0. For a fixed ^, 5,(w^, 0 = 0 gives a minimal equation of Mt in W;. 5,(w;, t) = Sj(w^,..., wJ, t) is a holomorphic function of Wj,... ,Wj, ti,..., tm, and at least one of the partial derivatives dSj{Wj, t)/dwf, A = 1 , . . . , n, does not vanish for each Wj e M^ On \ ^ x A n \yfc X A 7^ 0 , we have SjiWj, t) = Fj^(w, t) • S^(wk, 0,
(5.37)
where i^7c(w, t) is a non-vanishing holomorphic function defined on (WJD Wfc) XA, and Wy, w^ are local coordinates of we WJD W^. It is clear that F,fc(w, 0 = Fijiw, t) • Fjk{w, t)
for
w G Wi- n WJ- n W^.
(5.38)
Thus for every ^ G A, we can define a complex line bundle &^t over W with transition functions Fjj^{w, t). ^t is a complex line bundle over W defined by the divisor M^: ^t = [M^], and S{t) = {Sj(Wj, t)} is a holomorphic section of ^ , over W.
236
5. Theorem of Existence
Fix r G A for a while. Since M^ = U^. Uj x t, if we put UjXt= Up, Up is a coordinate polydisk on M^. We denote the point ZjXte UjXt= Up simply by Zj, and consider z, = (z],..., zj) as the local coordinates on M^. If we put (Pj(Zp t) = (cp%Zj, 0 , . . . ,
the inclusion : M^ ^ W is represented on each Up c: Mf as ^:zj-^wj
= (pjizpt).
Put F,fc(z) = Fjj^i^iz), t),
z e Up n U^,
(5.39)
Then Ftjkiz) is a non-vanishing holomorphic function on Up n L/fcr, and from (5.38) we obtain immediately z e Uit n Up n 17^,.
Ftikiz) = Ftij(z) • Ptjkiz),
Therefore we can define a complex line bundle F^ on M^ with transition functions Ftju{z). Ft is the restriction of ^t to M^. In general when t moves, the complex structure of M^ as well as the position of M, in W varies. The change of the position of M^ is called a displacement. On each neighbourhood Wp Mt is given by the equation Sj(wp t) = 0. In order to define the infinitesimal displacement along d/dt for an arbitrary d/dt e Tf(A), consider the partial derivative dSj(wp t)/dt, and put
. / , , , ) - ( ^ ^ ) \
01
(5.40) / wj =
,pj(zj,t)
Applying d/dt to both sides of (5.37), we have =-Fji,iw, t)
—^ ot
+ ^^— dt
Skiw^, t).
at
Restricting these equalities to Mj we obtain (TjiZp t) =
Ftjk{z)(Tk{Zj,,t),
since 5fc(wfc, 0 = 0 on M,. This means that (T{t) = {o-j{zp t)} is a holomorphic section of F, over M^. Definition 5.5. (r(t)£H^{Mt, ^(Ft)) is called the infinitesimal displacement of the submanifold M, of codimension 1 of W, and is denoted by (aM,c
w)/dt.
§5.2. Number of Moduli
237
We denote by pd,t the linear map d/dt-^a(t) namely,
of r,(A) to /f^(M„ 0(Ft)),
Next we will consider the relation between the infinitesimal deformation and the infinitesimal displacement. Let T{W)t be the restriction of the tangent bundle T(W) of W to M^. T{W)t is a holomorphic vector bundle over Mf. Since the tangent space T^iMf) at zeM^ consists of all tangent vectors of W^ at z which are tangent to M,, the tangent bundle T{M^) = U^eM, TAM,) of M, is a subhundle of T ( \ ^ ) , = U.eM. T^W). A local holomorphic section ^ of T{ W)t is represented in terms of local coordinates as A=o
aW^-
where the coefficients v^{z) are local holomorphic functions on M,. Define Tj{Zj, t) for this ^ by
A=0
\
dWj
J ^. = ^.^^.^t>^
Then rj(Zj, t) is a holomorphic function on Uy, c: M^, and from (5.37) we obtain Tj(Zj,t)
= Ftjk{z)Tk{Zk,
t)
on ITy, n (7fc, T^ 0 . Therefore T ( 0 = {'7'j(2^j, 0} is a holomorphic section of F^ over M„ which we denote by ^S{t): ^S{t) = T{t).
(5.42)
^5(0 = 0, namely, ^5,(w„ 0 = 0 means that ^ = Y.x v";{z){d/dw^) e T,{Mt), namely, that ^ is a holomorphic vector field on M^. We denote by H^ the sheaf of germs of holomorphic sections of T{W),: 'E, = €{T{W),). e , = ^(T(M,)) is a subsheaf of S,. If we represent ^ e 0f as ^ = YJI = \ ^fi^/^^f) where Of is a germ of a holomorphic function, the inclusion map t: O , ^ S^ is given by
.:«=i»;^^i(i<.;^R, a=l
OZj
where aw.^/az/ =a(pj^(z,-, t)ldz'f.
A=0 \ « = 1
OZj J dW^-
(5.43.
238
5. Theorem of Existence
If we put ^ e S , in (5.42), we have T{t) = ^S{t)EO{Ft). Consequently ^^r(t) = ^S(t) defines a homomorphism Et-^O(Ft) of sheaves, whose kernel is 0^ as seen above. Thus we have the exact sequence
0->et-^Et^O{Ft)^0.
(5.44)
For a fixed t, choose local coordinates ( z j , . . . , zj) on M, and {wj,..,, wj) on W such that (p](zj, t) = 0, wj = (pj{zj, t) = z/ for a = 1 , . . . , n, and put Sj{Wj, t) = wj. If we write ^G E^ as
then
^=J^t;,^(^)ee,
and
rj(zj, t) = ^Sj(wj, t) = v^
Figure 2
Thus T(r) = ^S{t) is the normal component of ^ to M^. This is the meaning of (5.44). The exact sequence (5.44) gives the exact sequence of cohomology groups • ^ H%M,, E,) -> H'{M,, €{F,)) -^ H\M,,
6,) -> •
(5.45)
§5.2. Number of Moduli
239
Lemma 5.3. The relation between the infinitesimal deformation and the infinitesimal displacement is given by the following. Pt = d'^p,,,
(5.46)
Proof Since U^ = { L^ J is a finite covering of Mt, and each Ujt is a poly disk, d/dteTX^), we see from (5.2) that / / H M , 0,) =//HU,, ®r). For any Ptid/dt) is the cohomology class of the 1-cocycle {Ojk(t)} e Z^iUt, St), where
ot = \
oZj
at
while by Definition 5.5 the infinitesimal displacement is defined as PdA^/^t) = o-(t) = {o-j(Zj, t)}, where o}(z„ t) is given by (5.40). Consequently in order to show that pt(d/dt) = d^^p^jid/dt), by the definition of 5*, it suffices to prove that there is a 0-cochain {^j} with ^j e T{ Up, H J such that
^jS(t) = cTj{zj,t),
^jc-^j = ejM.
Suppose that Wj = gjki^^k) on Wj n W^. Then since ^ : Zj -^ Wj = (Pj{zj, t), we have on Up n U^t
t)),
Zf =ffk(Zk, t).
Differentiating both sides of this equality with respect to t as functions of z j , , . . . , Zfc, t, we have " (9wj^ dffdzk,t) a = idz"
^d(p^(zj,t)_
dt
dt
j^ dw^ ^=odwl
d(pl(Zk,t) dt
Therefore putting
^' xto
dwy
dt
on each Up, we have
A=0 \ a = l
OZj I bWj
Consequently by (5.43) Qik{t) =
^k-^r
On the other hand, differentiating the equality Sj{(pj(zj, t)) = 0 with respect
5. Theorem of Existence
240
to r, we have
11 A=0
dt
dSjjWj, dWj
dt
•Jl= 0,
Wj = (pj(zj,t).
Thus we obtain
mt)- =
o-j{Zj,
t).
We apply the above results to the case in which H^ = P""^^ with n ^ 2 , and Mf is a non-singular hypersurface of order h with h^3. We use the same notation as in (a)(iii) of this section. Let (fo, • • •, ^n+i) be the homogeneous coordinates on W = P""^^ and
a homogeneous polynomial of degree h in fo? • • • ? fn+i- ^t is defined by t{() = 0. Let A be a small polydisk in B = P^ — &. We assume for simplicity that to = 1 on A, and represent a point r G A by its non-homogeneous coordinates ti,..., t^. Thus we have
If we consider t{() as a function of ^ i , . . . , ^^, ^o, • • •, fn+i, the equation t{^) = 0 defines a submanifold of codimension 1 on \y x A, which we denote by M^: M^ = {U,t)eWx^\tU)
= 0}.
The projection W x A -» A induces a surjective holomorphic map tjr: M^ -^ A. Then {M/^, A, tir) is a complex analytic family and for each ^G A, m~\t) = MtXt = Mt is SL non-singular hypersurface on W. The projection Wx^-^ W induces a holomorphic map : M/^^ W. O restricted to Mt = MtXt<::- M^ gives the inclusion M^ ^ W. Thus (J^A, A, TJJ) is a complex analytic family of hypersurfaces on W. Let { W;} be a finite open covering of H^ = P"'^\ and w, = ( w ^ , . . . , wj) the local complex coordinates on W,. We assume that { Wj) and w, satisfy the following: For each j , there is an index ^{j) such that Cpu) ^ 0 on W), and we have w, = (w° . . . , w " ) = ( - ^ , . . . , ^ ^ ^ ^ , ^ ^ ^ ^ , . . . , ^ .
As above we assume that ^A = UJ=i t/jXA, and that
§5.2. Number of Moduli
241
to be given by ^:{zj,t)^wj
=
(pj(zj,t).
Since t{^) is a homogeneous polynomial of degree h in ^o, • • • ? ^n+i, if we put
Sj(Wj, 0 is a polynomial of degree at most h in w],..., gives a minimal equation of M^ in Vl^. Since Sjiwj, t) = Fj,(w)S,{w,, t),
w", and 5,(Wy, 0 = 0
Fj^(w) = ( ^ )
,
(5.47)
\b/3(7)/
the complex line bundle ^t = [^t] depends only on the degree h and is independent of t. Let F be the complex line bundle over W with transition functions Fjj^{w). Then F = [MJ. Further let E be the complex line bundle over \y = P"^^ with transition functions Ej)^(w) = Cpik)/ipu)- Then h times
Let Poo be the hyperplane ofW = P"""^ defined by Co = 0. Then E = [PoJ. Put
Each 5A(^) is a monomial of degree h in ^o,...,
C^+i- Therefore if we put
S;^j(Wj) is a monomial of degree at most h in w ^ , . . . , wj, and on WJ n W^ T^
0, ^A,(W,) = F,-,(>V)5,,(H;,)
(5.48)
holds. Consequently S^ ={Sxj(Wj)} is a holomorphic section of F over W, namely, 5;, G H^(\y, ^ ( F ) ) . We denote by Ft the restriction of F to M^c: W. By (5.39) Ft is defined by the transition functions Ftjk(z) = F}fc(<|)(z)) with z e Up n Ukt- Putting 0-xj(Zj,t)
=
S;,ji(Pj(Zj,t)),
242
5. Theorem of Existence
we have from (5.48) o-xjizj, t) = Ftjk(z)ak(zk, t) on Up n Ukt ^ 0 . Consequently (Jx{t) = {o-;,,(z„ i)} e H\M,, nition 5.5 of the infinitesimal displacement, it is clear that P . . ( ^ ) = ^ ^ = - . W , Lemma 5.4. {cr^{t),...,
€{F,)).
By Defi-
A = l,...,^.
(5.49)
0-^(0} forms a basis of H^(Mt, 0{Ft)).
Proof The sheaf €{Ft) is the restriction of €{F) to M,c: W. Denoting the restriction map by r^, since [ M J = F, we have ker r^ = 0'(F®[MJ"^) = ^. Hence the sequence 0->O^€{F)^OiF,)-^0 is exact. In the corresponding exact sequence of cohomology groups 0 - • H% W, 0) - • H% W, 0{F)) ^ H%M„ €(F,)) -> H\W, H^(W, 0) = C, Sind H\W, 0-^C-^
0)-^---,
€) = 0. Thus we obtain the exact sequence
H%W, 0{F)) ^ H%M„ 0{F,)) -> 0.
For 5x G H% W, 0(F)), we have rtSx = o-M,
A = l,...,/x,
and for S{t) = {Sj{wj, t)}e H\W,€{F)), r,S(t) = 0. Therefore to prove Lemma 5.4, it suffices to show that {S{t), Si,..., S^} forms a basis of H^iW,0(F)). For this it suffices to verify that any s = {sjiwj)}e H^{W,€{F)) is represented by some homogeneous polynomial s{^) of degree /i in ^o, • • •, L+i as 'j(^j) = [ ^ )
-'(O-
(5.50)
For, s{() is a linear combination of t{^), S i ( ^ ) , . . . , 5^(^). Since {s,(w,)} is a holomorphic section of F over W, each Sj{wj) is a holomorphic function on Wj, and on Wj n W^
"'MtJ ,
,
MO)/
s^iw,,)
(5.51)
§5.2. Number of Moduli
243
holds. We haveP"^^-Poo = C"'^\ and putting z« = f,/^o for a = 1 , . . . , n + 1 , we have complex coordinates ( z j , . . . , z„+i) on C"'^^ Since by (5.51) on W;-n ^fc n C"^ V 0 , we have
there is a holomorphic function giz^,...,
z„+i) on C""^' such that on each
g(z„...,z„,,) = ( ^ )
-sjiwj).
(5.52)
Let oo
g(zi,...,z„+i)= X
gk(zu...,z^+i),
fc = 0
where gfc(zi,..., z„+i) is the homogeneous part of degree k of the power series expansion of g ( z i , . . . , z„+i). Take an arbitrary point p = (0, ^ 1 , . . . , L+i) on Poo. Then ;? belongs to one of W/s. Fix f i , . . . , f„+i for a while. If we take E > 0 sufficiently small, then for 0 < |^o| < ^, we have
\
ho
bo /
Therefore by (5.52) we have ^0 I fc-0
=^PU)'SjW-
Jk ^0
As a function of ^o, the right-hand side is holomorphic on |fo|<^- Consequently we must have gkUu • • •, ^n+i) = 0 for k^h-^l. Since ^ i , . . . , ^„+i are arbitrary, g ( z i , . . . , z„+i) is a polynomial of degree at most h in Z i , . . . , z„+i. Therefore if we put
\bO
bO I
5(f) is a homogeneous polynomial of degree /i in fo? • • •, f«+i, and (5.50) follows from (5.52). I We consider the exact sequence (5.44): 0^e,^H,->(^(F,)^0
244
5. Theorem of Existence
for M, c: W = P " ^ \ Let S = 0{ T( W)) be the sheaf of germs of holomorphic vector fields over W. Then H^ is the restriction of H to M^. Let r^ be the restriction map. Then since [M,] = £ ^ ker rt = E®E~^ = OiT{W)®E~^). Thus 0 - • H® E~^ -> S -X H, -> 0
(5.53)
is exact. Lemma 5.5. Except in the case n = 2, h = 4, we have H^(P"''^ H® £-^) = 0,
^ = 0, 1, 2.
Proof. Put T= TCP"""'). Then S x £ - ' = 0{T®E-''), of T®E-'' is T*® JB^ Hence by (3.155),
and the dual bundle
dim H^(P"^^ H ® £ - ' ) = dim //"^^-^(P"^\ a " ^ H ^ * ® ^ ' ) ) . Putting K = A"""' T*, we have n''^\T''®E'')
= €(T''®K®E'')
=
n\K®E''),
while the canonical bundle K of P"^^ is iB"""l Therefore dim
JF/^(P"^\ S ®
£ - ' ) = dim H"^^-^(P""'\ OH^'"""^)).
(5.54)
Since we assume that n ^ 2 and /i ^ 3, Lemma 5.5 follows immediately from following Bott's theorem. I Theorem 5.2 (Bott [1]). / / ^ ( P " ^ \ a ^ ( £ ' ' ) ) vanishes except for the following cases: (i) p + q and /c = 0, (ii) q = 0 and /c>/?, (iii) g = n 4-1 and A: < 0 - n - 1. Thus except for the case n = 2, /i = 4, in the exact sequence of cohomology groups induced from (5.53): 0-^ H\W,E®E-'')-^
H%W,E)^
H\M,,E,)
->H\W,E®E'-^)-^"' we have H^W,
S ® £"^) = 0 for ^ = 0,1, 2. Hence H%W,E)^H%M,E,),
and
(5.55) H\W,E)
=
H\Mt,E,).
§5.2. Number of Moduli
245
Also from (5.54) and Theorem 5.2, we have H\P"^\
S) = 0. Hence
An automorphism of \ ^ = P"'^^ is a projective transformation, and the set ® of all of them forms a Lie transformation group of W with dim @ = (n + 2 ) ^ - 1. Since H^{ W; S) is the Lie algebra consisting of the infinitesimal transformations of @, we have dim H\W,E)
= {n-\-2f - I.
Hence from (5.55) we have dim H\M,,
S,) = (n + 2 ) ^ - 1.
(5.56)
In the exact sequence of cohomology groups induced from the exact sequence 0 ^ 8^ ^ H^ ^ ^(Ft) -^ 0, we have H\Mt, S^) = 0. Also we can prove that H^(Mt, St) = 0 (see [21], p. 406, Lemma 14,2). Therefore the sequence 0-> H%M,, S,) ^ H^(M, 0{F,)) -> H\M,,
6,) -> 0
(5.57)
is exact. By Lemma 5.4, dim H^{M,, ^(F,)) = /JL. Therefore by (5.56) d i m / f H M „ 0 , ) = m = / x - ( n + 2 ) ' + l = ( " ' ^ ^ ^ J - - ( n + 2)^ Thus we obtain (5.21). For a projective transformation ye®,
define
Then y: t^yt is a projective transformation of the parameter space P^. Since S,( w,, t) = (1/f/30))^^(f), if 7 belongs to a sufficiently small neighbourhood of the identity of @, we have Sj{wj,yt) = Sj(y-'wj,t)
(5.58)
for WJEWJ and t = {\, ti,..., t^)e^. We denote by X L i ^A(^) ^/^^A the infinitesimal transformation of A determined by the infinitesimal transformation ^e H^iW, H) of ®. Since f is a holomorphic vector field on W, ^ is written on each WJ as ^ = ZA=O ^J(^j) d/dwf. From (5.58) clearly we have
A=i
dh
246
5. Theorem of Existence
Substituting Wj = (pj(Zj, t) and denoting the restriction of ^ to M^ by ^^G H^(M„ H,), we obtain from (5.41) and (5.42) the equality — ]=^t^i^)' 'A'tj
Z Ut)PdA A= l
(5.59)
This equality implies that if Zr=i ^ A ( 0 ^/^h = 0 for a point r G A, we have ^tS{t) = 0. On the other hand, f, ^ ^,(5(0) gives the injection H^(M„ H,) -^ H'^iM,, €{F,)) in (5.57). Therefore ^,S{t) = 0 implies ^, = 0, hence by (5.55) we have f = 0. Thus if ^ 9^ 0, I^^^ ^^(0 ^l^h ^ 0. This proves that for any te A, the map y-^ yt is a biholomorphic map on a sufficiently small neighbourhood of the unity of ®. Fix an arbitrary point t^ e A, and take a sufficiently small neighbourhood U of the unity of ®. Then y^ yt^ maps U biholomorphically onto U/^c A. U f ^ is a domain of a submanifold of dimension (n + 2)^ — 1 of A containing t^. Since /jL = m + (n+2)^—l, rearranging ti,..., t^ if necessary, we may assume that the coorcjinate plane tm+i = ^m+i, • • •, ^^ = ^^ through t^ intersects with Ut^ transversally at t^. If we take a polydisk with centre t^: t / = { ( ^ 1 , . . . , tm. tl^u
• > • , tl)\\t,-
t'llK
e, , . , ,\tm-
tl\<
S},
the map (% 0 ^ yt maps UxU biholomorphically onto the neighbourhood U t/ cz A of f^ provided that e > 0 is sufficiently small. Consider the restriction (Mu, U.vj) of {M^, A, XET) to t/ c A, where Jtu = tu~\U). Since 111/ is biholomorphically equivalent to UxU, we have TXA)=T,{nU)=T,(nt)^T,{U) at each point te U. Let e be the unity of ®. Then the tangent space Te(U) of U at eGU is H\W,E):
TM)
= H%W,E).
Therefore T,(nt) is isomor-
phic to H%W, S). The isomorphism H%W, E)-^T,{Ut)
is given by
Ot;^
A= l
By (5.59) we have PciAv^) = ^tSit). From this and (5.46), (5.57), we see that the diagram 0
> H%M,,E,)
> H\M,,€{F,))
-^H\M,,%,)
•O (5.60)
^^"""^^
0—*
//"(W.H)
— U r,(A)
pf
§5.2. Number of Moduli
247
is an exact commutative diagram. In this diagram, p^ ^ is an isomorphism by (5.49) and Lemma 5.4, r^ is an isomorphism by (5.55) and r]H^{ W, S) = TtiUt). Consequently since Tt{^)= T,(nt)-hTt(U), p, maps T,(l/) isomorphically onto H\Mt,St). Thus the complex analytic family {Mu, U, m) is effectively parametrized and dim H\Mt, St) = ^- Therefore the number of moduli m(Mt) = m of each M^ = V7~\t) for te U is equal
to dim H\Mt, St). Since t^ is an arbitrary point of A, and A <= B is an arbitrary sufficiently small polydisk in B, we have proved that except for the case n = 2, /i = 4, the number of moduli m(Mt) is defined for any non-singular hypersurface M, of order h in P"^^ and that m{Mt) = dim H^M^, ©,). In case n = 2, /z = 4, as stated before, we have m = 19 and dim H\Mt, @ J = 20. Also in this case we have the following exact commutative diagram similar to (5.60) 0 - ^ H^(M„ S,) —> H\Mt,
0—>
OiFt)) -^H\Mt,
6,) - > H^M^, H,) —> 0
H\W,E)
But H^{Mt, S^) 7^ 0 in this case. Since in the exact sequence of cohomology groups induced from (5.53) we have H\P^, H) = H^{P^, S) = 0, we obtain H\Mt,Et)^H\p\E®E-''), Consequently by (5.54) dimffHM„H,) = d\mH\p\[l^), while H\P\n^) belongs to the exceptional cases (i) of Bott's theorem, and actually we have dim H^{P^,Ct^) = l (see p. 175). Therefore dim /f'(M„ e,) = m + 1 = 20. At first we could not find the reason why the case n = 2, h = 4 is exceptional. Then S. Nakano, who stayed at the Institute for Advanced Study at Princeton at that time, pointed out that in this case the complex analytic family (M, B^m) is not complete. Actually taking the hypersurface ^o + ^?+ ^2+^3 = 0 of Fermat type as M^, he showed that M^ is an elliptic surface and, using the theory of elliptic surfaces ([14]), proved that there is a complex analytic family {7V„|MGC} with No= Mf of deformation of M, consisting of elliptic surfaces such that for any given e > 0, we can find a non-algebraic surface N^ with |M| < e in this family. From this result, we considered that the reason why the number of effective parameters m = 19 of the complex analytic family {M, B, m) for a quartic surface in P^ is less than dim H^(Mt, B^) = 20 would be that M does not contain all possible deformations of M^, and so we expected that the number of moduli m(Mf) of M^ could still be defined in this case and equal t o d i m / / ' ( M „ @ , ) = 20. Next we studied hypersurfaces on Abelian varieties ([21], §14(6)). We explain them briefly below. Let A = A""^^ be an (n +1)-dimensional Abelian variety with n ^ 2 . A is a submanifold of some projective space P^. For a
248
5. Theorem of Existence
general hyperplane P of P^, M = A n P is a non-singular hypersurface on A Given a complex analytic family {Mt\te B} of this hypersurface MQ = M with 0 G J 5 C : C ' " , there exists a complex analytic family of deformations {At I ^ G A} of Ao = A with M^ c: A^ provided that A is a sufficiently small polydisk with 0 G A c: R A^ is a complex torus, and M^ ci A, implies that At is an Abelian variety. The number of moduli of Ao = A"^^ as a complex torus is equal to (n +1)^, but if we only consider deformations of AQ which are Abelian varieties, its number of moduli reduces to (n + l)(n + 2)/2 since their period matrices must be Riemann matrices. In view of this fact we suspected that the number of moduli m{M) of M would be smaller than dim//^(M, 0 ) , but the computation showed that m(M) = dim//^(M, 0 ) also in this case. Of course the decrease of the number of moduli of At does not necessarily imply m(M) < dim//^(M, B), but at that time this result seemed surprising to us.
§5.3. Theorem of Existence In the preceding section we have seen that for several examples of compact complex manifolds M, the number m{M) of moduli of M is equal to dim//^(M, @). As stated in (a) of the preceding section, if m{M) = dim f/^(M, 0 ) , for an arbitrary ^ G //^(M, 0 ) , there exists a complex analytic family {M, B, W) with OG 5 c C satisfying the following conditions: m-\0)
= M,
i—rA \ dt
=0,
where
Mt = v7-\t).
(5.61)
/t^o
Since at that time we could not find no example M with m{M)?^ dim //^(M, 0 ) , we expected that for any given compact complex manifold M and any de H^{M,S), there would exist a complex analytic family (M, B, m) satisfying (5.61) but for some exceptional cases. (a) An Elementary Method We first tried to prove the theorem of existence by an elementary method, using power series expansion. We state it in this section, for, although we did not succeed in proving the theorem by this method, this was an important step in the development of the theory of deformation. In order to prove the theorem of existence, it suffices to take as J? a disk A = {r G CI U| < r} of sufficiently small radius r > 0, and construct a complex analytic family of the form (4.27) /
§5.3. Theorem of Existence
249
satisfying (5.61). Here each Uj is a polydisk in C" and Ji is the complex manifold obtained by glueing the domains U, x A, 7 = 1 , . . . , / , by identifying {zj, t) eUjXA and (z^, t)eUj,xA if zf =fjUzk, t). fjUzk, 0 = ffk(z\,..., Zfc, 0, a: = 1 , . . . , n, are holomorphic functions defined on the open subset U^ x A n L^ x A of the domain 14 x A of M. We call these holomorphic functions/^^(z^, t) the defining functions of M. These functions must satisfy the following compatibility conditions: On (7^ x A n L^ x A 7^ 0 , frjc(z,,t)=f^(fj^(z,,t),t).
(5.62)
Since by (5.61) M = m~'\0) = U]=i Uj xO, identifying Uj with Uj xO, Uj is considered to be a coordinate polydisk on M and Zj = {z],..., z") are considered to be local coordinates of M defined on Uj. If we expand/,^(zfc, t) into the power series in t as 00
mzu,t)=lfrk\A^^K,
(5.63)
t/ze coefficients f^\j,(zk) are holomorphic functions defined on the open subset UknUj9^0 of the coordinate polydisk ^4 on M. On L^ n Ui^= UjXOn t/fcXO, we have z" =/^^|o(zfc). Thus z" =/,^|o(zfc) gives the transformation of local coordinates of the complex manifold M Therefore we may consider that the coefficient f^k\o(^k) of t^ in (5.63) is given with M. In order to construct a complex analytic family Ji = Uj=i ^^^ with tiT~^(0) = U^._i U, xO = M, it suffices to give the defining functions/j^(zfc, t) of M. For this, since/j^|o(zfc) =f^ki^k, 0) are already given, we only have to determine the coefficients ffk\v{zk), ^ = 1 , 2 , . . . , of (5.63). The defining functions of M satisfy the equalities (5.62): fUzk. t) =frj(fjk(Zk, 0, 0 ,
a - 1 , . . . , n.
Hence the coefficients f]l\^,{zi^), ^ = 1, 2 , . . . , must be determined such as 00
fMzk,t)=ffk\oiZk)^ I frkUzk)t^ satisfy these equalities. For a given cohomology class 6 e H^(M, 0 ) , take an arbitrary 1-cocycle {Oj}^}eZ^{{Uj}, ©) belonging to 0, and write Oj^ in the form
250
5. Theorem of Existence
Since Z I ^
'
I
7~^= I /jfcliC^k)!-^,
if we put /jk|l(^k) = ^jk(Zk),
Zj
the infinitesimal deformation of M^ = U^.^j ^^t
=fjk\o(Zk),
is by the definition (4.15),
/dM\
\ dt A=o Therefore in order to construct a complex analytic family ^ = U^^i ^^^ satisfying (5.61), it suffices to put fjk\i{zk) = ^fk(Zj) first and to determine fjicU^k), ^ = 2, 3 , . . . , such that they satisfy (5.62). For simplicity, putting fjkiZk, t) = (fjkiZk, 0 , . • • ,fJk(Zk, 0 ) , and fjk\v{Zk) = {fjk\viZk), . . . ,fJk\AZk)), and using vector notation, we write (5.63) in the form oo
fjkiZk,t)=lfjkUzk)t\
(5.64)
In general for a power series in t oo
p ( 0 = Z p . r = Po+p,f+---, we put p-(t) = Po-^Pit+- • • + P , r . Further for two power series P{t) and Q(t), we write P{t) =^Q{t) if P ( r ) ^ Q ( 0 ( m o d r ' " 0 . Thus P(r) = , Q ( 0 just means that P " ( 0 = '(0. The coefficient of r'' in the power series expansion of f^jifjkizk, t), t) in t is a polynomial of the functions ftj\^{Zj), ffki^j^izk), IJL = 1,. .. ,v, p = 1 , . . . , n, and their partial derivatives, while we have Zj =fjk\o(zk)' Hence the coefficient of ^"^ is a holomorphic function defined on the open set l[4 n UjCs Ui9^0 on M, and (5.62) is reduced to the system of infinitely many congruences fjkizk, t) - Hjifjkizk, r), r),
^ = 1,2,....
(5.65).
§5.3. Theorem of Existence
251
As Stated above, yjfc|o(^k) are given with M. Also we have putyjfc|i(^fc) = 6jk{zj) with Zj=fjk\o{zk)' Then we can verify (5.65)i easily as follows. f]jifjk(Zk, t), t)=f]j{fjj,lo(Zj,)+fjj,li{Zk)t, =
t)
fy\o(Zj+fjk\liZk)t)-^fij\l(Zj-\-fjk\i(Z},)t)t n
= fij\o(Zj)-^ 1
Q
Z 13 = 1 dZj
—pfij\o(Zj)'fjk\l(Zk)-^fij\liZk)t,
^NhilQ fijio(Zj) =fik\o{zk)' Hence if we put zf =/^|o(z,), (5.65)i is equivalent to the equality
frk\i(zk)=fh{zj)+ i
^^ffk\i{zk\
namely, n
^
n
Z fnc\i{Zk)—^= a=l
OZi
d
^
d
Z f?j\iiZj)—^-^ Z ffk\iizk)—-p' a=l
OZi
13 = 1
dZj
If we put^fcii(zfc) = djk(Zj), the last equality follows from the fact that {^^^(^j)} is a 1-cocycle. We consider the vector y;fc|^(zfc) = (/]fc|^(zfc),... ,/Jfc|^(zfc)) as the holomorphic vector field on Uj n Uk'.
fjk\i^ =
Z fjk\i^(Zk) a=l
T~^ OZj
if necessary. On each UknUjT^ 0 , we determine fjk\Azk), ^ = 2, 3 , . . . , by induction on p. For this assume that on each Ukn Uj9^0, fJk\Zk.
t)=fjklo{Zk)+'
'
•+fjk\.-l{Zk)t''~'
is already determined in such a way as the congruence (5.65) ^_i
/r'(z., t) - fr\fj^\z,„ t), t) v—l
holds and consider (5.65)^:
fik(Zk,t)^f-jifJ,iz„t),t). For simplicity, we write fjkiz^, t), fjk\Azk), etc., as /JfcCt), ^ | ^ etc., respec-
252
5. Theorem of Existence
lively. Then the right-hand side of (5.65)^ is written as
=fv\rjk\t)+fMX,t)+MAfww. Putting Zj + {, = {z] + f ] , . . . , z" + ^j') and expanding each component of the vector/|J~^(z; + f^, t) into the power series in ^ ] , . . . , fj', we obtain
Putting zj=fjk\t) Tlnfij dZj
and Cj=fjk\J\ since ifjk
( 0 ? ^jfj^v^""
= T~Bfij\0\fjk\o)fjk\v^ ^ dZj
•>
we have
/r'(/jrHo+y;.i.f'',o=/r'(/;r'(o,o+ i A/>io(y;
On the other hand, clearly we have
filUfJk{t))t''^f,lAfMo)t''=fyUzj)t''. V
Therefore (5.65)„ is reduced to
^^1dZJ
Since by hypothesis (5.65)j,_i holds, the power series expansion of the left-hand side of this congruence begins in the term of degree v in t. If we put the coefficient of t"" as ryfc|^(zfc), we have f\k\zk. t)-nr\f-\z^,
t), t) - r^.,|.(z,)r,
(5.66).
§5.3. Theorem of Existence
253
hence, (5.65)^ is reduced to the equality " dz^ijk\Azk)= Z T-^ffkw(^k)-fik\A^k)-^fij\AZj)'
(5.67)^
j8 = l OZJ
Here Zj,, Zj = fj^ioi^k) and z, =yy|o(z,) =/fc|o(zfc) are local coordinates of one and the same point of M contained in U^n Ujn Uf. Each component r^fc|^(zfc) of the vector Tyki^iz^) is a holomorphic function defined on the open set t/jO UjnUk7^0 of M. The equaUty (5.67)^ is written in terms of the components as Ttjk\Azk)= 1 —^ffk\.(Zk)-ftk\.{zk)+fy\Azj),
a=
l,...,n.
Using vector field notation, we can write it in the form
Zr^fci^(zfc)—^=X/ffc|v(zfc)—^-I/r/c|v(^fc)—^+Z/?!^(^/c)7Ta
dZi
p
dZj
OZi
ct
a
OZi
Therefore putting Ty-fcli. = Z r^fc|l/(^k) T~^5 a
OZi
fjk\0 = llfjk\p\^k) /3
7~flJ • • • ? OZj
we can write (5.67)^ as ^ijk\v=fjk\v-fik\v-^fij\v' (5.68)^ Thus if (5.65)^_i holds, (5.65)^ is equivalent to (5.68)^. If we consider {fjk\v} as a 1-cochain on the finite open covering U = { Uj] of M, the right-hand side of (5.68)^ is equal to its coboundary 8{fjk\^}. In our case, however, although^;y|^ = 0, ^ ^ 1, sinceyj^(zy, t) = Zj are independent of ^,fkj\p =fjk\u ^o not necessarily hold. In view of this we extend the definitions of l-cochains, 2-cocycles, etc., as follows. Let 5^ be an arbitrary sheaf over M. Suppose that for each pair j , k of indices with L^ n [4 T^ 0 , a section a}^ e r ( U, n U^, 5^) is assigned. If CTJJ = 0 for every j , the set c^ = {o}^} of these o-j^ is called a 1-cochain on U = { Uj}. Similarly suppose that each triple i,f k with Utn Ujn 17^9^0, a section o-yfc G r ( L/j n Ujn L4, S) is assigned. If au^ = cTij^k = 0, and on each Uhn UiO
UjnUk9^0 <^ijk ~ <^hjk + ^hik ~ ^hij — 0
holds, the set c^ = {c7yfc} is called a 2-cocycle on U. We define the coboundary of a 1-cochain c^ = {0}^} as ^c^ = {'^i/fc},
Tijk = o-jk = o-jk - o-ik + o-ij.
254
5. Theorem of Existence
It is easy to verify that the cohoundary 8c^ is a 2-cocycle. Let C^(U, Sf) be the Abelian group of all 1-cochains c^ and Z^(Vi, 5^) that of all 2-cocycles c^. Then 6C^(U, 5^) is a subgroup of Z^(U, 5^). The quotient group
H\n, ^) = z\n, s/')/8c\n, ^)
(5.69)
is called the 2-dimensional cohomology group of U with coefficients in 5^. With this notation, (5.68)^ is written as {Tijjc\.} = HfM.h
(5.70).
Lemma 5.6. {Tyki^} is a 2-cocycle on 11: {r,-,|jGZ^(U,e). Proof. Using vector notation, we must prove that ll~~^^fjk\j^{zk) -^ hjk\v(Zk) -^T hik\A^k) -^ hij\A^j) = 0.
(5.71)
Here we put z^ = ( z j , , . . . , z^), and Zh = fhk\o{Zk)- For simplicity we write ^hijk\., rhk\t), etc., instead of Thjk\.izk), fhk\zj,, t), etc., respectively. By (5.66). we have ^hik\vt'' =fhk {t)-fhi
(/iTc" ( 0 , 0 ,
T,MX=rkk\t)-rki\fjk-\t\
t),
hence, r,.fc|.r-r,,,|.r'' =/;;r'(/-'(o, o-/hr'(/,T'(0,0Substituting Zj =fjj^^(t) into the congruence
we obtain
Further since
§5.3. Theorem of Existence
255
we have
where Zh = fhi\oifv\oifjk\o(zk)))
=fhi\o{Zi)- Hence
a^lOZi
Therefore we obtain
a = l oZj
Thus (5.71) holds.
I
We denote the cohomology class of the 2-cocycle {Tyki^jeZ (U, 6 ) by r^ G H^(Vi, @). As stated above, when/Jfc"^(zfc, 0 satisfy (5.65)^_i, the system of congruences (5.65)^ is equivalent to the equality (5.70)^: {Ty^i^} = 8{fjk\r,}. Therefore in order to determine/Jfc(^fc, 0 such that (5.65)^ holds, it suffices to determine the 1-cochain {fjk\v} e C^(U, O) such that S{fjk\^} = {Tijk\^}. First suppose r^ = 0. Then if we take an arbitrary 1-cochain {CTJ^} e C\U, B) with {ryfc|^} = 6{o)fc}, and put ^fc|i/= ^jfc, (5.65)^ holds. If F^^O, there exists no 1-cochain {o}^} with {Tijk\^} = 8{ajk}, hence we cannot determine {fjk\u} such that (5.65)^ holds. In this sense we call F^ the obstruction to deformation of M We always have Ty-fcii =fik\oiZk) -fij\oifjk\o{^k))
= 0,
hence Fi = 0. Therefore we call F2 the first obstruction, and F^+i the ^th obstruction. Here note that F^ is not defined unless (5.65)^_i holds, since {^ijk\p} is defined by the congruences (5.66)^
In other words, unless F2 = 0 , . . . ,F^ = 0, F^+j is not defined. Moreover even if F2 = 0 , . . . , F^, = 0, Fj,+i depends in general on the choice of {fjk\v} with 8\fjk\r.} = {Tijk\A, hence, it maybe that F^+j 9^ 0 for one choice of {fjk\j.}, and F^+i = 0 for another. Thus it is very difficult in general to see whether we can determine {fjk\v} such that the congruences (5.65)^ hold for all ^ = 2,3-.--
256
5. Theorem of Existence
In case H^{U, 0 ) = 0, however, since Z\U, 0 ) = 8C^{Vi, S), we can determine 1-cochains {fjk\i.} successively for p = 2,3,... in such a way as 5{yjfc|^} = {^ijk\i^}' Thus we can determine power series oo
/jL(zfc,0= I/j)c|.(zfc)r v= 0
satisfying the equahties (5.62): fUzj., t) ^fUfjkizk,
0, 0,
a = 1 , . . . , n.
If ail these ffki^k^t) converge, then on a sufficiently small disk A = {r G C| Ir| < r}, ffk(zk, t) are holomorphic functions on (L^ n L4) x A, hence, the existence of a complex analytic family (Ji,B,vT) satisfying (5.61) is proved. But there are infinitely many choices of 1-cochains {fjk\u} with ^{fjk\j.} = {Tijk\v} for each z/ = 2, 3 , . . . , and ffki^k^t) do not converge in general for arbitrary choice of {fjk\v}. Thus we have to show that the power series fjk(^k,t)=
i
fJk\AzkW
converges if {fjk\v} are suitably chosen. But for all our efforts, we could not prove the convergence. Thus we did not succeed in proving the theorem of existence by an elementary method. Although we failed to prove the theorem, we proved that, in case H^(U, 0 ) = 0, there exist formal power series fjk(Zk,t)=
I
fjk\v{Zk)t"
in t satisfying the fundamental equations/^(^/c, t) — fijifjk^^k, 0? 0- As will be shown below, H\M, 0 ) = 0 implies H^(ll, 6 ) = 0, hence, ifH^iM, 6 ) = 0, the fundamental equations fikizk, t) = fj{fjk{zk, t), t) have formal power series solutions. This gave some hope that, if /f^(M, 6 ) = 0, there might exist a complex analytic family (Jt, A, m) satisfying the conditions (5.61): m-\0)
= M,
(-jT-^)
=0,
(^A=o~''
M, =
m-\t)
foiany eeH\M,e). We now give proof of the fact that H\M, e) = 0 impHes H^{U, @) = 0. Proof By a local C°° vector (0, q)-form we mean a local C°° section of the vector bundle T{M)®/\^ f'^(M) over M where T{M) is the tangent
§5.3. Theorem of Existence
257
bundle of M A C°° vector (0, ^)-form ip is written as ^ = l L i ^Ji^/dzJ) where ifjj are C^ (0, ^)-forms. We denote by ^ ^ ' ^ ( r ( M ) ) the sheaf of germs of C°° vector (0, ^)-forms over M. Since (d = €{T{M)), by (3.106) we have
H\M, @) ^ r(M, 5^^''( r(M)))/ar(M, j?/^'^ T(M))).
(5.72)
Let {pj} be a partition of unity subordinate to U = { Uj], Take an arbitrary 2-cocycle {^yfe}GZ^(U, @). By the definition of a 2-cocycle, we have ^ijk — ^hjk ~ ^hik + ^hij-
Multiplying by ph, and taking the summation with respect to h, we obtain ^ijk — ^jk ~ ^ik + ^ip
^jk — Z Ph^hjkh
Each ^jk is a C°° vector field on l/jnUk?^ 0 . Since a^y^ = 0, we have d^jk =
d^ik-d^ij,
hence d^jk = ^ k -
^p
^j = Z
Pid^ir
Here each i/r^ is a C°° vector (0, l)-form on Uj. Since 5i//[/ = dil/k on L^ n L4J there is a_5-closed C°° vector (0, 2)-form cp e T{M, dsd^'\T(M))) on M such that (p = dif/j on each U,. Since H^{M, ©) = 0 by assumption, by (5.72) there is a C°° vector (0, l)-form if/ e r ( M , J2/°''(T(M))) such that ^ = dil/. We have d{il/j - ij/) = 0 on each L^, while ^ is a polydisk. Therefore by Dolbeault's lemma (Theorem 3.3), there is a C°° vector field rjj on U; with ^J-\IJ = drjj. Then since 5^jfc = ^k-^j
= dVk-
drjj,
putting ^jfc = ^7k -Vk-^
Vp
we have 56>yfc = 0, hence Oj]^ is a holomorphic vector field on Uj n L4. Moreover ^^y;, = 0 implies |y = 0, hence Ojj = 0. Clearly we have ^ijk — ^jk ~ iik + ^ij == ^jk ~ ^ik + ^ifo
which implies that {^y7c} = 5{6>fc}, with 0. I
{(9,JG
C'(U, ©)• Thus H^(U, 0 ) =
In §5.1, we define the primary obstruction [6, 6], We have [0, ^] = 2r2.
258
5. Theorem of Existence
Proof. Since Z^(U, e ) c : Z^(U, ®), C^U, 0)c= C^U, 0 ) , and, as is easily seen, Z'(U, 0 ) n 5C'(U, 0 ) = 8C\Vi, 0 ) , we have //'(U,0)^H'(U,0). Consequently in order to prove that {6, 61 = 2^2, it suffices to show the existence of a 1-cochain {TJ^}^ C ^ ( U , 0 ) such that
By (5.66)2, we have
hence ryfc|2(^k) is the coefficient of t^ in -f]jif]k(^k, t), t). Since fljifjkit),
t)
=fij\o{fjk\Q-^fjk\\t)+fij\l{fjk\0^fjk\lt)U
putting Zi =yy|o(z^), Zj=fjk\o{zk), we have ^ ijk\2-
^ L z p^y^i
^B^^yJjk\\Jjk\\ dZj oZj
L ^BJjk\\' p = i dZj
Therefore, since fjk\i ~ ^jk-> we have 2ryfc|2 = - Z ^JkOfk _ y ' fi ~2^jfc • ^y
\ p dZJ
I
13 dZj
while Xp (5z,./azf )0ffe = e,fc - 0,y. Hence 5z2ryfc|2 = Z T~;8 ^Jfc ' ^jk ~ ^jk ' ^ik - ^jk ' ^ij' p dZj
Since [(9y, Oj^] = [% 60,] = Oy • Oik - Oij, • % we have dz^^ijk\2
~ [ ^ip ^jk] = Z r~J8 ^7fc * ^jfc ~ ^ik ' ^ik + ^i/- • ^ijP dZj
Thus putting TJJ, = Z^ ^jk' Ofk{d/dzf) on each L/j n 11^9^0, we obtain
§5.3. Theorem of Existence
259
Let N be a 2-dimensional complex torus. Then the product M = P^ xN gives an example for which there exists a 6e H^{M, S) with [6, 0]7^0. If the number of moduli in the sense of Definition 5.4 is defined for this M = P^ xN, we would have m ( M ) < d i m H^(M, 6 ) since there is a ^ G H\M, 6) with [^, ^] 7^ 0. But for the number of moduli m{M) to be defined for M, there must exist an effectively parametrized and complete analytic family {M, B, m) with 0 e B c: C'" such that m~\^) = M. For M = P'xN, such a family does not exist. This is verified as follows. Suppose that such a family (M, B, m) exists. The set of the infinitesimal deformations po{d/dt) = {dMt/dt)t=.o of Mt = v7~^(t) at t = 0 forms a vector space po(To{B))c: H\M, e ) . As stated in §5.2(a), if 0, rj e po( To(B)), [0,rj] = 0. Consider two complex analytic families (Jix^^^'^x) with tzr^^(0) = M and A^ = {5 G C11^1 < r} for A = 1, 2, and let 9^ = {dm^^{s)/ds)s=o be the corresponding infinitesimal deformations at s = 0. Since {M,B,m) is assumed to be complete, taking a sufficiently small disk A^ with r > e > 0, we may assume that both (tn-A^(Ae), A^, mx),\ = 1,2, are complex analytic families induced from {M,B,m). Therefore by (4.30), e^epo(To(B)) for A = 1,2, hence [^i?^2] = 0- But for M = P^xN, there exist complex analytic families iJt;,,^^m^), A = 1,2, with m^\0) = M such that [^1, ^sJ^O ([21], §16). Thus the number of moduli m(M) is not defined. At that time we had no example M of compact complex manifolds whose number of moduli m(M) is defined and yet m{M) 9^ dim H^{M,S). In view of this we made the following conjecture. Conjecture. Let M be a compact complex manifold. If the number of moduli m{M) of M is defined, m(M) is equal to dim H^{M, B). Our paper "On deformations of complex analytic structures, I-IF', often quoted already in this book, treats various results obtained up to that time centring on this conjecture. Given a compact complex manifold M, it is in general very difficult to compute the number of moduli m(M) or dimff^(M, 6 ) . Consequently from the mere fact that m{M) = dim JF/^(M, O) always holds for several simple types of compact complex manifolds M for which we can compute m{M) and dim //^(M, O), we cannot conclude the universal validity of this equality m{M) = dim H^(M, 0 ) . But the above conjecture has actually turned out to be very useful as a "working hypothesis" in our study of deformations. (b) The Theorem of Existence Since we did not succeed in proving the theorem of existence by an elementary method, we—Spencer and the author—tried to prove it by another method. Let (M, B, m) be a complex analytic family of compact complex manifolds, and put Mt = m~^{t) where B is a domain of C^ containing the origin 0. Define \t\ = maXxl^Al for r = ( ^ j , . . . , ^^)G C", and
260
5. Theorem of Existence
let ^ = ^r = {teC"'\\t\ 0 . If we take a sufficiently small Ac: 5, Jt^=wr~^{A) is represented in the form (4.27): ^A = U UjXA.
(5.73)
j
We denote a point of Uj by {/ = ( ^ ] , . . . , ^J). For simplicity we assume that Uj = UjeC'^\\^j\
te^.
Moreover, as is clearly seen from the proof of Theorem 2.5, ^ is the identify of M = M xO onto M = MQ^M^, namely ^ ( z , 0) = z. Put ^ ( z , 0 = {L 0 = ((,, t) for ^ ( z , t) e Uj X A. Then each component CJ = ^/(^, t), a = l,,.. ,n, of ^, = ( ^ ] , . . . , ^;) is a C°" function:
nz,t)=u]iz,t),...,cj(z,t),t,,..,,tj. If we identify Jt^ = '^{M x^) with M x A via "^.Jt^ is considered as a complex manifold with the complex structure defined on the C°^ manifold M x^ by the system of local complex coordinates { ( 4 t)\j=1,2,3,...},
UJ, t)=(^](z,
0 , . . . , ^;(^, 0 , ^ 1 , . . . ,
tj.
Consequently for each t, M^ is the complex structure of the differentiable manifold M defined by the system of local complex coordinates: {z^ijiz,
0|7 = 1,2,...},
{,(z, t) = Uj{z, 0 , . . . , m^.
t)).
Here by "the differentiable manifold M " we mean the underlying differentiable manifold of the complex manifold M.
§5.3. Theorem of Existence
261
If we describe {M^, A, m) as above, each component of local complel coordinates ^^(z, t) is represented as a local C°° function ^/(z, t) on M depending on t, and the underlying C°° manifold M of M^ appears explicitly as the place on which ^/(z, t) are defined. M is itself a complex manifold. Let ( z \ . . . , z") be arbitrary local complex coordinates of a point z of M. f;(z, t) = Cf{z\ . . . , z", ^ 1 , . . . . , t^),
a = 1 , . . . , n,
are C°° functions of the complex variables z \ . . . , z", ti,...,t^. Since for r = 0, both (^](z, 0 ) , . . . , ^"(z, 0)) and ( z \ . . . , z") are local complex coordinates on the complex manifold MQ = M, ^/(z, 0) are holomorphic functions ofz^,..., ^^ and
de.(5^) holds. On the open set UjXtn
.0
(5.74)
U^xt of M^, we have
and det(a^//a^^) 9^ 0. From this and (5.74), if we take A sufficiently small, it follows that det(<%^) \
dZ
^0
(5.75)
I a,\ = \,...,n
for any ^ G A. We denote the tangent bundle of the complex manifold M by T: T= T{M). Also we denote by if^'^(T) the linear space of all C°° vector (0, g)-forms, namely, C°° sections of T®/\^ f* over M : if^'^(r) = r ( M , ^^'^(T)). cpe cS^^'^(r) is represented in the form « (P=l
^
^P^TT. A=i 5z
1 (p''= — g!
y(p^,...f>^(z)dz''^A"'Adz\
where (p^j...j5^(z) are local C°° functions on M which are skew-symmetric in the indices Pi,..., Vq, For simplicity we denote d/dz^ by d^, and d/dz^ by d^. Consider 5^7 (z, t) = ILjvCJiz. t) dz\ The domain % = ^-\Uj xA) of ^/(z, t) is a domain of M X A. Since by (5.75), det((9A^/(z, t)) ¥^ 0, there is a unique (0, l)-form
1^=1
262
5. Theorem of Existence
for each A = 1 , . . . , n, such that dCj(^^ 0 = 1
cpfiz, t)d,CJ{z. 0 ,
a = 1 , . . . , n.
(5.76)
The coefficients (pp{z, t) are C^ functions on %, and on %r\ ^^ we have Z
{5.11)
A = l
Proof. Since (z, t) e % n ^fc, ({,(z, r), t) e L/^ x A and (4(z, 0, 0 e f/fc x A are the same point on M^, we have ^;(^, 0 =/;]^(4(^, 0, 0,
a = l,...,n.
Since ^^=f]LUk,t) are holomorphic functions of Ck,-^ , CLh,... applying d to both sides of (5.78), we obtain
(5.78) ,t^,
< ( ^ , 0 = Z ::7i-am^,0. Hence, we have ,-^ y
r > L y ..A^^ ^>^^ ;.^^
^ = 1 O'^/c A
On the other hand, applying d^ to both sides of (5.78), we obtain
d.cj{z.t)= i %d,a{z,t). /3 = 1 OL,k
Hence
I cp]{z, t)d,Cj{^^ 0 = 1
A
Therefore, since det(aA^7(^, 0 ) ^ 0 , if we denote the domain of the local coordinates ( z \ , . . , z " ) by (7, we have (pj{z, t) = (pi{z, t) on %r\%Lkr^ [/ X A 7^ 0 , hence X (p;^(z, O^A^ Z
there. Since ( z \ . . . , z") are arbitrary local complex coordinates on M, we obtain (5.77). I
§5.3. Theorem of Existence
263
If for (z, r) G % we define n
From (5.77) (p{t) = (p{z, t) is a C°° vector (0,1)-form on M for every In terms of local complex coordinates we have
viz,0=1
tsA.
A=l
In the sense that
cp'iz, t)d,i,(z, t),
a = 1 , . . . , n.
(5.79)
A =
If we consider (p(t) = (p{z, t) = J^l^^(p\z, t)dx as a differential operator which associates to every local C°° function / ( z ) a local (0, l)-form ^"^1 (p^(z, t)dxf{z)^ (5.79) can be rewritten as (5-(p(r))^;(z,0 = 0,
a = l,--.,n.
(5.80)
Since ^/(z, 0) are holomorphic function of z \ . . . , z", 5^/(z, 0) = 0. Hence by (5.79), we have (p(0) = 0.
(5.81)
Theorem 5.3. If we take a sufficiently small polydisk A, then, for te^, a local C°° function f on M is holomorphic with respect to the complex structure Mt if and only if f satisfies the equation (d-
(5.82)
Proof. W r i t e / = / ( ^ j , . . . , ^j) as a C°° function of the local complex coordinates ^] = Ijiz, t),..., ^ ; = ^;(z, 0 on M, Then id-
t),...,
^;(z, 0 )
= I(a-
Cd-
fx^l
I
Oi,j
264
5. Theorem of Existence
Since ~d^Cf = l^ (p^dxCf, we have
Cd-
V X \
IX
drM-^. J
O^j
Since the determinant
is invariant under change of local coordinates ( z \ . . . , z"), it is a C°° function on M X A. Since
cp^Az, t)cp'^(z, t))
7^0
(5.83)
provided that A is sufficiently small. Therefore, since by (5.75) dQt{dx^") ¥=• 0, (d-(p(t))f= 0 if and only if df/d^" = 0 for a = 1 , . . . , n, which means that f=fUj,..., ^7) is a holomorphic function of the local complex coordinates ^],...,^;onM, I This theorem implies that the deformation Mt of the complex structure on M is represented by the vector (0,1)-form ip{t)= i
A=l
i
i
A = l v = l
on M. (p(t) satisfies the following conditions induced from (5.79). Denote Cf{z, t) by Cf and
A= l
A= l
A= l
Hence A= l
/u, = l
Since 5,^; = 1^ (pUxC" by (5.79), we have _
n
_
_
ddfxf = Z d^d^SJ" dz"' = X d^d^Cf dz"" V—l
V
§5.3. Theorem of Existence
265
Consequently putting
we obtain
IX
A \ /x
/
A ^t
while, since cp^ Mp^ = -(p^ A
A = l \/A = l
A= l
/
Since det(aA^") ^ 0, we obtain dcp'{t)= i cp''(t)Ad^ip'{t), /. = !
(5.84)
Thus 9 ( 0 = l L i
.^ .;^ ,//_r-n^^,//^ A;I m^) 1 (
(5.85)
A = l )a = l
where we put
^
ql
for i/^'^ = (1/^!) X il/i^...i}^(z) dz""^ A • • • A d z \ [<^, i/^] 15 independent of the choice of local complex coordinates ( z \ . . . , z") used for its definition^ and we have [
Therefore, using the bracket, we write (5.84) as ~dcp{t) =
'±
(5.86^
266
5. Theorem of Existence
For the bracket we can easily verify the following formulae: For cp e ^^'^(T), if/e^e'^'^T) and TG^^'^(r), [iA,^] = - ( - i r [ ( P , H
(5.87)
d[cp,ip] = [dcp,ilj] + {-incp,~dH
(5.88)
{-ir[l
(A = 0.
(5.89)
We call
q^l.
(5.90)
For the infinitesimal deformation {dMt/dt)t=o, we have the following theorem. Theorem 5.4. {d(p(t)/dt)t=o is a d-closed (0, l)-/orm, and under the isomorphism /f'(M,e) = ^P(r)/a^^'^(T), {dMt/dt)t=oeH\M,(d)
corresponds to
(5.91)
-(d(p(t)/dt)t=o^^f\T).
Proof. Put
.,= i(2S^)
^.
(5.92)
The infinitesimal deformation (dMt/dt)t=oe H^(M,S) is the cohomology class of the 1-cocycle {djk}eZ^({Uj},&). We fix a tangent vector d/dte ro(A), and for a C°^ function / ( O of ^ G A , denote ((9/(0/^0r=o by / Differentiating (5.78):
in^^t)=ff,u,(z,t),t) with respect to t, and putting r = 0, we obtain 4j - L 77^^fc"^\ ^ = i5ffc
\
T;
/
dt
/ t=o
'
where ^^ = ^/(z, 0) and ^f = ^^(z, 0). Therefore putting
§5.3. Theorem of Existence
267
for each 7, we have ^jk = ^j -
^k-
Since tj = {dCfi^, t)/dt)t=o is a C°° function on Uj, ^j is a C°° vector field on Uj. Next, differentiating (5.79):
A= l
with respect to t, and putting t = 0, we obtain
A= l
since ^^(z, 0) = 0 by (5.81). Hence
^=i:Hr—^=i:i: 6 ^ ^ ( 7 ) ^ 5 ^ 2 ^ ( 7 ) ^ 0 induces the exact sequence of cohomology groups 0-> H\M, 6 ) -> if^'^T) - i ^ P ( T ) ^ f / ^ M , e ) ^ 0, from which the isomorphism / / ^ M , 0 ) = ^ P ( T ) / a i ^ ^ ' ^ ( r ) is induced. Thus for the 0-cochain {|,}G C^(U, si{T)), we have d{^j} = (p, and 6{^,} = -{6|yfc} from the above results. Consequently by the definition of 5*, we have
,*^_(^A
, ,here
^ =