Several Complex Variables - H. Grauert & K. Fritzsche
Several Complex Variables - H. Grauert & K. Fritzsche
Several Complex Variables - H. Grauert & K. Fritzsche
38
Editorial Board
F. W. Gehring
P. R. Halmos
Managing Editor
c. C. Moore
H. Grauert
K. Fritzsche
Several Complex
Variables
Springer-Verlag
New York Heidelberg Berlin
H. Grauert K. Fritzsche
Mathematischen Institut der Universitiit Mathematischen Institut der Universitat
Bunsenstrasse 3 - 5 Bunsenstrasse 3-5
34 Gottingen 34 Gottingen
Federal Republic of Germany Federal Republic of Germany
Editorial Board
AMS Subject Classifications: 32-01, 32A05, 32A07, 32AIO, 32A20, 32BIO, 32CIO, 32C35,
32D05, 32DlO, 32ElO
No part of this book may be translated or reproduced in any form without written permission
from Springer-Verlag.
The present book grew out of introductory lectures on the theory offunctions
of several variables. Its intent is to make the reader familiar, by the discussion
of examples and special cases, with the most important branches and methods
of this theory, among them, e.g., the problems of holomorphic continuation,
the algebraic treatment of power series, sheaf and cohomology theory, and
the real methods which stem from elliptic partial differential equations.
In the first chapter we begin with the definition of holomorphic functions
of several variables, their representation by the Cauchy integral, and their
power series expansion on Reinhardt domains. It turns out that, in l:ontrast
to the theory of a single variable, for n ~ 2 there exist domains G, G c en
with G c G and G "# G such that each function holomorphic in G has a
continuation on G. Domains G for which such a G does not exist are called
domains of holomorphy. In Chapter 2 we give several characterizations of
these domains of holomorphy (theorem of Cartan-Thullen, Levi's problem).
We finally construct the holomorphic hull H(G} for each domain G, that is
the largest (not necessarily schlicht) domain over en into which each function
holomorphic on G can be continued.
The third chapter presents the Weierstrass formula and the Weierstrass
preparation theorem with applications to the ring of convergent power
series. It is shown that this ring is a factorization, a Noetherian, and a Hensel
ring. Furthermore we indicate how the obtained algebraic theorems can be
applied to the local investigation of analytic sets. One achieves deep results
in this connection by using sheaf theory, the basic concepts of which are
discussed in the fourth chapter. In Chapter V we introduce complex manifolds
and give several examples. We also examine the different closures of en and
the effects of modifications on complex manifolds.
Cohomology theory with values in analytic sheaves connects sheaf theory
v
Preface
H. Grauert
K. Fritzsche
vi
Contents
Chapter I
Holomorphic Functions 1
1 Power Series 2
2 Complex Differentiable Functions 8
3 The Cauchy Integral 10
4 Identity Theorems 15
5 Expansion in Reinhardt Domains 17
6 Real and Complex Differentiability 21
7 Holomorphic Mappings 26
Chapter II
Domains of Holomorphy 29
1 The Continuity Theorem 29
2 Pseudo convexity 35
3 Holomorphic Convexity 39
4 The Thullen Theorem 43
5 Holomorphically Convex Domains 46
6 Examples 51
7 Riemann Domains over en 54
8 Holomorphic Hulls 62
Chapter III
The Weierstrass Preparation Theorem 68
1 The Algebra of Power Series . 68
2 The Weierstrass Formula 71
vii
Contents
Chapter IV
Sheaf Theory 99
1 Sheaves of Sets 99
2 Sheaves with Algebraic Structure 105
3 Analytic Sheaf Morphisms 110
4 Coherent Sheaves 113
Chapter V
Complex Manifolds 119
Complex Ringed Spaces 119
2 Function Theory on Complex Manifolds 124
3 Examples of Complex Manifolds 128
4 Closures of en 144
Chapter VI
Cohomology Theory 150
1 Flabby Cohomology 150
2 The Cech Cohomology 158
3 Double Complexes 163
4 The Cohomology Sequence 167
5 Main Theorem on Stein Manifolds 174
Chapter VII
Real Methods 179
1 Tangential Vectors 179
2 Differential Forms on Complex Manifolds 185
3 Cauchy Integrals 188
4 Dolbeault's Lemma 191
5 Fine Sheaves (Theorems of Dolbeault and de Rham) 193
Vlll
CHAPTER I
Holomorphic Functions
Preliminaries
Let e be the field of complex numbers. If n is a natural number we call the
set of ordered n-tuples of complex numbers the n-dimensional complex number
space:
In each case we obtain a topology on en which agrees with the usual topology
for ~2n. Another metric on en, defined by 131: = max IZkl and dist'(31) 32):
k= 1 •...• n
= 131 - 321, induces the usual topology too.
A region Been is an open set (with the usual topology) and a domain
an open, connected set. An open set G c en is called connected if one of the
following two equivalent conditions is satisfied:
a. For every two points 31, 32 E G there is a continuous mapping cp: [0, 1J -+
en with cp(o) = 31> cp(l) = 32, and cp([O, IJ) c G.
b. If B 1 , B2 C G are open sets with Bl u B2 = G, Bl n B2 = 0 and
Bl =F 0, then B2 = 0·
1. Power Series
Let M be a subset of en. A mapping f from M to e is called a complex
function on M. The polynomials
ml, ... ,mn
n Zii.
n n
Ivl: = LVi' 3v : =
i= 1 i= 1
m
With this notation a polynomial has the form P(3) = L a v3v•
v=O
2
1. Power Series
I ai3 -
v=o
30V
Now such an expression has, as the name says, only a formal meaning.
For a particular 3 it does not necessarily represent a complex number. Since
the multi-indices can be ordered in several ways it is not clear how the
summation is to be performed. Therefore we must introduce a suitable
notion of convergence.
II
vel
av(31 - 30)V - cl < B.
00
II
vel
av (3 - 30)V - f(3) < I B
Def. l.5. The point set V = {r = (rl> . .. , rn) E ~n:rv ?= 0 for 1 ::S v :::::; n}
will be called absolute space. r:en -> V with r(3}: = (lz11, ... , IZnl) is the
natural projection of en onto V.
Def. l.6. Let r E V+: = {r = (r 1 , ... , rn) E ~n:rk > O}, 30 E en. Then P r (30):
{3Een:lzk - ziO) I < rk for 1:::::; k:::::; n} is called the polycylinder about
30 with (poly-)radius r. T = T(P): = {a E en: IZk - 4°)1 = rd is called
the distinguished boundary of P (see Fig. 1).
4
1. Power Series
PROOF
31' the set {av3~: Ivl ): o} is bounded.
1. Since the series converges at
Let M E IR be chosen so that lav3~1 < M for all v. If 31 E tn and < q < 1
then q' 31 E tn. Let P*: = Pnl . For 5 E P*, lavi = IZ1Iv1 .... 'lznlVn <
°
Iq· Z~111v1 .... ·Iq· z~111Vn = qV1 +"'+V n'lz~1)IV1 .... 'lz~l)IVn = qlvl '13~1, that
00
I I
~
M· f
v=o
qV 1+"'+v n = M'( V1=0f qv 1) ..... ( f
vn=O
qv n ) = M.(~)n.
1 q
The set 3 of multi-indices is countable, so there exists a bijection tJ>: No --> 3.
00
Let bn(3): = a<1>(n1 . 5<1>(n1. Then I bn(3) is absolutely and uniformly con-
°
n=O
00
be brief we choose 30 = °
Next we shall examine on what sets power series converge. In order to
as our point of expansion. The corresponding
statements always hold in the general case.
Comments. Tli is the torus {3 E C": IZkl = IzP11}. The conditions of defi-
nition 1.7 mean that r- 1 r(B) = B; a Reinhardt domain is characterized by
its image reB) in absolute space.
Theorem 1.2. An open set B c C" is a Reinhardt domain if and only if there
exists an open set W c V with B = r -l(W).
5
I. Holomorphic Functions
PROOF
1. Let B = T- 1 (W), We V open. For 3 E B, '(3) E W; therefore
,-l(W) = B.
, - I T (3) c
2. Let B be a Reinhardt domain. Then B = ,-l,(B) and it suffices to
show that ,(B) is open in V. Assume that ,(B) is not open. Then there is a
point to E ,(B) which is not an interior point of T(B) and therefore is a cluster
point of V - ,(B). Let (tj) be a sequence in V - T(B) which converges to to.
There are points 3j E en with tj = T(3j), so that IzV)1 = rV) for all j and
1 ~ P ~ n. Since (tj ) is convergent there is an ME IR such that IrV)1 < M
for allj and p. Hence the sequence (3j) is also bounded. It must have a cluster
point 30, and a subsequence (3j) with lim 3jv = 30' Since T is continuous
v-oo
T(30) = lim T(3j) = lim tjv = to. B is a Reinhardt domain; it follows that
v-oo v-oo
30ET-1(to) c T- 1 T(B) = B. B is an open neighborhood of 30; therefore
almost all 3jv must lie in B, and then almost all tjv = T(3j) must lie in T(B).
This is a contradiction, and therefore T(B) is open. 0
a. G is connected, and
b. OE G.
2. G is called complete if
31 E G n en ==> P31 c G.
IZ11
Figure 2. (a) Complete Reinhardt domain; (b) Proper Reinhardt domain.
6
1. Power Series
00
00
Theorem 1.4. Let ~(3) = L a v 3v be a formal power series in en. Then the
v=o
region of convergence B = B(~(3)) is a complete Reinhardt domain. ~(3)
converges uniformly in the interior of B.
PROOF
1. Let 31 E B. Then U~(31) = {3 E en:13 - 311 < 8} = Ue(zil)) x ... X
Ue(z~l)) is a polycylinder about 31 with radius (8, ... , 8). For a sufficiently
small 8, U~(31) lies in B. For k = 1, ... , n we can find a zk2 ) E Ue(zP») such
that Izf)1 > Izk1)1· Let 32: = (zi2), ... , Z~2»). Then 32 E Band 31 E P 32 • For
each point 31 E B choose such a fixed point 32.
2. If 31 E B, then there is a 32 E B with 31 E P 32 • ~(3) converges at 32, there-
fore in P 02 (from Theorem 1.1). Hence P 32 c B. Since P 3, c P 32 and To, c P 02 '
it follows that B is a complete Reinhardt domain.
3. Let P;,: = P 02 where 32 is chosen for 31 as in 1). Clearly B = UP;,.
h EB
Now for each 32 select a q with 0 < q < 1 and such that 33: = (1/q)52 lies
in B. This is possible and it follows that for each 51 E B ~(3) is uniformly
convergent in P;,. If K c B is compact, then K can be covered by a finite
number of sets P;,. Therefore ~(3) converges uniformly on K. D
7
1. Holomorphic Functions
Thus LI~(zv): = Llv(z\O), ... , Z~~ 1, z" Z~OJ 1, ... , z~O») is continuous at z~O).
Therefore f~(zv) is complex differentiable at z~O) E en, and LI~(z~O») = Llv(30)
is uniquely determined. This holds for each v. 0
Def. 2.2. Let the complex function f defined on the region Been be com-
n
plex differentiable at 30 E B. If f(5) = f(50) + I (z, - z~O») Llv(5), then
v= 1
we call Llv(50) the partial derivative of f with respect to z, at 50' and
write Llv(50) = oafZv (30) = 1,,,(30) = /v(30)'
n
PROOF. We have f(3) = f(30) + I (Zv - z~O») Llv(3); the right side of this
v=1
equation is clearly continuous at 30' o
Let Been be a region. f is called complex differentiable on B if f is
complex differentiable at each point of B.
Sums, products, and quotients (with nonvanishing denominators) of com-
plex differentiable functions are again complex differentiable. The proof is
analogous to the real case, and we do not present it here.
+ z 2 . '\'
~
aO • V2 . . . Vn ZV22 -1 . Z'3 3 ••• ZVnn + ... + zII . '\'
'-'
aO"'0"nZnVn-1
Vn~ 1
For now, this decomposition has only formal meaning. Choose a poly-
cylinder ofthe form P = Ve(O) X •.• X Ve(O) C V(O) and a point 31 E T "'"
{3 E en:IZkl = B}. Then POI = P and 31 E V (if Bis chosen sufficiently small).
00 00
I av3I converges, therefore I lav3I1 also converges. Since 31 E tn, IZ~l)l "# 0
v=o v=o
for all k. Therefore every sub series in the above representation at 31 also
converges absolutely and uniformly in the interior of P", The limit func-
tions are continuous and are denoted by Ll 1 , . . . , Lin. Since f(3) = f(30) +
z 1 . Ll1 (3) + ... + Zn • Ll n (3), it follows that f is complex differentiable at 30' 0
9
1. Holomorphic Functions
From this proof we obtain the values of the partial derivatives at a point
ao. For
L
CJ)
We obtain
10
3. The Cauchy Integral
1 )n I(~) d~
ch(f)(5): =
(
2ni . IT (~1 - Z1)· ..(~n - zn)
Therefore
11
1. Holomorphic Functions
v~o
1'2
q? dominates v~o
00 (z .)Vj
and therefore qj: = (lzNrj) < 1 for j = 1,2. Hence
with
12
3. The Cauchy Integral
-
I~ ~I = I~I' IIv - fl < B.
Hence Ivl N converges uniformly on T to fiN and one can interchange the
integral and the limit.
00
Theorem 3.6. Let 'l3(3) = L a 3 be a formal power series and G the domain
v v
v=o
of convergence for 'l3(3). Then f with f(3): = 'l3(3) is holomorphic in G.
PROOF. Let.3 be the set of all multi-indices v = (Vb' .. , vn ), 10 c .3 a finite
subset. Clearly the polynomial L a v3v is holomorphic on all of en.
velo
Let 30 E G be a point, P a poly cylinder about 30 with PeG. 'l3(3) con-
verges uniformly on P to the function f(3). If one sets Bk: = 11k for kEN
then in each case there is a finite set h c .3 such that 1 L a v3v - f(3)1 < Bk on
VEl
all of P for any finite set I with Ik c I c .3. For iT,: = Lava' we have iT,
velk
holomorphic and for each kEN, liT, - fl < 11k on all of P. Therefore (iT,)
converges uniformly on P to f. From Theorem 3.5 f is holomorphic in P
and in particular at 30' 0
13
I. Holomorphic Functions
Theorem 3.7. Let f be holomorphic on the region B. Then all the partial
derivatives h., 1 ~ fl ~ n, are also holomorphic in B. If PcB is a poly-
00
v=o
00
{' (2)
J ZJl 0
= " '-'
a . v . zV, ... zV. -1
v I.l 1 I-l
... zV n
n
v=o
on P.
PROOF
1. Let PcB,
Xl
01 E P n tn. Then there is an M E IR such that la 3I1 v < M
for all v, where I avo is the power series expansion of f in P. If 0 < q < 1
v=o
00 00
Formally
00
co
converges. By the comparison test the series I avVjZ,!' ... zjr 1 ... z~n is
v=o
also convergent at the point 32, and therefore in P'2' Since P is the union of all
the P')2 the series converges in all of P to a holomorphic function gj.
2. Let
1*(3): = f: j
gj(Zb . . . , Zj_ b ~, Zj+ b ... , zn) d~ + f(Zl, ... , 0, ... , zn)·
The path of integration can be chosen in such a way that it consists of the
line segments connecting 0 to Zj in the zrplane. Thus 1* is defined on P.
00 co
For hv(3): = av3", we have f(3) = I hv(o) and gh) = I (h v )z/3)· The path
v=o v=o
14
4. Identity Theorems
= I hv(3)
v=o
= f(3)
Hence fz/3) = f: j (3) = 9j(3)· o
We conclude this section with a summary of our results.
From the Cauchy integral formula for one variable it now follows that
a
VIV2
= _1 r _1_ [_1 r f(ZI, Z2) dZ 2] dZ 1
2ni JKI 2ni JK2 ZZ2+1
Z~I+l
1 1 aV2f dZ 1 1 aVI h 2f
= -- r -(ZI'
V2! 2ni JKI aZ z2
0)--
Z~I + 1
= -_.
VI !V2! az11 aZ z2
(0,0). 0
4. Identity Theorems
Different from the theory of one complex variable, the following theorem
does not hold in en: "Let G be a domain, MeG have a cluster point in
G and f1' f2 be holomorphic on G with fl = f2 on M. Then fl = f2 in G."
15
1. Holomorphic Functions
PROOF. Let Bo be the interior of the set {3 E G:f1(3) = f2(3)} and Wo: =
G - Bo. Because B c B o, Bo i= 0. Since G is connected it suffices to show
that Wo is open, for then Bo = G follows. Let us assume Wo contains a
point 30 which is not an interior point. Then for every polycylinder P about
30 with PeG, P n Bo i= 0. Let rE!R and P: = {3:\Zj - z7\ < r} =
{3: dist'(3, 50) < r} be such a polycylinder. Let
P': = {3:dist'(3,30) < r/2} c P.
16
5_. Expansion in Reinhardt Domains
For eachj with 1 ~ j ~ n we have IZjl < rj = I~jl; therefore Zj =f ~j' Hence
the integrand is holomorphic on the annulus {Z{ rj < IZjl < r'j} and from
the Cauchy integral formula for one variable it follows that ifr = (r1> ... ,rn ) E
r(H) and r* = (r1, ... , r;) E r(H), then
17
1. Holomorphic Functions
PROOF
1. E is closed, therefore en - E is open, and hence G' = G (\ (en - E)
is also open. Moreover, E contains no interior points.
2. We write the points 3 E en in the form 3 = (zr, 3*) with 3* E en-I. Now let
30 = (z\O), 3*(0») E G and let U~(30) = U,(ziO») x U~(3*(O») be an s-neighborhood
of 30' We show that U~ - E is still connected. Let 31 = (Z\I), 3*(1») and 3z =
(z\z>, 3*(Z») be two arbitrary points in U~ - E. Then we define 33: = (z\Z), 3*(1 »).
I
IL -31 _ _ _ _ _ _
___ ~
I
U~(30)
Lemma. There is a b > 0 such that for all t', t" E I with It' - t"l < (j, cp(t'),
cp(t") lie in the same polycylinder Uk'
PROOF. Let there be sequences (ti), (ti) E I with Iti - til ~ 0 such that
cp(ti), cp(ti) do not lie in the same poly cylinder Uk' There are convergent sub-
sequences (ti), (ti~) of(ti), (ti)· Letto : = lim ti" = lim ti'~. If cp(t o) E Ub then
v~oo IJ.-oo
there is an open neighborhood V = veto) c I with cp(V) c Uk' Then for
almost all v EN, ti, E V and tiv E V, so that cp(ti,) E Uk and cp(ti,) E Uk' This
is a contradiction, which proves the lemma.
Now let (j be suitably chosen and 0 = to < tl < ... < tk = 1 be a partition
of I with tj - t j- 1 < 0 for j = 1, ... , k. Let 3j: = cp(tj) and J;j be the poly-
18
5. Expansion in Reinhardt Domains
cylinder which contains OJ, OJ-1 (it can happen that Tj, = Tj2 for j1 "# jz). By
construction OJ-1 lies in Tj (\ Tj-1, so Tj (\ Tj-1 is always a non-empty open
set. Indeed, Tj (\ Tj _ 1 - E "# 0 for j = 1, ... , k.
We join 3' = 30 E VI - E and a point 01 E VI (\ Vz - E by a path 0/1
interior to VI - E. By (2) this is possible. Next we join 31 with a point
32 E Vz (\ V3 - E by a path O/Z interior to Vz - E, and so on.
Finally, let o/k be a path in Vk - E which joins 3~-1 with 3k = i3" E Vk - E.
The composition of the paths 0/)' ... , o/k connects 3' and i3" in G - E. D
19
1. Holomorphic Functions
v=o
f(3) = 1.]3 (3) for 5 E G.
Remarks
l. G is open.
2. G c G. If 30 E G, then there is a 31 E G n en with 30 E G.
G n en with
P.ll C
f(-3) = I a v3 V
•
v=O
For n ;:::, 2 we can choose sets G and Gin en so that G i= G. This constitutes
a vital difference from the theory of functions of a single complex variable,
where for each domain G there exists a function holomorphic on G which
cannot be continued to any proper superdomain.
20
6. Real and Complex Differentiability
The basis for the difference here between the theories of one and several
variables is that such a Hartogs figure does not exist in C. We already noted
that Reinhardt domains in I[ are open disks and annuli. Therefore a proper
Reinhardt domain in I[ is an open disk, i.e., a complete Reinhardt domain.
Hence G is not a proper superset of G.
21
1. Holomorphic Functions
where IX~, IX~*, f3~, f3~* are real functions on B which are continuous at (xo, 1)0)
and for which
1)0)
1X~(Xo, = gx/xo, 1)0)
1X~*(Xo, 1)0) = gy,(x o, 1)0)
f3~(xo, 1)0) = hx,(xo, 1)0)
f3~*(Io, 1)0) = hy,(x o, 1)0)·
where L1~ = IX~ + if3~ and L1~* = IX~* + if3~* are continuous at 30 and where
L1~(30) = gx,(30) + ihx,(30) = :fxJ30)
L1~*(30) = gy,(30) + ihyJ30) = :fy,(50)·
PROOF
1. Let f be real differentiable at 30. We use the equations
Xv - x~o) = H(zv - z~o») + (zv - z~o»)]
and
1 [(z _ z(o») - (z _ z(o»)]
= _2i
Yv - yeo)
v v v v v'
Then
f(3) = f(30) + ±
v=l
(zv - z~o») L1~(3) -/L1~*(3) +
-
±
v=l
(zv _ ~o») L1~(3) +? iL1~*(3).
-
22
6. Real and Complex Differentiability
If we define
= Ll*v +2 iLl*'
A* . **
A
Ll' . = LJ v - ILJ v
and Ll'" v
V' 2 v •
( Ll')
Ll ~ = 2' 1
1 (1 -i) i 0
(Ll*)
Ll;*
Let
A: = G -:}
Then det A = 2i =1= O. That means that the equations can be solved for
,1~ and LI~*. The solution functions satisfy equation (2); (1) follows from
decomposition into real and imaginary parts. Since the values of the func-
tions a~, a~*, f3~, f3~* are uniquely determined at the point 30, the same must
be true of the functions ,1~, Ll~. 0
We now write:
PROOF.
n
1. Let f(3) = f(oo) + L (zv - z~O») Llv(o), Llv(3) continuous at 00' Then
v= 1
n n
f(3) = f(oo) + L (Zv - Z~O») Ll~(3) + L (Zv - Z~O») Ll~(3) with ,1~(3) = ,1v(3)
v=1 v=1
and ,1~(3) = 0, so that fzJoo) = 0 for 1 ~ v ~ n.
23
1. Holomorphic Functions
v=l
(Zv - z~o») .1~(3) + I
v=l
n
(Zv - ~o») .1~(3) with .1~(30) = ° for
V = 1, ... , n.
We define
o if Zv = z~O)
. _
1X.(3)· -
{ Zv-
-
-(0)
Zv • .1"( )
Z _ z(O) v 3
otherwise.
v v
Since
Zv - ~O)
Zv - z~O)
is bounded except at z~O) and lim .1~(3) = 0, it follows that IXv is continuous
3-30
at 30' But then
n n
/(3) = /(30) + I (Zv - Z~O») .1~(3) + I (Zv - Z~O») .1~(3)
v=l v=l
n
Theorem 6.3 (Chain rule). Let B), B2 be regions in en, respectively em.
9 = (g1> ... ,gm):B 1 ~ em be a mapping with g(B1) c B 2. Let 30 E B),
luo: = 9(30) and / a complex/unction on B 2. 1/ all gjl' 1 ~ Jl ~ m, are
real differentiable at 30 and / is real differentiable at luo, then /0 9 is real
differentiable at 30 and
m m
(f a 9)z)30) = I (fw)lUo))' ((gjl)z,(30)) + I (fwJlUo))' ((gjl)z.(30)),
jl=l jl=l
m m
(f 0 9)",(30) = I (fwJlUo))' ((gjl)", (30)) + jl=l
jl=l
I (fwJlUo))' ((gjl),,)30)).
PROOF. As in the real case, the proof follows from the definitions. D
24
6. Real and Complex Differentiability
{' 11 = g V'X fl
Jv,x + ih V'X/l'
.(,v, Yf.J. = g v. Yp + ih v, Y~l'
25
1. Holomorphic Functions
7. Holomorphic Mappings
Def.7.1. Let Been be a region, gb"" gm complex functions on B.
g = (g1, ... ,gm):B --+ em is called a holomorphic mapping if all the com-
ponent functions gil are holomorphic in B.
9]( :
9
= ((
g/l.z, v
) fl = 1, ... ,
=
1, ... , n
m)
the holomorphic functional matrix of g.
26
7. Holomorphic Mappings
?JbW)
o ~ IDl. 0 ~
( 0_"
gn,w"
Since det 9)1g =1= 0 there is only the trivial solution: gA, w" = 0 for all A and
all fl. This holds in all of V. Therefore the Cauchy-Riemann differential
equations are satisfied and g-l is holomorphic. D
Theorem 7.5. Let Been be a region, g = (gb ... ,gn) holomorphic and one-
to-one in B. Then Mg =1= 0 throughout B.
27
1. Holomorphic Functions
28
CHAPTER II
Domains of Holomorphy
Def.1.1. Let (P, H) be a Euclidean Hartogs figure in en, g: = (gb ... ,gn):
P ---7 en be a biholomorphic mapping, and let P: = g(P), H: = g(H). Then
(p, H) is called a general Hartogs figure.
29
II. Domains of Holomorphy
---t
I
IZ11
Figure 6. Euclidean Hartogs figure in C 3 .
g = (gb· .. , gn)
30
1. The Continuity Theorem
31
PROOF
1. Clearly G is a region. If 3l = (Z\l), . .. ,z~;'», A = 1, 2, are given,
then the points r(31), r(32) also lie in G. For A = 1,2 we can connect 3;. on
the torus T3A c G with r(3;} Define ({J;.:] --;. en by ({Jl(t): = (Z\ll(t), ... ,
z~}.)(t» with z~}.)(t): = IZ~l)1 + t· (max(!z~l)l, IZ~2)1) - IZ~l)D for A = 1,2,
v = 1, ... , n. Clearly Iz~;')(t)1 ~ IZ~l)1 > r? for v = 1, ... , n so that ({Jl(t) E G
for t E ] and A = 1,2.
({Jd2t) 0:::;t:::;1
Let {
({J(t): = ({J2(2 - 2t) 1 :::;
t :::; 1.
joins r(31) with r(32). Hence G is connected, and so is a domain.
({J
2. For v = 1, ... , n let E(,,): = {z" E 1[;:lz,,1 < 1}. Choose z~ E I[; with
r~ < Iz~1 < 1 :lnd set
IZ11,···,IZ"-11
Figure 10. The proof of Theorem 1.3.
real numbers qb ... , qn with r? < q" < 1 for v = 1, ... , n - 1 and
{wn: Iwnl < qn} c T(U). Then
H: = {ro E P:q1 < IWl!} u {ro E p:lwJlI < qJl for J1 = 2, ... , n}
is contained in g(G) and (P, H) is a Euclidean Hartogs figure. (P, H) with
15: = g-l(p) = PandH: = g-l(H) is a general Hartogs figure with H c G.
32
1. The Continuity Theorem
Let
F'(a)
{ f(a)
aE P
F(a): = 3 E B'.
* ._
al . -
(1 +
2q' (1)
Z2 , . . . , Zn(1)) ' *. _
32. -
(1 + q
~'Z2"'"
(2) (2))
zn .
33
II. Domains of Holomorphy
and can therefore be connected by a path which does not cross :F. The line
segment connecting 3~ and 32 also lies in G - :F, so we can join 31 and 32
by a path in G - :F.
b. If 31 E U, 32 E G - :F, let U 1 be the connected component of 31 in U.
Since U 1 - :F is non-empty, we can join 31 in U 1 with a point 3~ E U 1 - :F.
In particular, 3~ then lies in G - :F and by case (a) we can join it with 32'
Ifal, 32 E U then both points can be connected with a point 30 E (; - :F and
therefore with one another.
°
(z~ Zv - 1) for v = 2, ... ,n. h: P -4 P is a biholomorphic mapping with
h(O) = (0,30)' Set ql: = q and choose qv with < qv < 1 for v = 2, ... , n
so that h({(wJ,"" wn) E P:lwvl < qv for v = 2, ... , n}) is contained in
E(1) x V.
Let H: = {ro E P: Iwvl < qv for v = 2, ... , n} u {ro E P:ql < Iwd}. Then
(P, H) is a Euclidean Hartogs figure and (P, if) with if: = h(H) is a general
Hartogs figure. Clearly H c (E(I) x V) u {a E P:ql < IZ11} c S and by (1)
P n S = S is connected. The proposition follows from the continuity
theorem. D
34
2. Pseudo convexity
2. Pseudoconvexity
Def.2.1. Let Been be a region. B is called pseudoconvex if for all general
Hartogs figures (P, H) with H c B, all of P lies in B.
EXAMPLES
1. Since en has no boundary it trivially satisfies the requirements of
Def. 2.3. Therefore en is a domain of holomorphy.
2. The unit disk E(1) c C is a domain of holomorphy, as is shown in
1-dimensional theory.
3. The dicylinder E(l) x E(l) is a domain of holomorphy: If f: E(l) -> C
is a holomorphic function which is completely singular on oE(1), then
g:E(1) x E(1) -> C with g(Zb Z2): = f(Zl) + f(Z2) is a holomorphic func-
tion which is completely singular on o(E(1) x E(l))'
4. Let (P, H) be a Euclidean Hartogs figure, 30 E oH n P. For every
function f holomorphic in H there exists a function F hoi om orphic in P
with FIH = f. If V is an arbitrary open neighborhood of 30 which is entirely
35
II. Domains of Holomorphy
36
2. Pseudoconvexity
In 1910 the converse of the above theorem was proven in special cases
by E. E. Levi. The so-called Levi Conjecture, that this converse holds without
additional assumptions was first proved in 1942 by Oka for n = 2 and in
1954 for n > 2 simultaneously by Oka and by Norguet and Bremermann.
The proofis very deep and will not be presented here (see, for example, [7J).
To conclude this section, we will sketch the connection between the
pseudo convexity of a domain G and the curvature of its boundary.
Let Been be a region, 30 E Band cP: B --+ IR a twice continuously dif-
ferentiable function. One can regard B as a subset of 1R 2 n and consider the
tangent space T30 and the space T;o of the Pfaffian forms (see [21J, [22J).
The total differential of cP at the point 30 is the linear form
n n
37
II. Domains of Holomorphy
Then (j) = hl . Xl and lii = hz . Xl' Since (dqJ)oo =I 0 and (dt/t)"O =I 0, near
a{j)jJXl and alii/ax 1 have no zeroes, 0 E B and the same holds for hb h z . Set
h: = (hdh2) c]) in a neighborhood of 00' Then
0
Def. 2.5. Let Been be a region, qJ: B -> ~ be twice continuously dif-
ferentiable, 00 E B. Then the quadratic form Lcp,3o with Lcp,oo(tIl): =
n
I qJz;Zj(oo)wiw j is called the Levi form of qJ at 30' qJ satisfies the Levi
i, j= 1
11
It follows that:
n n
LtjJ(ro) = L t/lziZjWiWj = L (hz/Pz j + ({Jzizjh + ({JZihz)WiWj
it Ctl
i,j=l i,j=l
where the last two terms vanish, as was shown above. Since h is positive, the
proposition follows. D
3. Holomorphic Convexity
We will investigate whether there is a relationship between pseudocon-
vexity and the usual convexity of sets. We start with some observations
about convex domains in 1R2.
Let L be the set of linear mappings t : 1R2 ~ IR with
t(X) = aX l + bX 2 + c, a, b, CE IR.
A line g in 1R2 is a set of points x = Xo + to with t E IR and appropriate
fixed vectors xo, 0 E 1R2, 0 i= 0,
g = {x E 1R2:X = Xo + to, t E IR}.
Now let C E L with C(x) = aX l + bX2 + c and
(a, b) i= (0, 0). For b i=
let:ro: = (0, -c/b),o: = (1, -a/b); for b = Oanda i= Olet:ro: = (-c/a,O),
°
0: = (0,1). Then
t E IR} = g.
We therefore have two distinct ways of describing a straight line. We shall
use whichever description is most suitable.
Let g = {x E 1R2: x = Xo + to, t E IR} be a line. We denote the positive
ray {XE 1R2:X = Xo + to, t?= O} by g+ and the negative ray {XE 1R2:X =
Xo + to, t ~ O} by g -. If g is represented by the mapping t, then we define
H;: = {XEIR 2 :C(X) > O}, H;;: = {XEIR2: (x) < O}.
These are the two half-planes determined by g.
39
II. Domains of Holomorphy
Def. 3.2. Let M c ~2 be an arbitrary subset. Then Me: = {x E ~2: t(x) :::;;
sup t(M) for all tEL} is called the geometrically convex hull of M.
PROOF
1. Let x E M. Then for each tEL, t(x) :::;; sup l(M). Therefore x lies in Me.
2. Let Xo ¢ Me. Then there exists an ( E L with (xo) > sup (M). Since (
is continuous, it is also true that in an entire neighborhood of Xo we have
l(x) > sup l(M). Therefore Me is closed. t* with {*(x): = l(x) - t(xo) is in
Land t*(xo) = 0, sup t*(M e) = sup t*(M) = sup t(M) - sup l(M) = O.
Therefore g = {t E ~~: (*(x)",= O} is a line ~ith Xo E g and Me C H;;.
3. By (1) we have Me C Me. But fou E Me,t(x) :::;; sup (Me) :::;; sup (M)
for (E L. Hence it is also true that Me C Me.
4. sup t(M d :::;; sup t(M 2), for all ( E L, so (M l)e C (M 2)e'
5. Let Xo ¢ M. Since M is closed, there is an Xl E M with minimal distance
from Xo' If X2 is the midpoint of the line segment between Xo and Xl' then
X 2 ¢ M, and there is an tEL with (X2) = 0, tiM < O. Thus sup (M) :::;; 0,
but t(xo) > O. Therefore Xo ¢ Me and it follows that Me C M.
6. If M is bounded, then there is a closed rectangle Q with M c Q. For
each x E ~2 - Q there is a line g through x with Q c H;;, and therefore
an ( E L with t(x) = 0 and sup [(M) :::;; sup (Q) < O. That is, ~2 - Q C
2 ~ ~
~ - Me, there Me C Q. 0
40
3. Holomorphic Convexity
PROOF
1. Let B be convex. K c c B means that K is compact and lies in B.
Therefore K and also Ke is bounded. Since Ke is closed it follows that Ke is
compact. It remains to show that Ke lies in B.
We assume that there exists an Xo E Ke - B. Since B is convex there is
° °
and ( E L with ((xo) = and ((x) < for x E B. [ attains its supremum on
K so it is even true that C(xo) > sup ((K) ~ sup C(K). However, that con-
tradicts the fact that Xo lies in Ke. Hence Ke - B = 0.
2. Now we assume that Xo does not lie in B. First we show that for every
line 9 which contains Xo either g+ n B = 0 or g- n B = 0. From that we
shall deduce finally that there is a line go through Xo which does not intersect
B at all. We obtain go by rotating the above line 9 about Xo until the desired
effect occurs.
a. Assume that there exists a line 9 = {x E ~2: x = Xo + to, t E ~} with
g+ n B i= 0 and g- n B i= 0. Then let Xl = Xo + tID E g+ n Band
X2 = Xo + t2D E g- n B. The connecting line segment S between Xl and X2
is given by
S = {x = Xl + t(X2 - xl):t E [0, 1J}
= {x = t*Xl + t**X2 with t*, t** ~ 0, t* + t** = 1}.
Now let to: = -t 2/(tl - t 2) and to*: = 1 - to = tt/(tl - t2). Then xo: =
fOXl + to*X2 E Sand Xo = xo. Let C E L be arbitrary. We shall show that
((xo) ~ m = max(((x l ), ((X2)). Clearly, we can restrict ourselves to homo-
geneous functions (: ((x) = aXl + bx 2. Then ((xo) = ((taXI + to*X2) =
tof(xd + to*[(X2) ~ (to + to*)m = m.
Now let K: = {Xb x2 }. Then K c c B and therefore, Ke c c B. Because
f(xo) ~ max(((x l ), f(x 2)) = sup f(K) for each (E L it follows that Xo EKe.
That means Xo E B, which is a contradiction.
b. Now let such a 9 be given. If 9 + n B = 0 and 9 - n B = 0 we are
done. We assume that g+ n B i= 0. Let 80 be the angle between 9 and the
xl-axis, 8 1 : = sup{8:8 0 ~ 8 ~ 80 + 11:, g: n B i= 0}, where go denotes
the line which makes the angle 8 with the xl-axis.
Case 1. gt; n B i= 0. Then 8 1 < 80 + 11:. If Xl E gt; n B, then there
°
exists an e > such that Ve(Xl) lies in B. We can now find a 82 with 8 1 < 82 <
80 + 11: such that gt, still intersects Ve(Xl) and of course B as well. That
contradicts the definition of 8 1 , so Case 1 can be discarded.
Case 2. gOl n B i= 0. We proceed in exactly the same manner as above
to obtain a contradiction.
c. Let H+ and H- be the two half-planes belonging to gOl. From (b)
B c H+ U H-. But from (a) B must lie on exactly one side of go,. Suitable
choice of the orientation of go, yields that B lies in H- 0
One could use the conditions of Theorem 3.1 as the definition of convexity.
We now come to the notion of holomorphic convexity by replacing linear
functions by holomorphic fuhctions.
41
II. Domains of Holomorphy
PROOF
l.Foq E K, If(3)1 ~ suplf(K)I.
2. Let 3 E B - 1(, Then there exists a holomorphic function f on B with
If(3) I > suplf(K)I· Since If I is continuous, these inequalities hold on an
entire neighborhood U(3) c B which is contained in B - 1(, Therefore
B - K is open.
3. suplf(K)1 = suplf(K)I·
4. The statement is trivial.
5. If K is bounded then there exists an R > 0 such that K is contained in
the set fa = (Zl,·'" zn):lzvl ~ R}. The coordinate functions fv(3) == Zv are
holomorphic in B, and therefore for 3 E K, Izvl = Ifv(3)1 ~ suplf.(K)I ~ R.
Hence K is also bounded. 0
42
4. The Thullen Theorem
e(3) = L
• =1
a.x. + L
.=1
b.y. = L
.=1
tX.z. + L P;z•.
.=1
Since we are supposed to have «3) = t(3) it follows that P. = a., and
therefore
therefore
If(30)1 = exp o e(30) > sup«expoe)(K» = suplf(K)I·
Thus 30 E B - KB, and we have shown KB C Ke C C B. This proves KB
cc B.
is a positive number.
43
II. Domains of Holomorphy
Remarks
1. {5} is compact, en - B is closed, so for 5 E B dist'(5, en - B) > 0.
2. If 5 E B, then 5 E BE for e: = dist'(5, en - B). Therefore B = BE' U
E> °
Theorem 4.1. BE is closed.
PROOF. Let 50 E en - BE' We define 15: = dist'(50, en - B). e > 15 ~ 0, so
e - 15 > 0. Let U: = U~-o(50) = kl5 - 501 < e - b}. For5E Uwehave
dist'(5, en - B) ~ dist'(3, 50) + dist'(30, en - B) ~ e - 15 + 15 = e. Therefore
U lies in en - BE> that is, en - BE is open. 0
1
av, ..... vn
1
= 1
1
(2nW
ST(~l -f(~b···'~n)d~l···d~n
z\O)y,+l ... (~n - z~O)rn+l
I
holds. o
44
4. The Thullen Theorem
(We denote by a v (50) the coefficients a,. of the power series expansion
00
f(3) = L a (3 -
v 30)v.)
v=o
PROOF 0
45
II. Domains of Holomorphy
00
dominates I
lavC3 - 30YI· Now let Po(30) be the polycylinder about 30 with
v=o
radius b. For 3 E Po(30), I is a geometric series, and therefore convergent.
00
In the next section we shall show that the converse of this theorem also
holds.
2. U Kv
v=l
= B.
3. Kv c KV+1 for. all v EN.
46
5. Holomorphically Convex Domains
PROOF. It is clear how the Kv should be chosen: If Pv: = {3: Iz).1 ~ v for
all A}, we define Kv: = Pv ( l B 1/v . Obviously Kv is compact and lies in B.
Let 3 E B. Then e: = dist'(3, en - B) > 0 and there exists a Vo E N with
3 E P"o· Let v ~ max(vo, l/e). Then 3 E P v ( l B 1/v = Kv. Therefore B =
00
dist'(3, en - B) ~ dist'(30, en - B)
_ dist'(3, 30) > ~
v
_ (~
v
__
v+ 1
1_) _1_.
+
=
v 1
B = UK v, since B = U Kv = U Kv - 1 C U Kv c B.
v=1 v=1 v=2 v=2
2. U Mv = B,
v= 1
Il
3. U Mv
v= 1
= Kil
47
II. Domains of Holomorphy
PROOF
1. A point 3 = (Zb ... , Zn) E en is called rational if
with Xv, Yv E Q for all v.
The set of U,(o) with rational 0 E en and I: E Q forms a countable basis for
the topology of en; we denote this basis by lID = {~: KEN}.
Now let m:={~EIID:~nB#-0 and ~n(lCn-B)#-0}. If
~ E m, then ~ n B has countably many components, as each contains
at least one rational point.
Let 58: = {BIl: There is a KEN such that ~ Em and Bil is a component
of~ n B}.
58 is now a countable system {BIl:p EN} of connected sets, and for each
pEN there is a K = K(p) such that Bil C ~ n B.
2. The sequences (Jell) and (Oil) are now constructed inductively: Let 01
00
48
5. Holomorphically Convex Domains
I
we have
00
49
II. Domains of Holomorphy
Suppose Ki, ... , K~-1 have been constructed (K~-1 compact and
K~-1 = K~-l). Then there exists a },(v) E N such that K~-l c K;.(v). Let
K~: = K;.(v) Clearly the K~ are compact subsets of B with K~ = K~. More-
00 00 CD
50
6. Examples
6. Examples
Theorem 6.1. Let Bee be a region. Then B is a region of holomorphy.
(H ence for every open set B in e there exists a holomorphic function which
cannot be extended to any proper open superset of B.)
PROOF. It was shown in Section 3, that every region in e is holomorphically
convex. From Theorem 5.4 it follows that B is a region of holomorphy. 0
51
II. Domains of Holomorphy
IZ11
Figure 14. Example of a nontrivial analytic polyhedron.
In the theory of Stein manifolds one can prove the converse ofthis theorem.
54
7. Riemann Domains over en
Remarks
a. The mapping n is in particular continuous.
b. G is path-connected.
Take Xo E G and let Z: = {x E G: x can be joined with Xo in G}.
1. Xo E Z, therefore Z =1= 0.
2. Z is open, since G is locally homeomorphic to en and therefore locally
pathwise connected.
3. Z is closed: If Xl E az, then there exists a neighborhood U(x l ) c G
homeomorphic to en with U n Z =1= 0. We can join Xl in U with a point
X2 E U n Z, and from the definition of Z we can join X2 with Xo. Therefore
Xl also belongs to Z.
n v" and U
t
v=l
v: = (nvIVv)-l(V) for v = 1, ... , t. 0
EXAMPLES
1. Domains in en. Let G c en be a domain. n: = id G the natural inclusion.
Clearly (G, n) is a domain over en in the sense of Def. 7.1.
2. The Riemann surface of JZ.Let G: = {(w, z) E e 2 :w 2 = z, z =1= O} be
provided with the relative topology induced from e 2 • G is a Hausdorff space.
The mapping <p:e - {O} ~ G defined by t 1-+ (t, t 2 ) is bijective and con-
tinuous. G is therefore connected.
Now let n:e 2 ~ e be defined by new, z): = z. Then n: = nIG:G ~ e is
continuous. If(wo, zo) EGis an arbitrary point, then Zo =1= 0, and we can find
a simply connected neighborhood V(zo) c e - {O}. From the theory of a
single variable we know that there exists a holomorphic function f in V with
f2(Z) == z and f(zo) = woo We denote f by JZ.
Then n-l(V) can be written
as the union of the disjoint open sets U +: = U = {(fez), z):z E V} and
U _: = {( - fez), z):z E V}. Let l(z): = (f(z), z). Then (nIU)-l = 1, that is
nl U is topological. Hence (G, n) is a domain over e, the so-called "Riemann
surface of JZ".
e
G can be visualized in the following manner: We cover with two additional
copies of e, cut both these "sheets" along the positive real axis and paste them
crosswise to one another (this is not possible in [R3 without self intersection,
but in higher dimensions, it is).
55
II. Domains of Holomorphy
Def.7.2. Let 30 E en be fixed. Then a (Riemann) domain over e" with base
point is a triple ffi = (G, n, xo) for which:
1. (G, n) is a domain over en.
2. n(xo} = 30.
The point Xo is called the base point.
Def.7.3. Let ffij = (G j, nj' xJ be domains with base point over en. We
say ffi l < ffi2 ("ffi l is contained in ffi 2") if there is a continuous mapping
rp: G 1 ~ G2 with the following properties:
1. nl = n2 0 rp ("rp preserves fibers")
2. rp(xd = X2.
Theorem 7.1 (Uniqueness of lifting). Let ffi = (G, n, xo) be a domain over
en with base point, Y a connected topological space and Yo E Ya point.
If t/lb t/l2: Y ~ G are continuous mappings with t/ll(YO) = t/l2(YO) = Xo
and n t/I 1 = n t/I 2, then t/I 1 = t/I 2.
0 0
Theorem 7.2. Let ffij = (G j, nj' Xj) be domains with base point over en for
j = 1,2. Then there exists at most one continuous fiber-preserving mapping
rp:G 1 ~ G2 with cp(x 1 ) = X2.
56
7. Riemann Domains over en
PROOF. If there are two continuous mappings (fJ, I/I:G 1 -+ G2 with 1l:2 (fJ = 0
1l:1 =1l:2 0 1/1 and (fJ(Xl) = I/I(Xl) = X2, then it follows from Theorem 7.1
Def.7.4. Two domains 6>1> 6>2 with base point over Cn are called isomorphic
(symbolically 6>1 :::::: 6>2) if 6>1 < 6>2 and 6>2 < 6>1·
Theorem 7.4. Two domains 6>j = (G j , 1l:j' x), j = 1,2, are isomorphic if and
and if, there exists a topological fiber preserving mapping (fJ: G1 -+ G2
with (fJ(x 1) = X2.
PROOF. 6>1 :::::: 6>2 means that there exist continuous fiber-preserving
mappingS(fJl:Gl -+ G2 with(fJl(xl) = x2and(fJ2:G2 -+ G1 with (fJ2(X2) = Xl·
Then (fJ2 0 (fJl: G1 -+ G 1 is continuous and both 1l:1 0 «(fJ2 0 (fJl) = (1l:1 0 (fJ2) 0 (fJl =
1l:2° (fJl = 1l:1 and (fJ2 0 (fJl (Xl) = (fJ2(X2) = Xl. From the uniqueness theorem
(Theorem 7.2) it follows that (fJ2 (fJl = idGt • Analogously one shows
0
(fJl (fJ2 = id Gz • Hence (fJl is bijective and «(fJd- 1 = (fJ2. We set (fJ: = (fJ1·
0
To prove the converse we set (fJl: = (fJ and (fJ2: = (fJ -1. 0
Def.7.5. A domain 6> = (G, 1l:, xo) over Cn with base point is called schlicht
if:
1. G c en;
2. 1l: = idG is the natural inclusion. (In particular then Xo = 30.)
Theorem 7.5. 6>1 < 6>2 ~ G1 C G2 if 6>1> 6>2 are schlicht domains.
The proof is trivial.
EXAMPLE. Let 6>1: = (G, 1l:, xo) be the Riemann surface of.JZ with the base
point Xo: = (1,1), 6>2: = (C, ide, 1). Then (fJ: = 1l::G -+ C is a continuous
mapping with ide (fJ = 1l: and (fJ(xo) = 1. Therefore 6>1 < 6>2·
0
57
II. Domains of Holomorphy
U Xv, = U
veN vellNK
(n X~:») n(u
KEK
=
KEK VKEN
X~:») = n
KEK
X = X
and
if v" -:/= J1K for some K E K. Therefore r is a partition, and clearly for fixed
v, Xv = n X~:) c X~:). That is, r is finer than any partition X"' K E K.
KEK
EXAMPLE. Let (y, 11) ~ (y', 12) ifn" (y) = n'2(y'). Clearly ~ is an equivalence
relation on X and ~ has property (P).
Now let K be the set of all equivalence relations on X which have property
(P). For K E K let X" be the partition of X corresponding to the equivalence
relation K, that is the set of equivalence classes.
For the partition system X = {X,,:K E K} one can construct a refinement
r = {Xv:v E N} as above.
58
7. Riemann Domains over en
set X~:). But then the points also lie in the set n
there exists a VIC E N /c' such that (x." 11)' (X. 2 , 12 ) simultaneously lie in the
X~:) = Xv for V =
nN
KEK
(VIC)/cEK E IC , that is (x." 11) ~ (x. 2, 12)' One shows similarly that the
/cEK
second requirement of (P) is satisfied..r is therefore the finest partition
of X which defines an equivalence relation with property (P). If two points
(x, 11), (x', 12 ) lie in Xv = n
X~:), then for every K E K (x, 11)i((X', 12), in
ICEK
particular for the equivalence relation given in the example..But then
n.,(x) = n. 2 (x'). The fundamental point uniquely determined by Xv will be
denoted by 3v' 0
Subsequently it will be shown that <!> = (G, it, xo) can be given such a
topology that «; is a Riemann domain and (fj. < (fj for all 1 E I.
It suffices, therefore, to give (G, it, xo) a Hausdorff topology so that all
mappings <PI are continuous.
(n.,1 U.J -1(3), resp. Yz with (n.2IU.,) -1(3). The initial points are equivalent, and
therefore so are the endpoints. 0
Let x E ip.~ 1(ip., (M)) be given, y E M with (y, 11) ~ (x, 12) and 3: =
n.,(y) = n. 2 (x). There exist open neighborhoods U 1 = U 1{y), U 2 = U 2(x)
59
II. Domains of Holomorphy
Lemma 4. Let M" c G", M'2 C G'2 be arbitrary subsets. Then cp,,(M,.) n
cp'2(M'2) = cp'2(M'2 n cp,~l(cp,,(M,.))).
PROOF
1. Let y E cp,,(M,,) n cp'2(M'2)' Then there are points Y1 EM", Y2 E M'2
with cp,,(yd = CP'2(Y2) = y. Clearly Y2 E cp,~ l(cp.,(M,,)) n M'2'
2. Let Y E cp'2(M'2 n cp,~ l(cp'I(M,.))). Then there is a point Y2 E M'2 n
CP.~ l(cp'I(M'I)) with CP'2(Y2) = Y and furthermore there is also a point
Y1 EM" with CP'2(Y2) = cp,,(yd. Therefore Y E cp,.(M,,) n cp'2(M,J 0
Now we can introduce a topology on G:
Let l:': = {A c G: There exists an I E I, M, c G, open, such that
cp,(M,) = A} u {G}. Then:
1. 0 = cp,(0) for every Z E I, so 0 E l:'
2. GEl:' by definition
3. Ai> A2 E l:' => A1 n A2 E l:', from Lemmas 4 and 3.
l:' satisfies the axioms for the basis of a topology. Let l: be the corresponding
topology on G, that is, the set of arbitrary unions of elements of l:'.
Theorem 7.6. Let {ij). = (G" n" x,): I E I} be a family of domains over en
with base point, X = U G, the disjoint union of the spaces G" and X* =
,eI
(Xv)veN the finest partition of X which defines an equivalence relation with
(P). Let G: = {Xv: v E N} be the set of classes of X*. Let the point
Xo E G and the mappings ft: G --+ en, cp,: G. --+ G be defined as above, and
G be provided with the topology given above. Then:
1. ~ = (G, ft, xo) is a domain over en with base point.
2. Fpr every I E I, ij), < ~.
3. If ij)* = (G*, n*, xo) is a domain over en
and ij), < ij)* for all ZE I,
then also ~ < ij) *.
(~ is the smallest Riemann domain over en, which contains all domains Q)•. )
PROOF
1a. Gis a topological space and ft(xo) = 30 = n.(x,).
b. G is connected: If Y E G, then there is an I E I and a Y. E G, such that
Y = cp,(y.). Let 1/1 be a path in G, which connects Y. with x,. Then cp,O 1/1:
[0,1] --+ G is a mapping with CP. 0 1/1(0) = y, CP. 0 1/1(1) = xo. cp, (and hence
60
7. Riemann Domains over en
cp, 0 ljI also) is continuous: if MeG is open, then M = U cp, (M.), where
,El
M, c G, is open (possibly empty) for every l.
It follows that, for 10 E I, cp,~ 1(M) = U cp,~ 1(cp.(M) ) is open in G,o. We
'EI
can therefore connect every point to the base point by a path in G.
c. G is a Hausdorff space: Let Yl, Y2 E G with Y1 =1= Y2·
Case 1. n(Y1): = 31 =1= 32 = :n(Y2). Then there are open neighborhoods
V(3d, V'(32) with V n V' = 0, and n-l(V) n n- l (V') = 0. Therefore it
suffices to show that n is continuous. Let V c en be open, M: = n- l(V),
1 E I. Then cp,-l(M) = (n cp.)-l(V) = n,-l(V) is open in G" therefore
0
M = U cp,cp,-l(M) is open in G.
'EI
Case 2. Let 3: = n(Yl) = n(Y2). There are elements hE Gl[' Y2 E G'2 with
cpl[(h) = Yt and CP'2(Y2) = Yz. Furthermore we can find open neighborhoods
U 1 (Yd c Gq , U 2(Pz) C G'2 and a connected open neighborhood V(3) c en
such that n, ,I U 1: U 1 ~ V and n'21 U 2: U 2 ~ V are topological mappings. The
points CYb 11), (Y2, 12) are not equivalent, so by Lemma 2 it must be that
cp,,( U 1) n CP'2( U 2) = 0, and we have found disjoint neighborhoods.
d. n is locally topological. Let Y E G, 1 E I, y, E G, be such that cp,(y.) = y.
Let 3: = n(y) = n,(y,). Then there exist open neighborhoods U,(y,) and
V(3) such that n,iU,:U, ~ V is topological. U: = cp,(U.) is an open neigh-
borhood of y, nl U: U ~ V is continuous and surjective. From the equality
(nIU) (cp,IU,) = n,IU, it follows that nlU is also injective and (niU)-l is
0
continuous.
2. The mappings cp,: G, ~ G are fiber-preserving and by (1 b) are also
continuous. Therefore (£), < <b.
3. If (£)* is given, then there exists a fiber-preserving mapping cp;: G, ~ G*.
With the help ofthestatement "(y, 11) ~ (y', 12) ifand only ifcp:,(y) = CP;2(y')"
we can introduce an equivalence relation on X, which because of the unique-
ness lifting also has property (P): Namely, if ljI: [0, 1] ~ G", cp: [0, 1] ~ G'2
are two paths with (ljI(O), Id ~ (cp(O), 12) and n" ljI = n'2 cp, then Cp;, ljI(O) =
0 0 0
CP;2 o cp(O) and (because n* cp; = n,) also n* (cp;, ljI) = n* (CP;2 cp).
0 0 0 0 0
In particular it follows that (ljI(I), ld ~ (cp(I), 12). But that means that
a mapping cp:G ~ G* is defined by cp cp, = cp;. cp is continuous and
0
fiber-preserving. 0
Def.7.6. The domain <b described in Theorem 7.6 is called the union of the
domains (£)" 1 E I, and we write
<b = U (£),.
'EI
Special Cases
1. From (£)1 < <fi and (£)2 < <fi it follows that <fil u (£)2 < <fi
2. From (£)1 < <fi2 it follows that (£)1 u <fi2 ~ (£)2
61
II. Domains of Holomorphy
now (Xl' 1) ~ (xz, 2), so (y, 1) ~ (11:1(y), 2) as well. On the other hand, the
equivalence classes contain only points over the same fundamental point, so
it follows that over each point of Gz there is exactly one equivalence class.
2. Let Z E C - {OJ be arbitrary. The line through Z and 0 contains a
segment IP:[O, 1] ~ C - {OJ which connects a point z* E Gz with z. Then
there existtwo paths IjJ 1> l/Iz in Gl with 11:1 0 IjJ 1 = 11:1 0 IjJz = IP and (1jJ 1(0), 1) ~
(ljJz(O), 1) ~ (z*, 2). Hence it follows that the points (ljJl(1), 2), (ljJz(1), 2) over
Z are equivalent From (1) and (2) we have:
8. Holomorphic Hulls
Def.8.1. Let (G, 11:) be a domain over en, f:G ~ C a function. f is called
holomorphic at a point Xo E G ifthere exist open neighborhoods U = U(xo)
and V = V(11:(xo)) such that 11:1 U: U ~ V is topological and f (11:1 U)-l: 0
Remarks
1. Holomorphy at a point does not depend on the neighborhood.
2. For schlicht domains the new notion of holomorphy agrees with the
prevIOUS one.
3. If f is holomorphic on G, then f is continuous.
Lemma 1. Let (G b 11:1> Yl), ... ,(G{, 11:/, Y(), (G, 11:, y) be domains with base
point over en and let 3 = n(y). ~r IPi: G ~ Gi are fiber-preserving mappings
with IPi(Y) = Yi for i = 1, ... ,e, then there exist open neighborhoods
U = U(y), v = V(3) and U i = Ui(yJ such that for every i all the mappings
in the following commutative diagram are topological
62
8. Holomorphic Hulls
U CPi/ U ) U·
'I~v ;':I~;
PROOF. We can find open neighborhoods O(y), Y(o), and Oi(Y;) such that
the mappings n/O:O ~ Y and ni/Oi:Oi ~ V are topological. Since CPi is
continuous, there is an open neighborhood U(y) c O(y) with CPi(U) c Oi.
If we set V(o): = n( U) and Ui : = cp;( U), we obtain the desired result. 0
Def.8.2. Let 63; = (G i, ni' Xi), i = 1, 2 be domains with base points and
(£il < (£iz by virtue of a continuous mapping cP: G1 ~ Gz . If f is a com-
plex valued function on Gz , then we define f/Gl: = f 0 cpo
U1 cp/U1)U Z
"I~
V
J,W,
(with neighborhoods U 1 = U 1 (Yl), U z = Uz(yz) and V = V(ol)).Butthen
(f/G 1) 0 (nl/Ul)-l = f 0 (cp 0 (nl/Ul)-l) = f 0 (nz/U z )-l. 0
63
II. Domains of Holomorphy
Theorem 8.2. Let (G b n1), (Gz, nz) be domains over 1[:", t/I).:[O, 1J --* G). be
paths with n1 0 t/l1 = n2 0 t/lz. Additionally, let fA be holomorphic on G).,
A = 1,2. If Ud"" (0) = (fZ)"'2(0), then also (f1)",,(I) = (f2)"'2(1)·
PROOF
1. Let Xl E G1, X2 E G2 be points with n1(x 1) = n2(xZ) = 30. Then there
are open neighborhoods U 1(X1), U Z(X2) and an open connected neighbor-
hood V(30) such that the mappings n).IU).: U;. --* V are topological.
If there exist points Xl E U b X~ E U 2 with n1(xI) = n2(x~) = 3 and
(f1)x\ = (fZ)X2 then f1 a (n1IU1)-1 = fz (nzIU z)-l near 3 E V and there-
0
°
2. Let W: = {t E [0, 1]:(f1)",,(t) = (fZ)"'2(t)}
a. By assumption W #- 0, as lies in W.
b. If t1 E W, then one sets X).: = t/I).(t 1). By (1) there exist open neigh-
borhoods U 1(X1), Uz(x z ) such that (f1)x\ = (fZ)X2 for all Xl E U b X~ E U z
with n1(x~) = nz(x~). Since the mapping t/I). are continuous, there exists a
neighborhood Q(t 1) c [0, 1J with t/I).(Q) c U)., A = 1,2. Therefore (f1)",(t) =
(f2)"'(t) for t E Q. This means that W is open.
c. One shows that [0, 1J - W is open in exactly the same way. Since
[0, 1J is connected, it follows that W = [0, 1]. D
Theorem 8.3. Let (fj). = (G)., n)., x).) be domains over Cn with n;.(x,.) = 30'
A = 1,2, and with (fj1 < (fjz.
Let f be a holomorphic function on Gb F a holomorphic extension of
f to G2 • Then F is uniquely determined by f.
(F 1)X2 = (F 2)X2· Since each point X E Gz can be joined to X2, the equality
F 1 = F 2 follows from Theorem 8.2. D
For j = 1, ... , n let prj: I[:" --* C be the projection onto the j-th compo-
nent. If (G, n) is a domain over cn, then Zj: = prj n is a holomorphic
0
Def.8.4. Let (fj = (G, n, xo) be a domain over C" with base point fF a non-
empty set of holomotphic functions on G. Let {(fj" I E I} be the set of
domains over I[:" with the following properties:
1. (fj < (fj, for all I E I.
2. Iff E fF, then for every I E I there is an F, E A(G.) with F,IG = f.
64
8. Holomorphic HuIIs
Theorem 8.4. Let IJj = (G, n, xo) be a domain over en,:F a non-empty set of
functions holomorphic on G and Hg;(IJj) = (G, ii, x) the holomorphic hull of
G relative of :F. Then IJj < H g;( 1Jj), and for each function f E :F there exists
exactly one function FE A(G) with FIG = f. If IJjt = (G t , nt, xd is a
domain over en with IJj < IJjt and the property that every function f E :F
can be holomorphically extended to G t , then IJjt < Hg;(IJj).
PROOF
1. Let" ~" be the finest equivalence relation on X: = U G, with prop-
'EI
erty (P). Then G is the set of equivalence classes of X relative to ~. We now
define a new equivalence relation on X:(y, It) ~ (y', Iz), if and only if:
a. n,Jy) = n'2(y')·
b. Iff E:F and ft E A(G,,), fz E A(G'2) are holomorphic extensions of f,
then (ft)y = (fz)y. "~" is an equivalence relation and has property (P).
a. For each I E I there exists a continuous fiber-preserving mapping ({J,:
G -+ G, with ((J,(xo) = x,. We can find open neighborhoods U(x o), Ut(x,,),
U Z(X'2) and V(n(xo)) such that all mappings are topological in the two
commutative diagrams below.
U ({J'2I U ) U z
nl~ AIU,
v V
Thenfz 0 (n'2iUz)-t = fz 0 ({J'2 0 (nIU)-t = f 0 (nIU)-t = ft 0 ({J" 0 (nIU)-t =
ft 0 (n'lIUt)-t; that is the base points are equivalent.
b. If !/I A: [0, l] -+ G" are paths with (!/It (0), Id ~ (!/Iz(O), Iz) and n" o !/It =
n'2 0 !/Iz, then (ft)JjJl(O) = (fZ)JjJ2(O). It follows from Theorem 8.2 that: (fdJjJl(t) =
(fZ)JjJ2(t), and, therefore (!/It(l), It) ~ (!/Iz(l), IZ). Since "~" is the finest
partition with property (P), (y, It) ~ (y, Iz) implies (y, It) ~ (y, Iz).
2. For all I E I, IJj < 1Jj, < U 1Jj, = Hfj(IJj). Let rp,: G, -+ G and rp: G -+
'EI
G with rp = rp, 0 ({J, be the canonical mappings. Let f E:F be given. For
y E G there exists an I E I and a y, E G, with rp,(y,) = Y. Let F, E A(G.) be a
holomorphic extension of f. Then we set F(y): = F.(yJ If K E I, y" c G",
rp,,(y,,) = y, and if F" E A(G,,) is a holomorphic extension off, then (y" I) ~
(y", K). Hence (y" z) ~ (y", K) as well, so that (F.)y, = (F")YK. It follows that
F,(y.) = F,,(y,,). So F is well defined. Also, F 0 rp = F 0 rp, 0 ({J, = F,o ({J, =
f, so F is an extension of f. It remains to show that F is holomorphic:
65
II. Domains of Holomorphy
n'l~
V
;lu,
It follows that F (nIU 2)-1 = F <p, (n,IU 1)-1 = F,o (n,IU 1)-1; the last is
0 0 0
a holomorphic function.
3. The "maximality" of H§'«fj) follows immediately from the construction.
The holomorphic hull H§'«fj) is therefore the largest domain into which
all functions f E :F can be holomorphically extended. D
Theorem 8.5. Let (fj). = (G)., n)., x), A. = 1,2 be domains over e with (fj1 u
(fj2 = (G, iE, X), and f1: G1 -4 C, f2: G2 -4 C be holomorphic functions. If
there is a domain (fj = (G, n, x o) with (fj < (fj). for A. = 1,2 and f11G =
f21 G, then there is a function 1 holomorphic on G with 11 G). = f;. for A. =
1,2.
PROOF. Let f: = f11G = j~IG, :F: = {J}. Then f1 is a holomorphic exten-
sion of f to G1 and f2 is a holomorphic extension of f to G2 . Therefore by
Theorem 8.4: (fj1 < H§'«fj) and (fj2 < H§'«fj). But then by Theorem 7.6
(fj1 u (fj2 < H§'«fj). Let !be the holomorphic extension of f to H§'«fj) and
1: = JIG. For A. = 1, 2,fIG = (JIG)IG = JIG = f = f).IG, thereforell G). =
h. D
Now let Pee be the unit polycylinder, (P, H) a Euclidean Hartogs
figure, tP: P -4 B e e a biholomorphic mapping. (B, tP(H)) is then a
generalized Hartogs figure. Since P and H are connected Hausdorff spaces
and tP is, in particular, locally topological, it follows that ~ = (P, tP, 0) and
~ = (H, tP, 0) are domains over e with base point and we have ~ < ~.
We regard the pair (~, ~) as a generalized Hartogs figure.
PROOF. flH has a holomorphic extension FE A(G). Let (fj1: = (fj, (fj2: =
~, f1: = f, f2: = F. Because ~ < (fjb ~ < (fj2 and f11H = f21H, the pro-
position follows from Theorem 8.5. D
Def.8.S. A domain (G, n) over e is called pseudo convex if the fact that
(~, ~) is a generalized Hartogs figure and Xo EGa point with ~ < (fj: =
(G, n, xo) implies (fj u ~ ~ (fj.
66
8. Holomorphic Hulls
Theorem 8.7.
1. If ffj = (G, n, xo) is a domain over en and F a non-empty set of
functions holomorphic on G, then H~(ffj) is a pseudoconvex domain.
2. Every domain of holomorphy is pseudoconvex.
The proof is trivial.
Theorem 8.8. (Oka, 1953). If ffj is pseudo convex then ffj is holomorphically
convex and is a domain of holomorphy.
The proof is tedious.
67
CHAPTER III
The Weierstrass Preparation Theorem
Ilfll t: = L lavlt V
E Ih£+ u {O} u {oo}.
v=o
One can introduce a weak ordering on Ih£~ if one defines (tb ... , tn )
(t~, ... ,t~) if and only if t; ,,:; tt for i = 1, ... , n. The norm of f
,,:;
relative to t is then monotone in t: 1ft,,:; t*, then Ilfllt ,,:; Ilfllt"
v=o
convergence was given in Chapter I.) We denote the ring of convergent
power series by H~.
68
1. The Algebra of Power Series
Theorem 1.1. f E 1C{3} is convergent if and only if there is atE 1R"t- with
Ilfll t < 00.
PROOF
co
1. Let f(3) = I a v 3V be convergent in the polycylinder P. Then there
v=o
exists atE 1R"t- with P t C P, and therefore Ilfllt < 00.
00
I av 3V + I bv 3V = I (a v + bv)3 V
,
v=o v=o v=o
69
III. The Weierstrass Preparation Theorem
L
00
Let f(5): = L av 3". Let 6 > 0 be given. Then there exists an n = n(6)
such that
(jJ
f(3) = L f,,(5')z1
,,=0
where f,,(5') = L a",v'(5')"'.
,,'=0
This representation is called the expansion of f with respect to Z l' The
following assertions hold:
rtJ
L Ilf,,11r t1
,,=0
< 00.
3. Iff =
00
PROOF
(2) Ilz'1 . flit = 11,,~0 f),z1+t = ,,~o IIj~llrtt+s = t'1 . ,,~o Ilf"ll!' . t1
= t1 ·llflit.
00
3. If one sets };: = L ao, .. 0, ViVi + 1 .•• vnzii - 1 z;\\1 .. 'z~n, then z 1 . f1 +
Vi>O
... + zn . fn = f and Ilfllt = t1 '1lfdlt + ... + tn ·lIfnllt· Iff is convergent,
then there exists a to E 1R':c with Ilfllto < 00, and for t :( to
n n n
Ilflit = L till};ll! :( L tdl};llto :( max(t
i~l i~l
b · .. , t n )· L 11};llta'
i~l
for which gs is a unit in B', and let there be an 8 with < 8 < 1 such that
11z'l - g' gs-lll < 8' t'1. Then for every fEB there exists exactly one q E B
°
and one l' E B'[Zl] with deg(r) < s such that f = q' g + l' ("Division with
remainder"). Furthermore,
1
(1) Ilgs' qll :( tIl ·llfll· ~
1
(2) 111'11 :( Ilfll· 1 - 8'
PROOF. Let h: = -(z'l - g' gs-l). Then Ilhll < 8' t1 and g' gs-l = z'1 + h.
Let us start with an arbitrary fEB and inductively construct sequences
(f,,), (q,,), and (1',,). We set fo: = f·
Suppose fo, ... , f" have been constructed. There exists a representation
00
00 s-l
q,,: = L f",l(z~-s,
K=S
1',,: =, L
1(~0
f",l(z~ and
71
III. The Weierstrass Preparation Theorem
Then f;. = zi . q;. + r;. and fH1 = -h' q;. = f;. - r;. - gg;1. q;.. Clearly
the following estimates hold:
Ihll ~ Ilf;.ll,
Ilq;.11 ~ t 1S llf;.lI,
IIfH111 ~ Ilhll·llq;.11 < e ·llf;.ll, so
00 00
Letq: = L
;'=0
g;1· q;.andr: = L
;'=0
r;.. Then
By the comparison test the series converge. Since each r;. is a polynomial
with deg(r;.) ~ s - 1, it follows that r is a polynomial with deg(r) ~ s - 1.
00
(1) Ilgsqll = II ;.~o q;.11 ~ ;.~o Ilq;.11 ~ t 1 llfll' ;.~o e;' = tiS '1Ifll' 1 ~ e'
S
CXl 00 1
(2) Ilrll ~ ;.~o Ihll ~ Ilfll' ;.~o e;' = Ilfll' 1 - e'
72
2. The Weierstrass Formula
L
).=0
(1 - f);', 8: = 111 - III. Then °: : ; 8 < 1 and L
),=0
00
£;.
00
L L
00 00
L
00
73
III. The Weierstrass Preparation Theorem
74
3. Convergent Power Series
°
Theorem 3.2. Let g E C{a} be convergent and regular of order sin Z1' Thenfor
every e > and every to E [R~ there exists a t ~ to such that g lies in B I ,
gs is a unit in B;, and Ilzt - gg; 111 I ~ e' tl..
00
and since f(O) = 0, there exists a t2 ~ t1 such that, for all t ~ t 2 , Ilflll < 1.
gs/gs(O) (and hence gs also) is therefore a unit in B;. Moreover, it is clear
that g lies in B t •
2. Let h: = zt - g' gs-l. Then hE BI for all t ~ t 2 , and we can write
= ° for
00
f d).z1 1
I A=s+1 I
= f d 1- 11
Ilzt+ A=s+1 1
. AZ s
-
1
I
t1 f dAZ1-s-111
·11 A=s+1 12
< te;
therefore
Because d;.(O)
so small that
= °for A = 0, 1, ... , s - 1 we can choose for t1 a suitable t'
s-1
I Iid lkt1
),=0
A < te' tl..
For t = (t 1 , t') it then follows that
Remark. In a similar manner one can show that if gb ... ,gN E C{a} are
convergent power series and each gi is regular of order Si in Zb i = 1, ... , N,
75
III. The Weierstrass Preparation Theorem
then for every I> > 0 there is an arbitrarily small t E 1R"r for which
gi E Bb (gi)S, is a unit in B;
and
Ilzi' - gi(gi)S~ 111 ~ I> • tJ.'.
The problem of what to do if g is not regular in ZI now arises. We shall
show that if g does not vanish identically one can always find a biholomorphic
mapping which takes g into a power series g' regular in ZI'
Let A(O) be the set of all holomorphic functions defined in a (not fixed)
neighborhood of 0 E en, let cP:A(O) ~ Hn with cP(f) = (f)o be the mapping
which associates each local hoi om orphic function f with its Taylor series
expansion about the origin. cP is clearly surjective and commutes with
addition and multiplication in A(O). If U 1, U 2 are open neighborhoods of
oE en, 0': U 1 ~ U 2 a biholomorphic mapping with 0'(0) = 0, then for f,
g E A(O) with (f)o = (g)o we have
(f 0 0')0 = (g 0')0'
0
Therefore the mapping O'*:Hn ~ Hn with O'*((f)o) = (fo 0')0 is well defined
and moreover
1. 0'*( (fl)O + (fl)O) = 0'*( (fl)O) + 0'*( (fl)O)
2. 0'*( (fdo . (fl)O) = 0'*( (fl)O) . 0'*( (fl)O)
3. id*( (f)o) = (f)o
4. (0' 0 p)*( (f)o) = (p* 0 0'*)( (f)o)
5. 0'* is bijective, and (0'*)-1 = (0'-1)*.
0'* is therefore always a ring isomorphism. It is customary to write (f)o 0 0'
in place of 0'*( (f)o).
Def.3.2. Let c = (C2' ... ,cn) E en-I. Then 0',: en ~ en with 0',(w 1 , •.. , wn): =
(WI' Wl + C1 W1, . .. , Wn + cnW1) is called a shearing. Let the set of all
shearings be denoted by L'
and
0'( 0 0' _( = 0'0 = id(n
that L is an abelian group and that shearings are biholomorphic. 0
Theorem 3.4. Let g E H m g #- O. Then there exists a shearing 0' E L such that
goO' is regular in ZI'
76
3. Convergent Power Series
PROOF
00 00
Then
L L
00 00
WJe: = Z1 - rJe)' 0
4. Prime Factorization
In the following let I always be an arbitrary integral domain and I*: =
I - {O}.
We quote some facts from elementary number theory (see for example,
v.d. Waerden, Vol. 1.).
78
4. Prime Factorization
Def.4.2
1. Let a E 1*, a not a unit. a is called indecomposable if it follows
from a = a l . az with ab az E 1* that a l is a unit or az is a unit.
2. Let a E 1* not be a unit. a is called prime if alaI . a z implies that
ala l or alaz. It is true that a prime is always indecomposable. The converse
is not always the case, but does hold in some important special cases, such
as the ring of integers.
Def.4.4
1. Let I be an integral domain. Then the quotient field of I, denoted
by Q(I), is defined by
PROOF. For A = 1,2, W;. = Xs), + A;.,lXS).-l+ ... + A;.,s with A;',IlEQ.
Therefore there exists a d;. E I such that d;. . W;. E I[ Xl In the coefficients of
d;. . W;, any common divisors are cancelled.
Now let d: = d l . dz . We assume that there exists a prime element p which
divides d. It follows that d,td;. . W;. for A = 1,2. Let Il;. be minimal with the
property that p,td;, A;., Il A' Now (dlw l ) . (dzw z ) = ... + Xlll+1l2 . [(d l • Al,lll) .
(d zAz'1l2) + terms divisible by p] + .... Therefore the coefficient of Xlll+1l2
is not divisible by p, hence (d l ' wl)(d z . wz) is not divisible by p, which clearly
79
III. The Weierstrass Preparation Theorem
Without loss of generality we may assume, then, that the W;. are normalized.
2. By induction on e it follows from Theorem 4.2 that all W;. lie in 1° [X].
It still remains to be shown that the WAare also prime in IO[Xl Let wAlw' . w"
with w', w" E 1° [X].
This relation also holds in Q[ X] and there either w;.lw' or wAlw". Say
w;.lw'. Then w' = WA. w~ with w~ E Q[X] and hence QO[X]. By Theorem
4.2 it further follows that w~ E IO[ Xl Therefore W;. is prime in IO[ Xl D
L PA be the expansion of f
00
80
5. Further Consequences (Hensel Rings, Noetherian Rings)
2. Now let f be indecomposable, f1, f2 arbitrary and #0, and flf1 . f2'
A shearing makes f1 0 a, f2 0 a, and f 0 a regular in Zl' Thus it follows that
in the sense of Theorem 3.7. Since flf1 . f2 we have (f 0 0Wfl 0 a) . (f2 0 a);
therefore OJIOJ1 • OJ2 in H". There exists a q E Hn with q' OJ = Oh . OJ2' By
the Weierstrass formula (Theorem 3.6) q is uniquely determined, and by the
corollary q E H~ - 1 [ Z 1 J.
Since f is indecomposable, so is f a and thus OJ is indecomposable
0
5. Further Consequences
(Hen~el Rings, Noetherian Rings)
Hensel Rings
Let R be a commutative C-algebra with 1 in which the set m of all non-
units is an ideal. Let n:R --> Rim and I:C --> R be the canonical mappings.
Proposition
1. m is the only maximal ideal in R.
2. Rim is a field.
3. n 0 1: C --> Rim is an injective ring homorphism.
PROOF
1. Let a c R be an arbitrary maximal ideal. If a contains unit, then
a = R, and that cannot be. Therefore a em; that is, a = m.
2. If n(a) # 0, then a ~ m, and therefore is a unit in R. There exists an
a' ER with aa' = 1, and then n(a)' n(a') = n(a . a') = n(1) = 1 E Rim.
3. It is clear that n 0 1 is a ring homomorphism. If n 0 I(C) = 0, then
I(C) = c· 1 must lie in m, and that is possible only if c = O. Therefore no 1
is injective. D
Theorem 5.3 (Hensel's lemma). Let w(u, 3) E H~[ u] have the decomposition
w(u,O) = n (u -
t
;'=1
c,,)s). into linear factors (with Cv =1= Cll for v =1= p and
Sl + ... + St = :s = deg(w)). Then there are uniquely determined poly-
nomials Wl> ... , Wt E H~[u] with deg(w;.) = s;. and w;.(u, 0) = (u - c;.y)·
for A = 1, ... , C such that w = W1 ... Wt.
PROOF. We proceed by induction on C. The case C = 1 is trivial; we assume
that the theorem has been proved for C - 1.
1. First assume that w(O, 0) = o. Without loss of generality we can assume
that C1 = 0; thus w(u,O) = uS, . h(u) with deg(h) = s - Sl and h(O) =1= o.
This means that w is regular of order Sl in u and we can apply the Weierstrass
preparation theorem:
There is a unit e E Hn+l and a polynomial W1 E H~[u] with deg(w1) = Sl
such that w = e . W1. From the corollary it follows that e lies in H~ [u J.
W1(0,0) == 0, since w(O, 0) = 0 and e(O, 0) =1= 0; so W1(U, 0) = uS,. Therefore
e(u,O) = h(u) = n (u -
(
;'=2
c;.)s).. By induction there are elements W2, ... , Wt E
Noetherian Rings
Def. 5.3. Let R be a commutative ring with 1. An R-module M is called
finite if there exists a q E N and an R module epimorphism cp: Rq ~ M.
82
5. Further Consequences (Hensel Rings, Noetherian Rings)
t - L(
;'=1
a;.t;. -
-( tL a;.(r2 , ... ,rq))
0,'
t -
;'=1
(;.) (;.)
EM.,
°
J c Hn be an ideal. We may assume that we are not dealing with the zero
ideal, so there exists an element g # in J. By application of a suitable
shearing (T, g': = goa is regular of order s in z 1. a induces an isomorphism
a*: Hn ~ Hn with a*(g) = g'. a*(J) is an ideal in Hn along with J, and if
a*(J) is finitely generated, then J = (a*)-l a*(J) is also finitely generated.
Without loss of generality we can then assume that g is already regular of
order s in Zl. Let tPg:Hn ~ (Hn - 1 )' be the Weierstrass homomorphism, which
83
III. The Weierstrass Preparation Theorem
will be defined in the following manner: For every f E Hn there are uniquely
defined elements q E Hn and r = 1"0 + r 1 z 1 + ... + r s _ 1 4- 1 E H,,-l[Zl],
such thatf = q' g + r. Let rpg(f): = (1'0, ... , rs -1)' rpg is an H n- 1-module
homomorphism. By the induction hypothesis H n - 1 is noetherian and so by
Theorem 5.4, (H n - 1 )' is a noetherian H n_ 1-module. M: = rp/J") is an
H n_ 1-submodule, and therefore finitely generated. Let r(}') = (rb.l.), ... , r~~ 1),
), = 1, ... ,t, be generators of M. If f E f is arbitrary, then f = q . g +
(ro + r 1 z 1 + ... + rs_1zt-1),andthereareelementsa1, ... ,atEHn_1sUch
(
t
f = q' g + I airb.l.) + ri.l.)Zl + ... + r~~lZt-1),
.1.=1
I.e.,
is a system of generators of f. o
6. Analytic Sets
Def. 6.1. Let Been be a region, M c B a subset and 30 E B a point. M is
called analytic at 30 if there exists an open neighborhood U = U(30) E B
and functions fI> ... , J" holomorphic in U such that
Un M = {3 E U:f1(3) = ... = '/;(3) = O}.
M is called analytic in B if M is analytic at every point of B.
Remark. If Been is a region and fI> ... ,J" are elements of A(B), then
we call the set
84
6. Analytic Sets
PROOF. We need only to show that A( G) has no zero divisors: Suppose f1' f2
are two elements of A(G) with f1 # 0 and j~ . f2 = o. Then there is a 30 E G
withf1(30) # 0, and hence an entire neighborhood V = V(30) c G such that
f1 never vanishes on V. But then we must have f21V = 0, and, by the identity
theorem, f2 = o. 0
85
III. The Weierstrass Preparation Theorem
then (g),o must be a unit in 130 and therefore g(30) -# O. But then there is an
open neighborhood V = V(30) c G such that g is nowhere vanishing on
V, and on V, h represents a holomorphic function. If (h)30 E 130 for every
point 30 E G, then h is a holomorphic function on G.
EXAMPLES
a. 7!.. is a euclidean ring, with N:7!.. ~ No with N(a): = lal.
b. If k is a field, then k [X] is a euclidean ring, by virtue of the mapping
N:k[X] ~ No with
N(f): = 2deg (J) (and N(O): = 0).
86
6. Analytic Sets
Theorem 6.6. If Wl, Wz are elements of Q[ u], then there exists a greatest
common divisor of Wl and Wz which can be written as a linear combination
of Wl and Wz over A[u].
°
Def. 6.3. An element WE A [u] is called a pseudopolynomial without multiple
factors if the factors Wi (by Theorem 6.5 uniquely determined) of the
prime decomposition W = Wl ... Wt are pairwise distinct.
3. D(Wl ... Wt) = Wl ... Wv ... Wf' D(w.}. (Here, the hat on Wv in-
v= 1
dicates that this term is to be omitted.)
Now let W = Wl ... Wt = US + A l (;3)u S- 1 + ... + As(~) be a pseudo-
polynomial without multiple factors (in AO[u]). Then
I
(
87
III. The Weierstrass Preparation Theorem
88
6. Analytic Sets
equation
D(X I ,··., Xs) = Q(CTI(Xb"" Xs),···, CTs(X I,···, Xs))
holds. Then A(f): = Q(al,' .. , as) is called the discriminant of f(X).
s
Theorem 6.10. Let f(X) = TI (X - Xp) E C[X]. f has a multiple root if
p=l
and only if A (f) ;= O.
PROOF
f(X) = (X - Xd(X - X 2)··· (X - Xs)
= Xs - (Xl + ... + Xs)XS- 1 + (X I X 2 + .. ')X S- 2 + ...
+ (-I)'X I ·X2 ·"X.,
i.e.:f(X) = XS - alXs- I + a2XS-2 + ... + (-I)Sa s
with
av = CTv(X 10 ••• , X,,) for v = 1, ... , s.
Therefore
A(f) = Q(a1o···,as) = Q(CTI(X1o···,Xs),···,CTs(Xt,···,Xs))
= D(X1o""Xs) = TI (Xv - X/yo 0
V<Jl
89
III. The Weierstrass Preparation Theorem
PROOF
1. Let W = wi . w with deg(w l ) > O. If 3 E G, then we can decompose
W l (u, 3) into linear factors,
w l (u,3) = (u - c l )· .. (u - ct ).
For W(ll, 3) we obtain a decomposition of the form
W(u,3) = (u - cd, .. (u - Ct )2(U - ct + l )· .. (u - cp ).
Hence
30
u-v-Dw en
G
Figure 16. Illustration for Theorem 6.12.
90
6. Analytic Sets
We now can continue with the study of analytic sets. We begin with
hypersurfaces:
Let G c en be a domain, f be holomorphic and not identically zero on
G and N: = {3 E G:f(3) = O}. Let 30 E N be a fixed point. Since a shearing
does not change an analytic set essentially, we can assume without loss of
generality that (f)30 is regular in Zl ' By the Weierstrass preparation theorem
there exists a unit (e)ao and a pseudopolynomial (w)ao such that (f)30 =
(e)ao . (W)3o' We can find a neighborhood U(30) c G on which (e)30 resp. (w)ao
converge to a holomorphic function e and a pseudopolynomial W such that
fl U = e' w.lfwe choose U sufficiently small then e(3) -# 0 for all 3 E U, and
therefore
{3 E U:f(3) = O} = {3 E U: W(Zl' 3') = O}.
Now let W = Wl ... Wt be the prime decomposition of w. Then
(
91
III. The Weierstrass PreparatIOn Theorem
that
G 1 x G' c U and
Moreover, let
DO) = {a' E G':LlO)(a') = OJ.
N n (G 1 x G') represents a branched covering of G1 whose branch points
lie over D", (see Theorem 6.12); over G1 - DO) the covering is unbranched.
One knows the analytic set N c cn once we know the analytic set D", c Cn- 1
92
6. Analytic Sets
for i = 1,2
and
and
93
III. The Weierstrass Preparation Theorem
IZll
Figure 18. An analytic set which cannot be defined globally.
94
6. Analytic Sets
,eI
M, is analytic in G.
PROOF
1. 0 = {3 E G: 1 = O}, G = {3 E G:O = O}.
(
3. Let 30 EM': =
i=l
Comment. (1), (2), and (3') are the axiomatic properties of closed sets in a
topology. In fact, we get the so-called Zariski topology on G by defining
U c G to be open if and only if there exists an analytic set M in G with
U = G - M.
95
III. The Weierstrass Preparation Theorem
OJ; (30)) ~ :
((( OZj 1, ... , n - k) i * )
a-- ] - 1, ... , n - k I
$': = ----------------------~-1-----
o I ~1
be the functional matrix of F at the point 30. Then clearly det :J' i= 0 and
there exist open neighborhoods V(30) c u, W(O) c en such that F[ V:
V --+ W is biholomorphic. But F(V n M) = W n {(Wi> . . . , wn ) E en:
W 1 = ... = W n - k = O} is a real 2k-dimensional plane segment.
Der. 6.8. An analytic set M is called reducible if there exist analytic subsets
Mi c G, i = 1,2, such that:
1. M = M1 U M 2 •
2. Mi i= M, i = 1, 2.
If M is not reducible, it is called irreducible.
1. U Mi = M.
iEN
2. The system (MdiEN is locally finite in G.
3. If Mil i= M i2 , then Mil ¢ M i2 .
We speak of a decomposition of M into irreducible components. This
decomposition is unique up to the order in which the components appear.
96
6. Analytic Sets
m~~~. 0
97
III. The Weierstrass Preparation Theorem
-------
98
CHAPTER IV
Sheaf Theory
L a (3 -
v=o
v 30r·
Therefore there is a if-algebra (93 for each point 3 E en. The disjoint union
(9: = U(9,1 of these algebras is a set over en with a natural projection
3 E C'
n: (9 ~ en taking a power series h onto the point of expansion 3. There exists
a natural topology on (9 which makes n a continuous mapping and induces
the discrete topology on every stalk (9,1' derived as follows.
If 100 E (9, then there exists an open neighborhood U(30) c en and a holo-
morphic function f on U such that the series 1;0 converges uniformly to f
in U. Therefore, the function f can also be expanded in a convergent power
series at each point 3 E U. Hence f induces a mapping s: U ~ (9 with the
following properties:
1. nos = idu
2. S(30) = 100 E s(U) c (9.
All such sets s(U) form a system of neighborhoods of foo in (9. If we give (9
the topology induced in this way, then the topological space (9 is called the
sheaf of convergent power seies. The if-algebras (93 = n - 1 (3) are called stalks
of the sheaf. n is locally topological and the algebraic operations in (9 are con-
tinuous in this topology.
1. Sheaves of Sets
Def.1.1. Let Been be a region, Y' a topological space, and n:Y' ~ B a
locally topological mapping. Then 6 = (Y', n) is called a sheaf of sets over
B. If 3 E B, then we call Y'3: = n - 1(3) the stalk of 6 over 3.
99
IV. Sheaf Theory
Def. 1.2. Let (!/', n) be a sheaf over B,!/'* c !/' open and n*: = nl!/'*. Then
(!/'*, n*) is called a subsheaf of!/'o
For every element a E !/'* there are open neighborhoods U(a) c !/' and
V(n(a)) c B such that nlU: U ~ V is topological. But then U*: = Un!/'*
is an open neighborhood of a in !/'*, V*: = n(U*) is an open neighborhood
ofn(a) in Band n*IU* = nIU*: U* ~ V* is a topological mapping. 0
Def.1.3. Let (!/', n) be a sheaf over B, WeB open and s: W ~ !/' a con-
tinuous mapping with nos = id w. Then s is called a section of!/' over W.
We denote the set of all sections of!/' over W by T( W, !/').
s(W)~
..--------. I s
I I
I I
IsS I
I J I
II I
I
:
I
In
I ~----~I---------------B
\. 3 }
W
Figure 20. The definition of sheaves and sections.
Theorem 1.1. Let (!/', n) be a sheaf over B, WeB open and s E T(W, 9').
Then n:s(W) ~ Wis topological and s = (nls(W))-1.
100
1. Sheaves of Sets
Theorem 1.2. Let (Sf', n) be a sheaf over B, WeB open and s: W ---+ Sf' a
mapping with nos = id w . Then s E r(W, Sf') if and only if s(W) is open
in Sf'.
PROOF
1. Let s be continuous, 0'0 E s(W), and 30: = n(ao). Then S(30) = 0'0 and
there are open neighborhoods V(30) c Wand U(ao) c Sf' such that
nl U: U ---+ V n W is topological. Moreover, there exists an open neighbor-
hood V'(30) c V with s(V') c U. Therefore (nIU) (sjV') = (n s)jV' = id v'.
0 0
Theorem 1.3. Let (Sf', n) be a sheaf over B, a E Sf'. Then there exists an open
set V c B and a section s E r(V, Sf') with a E s(V).
PROOF. Let 3: = n(a). Let open neighborhoods U(a) c Sf' and V(3) c B be
chosen so that nl U: U ---+ V is topological. Then V and s: = (nl U) - 1 satisfy
the conditions. 0
Theorem 1.4. Let (Sf', n) be a sheaf over B, WeB open. If for two sections
S1' S2 E r(W, Sf') there is a point 3 E W with S1(3) = S2(3), then there is an
open neighborhood V(3) c W with sdV = S2jV.
PROOF. Let a: = Sd3) = S2(3). Then U: = Sl(W) n S2(W) is an open neigh-
borhood of a and nl U: U ---+ V: = n( U) c W is a topological mapping of
U onto the (consequently) open set V. Hence sdV = (nIU)-1 = S2jV. 0
Theorem 1.5. Let (Sf'b n1), (Sf'2' n2) be sheaves over B, CP:Sf'1
---+ Sf'2 a stalk
preserving mapping. Then the following statements are equivalent:
1. cp is a sheaf morphism.
2. For every open set WeB and every section s E r(W, Sf'd cp 0 s E
r(W, Sf'2)'
3. For every element a E Sf'1 there exists an open set WeB and a
section s E r(W, Sf'1) with a E s(W) and cp s E r(W, Sf' 2)'
0
101
IV. Sheaf Theory
PROOF
a. If cp is continuous, WeB open and s E r(W, [1'1) then cp s is also
0
b. If (F E [I' b then there exists an open set WeB and an s E r(W, [I'd
with (F E s(W). If the conditions of (2) are also satisfied, then cp s lies in
0
r(W, [1'2)'
c. If for a given (F E [1'1> aWe B and a s E T(W, [1'1) with (J E s(W)
and cp s E r(W, [1'2) are chosen according to condition (3), then s: W ~
0
Remark. For every open subset WeB a sheaf morphism cp: [I' 1 ~ [1'2
defines a mapping cp*:r(W, [1'1) ~ r(W, [1'2) by cp*(s): = cp s. 0
Def.1.5. Let Been be a region. For every open set WeB let there be
given a set M wand for every pair (V, W) of open subsets of B with V c W
let there be given a mapping df :M w ~ M v such that:
1. r~ = id Mw for every open set WeB.
2. If U eVe W, then r~ rV' = r~.
0
Then the system {M w, rV'} is called a pre-sheaf (of sets) and the map-
pings rV' are called restriction mappings.
With every sheaf (9', n) over B a pre-sheaf is associated in a natural
manner:
If V, W are open subsets ofB,then we set Mw: = r(W, [I')andrV'(s): =
slY for s E Mw. Clearly {r(w, [1'), rV'} is a pre-sheaf; it is called the
canonical pre-sheaf of the sheaf [1'.
Conversely a sheaf can be constructed for each pre-sheaf:
Let the system {Mw, rV'} be given, 3 E B fixed. On the sets {(W, s): W is
an open neighborhood of 3, s E M w} the following equivalence relation is in-
troduced: (Wi> S1) 1"' (W2' sz) if and only if there exists an open neighborhood
V of 3 with V c W1 n W2 and rV"(sd = rV'2(sz). Let the equivalence class
of (W, s) be denoted by (W, S)3' and let [1'3 be the set of all classes (W, S)3'
Finally, let [1': = U [1'3 and n:[I' ~ B be the canonical projection. [I' will
3 EB
now be provided with a topology such that n becomes locally topological:
If WeB is open and s E M w , then define rs: W ~ [I' by rS(3): = (W, S)3'
Let!B: = {rs(W): WeB is open, s E Mw} U {[I'}. If WI, W2 C B are open
sets, SI E M W" S2 E M W2 , then let W: = {3 E WI n Wz :rsl(3) = rSz(3)}.
a. W is open: If 30 E W, then (WI' SI ).10 = (W2' S2)30; therefore there exists
an open neighborhood V(30) c WI n W2 with rV"(sl) = rV'2(sz). But then
for every 3 E V also (WI' sd3 = (W2' SZ)3' therefore rSI(3) = rS z(3). Hence
V lies in Wand 30 is. an interior point of W.
102
1. Sheaves of Sets
Theorem 1.6. Every pre-sheaf {Mw, r~n defines a sheaf Y over B in the
above manner (forming the inductive limit), Every element s E Mw is
associated with a section rs E T(W, Y). If 3 E Band (J E Y j , then there is
an open neighborhood W(3) c B and an s E M w such that (J = rS(3).
Theorem 1.7. If Y is a sheaf over B, then the sheaf defined by the canonical
pre-sheaf {T(W, Y), df} is canonically isomorphic to Y.
PROOF, Let (g, iC) be the sheaf defined by the canonical pre-sheaf.
a. If (WI> Sl) 1" (W2' S2) then Sl(3) = s2(3) and the converse also holds.
Therefore cp: (W, s)j I-> sC) defines an injective mapping cp: g -> Y which
is stalk preserving, If (J E Yo, then there exists a neighborhood W(3) and an
s E T(W, Y) with S(3) = (J. rS(3) = (W, S)3 then lies in g3' and cp(rs(3)) = (J.
Hence cp is also surjective.
b, If (J E gj, then there exists an open set WeB and an s E T(W, Y) with
(J = (W, S)3 = rS(3), Then rs E T(W, g3)' (J E rs(W) and cp (rs) = s E T(W, Y),
0
103
IV. Sheaf Theory
lies in r(W, .9' d, then cp s lies in r(W, Y' 2) and hence cp (s(W)) = (cp s)( W)
0 0
Def. 1.6. Let (.9' 10 1td, ... , (.9'l' 1tt ) be sheaves over B. For open sets WeB
let Mw: = r(W, .9'1) x ... x r(W, .9't), for S = (SI,"" Sf) E Mw and
open subsets V c W let rV's: = (sliV, . .. , seiV) E Mv. Then {Mw, r:r}
is a pre-sheaf and the corresponding sheaf.9' = Y'1 EB . . . EB .9'( is called
the Whitney sum of the sheaves .9' 1, ... , .9'r.
Theorem 1.9. Let (.9'10 1td, ... , (.9'l' 1t() be sheaves over B, and let .9' =
.9' 1 EB ... EB Y't be their Whitney sum. Then for every 3 E B there is a
bijection cp:.9'a--> (.9'd a x " ' , X (.9't)a defined by (W,(Sb ... ,St))af-+
(SI (3), ... , St(3))·
PROOF
'a. Let s). = (s\).), ... , s~).») E r(W;., .9') for A = 1,2,3 E WI n W2.
(Wb sd 3' (W2' S2) if and only if there exists a neighborhood V(3) c WI n
Wz such that
(SI(1)IV, ... , S,(1)IV) -- (SI(2)IV, ... , St(2)IV) .
This is equivalent to SP)(3) = SF)(3) for i = 1, ... , t. Therefore an injective
mapping is defined by (W, (S1o ... , sl))a f-+ (SI (3), ... , S,(3)).
b. If a = (a 10 ..• , at) E (.9' 1)3 x ... X (.9't)3 and, say, ai = S;(3) with
s; E r(W;, .9'i), then W: = n W; is an open neighborhood of 3 and Si:
t
i=1
=
Theorem 1.10. Let (.9' 10 1tl),' .. , (Y't, 1t() be sheaves over B. Then the canonical
projections Pi:.9' 1 EB ... EB .9't f-+.9'i (with Pi(al,' .. , at): = ai) are sheaf
morphisms.
PROOF. The mappings Pi are stalk preserving, by definition. If a E (Y'1 EB ...
EB .9")3 = (.9' 1)3 x ... x (.9'( )3' then there exists sections Si in .9'i with
Si(3) = pM) and rS(3) = a for s: = (SI' ... ,St). Therefore Pi rs = Si is 0
104
2. Sheaves with Algebraic Structure
If global sections Si E 1 ~D, Sf'J for i = 1, ... , t are given, then we can
define corresponding injectionsk = NSb ... , Si' ... , Sf): Sf'i ~ Sf'1 EB ... EB
Sf't where
ji(a): = (S1 (3), ... , Si-1 (3), a, si+ d3), ... , S((3)), for a E (Sf'J.
Clearly ji is stalk preserving and for s E r(W, Sf'J
ji 0 S = (S1!W, ... , Si-1!W, s, Si+1!W, ... , s !W)
lies in r(W, Sf'1) x ... x r(W, Sf'r) = r(W, Sf'1 EB··· EB Sf't) that is, ji is
continuous. Pi 0 ji = ids; holds for i = 1, ... , t.
Consequences
1. 0:3 ~ OJ E Sf', lies in r(B, Sf').
2. Sf' ~ Sf' (with 0" ~ - 0") is continuous.
3. If WeB is open, then r(W, Sf') is also a C-algebra.
°
PROOF
1. Because 0 . I, = 0,),0· I = 0, and the zero section is continuous.
2. It follows from the definition that the mapping 0" ~ - 0" = ( - 1) . 0" is
continuous.
3. Addition, multiplication, and multiplication by a complex number
are defined pointwise, so the axioms of a C-algebra are satisfied since they
hold in every stalk. Continuous sections go into continuous sections. 0
Theorem 2.1. Let Sf' b ... , Sf'r, Sf' be sheaves over B given by pre-sheaves
{MW, rX}, i = 1, ... , f, and {Mw, dr}. Suppose that for every open set
WeB there exists a mapping CPw: M~P x ... x M\V ~ M w (for ex-
ample, an algebraic operation) with r~ CPW(Sb ... , Sf) = CPV(rfVsb . .. , r~s()
for arbitrary elements Si E MW, i = 1, ... , e, and open sets V c W. Then
there exists exactly one sheaf morphism cP: Sf' 1 EB ... EB Sf't ~ Sf' with
CP(rsb· .. , rs t ) = rCPW(s1' ... , St)·
PROOF
1. Let W, Wbe open in B, 3 E W n Wand (W,s;),.,.., (W,s;) for i = 1, ... , {.
Then there exists a neighborhood V(3) c WnW with rXsi = rftsi for
105
IV. Sheaf Theory
therefore
(W, ipW(Sl, ... , Sf)) J (lV, ipW(Sl> ... , St))·
Hence a mapping ip: Y 1 EB ... EB Y ( -+ Y is defined by
(rs1(3), ... , rS((3)) H (W, ipw(s1o ... , Sc) h = ripW(Sl, ... , St)(3);
It IS stalk preserving and ip(rS1,"" rs t ) = ripw(s1o' .. , Sf). Hence ip IS
uniquely determined.
2. For a = (a b ... , at) E (Y d.l X ... x (Yt ) there is a neighborhood
W(3) and elements Si E MW for i = 1, ... , t such that ai = (W, S;).l' Then s: =
(rs1o ... , rs t ) E r(W, Y 1 EB ... EB Y t ), a E s(W) and ip 0 S = ripw(s1o ... ,Sf) E
r(W, Y). Therefore ip is continuous. D
Def. 2.3. Let d be a sheaf of C-algebras over Band Y some sheaf over B.
Y is called a sheaf of d -modules if:
1. For every 3 E B, Y. is a unitary d.-module.
2. Y EB Y -2+ Y is continuous.
3. dEB Y ~ Y is continuous.
106
2. Sheaves with Algebraic Structure
Remarks
1. Let 0 3 be the zero element of Sf' 3' Then 0:31---+ 0 3 defines the zero section
° 2. For every
E r(B, Sf').
W, r(W, Sf') is a r(W, d)-module.
An element (W, f)3 of the stalk (f)3 is an equivalence class of pairs F,),(w.,
where W. is an open neighborhood of 3 and f. a holomorphic function on w..
Two pairs (Wb f1) and (W2' f2) are equivalent if there exists a neighborhood
V(3) c W 1 n W2 with f11 V = f21 V, that is, if and only if f1 and f2 have the
same power series expansion about 3. Hence we can identify the stalk (f)3
with the IC-algebra of convergent power series, so that nothing new has been
added to (f)3 as introduced above. In particular the power series J;, and the
equivalence class (W, f), coincide.
For every open set WeB r:Mw ~ r(W, (f)) is a homomorphism of
IC-algebras and r(fl V) = rfl v.
Proposition. r is bijective.
PROOF
1. If rf = 0, then for every 3 E W we have rf(3) = 0" therefore (W,f)3 =
0,; that is, there exists a neighborhood V(3) c W withflV = 0, in particular
f(3) = O. Therefore f = O.
2. If s E r(W, (f)) then for every 3 E W there exists a neighborhood
U(3) c Wand a holomorphic function f on U with (U, f)o = S(3). Then
there is a neighborhood V(3) c U with rfl V = sl v.
Now let (U')'EI be an open covering of W such that there is a holomorphic
function f. on each U, with rf. = sl U,. Then a holomorphic function f on
Wis given by flU,: = f., for which
rfl U, = r(fl U,) = rf. = sl u,.
Therefore f E Mw and rf =s. D
107
IV. Sheaf Theory
EXAMPLES
1. (I) is an analytic sheaf.
2. Let :7 be an analytic sheaf, :7* c :7 a subsheaf. If for every 3 E B,
:7; C :73 is a submodule, then :7* is likewise an analytic sheaf: If, say,
(Sb S2)Er(W,:7* EB :7*) c r(W,:7 EB :7), then Sl + S2 belongs to r(W,:7),
and therefore to r(W, :7*). This shows addition is continuous. Multiplication
by scalars is treated similarly. Note that if :7* c :7 is an analytic sub sheaf,
then r(W, :7*) c r(W, :7) is a r(W, (I))-submodule.
3. If Jf c (I) is an analytic subsheaf, then Jf 3 c (1)3 is an ideal. Hence we
also call Jf an ideal sheaf.
Def. 2.6. Let Jf c (I) be an ideal sheaf. Then we call N(Jf): = {3 E B: (1)3 =f. Jf J
the zero set of Jf.
Theorem 2.4. Let Jf c (I) be an ideal sheaf over B. Then N(Jf) = {3 E B: For
all f3 E Jf3, f(3) = O}.
PROOF
1. Let 3 E N(Jf), J;, E Jf" but f(3) =f. O. Then on a neighborhood of W(3),
Ilf is holomorphic and 10 = rl(3) = r(1If)r(f)(3) E Jf 3 ; therefore Jfo = (1)0·
That is a contradiction, so f(3) must be zero.
2. If 3 ¢ N (Jf), then Jf 3 = (I) a' thereforel o E Jf 3; on the other hand, 1(3) =f. O.
. D
108
2. Sheaves with Algebraic Structure
EXAMPLE. Let 0: = U {OJ and let n:O --+ B be the canonical mapping.
3 EB
If we give 0 the topology of B, then n is a topological mapping. In this way
o becomes an analytic sheaf, the zero sheaf
Theorem 2.S. Let Y'1,"" Y't be analytic sheaves over B. Then Y': =
Y'1 EB ... EEl Y'( is analytic.
PROOF. Clearly Y'3 = (Y'1)3 x ... X (Y'J3 is always an {D3 -module. It
remains to show that the operations are continuous. We only carry out the
proof for addition:
Let
(s, s) E r(W, Y' EB Y') = r(W, Y') x r(W, Y')
(Si' Si): = (Pi S, Pi S)E r(W, Y'J
0 0 x r(W, Y'J
= r(W, Y'i EB Y'J for i = 1, ... J
Then
Si + Si E r(W, Y'J for i = 1, ... , C,
therefore
Def.2.7. For q E N let q{D: = (9 EB .; . EB q. (In the literature (Dq is the most
q tImes
Theorem 2.6. Let Y' be an analytic sheaf over B, Y'* c Y' an analytic sub-
sheaf, f2 = Y' I Y'* the quotient sheaf Then for every 5 E B there is an
isomorphism ljJ :f23 --+ Y')Y'; (of (D3-modules) defined by (W, <s» ~ S(5).
(0' denotes the image of (J E" Y'3 in Y'olY'n
109
IV. Sheaf Theory
PROOF
1. (Wi> <Sl») '3 (Wz , <sz») if and only if there is a neighborhood V(3) c
WI n Wz such that
<sllV) = r~l«sl») = r~2«sz») = <szlV)
and that is exactly the case when (Sl - sz)1V lies in T(V, 9"*). But by the con-
tinuity of Sl - Sz, this is equivalent to having Sl(3) - Sz(3) E 9";; therefore
sl(3) = sz(3)· Hence 1/1 is well-defined and injective.
2. Since
Moreover
1/I(f3' (W, <s) ),) = 1/1 ( (W, <f . s) ),) = (f. S)(3) = f,' S(3) = f,' 1/1 ( (W, <s) ),).
1/1 is therefore an {D,-module homomorphism.
3.· If (Y E 9")9"~, then there exists a neighborhood W(3) c B and an
s E T(W, 9") with S(3) = (J. But then (W, <S»)3 is in 22 3, and I/I((W, <S»)3) =
S(3) = (Y. Therefore 1/1 is also surjective. D
EXAMPLES
1. Let 9" be an analytic sheaf over Band 9"* c 9" an analytic subsheaf.
Let q: 9" -+ 9"/9"* be the canonical projection with q ((J) = (Y. Then q: 9"3 -+
9",/9": is always an (D3-module homomorphism and for s E r(W, 9"), q s = 0
110
3. Analytic Sheaf Morphisms
5. If [/1, ... , [/( are analytic sheaves, then the canonical projections
P;:[/1 $ ... $ [/( ~ [/; are sheafepimorphisms.
6. If 0; is the zero section in [/;, then the canonical injection j; =
j;(Ob.·., 0;, ... , Ot):[/; '+ [/1 $ ... $ [/t are sheaf monomorphisms.
7. Let j;:(9 '+ q{9 be the canonical injections. If 1 E r(B, (9) is the "unit
i-section", then we define the unit sections in q{9 by
e;: = j; 01 = (0, ... , I, ... ,0).
Now let cp:q{9 ~ [/ be an analytic sheaf morphism and let S;: = cp e; E
0
Def. 3.2. Let cp: [/ 1 ~ [/2 be an analytic sheaf morphism. Then we define
Imcp: = cp([/d c [/2; Kercp: = cp-1(o) c [/1.
PROOF
1. Since every sheaf morphism is an open mapping, 1m cp = CP([/1) c [/2
is open in [/2, and is therefore a subsheaf. Since (1m CP)3 = cp( ([/1)3), 1m cp
is analytic.
2. Because cp is continuous and 0 c [/2 is open, Kercp = cp-1(O) c [/1
is open and therefore a subsheaf. Because (Ker CP)3 = {CT E ([/ d3: cp(CT) =
0 3 E ([/2)a} = Ker(cpl([/ d a), Ker cp is analytic. 0
Def.3.3. Let [/1, [/2 be analytic sheaves over B. A mapping CP:[/1 ~ [/2
is called an analytic sheaf isomorphism if (1) cp is stalk preserving; (2) cp is
topological; and (3) cpl([/ d3:([/ 1)3 ~ ([/2)3 is an {93-module isomorphism
for every 3 E B.
111
IV. Sheaf Theory
Remark. If qJ:!/' 1 ---> !/' 2 is an analytic sheaf morphism and if q:!/' 1 --->
!/' dKer qJ and I: 1m qJ 4 !/' 2 are the canonical mappings, then one has the
canonical decomposition of qJ:
qJ = I a ip 0 q:!/' 1 ~>!/' dKer qJ ~ 1m qJ 4 !/' 2'
Def. 3.4. Let!/' 10 ••• , !/'( be analytic sheaves over B, and let qJi:!/' i ---> !/' i + 1
be analytic sheaf morphisms for i = 1, ... , t - 1. Then we call the
sequence
Def.3.5. Let (!/' 10 1!1), (!/' 2, 1!2) be analytic sheaves over B. Hom(!1(!/' 10 !/' 2)
is the set of all analytic sheaf morphisms (p:!/' 1 ---> !/' 2'
If we set (qJl + q(2)(0"): = qJl(O") + qJ2(0") and (f. qJ)(O"): = f"1(")' qJ(O")
for qJ, qJ10 qJz E !/' 1, and f E F(B, @), then Hom(!1(!/' 10 !/' 2) becomes a r(B, @)-
module.
((qJ! + qJz) s = qJl S + qJz sand (f. qJ) s = f· (qJ s) are also
0 0 0 0 0
112
4. Coherent Sheaves
4. Coherent Sheaves
B will always be a region in en.
Def.4.1. An analytic sheaf Y over B is called finitely generated if for every
point 3 E B there exist an open neighborhood W(3) c B, a natural
number q and a sheaf epimorphism q>:q(9IW ......> YIW.
Let Ci be the i-th unit section of q(9, Si: = q> (cd W) the images under q>.
0
EXAMPLES
1. q(9 is finitely generated, since id: q(9 ...... q(9 is a sheaf epimorphism.
2. Let e: Y 1 ...... Y 2 be a sheaf epimorphism with Y 1 finitely generated.
Then trivially Y 2 is also finitely generated.
3. Let Y' c Y be an analytic subsheaf with Y finitely generated. Then
2, applied to the canonical projection q:Y ...... YjY', shows that YjY' is
finitely generated.
4. Let A c B be analytic in B. The ideal sheaf .Y(A) is defined as follows:
Let .Yoo: = {(J E (930: There exists a U(30) c B and a holomoFphic fin U
with flU n A = 0 and rf(30) = (J} for 30 E B; then 'y(A): = U .Y3•
3EB
a . .Y(A) is a subset of (9, and for (J E .Y.l there exists a neighborhood
U(3) c B and an f such that rf(3) = (J. But then the set Ij(U), open in (9,
lies in .Y and contains the element (J. Therefore (J is an interior point and
.Y is open in (9.
b. That every stalk .Yo is an ideal in the ring (93 follows immediately
from the definition. Hence .Y c (9 is an analytic subsheaf and an ideal
sheaf.
113
IV. Sheaf Theory
Yet for an arbitrary ideal sheaf j' c (i), the equation ..?(N(j')) = j' is false.
5. Let B be connected, B' c B open, B' i= 0 and B' i= B. An open subset
Y = n- 1 (B') u O(B) of (!J is defined by YIB': = (!JIB' and YI(B - B') = o.
It is a sub sheaf. Since Y 3 c (!J3 is always an ideal, Y is an ideal sheaf; but
Supp(Y) = B' is not closed. Hence it follows that Y is not finitely generated.
Let Si E r(U, Y) be the images ofthe i-th unit section ei E r(U, q(!J) under
q>:q(!JIU ~ YIU· Then an element (ab' .. , aq ) E q(!J)smapped onto 03ifand
q
only if the "relation" L: ai si (3) = 0 is satisfied. We call Ker q> the relation
i=1
sheaf of Sb ... , Sq.
Consequences
1. Coherence theorem of 0 ka: (!J is coherent.
2. Coherence theorem of Cartan: The ideal sheaf f (A) of an analytic set is
coherent.
These two results are very deep and cannot be proved here.
3. 0 is coherent. (This is trivial.)
4. If Y is coherent and Y* c Y a finitely generated subsheaf, then Y*
is also coherent.
PROOF. Let WeB be open, q>:q(!JIW ~ Y*IW be an analytic sheaf mor-
phism, I: Y*I W ~ YI W the canonical injection. Then I 0 q>: q(!J1 W ~ YI W
is also an analytic sheaf morphism, and Ker q> = Ker(lo q» is finitely
generated. D
114
4. Coherent Sheaves
PROOF. Let si: = 1',* Ci E r(B, 9'*) for i = 1, ... , q. Then for 30 E B there
0
are elements ai E 9'30 with cp(ai) = s;(30). We can find a neighborhood W(30) c
B and sections Si E r(W, 9') with Si(30) = ai; therefore cp S;(30) = si(30). 0
therefore
q
cp 0 l',(a1, ... , aq ) = I aisi(3) = I',*(a b ... , aq ). D
i= 1
Theorem 4.3. Let 0 ---* 9'* .:!..,. 9' !... 9'** ---* 0 be an exact sequence of ana-
lytic sheaves over B. If 9'* and 9'** are coherent, 9' is also coherent.
PROOF
1. 9' is finitely generated: Since 9'* and 9'** are finitely generated,
there are for every 30 E B a neighborhood W(30) c B and sheaf epimorphisms
1',*:q*lD->} 9'*, 1',**:q**lD ---*} 9'** over W. Since p:9' ~ 9'** is surjective, there
is (w. I. o. g. also over W) a lifting of 1',**
l',:q**lD ~ 9' with pol', = 1',**
If pr 1: q*lD E:B q**lD ---*> q*lD and pr 2: q*lD EEl q**lD ~> q**lD are the canonical
projections, then
1/1: (q* + q**)lD ~ 9'
with
1/1(0'): = j 0 1',* 0 pr1(a) + 1',0 pr2(a)
is an analytic sheaf morphism. It remains to show that 1/1 is surjective:
Let a E 9',,3 E W. Then there is a 0'1 E q**lD3 with 1',**(0'1) = pea). Clearly
0'- 1',(0'1) lies in Ker p = Imj, therefore there is a 0'2 E 9'; with j(a2) =
0'- 1',(0'1)' Furthermore, we can find a 0'3 E q*lD3 with 1',*(0'3) = 0'2' Now
1/1(0'3,0'1) = j 0 1',*(0'3) + 1',(0'1) = j(a2) + 1',(0'1) = a.
2. 9' is relation finite: Let WeB be open, cp: qlDl W ~ 9'1 W an analytic
sheaf morphism and 30 E W an arbitrary point. Since 9'** is relation finite
there is a neighborhood V(30) c Wand, over V, a sheaf morphism 1/11:
rlDlV ~> Ker(p cp)W This gives the exact sequence:
0
ping cp 0 1/1 1: rlD ~ 9'*, and since 9'* is relation finite, there is a neighborhood
U(30) c V and a sheaf epimorphism 1/12:slD1U ~> Ker(cp I/IdlU. This yields 0
115
IV. Sheaf Theory
Theorem 4.4. Let 9'* .L,. 9' ~ 9'** --+ 0 be an exact sequence of sheaves
over B. If 9'* and 9' are coherent, then 9'** is also coherent.
PROOF
1. Since p is surjective, it follows immediately that 9'** is finitely generated.
. 2. Let e**: q**(!) --+ 9'** be an arbitrary sheaf homomorphism on an open
set WeB, e:q**(!) --+ 9' a lifting (with poe = e**). Since 9'* is finitely
generated, we can find a neighborhood V(30) c Wand a sheaf epimorphism
e*: q*(!) --+> 9'* on V for every point 30 E W. Now let 1/1: q*(!) EEl q**(!) --+ 9'
be a sheaf morphism on V defined by
1/1(0'1,0'2): =j 0 e*(ad + e(a2)'
Since 9' is coherent there exists an exact sequence q(!) ~ q*(!) EEl q**(!) .t 9'
on a neighborhood U(30) c V. Let r:x:q(!) --+ q**(!) be defined by r:x: = pr2 0 cpo
The theorem will be proved once we show the exactness of the sequence
q(!) ~ q**(!) ~ 9'**. For 3 E U and a E q**(!)3 the following statements are
equivalent:
1. a E Ker(e**)
2. e(a) E Ker p = Imj
3. There is a 0'1 E q*(!J3 withj 0 e*(ad = e(a)
4. 1/1(-0'1, a) = 0 for a 0'1 E q*(!)3
5. There is a 0'2 E q(!),l with cp(a2) = (-0'10 a)
6. a = pr2° cp(a2) = r:x(a2) Elm r:x. D
Theorem 4.5. Let 0 --+ 9'* .L,. 9' ~ 9'** be an exact sequence of analytic
sheaves over B. If 9',9'** are coherent, then 9'* is also coherent.
PROOF. We may regard 9'* as an analytic subsheaf of 9', so it suffices to
show that 9'* is finitely generated. Let 30 E B be chosen arbitrarily. Since 9'
and 9'** are coherent there is a neighborhood W(30) c B, and over W, a
sheaf epimorphism e: q(!) --+ 9' and a sheaf epimorphism cp: q*(!) --+ q(!) such
that the sequence
is exact.
Then eo cp(q*(!)) = e(Im cp) = e(Ker(p 0 e)) = Ker p = Imj, so eo cp(q*(!)) ~
9'*. Hence 9'* is finitely generated. D
116
4. Coherent Sheaves
Theorem 4.6
1. If g is a coherent sheaf over Band g* ega coherent analytic
subsheaf, then g / g* is also coherent.
2. If g 1>' •• ,gt are coherent analytic sheaves over B then g 1 EB ... EB gt
is also coherent.
PROOF
1. There exists a canonical exact sequence 0 -> g* -> g -> g/g* -> o.
The result follows by Theorem 4.4.
2. For t = 2, apply Theorem 4.3 to the exact sequence 0 -> g 1 4 g 1 EB
g 2 ~ g 2 -> O. The result follows by induction from the isomorphism
gl EB ... EB g( ~ (gl EB'" EB gt-1) EB Yr. 0
Remark. With Serre's five lemma, we can deduce the other theorems:
For example, if the sequence 0 -> g* -> g -> g** is exact, then so is
the sequence 0 -> 0 -> g* -> g -> g**. If g and g** are coherent, then
the coherence of g* follows from the five lemma.
EXAMPLE. Let A c B be an analytic set, §(A) its ideal sheaf and Yl'(A) =
CQ/J1(A). Since J1(A) is coherent, the sheaf Yl'(A) is also coherent.
If we choose, for example, A = {O} c en,
then J1(A)o = {fo:f(O) = O}
is the maximal ideal in (1)0, §(A)3 = (1)3 for 3 #- O. Therefore
117
IV. Sheaf Theory
118
CHAPTER V
Complex Manifolds
119
v. Complex Manifolds
Def. 1.2. Let (X l> £ 1), (X 2, £2) be complex ringed spaces. An isomorphism
between (Xl> £1) and (X2' £2) is a pair CfJ = (cp, CfJ.) with the following
properties:
1. cp: Xl -? X 2 is a topological mapping.
2. CfJ.: £ 1 -? £2 is a topological mapping.
3. CfJ. is stalk-preserving with respect to cp; that is, the following diagram
is commutative:
£'1~£2
nIl _ ln2
Xl -L X2
4. For every x E Xl, CfJ.I(£1)X:(£1)X -? (£2)iji(x) is a homomorphism of
IC-algebras.
Theorem 1.1. Let CfJ = (cp, CfJ.):(X 1, £1) -? (X2' £2) be an isomorphism of
complex ringed spaces. Then for every open set V c X 2 there is a IC-algebra
isomorphism
cp:r(V, £2) -? r(cp-1(V), £d
defined by cp(s): = CfJ; loS a cp.
PROOF
1. Let a E m, a - c· 1 Em. Then also c· 1 = a - (a - c· 1) E m. That
is, c cannot lie in IC - {O}.
2. For all c E IC - {O} let a - c· 1 <t m. We set c: = neal. Then
n(a - c· 1) = O. Therefore a - c· 1 Em, hence c = 0 and a E m. 0
120
1. Complex Ringed Spaces
Theorem 1.2. Let <p = (cp, <p*):(X 1, Yl' d ~ (Xz, Yl' 2) be an isomorphism
of complex ringed spaces. For an open set V c X 2 let <p*:%(V, q ->
%(cp-l(V), q be defined by <p*(f): = fa cp. Then for every S E r(V, Yl' 2)'
[<Ii(s)] = <p*([s]) (therefore [<p*-1 So cp] = [s] cp).
0 0
I 1
[t]E %(cp-l(V), C) ~%(V, q
1 I :3 [s]
Since <Ii and <p* are isomorphisms, t f---* [t] is injective if and only if s f---* [s]
is injective.
Def. 1.3. A (reduced) complex space is a complex ringed space (X, Yl') with
the following properties:
1. X is a Hausdorff space.
2. For every point Xo E X there is an open neighborhood U(xo) c X and
an analytic set A such that (U, Yl'1 U) ~ (A, Yl'(A)).
(A lies in an open set Been and Yl'(A): = (@/JE(A))IA, where JE(A) is
the ideal sheaf of A. Yl'(A) is a coherent sheaf of local IC-algebras and
hence Yl' is also coherent.)
121
V. Complex Manifolds
Der. 1.4. A complex manifold is a complex ringed space (X, J'f) with the
following properties:
1. X is a Hausdorff space
2. For every point Xo E X there exists an open neighborhood U(xo) c X
and a region Been such that (U, J'fIU) ~ (B, (D).
[flU'] = [f]IU,.
Hence it suffices to prove the proposition for the sets U,. It follows im-
mediately from Theorem 1.2 and the equation r- 1 (s) = [s] that the mapping
T{U" J'f) --> ST(U" C) is injective. If f E T{U" J'f), then Cf'*0 f cp-1 =
0
is also continuous. o
Remarks
1. The mapping f I--> [f] defines an isomorphism from T{W, J'f) onto
the set of holomorphic functions over W.
2. Every hoi om orphic function is continuous.
3. If U c X is open, Been a region and Cf': (U, J'f) --> (B, (D) an iso-
morphism, then for every open subset V c U a function fE ST(V, C) is
holomorphic if and only if f cp - 1 is holomorphic.
0
4. If U c X is open, Been a region and Cf': (U, J'f) --> (B, (D) an isomor-
phism, then the pair (U, {ji) is called a complex coordinate system for X. If
(U 1, {ji1), (U 2, C(2) are two complex coordinate systems with U 1 n U 2 =I 0,
then {ji12: = {jil {ji:;1:{ji2(U 1 n U 2 ) --> {ji1(U 1 n U 2 ) is a homeomorphism
0
122
1. Complex Ringed Spaces
123
v. Complex Manifolds
Der. 2.1. A complex manifold (X, JIP) is connected if the underlying topo-
logical space is connected (so there is no decomposition X = Xl U X 2
into two disjoint non-empty open subsets).
Theorem 2.3 (Maximum principle). Let (X, JIP) be a connected complex mani-
fold, f holomorphic on X, Xo E X a point. If If I has a local maximum at
xo, then f is constant.
PROOF. There is a neighborhood U(xo) c X and an isomorphism q>:
(U, JIP) ~ (B, (1)). Without loss of generality we may assume that q5(xo) = 0
and B is a polycylinder about the origin. For 3 E Band 3 i= 0 let E3: =
{t3:t E C}. Then E3 n B is a circular disk in the complex t-plane, and
IU 0 q5-1IE3 n B)I has a local maximum at the origin. By the maximum
124
2. Function Theory on Complex Manifolds
Theorem 2.4. Let (X, Jf') be a connected compact complex manifold. Then
every function holomorphic on X is constant.
PROOF. If
Iff is holomorphic on X, then I is continuous on X and therefore
attains a maximum on the compact manifold X. By the maximum principle,
f is constant. 0
are holomorphic.
Hence {(X - {oo}, cp), (X - {O}, I/I)} is a covering of X by compatible
complex coordinates which induces a sheaf Jf' on X. X is a one-dimensional
complex manifold.
1. X is compact:
Let E1 : = {ZEX - {oo}:lzl ~ I},
E z: = {zEX:lzl ~ I}.
Then E1 is compact and (1/IIEz):E z ~ E1 is a homeomorphism. Therefore E z
is also compact. The proposition follows because X = E1 U E z .
2. X is connected, since the sets Eb E z are connected and El n E z =F 0.
By Theorem 2.4 it follows that every function holomorphic on the whole
Riemann sphere is constant.
125
V. Complex Manifolds
Remarks
1. idx:X ~ X is always biholomorphic.
2. If qJ: X 1 ~ X 2 and ljI: X 2 ~ X 3 are holomorphic mappings, then
ljI 0 qJ: X 1 ~ X 3 is also holomorphic.
3. Let f:X ~ IC be a continuous mapping. f is holomorphic (in the
sense of Def. 2.3) if and only if f is a holomorphic function.
PROOF
a. If f is a holomorphic mapping, then f = ide 0 f is a holomorphic
function over f-1(C) = X.
b. Let f be a holomorphic function, U c IC open and 9 holomorphic
over U. Then for every point Xo E f-1(U) C X there exists a neighborhood
V(xo) c X and an isomorphism qJ:(V, £') ~ (B, (9). Since by definition
f 0 ip - 1 is holomorphic over B, (g 0 .f) 0 ip - 1 = 9 0 (f 0 ip - 1) is holomorphic
over B, and that means that 9 0 f is holomorphic at Xo. D
126
2. Function Theory on Complex Manifolds
EXAMPLE. Let (X, ljJ) be a domain over en. Then for every Xo E X there are
open neighborhoods U(xo) c X and V(ljJ(xo» c en such that ljJiU: U ~ V
is topological. (U, ljJ) is therefore a complex coordinate system, and since the
identity is always the coordinate transformation, X becomes a complex
manifold. The mapping ljJ: X ~ en is holomorphic (in the sense of Def. 2.3).
127
V. Complex Manifolds
Theorem 2.8. For a domain (X, t/J) over en the following properties are
equivalent:
1. X is a Stein manifold.
2. X is holomorphically convex.
3. X is a domain of holomorphy.
The non-trivial equivalence of (2) and (3) was proved in 1953 by Oka.
Theorem 2.8 leads us to regard the Stein manifolds as generalizations of
domains of holomorphy.
One also calls the mapping t/J a local uniformization of the Riemann surface
(X, cp).
128
3. Examples of Complex Manifolds
Theorem 3.1. Let (X, cp) be a Riemann surface over C. Then X has a canonical
one-dimensional complex manifold structure, and cp: X -+ C is a holomorphic
mapping.
PROOF
1. Let Xo EX, zo: = <p(Xo) E C. Then there is a neighborhood V(xo) c X
and a connected neighborhood V(zo) c C as well as a topological mapping
l/!:V -+ V with the local uniformization property. (V, l/!-1) is therefore a
complex coordinate system for X at Xo.
Now two such coordinate systems (V 1, l/!11), (V 2, l/!:;l) may be given. Then
l/!: = l/!11 l/!2:l/!:;I(V 1 ( l V 2) -+ l/!ll(Vl ( l V 2) is a topological mapping.
0
function on V;. whose derivative does not vanish on any open subset of V;..
Let to E l/!11(Vl ( l V 2) be chosen so thatf'1(to) # O. Then there is a neigh-
borhood V(to) c l/!11(Vl ( l V 2) and an open set We C such that flIV:
V -+ W is biholomorphic. Let
gl: = (fIIV)-1 = (cp l/!1IV)-1:W -+ V.
0
The mapping
l/!IIV:V -+ V: = l/!1(V) c VI (l V2
is topological, and so is
cplY = gIl 0 (l/!liV)-1 = «l/!dU) 0 gl)-l: V -+ W.
1/1-1/11 10 1/12
w= cp(V)
then
therefore
f~ (to) i= O.
130
3. Examples of Complex Manifolds
is topological and
cp 0 (1/1 0 (r!V2)-1) = f 0 (r!V2)-1
holomorphic, and (f 0 (rl V2 ) -1)' vanishes at most on a discrete set. Moreover
f 0 (r!V2)-1(s) = f (r!V2)-1(r(t)) = f(t) =
0 zo + ((t - to)' g(t))k
= zo + r(t)k = zo + Sk.
Therefore there exists a local uniformization 1/1 2 : tV; -+ U 2 with Xo E U 2 and
cp 1/12(t) = cp(xo) + tk.
0
X then locally represents a branched k-fold covering over cp(x o), in the
sense that there lies exactly one point of X over cp(xo), while over every
point z =1= cp(xo) in some neighborhood of cp(xo) there lie exactly k points
ofX.
is hoi omorphic, and has a derivative which does not vanish identically
anywhere.)
Let r:X -+ C be defined by r: = 1/1-1. Since r 1/1 = ide, r is a holo- 0
131
V. Complex Manifolds
Complex Submanifolds
Let X be a complex manifold, (U, <p) a coordinate system on X. If Xo E U
and f holomorphic on a neighborhood V(xo) c: U, then we define the
partial derivatives of f at Xo with respect to <p by
(Dvf)q>(xo): =
au a<p -1) (<p(xo))·
0
Zv
Now suppose we have another coordinate system (U', <p') with V c: Un U'.
Then the functional matrix
(DJ)q>(xo) = L avl"
1'=1
(DJ)q>'(xo),
Therefore, if fl' ... ,!<J are holomorphic functions on V, the natural number
is independent of <p.
132
3. Examples of Complex Manifolds
Cartesian Products
Theorem 3.4. Let Xl, ... , Xl be complex manifolds, ni: = dim Xi for
i = 1, ... , t and n: = n 1 + ... + nc. Then there is an n-dimensional
manifold structure on X: = Xl X .•. x X (, such that all projections
Pi: X --" Xi are holomorphic.
133
V. Complex Manifolds
Then (U, (<PI x ... x <Pe)) is a complex coordinate system at Xo. If (v,
(ifr I x ... x ifrt)) is another coordinate system, then the transformation
Let Xo E V and
and
PROOF
1. Since X is a Hausdorff space, the diagonal D C X x X is closed.
Therefore D is analytic at each point (x, y) E X X X-D.
2. Let (xo, x o) E D. Then there is a neighborhood U(xo) C X and an
isomorphism ({J:(U, Jt") c:::: (B, (I)) and then U: = U x U is a neighborhood
of (xo, xo) in X x X, which is biholomorphically equivalent to B x B.
Therefore there exist coordinates ZI, ... , Zn, W b ·· ., Wn (with Zv: = prv ° <P,
W v: = prn+v° <p)inUsuchthatD n U = {(X,X)EX x X:(Zi - w;)(x,x) =
ofor i = 1, ... , n}. Moreover
134
3. Examples of Complex Manifolds
Def. 3.3. The set [pn: = {G(3): 3 E en + 1 - {O} } is called the n-dimensional
complex projective space and the mapping n: en + 1 - {O} -;. [P" with
n(3): = G(3) is called the natural projection.
135
V. Complex Manifolds
(nl VVi) -1: Ui --+ en is a complex coordinate system for [pn. Moreover
1
= -(Z1>"" zn+d
Zi
= (aiIVVi)-1 oai(Z1>""Zn+1),
136
3. Examples of Complex Manifolds
Let
V1 : = n({(1,W2, ... ,Wn+1)Ecn+1:IWn+11 < 1}),
V2 : = n({(W1, ... , Wn , 1) E e+ 1 < 1}). :lw11
V1 is an open neighborhood of Xb V2 is an open neighborhood of X2, and
VI n V2 = 0.
r: = {3 = I 1=1
k1C1:k1 E Zfor A. = 1, ... , 2n}
137
V. Complex Manifolds
This is in fact an equivalence relation, and we give the set Tn of all equivalence
classes the finest topology in which the canonical projection TCT: en -+ Tn is
continuous. We call the topological space Tn an n-dimensional complex torus.
Any two n-dimensional tori are homeomorphic. For 30 E rand U c en
let U + 30: = {3 + 30:3 E U}. If U is open, then U + 30 is open for every
30 E r, and so is TCT 1TCT ( U) = {5 E en :5 - 5' E r for a 3' E U} = U (U + 30)'
30Er
Thus TCT is an open mapping. Let 30 E en be an arbitrary point. Then the set
1 1
and --2 < r v <-2 v= 1, ... ,2n}
is open in en.
2n
For two points 3, 3' E F3o' 5 - 3' = I (rv - r~)cv with Irv - r~1 < 1 for
v= 1
V = 1, ... , 2n. Therefore 3 and 3' can only be equivalent if they are equal,
that is
is injective. Hence
is a complex coordinate system for the torus, and the set of all U30 covers
the entire torus.
PROOF
1. Any two complex charts for yn are holomorphically compatible.
and the functions kv are integer valued. Since {C1> ... , c2n } is a (real) basis
of en, the kv must be continuous, and therefore locally constant. But then
CfJ 31 CfJ3~ 1 is holomorphic.
0
138
3. Examples of Complex Manifolds
with kv E 7l.. and 0 ~ rv < 1 for v = 1, ... , 2n. Moreover not all rv can
vanish simultaneously. Suppose 1'1 i= 0 and let e > 0 be chosen so that
2e < 1'1 < 1 - 2e.
therefore
2n 2n 2n
5' - a" = (51 - a2) + L (r~ -
v=l
<)cv = L kvcv + L (rv + (r~ -
v=l v=l
r~))cv.
Since
1> 1'1 + 28 > 11'1 + (r'l - r'DI > 1'1 - 28 > 0,
1'1 + (1"1 - I'D cannot be an integer. That is a contradiction, so 1rT(U l ) and
1r T (U 2) are disjoint.
3. If 5 E en, then 3 is equivalent to a point
5' E F: = {5 v~/vcv: - ~ ~ rv ~
= u·
F is compact, 1rT is continuous, Tn is a Hausdorff space, and: 1rT(F) = Tn.
Hence it follows that Tn is compact.
4. 1rT:en ~ yn is holomorphic. If We Tn is open, if g is holomorphic in
Wand if 50 E V: = 1ryl(W), then go 7rTIV n Foo = g 0 CPo~llV n Foo IS
holomorphic. 0
H apf M anifalds
Let p > 1 be a real number, r H:= {l: k E 7l..}. r H is a subgroup of the mul-
tiplicative group of the positive real numbers. Two elements 31> 52 E en - {O}
are considered equivalent if there is a pk E r H with 32 = l31. The set H of
all equivalence classes will be given the finest topology in which the canonical
projection 1rH: en - {O} ~ H is continuous. We obtain complex coordinate
systems for H in the following manner.
l39
V. Complex Manifolds
Let
Fr : = {oEen - {O}:r < 11011 < pr}
for arbitrary real numbers l' > O. Then U Fr = en - {O}, and we can
re lR+
show that
nHIFr:Fr ~ Ur : = n(F r } c H
is topological. (Un qJr) is therefore a complex chart. In a manner similar to
that of the preceding examples we can prove:
If, for 31' 32 E en - {O}, nH(31} = nH(3z}, then there is a k E7L with 02 =
pk 01' But then G(02) = G(Ol)' Therefore there is a mapping h:H ~ [pn defined
by h(nH(O)): = G(o). We obtain the following commutative diagram.
en - {O} n ) [pn-1
~J H
Since nH is locally biholomorphic, it follows that h is hoI om orphic. D
140
3. Examples of Complex Manifolds
°
3' E W n ({O} x en-I) there is always a ZI with (ZI' a') E Wand g(ZI' 3') = 0.
But then h(Zb a') = also and consequently d(a') = 0. Therefore d vanishes
identically near Xo = 0, which is a contradiction. The assertion is thus proved
for c = 0, and if we replace 9 by 9 - c· hand g/h by (g - c· h)/h, we obtain
the theorem for arbitrary c. 0
°
Finally, let A be the set of all points Xo E X - Y such that given a real
number r > and a neighborhood V(xo) c X, there is an x E V n Y with
If(x) I > r.
Then there exists a uniquely determined holomorphic extension] of f to
X - A such that (A, ]) is a meromorphic function.
PROOF. Let Xo E X - Y. By assumption there exists a neighborhood
U(xo) c X and holomorphic functions g, h on U which are relatively prime
at xo, such that g(x) = f(x) . h(x) for x E U n Y.
If h(x o) =F 0, then g/h is bounded in a neighborhood of Xo. Therefore Xo
°
does not lie in A.
If h(xo) = and g(xo) =F 0, then f = g/h assumes arbitrarily large values
near Xo. Furthermore, if h(xo) = g(x o) = 0, f is also not bounded near x o,
by Theorem 3.12. Thus Xo lies in A.
Hence An U = {x E U:h(x) = a}.
(g/h) is a continuation of f on U - A. We can carry out this construction
at every point of X - Y. Y is dense in X, so by the identity theorem the
local continuation is already uniquely determined by f, and so we obtain
a global holomorphic continuation] of f to X-A. It follows directly from
the construction that (A,]) is a merom orphic function. 0
141
V. Complex Manifolds
Theorem 3.13 allows us to define the sum and product of merom orphic
functions:
If (A, f), (A',f') are meromorphic functions on X, then Y: = X -
(A u A') is open and dense in X, and at every point of A u A' we can write
f + I' and f . I' as the reduced fraction of two holomorphic functions.
There are analytic sets AI, A2 c X and merom orphic functions (Ar. fd,
(A 2,f2) on X with AI, A2 c A u A' andflly = f + f',f2l y = I-f'.
One sets
(A, f) + (A', 1'): = (AI,fI)
(A, f) . (A', 1'): = (A 2, f2)'
If X is connected, then the meromorphic functions on X form a field. We can
think of any holomorphic functionf on X as a meromorphic function (0, f).
EXAMPLES
1. Let X = C u {oo}, the Riemann sphere with the canonical coordinates
t/J I: X I
-l- C, t/J 2 : X 2 -l- C (see Theorem 3.9). Let p and q be two relatively
~ IU n y = flU n Y.
142
3. Examples of Complex Manifolds
is a continuity theorem for merom orphic functions, which in the present case
says that f 7tH can be continued to a meromorphic function J on en.
0
Naturally JIG is then also meromorphic. If 30 were a pole of JIG, then all the
points p k 30 E G would also be poles of JIG, and these points cluster about the
origin. Since this cannot be, we must either have JIG == 00 or JIG holo-
morphic. If JIG is holomorphic, then fl T is also holomorphic and therefore
constant (since T is compact). The submanifolds T c H are precisely the
fibers of the holomorphic mapping h: H -+ [lJ'n -1. Hence we can show that
there exists a meromorphic function g on [lJ'1! - 1 with g h = f. In other words,
0
This means that there are "many" merom orphic functions on projective-
algebraic manifolds. The Hopf manifold is not projective-algebraic. One can
also interpret this topologically.
For a topological space X let Hi(X, IR) be the i-th homology group of X
with coefficients in IR. If X is a 2n-dimensional compact real manifold, then
for i = 0, ... , 2n
for i> 2n
We call Bi(X) the ith Betti number and associate with X the Betti polynomial
211
P(X): = L B;(XW· For cartesian products there is the formula
i=O
143
V. Complex Manifolds
therefore
4. Closures of en
Def. 4.1. Let X and Y be connected n-dimensional complex manifolds. If
Y is compact and X c Y is open, then we call Y a closure of X.
144
4. Closures of IC"
PROOF. Let Z1> ••• , Zn be the coordinates of en. By hypothesis they can be
continued to meromorphic functions f1' ... ,in on Y.
The set Pi of poles of /; is an analytic set of co dimension 1, and so is
n
P: = U Pi' Hence it suffices to show that Y - en = P.
i= 1
Let 30 E (lc" c Y. Then there is a sequence (3J in C" with lim 3i = 30'
i-+ 00
This means that (z~)) is unbounded for at least one k E {l, ... , n}. We can
find a subsequence (z~v;)) with lim Iz~vi)1 = 00. Hence, for i --> 00, .h(3v') tends
i-+ 00
to infinity, so 30 is a pole of k Thus 30 lies in P, and since 30 E (lc" was chosen
arbitrarily, (lc" c P.
An analytic set of co dimension 1 cannot separate a manifold; that is,
°
Y - P is connected. Hence for every point 30 E (Y - C") - P there is a path
qJ: [0, 1] --> Y - P with qJ(O) = and qJ(l) = 30' Since such a path always
meets the boundary (lc", we must have (Y - C") - P = 0. 0
n-times
145
v. Complex Manifolds
Each factor !pI is isomorphic to the Riemann sphere, which has the canonical
coordinates 1/11,1/12. We obtain coordinates on en by letting U = Vj . • • Vn :
For example (!P n, !pn-l, iden, e" - en, en) is a modification. We can
therefore use modifications to describe transformations between distinct
closures of cn.
Theorem 4.5. Let G c C" be a domain with 0 E G, n:C" - {O} -+ IFD n- 1 the
natural projection. Then X: = {(3, x) E (G - {O}) x IFD n- 1:x = n(3)} u
({O} x IFD n- 1) is an analytic set of codimension n - 1 in G x IFD n- 1 which is
free of singularities, therefore an n-dimensional complex manifold.
PROOF. Let CPi: U i -+ Cn- 1 be the canonical coordinate system of IFDn-l. If
3= (ZI,"" zn) E G - {O} and x = n(3) E U 1 , then
X = n( 1,-,"
Z2 . ,Zn)
- .
ZI ZI
148
4. Closures of C"
To be identified
'------_....
Remark. Clearly we can regard [pn-l as the set of all directions in en.
By the O"-process these directions are separated in the following sense:
If one approaches the origin in G - {o} from the direction Xo E [pn - 1,
say along a path w, then one approaches the point (0, xo) along the directly
lifted path l/J - loW in X _ [pn - 1.
It can be shown that the O"-process is invariant under biholomorphic
mappings. Hence it can also be performed on complex manifolds.
149
CHAPTER VI
Cohomology Theory
1. Flabby Cohomology
In this chapter we apply, with the help of cohomology groups, the methods
and results of sheaf theory to complex manifolds.
X will always be an n-dimensional complex manifold and R a commutative
ring with 1. If :/ is a sheaf of R-modules over X and U c X is open, then
we let t(U, :/) denote the set of all functions s: U -+ : / with nos = id u
(where n::/ -+ X is the sheaf projection), and we call these not necessarily
continuous functions generalized sections. Clearly r( U, :/) is an R -submodule
of t(U, :/).
If <p::/ 1 -+ : / 2 is a homomorphism of R-module sheaves, then
<P. :t(U, :/ 1) -+ t(u,:/ 2) with (P.(s): = <p 0 s is an R-module homomorphism.
Theorem 1.1. (t u::/ rv--+ t(U, :/), <p tv'> <P.) is an exact covariant functor from
the category of R-module sheaves over X to the category of R-modules.
Therefore:
150
1. Flabby Cohomology
Theorem 1.2.
1. The canonical mapping r:M u -> r(U, W(Sf')) is an R-module
isomorphism.
2. The canonical injection iu: r( U, Sf') c.. t( u, Sf') induces an injective
sheaf homomorphism c:S -> W(Sf') with c.Ir(U, Sf') = r iu. 0
PROOF. (1) is proved exactly as is Theorem 2.3 in Chapter IV. To prove (2):
Clearly iu(s)1V = iv(slV) for s E r(U, Sf'). If we identify the sheaf induced
by {r(U, Sf'), r~} with the sheaf Sf', then it follows from Theorem 2.1 of
Chapter IV that there exists exactly one sheaf morphism c:Sf' -> W(Sf')
with c.(s) = riu(s) for s E r(U, Sf'). If 0" E Sf'x and 13(0") = Ox, then there
exists a neighborhood U(x) c X and an s E r(U, Sf') with sex) = 0". Therefore
Ox = 13(0") = 13 0 sex) = c*(s)(x) = riu(s)(x), with riu(s) E r(u, W(Sf')). Then
IV
there exists a neighborhood Vex) c U with riu(S) = 0; therefore iu(s)1V =
o by (1), and then clearly slV = O. Hence 0" = sex) = Ox. D
Let <p: Sf'1 -> Sf' 2 be a sheaf homomorphism. Then for open sets U, V c X
with U c V and s E t(U, Sf'1) we have <p.(s)1V = <p.(slV). By Theorem 2.1
of Chapter IV <p induces exactly one sheaf homomorphism W<p: W(Sf'1) ->
W(Sf' 2) with (W<p)*(rs) = r(<p*(s)).
Let s E r(U, Sf'd. If c).:Sf'). c.. W(Sf';J are the canonical injections (for
A. = 1, 2), then
(W<p) 0 1310 S = (W<p).(ri~)(s)) = r(<p*(i~)(s))) = r(i~)(<p*s)) = 1320 <p 0 s.
Hence it follows that (W<p) 0 13 1 = 1320 <po
Def. 1.1. Let Sf' be a sheaf of R-modules over X. Sf' is called flabby if for
every open set
r~:r(x, Sf') -> r(U, Sf') is surjective.
Theorem 1.3. If Sf' is a sheaf of R-modules over X, then W(Sf') is aflabby sheaf.
PROOF. We can identify r(U, W(Sf')) with t(U, Sf'). If s E t(U, Sf') then we
define s· E t(X, Sf') by
Theorem 1.4. (W:Sf' N'> W(Sf'), <p rv-" W<p) is an exact covariant functor from
the category of R-module sheaves over X to itself.
151
VI. Cohomology Theory
PROOF
1. Let ljI: 9" 1 ---> 9", <P: 9" ---> 9"2 be sheafhomomorphisms and s E r(V, 9" 1)·
Then Weep ljI) rs = r((<p ljI).s) = r(<p.(ljI.s)) = W<p (r(ljI.s)) = W<po
0 0 0 0
WljI rs.
0
If the sheaves 9"0,9" 1,9" 2, ... are all flabby, then we speak of a flabby
resolution.
We now show how to assign a canonical flabby resolution to any sheaf 9".
1. The sequence 0 ---> 9" .:. W(9") is exact. Let Wo(9"): = W(9").
2. Suppose we have constructed an exact sequence 0 ---> 9" ---> Wo(9") ~ ... ~
~(9"), with flabby sheaves Wo(9"), Wl (9"), ... , ~(9").
el t : = j 0 q.
Clearly Ker(d{) = Ker(q) = Im(d t _ d; that is, the extended sequence
o ---> 9" --->
Wo(9") ---> ••• ---> ~(9") ---> ~ + 1(9") remains exact. Thus we con-
struct an exact sequence Wo(9") ---> WI (9") ---> W2 (9") ---> ••• by induction. We
write W(9") as an abbreviation. The exact sequence 0 ---> 9" .:. W(9") is
called the canonical flabby resolution of 9".
Theorem 1.5. Let <p: 9" 1 ---> 9"2 be a homomorphism of sheaves of R -modules
over X. Then there are canonical homomorphisms Tt;<p: W;(9" 1) ---> W;(9" 2)
with (W;+I<P) 0 di = di 0 (W;<p) for i E No and (Wo<p) 0 /; = /; 0 <po
PROOF. We proceed by induction. Let Wo<P: = W<p. If Wo<P, Wl <p, ... , ~<p
have been constructed, then we have the following commutative diagram.
152
1. Flabby Cohomology
If cr E S" 6 and ljJ 6 0 q>3 (cr) = 0, then there exists a fi E S" 3 with
q>3(cr - ljJ3(fi)) = o.
PROOF. Letcrl: = q>3(cr)ES"7.
1. Because 1j;6(crl) = 0 there exists a crz E S"4 with ljJ4(crZ) = crl.
2. Ij;s(q>z(crz)) = q>4(1j;4(crZ)) = q>4(q>3(cr)) = 0; therefore there exists a
cr3 E S" 2 with Ij;Z(cr3) = q>z(crz), and there is a cr4 E S" 1 with q>0(cr4) = cr3.
3. q>2 0 Ij;l(cr4) = Ij;z 0 q>0(cr4) = q>Z(cr2); therefore q>2(crZ - Ij;l(cr4)) = o.
Hence there is a cr s E S" 3 with q> 1(cr s) = cr 2 - Ij; 1(cr 4).
4. Letfi: = cr s.
Then
q>3(cr -1j;3(fi)) = q>3(cr) -1j;4°q>l(crS) = q>3(cr) -1j;4(crZ) = q>3(cr) - crt = O. 0
153
VI. Cohomology Theory
is exact.
o
Theorem 1.6. \.ill is an exact Junctor.
PROOF
1. Let 0 ~ [I" ~ /7 ~ /7" -> 0 be exact. We show by induction that
o~ Jt;(/7') -> Jt;(/7) -> Jt;(/7") ~ 0
is exact. For C = 0 this has already been proved in Theorem 1.4. Therefore
let C ): 1. We consider the case C = 1; the general case is handled entirely
analogously.
The following diagram is commutative:
(with f2: = Wo(/7)j/7, f2' and f2" similarly). All columns and the three top
rows are exact.
a. Since qJ'2 and ljJ'2 are surjective qJ'i, is also surjective.
b. Since ljJ~ is surjective and qJ'2 qJ~ = 0, also qJ'i, qJ':, = O.
0 0
c. Let (J E f2 with qJ'i,((J) = o. Then there exists a (J* E Wo(/7) with ljJz((J*) =
(J; therefore ljJ'2 0 qJ'2((J*) = O.
By Lemma 1 there is a BE/7 with qJ'2((J* -ljJl(B)) = O. Therefore there
exists a (J' E Wo(/7') with qJ~((J') = (J* - ljJl(B). It follows that ljJ~((J') E f2' and
qJ':, 0 ljJ~((J') = ljJz((J* - ljJ 1 (B)) = (J.
d. Let (J' E f2' with qJ':,((J') = O. Then there is a (J* E Wo(/7') with ljJ~((J*) = (J'.
Hence ljJ2 qJ~((J*)= O.
0
154
1. Flabby Cohomology
withdiod i - 1 = OforiE N.
zn(Me): = Ker dn is called the n-th group of the cocycles,
Bn(Me): = 1m dn- 1 is called the n-th group of the co boundaries.
DeC. 1.4. An augmented cochain complex is a triple (E, e, Me) with the
following properties:
1. E is an R-module.
2. M· is a cochain complex.
3. e:E ~ MO is an R-module monomorphism with 1m e = Ker dO.
155
VI. Cohomology Theory
Theorem 1.7. (T:fJ' ~ r(X, fJ'), ({J ~ ((J*) is a left-exact functor; that is, if
o ---> fJ" .!!.,. fJ' ~ fJ'" ---> 0
is exact, then so is
PROOF. Since f is exact (see Theorem 1.1), it is clear that ({J* is injective and
tjJ * ({J* = O. Now let s E r(X, fJ') with 0 = tjJ *(s) = tjJ s. Then there exists
0 0
a generalized section s' E reX, fJ") with ((J.(s') = s. We must still show that
s' is continuous. For every point x E X there is a neighborhood U(x) and an
s* E r(U, fJ") with ({J s*)(x) = sex). Therefore there is a neighborhood
0
Since ({J is injective, it follows from ({J 0 s*1V = ({J 0 s'lV that s* = s'lV, IV
so that s' is continuous at x. D
We call
Hf(X, fJ'): = Zf(X, fJ')/W(X, fJ') = Ht(W8(fJ'))
Theorem 1.9. If 0 ---> fJ" .!!.,. fJ' ~ fJ'" ---> 0 is an exact sequence of sheaves
of R-modules, and if fJ" is ajiabby sheaf, then
156
I. Flabby Cohomology
PROOF. We need only show that Ij;* is surjective. Let s" E T(X, g") be given.
1. If Xl> X z are points in X, then there are neighborhoods U(x 1 ), V(xz) c X
and sections sET( U, g), s* E T( V, g) with Ij; 0 s = s" IU and Ij; 0 s* = s" W
If U (\ V = 0, then this defines a section over U u V, whose image is
s"IU u v.
Suppose U (\ V =1= 0. The sequence
o -+ T(U (\ V, g') -+ T(U (\ V, g) -+ T(U (\ V, g")
Since g' is flabby, we can extend s' to an element sET( V, g'). Let
SeX) for XEU
Sl(X): = {( ~ *)()
qJ0s+s x for X E V.
a. V c X is open with U c V
b. SE T(V, S) with slU = sand Ij; S = s"IO. 0
As a consequence we have:
is exact.
157
VI. Cohomology Theory
PROOF. Let B8).: = Im(cp).:9',l.-l -> 9'.d for A = 0,1,2, ... and 9' -1: = 9'.
1. We show by induction that all fJ9,l. are flabby: For B8 0 ~ 9' this is true
by assumption; suppose we have proved that fJ9 o, B8 b . . . , fJ9 t - 1 are flabby
sheaves.
For V c X open, the exactness of the sequence -> T( V, .%'( - tl ->
T( V, 9'( _ 1) -> T( V, B8() -> °
°
follows from the exactness of the sequence
0-> .?4t - 1 c.. 9't -1 -> fJ9( -> 0 by Theorem 1.9. Let s E T(V, .%'().
Then there is an s' E T(V, 9't-1) with CPt s' = s. Since 9'(-1 is flabby
0
there is an s* E T(X, 9'( -1) with s*jU = s'. But now CPt s* E T(X, .%'() and
0
°
Theorem 1.11. If 9' is a flabby sheaf over X, then the complex W·(9') is
acyclic; therefore Ht(X, 9') = for t :;: : 1.
EXAMPLE. Let ~(A) be the ideal sheaf of the analytic set A = {Of E en.
Then Jff(A) = @/§(A) is a coherent analytic sheaf over en, in particular, a
sheaf of C-modules. Clearly .Yt'(A) is flabby, and
HO(en, Jff(A)) ~ C, H1(en, Jff(A)) = ° for t :;:::: 1.
158
2. The tech Cohomology
+
q
tf (-I)~~(lo, ... , I A, . .. , I~, ... , Zt+2)]
=).+ 1
L (-I)Hq~(lo, ... , Iq, ... , I ,1£+2) A ,· ••
q<A
+ L (-1)Hq+1~(lo,···, I A, . .. , Iq, ... , Zt+2) = o. 0
A<~
159
VI. Cohomology Theory
Def. 2.2. t5: = t5(: Ct(U, 5") ~ Ct + l(U, 5") is called the coboundary operator.
We denote by C(U, 5") the Cech complex
CO(U, 5") ~ C 1 (U, 5") ~ C 2 (U, 5") ~ ....
8: r(X, 5") ~ CO(U, 5") is defined by (8S)(/): = sIU,.
Ifwe choose the covering ofU too coarse, then all the higher cohomology
groups vanish:
Theorem 2.3. If X itself belongs to the elements of the covering U, then
H((U,5") = 0 for t ~ 1.
PROOF. IfU = (U,),eI, then there is apE I with X = Up. Let eE zt(U, 5"),
t ~ 1. There is an element I] E C t - 1 (U, 5") defined by
o= t5e(p, 10, ... , It) = - e(l o, ... , If) + I (-l)'''e(p, 1o, ... , I)., ... , If);
),=0
therefore
(
160
2. The Cech Cohomology
161
VI. Cohomology Theory
°
Now let V o : = C - {zv:v E N},fo: = and Vv be an open neighborhood
of Zv which contains no point zJl with f1 v. Then IvI(Vv - {zv}) is"*
holomorphic.
162
3. Double Complexes
3. Double Complexes
Def.3.1. A double complex is a system (Ci ) of R-modules (with i, j E No)
and R-module homomorphisms, d':Cij ~ Ci+l,j and d":Cij ~ Ci,j+l,
such that
1. d'd' = 0
2. d"d" = 0
3. d'd" = -d"d'
(thus
d: = d' + d": EB Cij ~ EB C ij with dod = 0).
i+j=n i+j=n+l
A double complex is therefore an (anticommutative) diagram of the
following form:
d" d" d"
COO~COI~C02~'"
ld' d"
ld' d"
ld' d"
CIO~ C II ~CI2~'"
ld' d"
C20~C21~C22~'"
ld' d"
ld' d"
ld l
ld' ld l
Def.3.2.
Zij: = g E Cij with d'~ = 0 and d"~ = O}
BOj: = d"(g E CO,j-1 with d'~ = O}) for j ?; 1,
B;o: = d'(g E Ci-I,O with d"~ = O}) for i ?; 1,
Boo: = 0 and Bij: = d'd"Ci-l,j-1 for i, j ?; 1.
We call the elements of Zij cycles ofbidegree (i,j); the elements of Bij are
called boundaries of bidegree (i, j).
Clearly Bij is an R-submodule of Zij for all i, j and we define the homology
group of the double complex of bidegree (i,j) by Hij: = ZdBij. Let the
canonical projection be denoted by %:Zij ~ Hij'
163
VI. Cohomology Theory
Theorem 3.1. Let (M, Ae ), (M, £2, Be) be two augmented cochain com-
£1'
plexes. Let there be given a double complex (C VIL ' d', d") and homomorphisms
dj:Aj ~ C Oj and d;':B i ~ C;o such that
and d' d;'
0 = d;'+ 1 d,
0
PROOF
1. ZOj = g E COj:d'~ = 0 and d"~ = O} = g E C o{ There is an I] E Aj
with djl] = ~, d" ~ = O} = g E C Oj : There is an I] E Aj with djl] = ~ and
dj+l(dl]) = O} = g E C Oj : There is an I] E Aj with djl] = ~ and dry = O} =
dj(Zj(Ae) ).
2. BOj = {d"~:~ E C O. j- 1 with d'~ = O} = {d"~: There is an I] E Aj-l
with dj-ll] = ~} = dj(Bj(A e )) for j ~ 1 and Boo = 0 = do(BO(A e )).
3. Since dj is always injective, it follows that
H Oj = ZOj/B oj ::::: Zj(A 8 VBj(A8) = Hj(Ae).
One shows that H;o ~ H i (B 8 ) analogously. o
Now let
Cij: = Ci(U, Y j), d': = b(j) = b:Ci(U, Y j ) ~ Ci + 1(U, Y j),
d": = (- l)id.: Ci(U, Y j) --+ Ci(U, Y j+d (with d*~(lo, ... , I;): = d.(~(lo, ... , I;})).
Clearly d'd' = 0 and d" d" = O. Moreover it is true that
i+l )
(d.bO(l o,···, li+ d = d. ( I
),=0
(_l)H 1~(10,···, lie,"', li+ d
i+ 1
= I (_l)Hld.~(lo,···,lA, ... ,li+l)=(bd.~)(lo,···,li+d;
ie=O
therefore
d'd" + d"d' = b(j+ 1)( ~ l)id. + (_1)i+ Id.b(j) = ( _1)i. (b(j+ 1)d. - dAj)) = O.
164
3. Double Complexes
PROOF
1. If ~ij E Zij, then d' ~ij = O. Therefore there is an 1]i-l,j E Ci-1,j with
d'1]i-l,j = ~ij' We set ((Jii%(~ij)): = qi-l,j+l(d"1]i-l,j)'
a. Let ~ij = d'1] = d'r/*. Then d'(11 - 1]*) = 0; therefore there is ayE C i - 2 ,j
withd'y = 1] -l]*(fori ~ 2), and it follows that d"1] - d"1]* = d"d'YEBi-1,j+l'
165
VI. Cohomology Theory
Therefore
qi-1,j+ l(d"l]) = qi-l,j+ l(d"I]*),
PROOF
1. Let (Cij' d', d") be the canonical double complex of (X, !?, U). Then
Hj(X,!?) ~ H oj , Hi(U,!?) ~ HiQ, and we can define
[Since all sheaves !?j,j ;:, 0 are flabby, we have Hi(U, !?j) = 0 for i ;:, 1,
j ;:, O. Therefore the d' -sequences are exact!J
2. ({J1 = ({J10:H10 -> H01 is given by ({JlO 0 ql0 0 d' = q01 0 d". If 0 =
({J10(Q10 0 d'l]) = Q01 0 dill], then d"l] lies in BOb therefore there is an If E Coo
with d'l]* = 0 and d"l]* = d"l], Then d"(1] - 1]*) = 0 and d'(1] - 1]*) = d' 11,
therefore d'l] E B 10 ; that is, Q10 0 d'l] = O. 0
Theorem 3.4. If U is a Leray covering of !?, then ({Jr: HI (U, !?) -> H{(X, !?)
is an isomorphism for everye ;:, 1.
166
4. The Cohomology Sequence
Theorem 4.1
1. If ~ E Zi(X, 9"*), then (~cp)*~ E Zi(X, 9").
2. If ~ E Bi(X, 9"*), then (~cp)*~ E Bi(X, 9").
PROOF. The following diagram is commutative:
Theorem 4.2. (Hi:9" ~Hi(X, 9"), cp \fV"'>cp) is a covariant junctor, that is:
1. Idy = idHi(x.y).
2. l/J 0 cp = iii 0 cp.
The proof is trivial.
167
VI. Cohomology Theory
1o 1o 1o 1
o
Theorem 4.3
1. If ~ E Zi(X, Y**), then there exists an '10 E r(X, Y i ) and an '1 E
Zi+1(X, Y*) with ~ = (W;t/I)*'10 and d'1o = (W;+1IP)*'1. '1 is determined up
to an element '1* E Bi+ 1(X, Y*).
2. There exists a homomorphism, canonically induced by (1),
a:Hi(X, Y**) -+ Hi+1(X, Y*) with ip 0 a =0 and a 0 Ifi = O.
PROOF
1. If ~ E Zi(X, Y**), then d~ = 0, and there exists an 110 E r(X, Y i ) with
(W;t/I)*'10 = ~. Clearly then 0 = d( (W;t/I)*'10) = (W;+ 1 t/I) *d'1 0 , that is, there
exists an '1 E r(X, Yi+1) with (W;+1IP)*'1 = d'1o. The element '1 is a cycle,
because 0 = dd'1o = d«W;+1IP)*'1) = (W;+2IP)*d'1 and therefore d'1 = O. '1 is
uniquely determined by '10' If ~ = (W;t/I)*'1o = (W;t/I)*'10, then there exists a
P E r(X, (1) with (W;IP)*P = '10 - '10 and we have
d'1o - dllo = d«W;IP)*p) = (W;+1IP)*dp;
therefore '1' - '1" = dp.
2. A homomorphism O:Zi(X, Y**) -+ Hi+1(X, Y*) is defined by o(~): =
qi+1('1) such that
ip 0 00 (W;t/I)*'10 = = qi+1 (W;+1IP)*1I = qi+1(d'10) = o.
ip 0 qi+1 '1 0
Theorem 4.4. Let 0 -+ Sf'* ~ Sf' .i. Sf'** -+ 0 be an exact sequence of sheaves
of R-modules. Then the following long cohomology seqllence is also exact
o -+ r(X, 8'*) ~ r(X, Sf') "4 r(X, Sf'**) ~ H1(X, Sf'*) -+ . . .
. . . -+ H i - 1(X, Sf'**) ~ Hi(X, Sf'*) ~ Hi(X, Sf')! Hi(X, Sf'**) -+ ...
PROOF
a. The sequence 0 -+ r(X, Sf'*) -+ r(X, Sf') -+ r(X, Sf'**) is exact, since
r is a left exact functor.
b. The cohomology sequence is exact at Hi(X, Sf'*), i ~ 1:
1. ?f5 0 = 0 by Theorem 4.3.
0
2. Let d~ = 0 and
o= 0 0 qi*(~) = a~ = qi+11J with ~ = (W;!fr)*l]o
and
169
VI. Cohomology Theory
therefore
l[i qi(I]O - (W;<p).a) = qi* (W;t/t).(l]o - (W;<p)*a) =
0 0 qi*~.
Theorem 4.5. 0 -> Z -> (!) ~ (!)* -> 0 is an exact sequence of sheaves of Z-
modules (where Z also denotes the sheaf of genns of continuous Z -valued
functions).
PROOF. Continuous Z-valued functions are locally constant, in particular,
locally holomorphic. Hence we can regard Z as a subsheaf of (!), and we need
only show that Ker(exp) = Z and Im(exp) = (!)*.
1. Let a = (rf)(x) E (!) x, fEN u, exp(a) = o. Then 0 = exp(rf)(x) =
(r(e 2niJ ) )(x). There exists a connected neighborhood Vex) c U with
rV
r(e 21tiJ )1Y = 0; that is, e 21tiJ = 1. Then there is an n E Z with flY = n.
Conversely if a E Zx c (!)x, it follows that exp(O') = O.
2. Let p = (rf)(x) E (!);, f EMu, x E U. Without loss of generality we
may assume that U is an open set in en, so that log(f) is holomorphically
definable on U. Let
1
h: = -2.. log(f), a: = (rh)(x) E (!)x·
m
Then
exp(a) = exp( (rh)(x)) = (r(e 21tih ) )(x) = (rf)(x) = p. 0
Theorem 4.6
1. Let f reX, (!)*). Then there is an hE reX, (!)) with f = e21tih if and
E
and only if a(f) = O.
2. If Ht(X, (!)) = 0 fort ~ 1, then Ht(X, (!)*) ~ H(+ leX, Z) for C ~ 1.
PROOF. Look at the, long exact cohomology sequence of the short exact
sequence 0 -> Z -> (!) -> (!)* -> o. 0
170
4. The Cohomology Sequence
171
VI. Cohomology Theory
PROOF. The canonical homomorphisms Hl(U, (9) ~ Hl(X, (9) and Hl(U,
(9*) ~ Hl(X, (9*) are injective for every covering U (See Theorem 3.3). D
Theorem 4.9. If H{(X, (9) = 0 for e ;::, 1, then the Cousin II distribution
(U" D'E! (with the corresponding cocycle h) is solvable if and only if
c(h) = 0 (and that is a purely topological condition !).
PROOF. By Theorem 4.6 Hl(X, (9*) ::,;: H2(X, Z), under 8. h is thus solvable
if and only if h. = 0, and that is the case if and only if c(h) = 8@ = O. D
172
4. The Cohomology Sequence
the mapping.
r:V 1 n T -> [R2 with r(cp, e): = (cos e - cos cP + 1, sin e - sin cp)
is real analytic and has exactly one zero (CPo, eo) ~ (Zl' Zl - 1).
For the functional determinant we have
sin CPo - sin eo) _ det ( sin CPo -sin CPo )
det J,(cpo, eo) = det (
-cos CPo cos eo - cos CPo cos CPo - 1
= d et ( sin
-cos
CPo
CPo -1 0) -_ -sin CPo = -1m Zl = -tJ3 =F O.
Hence we can find a neighborhood V = V(cpo, eo) c V 1 n T which is
mapped by r biholomorphically onto a domain of [R2. Let V*: =
V - {(CPo, eo)}·
We can regard r as a complex valued function. Then on V* the differential
form 0) = dr/r is defined and clearly dO) = 0.
We now choose an open subset Bee V which relative to r IV is the
inverse image ofa circular disc{z E C:lzi ~ s}. Let H: = aB. Then
1 iH
ill =
dr
-
1,I=s r
=F o.
Now suppose there is a solution f of the above Cousin II problem. Then
fl V 1 =g . h, with a nowhere vanishing holomorphic function h in V 1, and
fiT has a zero only at (CPo, eo). Therefore ill: = dhlh is a differential form
°
on V 1 n T, IX: = dflf a differential form on T - {(CPo, eo)} and dill = 0,
dlX = and IXI V* = 0) + w. Thus it follows that
SH ill = 1B ill = SB dw = 0,
SH IX = - 1(T-B) IX = - ST-B dlX = 0,
but
SH IX = SH + SH ill = SH =F O.
0) 0)
Theorem 5.1 (Theorem A). Let (X, (I) be a Stein manifold, !f a coherent ana-
lytic sheaf over X. Then for every point Xo E X there are finitely many
global sections Sb . . . , Sk E T(X, !f) which generate !f Xo over (i7 x o.
174
5. Main Theorem on Stein Manifolds
Theorem 5.3. Let X be a Stein manifold, and 0 --* 9"* --* 9" --* 9"** --* 0 an
exact sequence of coherent analytic sheaves over X. Then
o --* r(X, 9"*) --* r(X, 9") --* r(X, 9"**) --* 0
is exact and
rex 9"**) ~ r(X, 9") .
, r(X,9"*)
Theorem 5.6. If X is a complex manifold, then there are arbitrarily fine Stein
coverings of X. If 9" is coherent analytic on X, then for every open covering
U of X there exists a refinement m such that Hf(m, 9") ~ Hf(X, 9") for
all t ~ O.
175
VI. Cohomology Theory
Theorem 5.8. If X is Stein, then for all t' ~ 1, HI(X, (9*) :::::: Ht+l(X, Z).
PROOF. Theorem B and Theorem 4.6. o
Theorem 5.9. Let X be Stein, (Up J.),el a Cousin II distribution on X,
hE Zl(U, (9*) the corresponding cocycle. Then (U" f.),el is solvable if and
only if c(h) = O.
PROOF. Theorem B and Theorem 4.9. o
At the end of the last section we gave an example of a Stein manifold on
which not every Cousin II problem is solvable. Let us assume the following
two (topological) results without proof:
1. If X is a connected non-compact Riemann surface (X is then Stein by a
theorem of Behnke-Stein), then H2(X, Z) = O.
2. If X is a Stein manifold which is continuously contractible to a point,
then H2(X, Z) = o.
For analytic sets which are free of singularities (therefore sub manifolds)
this coincides with the old notion of holomorphy.
Theorem 5.11. Let (X, (!)) be a Stein manifold, A c X an analytic subset and
f a function holomorphic on A. Then there is a holomorphic function J on
X with JIA = f. (Global continuation!)
PROOF. We assign to every point x E A a neighborhood U x c X and a
holomorphic function Ix such that IxIA nUx = flA nUx. To every point
x E X - A let there be assigned a neighborhood U x c X with U x n A =
o and the function Ix: = 0IU x' Let
U: = (Ux)xEX' 1](x): = Ix E T(U x , (!)).
Then 1] E CO(U, (!)) and ~: = blJ E Zl(U, (!)). Moreover, for all Xo, Xl E X
~(Xo, xdl A n U xox • = LolA n U xox • -L.IA n U xox • = O.
Therefore ~ E Zl(U, J(A)), where we denote the ideal sheaf of A by J(A).
By Theorem B, H1(X, J(A)) = 0 and hence also H1(U, J(A)) = O. There-
fore there is apE CO(U, J(A)) with bp = ~, that is, b(1J - p) = O. There is
a holomorphic function J E T(X, (!)) defined by
JI U x: = lJ(x) - p(x) = L - p(x)
and
Theorem 5.12. Let (X, (!)) be Stein, X' c c X open, Y a coherent analytic
sheaf over X. Then there are sections Sb ... , s( E T(X, Y) which at each
point x E X' generate the stalk Y x over (!)x'
PROOF
1. Let Xo E X'. Then there exists an open neighborhood U(xo) c X and
sections tb ... , tq E T(U, Y) such that for every point x E U the stalk //'x
over (!)x is generated by t1 (x), ... , tq(x). Now, by Theorem A there are global
sections 8 1 , •.. , sp E T(X, Y) and elements aij E (!)xo such that
p
ti(xo) = L aijsj(xo)
j= 1
for i = 1, ... , q.
There exists an open neighborhood V(x o) c U and sections aij E T(V, (!))
with aiixo) = aij for all i,j. Hence it follows that there exists an open neigh-
borhood W(xo) c V with tilw = Ct1 aijSj)lw for i = 1, ... ,q; that is,
sp generate each stalk Y x , x E W.
Sb' .. ,
2. Since X' is compact, we can find finitely many points Xl, ... , Xr EX',
open neighborhoods JV;(x;) and global sections
(i)
Sl , ... ,
(i)
Sp(i)' i = 1, ... , r
177
VI. Cohomology Theory
We note that the theorem does not imply that J(A) is globally finitely
generated. Indeed, there is an example due to Cartan which shows that this
is not possible, in general.
178
CHAPTER VII
Real Methods
1. Tangential Vectors
In this section X is always an n-dimensional complex manifold.
179
VII. Real Methods
We call (2) and (3) the derivation properties. The set of all tangent vectors
at Xo is denoted by Txo.
Theorem 1.1. If C1> ••• , Cn are arbitrary complex numbers then there exists
n a
.exactly one tangent vector D with D(f) = V~l Cv oXv (f) for each function f
holomorphic at xo. In particular, a given tangent vector D is already uniquely
determined by its values on the holomorphic functions. In local coordinates
D has the representation
nan a
D = V~l Re(D(zv» oX v + V~l Im(D(zv» 0Yv
Theorem 1.2. If c E C and DE T xo ' then there exists exactly one tangent
vector c· D E T Xo such that (c . D)(f) = c· (D(f» for every function f
holomorphic at Xo.
180
1. Tangential Vectors
for every function f holomorphic at Xo; and by Theorem 1.1 there is exactly
n 0
one tangent vector D* with D*(f) = V~l (ccJ oX v (f) = c· (D(f)) for holo-
morphic f. We set c· D = D*. 0
{0~1'···' o~J
forms a system of generators of Txo over C.
n 0
If I Cv • = 0 with cv = av + ib v for v = 1, ... , n, then
~
v= 1 UXv
nOn 0 non 0
0= I av~ + i· I bv~ = I av-" + I bv -;-,
v=l UXv v=l UXv v=1 oXv v=1 UYv
181
VII. Real Methods
a a
Iv=1 avaxv + I b -,
II II
D = -
v=1 Vayv
we set
1 a
I
II
D': = -2 (a v + ibv)-a
v= 1 Zv
1 a
I a-
II
D": = -2 (a v - ib v )
v= 1 Zv
Clearly D'(f) + D"(f) = D(f) for every f E f0,!o. Hence we can write every
real tangent vector D E T Xo in the form
a a
I + I cv - ·
II II
D = cv -
v= 1 az v az..= 1
If c E C, then
a a
I CC. -a + I a- .
II II
c.D = CC.
• =1 Z. .=1 Z.
Remarks
1. Ft~ is a complex vector space. We can represent an element ({J E Ft~
uniquely in the form ({J = Re( ({J) + i Im( ({J), where Re( ({J) and Im( ({J) are
real-valued differential forms (cf. [22]). It follows directly that
2. BY conven t IOn
· xo -- i0
F(O) 'G.
F or r -- 1 we 0 bt· Xo -- T*xo d7
am F(l) CJ:\ ·T*
I xo'
with T~o = Hom~(T Xo' IR). F~~) is the complexification of the real dual space
of Txo.
3. We associate with each element ({J E Ft~ a complex-conjugate element
lp E Ft~ by setting
182
1. Tangential Vectors
We have
a. cp = cp.
b. (cp + ljJ) = cp + l/i, ccp = c· cp.
c. cp is real if and only if cp = cp.
If we define the element dz. E F~~) by dz.(~): = ~(z.), then we obtain an
additional element dZ. E F~~ from
dZv(~): = az.(~) = ~ = ~(zv) = ~(zv)'
{dz 1 , ••• , dz n, dZ1 , .•• , dZn} is a basis of F~~). In general cp = Re(cp) -
i Im( cp ); as a special case
dz v = dx. + i dy., dZ. = dx v - i dy•.
4. Let cp E F~~, ljJ E F~~. The wedge product cp /\ ljJ E F~o+S) is defined as
in [22]:
cp /\ ljJ(~l>""~" ~r+ 1>' •• , ~r+s): =
1
-'-I
r.s.
I
ae ,sr+s
(sgn O')CP(~O'(l)' ... , ~O'(r») . ljJ(~O'(r+ 1), ... , ~O'(r+s»)'
Then:
a. cp /\ ljJ = (_I)'·sljJ /\ cp (anticommutative property);
b. (cp /\ ljJ) /\ W = cp /\ (ljJ /\ w) (associative property).
In particular
00
With the multiplication " /\" F xo:. = EB F~~ becomes a graded associative
r=O
(non-commutative) ring with 1.
5. For j = 1, ... , n let dz n + j: = dZj • Then F~~ is generated by the elements
dZ v1 /\ ••• /\ dZ vr with 1 ~ V1 < ... < Vr ~ 2n. The number of these ele-
ments is exactly (2rn) ; so they form a basis.
Theorem 1.4. If Zl' ... , Zn are coordinates of X near xo and if cp E F~~, then
there is a uniquely determined representation
cp=
for all c E C.
183
VII. Real Methods
Theorem 1.5. If <p E Fr~, <p ¥ 0 and <p is of type (p, q), then p and q are uniquely
determined.
PROOF. Suppose <p is of type (p, q) and of type (pi, q'). Since <p 1= 0 there
exist tangent vectors ~1' . . . , ~r such that <p(~1> ... , ~r) 1= O. Then
Theorem 1.6.
1. If <p is of type (p, q), then lp is of type (q, p).
2. If <p, l/J are of type (p, q), c E C, then <p + l/J and c . <p are of type (p, q).
3. If <p is of type (p, q), l/J of type (pi, q'), then <p /\ l/J is of type (p + pi,
q + q').
PROOF
(1) lp(c~1> ... ,c~r) = <p(c~l> ... ,c~r) = cPcq<P(~1""'~r) =cpcqlp(~l>"" ~r)'
(2) Trivial.
(3) <p(c~ 1, ... , c~r)l/J( c~r + 1> ••• , c~r+.) = cpcqcp'c q' <p( ~ 1>' •• , ~r )l/J( ~r + 1> ... , ~r+s)'
Therefore
184
2. Differential Forms on Complex Manifolds
Then
L ljJ(P, q) =0 for ljJ(P,q) = cp(p,q) - ip(p,q)
p+q=r
It follows that
o= L ljJ(p,q)(C~b"" C~r) = L CPcqljJ(p,q)(~l"'" ~r)
p+q=r p+q=r
For fixed (~l> ... , ~r) we obtain a polynomial equation in the polynomial
ring iC[ c, c]. Then the coefficients ljJ(P, q)( ~ b . . . , ~r) also vanish for all p, q.
Since we can choose ~b . . . , ~r arbitrarily, we have cp(P,q) = ip(p,q) for all
~q. 0
with the property that cp(x) E F~) for every x E X. If Zl' ... , Zn are coor-
dinates on an open subset U c X, then for x E U
X f--+a" ... ,ix) defines a complex valued function a"", 'f on U. We call
cp Xo E U if all functions a" ... If are k-times differ-
k-times differentiable at
entiable at Xo. This definition is independent of the choice of coordinates.
cp is called k-times differentiable (on X) if cp is k-times differentiable at
every point of X.
Remarks
1. For the basis elements dz v , dz v the definition does not change anything.
2. In local coordinates
n n
df = L h, dz
v=l
v + L fzv dz
v=l
v'
PROOF. We write
n n
df = L a v dz v + L b v dz v ·
v=l v=l
185
VII. Real Methods
and hence
n n
df(~) = ~(f) = I Cv!ZV + I Cv!ZV·
v=l v=l
then
d<P1 U = I da" ... It A dz" A ••• A dZI{"
1 ::S;ll < ... <1(::E;2n
6. dod = O.
7. d is a real operator; that is, dip = ([(p. In particular then d<p = d(Re <p) +
id(Im <pl.
Theorem 2.1. If <peA(p,q), then d<p = d'<p + d"<p with d'<peA(p+l,q) and
d"<p e A(p,q+1).
186
2. Differential Forms on Complex Manifolds
If <p = L <p(p, q) is an arbitrary t-form, then we call d' <p: = L d' <p(P, q)
p+q=l p+q=l
the total derivative of <p with respect to 3 and d" <p: = L d" <p(P, q) the
p+q=l
total derivative with respect to 3. (In the English literature one generally
writes (} instead of d' and "0 instead of d".)
Theorem 2.2.
1. d' and d" are ~>linear operators with d' + d" = d.
2. d'd' = 0, d"d" = 0 and d'd" + d"d' = O.
3. d', d" are not real. Moreover d'<p = d"ip and d"<p = d'ip.
4. If <p is an t-form, ljJ arbitrary, then
d'(<p /\ ljJ) = d'<p /\ ljJ + (-Ir<p /\ d'ljJ,
d"(<p /\ ljJ) = d"<p /\ ljJ + (_I)I<p /\ d"ljJ.
If <p has type (p, q), then d'd'<p has type (p + 2, q), (d'd"<p + d"d'<p) has type
(p + 1, q + 1), and d"d"<p has type (p, q + 2). Since the decomposition into
forms of pure type is uniquely determined, the proposition follows.
For (3), since d<p = dip it follows that
d'<p + d"<p = d'ip + d"ip; therefore (d' <p - d"ip) + (d" <p - d'ip) = o.
Hence d'<p - d"ip has type (q, p + 1) and d"<p - d'ip has type (q + I, p).
Therefore both terms must vanish.
For (4), both formulas follow from Rule (4) for the total derivative d by
comparing types as in (2) and (3). D
that d" <p = 0 if and only if ai, ... ip is always holomorphic. Hence we make
the following definitions.
Def. 2.3. <p E A(t) is called holomorphic if
1. <p is of type (p, 0), and
2. d"<p = O.
<p E A(t) is called antiholomorphic if
1. <p is of type (0, q), and
2. d'<p = O.
187
VII. Real Methods
3. Cauchy Integrals
The Poincare Lemma from real analysis (see, for example, [22J) can be
formulated as follows:
.e > 0, dcplB = O. Then there exists a t/I E AU-I) with dt/l = cp.
We will below prove a similar theorem for the d" operator. In order to
do this, we must first generalize the Cauchy integral formula.
If Bee e is a region and J a complex valued, continuous, bounded
function on B, then there exists a continuous function Cht) on C defined by
1. f
cht)(w): = -2
1tl JB z
J(z)
- W
dz 1\ az.
Specifically, let el>: [0, (0) x [0, 2n) --I- e be defined by el>(r, 0): = re i8 + w,
and let B* be the region el> - I(B). Then
( J(z) dz
z - w
1\ az) 0 el> = J(iP(r, 0» del>
el>(r, 0)
1\ d~
= 2i . J(r· e i8 + w) . e- i8 dr 1\ dO
is a continuous, bounded differential form on B*. Hence
z- w
J(z) dz 1\ az
is integrable over B, the integral is continuously dependent on w, and
If the real numbers R, k > 0 are chosen so that IZI - z21 ~ R for Zl> Z2 E B
and IJ(z) I ~ k for z E B, then we get the following estimate:
1. f
g(w) = ch(gIT)(w) = -2 g(z) dz, for WE P.
1tl JT Z - W
As a generalization we obtain
188
3. Cauchy Integrals
Chr)(w) = _~
2m JP-Hr
r
d (g(Z) dZ) + ~
Z - w
J(z) dz /\ dZ
2m JHr Z - W
r
1 r g(z)
= - 2'Tti Ja(p-H r ) z _ w dz + Ch~Hr)(w)
= _~
2m JT z - w
r
g(z) dz + ~ r
g(z) dz + Ch1r)(w)
2m Jrr z - w
= -ch(gIT)(w) + ch(gITr)(w) + Ch1r) (w).
Hence the function p(r): = ch(gITr)(w) + Ch~Hr)(w) has the constant value
ch(glT)(w) + Chr)(w), and it suffices to consider the limit for r --+ 0:
p(r) = a(r) + b(r) + c(r)
with
a(r):
1
= -2'
'Ttl
i --
Tr
g(w)
Z- W
dz
1
= g(w) . -2'
'Ttl
i -- =
Tr
dz
Z- w
g(w),
therefore
1
Ib(r)1 ~ -2
'Tt
iTr
Ig(Z) - g(W)1 dz ~ 2M· r
Z - W
for r < roo
Hence
Ib(r) + c(r) 1 ~ 2Mr + ICh~Hr)(w)1 ~ 2r' (M + 2· sup 1J(P) i),
and this expression becomes arbitrarily small. Hence it follows that
p(r) == g(w). 0
189
VII. Real Methods
Because
gz (c) = _1
2'
mC
~ fiz + c) dZ!\ d-Z = _1
z
fz(z) d
mPz-c z
2'
l .:r.:
!\ uZ
= Ch(P)(
J c,
)
l
Z
1
gz(c) = -2' -h(z)
- - dz !\ dz = Chr)(c).
m Pz-c z
190
4. Dolbeault's Lemma
(Ch(B») (w x)
f x,,,
= _1_
2ni
r f~,(z,
JB z _
x) dz
W
!\ dZ (Ch(B»)_
'f w
= f.
4. Dolbeault's Lemma
Theorem 4.1 (Dolbeault's lemma): Let Kv c C be compact sets for v =
1, ... ,n, Uv open neighborhoods of K v , K: = KI x ... K n , U: =
U I x ... X Un.
Moreover, let <p = <p(O,q) E A(O,q\U) with d"<p = 0, q > 0. Then there
exist an open set U' with K c U' c U and a ljJ E A(O, q-l)(U') with
d"ljJ = <pIU'.
If <p is arbitrarily often differentiable as a function of real parameters,
then ljJ is also arbitrarily often differentiable as a function of these parameters.
PROOF. By induction on n.
= 1, then also q = 1 and <p has the form <p = a(z, x) dz. Let
1. If n
U' c cUbe open with K c U'. Then Ch~U') is arbitrarily often differen-
tiable, and
d; (IJ
aJd3J ): = I f ~~J
J v=2 UZ v
Mv !\ d3J
so that
191
VII. Real Methods
If we write cP in the form cP = dZI /\ CPl + CP2, where CPb CP2 no longer
contain azb then
O = d" cP = uZ1
-1= /\ (d"
- .CPl + OCP2)
OzI + d".CP2·
".I,
cP - d 'I' = cP -.'1' -
d".I, -1=
uZ1 olj; = d-ZI
/\ OZI /\
( CPl - OZI
Olj;) '
For the case q ~ 2 by the induction hypothesis there are an open set
V" with K c V" c V' and a·7. = .7.(O,Q-1) on V" such that
* * * * tp ljI *
d"'7.
.'1' = (m _ Olj;)\v"
't'1 Cl-
UZI
••
Hence on V": = VI x V;
Let the ring (without I) of all test functions be denoted by T. Let:!l be the
sheaf of germs of test functions on X.
Def. 5.2. Let !I' be a sheaf of T-modules over X. !I' is called fine if for all
x E X, (j E !I' x and t E T
1. t· (j = 0 if x ¢ Supp(t)
2. t· (j = (j if x ¢ Supp(l - t).
Remarks
1. If !I' 1, . . . ,!I'r are fine sheaves, then !l'1 EB ... EB 9'; is also fine.
2. The sheaf Jdp.q of germs of (arbitrarily often differentiable) forms of
type (p, q) defined by the pre-sheaf {Ap.q(U), rn is clearly a fine sheaf.
193
VII. Real Methods
The sheaf
p+q=l
is fine, by (1). Here
reU, dt) = EB reU, dp.q) = EB Ap.q(U) = At (U),
p+q=l p+q=l
Theorem 5.1. Let ff', ff" be fine sheaves over X, <p: ff' -> ff" an epimorphism
of sheaves of T-modules. Then <P* :reX, ff') -> r(X, ff") is surjective.
PROOF
1. Let s' E reX, ff"), x E X. Then there exist a (J E ff'x with <p((J) = s'(x),
a neighborhood W(x) c X and a section s* E reW, ff') with s*(x) = (J, so
that <p 0 s*(x) = s'(x). We can find a neighborhood Ux(x) c W with
<p 0 .s*IUx = s'IU x ' Let sex): = s*IU x'
2. u = {Ux:x E X} is an open covering of X. Let (t(X»XEX be a subordinate
partition of unity. For x E X t(x) . sex) is an element of reX, ff'). Since the
system of sets Supp(t(X» is locally finite, for fixed Xo we have t(x) . s(X)(xo) = 0
for almost all x E X. Therefore
s: = L t(x)' sex)
XEX
L
xeE
(t(x)' s'(xo» = (L xeE
t(X»)' s'(x o) = s'(xo),
194
5. Fine Sheaves (Theorems of Dolbeault and de Rbam)
qJ = L ail' .. ip dZ il !\ . . . !\ dz ip '
1 ::::;il < ... <ip~n
Thus the sheaf QP is locally isomorphic to the (free) sheaf (;) . (JJ. We
also call QP a locally free sheaf. In particular QP is coherent.
There is a canonical injection 1>: QP ~ .sip. and the differential °
d":Ap,q(V) --+ AP,q+1(V)
PROOF
1. It is clear that d" 0 I> = 0 and d" 0 d" = O.
2. Let x E X, V be a coordinate neighborhood of x in X. An element
qJ E A p, q( V) has the form
195
VII. Real Methods
196
5. Fine Sheaves (Theorems of Dolbeault and de Rham)
Theorem 5.5. Let X be a Stein manifold, q ;:: 1. If cp is aform of the type (p, q)
on X with d" cp = 0, then on X there exists a form l/J of the type (p, q - 1),
with d"l/J = cpo
PROOF. By Theorem B Hq(X, QP) = 0 for q ;:: 1; therefore Hp,q(X) = 0 for
q;::1. 0
Remarks. With the help of Poincare's Lemma one shows that the sequence
o~c ~ dO ~ d l ~ d 2 ~ . .• is exact. The associated cohomology
groups
W(X): = Ker(r(X, d r) ~ r(X, d'+l))jIm(r(X, dr-l) ~ r(X, d r ))
Since
d t = EB dp,q
p+q=f
197
List of Symbols
cn, 11311, 11311*, dist, dist* 1 [J], (X, JIt'), ff(W, C) 119
131, dist', C B (3o), U., Ui, U~ 2 cp = (i{J, CPJ 120
Pr(3o) 4 dimxo (X) 124
en 4 (Dvf)<p(x o), rk xo (f1, ' , , ,f.t) 132
[pn 135
T(U, Y), W(Y) 150
W(Y) 152
M', zn(M'), Bn(M'), Hn(M') 155
ch(f) 11
Zt'(X, Y), Bt(X, Y), Ht(X, Y) 156
fx" f y,. 22
U io · .. it' 6 n , sgn(o-) 158
JJ' D. J 25
Ct(U, Y) 159
W g, Mg 26
zt(U, Y), Bt(U, Y), Ht(U, Y) 160
K c c B 40
H1j(f)), A(G) 65 f0~0 179
No, No, C{3}, 1R':r, Hm Ilfllt 68 a a
B t 69 T xo ';:;--';:;-- 180
uX1 UY1
]O[X], QO[X] 79
N(fl> ' , , ,It) 84 TC
Xo'
T'
xo,
T" a a
xo, OZ1' OZ1
181
gcd(a 1 , a 2 ) 86
D(X 1, ' , , , X s), D.(f) 88 F(r) T* 182
Xo' Xo
(9ao' (9, Y a 99
cp 1\ tjJ, dx y , dy y , dz y , dzy 182
T(W, Y) 100 A(p, q), A(l), df, d 185
r:Mw ~ T(W, Y), {Mw:rn 102
Y 1 EB ' , , EB Y t 104 L aI,J d31 1\ d5J 186
I,J
1,0, la' 0a 105
N(§), q(9 108 d', d" 187
y/y* 109 Ch<f)(w) 188
1m cp, Ker cp 111 d\ dp,q 194
Hom(1lY l' Y 2) 112 QP 195
Supp(§), §(A) 113 HP,q(X) 196
JIt'(A} 117 H'(X) 197
199
Bibliography
Textbooks
1. Abhyankar, S. S.: Local Analytic Geometry. New York: Academic Press, 1964.
2. Behnke, H., Thullen, P.: Theorie der Funktionen mehrerer komplexer Veriinder-
lichen. Ergebn. d. Math., Bd. 51,2. erw. Aufiage. Berlin-Heidelberg-New York:
Springer 1970. .
3. Cartan, H. : Elementary Theory of Analytic Functions of One or Several Complex
Variables. New York: Addison & Wesley, 1963.
4. Fuks, B. A.: Introduction to the Theory of Analytic Functions of Several Complex
Variables. Trans!. of Math. Monogr., 8. Providence, Rhode Island: American
Mathematical Society, 1963.
5. Fuks, B. A.: Special Chapters in the Theory of Analytic Functions of Several Complex
Variables. Trans!. of Math. Monogr., 14. Providence, Rhode Island: American
Mathematical Society, 1965.
6. Grauert, H., Remmert, R.: Analytische Stellenalgebren. Grund!. d. math. Wiss.,
Bd. 176. Berlin-Heidelberg-New York: Springer, 1971.
7. Gunning, R. c., Rossi, H.: Analytic Functions of Several Complex Variables.
Englewood Cliffs, N.J.: Prentice-Hall, 1965.
8. Hormander, L.: An Introduction to Complex Analysis in Several Variables. Prince-
ton, N.J.: Van Nostrand, 1966.
9. Vladimirov, V. S.: Les Fonctions de Plusieurs Variables Complexes(et leur applica-
tion Ii la tMorie quantique des champs). Paris: Dunod, 1967.
201
Bibliography
Lecture Notes
12. Bers, L.: Introduction to Several Complex Variables. New York: Courant Institute
of Mathematical Sciences, 1964.
13. Cartan, H.: Semina ire Ecole Normale Superieure 1951/52, 1953/54, 1960/6l. Paris.
14. Herve, M.: Several Complex Variables. Tata Institute of Fundamental Research
Studies in Math., l. London. Oxford University Press, 1963.
15. Malgrange, B.: Lectures on the Theory of Functions of Several Complex Variables.
Bombay: Tata Institute of Fundamental Research, 1958.
16. Narasimhan, R.: Introduction to the Theory of Analytic Spaces. Lecture Notes in
Mathematics, Vol. 25. Berlin-Heidelberg-New York: Springer, 1966.
17. Schwartz, L.: Lectures on Complex Analytic Manifolds. Bombay: Tata Institute of
Fundamental Research, 1955.
202
Index
203
Index
204
Index
205
Index
monomorphism, 110
Q morphism, 101
Quotient field, 79 morphism, analytic, 110
sheaf, 109 of A-modules, 106
of (:-algebras, 106
R of sets, 99
Real differentiable, 22 Shearing, 76
Reducible analytic set, 96 Singularity (singular point), 95
Region, 2 free, 132
of convergence, 7 isolated, 33, 97
of holomorphy, 35 Stalk, 99
Regular closure, 145 Stalk preserving (mapping), 101
in ZI, 74 Stein manifold, 128
point, 95 covering, 175
Reinhardt domain, 5 Strongly pseudo convex, 193
complete, 5 Submanifold, 133
proper, 5 Subsheaf, 100
Relation finite, 114 Support of an analytic sheaf, 113
sheaf, 114 Symmetric polynomial, 88
Relatively compact, 40
Resolution of a sheaf, 152 T
Riemann domain, 54 Tangent space, 37, 180
with distinguished point, 56
Tangent vector, antiholomorphic, 181
Riemann surface, abstract, 125
holomorphic, 181
concrete, 128
real, 179
of )Z, 55, 62, 92
Taylor series expansion, 15
Riemann sphere, 125
Test function, 193
RUckert basis theorem, 83
Theorem A, 174
B,174
s Topological mapping, 54
Schlicht domain, 57 Torus, complex, 137
Section, 100 real, 4
Sequence, exact, 112 Total differential, 37, 185, 186
of sheaves, analytic, 112 Type (p, q), 183
Serre's five lemma, 117
Set of degeneracy, 146
Sheaf, analytic, 108
u
conherent, 114, 117 Unbranched, 130
constant, 108 Union of domains, 61
epimorphism, 110 Unique factorization domain, 79
fine, 193 Unit section, 111
finitely generated, 113
homomorphism, 110 w
isomorphism, analytic, 111 Wedge product, 183
locally free, 195 Weierstrass condition, 73
206
Index
formula, 71, 77
homomorphism, 83
preparation theorem, 73, 78
problem, 171
Whitney sum, 104
z
Zariski topology, 95
Zero section, 105
set, 108
set offunctions, 84, 109
sheaf, 109
Zorn's lemma, 157
207