This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
' • A dip,
(3.22) (3.23)
Suppose that d(p^^'^^ and dcp^^'"^^ are both C\ Then we have
Considering the type of each term in this equality, we obtain 5(99^'''^^ = 0,
aa(;p^^'^^ + aa(p^^'^> = 0
and
ddcp^^'"'^ = 0,
hence the following equalities hold: dd = 0,
dd = 0
and
dd = -dd.
(3.24)
A (p, 0)-form (p = {l/pl) ^ (Pja,---otp dzf' A • • • A dzfp is called a holomorphic p-form if the coefficients
A J z / i A • • • A t/z/p = 0
is equivalent to ^
^ZJ A J z j A • • • A dz] A ^ z j .
(3.25)
Since any domain W of M is itself a complex manifold, the above results hold also for differential forms on W. In what follows we chiefly treat C^ differential forms. A C^ differential form (p is called a ^-closedform \{'d(p — 0. Let (p = (^^^'^^ be a C°° (j?, ^)-form on M or on a domain of M with ^ ^ 1. If there is a ^ ° ° ( A -l)-form lA such that (p = a(A, then by (3.24), 5(^ = 0. Locally its inverse is also true: Theorem 3.3 (Dolbeault's Lemma). If a C°^ (p, q)-form cp = (p^^'^\ ^ ^ 1, defined on a polydisk L^;^ = { z G C " | | z ^ | < i ^ , . . . , |z"|
§3.1. Differential Forms
89
In order to prove this theorem, for cp and if/ we put <^a,...a, = — I
'A dz\
^ - » - p ^ ( ^ _ l ) ; ^ ^«,...«,^-,..-^-, dz^^ A'-'A
and
dz\
Then (pa^-'-ap is a (0, g)-form, and il/a,---a^ is a (0, g - l ) - f o r m . Moreover ai(^ = 0 is equivalent to ^^a,...a^^O, and (p=dil/ is equivalent to <Paj...«p = '^^ayccp' Hence it suffices to show Theorem 3.3 for a (0, ^)-form. First we show Lemma 3.1. Let f{z) be a C^ function on \z\
^dCAdl
(3.26)
Then ^_g(z)=f{z), dz
\z\
0 , there exists a C°° (0, ^ -2)-form ;^2 on L'p^-e such that 5;^2 = ^3 ~ 0"2- Let A(r) be a C°° function of r with r > 0 such that A(r) = 1 for r ^ p i , and that A(r) = 0 for r ^ p 2 - 2 e , and define a C°° (0, g-2)-form X2 = Xii^) on Up^ by -(^)^/Ar2(^)A(|z|),
\z\
lo, Then we have fA'2(z),
^ ^ ^ ^ ^ =lo, -
|z|^P.-2..
93
§3.1. Differential Forms
Pi
Pi
P3
PA
P5
Figure 1
Put 4^3 — ^3 — 8x2' Then ip^ is a C°° (0, g —l)-form on Up^ such that d4f3 = dil/3 = (p, and that 1^3 = ^As -dXi = 'As -dXi = 4^2 on Up^. Similarly we can construct successively C°° (0, g-l)-forms (/^^ on Up^, /c = 2, 3 , . . . , such that aj/Jfc = <;P on Up^, and that (A/c+i = '^k on ^ , ^ _ j . Let ifj be the C°° (0, q - l)-form on UR obtained by putting ip = if/]^ on each Up^, for /c == 2, 3, Then dil/ =
0, f{x) = u{x) and g(x) = v{x) on \x\ < 8. Hence for e G t/ n V, 0<s<8,f, = u, = v, = g,. Define m: M^M by m{sdp)—p. Then xcr satisfies the following conditions: (i) (ii) (iii)
TtT is a local homeomorphism, that is, for any (p e sd there exists a ^{
Zj, the transition relations of (p^^py are given by
From this and (3.114), it is clear that for C°° (2, l)-forms
-\F), ~d
.
(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*,
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
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
^ =(
^
. I
As stated above, a deformation M^ of M is represented by the vector (0, l)-form (p(t) on M satisfying the condition (5.86): d(p{t)=^(p(t), (p{t)]. In order to clarify the meaning of this equality, fix t for a moment, and assume that z moves on the domain (7 of a single local complex coordinate system ( z \ . . . , z"). Wewrite(^(Oas (p =X"_i
. + i ( 0 .
(5.103)
§5.3. Theorem of Existence
273
Thus the congruence (5.102) is reduced to the equation 5«p,+i(0 = ^.+i(0.
(5.104)
By (5.103), (5.88), and (5.87),
v+l
while dip'^it) =^{l/2)[(p''(t), have
(p'^it)] as stated above. Since cp'^it) =oO. we
while by (5.89) [["(/),
0. I Suppose given a power series in t^,..., t^ oo
G[ 0 ^^""^A satisfying the integrability condition 5 )G[(p, (p] = \t>dG[(p, (p] = ^hGd[(p, (PI Using (5.88) and (5.87), we obtain d[(p, cp] = 2[d(p, cp] = [[(p, (p\ (p'] - 2[(/^, (p\ while [[(p, = -bG[iA, (;p]. By (5.118), (5.119), and (6.59)
pit)=
I p.,...„^r'• • • C-,
n,—„ec.
A power series oo
is said to be a majorant of P ( 0 if |P^^...^^| ^ a^,...,^,
z^i,..., ^^ = 0 , 1 , . . . ,
and is denoted by P(t)«ait). For a power series oo
278
5. Theorem of Existence
we define |(/f|fc+a(0 by OO
vi,...,Pffj=0
We write
if i
^ 1 , . . . , ^^ = 0 , 1 , 2 , . . . .
In order to prove the convergence of the power series <^(0 = ZT=i
Since dil/^+i{t) = 0, if we put
^xh
A= l
first, and define
...
A{t)=—-
b X- rih^-'-^u'^ 2 —.
16c v=i
1^
(5.115)
§5.3. Theorem of Existence
279
with ^ > 0 and c > 0. ^ and c will be determined later. As regards A{t), we have the following inequality A{tf«-A{t), c
(5.116)
Proof. Consider the power series ^(5) = XlLi s""/ v^ in the variable s. Then 00
while, since fx^v/2if\-\-/ji
o'^ 00
00
«/^
1
= p and A ^ ^t, we have
Z.22 — ^ L v2 2 ^ ^ Z- . 2 2 A+ya-i/ A /Lt \+fjL = i,A fl A=l A P
2 Z. x2V A= lA
As is well known, Xr=i 1/A^= 7rV6<2. Therefore 00
^ -
B ( 5 r « 1 6 Z —=16B(5). v=2 V
Since A ( 0 = (^/16c)B(c(^i + - • • + r^)), (5.116) follows immediately from this inequality. I Fix a natural numberfc^ 2. We will show by induction on v that if we choose appropriate large h and c, k1..«(0«A(0
(5.117).
holds. For ^ = 1, (^^(r) = /3iri + - • '-^Pmtm, and the linear term of A ( 0 is (6/16) (^14- • • • +1^). Therefore, if we choose b such that |j8A|fc+a < 6/16 for A = 1 , . . . , m, (5.117)i: \(p\^M« A{t) holds. Now we assume that (5.117). holds, and make an estimate of |(^.+i|fc+a(0By (5.115)
By the definition of the Holder norm, we have the inequalities |b(AU+«^i:i|eAU+i+«,
il^e^''\T),
(5.118)
and \[cp, (A]U-i+« ^ K2l^U^J(AU+«,
(^, tA G ^''\T)
(5.119)
280
5. Theorem of Existence
where K^, K2 are constants independent of if/ and (p. By (5.111) and (5.118),
hence |<^.+lU+a(0« J^lCl|lA.+ lU-l + «(0. Since (A.+i(0=l[9'(0,
Thus (5.117)^+1 holds, which completes the induction. Therefore we have showed that \
(5.120)
Since the radius of convergence of the power series ^^=1 ^""/^^ is equal to 1, A{t) converges absolutely for teA^ if 0 < e ^ l / m c . Hence by (5.120) ^ ( 0 = Z ^ = i ^ ^ ( 0 converges with respect to the Holder norm | 1^+^ for r e Ae. Consequently (p{t) is a C^ vector (0, l)-form on M x A^, namely, if we write (p{t) on each Uj x A^ in the form 'Pit)=l\l
OZj
the coefficients (pfpy{Zj, t) are C^ functions of z^,.. •, Zj, ^1, • • •, tm- Although k is an arbitrary natural number not less than 2, we cannot deduce immediately from this result that (p{t) is C°°, because the constant c = K^K2Cxh above does depend on /c, hence it does not follow immediately that there
§5.3. Theorem of Existence
281
is an e > 0 such that e ^ 1/mc for all k. We must prove C°° differentiability of (p{t) in another way. By (5.107) we may consider that {j8i,..., ^8^} above is a basis of H^'^T). Then for
hence, [I\(p(t) = '6d(p(t) while by the construction (p{t) satisfies the integrability condition
Mt) = M.cp{t),(p{t)l Hence acp{t)=lh[
(5.121)
According to (3.142) and (3.126) the principal part of t>[(p(t), (p(t)] is given by i
i
g''
i
i
where we put dpd^(p^{t) = Y.^dpd^(pUt) dr. Since (^(0-^0 for |r| -»0, taking a sufficiently small A„ we may assume that (5.121) is a quasi-linear elliptic partial differential equation MxA^. Therefore its solution
282
5. Theorem of Existence
with
dz''
By 5
If we put
dZ^
A=i
dZ
the partial differential equation {d — (p)f=0 is reduced to the system of partial differential equations: W=0,
^ = l,...,n,
—/=0,
)u. = l , . . . , m .
(5.122)
L i , . . . , L„, L i , . . . , L„, d/dt,..., d/dtm, d/dt^,..., 5/^^^ are linearly independent. Consequently, by the Newlander-Nirenberg theorem, (p defines a complex structure M on M x Ag. If we choose a sufficiently fine locally finite open covering {L^} of M, and take a sufficiently small A^, the equation (5.122) has n-\-m linearly independent solutions f=(f(z,t), p= 1 , . . . , m + 71 on each Uj x A^, and the map
gives local complex coordinates of M on Uj x A^. Since f=tf^ is clearly a solution of (5.122), we may assume that (J'^^{z, t) = t^j, for )LC = 1 , . . . , m. Then we have ^j:{z,t)^U]{z,t),,.,,^^(z,t),t„,..,tJ. Therefore m: U]{z, 0 , . . . , C(^. 0 , ^ 1 , . . . , U -> (tu . . . , ^m) is a holomorphic map of M onto A^. For each ^G A^, tD'~^(0 is a complex manifold whose system of local complex coordinates is given by
§5.3. Theorem of Existence
283
{(^](z, 0 , . . •, C]{z, t)}. Since/=_^/(z, 0 , jS = 1 , . . . , n, are linearly independent solutions of the equation {d-(p{t))f=0 on U^, m~^{t) = M^i^^y Thus {M^(,) 11 e Ag} forms a complex analytic family (Jt, A^, m). Thus Theorem 5.6 (Theorem of Existence, [18]) is proved. Since each component ^/(z, t) of the local complex coordinates (f](z, t),..., ^/(z, 0 ) of M^(f) is a solution of (5.122), a^f(z, O/^f/it =Ofor ^t = 1 , . . . , m. Therefore C°° functions ff (z, 0 of z \ . . . , z", ^ i , . . . , ^m ^^^ holomorphic in ^ i , . . . , t^^. About the same time with us, Grauert proved this theorem of existence by an elementary method. He explained his remarkable idea at "Nothing Seminar" under the direction of D. C. Spencer. The main point of his idea is in replacing the fundamental equalities (5.62):
m^k,t)^frj{Mz^,t),t) by the inequalities
\mz,,t)-frj(fj,(zj,,t),t)\<8. By this method he succeeded in proving the convergence. Later he proved the most general theorem of existence of deformations for complex analytic spaces based on this idea ([9]). Later another proof of Theorem 5.6 by an elementary method was given by Forster and Knorr ([5]). We note that the theorem of completeness (p. 230) was not known at that stage of the development of the theory of deformations. However, since the proof of the theorem of completeness is elementary and independent of the existence theorem which is the main theme of this chapter, in verifying the equality m = m(M) for concrete examples of M (pp. 230-248), we replaced for simplicity our original argument ([20], §14) by one using the theorem of completeness.
Chapter 6
Theorem of Completeness
§6.1. Theorem of Completeness In this section we shall prove the theorem of completeness stated in §5.2(b). Let {M, B, TJT) be a complex analytic family, B a domain of C" containing 0, and pt'. Tt(B)^ H\Mt,St), M = ^ HO, the linear map defined by (4.22): d
( d\
dMt
Theorem 6.1 (Theorem of Completeness, [20]). If po'. To(B)->H^(Mo, Bo) is surjective, the complex analytic family (Jt,B,m) is complete at Oe B. Recall that we mean by the completeness of (M, B, m) at 0 that given any complex analytic family (J^, D, TT) such that Oe D^C^ and 7r~\0) = MQ, if we take a sufficiently small subdomain A with 0 G A <=: D, and let ^ A = 7r~^(A), we can find a holomorphic map h: s^ t = h{s), h(0) = 0, of A into B such that (Jf^, A, TT) is the complex analytic family induced from (Jt, B, m) by h (see p. 228, Definition 5.2). If {J^A, A, TT) is the complex analytic family induced from {M, B, tzr) by h, then for each 5 G A, Ns = rr'^s) = Mh(s) x s, and
is a submanifold of ^ x A (see p. 206). Let g be the restriction of the projection JixA-^Ji to Jf^- Then g is obviously a holomorphic map of J{A into M. Moreover g maps each N^ biholomorphically onto Mh(s)- For, writing a point of Ns = Mh(s)^s as {p,s), ; ? G M ^ ( ^ ) , we have g{p,s)=p. Identifying (p, 0) G No = MQ xO with p e MQ, we may consider 7r~^(0) = No = MQ. Then, if we denote the identity map {p,0)->p by go, g: J^^-^Ji is an extension of go'. NQ-^ MQ. Conversely, the following lemma holds. Lemma 6.1. If we can extend the identity go'. No = Mo ^ Mo to a holomorphic map g\ Jf^-^ M such that g maps each N^, 5 G A, biholomorphically onto Mh(s), then (Jf^, ^, ^) is the complex analytic family induced from {Jt, B, m) by h.
§6.1. Theorem of Completeness
285
Proof. Let (JV, A, TT) be the complex analytic family induced from (M, B, m) by h: A^ B. Then for each 5G A, 7r'\s) = Mh(s)^s and
is a submanifold of J^ x A. Denoting a point of Jf^ by ^, we consider the holomorphic map ^: q^^{q) = {g(q), 7r(q)) of ^ A into MxA. Since g maps each N^ biholomorphically onto M^(^), O maps N^ biholomorphically onto
Hence O maps Moreover
^A^U^GA^^
biholomorphically onto ^ = U5eA ^^(^) ^'^•
7f
M = Uj%.
%=
{{Cj,t)eC-xB%\<\},
and m{^j, t) = t Of course Uj is a finite union. If UjnUk9^0, (^fo i) are the same point of M if Cj = gjkUk, t) = {g]k{Cu. 0 , . . . , gUCu. 0 ) ,
Uj, t) and
(6.1)
where the g%{Ck, 0, OL = \,. .. ,n, are holomorphic functions on Uj n U^.
286
6. Theorem of Completeness
Similarly we assume that D = {5 E C' | |s| < 1}, J^ = UjWj,
^ , = {(Z,,5)GC"XD||Z,|<1},
7r{zj,s) = s, and that for WjnW^y^ 0 , (z,, s) and {zj,, s) are the same point of Jf if Zj =fjk{zk, s) = {fjkizk, s),.,.
Jjkizk, s)).
(6.2)
Moreover, since by hypothesis, NQ = MQ, we assume Wj n No = %nMo and that the local coordinates ({,, 0) and {zj, 0) coincide on Wj n No= % n Mo, namely, if ^] = z ] , . . . , ^J = z/, ({y, 0) and (z^, 0) are the same point of WjnNo= % n Mo. Putting bjjc(zj,)=fjdzk,0),
(6.3)
from (6.1) and (6.2), we have bjkUk) = gjMk,0).
(6.4)
Thus we have No = Mo = U ^ - ,
Uj=WjnNo=%nMo,
(6.5)
j
and {zy}, z^ = (z],..., zJ), is a system of local complex coordinates of the complex manifold No = Mo with respect to { L^}. The coordinate transformation on Uj n Uk is given by zf = bf,iz,),
a = l,...,n.
Our purpose is to define a holomorphic map h: s^t = h{s) with h{0) = 0 of Ag = {5 G D11^1 < E} into B for a sufficiently small e > 0, and at the same time to extend the identity go'. NQ^ Mo= NQ to a holomorphic map g: 7r~^{A^)^M such that m ° g = h° TT. The condition m ° g = h^ IT means that the holomorphic map g maps each Ns = 7r~\s), ^eAg, into M^(5) = m~\h(s)). But then, since g is an extension of the identity go, it is easy to see that, if we take a sufficiently small 8<8, g maps N^ biholomorphically onto Mh(s) for l^j < 8. Replacing e by such 5, we may assume that g maps Ns biholomorphically onto Mh(s) for s e A^. In what follows, we write A = A^ and ^ A = '7'" H^) for simplicity. Suppose for the moment that we can construct such h and g. Then since giUj)= UjCi %ij for each Uj^ No, g~^(%)^«^A is an open set containing U;. Therefore we can choose a continuous function e{Zj) of z, on Uj with 0 < 8(z,) ^ e such that the subdomain Wf =
{{Zj,s)\\Zj\<\,\s\<e{Zj)}
§6.1. Theorem of Completeness
of Wj is contained in
287
g~\%): UjCzWfczg-\qij)nWj.
Since the holomorphic map g maps Wf into %, g can be written on Wf in the form g: {zj, s) -> Uj, t) = (gjizj, 5), his)),
(zj, s) e Wf,
(6.6)
where each component gf(zj, s) of gj(zj, s) = {g](zj, 5 ) , . . . , gj{zj, s)) is a holomorphic function of z],..., z", ^ i , . . . , Si defined on Wf. Since g:izj,0)-^Uj,0)
= {zj,0)
gj(zj,0) = zj,
h{0) = 0.
is the identity, we have (6.7)
Expanding gj{zj, s) into power series of 5 i , . . . , Sj, we write it in the form 00
gjizj, s) = 2,- + X gjiAzj, s),
(6.8)
where, in the notation of § 5.3(b), gji^zj, s)=
X t'jH
g>,.--/(%)'^r' • • • ^?
\-vi=v
is a homogeneous polynomial of degree ^' of 5 i , . . . , 5/, and each component S^vyvii^j), « = 1 , . . . , n, of the coefficient
is a holomorphic function of z],..., z" defined on Uj. For simplicity we express such situation as gj^j...^^(zj) is a vector-valued holomorphic function defined on Uj. In general the region of convergence of the power series gj(Zj, s) of 5 i , . . . , Si may depend on z^, but they all converge for \s\ < s{zj). Expanding h(s) into power series, we put CX)
Hs)=^ I K(s).
(6.9)
For Wf nWt9^0, if (z,-, 5) G Wf and (z^, 5) G Wf are the same point, then their images by g, namely, Up t) = (gj{Zj, s),his)) and Uk,t) = (gki^k, s), h(s)) are, of course, the same point. Hence by (6.2) and (6.1), if Zj =fjk(Zk, s), then we have gj(zj, s) = gjkigki^k, s), h(s)). In other words, for
288
6. Theorem of Completeness
(zfc, s)eWtn
Wf, the equality gjifjkizj,, s), s) = gjk(gk(z},, s), h{s))
(6.10)
holds. If we expand both sides of this equality into power series of Si,..., Si, their coefficients are holomorphic functions on Uj n U^. Hence, from (6.10) we obtain equalities between these holomorphic functions defined on Uj n L4. We note that, if oo
gj(Zj,s)
oo
= Zj-^ X gjUZk,s),
gk(Zk,s)
= Zj,+ X
gk\AZk,s),
oo
and
h(s)= X! K(s)
are all considered to be formal power series of Si,..., still makes sense. For, by writing down (6.10) as oo
fjk(z,s)-\-
/
S gj\uifjkizk,s),s)
= gjJzk-\-
Si, the equality (6.10)
oo
oo
X gkU^k^s),
I
\
h,{s)),
we can obviously see that, for each /x = 1, 2, 3 , . . . , the terms of degree at most /x of the power series expansions of both sides of (6.10) contains no gj\X , ^), gk\v{ , 5), K{s) with v> yu. Thus assuming that we obtain holomorphic maps h and g with the required properties, and representing g on each domain WJ in the form (6.6): {zj, s)^(gj(zj, s), h(s)), we have seen that the quality (6.10) holds on each UJ nU^y^Z). In order to obtain such h and g, we begin with constructing formal power series h{s), as well as formal power series gj{zj, s), for each Uj, whose coefficients are vector-valued holomorphic functions on Uj such that the equality (6.10) holds. In order to avoid confusion, we use a, j8,... to denote the indices of coordinates and use fju, P, ... to denote the degrees. Furthermore, we use the notation of §5.3(b) for power series of ^ j , . . . , Si. In particular, we write h''{s) = h,{s)-^"' gJ{s)
+ h,is),
= Zj-hgjl^(Zj,s)-\-'
'
'-\-gj\,(Zj,s).
The equality (6.10) is equivalent to the following system of the infinitely many congruences: gjifjki^k, s), s) = gjkiglizk, s), h'^is)),
2^ = 0, 1 , 2 , . . . , (6.11),
§6.1. Theorem of Completeness
289
where we indicate by =,, that the power series expansions of both sides of (6.11)^ coincide up to the term of degree K (6.1 1)O means fjk{^k,^) = gjki^k, 0), which clearly holds by (6.3) and (6.4). Now we want to construct h'^is), gJ(Zj, s) by induction on v so that (6.11)^ hold on each Ujn 11^9^ 0 . Suppose that h'^'^s) and gj~\zj, s) are already constructed in such a manner that, for each Ujn U^^ 0 , gJ-'iM^k,
^), s) - gjk{gr\zj,
s), A-'(5))
(6.11)._,
v— l
holds. Since gj(zj, s) = gj~\zj, s) + gj\^(Zj, s), the left-hand side of (6.11)^ becomes gj(fjk(zk, s), s) = gj~\fjk(zk,
s), s)-\-gj\,ifjkizk, s), s),
where gj\i,{Zj, s) is a homogeneous polynomial of degree P of Si,..., ffkizjc, 0) = bjk(zk) by (6.3). Therefore we have
Si, and
gj\u(fjk(zk, s), s) = gj\,(bjk(zk), s), hence, putting Zj = bjk(zk), we obtain gjifjkizk, s), s) = gj~\fjkizk,
s), s)-\-gj\,(zj, s).
(6.12)
The right-hand side of (6.11)^ is given by gjkigKzk, s), h'^is)) == gjk{gr\zk,
s)-^gk\^.{zk, s), h^'-^s)-^
K(s)).
By expanding gjkUk-^^, t-\-u) into power series of ^^ . . . , ^", Wi,..., u^, we obtain gjkUk + ^,t + u) = gjkUk,t)^
I.
0f(^.-1). ^Uk,t)'e^^
13 = 1 oik
r=l
Otr
where . . . denotes the terms of degree ^ 2 in ^ ^ , . . . , f", Ui,... ^u^. Letting K{s) = {hx\Xs),...,h^\^{s)), and writing gr\s), gk\v(s) instead of gr\zk.s), gk\Azk,s), respectively, we have gjkiglizk, s), h^{s))-gjk{gr\zk, -
i
s),
h^-\s))
^^igr\s),h-\s))'g'kUs)
+1 r=\ otr
^-^(gr\s\h-\s))'K^As)
290
6. Theorem of Completeness
+ i^'(gr'(o),/i'-(o))-M*) = Z 7d(^fc,0)-g^|,(5)+I (-^^-T;^—
• ^H-(^)-
Therefore, since g/kCz^, 0) = bjj^izk) = Zj by (6.14), we have
(3^1 OZj^
r=l\
dtr
/ t=0
From this and (6.12), it follows that the congruence (6.11)^ is equivalent to the following:
V p dZ%-
r \
Otr
/ t=0
By the hypothesis of induction, the left-hand side of this congruence = ^-i 0. Hence, if we let F^fci^ denote the sum of the terms of degree v of the left-hand side, we obtain TMAZJ, S)
= gr\Uzu.
s\ s) -gj^{gr\z^,
s\ h-\s)).
(6.13)
Hence (6.11)^ is equivalent to the following: ^jk\v{Zj,
S)
" dz+ I T^'gk\v{zk.s)-gj\^.{Zj,s),
(6.14),
^-1dZ^
where z^ and Zj = bj^iz^) are the local coordinates of the same point of NQ. In order to clarify the meaning of these equations, we introduce holomorphic vector fields as follows:
§6.1. Theorem of Completeness
a^l
291
\
Olr
a=l
/ t = 0OZj
dZj
gk\As)= I
gkUzk,s)—j.
Then in these terms (6.14)^ is written in the form m
^jk\As)=I,
K\As)Orjk-^gk\As)-gj\,(s).
(6.15)^
r=l
By (6.5), U = {Uj} is Si finite covering of MQ = NQ. Since we assume that ^" = z/, a = 1 , . . . , n, the 1-cocycle {Orjk}e Z ^ U , 0 ) represents the infinitesimal deformation dr = po(d/dt,) e H\MO, ©O)- Since the coefficients r^fci^i- -^z of the homogeneous polynomial
^jk\v{s)=
Z
r^-fc.,.-^;-5^ • • • ^p
are holomorphic vector fields on L^ n U^, .
{r,.|.(5)}=
I
{r,fc.,...,}sr'• • • 5,-'
is a homogeneous polynomial of degree v whose coefficients are 1-cochains {r,,,,...,,}€C'(U,0o). Similarly {gj\As)}=
I
{gj.,-.,}S-['• • • s?
is a homogeneous polynomial of degree P whose coefficients are 0-cochains {^jVi •i.Je C^(U, 0o)- Under these circumstances, the equation (6.15)^ is written in the form m
{rMs)}=l
K\As){erjk}+s{gjiAs)}.
(6.i6)„
r=l
Thus in order to construct h''{s) = h''~\s)-\-h^(s), gj(zj,s) = gj~\zj, s) + gjij,{Zj, s) so that (6.11)^ hold, it suffices to obtain solutions hr\As), r = 1 , . . . , m, {gj\As)} of the equations (6.16)^. If solutions K\j,{s), r = 1 , . . . , m, {gj\u{s)} exist, then, since the right-hand side of (6.16)^ is a 1-cocycle on U, {F^fci^C^)} is also a 1-cocycle, i.e., for
292
6. Theorem of Completeness
each Ui n Ujn 11^9^0, we have Tj^lAs)-T,k\As)
+ r,j^As) = 0.
(6.17)
Conversely, if {Tji^\^(s)} forms a l-cocycle, then (6,16)^ has solutions hr\r,is), r = 1 , . . . , m, {gj\As)}. Proof Let
I'jH
\-Vi=v
Then (6.16)^ can be written as m r=l
Therefore it suffices to prove that any l-cocycle {r^fc}GZ^(U, ©o) can be written in the form m
{Tjk} = I K{erj,,} + S{gj},
K e C, {gj} e C°(H, 0o).
(6.18)
Let yeH\Mo,So) be the cohomology class of the l-cocycle {Tjj^}. Since by hypothesis, po* To(B) -» H\MQ, OQ) is surjective, y is written in the form of a linear combination of the Or as m r=l
Consequently the cohomology class of the l-cocycle {Tjk}-{L7=\ K^rjk) on U is 0. On the other hand, by Theorem 3.4 (p. 121), n ^ : H\Vi, Bo) = Z^(U, (do)/8C\U, ©o) -> H\M^,
BO)
is injective. Therefore {r^7c}-Zr=i Ki^rjk}^ 5C^(U, Bo), hence {Tj^} can be written in the form (6.18). I Next we shall prove that {r^7c|^('^)} is a l-cocycle, i.e., (6.17) holds. Proof By representing each term of (6.17) as vector-valued holomorphic functions, we get " dzTik^^{zi,s) = Tij\^{Zi,s)+ Z -r^^fk\v{Zj,s), )3-l
Zi = bij(zj).
OZj
Here Zj and z, = bij(zj) are the same point of MQ. Using matrix notation, we
§6.1. Theorem of Completeness
293
write this in the form ^ikiA^h s) = Tiji,{Zi, s)-^Bij{zj)Tjk\Azj, s),
(6.19)
where ByCz^) = (azf/azf )«,^^i_„. Writing ^('5) for/^(^fc, ^), and gr\s) for gk~\zk, s) for simplicity, we obtain from (6.13), r,-,|.(z, s) - gr\Ms), s)-g,^{gr\s), h-\s)). Since on U^nUinUj^^0,
(6.20)
g,fc(4, t) = gyiUk, t), t), and since by (6.13)
gjk(gr\s), /i->(s)) - gr\Ms), s)-rj,\Azj, s), the second term of the right-hand side of (6.20) is written down as
gikigr\s),h''-\s))=gy(gj^(gr\s),h-'-\s)),h-'-'{s)) = gij(gr'(fA'^), *)-r,fc|.(z,-, s), h'-'is)) V
- i
^igr'(fjkis),s),h-\s))rf,i.(zj,s).
But, since gj \fjk{Zk, 0), 0) = bjt,{zk) = Zj, we have
^ ( g r H ^ ( O ) , 0), 0) = ^ ( z „ 0) = ^ = ^ , dCf ' dCf dzf dzf' hence, we have
gi,.{gr\s), h''-\s)) - g,(gr'(&(*), s), h-'is)) V
" bz-
- 1 -ri^fkUzj, s), p^ldZj
Therefore by (6.20) we obtain
r,.|.(z„ 5) = gr\fikis\ s)-g,(gr\fjk(s), s), h-\s)) -{-Bijizj)Tjk\^{Zj,s).
294
6. Theorem of Completeness
Thus, to prove (6.19) it suffices to verify
r,|.(z, s) = gr\fikis),
s)-g,(gj-\fj^(s),
s), h-\s)).
(6.21)
By (6.13) we get
r,|.(6,(z,), s) = gr\fij{zj, s), 5) -g,(g;-^(z,, 5), h-\s)). Substituting Zj =fjk{zj„ s) and noting bij(fjk(zj,, 0)) = bij{bjk(z,,)) = bij(zj) = Zi, we have ^ijWibijifjkizk, s)), s) = Tiji^ibijifjkizk, 0)), s) ^Tij\^{Zi,s).
In view of the equality ftjifjkizk, s)) =fik(zk, s), (6.21) holds.
I
Therefore {Tjk\i.{s)} is a 1-cocycle, hence, by solving (6.16)^, we can find hr\As), r = 1 , . . . , m, {gj\t,(s)} such that h'^is) and g'^izj, s) satisfy the congruences (6.11)^. In this way, we determine h'^is) and gjizj, s) successively for ^' = 1, 2, 3 , . . . , and obtain the formal power series h{s) and g/(^> s), which obviously satisfy (6.10). (b) Proof of Convergence The power series h{s), gj(Zj, s) constructed in the previous subsection depend on the choice of solutions hr\t,(s), r = 1 , . . . , m, {gj\j,{s)} of (6.16)^,. In general the equations (6.16)^ have infinitely many solutions. In this subsection we prove that, if we choose appropriate solutions K\j,(s) and {gj\j,{zj, s)} of (6.16)^ in each step of the above construction, then h{s) and gj{zj, s) converge absolutely in 1^1 < £ provided e > 0 is sufficiently small. The equations (6.16)^ are reduced to (6.18). We first prove a lemma concerning the "magnitude" of the solutions hi,... ,hm, {gj} of the equation (6.18): m
{r,J= I
K{e^,}+8{gj}.
r=l
We regard holomorphic vector fields F^fc = E" = i r7fc(zy) a/^z", Orjk = Z l ^ i ^^jk(zj) d/dz]", and gj = Y,''^ = i gf(zj) d/dz]" as vector-valued holomorphic functions Tjk{zj) = (rjfc(z^),..., r;fc(z,)), O^jkizj) = (Oljkizj),..., O'^jkiZj)), and gj(Zj) = (gjizj),..., gJ(Zj)), respectively. Then (6.18) is written in the form m
r,fc(z,)=I Mr,7c(z/) + S,fc(zfc)g.(z,)-g,(z,.).
(6.22)
§6.1. Theorem of Completeness
295
Since each L^ = {z^ G C" | jz^l < 1} is a coordinate poly disk, we may assume that the coordinate function Zj is defined on a domain of MQ containing [L/y] (see p. 33). Hence each component dz^/dz^ of the matrix Bjj,(zj^) = (dz]'/dz^)^^p=i^_^n is bounded on L^n Uk9^0. We define the norm of the matrix Bj^izt) by \Bjk{zj)\ = sup
—
= max Z
dzj
feC",
dzi
^#0.
(6.23)
Then there exists a constant Ki such that for all Ujn 11^ = 0 |B,,(z,)|<X„
z.eU^nUj.
(6.24)
Similarly, since the ^^^(z,) = (agj^z^, 0/3'r)(=o are also bounded on L/yn t 4 5^ 0, there exists a constant K2 such that |e.^fc(z;)|
(6.25)
We denote a 1-cocycle {Fj^} by F, and define its norm by |r| = max j,k
sup
|r^fc(z,)|.
(6.26)
zjeUjr\U]^
Lemma 6.2. There exist solutions hr, r = 1 , . . . , m, {gj} of (6.18) which satisfy \K\^K,\Tl
\gj(zj)\^K,\Tl
(6.27)
where X3 is a constant independent of T = {Tjk}> Proof Let 5 > 0, and put, for each Uj = {zj e C" \\zj\ < 1}, L^; = {z,.G^.||z,.|
(6.28)
j
for a sufficiently small 8. We consider solutions /i„ r = 1 , . . . , m, {g,} of (6.18) for a 1-cocycle r = {r^fc} with |r| < +00. it can be easily checked that, on each Uj, \gj(Zj)\ is bounded. In fact, since gj{Zj) is holomorphic on Uj, it is obviously bounded on Uf. If Zj^ Uf, Zj is contained in some L^^ with kr^j, that is, Zj = bjk(zk), ^fcG t/fc. Hence by (6.22) we have m
gjizj)=l
hAA^j) + S,fc(zfc)gfc(zfc) - r,.fc(z,.).
(6.29)
296
6. Theorem of Completeness
By (6.24) \Bjj,{z^)\
^(n^Kiri holds. Suppose there is no such constant K. Then, for each natural number V, we can find a 1-cocycle T^"^ such that t((r^"^) > ^|r^"^|. Replacing V''^ by p(-)/^(p(W)^ we get a sequence of l-cocycles 1^""^ = {T^^}e Z\n, ©o) such that ,(r^-)) = i,
ir^"^l<-.
(6.30)
The equality 6(r^"^) = 1 impHes that there exist solutions /i^/^ {g^^} of (6.18) for r = r^''^ satisfying |/z^/>|<2,
\gy\zj)\<2.
Since, for each Uj, {gy\zj)} = {gj^\zj), g^^\zj),...} are uniformly bounded on Uj, we can choose a subsequence {gj'''^\zj)}, vi < P2< ' ' ' < ^m < • --, ^o as to converge uniformly on each compact subset of Uj. Hence we may assume, from the beginning, that {g-''(z,)} converges uniformly on each compact subset of Uj. Similarly, all the sequences {/Jr*^^}, ^ — 1, 2 , . . . , r, may be assumed to converge. Then we can deduce that each {gy\zj)} converges uniformly on the whole Uj. To show this, we note that Uj is covered by Uf and a finite number of Ui, kv^j, and that, since [Uf]^ Uj is compact, {gj''\zj)} converges uniformly on Uf. For a point ZJE Ujn Ui, i.e., for Zj = bjk(Zk), Zk e Ul, we have by (6.29) m
g]'^\zj)= I hi''^e,j,{Zj) +
Bj,(z,)g'j:\z,)-Ty,\zj).
Since {hi''^} converges and {gy\zj)} converges uniformly on Uf, and since |rjfc"Hz,)|^|r^"VO (i^->oo) by (6.30), in view of (6.24) and (6.25), we see that {gj''\zj)} converges uniformly on Uj.
§6.1. Theorem of Completeness
297
Put /i, = lim^^ao hi''\ and g;(z^) = lim^^oo gj'^Kzj). Then gj{zj) is a vectorvalued holomorphic function on Uj. By (6.22)
Since |rjfc(z^)|^|r^''^|-»0 (^->oo), taking the limit for ^-»oo, we obtain m
Hence, putting hi""^ = hi""^ - hr, and gY\^j) = gj'^^^j) ~Sj(^j)^ we obtain m
Hence hi''\ r = 1 , . . . , m, and {gj''^} constitute another set of solutions of (6.18) for T — T^''\ But when v tends to infinity, we have hi'^^-^O and ^^PzjeUj \§j''\^j)\-^^, which contradicts L{T)= 1. I We shall prove, using the method of majorant series, that h{s) and gj{Zj, s) converge absolutely for |5|<£ provided that e > 0 is sufficiently small. In general, if two power series of ^ i , . . . , 5/,
i^x,...,i'i = 0
and
are given, we indicate by writing
P(s)«a{s) that |P,,...,J^ «,,...,„
z/i,..., ^; = 0 , 1 , 2 . . . .
As in § 5.3(c), let jb_ -
c'^jSy-h'-'-^sir
A(a)=77^ I —^-^ 1 iC
-2
^
1 6 c j,= \
—.
2
V
By (5.116), we have
Aisf«-A(s). c
b>0,
OO.
298
6. Theorem of Completeness
By induction on v^ we obtain from this inequality the following inequalities: A{sy«\^
A{s),
1^ = 2 , 3 , . . . .
(6.31)
In fact, for j ^ ^ 3, we have A{sY = A(sfA{sr-^«
-A(s)A{sr-^ c
= - A(^)^-^ c
In order to prove the convergence of h(s), gj{zj, s), it suffices to show the estimates h{s)« A(s),
gjizj, s) - zj« Ais),
(6.32)
provided that the constants b and c are properly chosen. For this, it suffices to prove h^is)« Ais),
gjizj, s)-zj«
A(s)
(6.33).
for ?^= 1 , 2 , 3 , . . . . We prove (6.33). by induction on ^ = 1, 2, 3 , . . . . For v= l,sincethelineartermof A(5')is(fe/16)(si + - • -4-5/), the estimate (6.33)i obviously holds provided that b is sufficiently large. Let p^2 and assume that (6.33)._i are established. To prove (6.33). we first estimate Tj]^\^(zj, s). In general, for a power series Pis) = Y.^=i PA^), we denote by [P(s)]. the term P.(5) of homogeneous part of degree P. Then by (6.13), we have TjtUzj, s) = [gj-\fj^{z^,
5), s)]^-[gj^(gr\z,,
5), h'^-'is))]^.
(6.34)
We first^ estimate [gr\fjk(zk, s), s)],. Since the fjk(zk,s) = ^jk(zk) -^Y.7^1 fjk\Azp s) are given vector-valued holomorphic functions, we may assume that fjkizk,s)-bjk(Zk)«Ao(s),
Ao(s)=-^
2 -^—^
^
— (6.35)
holds for ZkE Uj,n Uj with bo>0 and Co>0. Put G(zj, s) = gj'\zj,
s) - Zj.
Then, by hypothesis ofinduction(6.33)._i, we have G(z/, s)« A(^). Namely,
§6.1. Theorem of Completeness
299
letting
A{s)=
I
A,,....,5r> • • • ^p,
we have |G.,...X^,)NA.,...^,
(6.36)
Z,GL/,.
By (6.28), Mo = U j Uj. If z^ G l/f, then since G,^...,^{zj + ^) is a vector-valued holomorphic function of ^ = ( ^ i , . . . , ^„), |^| < 5, it can be expanded into power series in ^ i , . . . , ^„ as
By Cauchy's integral formula, we have
Hence, since |G,^...,X% + ^ ) N A^^...,^ by (6.36), we have
4 8' Hence G,,..,(z,+^)-G.,..,(z,)«A.,..,
I
^;:.:^".
Therefore
For z^-G t/f n (7^, i.e., for Zj = bj^izj,)e Uj, z^e Uj,, we let ^ =fjkizk, Since ^ « Ao(5') by (6.35), we obtain
G(Uz„ s), s) - G(zj, s)« A(s)
I Ml + --- + At„^
Aoisr^^-^^^ =1
8^i^""^^h
s)-Zj,
300
6. Theorem of Completeness
We have
and by (6.31) ^-1
Ao(5). M=l
Remark that (6.35) remains valid if we replace CQ by a larger constant. Therefore, by taking a sufficiently large Co, we may assume that
A
(6.37)
2'
Thus, since Ii^=i (^o/coS)*'~" < 2 , we obtain
%5,(:)(r-«-^il(:)e)'
Ao(5)
-Ao(s), O k
Hence we get Gifjkiz,,, s), s) - G(zj, s)«
-—A(s)Ao(s).
If we take b and c such that b>bo,
c> Co,
(6.38)
we have Ao(s)« {bo/b)A{s). Therefore we get
A(s)Ao(s)«
^0 ^ / N 2 / . ^0 -rA{sr« -A(s). b c
Hence Gifjj^iz,, 5), s) - G(zj, s)«
^—^A{s), Co
§6.1. Theorem of Completeness
301
namely, gr\fjk{zk,
s), s)-fjj,{zk, s)-gj~\zj,
s)-hzj«
r-^A(5). Co
Since by (6.35), fj^izj,, s)-Zj«
Ao(s)« (bo/b)A{s),
gr\fjk{z,, s), s)-gr\zj, s)«
we have
{^-^+J)MS).
Therefore, taking the terms of degree P of the left-hand side of this equality, we obtain the following estimate on Uf n 11^:
[gr'(y;.(z., s), s)]^« {^-^+J)MS).
(6.39)
Next we estimate the second term [gjk(gk~\zk, s), h''~\s))]j, of (6.34). We expand g/fc(^fc + ^5 0 into power series in ^ 1 , . . . , ^„, ^1,. • •, ^m, and let L(^, t) be its linear term. Then, since gjki^k, 0) = bjk(z,^), we may assume that gjk{zk +
^,t)-bjk{Zk)-LU,t) oo-
If we set ^ = gfc~\zfc, 5)-Zfc, and t = h''~\s), A{s) by (6.33)^,-1, we obtain
then, since ^«A(s)
and t«
gAgr\zk,sXh-\s))-bjk{z,)-L{gr\z,,s)-z,,h-\s)) 00
« I
00
aSin-\-mrA{sr«
b\^~^
/
X a^(m + n)'^ -
M=2
M=2
A(s).
\C/
Hence, by taking the terms of degree v of the left-hand side, we obtain [gjkigk
{zj,,s),h
(s)],«
I c
I
^=o\
A(s). c
/
Consequently, taking a constant c such that bao{m-\-n) 1 - ^ -<::, c 2
(6.40)
we obtain [gjkigk
(zj,,s),h
\s))],«
Ais).
302
6. Theorem of Completeness
Combining this with (6.39) we obtain the estimate r,.,|^(z,-,5)«X*A(5),
ZjeUfnU,,
(6.41)
where i^* is given by
c8
b
c
We now estimate rjj^\j,{Zj, s) for arbitrary ZJE Ujn U^. For this purpose, recall that {Tj^iAs)} is a 1-cocycle. Since Mo = [Jj Uj, if ZJE Ujn U^, and Zj ^ Uf, then Zj is contained in some L^f (/ 7^7): Zj = bji(Zi), Zi e t/f. By (6.19) Tjki,(Zj, s) = Bji(Zi)Tik\Azh s) - Bji(Zi)riji^(Zi, s), and, since z^e U^ nUjn (4, both r,fc|^(Zi, s) and ry|^(z„ s) are « K'^Ais) by (6.41). Since we have |B,fc(^k)|<^i with Ki>l, it follows that Tjt,lAzj,s)«2K,K'^A{s), Recall that Ki^s), (6.16),:
r=l,...
ZjE UjnU^.
,m, gj\v{zj, s) are solutions of the equations m
r-=l
Since rjk\j,is)« IKiK'^Ais), by Lemma 6.2, we can choose solutions K\j,(s), r = 1 , . . . , m, {gj\u(s)}, such that Ki^(s)« K.lK.K'^Ais),
gjUs)«
K.lK.K'^Ais).
By definition (6.42) of X*
\
C8
b
C
J
is independent ofp, and if we first choose a sufficiently large b, and then choose c so that c/b be sufficiently large, then we obtain
Note that b and c obviously satisfy (6.38) and (6.40). Hence the above solutions hr\As), {gj\v{s)} satisfy the inequalities K\M«A{s),
g,|.(5)«A(5).
(6.43)
§6.1. Theorem of Completeness
303
Therefore, putting
we see that (6.33)^ follows from (6.43) and (6.33)^-i. This completes the induction, and the inequalities (6.32): his)«A{s),
gjizj,s)-Zj«A{s)
are proved. These inequalities imply that, if \s\ < l//c, h{s) converges absolutely, and gj(Zj, s) converges absolutely and uniformly for ZJE UJ. (c) Proof of Theorem of Completeness In view of ^ = U,- ^ > ^ i = {(^> s) \ \zj\ < 1, j^l < 1} = ^ x D, and Uj = Non WJ=UJ = 0/lfwQput^ = {seC'\\s\
Wj=UjXA.
j
On the other hand, we have M = [J %,
%=UjXBczC"xB.
j
By (6.32) the holomorphic map gj:izj,s)^Uj,t)^{gj(zj,s),h{s)) maps Wj = UjXA into C" xB, and the restriction g,: Uj-^ Uj<^ MQ is nothing but the identity map: (z^, 0)-^(f„0) = (z^, 0). We would like to obtain a holomorphic map g-.X^s^^M by glueing up the holomorphic maps " ' ,gp" ' ,gk," • • But, in general, we may not have g/(Wj)<^%c:C xB. Hence we first restrict g, to gj\%). Since gj(Uj)= Uj, gj\%) is an open subset of Wj containing Uji Uj^gj\%)^Wj,
and gj maps gj\%) into %czJi. For each point ce U^n Uj, there exists a neighbourhood nc) =
{{z,,s)\\z,-c\<8,\s\<8}c:gZ\^,)ng;\%),
304
6. Theorem of Completeness
such that gj and g^ coincide there. Proof. The maps g, and g^ are given by gj: (zj, s) -> Uj, t) = (gj{zj, s), h{s)), gfci (Zfc, s) -> (^fc, t) = (gfc(Zfc, s), h(s)). Note that (z,, s) and (z^, s) are the same point on Jf^ if z^ =fjk{^k, s), while (^j, 0 and (ffc, 0 are the same point of M if Cj = gjkUk, t)- Therefore, to prove that gj and gk coincide on V{c), it suffices to show gjifjkizk, s), s) = gjkigkizk, s), h{s))
(Zk, s) e r(c).
(6.44)
But (6.44) is nothing but (6.10). Hence the power series expansions in Si,..., Si of both sides of (6.44) are the same. On the other hand, both gj(fjk(zk, s), s) and gjkigki^k, s), his)) are the holomorphic functions of Zfc,..., Zfc, Si,..., Si in the polydisk T{c). Hence (6.44) holds. I For each point ce Ujn Uk, choose T{c) as above and let Tjk = Uc "^MThen we have
UjnUkCirjkCzgj\%)ng-k\mk), and the holomorphic maps gj and gk coincide on the domain Vjk. We take a sufficiently small 6 > 0 , and put Uj = {Zje Uj\\zj\
Therefore, putting A^ = {^ G A11^1 < E}, we obtain TT-HAJ-U-f/fxA,,
U^ =
A^<^g;\%),
ufx^,nulx^^czrjk, provided that e > 0 is sufficiently small. Restricting each gj to Uf xA^, we see that gj maps Uf x A^ into Ji and that, if Uf xBn U^x^^y^ 0 , gj and gk coincide there. Hence we can find a holomorphic map
g:7T-\A^) =
UjU!x^s^M
such that g coincides with gj on each Uf x A^. From the expression g: (Zj, s) -> Uj, t) = (gjizj, s), h{s)), it follows that ru ° g = h° TT, while the equality gj{zj, 0) = Zj implies that g is an extension of the identity map go: NQ^ Mo= NQ. This completes the proof of the theorem of completeness: Theorem 6.1.
§6.2. Number of Moduli
305
§6.2. Number of Moduli (a) Number of Moduli In this section we shall prove that the conjecture stated in §5.3 concerning the number of moduli is true in case H^{M, %) = 0. Let M be a compact complex manifold and suppose H^{M, 6 ) = 0. Then, by the theorem of existence (Theorem 5.6), there exists a complex analytic family (Jt, B, m) with OG B e C'" satisfying the following conditions: (i) (ii)
m-\Q) = M. po'. d/dt^{dMt/dtx)t=0'> with Mt = m~\t), is an isomorphism of To(B) onto H\M, 0 ) : To(B) ::>^o H\M, 6 ) .
By the theorem of completeness (Theorem 6.1), (M, B, m) is complete at OeB. We need to prove that m{M) = dim H\M, %) holds provided m{M) is defined. Suppose that m{M) is defined and put /x = m{M). Then, by Definition 5.4 of the number of moduli (p. 228), there exists a complete complex analytic family (^, D, TT) which is effectively parametrized and such that 7r~^(0) = M, with D being a domain of C^ containing 0. We denote by 5 = ( ^ 1 , . . . , 5^) a point of D. Since {Jf, D, IT) is complete, it follows that, if we take a sufficiently small domain A, OG A c B, then {M^,^, tjr) is a complex analytic family induced from {Jf, D, TT) by a holomorphic map h: t-^s = h(t) with h(0) = 0. Hence M^^ Nh(^t^ = 7T~\h{t)). Therefore, by (4.30) — r = I —•^—,
( 5 i , . . . , 5 ^ ) = 5 = /z(r).
Since po- To(B) ^ H\M, S) is an isomorphism, the cohomology classes
(— )
eH\M,e),
A = l,...,m,
m=
dimH\M,e)
on the left-hand side of this equality are linearly independent. On the other hand, we have /JL = m ( M ) ^ dim H\M, 6 ) . Hence we obtain the equality m(M) = dim H\M, O ) . Thus we have obtained Theorem 6.2. Suppose H^(M, 0 ) = 0 and that the number of moduli m{M) ofM is defined. Then m(M) = dim H\M, 0 ) . Then what is the condition for m{M) to be defined in case H^(M, 0 ) = 0? If m{M) is defined, (Jt^, A, tir) is, as stated above, the complex analytic family induced from an effectively parametrized, complete family (Jf, D, TT) by a holomorphic map h: A-»D with /i(0) = 0, and m(M) = dim H\M, 0 ) .
306
6. Theorem of Completeness
Since D is an effective parameter space, the linear map d/ds-^dNJds is an injection of T^iD) into H\NS,S). Since dim T^iD) = m(M) = m, we conclude dim H^(M,&)^m. On the other hand, dim H^{No, SQ) = dim H^(Ns,Ss) — m. Therefore, by the theorem of upper-semicontinuity (Theorem 4.4), dim//^(N^, 0 J = m for any s satisfying \s\<8 provided that s is sufficiently small. If we take a sufficiently small domain A with 0 G A c= B, we have M, = Nh(t), and \h{t)\ < e for any t e A. Hence we conclude dim H\Mt, ©,) = m. Thus, if m{M) is defined, then dim H\Mt, 0,) = m is a constant independent of t. Conversely, if dim H^(M^, 0^) = m does not depend on re A, for a sufficiently small domain A, 0 e A c: J5, then m{M) is defined. Proof. For t = 0, l^-^)
\ dt^ / t=o
G//HMo,eo),
A = l , . . . ,m
are linearly independent. Therefore, if m(M) = dim H\Mt, dent of t, it follows that
^-^eH\M,S,\
0^) is indepen-
A = l,...,m
are linearly independent for \t\<8 provided that e is sufficiently small. This fact will be proved in the next chapter (Theorem 7.11). If we simply write A instead of A^ ={rG A||f|< e}, then (M^,^,m) is an effectively parametrized complex analytic family, and p^: r^(A)->/f ^(M^, 0^) is surjective for f G A. Consequently, by the theorem of completeness (Theorem 6.1), the complex analytic family ( ^ A , A, ixr) is complete. Hence the number of moduH of M = XJJ~^{0) is defined and equals m. I Thus we have proved the following Theorem 6.3. Suppose JF/^(M, 0 ) = O. Then the number of moduli m{M) is defined if and only if dim H ^ (M^, St) is independent ofteA when A, 0 G A c= B, is taken sufficiently small. If this condition is satisfied, then (Ji^, A, m) is an effectively parametrized, complete family. In case H^(M, 0 ) = 0 holds, which turns out to be true in many examples, the following theorem holds. Theorem 6.4. IfH\M, 0 ) = H\M, 0 ) = 0, then m(M) is defined and equals dim H\M, 0 ) : miM) = dim H\M, 0). Proof. Consider a complex analytic family (M, B, ur) satisfying the above conditions (i) w~'{0) = M, and (ii) To(B) S H\M,e).
Since /f^(M,0) =
§6.2. Number of Moduli
307
H\M,&) = 0, we have, by Theorem 4.4, dim//^(M„ 0,) = dimH^(Mt,St) = 0 for r e A provided that A with OeAczB is sufficiently small. In general, if dim H^~\Mt, 0^) and dim H'^^^Mt, 0^) are independent of t, so is dim H'^iMt, St). The proof of this fact will be given in Chapter 7 (Corollary to Theorem 7.13). Therefore, in the present case, dim H^{Mf, St) is also independent of t. Hence, by Theorem 6.3, m(M) is defined and, by Theorem 6.2, m(M) = dim H\M, S ) . I Moreover, by Theorem 6.3, (Jt^, A, m) is effectively parametrized and complete. Thus, if H^{M,(d) = H^(M,(d) = 0, M has an effectively parametrized complete family (Jt^^, A, m) with 7r~\0) — M. By studying several examples of compact complex manifolds, we have observed a phenomenon that m{M) coincides with dim H\M,S) for these examples. It is in order to explain this fact that we have so far developed the theory of deformations, and we finally obtained Theorem 6.4, which makes clear that the equality m{M) = dim H\M, 0 ) holds if H^{M, 0 ) = H^{M, 0 ) = 0. This might be considered a milestone of our theory. But the fact is that there are many examples for which //°(M, 0 ) = O holds, but H^(M, 0 ) 7^ 0. So we have to say that Theorem 6.4 can only apply to the very limited class of compact complex manifolds. (b) Examples (i) Quadratic transforms of P^. We consider the quadratic transforms of M =
Q,^"'Q,^Q,SP')
as in §5.2(a)(iv). As we have seen in §5.2(a), the number m of apparently effective parameters used in constructing M is equal to dim H\M,(d). Since H\M,(d) is 0 for v^A, we suppose v^5. Then JF/^(M, 0 ) = H\M,e) = Q (see p. 225). Therefore, by Theorem 6.4, m(M) is defined and m(M) = dim f/^(M,0). Thus the number of parameters m coincides with the number of moduli m{M). (ii) Quartic surfaces. Let M^ be a non-singular hypersurface of degree h in P""^^ where we suppose n ^ 2 and h^l (see p. 219). We have seen in §5.2(c) that, except for the case n = 2 and /i = 4 , m(Mt) is defined and the equality m(Mt) = dim H^(Mt, St) holds (see p. 247). For the case n = 2 and /i = 4, that is, for the quartic surfaces Mt in P^, it remains unsettled whether the number of moduli m{Mt) is defined or not. By using Theorem 6.4, we can show as follows that the number of moduli m{Mt) is also defined and equals dim H\M, 0 ) in the case of quartic surfaces. By (3.157) dim H\Mt,
0,) = dim H%Mt,
n\Kt)),
308
6. Theorem of Completeness
where Kf denotes the canonical bundle of M^. Let E be the line bundle over P^ defined by the transition functions C^^k)/Cinj) (see p. 175), and let Et be its restriction to M^. Then, for a non-singular hypersurface M^ of degree h in P^, we have K, = E':-*
(6.45)
(see p. 178). In the present case, since /i = 4 , Kt is trivial. Hence we have dim ff^(M„ e,) = dim
H^'iM^.a]),
while H ^ ( M „ a J ) is 0 (see p. 179). Hence /f^(M„0,) = O. On the other hand, H^(M„ @,) = 0 (p. 245). Hence, by Theorem 6.4, m{Mt) is defined, and since dim H\Mt, St) = 20 (see p. 247), we have m{Mt) = dim H ^ M , 0,) = 20. This justifies what we stated in p. 247. The equality dim H\Mt, @ J = 20 also follows easily from the RiemannRoch-Hirzebruch theorem (5.24). Since Kt is trivial c, = -c{Kt) = 0,
n'=€(^/\
T * ( M ) ) = O{Kt) = 0,
Hence p^ = dim//^(M^O^) = d i m / / ^ M , , ^) = 1. Since dim//^(M„ 0 , ) dim H\Mt, 6,) = 0, we have by (5.24) that dim H\Mt,&t)
=lc2-
As q = dim H^(Mt, fl^) = 0, we have Pa=Pg-Q=^' Consequently, by Noether's formula, we have C2 = 24, and hence dim H\Mt, 0^) = 20. (iii) Surfaces of arbitrary degree. We shall compute dim H^{Mt, 0 J for a non-singular surface of degree / z ^ 3 , /i7^4, in P^. Since, by (6.45), Kt = E^~'^, €(Kt) is the restriction of OiE^'"^) to M,. If we denote the restriction map by r,, then, since [Mt] = E^, we have ker r^ = 0(E''~^®[MtT') = €(£-''). Hence 0^€(E-'')^O{E''-'')^^O(Kt)->0 is exact. We note that, in the corresponding exact sequence of the cohomology groups 0-^H%P\ €(E-^)) -> H\P\ -^H\P\€{E-''))-^"',
^ ( E ' - ^ ) ) ^ H%Mt, €{Kt))
§6.2. Number of Moduli
309
we have, by Bott's theorem H\P\ €{£-'')) = 0. Hence H\P\
(Theorem
OiE""-^)) = H\M„
5.2),
H\P\
OiK,)).
OiE'"^)) =
(6.46)
As is easily seen from the proof of Lemma 5.4, for any natural number k, dim H^(P^, 0(E^)) is equal to the number of monomials of degree k in ^o, fi, ^2, ^3, that is Ct^). Hence, by (6.46)
p,=Hh-l)ih-2)(h-3). Next, since dim H^(Mt, ©,) = 0, using (5.24) and (5.25), we get dim H\M,,
e,) - dim H\M„ S,) = 2c\ - 10(/7, + 1).
by (6.45), while p^^Pa Since c{Etf=h (p. 180), we have c\ = {h-Afh because q = dim H^{Mt, (1^) = 0. Consequently we obtain dim//^(M„e,)-dim//HM,@,) = 2(/i-4)2/i-f(/i'-6/z^+ll/i). (6.47) Since we have by (5.21) dim H\M„
6,) = l{h + 3){h + 2)(h + 1) - 16,
h9^4,
(6.48)
we conclude dim//^(M„e,)=i(/i-2)(/z-3)(/i-5),
/i7^4.
(6.49)
In particular, H^(Mt, ©^) T^ 0 for /i ^ 6. Thus Theorem 6.4 does not apply to these cases and cannot explain the fact that m{Mt) coincides with dim H\Mt, 0^) in these cases. As stated before, for a hypersurface M of an Abelian variety A""^^, the number of moduli m(M) is defined and the equality m(M) = dim H\M, 0 ) holds (p. 248). Using the Riemann-Roch-Hirzebruch theorem, we can compute dim H^(M, ©) for a surface M in A^. The result is dim H^{M, S) = 3e + 5, where e is a suitable natural number (see [21]). Hence we always have H^{M, 0 ) T^ 0 in this case. (iv) Consider the complex analytic family constructed in (2.33) in case m = 2 and h = l. Employing the same notation as in Example 2.16, we have M , = U^xP'uU2XP\
Ui=U2 = C,
where (zi, (i)e U^ xP^ and (z2, ^2)^ i^2XP^ are the same point of M, if
310
6. Theorem of Completeness
and only if z,Z2=U
^i = zU2-^tZ2.
(6.50)
We have seen that MQ = M2, and M, = Mo = P^ xP^ for r 7^ 0 (p. 73). Recall that
M^=U,xP'uU2XP\ where {z^, ^i)e U^xP^ and (22, ^2)^ ^iXP^ are identified if ZiZ2= 1 and fi = ^r^2. To compute dim H\M^,e), we first prove H\CxP\e) = 0. Proof. Since P Ms a union of Ui and U2, C x P ^ is written as CxP'=yiuy2,
where
V, = CxU,,
V2 = CxU2,
i.e., '^ = {Vi, V2} forms an open covering of CxP^ by two coordinate neighbourhoods Vi and V2. Both Vi and V2 are biholomorphic to C^ = C x C, and Dolbeault's lemma (Theorem 3.3) is valid for C^ regarded as a bidisk of radius 00. Hence Lemma 5.2 applies to the covering 93, and we obtain
H\C XP\ O) = H\^, S) = ZH«, e)/8C%^, 0). A 1-cocycle {^12, ^21} belonging to Z^(SS, S) consists of holomorphic vector fields 612 and ^21 on V^ n V2 with ^12 = -^21, while C^(9S, 0 ) is the set of all pairs {^1, 62}, where Oi and 62 are holomorphic vector fields respectively on Vi and V2. Hence, in order to prove //^(9S, 6 ) = 0, it suffices to show that any 1-cocycle {612, ^21} is represented as 8{62, O2}, i.e.,
Let w be the coordinate on C. Then, in terms of the coordinates (w, Zi) on y^ = u^ x p \ the holomorphic vector field O12 on V^ n V2 is written in the form Oi2=u(w, z i ) — + u(w, Zi) — , dW
dZi
where M(W, Zi) and i;(w, Zj) are holomorphic functions on VinV2 = C X (L^i n L^2) = C xC*. Hence they can be expanded into Laurent series in Z\' +00
W(W, Z i ) =
I n = —00
+00
Wn(w)z",
U(W, Z i ) =
I
l^n(>v)z",
n = —00
where the u„(w), v„iw) are entire functions of w. In view of Zi = I/Z2 and
§6.2.
Number of Moduli
311
d/dzx = -zl{d/dZ2), if we set
n=0
OW
n =0
OZi
+00
•)
+00
n
„=1
dW
„=i
dZ2
62=1 «_„(w)zs—-1 D_„(w)zrv> then ^1 and O2 are holomorphic vector fields on Vi and V29 respectively, and satisfy 612 = O2-O1. I FutWj=UiXP^ and W2 = ^2 xfP^ Then 28 = {\^i, W2} is an open covering of Mrn, and both W^ and W2 are biholomorphic to C x P ^ Hence H\ Wu 0 ) = H'( W2, 0 ) = 0. Therefore, by Theorem 3.4, we have
H\M^,
e) = H\m, e) = z^ss, e)/8c%m, e).
We represent a 1-cocycle {612, ^21} ^^^(SB, 0 ) by the holomorphic vector field (9i2 = -^21 on W^ n W2. Then, this 1-cocycle belongs to 5C^SB, 0 ) if and only if there exist holomorphic vector fields ^1 and 62 respectively on Wi and W2 such that ^2-01 = ^12.
(6.51)
By (2.36) di is written in the form ^i = t^i(^i)/-+(«i(^i)^?+iSi(z0^i + r i ( z O ) - f , dZi
dL,x
where i^i(zi), ai(zi), ^i(zi), yi(zi) are entire functions of Zi. Similarly, by (2.37), 62 is written in the form ^2=t;2(Z2)-^+(a2(Z2)^^+i82(^2)^2+r2(^2)):;7-, ^^2 dCi where 1^2(^2)? (^li^i)^ Pii^i), 72(^2) are entire functions of Z2. We write 612 as follows in terms of the coordinates (zi, ^i): ^i2 = t;i2(zi)-^+(ai2(zi)f? + i8i2(^i)^i + ri2(^i))T7r. Here 1^12(2:1),* «i2(^i)? iSi2(^i), 712(^1) are holomorphic functions of Zi on U^n 1/2 = C^, hence, are expanded into Laurent series in z,. In terms of the coordinates (zj, fj) with Zi = l/z2, ^i = z^^2 in place of (z2, ^2), ^2 is
312
6. Theorem of Completeness
written in the form
dZi
\
Zi
/ dii
(see p. 74). Hence the equation (6.51) is reduced to the following system of equations: -z^^V2\—j - v^{z^) = Vi2{zi),
zToi2(—]-^\izi)
= ai2{zi),
m z i i ; 2 f - ) + i 8 2 ( - j - i 8 i ( z i ) = iSi2(2i), -i^^ril —) - yi(zi) = yiiizi). Z\
\Zx}
In ca^e m = 0 or 1, these equations always have a solution. For m^2, let 712(^1) =Z^=-oo ^n^" t)e the Laurent expansion of 712(^1)- Then the above equations have a solution if and only if c_i = c_2 = • • • = c_^+i = 0. Hence we obtain dim
H\M^,e)
m = 0, 1, m = 2,3,4,...,
(6.52)
and for m ^ 2 , the 1-cocycles e,2 = z'2 — eZ\^,e),
fc=l,2,...,m-l,
(6.53)
form a basis of H\M^, @) ^ H^SB, 6 ) . Next we shall prove (6.54) Proo/ Since we have dim H\M^,@) = dim H\Mrn,^\K)) by (3.157), it suffices to prove /f^(M^, a ^ i ^ ) ) = 0. Since M^= U^xP'^ U2XP\ P^ = C u {00}, any (/r e H^{Mm, ^\K)) is written on L/i xC c= [/i xP^ in the form ^ = {g(zu Cx) dz, + /z(z„ ^1) dC,)®{dz, A c/^0,
§6.2. Number of Moduli
313
where g(zi, fi) and h{zi, ^i) are holomorphic functions of Zi and ^j 7^00. We note that if/ is required to be holomorphic in a neighbourhood of Ui x 00. Changing the coordinate ^1 to the local coordinate w = l/^i at 00, we obtain
Thus (l/>v^)g(zi, 1/w) and (l/w'*)/i(zi, 1/w) must be holomorphic in w. Hence g(zi, ^0 = h{zu Ci) = 0, i.e., ip = 0, I With these preparations, we return to the study of the complex analytic family defined by (6.50). Since MQ= M2, and M^ = MQ, t9^0, WQ have, by (6.52),
dim/fHM„€),) = |^'
J^^'
(6.55)
In order to compute the infinitesimal deformation of M^, we write (6.50) as Zl =f\2{Z2, ^2, 0,
Cl =fUz2, ^2, 0,
where f^izi, Ci, 0 = 1/^2 is independent of t^ and 7^2(^2, ^2, 0 = ^2^2+ ^^2The infinitesimal deformation dMJdteH\Mt,%t) is nothing but the cohomology class of the 1-cocycle . .,. a/l2(^2, ^2, t) 0 Jt) =
d
= Z2
d
.
For 1-0, Z2{d/d^i) forms a basis of / / ^ M o , BQ) = / / ' ( M 2 , 0 ) by (6.53). Hence po- To(C)^ H\MO,SO) is surjective. Therefore, by the theorem of completeness (Theorem 6.1), the family {Mt\teC} is complete at ^ = 0. Since H^(M2, B) = 0 by (6.54), there exists a family (M, B, m) such that zjj~\0) = M2 and that poi To{B) ^ H\M2, 0 ) with OeBaC. This is nothing but our {MjrGC}. For r^^O, H\M,, 0,) = O by (6.55). Hence dMJdt = 0 and the family {MjreC} is complete at any t. Therefore { M J ^ G C } is a complete complex analytic family. We can also prove dMJ dt = 0 for r^^O by direct calculation. By (6.50) = dZ2
5 zldz,
+(2Z2^2+0 , 'dC,
=zl 8^2
Hence d tZ2—=Z2d(i
d dZ2
^^ d d 2^2 — + ^ ! — . 3^2 dZi
dCi
314
6. Theorem of Completeness
Therefore, if we put
t \
dZ2
3^2/
6i{t) and ^2(0 are holomorphic vector fields on (7i xP^ and L/2 xP^ respectively, and we have ^12(0 = ^ 2 ( 0 - ^ 1 ( 0 . Hence, for t^O, the cohomology class dMJdt of the 1-cocycle ^12(0 is 0. Note that the limit ^i(O) = lim.^o ^i(0, ^2(0) = HnifUo ^2(0 do not exist. This explains the reason why dMJdt 7^ 0 for t = 0, even though ^12(0 = ^li^/^Cx) is apparently independent of t. For the complete family {M^ U e C}, we have dim H\MO, SQ) = 1, and dim H\Mt, @t) = 0 for r 7^ 0. This implies, by Theorem 6.3, that the number of moduli m(M2) is not defined. Recall that dim H^{M2, %) = ! (see p. 75). This example shows that even if H^{M, 0 ) = 0, the number of moduH m(M) is not necessarily defined in case H^{M, 6 ) 7^ 0. The complete family {Mt\teC} contains all sufficiently small deformations of M2 = ^0 (P- 228). Therefore for the study of small deformations of M2, it suffices to investigate {M, | r e C}. For r 7^ 0, M, = MQ = P^ x P \ so Mt "jumps" from M2 to MQ at the moment t moves away from 0, and M^ does not change as far as ^ 7^ 0. This suggests that the number of parameters for M2 is not 0, but "almost" 0. The existence of such examples as M2 above is one of the reasons why we do not define m(M) if there exists no effectively parametrized complete family {M, B,m) with tt7~^(0) = M. Let {Jt, B,xu) be a complex analytic (or differentiable) family and let Mt = m~\t). Suppose that H^MfO^ 0^0) = 0 at some point t^eB. Then, by the Frolicher-Nijenhuis theorem (Theorem 4.5), Mt = M^o for all t sufficiently near t^. In other words, the complex structure of M^o does not vary by a small change of the parameter t. But for a large deviation of t from t^, Mt is not necessarily biholomorphic to Mt. The above-mentioned family { M J ^ G C } gives such an example. Namely, if we take ^ ^ = 1 , then
M, = P'xP\
H\M,,e,)
= 0,but
Mo=M2^M,.
§6.3. Later Developments We have explained above how the theory of deformations of compact complex manifolds developed till about 1960. We observed the phenomenon that for several compact complex manifolds M, their number of moduli m{M) coincides with dim H\M,S), and conjectured that the equality m(M) = dim H^(M, B) might hold for any compact complex manifolds. Considering this as a working hypothesis, we developed the theory of
§6.3. Later Developments
315
deformations and proved that the conjecture is true if H^{M, 0 ) = //^(M, (2)) = 0 (Theorem 6.4). However, with many examples, we find that H^(M, S) 9^ 0. For example, as in (b) of the previous section, H^(M, 0 ) ?^ 0 for a non-singular surface M of degree at least 6 in P^. In spite of this, the equality m(M) = dim if ^(M, O) holds for these surfaces. At that time we could find no example of M for which m{M) 9^ dim H\M, 6 ) . In order to explain this strange phenomenon, we thought that we need to generalize the theorem of existence (Theorem 5.6) to the case H^{M, 0 ) 9^ 0. As stated earlier (p. 259), there exists an M with 0e H\M, 6 ) such that [0, e]9^0. Therefore, in general, there does not exist, for a given M, a complex analytic family (Jt, B, m) satisfying the conditions (i) and (ii) of Theorem 5.6. But at that time—about 1958—we could not understand at all what should be the conditions for the complex analytic family that we must seek. We did not know what is to be proved to exist. H. Grauert, who was working very energetically on several complex variables, agreed with us that this was a difficult problem. The theorem of existence for general case was proved by M. Kuranishi in 1961 ([22]). We will explain the outline of his theory below. We first recall the equality (5.105):
if^'^(T) = H'''^(r)en^^'^(r),
T=T{M).
Substituting H^'^ (T) 0 D if^'^ (T) for if^'^(r) in the right-hand side, we obtain, in view of H^'^(r) = 0,
if''^(r) = H''^(r)enn^''^(T). Hence any ijf in ^^'^(T)
(6.56)
is written in the form
Since H^'^(T) and nif^'^(T) are orthogonal to each other, 77 and (p are determined uniquely by if/. Writing Hif/ for rj and Gif/ for (p, we obtain ^ = Hijj + nGip,
HiljeH'''''(T),
GilfeD^'^'^T).
(6.57)
Note that H: if/^ Hif/ and G: il/-^ Gip are linear operators. We call Hijj the harmonic part of J/^, and G the Green operator. The Green operator that was introduced in §5.3(c) is a special case of this one. Since we have H^ijj = 0, it follows by (6.57) that ^(A = D Gdijj. On the other hand, applying 'd to both sides of (6.57), we obtain dijj = dUGilf = dbdGil/ = UdGiff
316
6. Theorem of Completeness
because D =ab + ba. Hence we obtain Gd = dG.
(6.58)
For this G, we have the following estimate similar to (5.111): |G^U^«^c^|(AU-2+«,
ilfe^'-'iT),
k^l,
(6.59)
where c^ is a constant independent of ifj. Let {^u . . . , /3^} be a basis of H^'^T) and put
We shall determine a power series
j^lH
Hi/^^2
in ? i , . . . , ^m, hy requiring the condition
(6.60)
Writing (/?(0 =
hG[
^= 2,3,....
i
Hence ^ ( 0 is uniquely determined by the condition (6.60). By the same method as in §5.3(c), we can prove that (p{t) converges with respect to the Holder norm | \k+a for t with |^|<e, provided e > 0 is sufficiently small, and that (p{t) is C°° on M x A „ where ^,={teC'^\\t\<e}. Lemma 6.3. Suppose e>0 is sufficiently small and |^| < e. Then (p(t) in (6.60) satisfies the integrability condition (5.86): ~d
§6.3. Later Developments
317
Conversely, suppose that H[(p,(p] = 0, and put il^=^(p, (p] — d(p. Since d(pi{t) = 0, applying d to both sides of (6.60), we obtain d(p=^t>G[(p,(pl Since H[(p, (p] = 0, [
Hence
If e is sufficiently small and if |^|<e, then KiK2C^\(p{t)\k+cx<\' Hence I'Alfc+a <\\^\k+cx, and (/^ = 0. Thus we obtain ^cp =^(p, (p\ I Let { r i , . . . , 7/}, / = dim //^(M, 6 ) , be an orthonormal basis of H^'^( T). Then we can write H[cp{t),ip{t)^=
i
{[cp{t),^{t)ly^)y^.
k=\
Put fk{t) = ([(P(OJ <^(0]J 7k)- Then the /^(O are holomorphic functions of t. By»Lemma 6.3, <^(r) satisfies the integrability condition if and only if fi{t) = ' ' ' =fiit) = 0. Therefore, if we set B = {teA^\Mt)
= "'=fM
= 0},
then B is an analytic subset of A (p. 33), and, by the Newlander-Nirenberg theorem (Theorem 5.5), (p{t), for each teA, defines a complex structure Mt on the differentiable manifold M. In this way, we obtain a ''complex
318
6. Theorem of Completeness
analytic family" {Mt\teB} of deformations of M. But, note that in this case B may have singularities so that we must suitably generalize the definition of "complex analytic family". Furthermore, the family {M^ \te B} can be proved to be complete in a sense similar to Definition 5.3 ([22]), but the proof is rather difficult. Theorem 6.5 (Theorem of Existence). For any compact complex manifold M, there exists a complete complex analytic family {Mt\te B}, 0 G J5 c: A^ with Mo = M. The above family {Mt\teB} is called the Kuranishi family. Here B is an analytic subset of A^ defined by / holomorphic equations / i ( 0 = * * ' = fi(t) = 0, where dim ^, = m = dim H\M, 6 ) , and / = dim H\M, O ) . Hence, we have dim B ^ dim H\M,
S) - dim H\M,
0).
(6.61)
B ) - dim H\M,
6),
(6.62)
From this inequality, it follows that m{M) ^ dim H\M,
provided m(M) is defined. If H^{M, 0 ) = 0, Theorem 6.5 is reduced to Theorem 5.6, herice Theorem 6.5 is an extension of Theorem 5.6. But, if we take the view-point of trying to explain the phenomenon that the equality m{M) = dim H\M,S) holds for various examples of M, then Theorem 6.5 is quite different in nature from Theorem 5.6. For example, let M be a non-singular surface of degree h in P\ Then, by (6.47) dim H\M,
0 ) - d i m H\M,
0 ) = —(/z^-18^1 + 41).
Hence the left-hand side is negative when / i ^ 16, and in these cases the inequalities (6.61) and (6.62) are trivial. Thus in case dimf/^(M, 0 ) ^ dim /f ^(M, 0 ) , Theorem 6.5 is an existence theorem for its own sake, and gives us no information about the family {Mt\te B} except that it is complete. In particular. Theorem 6.5 is ineffective in explaining that m{M) coincides with dim H\M, 0 ) for various M. Nevertheless, it is obvious that Theorem 6.5 is of fundamental importance in the theory of deformations of complex structures. This reflects a fundamental difference between mathematics and physics. In physics, if a theory is developed for the purpose of explaining certain phenomenon and fails to do so, then that theory must be useless. Even with Theorem 6.5 in hand, we could not prove our conjecture m(M) = dim/f^(M, 0 ) , so we suspected that there might exist counter-
§6.3. Later Developments
319
examples to our conjecture. In search of such counterexamples, we calculated m(M) and dim H\M, 6 ) for various algebraic surfaces. We believed that algebraic surfaces were relatively easy to handle, but calculating m{M) and dim H\M, S) was difficult in most cases. Furthermore, to our surprise, d i m / / ^ ( M , 0 ) was much more difficult to calculate than m{M). The is determined only by M itself, while, in order to dimension of H\M,S) calculate m(M), we must know an effectively parametrized complete complex analytic family (M,B,m) with m~\0) = M. So we supposed that dim H^(M, 6 ) would be easier to calculate than m{M), but it turned out to be the contrary. For many examples of M, while m{M) was calculated, we could not find dim H\M,S). Still, when we got both of m(M) and dim H\M, ©), we found that miM) = dim H\M, 0 ) holds. In 1962, D. Mumford constructed a counterexample to this conjecture ([25]). His example is a 3-dimensional complex manifold M = iJidP^) obtained from P^ by a monoidal transformation fjuc whose centre is a certain curve C c: p^ of genus 24 and degree 14. Because Mumford's construction cannot be applied to the case of surfaces, we hoped that the conjecture might be true for surfaces, i.e. for 2-dimensional compact complex manifolds. However, in 1967, A. Kas found a 2-dimensional counterexample. A surface M^ is called an elliptic surface if the following two conditions are satisfied: (i) There exists a holomorphic map
dim
H\M,e).
Chapter 7
Theorem of Stability
In this chapter we give proofs of Theorem 4.1, Theorem 4.4, Lemma 4.1, and other results used in the previous chapters. The proofs depend on the theory of differentiable families of strongly elliptic differential operators.
§7.1. Differentiable Family of Strongly Elliptic Differential Operators (a) Strongly Elliptic Partial Differential Operators Let X be a compact differentiable manifold and { Uj} a sufficiently fine open covering of X where each Uj is a coordinate neighbourhood. Let Xj. x-^ Xj = ( x j , . . . , xJ) be a system of C°° local coordinates of X defined on some domain containing [Uj]. We assume that X is oriented and that its orientation is determined by the coordinate system {Xj}. Let B be a complex vector bundle over X, TT its projection, and ( f ] , . . . , ^/) the fibre coordinates of B defined over some domain containing [Uj]. If we let bj^ix) = {bjk^(x)} be a system of transition functions of B, then 7r~\Uj)= UjXC, and the points (x, Cl..., ^;) G Uj x C " and (x, ^L . . . , Ck) eUkXC" are the same point on B if and only if ij=Y,^ ^^v^fcA C°° section il/ of B over X is represented on each Uj by a vector-valued C^ function iff = IIJJ{X) = {if/jix),..., IIJJ(X)), where lAt = Z ^ b^k^^'j^ holds on Ujn Uk9^ 0 . Let L(B) be the vector space of all C°° sections ip of B over X, and E a linear partial differential operator of L{B) into itself. Namely, E: if/-^ Eij/ is a linear map of L(B) into itself such that we can write, on each Uj, (Eik)^{x) = i
Elix,
Dj)^f{x),
A = 1,..., K
Here Ej^(x,Dj) is a polynomial of Dj^=d/dxf,a coefficients are C°° functions of x:
= l,...,n,
(7.1) whose
§7.1. Differentiable Family of Strongly Elliptic Differential Operators
321
We express Ej^{x, Dj) as a sum of homogeneous polynomials Ef^{x, Dj) of degree / in Dj^, a = 1 , . . . , n. Then (7.1) is written as m
u
iE,p)fix) = 1 1
£j^(x, Dj)il,f{x),
A = 1,..., K
(7.2)
/ = 0 fx = l
Here we may assume that at least one of EfJ^{x, Dj) is not identically zero. If so, m is called the order of E. In what follows, we assume that the order of E is even. Let gacfi be a C°° symmetric covariant tensor field of rank 2 on X (p. 106). On each Uj, g«^ is represented as Z
gjap(x)dxf
dxf,
where
dx^ dxf
=\{dxf®dxf-hdxf®dxp,
and the gjapM = gjpaM are real C°° functions on Uj. If the corresponding quadratic form Z«,^ g7«/3(^)^"f^ in real variables ^^ . . . , f" is positive definite at each point xeX, then X« ^ gjap M dxf dxf is called a Riemannian metric on X In this case, if we set gj = gj(x) = det(gj«^(x))«^^^i... „, we have gj(x)>0, and V g / ( x ) J x j A • • • A dXj =\/gkix)
dxi A • • • A JXfc
on Ujn Uj^T^ 0 . For simplicity, we use the following notation: Vg dX = Jgj dXj = ^/gj(x) dx]A"'A
dxj.
Then Vg J X is a C°° n-form on X, and vgy(x) > 0. Hence v g J X is a volume element of X which is invariant under coordinate change. Now we shall introduce an inner product on L(B). For this, we assume that X has a Riemannian metric Y.l,p=i gjafiM dxj dxj_, and that, on the vector bundle B, a Hermitian metric Zl,^=.i ^jAfiMCj^j" is defined on the fibres. For any lA, ^ e L(B), we define their inner product by r
X aj,^ix)4>Hx)
(7.3)
We denote by \\^|/\\=^/(^|J, ifj) the norm of IIJ. Definition 7.1. Let £ be a linear partial differential operator. If, for any (p,il/eL(B), the equality {Eip, (p) = (il/, Ecp) holds, then E is said to be formally self-adjoint.
322
7. Theorem of Stability
If E is formally self-adjoint, then as is easily verified by integrating by part, we have the following equality. Z aj^^{x)E^,-ix,Dj)=
I
a,,^{x)El%x,Dj).
(7.4)
In the sequel, E is not necessarily assumed to be self-adjoint, but we always assume that the equality (7.4) holds for E. Consider the polynomials E'P^ix, ^j) in ^ ^ i , . . . , ^j„ which are obtained from £j^"(x, Dj) by replacing Dj^ =d/dxj by the real variables ^„ = ^^^. We regard ^« as the components of a covariant vector ^ E T J ( X ) at X G X Put
AU4c<)=(-i)""' I v^W£,r(x, f,)^;^;. Then, by (7.4), Aj{x, ^j, {,) is a Hermitianform in ^ ] , . . . , ^/. Since E^A ^ ^ ( ^ ) for any if/e L(B), we have, on L/^ n Uk^0, (Eilj)}(x)=lbj,^(x)(Eilj)Ux), hence
Therefore, we have, on UjO 17^7^ 0 ,
Hence, suppressing the subscript j , we may simply write A{x,^,n
= Aj(x,^j,Q.
(7.5)
Let (g"^(x))«^^ =.!...„ be the inverse of the matrix (gai3{x))a,i3=i,...,n. We define the length of a covariant vector ^e r J ( X ) by |f| = V Z l ^ ^ g ^ ^ W ^ . Definition 7.2. A linear partial differential operator E of even order m is said to be strongly elliptic if there exists a constant 5 > 0 such that, for any xeX, ^e r * ( X ) , and f e B^, the following inequality A(x,^,a^d'\^r
Z
aj.^ix)^}^,^
(7.6)
holds. In the rest of this section, we assume that E is a strongly elliptic, formally self-adjoint linear partial differential operator.
§7.1. Differentiable Family of Strongly Elliptic Differential Operators
323
Let F be the linear subspace of L(B) consisting of all solutions of Eif/ = 0. It is known that ¥ = {il/e L{B)\ Eij/ = 0} is of finite dimension (for the proof, see Theorem 7.3 in the Appendix). Moreover, L{B) is decomposed as follows into the direct sum of the subspaces orthogonal to each other: L{B) = ¥@EL(B)
(1.1)
(Corollary to Theorem 7.4 in the Appendix). We denote by F the orthogonal projection of L{B) into F. Then there exists a linear map G of L(B) to EL(B) such that, for any il/eL(B), EGij/ = GEIIJ = IIJ-FII/
(7.8)
(Theorem 7.4 in the Appendix). The linear map G is called the Green operator. Let A G C be a complex number. If there exists ee L{B) with e9^0 such that Ee = Xe, then we call A an eigenvalue of E and e an eigenfunction of E. From the assumption that E is formally self-adjoint, it immediately follows that all the eigenvalues of E are real. As regards the eigenvalues and eigenfunctions of E, the following theorem is of fundamental importance. Theorem 7.1. We can choose eigenfunctions e^ e L{B) of E with Ech = XhCh, /i = 1, 2 , . . . , satisfying the following conditions: (i)
{ei, e2,..., Ch,...} form a complete orthonormal system of L(B). Namely, (Ch, e^) = 6^,^, and any if/e L{B) is expanded into the series oo
'/'= E {^,eh)e,
(7.9)
h= l
(ii)
which converges with respect to the norm \\ ||. A i ^ A 2 ^ - • - ^ A ^ ^ - • • , and Xh^-^^ih-^-^00).
Proof of Theorem 7.1 will be given in the Appendix, §7(b). Since (Eij/, Ch) = ((A? ^^H) = ^h(^, ^h), we have oo
Eilj= I A,((A,e,)e,.
(7.10)
h=i
Suppose that • • • ^ A^ < A^+i = Xq+2 = - • • = A^ = 0 < A^+i ^ • • • . {Cq+i,..., Cp} form an orthonormal basis of F. Therefore, we have F^=
I
i^,e,)e,.
Then
(7.11)
324
7. Theorem of Stability
As for the Green operator, we have GilJ= I
-^(^,e,,)e,.
(7.12)
In fact, since Gif/ e EL(B), we have FGif/ = 0. Therefore G(A= I
{Gil/,eh)eh.
On the other hand, since EGil/ = ij/- Fif/ by (7.8), we have
Hence we obtain (Gi//, e^) = (l/Xh)(^, ^h), and (7.12) is proved. (b) Differentiable Family of Partial Differential Operators In this subsection, we consider a family of partial differential operators Et acting on L{Bt), where Bt is a complex vector bundle over X depending on the parameter t. We suppose that the parameter t moves in a small domain A of R^. We first define the notion of a family {Bj ^ G A} of complex vector bundles over X being differentiable in t Let ^ be a complex vector bundle over X x A and TT: ^ ^ X x A its projection. Then for each r G A, B, = 7r~^{X x r) is a complex vector bundle on X = X xt. Definition 7.3. A family { B J ^ e A} of complex vector bundles Bf over X obtained as above from a complex vector bundle B over X x A is called a differentiable family of complex vector bundles over X. Since we only consider the case in which A is sufficiently small, choosing an open covering { Uj} by sufficiently small coordinate neighbourhoods Uj, we may assume 7r-H^-) = C ^ x ^ . x A . The points ({y, x, r) e C x ^- x A and ( 4 , x,t)eC'' point of ^ if and only if ^j= i
h%^{x,t)CL
xUkX^
are the same
(7.13)
/x = l
where bjk^(x, t) is a C°° function on (L/^ n L4) x A. For each member Bt of the differentiable family {JBJ ^ e A}, we use ibjj^^(x, t)) as transition functions.
§7.1. Differentiable Family of Strongly Elliptic Differential Opbrators
325
We also use the fibre coordinates ( ^ j , . . . , (J) of^ as those of each Bf. These fibre coordinates on Bt are called admissible fibre coordinates of Bf. F8r example, if we say that a C°° section i/^^ e L(Bt) of Bt is represented bj^ a vector-valued C°° function on Uj as (A,(X) = ( ( A ! , ( X ) , . . . , ( A O W ) ,
(7.14)
we always suppose that ((/rjy(x),..., il/yix)) are the admissible fibre coordinates of il/t{x)e Bt. Hence, on Ujn U^T^ 0 , we have ^tj(x)=
i
bf^^{x,t)ilj'tk{x).
(7.15)
Definition 7.4. Suppose we are given a C°° section (/r^ e L{Bt) of Bt for each re A. If each admissible fibre coordinate «A^(jc) of i/^^x) is a C°° function of (x, 0, then if/t is said to be C°° differentiable in t. Put (Aj'(^, 0 =
^?,(A:).
Then, by (7.15)
hence, ^: (x, t)->^j{x, t) = {IIJ]{X, t),..., il/J(x, t)) is a section of ^ over X x A , and each ij/t is the restriction of^ ip to X xt: il/t = ^\xxf In other words, to say that the if/t e L{Bt) are C°° differentiable in t is equivalent to that each if/t is the restriction to X x r of a C°° section if/ of ^ over X x A. Definition 7.5. Suppose we are given a linear operator A^: L{Bt) -> L(B^) for each re A. If A,(/^f is C°° differentiable in r whenever [fjt^L{Bt) is C°° differentiable in r, then A^ is called C°° differentiable in r, and the family { A J ^ G A} is called a differentiable family of linear operators. Suppose that a linear differentiable operator £,: L{Bt)-^ L{Bt) is given for each r e A. By (7.1), for arbitrary (/^, G L{Bt), we have iEtilft)fM = i
El(x,
t, D,)eA^(x).
(7.16)
Put 1^7 (x, t) = il/^j{x), (pj(x, t) = (p^j{x) where (Pt = Et^t- Then (7.16) is written in the form
9t(x,o= i £j;.(x,r,D,)^;(x,o. The C°° differentiability of Et in r means that, if the iff'^ix, t), IJL = \, ..., v arc C°° functions of (x, t), then the
326
7. Theorem of Stability
functions of (x, t). Therefore, E^ is C°° differentiable in t if and only if the coefficients of the polynomials Ej^{x, t, Dj) in Dj^,..., Dj^, A, /x = 1 , . . . , i^, are all C°^ functions of (x, t). Assume that a Hermitian metric on the fibre Tal^=i ^jx/ii^, t)^j^f is given on ^ . Then we define the inner product of if/t, (Pt ^ L{Bt) by I aj,4x,t)ilj^j{x)
i^t,(pt)t =
(7.17)
X A,)u,
It is important to note that the aj^^iix, t) are C^ functions of {x, t). Hereafter, when we say a linear differential operator E^ on L{Bt) is formally self-adjoint or strongly elliptic, it is so with respect to the inner product ( , )t defined by (7.17). Suppose we are given a differentiable family {Et\teL} of formally self-adjoint strongly elliptic linear partial differential operators E^ on L{Bt). By virtue of Theorem 7.1, we determine, for each Et, the eigenvalues kh{t), and eigenfunctions Cth e L{Bt) with EfCth = Xh{t)eth satisfying the following conditions: (i) (ii)
{eth\h = 1,2,...} form a complete orthonormal system of L(Bt). A i ( 0 ^ - • • ^ A / ( 0 ^ - • •, and Xhit)-^oo (h^oo).
Let ¥t = {il/e L(Bt)\Etijj = 0}, and let F^ be the orthogonal projection of L(5,) toF,. Then by (7.11), Ft^=
Z
(^,eth)eth,
ipeL{B,).
AA(0=O
In this section we shall prove the following three theorems ([21]). Theorem 7.2. kh{t) is a continuous function
ofteA.
Theorem 7.3. dim F, is upper-semicontinuous in ^ G A. Theorem 7.4. If dim F, 15 independent ofteA, teA.
then Ft is C°° differentiable in
Note that Xh{t) is not necessarily differentiable in t. This c a n b e seen, for example, by the matrix (} {) whose eigenvalues Ai(0 = 1+V^ A2(0 = are not differentiable at ^ = 0. We give below proofs of Theorems 7.2, 7.3, and 7.4. Obviously we may assume that the domain A is a multi-interval: A^={teU^\-s
= l,..., N},
e>0.
Furthermore, if necessary, we may replace Ag by a smaller A^, with 0<e' and prove the theorems for A = A^.
<e,
§7.1. Differentiable Family of Strongly Elliptic Differential Operators
327
Recall that each vector bundle Bt in a differentiable family {Bt\teA^} is the restriction to X x ^ of the vector bundle ^ over X xA^: Bt = ^\xxt = 7T~^{X X t), where TT is the projection of ^ . On the other hand, it is obvious that Bo X Ag is a vector bundle over X x A^. Lemma 7.1. The vector bundle ^ over X x A^ is C°° equivalent to the vector bundle
BQXA^.
Proof. Let TTQ: BQXA^-^X XA^ be the projection of BoXA^. We want to construct a diffeomorphism ^ of the JBQ x A^ onto ^ which maps each fibre 7ro\x, t) linearly onto 7r~\x, t). For this, we apply a method similar to the proof of Theorem 2.4 (pp. 64-66). Let {Uj} be the finite covering of X as mentioned above, and put % = 7r-\Uj XAJ = C" X UjXA,. Then ^ = U j %, where ({,, x, 0 G % and (^fc, x, t) e ^ ^ are the same point on ^ if and only if ^j=lb%^ix,t)C^. (1°) The case N = 1. We denote by (d/dti)^ the vector field d/dt^ on ^fc. Let {pfc(x)} be a partition of unity subordinate to the covering {L4}. Then v = lPk(x)l
—)
k
\dti/k
is a C°° vector field on m. On % n^j,9^0,
we have
In view of CZ = 1^ Kj^(x, ^i)^f, if we set vfM
h) = I P.(x) I ^^^^-/^^- ''^ bZjAx, t,\ k
o-
oil
then t^jju,(x, ^i) is a C°° function on t/j x A^, and we have - p i U ' , ) & ! : + ( £
CIS)
on %;. Note that (7.18) is similar to (2.25) except that here the coefficients 1^ < ( x , t,)C^ of d/d^}. are linear in ij, ...,CJ.
328
7. Theorem of Stability
Consider the simultaneous ordinary differential equations for v: ^ =
i
vlix,t,)cr,
A = l,...,n, (7.19)
dt For each point (^o> x, 0) of Bo= 7r"'(X xO), we consider the initial conditions [^'(0) = ^o,,
A = l,...,n,
|<.(0) = 0, and let \0it) = cH^oj,x,t),
\ =
i,...,p,
be the solutions of (7.19) satisfying these initial conditions. Then ^I': U^j, X, t) -* Uj,x, /,) = UjUoj, X, t), X, t) is a diffeomorphism of BQXA^ onto ^ . Since the equations (7.19) are linear in Cj, • • •, ^j, the solutions i^Uoj, x, t)
Hence ^ maps each fibre TTOH^, 0 of ^o^-^e linearly onto 7r~^{x, t). (2°) General case. We can prove the general case by induction on TV just as in the proof of Theorem 2.4. I The diffeomorphism ^ : BoXA^^ ^ is written on each 7TO\UJ X A ^ ) as
^ : Uoj.x, t)^Uj,x, t),
Cj=lfjM
t)ar
In other words, ^ is a vector bundle obtained from BQ x A^ by the change of coordinates {^oj, • • •, Coj) ^ (^j, • • •, ^/)- Therefore ^ is the same vector bundle as BQxA^, and each Bt in the differentiable family {Bt\te A} is the same as BQ. Consequently, we may assume that the Bt = B are one and the same vector bundle independent of t, and consider a differentiable family {Et\te^} of partial differential operators Et on L(B).
§7.1. Differentiable Family of Strongly Elliptic Differential Operators
329
The Hermitian metric on the fibre Y^x^ ^j\fi(^, ^)C^^f of the vector bundle ^ = B X Ag over X x A^ depends in general on t. Therefore the inner product given by (7.17): (^,
I a,,^{x, t)^]{x)ipf{x)J~g
dX,
il;,cpe L{B)
J X \,fJL
also depends on t. Assume that each E^ of the differentiable family {Et | ^ e A} is a strongly elliptic linear partial differential operator of even order m. Then, if we write Et in the form (Etilj)f(x)=l
Z
Elix,t,Dj)iljr(x),
then the equality (7.4): I
aj^^{x,t)EJl-{x,t,Dj)=
o-=l
I
aj,^(x,t)ET^-{x,t,Dj)
o-=l
holds, and if we put
X,IJL,cr
the inequality (7.6):
A(x, t, i, a ^ 8'\ir I a.^ix, o^'r,
5> 0,
(7.20)
holds. Restricting the domain of t to A = Ag' with e ' < e , so that [A]c: A^, we may assume that 8 is a constant independent of t. We put Dj^ = d/dxj as before. We let D] denote an arbitrary differential of rank /:
We define the norm ||jA||fc, /c = 0, 1 , . . . , of i/^G L{B) by
\l = 0 j
Dj J Uj ^
I
where the summation X^' is taken over all partial differentials D] of rank /. The norm \^\k is equivalent to the Sobolev norm given by (3.7) in the Appendix. Namely, if we denote the Sobolev norm by || ||/f^\ then, by Proposition 1.2 in the Appendix, there is a constant K > 1 depending only
330
7. Theorem of Stability
on k such that
In particular, for A: = 0, we have
0=1
II
[
dXj,
j J Uj A
while as for the norm \\if/\\t = ^{if/, i(/)t, we have II
dX.
J X A,/x
Therefore there is a constant Ko> \ independent of ^e A such that I.^Koll^llo
and Mo^KoM,
(7.21)
Lemma 7.2 (Sobolev's Inequality). For any integer / ^ O , and any natural number k>n/2 with n = dimX, there exists a constant c^i such that the inequality \D]il,^{x)\^Cu,M\k^u
il^eL(B)
(7.22)
holds. Proof. See (3.33) in the Appendix. I Lemma 7.3 (Friedrichs' Inequality ([6]). Let k be a non-negative integer. Then there exists a constant c^ independent of t such that the inequality (UU^J'^Cj^QEMll^Ml).
il^eL(B)
(7.23),
holds. Proof Since {Et 11 e A^} is a differentiable family of strongly elliptic operators and since [A]c: A^, by Theorem 4.1 in the Appendix, there is a constant Q such that (UU^^r^C^(\\EM\l-^Ml),
^eL{B).
(7.24)
If k
§7.1. Differentiable Family of Strongly Elliptic Differential Operators
331
(7.23)fc. By (7.24)
while by (7.23)fc-i
Since HEfiAUfc^ig ||£,'||fc, we get
(Uh^J'sail
+ c.KWEMi+Ml)-
Hence, putting c^ = Cfc(cfc_i + 1), we obtain (7.23)^.
I
Theorem 7.5. Assume that Et'. L{B) -» L{B) is bijective for each teA. If there exists a constant c>0 independent of te^, such that, for any if/e L(B) \\E,il,\\o^cMo,
(7.25)
then E~^^ is C°° differentiable in ^G A. Proof First we extend Definition 7.4, and define the notion that il/tE L(B) is C^ differentiable in ^G A. On each Uj, we represent if/t as ilj, =
{ilj]{x,t),.,,,iljj(x,t))
in terms of the fibre coordinates. If the D]IIJJ(X, t), A = 1 , . . . , ^, are C functions of (x, t) for any Dj, then t/^^ G L{B) is called C^ differentiable in ^GA. Furthermore, a linear operator At'. L(B)-^ L{B) is said to be C^ differentiable in t, if, for any I/^^G L(B), C ^ differentiable in t, Kt^t is also C^ differentiable in t. In order to show that E~^^ is C°° differentiable in r, it suffices to prove that £7^ is C^ differentiable in t for each r = 0, 1, 2, By hypothesis, we have, for t e A, ||iA||o^-||£.^||o^-||^.^IU, c c
iljeL(B),
Hence by (7.23)^
where Ck = c]/^(\-\rl/c) is a constant independent of ^ G A and if/. On the other hand, by Sobolev's inequality, we have for k-\-m — l> n/2, \D'jll^fix)\^C^^m-l,lMk^m^
332
7. Theorem of Stability
Hence, for k> l — m + n/l, the inequality |DJiA,'(x)|^4,,||£,(AlU
(7.26)
holds for any if/e L(B), where Ck,i= c'j^ * Ck+m-ij is a constant independent of t. We prove, by induction on r, that, if ^^ G L(B) is C^ difierentiable in t, so is ilJt = EJ^(pt. (1°) The case r = 0. By hypothesis (pt = Etil/t is C^ difierentiable, i.e., continuous in re A. We need to prove that for any Dj, D]il/j{x,t) is continuous in (jc, t). Since Djipfix, t) is continuous in x, it suffices to show that, for any 5 G A, D]ip^{x, t) converges to D]II/J(X, S) uniformly in XG UJ as t-^ s. For given /, we choose k with k> l—m-\-n/2 once for all and put c' = c'kj. Then, by (7.26)
|DJ(At(^,0-^>,'(^,5)Nc'||£,((A.-^s)IU = c'||(p,-9,|U + c1|£,(A.-£AlU.
(7.27)
On the other hand k
\D^jcp^(x,t)-D^j
\
where the second X designates the summation over j , D] and A. By hypothesis D](p^{x, t) is continuous in (x, t). Hence \^(pt-(ps\\k-^^{t-^s). For fixed s, m
(£,^j;(x)=I
V
I £jt(^, r, D,).//S.(x)
is a C°° function of (x, 0 because, in the right-hand side, the Dj\ ' • • Dj'}iil/^j{x) are C°° functions of x, and their coefficients are C°° functions of (x, 0- Hence \\Etilj,-E,ilj,\\k-^0 (t-^ s). Therefore, by (7.27), as t-> s, we have D]II/J(X, t) -^ D]{1/J(X, S) uniformly in x G UJ. (2°) The case r = 1. Put (pt = Etij/f We must show that if cpt is C^ differentiable in t, so is i/jf We denote by ( f i , . . . , ^TV) the coordinates of r G R^. Since by hypothesis cpt is C^ difierentiable in t, each component (pf{x, t) of <^f = (
It is obvious that dcpt/dt^ G L(B).
d(pj(x,
t)\
§7.1. Differentiable Family of Strongly Elliptic Differential Operators
333
Suppose il/t is proved to be C^ differentiable in f G A. Then, differentiating the equation (pt = Etif/t with respect t^, we get
— = Et
1- — il/t,
hence,
'l=E;i^-^^X
dt,
(7.28)
where dEJdt^ is the partial differential operator obtained from Et by differentiating with respect to t^ the coefficients of Ef^{x, t, Dj) as polynomials of Dja, a = 1 , . . . , m. Namely, for any ij/e L(B),
(
riE
\^
^
fi
T7
(7.29)
By hypothesis d(pt/dt^ is continuous in teA. Since cpt is continuous in re A, 4ft = E~^^(pt is continuous in r by (1°). Hence r]^t is continuous in t, that is, for any D], D]T)^^J{X, t) is a continuous function of (x, t). Hence, in order to prove that (/^^ is C ^ differentiable in t, it suffices to prove that, for any DJ, Djij/jix, t) is differentiable in r^, K = 1 , . . . , N, and that
That is, putting t + h = {ti,...,
r^_i, t^ + h, t^+u • • •, ^iv),
we need to prove lim^(DJ(A'(x, f + / i ) - D > ' ( x , 0 ) - i ^ j ^ K A 0 = 0. For this, by (7.26), it suffices to show lim uB,+4 -ri^t^-h - ^t) - VKI I = 0. ^^o|| \h I
(7.31)
334
7. Theorem of Stability
Using the equalities Et+h^t+h = (Pt-^h, E,ilj, =
-
dcpt
1 --(Et+h~Et)il/t n
dE +
—^il/t-(Et+h-Et)r],t.
dt^
Therefore, in order to prove (7.31), it is enough to prove lim
lim
1/
^^t\
X
= 0,
(7.32)
-0.
(7.33)
Et)r]^t\\k=0.
(7.34)
-{Et+h-Et)il/t-—^il/t h dt^ lim\\(Et+h-
From the definition of the norm || H^, in order to prove (7.32), we have to show that, for any Dj, I ^ fc, t)
dXj = 0
holds. But this is obvious. In fact, since (pt is C^ difierentiable in t, and since the fibre coordinates (fj , . . . , ^J) of B are defined on some domain ^j^mi it follows that, for a sufficiently small 5 > 0 , the D](pj(x, t + h) are continuously difierentiable functions of ( x j , . . . , xj, h) in Wj x ( - 5 , 5), with t being fixed. Therefore lim ^'•^^^^'^- t-hh)~D]
h
t)
dt^
uniformly in XG UJ. This proves (7.32). Put m
f^{x,t
+ h) = (E,^Mf{x)=
I ):E'i'^{x,t + 1=0
h,DjHtjix).
IX
For fixed r, the/;^(x, t-^h) are C°° functions of ( x j , . . . , xj*, h) in W; x ( - 6 , 8) because the coefficients of Ef^{x, t, Dj) as polynomials of D , i , . . . , D^„ are C°° functions of (x, 0- In order to show (7.33), it is enough to prove dXj = 0.
§7.1. Differentiable Family of Strongly Elliptic Differential Operators
335
This is also obvious. For, since by (7.29)
we have h->0
h
-/\ -..
^r /
V
/
uniformly in x G UJ. (7.34) can be proved similarly. (3°) The case r ^ 2 . Put (pt = E^ilft as before. We shall prove that if (pt is C^ differentiable in ^ e A, so is e/^^. By the hypothesis of induction, \pt is C'^ differentiable in t. We denote a partial differential operator of order k in ^ 1 , . . . , r^ by
dt\'' •' dty Since
dr\E,il/,) is a sum of E.dr^ip, and the terms of the form (ar'"''J5,)af iA„ A: = 0,l,2,...,r-2:
Hence
fc = 0
Since (^, is C differentiable, if/t is C " ^ differentiable and Ef is C°° differentiable in t, it follows that the right-hand side of the equality is C^ differentiable in t. Hence, by (2°), d\~^^t is C^ differentiable in t. This implies that i/^, is C^ differentiable in t. This completes the induction. I In order to prove Theorems 7.2, 7.3, and 7.4, we assume in the following that each member Et of the differentiable family { E j r e A } is formally self-adjoint and strongly elliptic with respect to the inner product ( , ),. Suppose we have chosen the eigenvalues A^(0 and eigenfunctions CthE L{N) with EtCth = ^h(t)eth which satisfy the following conditions: (i)
{Cth I /i = 1,2,,..} form a complete orthonormal system of L(B) with respect to the inner product ( , )t.
336
7. Theorem of Stability
(ii) A,(0^A2(r)^"-^A„(r)^---, For a moment, we fix teA = A^', 0<s'<s. expanded into a series
A,(0->^
(h^oo).
Any element il/eL{B)
is
which converges with respect to the norm || ||^ In this way, il/eLiB) represented by the sequence {ah}. Clearly we have
is
oo h= \
i \an\'=\ml
(7.35)
h=l
Lemma 7.4. A necessary and sufficient condition for a sequence {ah} to represent a element ofL(B), that is, a condition for the existence of if/ e L{B) satisfying ^ = YJh=\ ^h^th'> is that the inequalities I |A,(Ona,|^<+oo,
/=1,2,....
(7.36)
should hold. Proof The necessity of (7.36) is easily verified as follows. If t/f = X?=i ^/i^rh e L{B), then E\il/eL{B). On the other hand, since by (7.10), E[il/ = Ih^hitYahCth, we have
i iA,(ork.r=ii^;(Aii?<+oo. h= \
To prove the sufficiency of (7.36), we first show that, for any ij/ = T.°h=i ^h^th e L{B) and any /c= 1 , 2 , . . . ,
UWUc'L Z ( l + i \kh{t)\A\ah\'
{131)
holds, where c'i is a constant independent of i//. Since the inequality (7.23)^:
{m^^^f^c,{u\\inE^Hi) remains true if we replace c^ by a larger constant, we may assume that Cfc ^ 1. Then we have
l^co{U\\l+\\EM\l\
§7.1. Differentiable Family of Strongly Elliptic Differential Operators
337
Similarly, for ^ = 3, 4, 5 , . . . , we have
nCo(iiiAiio+iji£;^iio).
2 < ^ qm — ^(q—l)m
For any given natural number k, we choose q so that qm-m
i^mu Therefore, in view of (7.21) || ||o=i^o|| \\h we obtain
^ 4-Ko( 11^11?+IJlsJ^II?). Since |?= Z | a , r
and
||£',.A||?= Z
\^uitr\a,\\
(7.37) immediately follows from this inequality if we set c^ = c^Kl. Suppose we are given a sequence {a^,} satisfying condition (7.36). Since ^hit)-^ + ^ as /z ^ 00, it follows immediately from (7.36) that Xr= i I'^/i 1^ < + ^ Hence, we have i
( l + i |A,(Op)|a.|'<+oo,
h=\ \
1=1
^=1,2,....
(7.38)
J
Put t/^^^^ = YX=\ ^h^th' Of course, we have if/^^^ e L{B). In order to prove the existence of if/e L{B) with lA — Zr=i ^h^th, it suffices to show that for each Dj, I ^ 0, the sequence {D]il/^/^^{x) | ^ = 1, 2,...} converges uniformly on Uj. Needless to say, D^(/^j^^'^(x) = i/^j^^^(x). For any pair of natural numbers p, q with p l+n/2, we obtain from Sobolev's inequality (7.22) and the inequality (7.37)
^(Cfc-ufci:
i h=p+l
( l + E |A,(Or'')|a,p. \
(x = l
J
By (7.38) the right-hand side converges to 0 as ;? -> oo and ^ ^ oo. This proves that {D]^Y^^{X)'] converges uniformly on JJj. I
338
7. Theorem of Stability
Let C t>e an arbitrary complex number and put
Then EfU) is a strongly elliptic differential operator acting on L{B). For any
i
i\,{t)-OaHe,,.
(7.39)
h= l
If f 7^ A^(r), /i - 1, 2 , . . . , then £,(^): L{B)-^L{B) is bijective. Proof. It is clear from (7.39) that EtU) is injective. In order to prove that E^O is surjective, take any (p e L{B) with (p = ^^=1 h^th, and put Uh = hh/{kh{t) - ^). By Lemma 7.4, we have
i iA,(onb,p<+oo,
/=i,2,....
Therefore, since Ah(r)7^f and Aft(0^+oo as /i-»oo, we have
Hence, again by Lemma 7.4, there exists if/e L{B) with lA — Zr=i ^^^?^- We obviously have E^O^^
(AeL(B)
(7.40)
holds. Proof. Suppose that, for any small 6 > 0, there is no such constant. Then, for ^ = 1, 2 , . . . , there exist r^ G A, ^^ e C and (/^^^^ e L{B) such that
§7.1. Differentiable Family of Strongly Elliptic Differential Operators
339
By (7.23)o
Hence, in the equation
we have (*
and the coefficients Ej^i^...i^{x, t) are C°° functions of (x, 0- Hence
Since ||£,^(f,)iA^^^||o
On the other hand, by (7.39), we have for any ipe L{B) ||^/6(^o)'AlU = Mo||'AlU,
^o = min|A^(ro)-fol>0.
Hence, by (7.21) Kl\\EtJ^Co)^h = l^oW^^o- Consequently we have ||oo), which contradicts ||tA^^^I|o= 1- I Suppose we are given ^o^ ^^ and Co"^ ^h{to), h = l,2, If we take a sufficiently small 5 > 0, then, by this lemma, ||Ef(^)i/^||o= c||(/^||ofor|f — ^o| <^ and 1^- ^ol < ^, hence, it follows that ^ 9^ A^(0, h = l,2, Therefore EtiO is bijective, and, by Theorem 7.5, G^(^) = Et(^)~^ is C°° differentiable in (r,^). If we put
w={(t,ae^xc\^^x,{t),h
= l,2,...h
then, for any point {to, ^o) ^ ^^^ we can find a constant 5 > 0 as above. This implies that W is an open subset o/ A xC, and Gt{C) is G°° differentiable in
(UnonW. Fix an arbitrary ^o ^ A, and take a closed Jordan curve C on the complex plane C which does not pass through any of the \h{to),h = l,2, The Jordan curve C divides the complex plane into two domains, the interior and the exterior of C. We denote by ((C)) the interior of C. Since
340
7. Theorem of Stability
Figure 1
C xto^ W, and since W is open in A xC, we have Cx[to-8,to+8]c:W,
(7.41)
provided that 5 > 0 is sufficiently small. For any t with \t-to\<8, the linear operator F ^ C ) of L{B) by
we define
A;,(OG((C))
and put Ff(C) = Ft{C)L{B). Obviously, Ff(C) is a finite-dimensional linear subspace of L(B), and it consists of all the linear combinations of those eth which belong to the eigenvalues A^(r) lying in the interior of the Jordan curve C The Hnear operator Ft{C) is nothing but the orthogonal projection of L(B) onto F^(C) with respect to the inner product ( , )t. The operator F^C) can be written as follows, using the Green operator GACY Om^dC, ^-Mc""'
F,{C)4^ = - - - \
iljeLiB).
(7.42)
Proof. Since, by (7.41), Cx[to-8, to-\-8]c:W, and since G,{0 is C^ differentiable in (t, 0 in "W, the integral l^^tiO^dC exists. We let i/^ = S^^^ a^e,^. Then, since G,(^) = E(ty\ we obtain by (7.39)
°°
au
Hence, by Cauchy's integral formula,
^ , . G,{0^dC= 2771
Jc
I
a,e,, = F,(C)iA.
A,(OG((C))
Lemma 7.6. Ft(C) is C°° differentiahle in t for
\t-tQ\<8.
§7.1. Differentiable Family of Strongly Elliptic Differential Operators
341
Proof. Since G,(^) is C°° differentiable in {uO in W, it follows that, if iptELiB) is C°° differentiable in t for \t-to\<8, then F,(C)iA, = -(1/277/) Jc GtU) 4ft dC is also C°° differentiable in r. I Lemma 7.7. dim Ff(C) i5 independent of t for \t — tQ\<8 provided 5 > 0 is sufficiently small: dim Ff(C) = dimFf^CC). Proof Put dim F^(C) = d, and let {e^,..., e^,..., e^} be a basis of F^(C). By Lemma 7.6, the FXC)^^ are C°° differentiable in r, and the FtJ^C)er = e„ r = 1 , . . . , J, are linearly independent. Therefore, the F,(C)e^GF^(C), r = 1,... ,d, are linearly independent for | r - ^o| < 8 provided 5 > 0 is sufficiently small. Hence d i m F ^ ( C ) ^ d Suppose that for any small 6 > 0 , there exists t with \t-to\<8 such that dimFf(C)> t/. Then we can find a sequence tq, q = 1,2,... ,with\t-to\
Since xi'^^e ({€)), the sequence {Djeif''{x)\q = l,2,...} is uniformly bounded in Uj. It follows that, for any / ^ m, {Dje^/^'^(x)} is equicontinuous on Uj. Hence, we can find a uniformly convergent subsequence. Taking an appropriate subsequence of {t^}, we may assume, from the beginning, that {Djcif^ix)} converges uniformly in Uj for any £>j, l^m. Put e^j{x) = limg_^oo eif^(x). Then e^j(x) is a C " differentiable function on Uj, and we have lim D^jcifix)
= DJ4(x),
/ ^ m.
Therefore the e^ = lim^^oo ^r^^ are C"" sections of B and e^j(x) are the values of their fibre coordinates. From (ei'^\ e^^^)^^ = d^s, it follows that
Since the Ef^{x, t, Dj) are linear combinations of D] with / ^ m, with the coefficients being C°° functions of (x, r), we have limF,^e(.^> = F^e..
342
7. Theorem of Stability
On the other hand, we have £f^et^^ = A^^^e^^^^ Therefore, the Umit A^ = Um^^oo A^^^ exists, and we have
This means that A^ is an eigenvalue of f"^, and e^ is an eigenfunction belonging to A^ Since A^-^^G ((C)), and since there are no eigenvalues of £^ on C, A^ must coincide with one of Xh(to) &{{€)). Hence e^GF^(C), r = 1,2, . . . , d + l. But, since (^n ^s)to = ^rs, it follows that ^ i , . . . , e^+i are linearly independent. This contradicts dim F^(C) = t/. I Proof of Theorem 7.2. We shall prove by induction on h that lim^^^ A^(0 = A;,(ro) for roGA. (1°) The case h = l. By (7.14) in the Appendix, there is a constant j8 independent of t such that Ai(0>j8 for teA. Taking a sufficiently small e > 0, we consider the circle C^ of radius s with centre Ai(^o) and a smooth Jordan curve C which intersects transversally with the real axis at (3 and A = Ai(ro) - e. We assume that C does not intersect with the real axis except for at /3 and A. Take a sufficiently small 8>0. Since there are no eigenvalues kh(to) of ^to i^ the interior of C or on C, we have dimF^(C) = 0. Hence, by Lemma 7.7, dim ¥t(C) = OfoT\t~to\< 8. Therefore, Ai(0 is a real number outside of C. But, since \i{t)> p, we have A i ( 0 > A =\i{to)-e.
Figure 2
Moreover, by Lemma 7.7, we have dimF,(Ce) = dimF^(Cg)^ 1 for \tto\<8. Hence there is at least one eigenvalue Xh(t) in the interior of Q . This implies that \^(t)^\h(t)<^i{to)-^ e. Therefore |Ai(r)-Ai(ro)|< £ holds if |f - rd < 8. This proves that lim^^^ \i(t) = \i{to). (2°) The case h^2. We assume that lim^^^ Afc(0 = Afc(^o) for k = 1,2, . . . , / i - l , and prove lim,_,^ A;,(0 = A;,(ro). If Ai(ro) = • • • = Xhito), then, for the circle C^ of (1°), we have, by Lemma 7.7, dim F,(Ce) ^ /i for |^ - ^ol < 5, provided 5 > P is sufficiently small. Therefore Ai(0, • • . , ^hit) lie in the interior of C^. Hence \^h(t) -\hito)\ < ^- This proves lim,^^ A;,(0 = A^(ro).
§7.1. Differentiable Family of Strongly Elliptic Differential Operators
343
Next we let / be the integer, 2 ^ / ^ /i, such that
Ai(0 ^ A/_i(ro) < A , ( 0 = A,+i(ro) = • • • = A,(ro). Let Che he the circle of radius s with centre \h(to), where e is assumed to satisfy 0 < e < A/(fo)-A/_i(fo), and let Q be a closed Jordan curve which intersects transversally with the real axis only at the two points \= \i{to)-e and fjL = \h(to)~^' We take 8>0 sufficiently small depending on Che and Ch. Then, since at least / i - Z + l eigenvalues Xi(to),..., \hito) are in the
Figure 3
interior of Che, we have d i m F ^ ( Q g ) ^ / i - / + l . Therefore, by Lemma 7.7, at least h-l+l eigenvalues A^CO's are in the interior of Che- On the other hand, from dim F^(C,,) = / - 1 , it follows that dim F,(C,,) = / - 1 for | r - ^ol < 8. Hence, exactly / - I eigenvalues A^CO's are in the interior of Q . By the hypothesis of induction, lim^^^ Afc(0 = Afc(^o) for fc = 1, 2 , . . . , / - L Therefore Ai(0, • •., A/_i(0 are in the interior of Ch for \t- tol < 8. This implies that A / ( 0 , . . . , A;,(0, • •. are all outside of Ch- Hence,
Combined with what we have seen above, it follows that A/(0, A / + i ( 0 , . . . , A^(0 must lie inside of Che- Hence |A;,(0~A;,(^o)|< ^ for \tto\ < 8. This proves lim,_^^ A/,(0 = A^(ro). I Proof ojf Theorem 7.3. By definition, ¥t = {ipe L{B)\Ftilj = 0}. We need to prove that, for a given toe A, we can find a sufficiently small 8>0 such that dim ¥t = dini F^ for | r - ^ol < 8. If we let Q denote the circle of radius e>0 with centre 0 in the complex plane C, then F^ = F^(Ce), provided e is sufficiently small. Therefore, by Lemma 7.7, dim ¥t(Ce) = dim F^ for |r - ^ol < 8, where 8 is supposed to be sufficiently small. Since the inclusion F^ c: F^(Q) is obvious, we obtain dim F^ ^ dim F,(Ce) = dim F^^. I Proof of Theorem lA. By diefinition F^ is the orthogonal projection of L{B) onto F, with respect to the inner product ( , ),. In general, for any toe A,
7. Theorem of Stability
344
if we take a sufficiently small 8, then, as we have seen above, the inclusion FfCzF^Cg) holds for \t-to\<8. Since we have dimF,(Q) = dimF^, and since dimF^ is independent of t by assumption, we conclude F^ = Ff(Ce). Hence Ft = Ft{C^). But by Lemma 7.6, F ^ Q ) is C°° differentiable in t for I r - ^ol < 5. Since ^o is an arbitrary point of A, it follows that F, is C°° differentiable in r G A. I Let Gt be the Green operator of Ef. Then, by (7.12), we have, for
G4=
I
(7.43)
-y-e,,.
Theorem 7.6. If dimF^ is independent of te^, in t G A.
then Gt is C^ differentiable
Proof We prove this by a method similar to the proof of Theorem 7.4. For any ^o ^ ^, we take a small circle C with centre 0 such that all the eigenvalues A / , ( O ^ 0 are outside of C. If 5 > 0 is taken sufficiently small, then, by (7.41), C x[^o- 5, ^0+ 5 ] ^ '^. For t satisfying \t-to\<8, we define the linear operator Gt{C) on L{B) by the formula
-h\>^
-Gtin^dC
Gt(C)ilf = --,
Since G,(^) is C°° differentiable in (r, C) in W, it follows that G,(C) is C" differentiable in t for \t-tQ\<8. For any YX=\ ^h^th, we have oo
^
By the residue theorem, 1
\uit)eiiC))..
Ini J, Hence for any JA ==Zr=i ^^^rh, we have
Since, by hypothesis, dim F^ is independent of t, F, = Ff(C) for | r - fol < 5 as was proved in the proof of Theorem 7.4. Therefore, the equality A^( r) = 0
§7.2. Differentiable Family of Compact Complex Manifolds
345
amounts to the same as A^(0 e ((C)). By comparing (7.43) and (7.44), we obtain Gt = Gt{C). Consequently Gt is C°° differentiable in t provided \t-to\<8. Since ^o is arbitrary, Gt is C°° differentiable in rG A. I
§7.2. Differentiable Family of Compact Complex Manifolds In this section we prove Theorem 4.1, Theorem 4.4, and other results by applying the results of the preceding section.
(a) Differentiable Family of Compact Complex Manifolds Consider a differentiable family M = (M, I, m) = {Mt\te 1} of compact complex manifolds over a multi-interval / with O G / C : | R " (see Definition 4.1), where Mt = vT''^(t). By Theorem 2.3, the underlying differentiable manifold X of M^ does not depend on t, and by Theorem 2.4, there is a diffeomorphism ^: X xI-^M of X xl onto M such that m • '^ coincides with the projection X xl^ I. We identify X xl with Ji via ^ , and consider M = XxL We denote a point of X x / by (x, t). By definition, there are a locally finite open covering {%\j = \,2,.,.} of X x / and complex-valued C°° functions z](x, 0? • • • ? ^]{^-> 0 on ^j such that for each t, {x -> (z](jc, 0 , . . . , z]{x, t))\%nXxty^
0}
forms a system of local complex coordinates on M^. If we write z^(x, r) = (ZJ(A:, t),..., zj(x, t)), the map (x, 0 ^ (2)(x, 0 , 0 is a diffeomorphism of ^^ into C " x / and {{x,t)-^{zjix,t),t)\j
=
l,2,...}
is a system of local coordinates of the differentiable family Ji (see p. 185). On % n ^fc 7^ 0 , we have zf(x, t) =/ffc(zfc(x, 0, 0,
a = 1 , . . . , n,
where ffk{zk,t)=f%{z\,...,zl,t^,...,tj) are C°° functions of Zfc,..., Zfc, ti,... ,tm which are holomorphic in z j , , . . . , z^. Taking a sufficiently fine finite covering { ^ |j = 1, 2,...} of X, we may assume that for a sufficiently small multi-interval A = {te l\\t^\
346
7. Theorem of Stability
the map
(x, 0 -> {zjix, t), t) = (z](x, 0, •.., 2:;(x, r), ri,..., f^) gives local coordinates of the differentiable manifold J^A on Uj x A. Since the problem is local with respect to the parameter t, it suffices to consider M^ for a sufficiently small A. For simplicity, we write Jt = {M, A, m) for M^ = (M^, A, m) below. Let ^ be a complex vector bundle, and TT: ^^M its projection. Then Bt = 77~^(Mf) is a complex vector bundle over M,. We call such {B^ [teL] a differentiable family of complex vector bundles. In particular, if each Bt is a holomorphic vector bundle over the complex manifold M^, { B J ^G A} is called a differentiable family of holomorphic vector bundles. By saying that {Bt\te^} forms a differentiable family of vector bundles, we mean that {Bt\te^} is a differentiable family over the underlying differentiable manifold X in the sense of Definition 7.3. Since Uj and A are sufficiently small, we have 7r''(^xA) = C " x ^ x A , and a point of 7r"^( L^ x A) c: ^ is represented as {Cp x, t) = ( ^ ] , . . . , ^/, x, t) where ^j = (Z^j,..., ^J) are the fibre coordinates of ^ over Uj x A, and on UjXAn L 4 x A 7 ^ 0 , we have ^j=
i
h%^{x,t)a.
A = 1,...,K
Each component bjf^^{x, t) of the transition function bjk{x^ t) = (bfkfjiix, 0)A,A^ = I,...,I' of ^ is represented as a C°° function of the local coordinates (z^, t) = {zl{x, t),..., zl{x, t), t) of M by h%^{x, t) = bjk^izk, 0 ,
Zk = Zk{x, t).
Thus {Bt I ^ e A} is a differentiable family of holomorphic vector bundles if and only if all the bjk^(z,,, t) = bjk^{zi,..., z^, t) are holomorphic in z j , , . . . , zl, As stated before, we always use admissible fibre coordinates ( ^ ] , . . . , C]) for Bt. Let L{Bt) be the linear space of all C°° sections of Bt over M^. L{Bt) is nothing but the linear space of C°° sections of Bt over the underlying differentiable manifold X. We write a C°° section i/^^ G L{Bt) of B, by iA,(x, t) = (il/jizj, 0 , . . . , ^J(^,-, 0 ) ,
^j = ^i(^, 0
on UjXf^ M, where (
§7.2. Differentiable Family of Compact Complex Manifolds
347
and t. If each Bt is a holomorphic vector bundle over M^, and if/t is a holomorphic section of Bt, then ^A; (z,, t) is holomorphic in z, = {Zj,..., zj). Consider the tangent bundle T(Mt) of M,. The transition function of T{Mt) is given by
a,p = l,.
and its component df]l(zk, t)/dz^ is a C°° function of (z^, 0 which is holomorphic in Zj^. Consequently {T(Mt) | r G A} is a differentiable family of holomorphic vector bundles. If we write a C°° section ^^e L(T{Mt)) of T{Mt) as BzJ on Uj Xr, then we have on Uj xtn
fj (^> 0 - L
U^xt
7"^
^k{Zk, t).
Namely, (^](zj, 0 , • • •, ^J(^> 0 ) are admissible fibre coordinates. Therefore ^t is C^ differentiable with respect to ^G A if and only if ^"(Zj, t) are C°° functions of (Zj, t) for a = 1 , . . . , n, From (3.49) the transition function of the dual bundle T^'iMt) of T(M,) is given by
\
^Zj
/ cx,f3 = l,...,n
Consequently { r * ( M j | ^G A} is also a differentiable family of holomorphic vector bundles. A C°^ section (p^ e L{T''{Mt)) of T^'iMt) is a C°° (1, 0)-form on Mt'. n
(pjAzj,t)dzf.
a =l
{(Pjiizj, t),..., (pjnizj, t)) are clearly admissible fibre coordinates, hence cpt is C°° differentiable with respect to tG A if and only if each (PjuiZp t) is a C°° function of (z^, t) for a = 1 , . . . , n. z/ = z"(x, r) is a C°° function of (x, r) on Uj X A, and Jz" is the differential of zf as a function of x with t fixed. Thus, letting ( x ^ , . . . , x ^ , . . . , x^") be arbitrary coordinates of x, we have <=
I
'-^f^dx\
(7.45)
348
7. Theorem of Stability
where dzj{x, t)/dx^ are C°° functions of (x, t), which again shows that {(PjiiZj, t),..., (pjn(Zj, t)) are admissible fibre coordinates. Suppose given a differentiahle family ofholomorphic vector bundles {Bt \t e A}. Consider B,®/\'' T*(M,) A^ ?*(M,). Since {T*(M,)|rGA} is a differentiahle family,
{ - ® A ^*(M,)A
T*(M,)|rGA
is also a differentiahle family. A C°° section of B,® A'' '^*(M) A^ T'*(M,) is called a C°^ (/?, ^)-form with coefficients in Bf. Let ^^"^{Bt) be the linear space of C°° (/?, g)-forms with coefficients in B^:
(
p
9
_
i^^-'^CB,) = L B,® A T*(M,) A r*(M,) . (Pte£^^'^(Bt) is represented on each UjXtczMt ponents are C°° (/?, ^)-forms as
by a vector whose com-
(7.46)
where
1
^ j ^ j I ^ t , . . . ^ , ^ . . , - / z „ 0 dzf^ A . . . A J z ; . A J z f ^ A . . . A J z