From Holomorphic Functions To Complex Manifolds
From Holomorphic Functions To Complex Manifolds
Editorial Board
S. Axler F.W. Gehring K.A. Ribet
Springer
New York
Berlin
Heidelberg
Barcelona
Hong Kong
London
Milan
Paris
Singapore
Tokyo
Graduate Texts in Mathematics
TAKEtrrIlZARiNG. Introduction to 34 SPITZER. Principles of Random Walle
Axiomatic Set Theory. 2nd ed. 2nded.
2 OXTOBY. Measure and Category. 2nd ed. 35 ALExANDERlWERMER. Several Complex
3 ScHAEFER. Topological Vector Spaces. Variables and Banach Algebras. 3rd ed.
2nded. 36 KEu.sy/NAMIOKA et al. Linear
4 Hn.TONISTAMMBACH. A Course in Topological Spaces.
Homological Algebra. 2nd ed. 37 MONK. Mathematical Logic.
5 MAc LANE. Categories for the Working 38 GRAUERTIFRrrzsam. Several Complex
Mathematician. 2nd ed. Variables.
6 HUGlIBSIPtPER. Projective Planes. 39 ARVESON. An Invitation to c*-Algebras.
7 SERRE. A Course in Arithmetic. 40 KEMENY/SNEUiKNAPP. Denumerable
8 TAKEtrrIlZARiNG. Axiomatic Set Theory. Markov Chains. 2nd ed.
9 HUMPHREYS. Introduction to Lie Algebras 41 APosroL. Modular Functions and
and Representation Theory. Dirichlet Series in Number Theory.
IO COHEN. A Course in Simple Homotopy 2nded.
Theory. 42 SERRE. Linear Representations of Finite
11 CONWAY. Functions of One Complex Groups.
Variable I. 2nd ed. 43 GIU.MANlJERISON. Rings of Continuous
12 BEALS. Advanced Mathematical Analysis. Functions.
13 ANDERSONlFtJu.EJt. Rings and Categories 44 KENDIG. Elementary Algebraic Geometry.
of Modules. 2nd ed. 45 LoEVE. Probability Theory I. 4th ed.
14 GoLUBITSKy/GUIU.EMIN. Stable Mappings 46 LotiVE. Probability Theory D. 4th ed.
and Their Singularities. 47 MOISE. Geometric Topology in
IS BERBERIAN. Lectures in Functional Dimensions 2 and 3.
Analysis and Operator Theory. 48 SAOfs/WU. General Relativity for
16 WINTER. The Structure of Fields. Mathematicians.
17 ROSENBLAtT. Random Processes. 2nd ed. 49 GRUENBERGlWEIR. Linear Geometry.
18 HALMos. Measure Theory. 2nd ed.
19 HALMos. A Hilbert Space Problem Book. 50 EDWARDS. Fermat's Last Theorem.
2nd ed. 51 KuNGENBERG. A Course in Differential
20 HUSEMOU.ER. Fibre Bundles. 3rd ed. Geometry.
21 HUMPHREYS. Linear Algebraic Groups. 52 HARTSHORNE. Algebraic Geometry.
22 BARNESIMAcK. An Algebraic Introduction 53 MANJN. A Course in Mathematical Logic.
to Mathematical Logic. 54 GRAVERIWATKINS. Combinatorics with
23 GREUB. Linear Algebra. 4th ed. Emphasis on the Theory of Graphs.
24 HOLMES. Geometric Functional Analysis 55 BRoWNIPEARCY. Introduction to Operator
and Its Applications. Theory I: Elements of Functional Analysis.
25 HEwrrr/SmOMBERG. Real and Abstract 56 MASSEY. Algebraic Topology: An
Analysis. Introduction.
26 MANES. Algebraic Theories. 57 CRoWElllFox. Introduction to Knot
27 KElLEy. General Topology. Theory.
28 ZARIsKIlSAMUEL. Commutative Algebra. 58 KOBUTZ. p-adic Numbers. p-adic
Vol.l. Analysis. and Zeta-Functions. 2nd ed.
29 ZARIsKIlSAMUEL. Commutative Algebra. 59 LANG. Cyclotomic Fields.
V01.ll. 60 ARNOLD. Mathematical Methods in
30 JACOBSON. Lectures in Abstract Algebra I. Classical Mechanics. 2nd ed.
Basic Concepts. 61 WHITEHEAD. Elements of Homotopy
31 JACOBSON. Lectures in Abstract Algebra D. Theory.
Linear Algebra. 62 KARGAPOwvIMERuJAKOV. Fundamentals
32 JACOBSON. Lectures in Abstract Algebra of the Theory of Groups.
m. Theory of Fields and Galois Theory. 63 BOu.DBAS. Graph Theory.
33 HIRsoi. Differential Topology.
(continued after index)
Klaus Fritzsche
Hans Grauert
From Holomorphic
Functions to
Complex Manifolds
With 27 Illustrations
Springer
Klaus Fritzsche Hans Grauert
Bergische Universitiit Wuppertal Mathematisches Institut
GauBstra6e 20 Georg-August-Universitiit G6ttingen
0-42119 Wuppertal Bunsenstra6e 3-5
Gennany 0-37073 G6ttingen
[email protected] Gennany
Editorial Board
S. Axler F.W. Gehring K.A. Ribet
Mathematics Department Mathematics Department Mathematics Department
San Francisco State East Hall University of California,
University University of Michigan Berkeley
San Francisco, CA 94132 Ann Arbor, MI 48109 Berkeley, CA 94720-3840
USA USA USA
[email protected] [email protected]. [email protected]
umich.edu
Mathematics Subject Classification (2000): 32-01, 32Axx, 32005, 32Bxx, 32Qxx, 32E35
SPIN 10857970
sors and hyperplane sections as well as the process of blowing up points and
submanifolds.
The present book grew out of the old book of the authors with the ti-
tle Seveml Complex Variables, Graduate Texts in Mathematics 38, Springer
Heidelberg, 1976. Some of the results in Chapters I, II, III, and V of the old
book can be found in the first four chapters of the new one. However, these
chapters have been substantially rewritten. Sections on pseudoconvexity and
on the structure of analytic sets; the entire theory of bundles, divisors, and
meromorphic functions; and a number of examples of complex manifolds have
been added.
Our exposition of Stein theory in Chapter V is completely new. Using only
power series, some geometry, and the solution of Cousin problems, we prove
finiteness and vanishing theorems for certain one-dimensional cohomology
a
groups. Neither sheaf theory nor methods are required. As an application
Levi's problem is solved. In particular, we show that every pseudoconvex
domain in en is a domain of holomorphy.
Through Chapter V we develop everything in full detail. In the last two
chapters we deviate a bit from this principle. Toward the end, a number of
the results are only sketched. We do carefully define differential forms, higher-
dimensional Dolbeault and de Rham cohomology, and Kahler metrics. Using
results of the previous sections we show that every compact complex mani-
fold with a positive line bundle has a natural projective algebraic structure. A
consequence is the algebraicity of Hodge manifolds, from which the classical
period relations are derived. We give a short introduction to elliptic opera-
tors, Serre duality, and Hodge and Kodaira decomposition of the Dolbeault
cohomology. In such a way we present much of the material from complex
differential geometry. This is thought as a preparation for studying the work
of Kobayashi and the papers of Ohsawa on pseudoconvex manifolds.
In the last chapter real methods and recent developments in complex an-
alysis that use the techniques of real analysis are considered. Kahler theory is
carried over to strongly pseudoconvex subdomains of complex manifolds. We
give an introduction to Sobolev space theory, report on results obtained. by
J.J. Kohn, Diederich, Fornress, Catlin, and Fefferman (a-Neumann, subeUip-
tic estimates), and sketch an application of harmonic forms to pseudoconvex
domains containing nontrivial compact analytic subsets. The Kobayashi met-
ric and the Bergman metric are introduced, and theorems on the boundary
behavior of biholomorphic maps are added.
Prerequisites for reading this book are only a basic knowledge of calculus,
analytic geometry, and the theory of functions of one complex variable, as
well as a few elements from algebra and general topology. Some knowledge
about Riemann surfaces would be useful, but is not really necessary. The
book is written as an introduction and should be of interest to the specialist
and the nonspecialist alike.
Preface vii
Preface v
I Holomorphic FUnctions 1
1. Complex Geometry .......... . 1
Real and Complex Structures. . . . . 1
Hermitian Forms and Inner Products 3
Balls and Polydisks 5
Connectedness . . . 6
Reinhardt Domains 7
2. Power Series .. 9
Polynomials 9
Convergence 9
Power Series 11
3. Complex Differentiable Functions 14
The Complex Gradient . . . . 14
Weakly Holomorphic Functions, 15
Holomorphic Functions 16
4. The Cauchy Integral . . . . . . . 17
The Integral Formula . . . . . 17
Holomorphy of the Derivatives 19
The Identity Theorem . . . . . 22
5. The Hartogs Figure . . . . . . . . 23
Expansion in Reinhardt Domains 23
Hartogs Figures . . . . . . . . 25
6. The Cauchy-Riemann Equations 26
Real Differentiable Functions . 26
Wirtinger's Calculus . . . . . . 28
The Cauchy-Riemann Equations. 29
7. Holomorphic Maps 30
The Jacobian. . 30
Chain Rules .. 32
Tangent Vectors 32
The Inverse Mapping 33
8. Analytic Sets . . . . . . . 36
Analytic Subsets . . . 36
Bounded Holomorphic Functions . 38
Regular Points . . . . . . . . . . 39
Injective Holomorphic Mappings . 41
x Contents
II Domains of Holomorphy 43
l. The Continuity Theorem 43
General Hartogs Figures 43
Removable Singularities . 45
The Continuity Principle 47
Hartogs Convexity . . . . 48
Domains of Holomorphy 49
2. Plurisubharmonic Functions 52
Subharmonic Functions . 52
The Maximum Principle 55
Differentiable Subharmonic Functions 55
Plurisubharmonic Functions 56
The Levi Form . . . . 57
Exhaustion Functions 58
3. Pseudoconvexity . . . . . 60
Pseudoconvexity . . . 60
The Boundary Distance 60
Properties of Pseudoconvex Domains 63
4. Levi Convex Boundaries 64
Boundary Functions 64
The Levi Condition 66
Affine Convexity . . 66
A Theorem of Levi. 69
5. Holomorphic Convexity 73
Affine Convexity . . 73
Holomorphic Convexity 75
The Cartan-Thullen Theorem 76
6. Singular Functions. . . . . . . . . 78
Normal Exhaustions . . . . . . 78
Unbounded Holomorphic Functions 79
Sequences . . . . . . . . . 80
7. Examples and Applications . . . . 82
Domains of Holomorphy 82
Complete Reinhardt Domains 83
Analytic Polyhedra .. 85
8. Riemann Domains over en . . . 87
Riemann Domains . . . . . . 87
Union of Riemann Domains . 91
9. The Envelope of Holomorphy. . 96
Holomorphy on Riemann Domains . 96
Envelopes of Holomorphy 97
Pseudoconvexity . 99
Boundary Points 100
Analytic Disks .. 102
Contents Xl
Index 387
Chapter I
Holomorphic Functions
1. Complex Geometry
Real and Complex Structures. Let V be an n-dimensional com-
plex vector space. Then V can also be regarded as a 2n-dimensional real
vector space, and multiplication by i := yCT gives a real endomorphism
J : V , V with J2 = -id v . If {al, ... ,an} is a complex basis of V, then
{al' ... ' an, ial, ... , ian} is a real basis of V.
On the other hand, given a 2n-dimensional real vector space V, every real
endomorphism J : V , V with J2 = -id v induces a complex structure on V
by
(a + ib) . v := a ·'v + b· J(v).
We denote this complex vector space also by V, or by (V, J), if we want to
emphasize the complex structure.
If a complex structure J is given on V, then -J is also a complex structure.
It is called the conjugate complex structure, and the space (V, J) is sometimes
denoted by V. A vector v E V is also a vector in V. If z is a complex number,
then the product z· v, formed in V, gives the same vector as the product z· v
in V.
Our most important example is the complex n-space
]R2n = {(x,y) = (x}, ... ,xn,Y}' ... ,Yn) : Xi,Yi E]R for i = 1, .. . ,np,
Let {al, ... ,an } be a complex basis of T, and bi := iai, for i = 1, ... ,n.
Let {Ol, ... , on,{31 , ... ,,on} be the basis of T* = HomlR(T, JR.) that is dual to
{al, ... , an, bl ,···, bn }. Then we obtain elements
Briefly,
A = A' + A", with A' E T' and )," E 'f'.
Here A is real; i.e., A E HomJR(T,R) if and only if A" = N.
It follows at once that w f-t H (v, w) is C-antilinear for every VET, and
H(v,v) is real for every vET. If H(v,v) > 0 for every v f. 0, H is called an
inner product or scalar product.
4 I. Holomorphic Functions
and
1
A(z,w)=Im(zHwt) = 2i(zHw t -wHz t ).
I
Its symmetric part (z w)2n:= Re«(zlw» is the standard Euclidean scalar
product. In fact, if we write z = x + iy and w = u + iv, with x, y, U, v E JRn,
then
1 -t -t
2(z.w +w·z)
n 1
= L 2(vvwv + wvzv)
v=}
n
= L(xvuv + YvVv).
v=1
1. Complex Geometry 5
If the standard Euclidean scalar product on lRn is denoted by (-. ·1·· ·)n' we
obtain the equation
This norm is not derived from an inner product, but it defines the same topo-
logy on en as the Euclidean norm. This topology coincides with the usual
topology on ]R2n. We assume that the reader is familiar with it and mention
only that it has the Hausdorff property.
Definition. Let r = (rl, ... , Tn) E ]Rn, all Tv > 0, Zo = (ziO), ... , z~») E
en. Then
pn(zo, r) := {z E en : Izv - z~O)1 < Tv for v = 1, ... , n}
is called the (open) polydisk (or polycylindeT) with polyradius r and center
zoo If r E lR+ and r := (r, ... , r), we write P~(zo) instead of pn(zo, r).
Then P~(zo) = {z E en : Iz - zol < r}.
If 0 denotes the open unit disk in e, then pn := Pf(O) = 0 x ... x 0 is
~
n times
called the unit polydisk around o.
6 I. Holomorphic Functions
Connectedness. Both the Euclidean balls and the polydisks form a base
of the topology of en. By a region we mean an ordinary open set in en. A
region G is connected if each two points of G can be joined by a continuous
path in G. A connected region is called a domain.
If a real hyperplane in IRn meets a domain, then it cuts the domain into
two or more disjoint open pieces. For complex hyperplanes in the complex
number space (which have real codimension 2) this is not the case:
1.1 Proposition. Let G c en be a domain and
It is easy to show that there is a 0 > 0 such that for all t', t" E I with
It' - t"l < 0, <pet') and <p(t") lie in the same polydisk Uk. Then let a = to <
tl < ... < tN = b be a partition of I with Itj - tj-Ii < 0 for j = 1, ... , N.
Let Zj := <p(tj) and A(j) E {I, ... , l} be chosen such that U)..(j) contains Zj
and Zj-l (it can happen that A(jr) = A(h) for jl =I- h). By construction Zj-l
lies in U)..(j) n U)..(j-l) , and thus U>'(j) n U>'(j-l) - E is always a nonempty
open set.
1. Complex Geometry 7
Reinhardt Domains
Definition. The point set
will be called absolute space, the map r : en ~ JI with r(zl, ... , zn) :=
(lz11, .. . ,lznl) the natural projection.
The map r is continuous and surjective. For any r E "jI, the preimage
r- 1 (r) is the torus Tn(o, r) . For Z E en, we set Pz := pn(o, r(z)) and
T z := Tn(O,r(z)) = r-1(r(z)) (see Figure 1.1).
Definition. A domain G c en is called a Reinhardt domain if for
every z E G the torus T z is also contained in G.
Example
Let Zo E en, v = 1, ... ,no Then T(e i9 . zo) = T(ZO), but
with Iz~O)1 > 1 for
11 . Izol > le i9 - 11, and for suitable () this expression
le i9 • Zo - zol = le i9 -
may be greater than C. SO pn (zo, c) is not a Reinhardt domain.
Later on we shall see that for any proper Reinhardt domain G there is a
smallest complete Reinhardt domain 8 containing G.
(a) (b)
IZII
>
Figure I.2. (a) Complete and (b) noncomplete Reinhardt domain
Exercises
e
1. Show that there is an open set B c 2 that is not connected but whose
image T(B) is a domain in absolute space.
2. Which of the following domains is Reinhardt, proper Reinhardt, complete
Reinhardt?
(a) a 1 := {z E e2 : 1 > IZII > IZ21},
(b) G2:= {z E e 2 : IZII < 1 and IZ21 < l-Izll},
(c) G 3 is a domain in e 2 with the property •
Z E G ==:} e it . Z E G for t E R
3. Let a c en be an arbitrary set. Show that G is a Reinhardt domain
<=> 39 c r
open and connected such that G = T- 1 (9).
4. A domain G c en is called convex, iffor each pair of points z, wE G the
line segment from Z to w is also contained in G. Show that an arbitrary
domain a is convex if and only if for every Z E 8a there is an affine
linear function A : en --* lR with A(Z) = 0 and Ale < O.
2. Power Series 9
2. Power Series
Polynomials. In order to simplify notation, we introduce multi-indices.
For v = (Vi, ... , V n ) E zn and Z E en define
zr
n
Ivi := L Vi and zV:= 1 ••• z~n.
i=i
are equal. This is possible only if the coefficients are equal, i.e., Pm(z) = p(z)
and Pi(Z) = 0 for i =1= m. So P = Pm is homogeneous. _
ILCv-CI=I(LCv-C)+
vEl vElo
L cvl::;ILcv-cl+ L Icvl<2E.
vEl vElo vEl -10 -10
•
Example
Let ql, ... , qn be real numbers with 0 < qi < 1 for i = 1, ... , n, and q :=
(ql, ... , qn). Then for any v E No, qV = qr 1 ••• q~n is a positive real number.
If I e No is a finite set, then there is a number N such that I e
{a, 1, ... , N}n, and therefore
2. Power Series 11
Since the partial sums are bounded, the series is convergent. It is absolutely
convergent in any order, and the limit is
1
"'qV-II-
n
~ - l-q··
V~O i=l •
Therefore,
k
IL I= I L IS c, for k 2: i o·
~
Then lIa"z"lIp' :::; q" . c as well, and from the convergence of the generalized
geometric series it follows that E,,~o avz" is normally convergent on P'. •
Let S(z) = E,,~o a"z" be a formal power series about the origin, and
B := {z E C n : S(z) convergent}.
PROOF: Let w be any point of (c*)nnG, and lavwvl ::; c for every v E No.
H0<q < 1 and z = q . w, then
Ia v Vi
. VjZl
Vj
... Zj '"
Vn
zn
I = IZjl
Vj
. Iavz VI <- IZjl
c
. Vj . q
Ivl
.
Now,
Exercises
1. Let f, 9 be two nonzero polynomials. Prove that
PROOF: Assume that there are two maps al and a 2 satisfying the condi-
tions of the definition. Then
In particular, there is an e > 0 such that the equation holds for z = Zo + tei,
with tEe, ItI < e, and i = 1, ... , n. If a A = (ai).), ... , a~», then
Because the a~).) are continuous at Zo, it follows that al(zo) = D. 2 (zo). •
3. Complex Differentiable Functions 15
Remarks
1. If ! is complex differentiable at Zo, then J is continuous there as well.
2. A function J is caUed complex differentiable in an open set B if it is
complex differentiable at each point of B. Then the partial derivatives of
! define functions !zv on B. If each of these partial derivatives is again
complex differentiable at Zo, then J is called twice complex differentiable
at Zo, and one obtains second derivatives
'Pw() := Zo + (w.
Then! 0 <Pw () is defined for sufficiently small (. If J is complex differentiable
at Zo, then we have a representation J(z) = !(zo) + (z - zo) . A.(z) t, with A.
continuous at zo0 It follows that
Holomorphic Functions
3.2 Proposition. Let Peen be a polydisk around the origin, and S(z) =
Ev~o ayz V a power series that converges compactly on P to a function 1.
Then I is complex differentiable at 0, with
IZI (0) = al.O •...• O,· •.• Izn (0) = ao ..... O.I·
I(z) = Lavz v
v~O
Since the series Al (z), ... , An (z) converge normally on PE to continuous func-
tions, I is complex differentiable at 0, with 1z,,(0) = Ay(O). •
Exercises
1. Show that there is a function f : C n ~ C that is complex differentiable
at every point z = (Zl,"" zn) with Zn = 0, but is nowhere holomorphic.
2. Prove the following chain rule: If G c C n is a domain, f : G ~ C a
complex differentiable function, and <P = (<pi> ... , <Pn) : ~ ~ G a map
with holomorphic components <Pi, then f 0 <P : ~ ~ C is a holomorphic
function, with (f 0 <p)'«() = Vf(<p«()). <p'«() t.
Since I is weakly holomorphic, we can fix z' = (Zl' ... , Zn-l) E U1 X .•. x Un-l
and apply the Cauchy integral formula in one variable to (n ~ I(z', (n). For
Zn E Drn (0) it follows that
I~z',zn) = 2:i !
I<nl=rn
Similarly, for the penultimate variable Zn-l and z" = (Zl,"" Zn-2) E U1 X
••• X Un -2 we obtain
I (z" ,Zn-1! Zn ) 1
= 211"i !
I~n-d=r .. - l
PROOF: Setting 1 := (1, ... ,1) E N~, for z E P and ( E T it follows that
1
« - Z)l
convergent series (M/~l) LII>oqll, where q = (qt. ... ,qn), and therefore it
is normally convergent as a series of functions on T with limit I(t;)/(t; - Z)l.
We can interchange summation and integration:
Gj(z)
1
= ( 21Ti
)n iT(I(t;) "II
(t; _ Z)l dt; = ~ allz ,
l {~~!
with
a v := (2~i) n dt;.
The series converges for each Z E P.
-
4.3 Osgood's theorem. Let Been be an open set. The following state-
ments about a function I : B -? e are equivalent:
1. f is holomorphic.
2. f is complex differentiable.
3. f is weakly holomorphic.
Since T is compact, we can interchange integral and limit. Thus, for any fixed
z E P,
20 I. Holomorphic Functions
4.5 Proposition. Let S(z) = 2:1I~0 allz ll be a power series and G its do-
main 01 convergence. Then the limit lunction 1 01 S(z) is holomorphic on G,
and the lormal derivative
SZ; () '"""' all' VjZ!VI ... ZjII; -1 ... ZnVn
Z = ~
11>0
IIj>O
f*(z):= 1 z
; gj(z!"", Zj-1, (, Zj+l,"" zn) d( + I(z!, ... ,0, ... , zn).
For the path of integration we take the connecting segment between 0 and
Zj in the zrplane. Then f* is defined on P.
Let S (z) = 2:: 0Pi (z) be the expansion into a series of homogeneous polyno-
mials. Then SZj (z) = 2::0 (Pi)zj (z), and this series converges uniformly on
the compact path of integration we used above. Therefore, we can interchange
summation and integration, and consequently,
00
LPi(Z) = I(z),
i=O
1. v! := VI!··· v n !.
2. If f is sufficiently often complex differentiable at zo, then
olvlf
D V f(zo) := 8 zlV1 ... 8 Znv" (zo).
•
4.8 Corollary. Let G c en
be a domain, Zo EGa point, and I : B -t e
a holomorphic function. If I(z) = 2::v>o av(z - zo)'" is the (uniquely deter-
mined) power series expansion near Zo -E G, then
av = ~
v.
.D V f(zo), for each v E No.
4.9 Corollary (Cauchy's inequalities). Let G c en be a domain, I :
G -t e holomorphic, Zo EGa point, and P = pn (zo, r) C eGa polydisk
with distinguished boundary T. Then
vI
ID v l(zo)1 :S --=-
rV
. suplfl·
T
PROOF: Let fez) = 2::v>o av(z - zo)V be the power series expansion of f
at zoo Then DV I(zo) = v!av and
ID V f(zo)1 <
(2:!)n I
[0,211")"
vI
< --=-.
rV
suplfl·
T
•
22 I. Holomorphic Functions
Exercises
1. Prove Liouville's theorem: Every bounded holomorphic function on en
is constant.
2. Prove that if
1/ E NO', then
IE O(C n ) and If(z)1 :s c· IIz"lI for some C>
I is a polynomial of degree at most II/I·
° and some
5. The Hartogs Figure 23
T2 ------~
--77-r~~
P // I·
I
r I
I
PROOF: We have
24 I. Holomorphic Functions
r r
follows that
1(,) d(v = 1(,) d(v
JI(vl=r v (v - Zv JI(vl=r~ (v - Zv
if r~ < rv :S r~ < r~. This yields the proposition. •
5.2 Proposition. Let G c C n be a proper Reinhardt domain, I holomor-
phic on G. Then lor every z E G n (C*) n the Cauchy integral GliTz coincides
with I in a neighborhood 01 the origin.
.-
~·-
G
u
zEGn(C*)"
Remarks
1. Every complete Reinhardt domain is proper, but the opposite is in general
false. For n = 1, Reinhardt domains are open disks around 0, and there
is no difference between proper and complete domains.
2. The complete hull G of a proper Reinhardt domain G is again a domain
containing G. And it is Reinhardt: For z E G there is some Zl with
Z E P Z1 C G. But then also Tz C P Z1 C G. The same argument shows
that G is complete.
3. Let G I be another complete Reinhardt domain with G C G I . For z E
G n (c*)n, z also lies in G I , and by the completeness of G I it follows
that P Z C G 1. So G c G I, and we see that G is the smallest complete
Reinhardt domain containing G.
An immediate consequence is the following:
5.4 Theorem. Let G be a proper Reinhardt domain and f be holomorphic
1
in G. Then there is exactly one holomorphic function in G with = f. fiG
Hartogs Figures. In tl;1e case n = 1 the situation above cannot appear.
For n ;::: 2 we can choose sets G and Gin Cn such that G ::f G. This reflects an
essential difference between the theories of one and several complex variables.
Now let n 2 2, pn the unit polydisk, ql, ... , qn real numbers with 0 < q" < 1
for v = 1, ... ,n, and
H = H(q) := {z E pn : IZ11 > ql or Iz~1 < qlJ for I-L = 2, ... ,n}.
(a)
q21------'
H
I ...,
Exercises
1. For 0 < q < 1 let G l , G 2 c e2 be defined by
Gl .- {(z,w): q < Izl < 1 and Iwl < I},
G2 .- {(z,w): Izl < 1 and Iwl < q}.
(a) Prove that every holomorphic function f on G 1 has a unique repre-
sentation
L
00
(c) Use (a) and (b) to prove that every holomorphic function f on G l UG2
has a unique holomorphic extension to the unit polydisk.
2. Let G c en be an arbitrary Reinhardt domain, f E O(G). Show that
there exists a uniquely determined "Laurent series" LVEZn avz v converg-
ing compactly in G to f.
Since
I~I~~I ~ 1II).'(z) - I).'(zo)II + III).II(Z) - 1)." (zo)II,
Wirtinger's Calculus
Definition. Let f :B ~ e be real differentiable at Zo0 If we have a
representation
and
~ (zo) = /z., (zo) := e v • !::J." (zo) t
uZv
Remark. Use these formulas with care! The derivatives Ix" and in I""
-
general are complex-valued. So the equations do not give the decomposition
of Iz" and /Z" into real and imaginary parts, respectively!
and
I(z) = I(zo) + (z - zo) . a'(z) t + (z - zo) . a"(z) t
we see that a'(zo) = a(zo) and a"(zo) = O. The latter equation means that
/z.,(zo) == 0 for v = 1, ... ,n.
(b) If /z.,(z) == 0, then I is holomorphic in each variable and is consequently
holomorphic. _
Exercises
1. Derive the Cauchy-Riemann equations in their classical form.
2. Let f: G -t e be real differentiable. Prove the formulas
(fz,,) = Clh" and fz"z,. = /z,.z" for 1/, J.L = 1, ... ,n.
3. Let G c en be a domain and h, ... ,!k : G -t e holomorphic functions.
Show that if E;=l kl
j is constant, then all fJ are constant.
~ = I-a I·
aa2jhl2 ah 2
Hint: If h is holomorphic, then
ZjVZj Zj
7. Holomorphic Maps
The Jacobian. Let Been be an open set. A map
f = (h, ... , fm) : B -t em
is called holomorphic (respectively real differentiable) if all components fi
are holomorphic (respectively real differentiable).
1.1 Proposition. The map f : B -t em is holomorphic if and only if
for any Zo E B there exists a map ~ : B -t Mm,n(C) with the following
properties:
1. ~ is continuous at zoo
2. f(z) = f(zo) + (z - zo) . ~(z) t, for z E B.
The value ~ (zo) is uniquely defined.
Explicitly, we have
)
This matrix is also defined for differentiable maps.
Definition. If f = g + ih : B -+ C m is a differentiable map, then the
real Jacobian matrix JlR,r(zo) E M 2m ,2n(lR) is the real matrix associated
to the real linear map
(Dg(zo), Dh(zo)) : C n = ]R2n -+ ]R2m.
Jlft,r =
PROOF: The map f is holomorphic if and only if (8f)z = 0 for every z. Then
Df(z) = (8f)z, which is complex linear. In this case we have the Cauchy-
Riemann equations
and therefore
By elementary transformations,
= det ( A~iC
det ( A~iC
= Idet(A + iCW.
•
It follows that holomorphic maps are orientation preserving!
One can use the well-known proof for the chain rule in real analysis, consid-
ering ZII and "'ill as independent variables.
7.4 Corollary. If f and 9 are holomorphic, then
(gofhv(z) - 0 (i.e., gof is holomorphic),
m
(g 0 f)zv (z) = L 9w,. (f(z» . (f,.)zv (z).
/-&=1
t(JJ = Df(z)(w).
This is the directional derivative, also denoted by Dwf(z). If t = 0(0), for
some differentiable path a, then t[fJ = (J 0 a)'(O), due to the chain rule.
The operator t: 6"(B) -t lR satisfies the product rule:
O=Jr' ( V~1 ).
V9n
Since Jr is invertible, it follows that V g.x = 0 for each A. Therefore, the map
g is holomorphic. _
PROOF: We write Jr(zo, wo) = (J' I J"), with J' E Mm,n(C) and J" E
Mn(C), and define F: B -+ en x em by F(z, w) := (z, fez, w». Then
Exercises
i 1. Let G= pn C e2 be the unit polydisk and f = (/1, h) : G -4 G a
holomorphic map with £(0) = O.
(a) Show that iff(z) = z+ Ln>2 Pn(z) with pairs Pn(Z) = (pin>Cz),p~n)(z))
of homogeneous polynomi81s of degree n, then fez) == z. Hint: Use
Cauchy's inequalities and consider the iterated maps fk = f 0 ••. 0 f
(k times).
(b) Show that if f is biholomorphic, then /1, 12 are linear.
2. Let G l , G 2 c en be two domains. A continuous map f : G l -4 G 2 is
called proper if for every compact subset K c G 2 the preimage f-l(K)
is a compact subset of G l .
(a) Show that every biholomorphic map is proper. Give an example of a
proper holomorphic map that is not biholomorphic.
(b) Let G l and G 2 be bounded. Show that a continuous map f : G l -4 G 2
is proper if and only if for every sequence (Zk) in G 1 tending to aG 1 ,
the sequence (f(Zk)) tends to aG 2.
(c) Let G', G" c e be bounded domains and f : G' X G" -4 G 2 a
proper holomorphic map onto a bounded domain G 2 c e 2 . Show
that Z r-t fw (z, w) cannot vanish identically on G'. Let Zo E ae' be an
arbitrary point and (Zk) a sequence in G' tending to ZOo Show that the
sequence of holomorphic maps 'Pk : Gil -4 G 2 with 'Pk(W) := f(Zk, w)
has a subsequence converging compactly on Gil to a holomorphic
map 'Po : G" -+ ((:2 with 'Po(G") c aG 2. Show that there must exist
at least one point Zo E aG' such that the corresponding map 'Po is
not constant.
3. Use the results of the last exercise to prove that there is no proper map-
ping from the unit polydisk to the unit ball in e 2 .
4. Let G l C en and G2 c em be domains and f: Gl -4 G 2 a biholomorphic
map. Show that m = n.
5. Let G c en be a domain and D : C(G) -4 IR a derivation, Le., an IR-linear
map satisfying the product rule at Zo E G. Show that D[f) depends only
on flu, U an arbitrary small neighborhood of Z00
36 I. Holomorphic Functions
8. Analytic Sets
Analytic Subsets. Let Been be an arbitrary region. If U c B is
an open subset, and ft, . .. ,fq are holomorphic functions on U, then their
common zero set is denoted by
Since the zero set N (ft, ... , fq) is closed in U, it follows that B - A is open
and A closed in B. Therefore, an analytic set in B could have been defined as
a closed subset A C B such that for any Zo E A there exists a neighborhood
U and functions ft, ... , fq E O(U) with An U = N(ft,···, fq)·
Example
In general, analytic sets cannot be given by global equations. We consider
the domain G := G l U G 2 with
For the analytic set we take A := {(Zl' Z2) E G2 : Zl = Z2} (see Figure 1.5).
The sets G}, G 2 give an open covering of G with An G 1 =0 and An G2 =
{(z}, Z2) : Zl - Z2 = oJ. So A is an analytic subset of G.
8. Analytic Sets 37
IZ21
I - -......---~-:JI
IZll
PROOF: To start with we assume that G = B is a ball and that there are
holomorphic functions It, ... , f q on B with A = N (It, ... , fq).
38 I. Holomorphic Functions
~
f(ZI,Z ') = -1.
2m
1
/(/=r,
( z')
f((,
- Zl
de, for IZI I < rl and Iz 'I < r.
Iz'l
A
T
c' 1----+-------1 ~ D
.
Tl IZll
Figure 1.6. Riemann extension theorem
at every point 210 E A, by the identity theorem we obtain the desired global
extension of f to G. •
with J' E Mq,n-q(C), J" E Mq(C), and det J" =1= O. Then define F : U -+ en
by
F(Zl, ... , zn) := (Zl -ziO), ... , Zn_q -z~o!..q, h(Zl,"" zn),"" fq(zl,"" zn»).
Consequently, the Jacobian has the form
Up to this point it is not clear whether or not there exist regular points. In
Chapter III we will show that the set of singular points of an analytic set
A is a nowhere dense analytic subset of A. At the moment we want only to
demonstrate that the zero set of a single holomorphic function contains at
least one regular point (and then, of course, a nonempty open set of regular
points).
8.4 Proposition. Let G c en be a domain, and f a nonconstant holomor-
phic function on G. Then the analytic set N(J) contains a regular point.
{}fn ( )
-{} Zo =F
Zn
o.
Let F : G -t en be defined by F(z', zn) := (z', fn{z', zn)). Then detJF(zo) =F
0, and there are connected open neighborhoods U of Zo and V ofwo := F(zo)
such that F : U -t V is biholomorphic. There is a holomorphic map f : V -t
en - 1 such that
and we define
Since g is injective, we can apply the induction hypothesis and conclude that
det Jg(wh) :f; O. Now
PROOF: Let Wo := f(zo) be a point of G' := f(G). Then det Jf(ZO) :f; 0,
and there are open neighborhoods U = U(zo) c G and V = V(wo) c en
such that f : U -t V is biholomorphic. It follows that Wo is an interior point
of G' and that f- I is holomorphic at Wo0 _
Exercises
1. Prove the following properties:
(a) Finite intersections and unions of analytic sets are analytic.
(b) If f: G I -t G 2 is a holomorphic map between domains and A C G 2
an analytic set, then f-I(A) c G I is analytic as well.
(c) If Al C G I and A2 C G 2 are analytic sets, then Al XA2 is an analytic
subset of G l x G 2 •
2. Let U C c;n be an open neighborhood of the origin and A cUbe
an analytic subset containing the origin. For 1 ::; k ::; n - 1 and I =
{i l , ... , ik} C {I, ... , n} let PI : en -t e k be defined by
Domains of Holomorphy
Z2, ..• , Zn
Example
Let n ~ 2 and pI C C P be polydiscs around the origin in en. Then every
holomorphic function f on P - pI can be extended uniquely to a holomorphic
function on P.
For a proof we may assume that P = pn is the unit polydisk, and pI =
pn(O,r), with r = (TI! ... ,Tn) and 0 < Tv < 1 for v = 1, ... ,n. It is clear
that G := P - pI is a domain.
Given a point Zo = (z~O), ... , z~O») E G with Iz~)1 > Tn, we choose real num-
bers ql, ... , qn as follows: For v = 1, ... , n - 1, let qv be arbitrary numbers,
with Tv < qv < 1. To obtain a suitable qn, we define an automorphism T of
the unit disk 0 by
(_Z(O)
T«() := z~)( ~ 1 .
This automorphism maps z~O) onto 0 and a small disk D c {( E e : Tn <
1(1 < I} around z~) onto a disk KeD with 0 E K. Notice that 0 need not
be the center of K. We choose qn > 0 such that Dqn (0) C K.
If we define H := {z E pn : IZll > ql or Izvl < qv for v = 2, ... ,n}, then
(pn, H) is a Euclidean Hartogs figure. The mapping g : pn -t pn defined by
ZIO)
n
PROOF: Set P' := {z' := (Zl' ... ' Zn-k) : Iz'l < I}, and for 0 < r :s 1
define P;':= {z" = (Zn-k+l, ... ,Zn) : Iz"l < r}.
Let p" := P{' and fix an c with 0 < c « 1. Then pn nEe P' X P~', and for
W E P' the function Iw(z") := I(w, z") is holomorphic on P" - p:,. From
the example above we know that I w has a holomorphic extension fw to P".
Now define f: pn -+ e by i(w, i
z") := iw(z"). On pn - E, is equal to I
and is therefore holomorphic.
For wE P' take a small open neighborhood U = U(w) cc P'. Then K :=
U x OP:' is compact. By the maximum principle we conclude that
Ifez', z") I = Ih' (z") I :s Il/z" Ilap:, :s II/IIK < 00, for (z', z") E U X P;' - E.
PROOF: The uniqueness of the extension follows from the identity theorem.
For the proof of existence (which is only a local problem) we may assume
that Co = {z' E en-I: Iz'l < I} and that there is a q with 0 < q < 1 such
that Ig(z')1 < q for z' E Co. It also may be assumed that U is connected.
Then it is clear that G' := (G - r) U U C pn = pn(o, 1) is connected.
Since g : z' t-+ (z', g(z')) is continuous, U' := g-l (U) is an open neighborhood
of z~ with (U' x D) nrC U and therefore U' x 0 C C/. For v = 1, ... , n - 1
let Tv be the automorphism of 0 defined by
<: _ z(O)
Iznl r--,-""""",,-::::.,-....,....-=_
q H
r'
U
'----------_ _-+-- L __
z~ Iz'l
Figure 11.2. Extending a holomorphic function across a hypersurface
1. The Continuity Theorem 47
Example
Let pn be the unit polydisk and {St, t E [0, I]} a family of analytic disks
in en with UO<t<l bSt C pn and So C pn. Because So and the union of all
boundaries bSt- are compact sets, there is an c: > 0 such that
U bSt C pn(O, 1 - c) and So c pn(O, 1 - c:).
0::;t9
We assume that UO::;t::;l St is not contained in pn, and define
to := inf{t E [0,1] : St ¢. pn}.
It is clear that to > 0, Sto ¢. pn, and St C pn for 0 :5 t < to. Then Sto
contains a point zo = (zlO), ... , z~») E 8pn. If the family of analytic disks is
given by the map IP : 5 x [0,1] --+ en, and wI' denotes the J.'th coordinate
function, then fl',t«() := wI' 0 IP«(, t) is continuous on 5 and holomorphic in
D. Choosing J.' such that Iz~O)1 = 1, there is a (0 E D with fl',to«(o) = zt» and
Ifl',to«(o)1 = 1. But by the maximum principle we have
Ifl',t«(o)1 :5 suplfl',tl :5 1 - c, for t < to.
aD
Since t t-t il',t«(o) is continuous, a contradiction is reaclled, and therefore pn
satisfies the continuity principle.
48 II. Domains of Holomorphy
Hartogs Convexity.
Definition. A domain G c en
is called Hartogs convex if the following
holds: If (p, H) is a general Hartogs figure with He G, then PeG.
In order to define analytic disks we choose some r with ql < r < 1 and
introduce the affine analytic disks
It follows that bSt(w) C G for every w E P" and every t E [0,11, and in
addition, So(w) = g(Do) c G. The situation is illustrated in Figure 11.4.
z"
w
St{w} bSt{w}
...
Izd
~
Domains of Holomorphy
Definition. Let G c en be a domain, J holomorphic in G, and Zo E
BG a point. The function J is called completely singular at Zo if for
every connected neighborhood U = U(zo) c en and every connected
component C of Un G there is no holomorphic function g on U for which
glc = Jlc.
Example
Let G ;= e- {x E R ; x ::; O} and let J be a branch of the logarithm on
G. Then J is completely singular at z = 0 but not at any point x E R with
x < O.
Definition. A domain G c en is called a weak domain oj holomorphy
if for every point Z E BG there is a function J E O( G) that is completely
singular at z.
The domain G is called a domain oj holomorphy if there is a function
J E O(G) that is completely singular at every point z E BG.
Examples
1. Since en has no boundary point, it trivially satisfies the requirements of
a domain of holomorphy.
2. It is easy to see that every domain Gee is a weak domain of holomor-
phy; If Zo is a point in BG, then J(z) ;= l/(z - zo) is holomorphic in G
and completely singular at Z00
For G = D we can show even more! The function J(z) ;= L~o zu! is
holomorphic in the unit disk and becomes completely singular at any
boundary point. Therefore, D is a domain of holomorphy. At the end of
this chapter we will see that every domain in e is a domain of holomorphy.
3. If J ; D --+ e is a holomorphic function that becomes completely singular
at every boundary point, then the same is true for f; pn = D x ... x D --+
e, defined by f(Zl, ... , zn) ;= J(zd+···+ J(zn). In fact, ifzo is a bound-
ary point of pn, then there exists an i such that the ith component z1°) is
f
a boundary point of D. If could be extended holomorphically across Zo,
50 II. Domains of Holomorphy
then h«() := j(ziO), ... , (, ... , z~») would also have a holomorphic ex-
tension. But then J could not be completely singular at z~O). Therefore,
the unit polydisk is a domain of holomorphy.
4. If (pn, H) is a Euclidean Hartogs figure, then H is not a domain of holo-
morphy.
PROOF: We show that 1/ J is completely singular at zo0 For this assume that
there is a connected open neighborhood V = V(zo), a connected component
C c V n e, and a holomorphic function F on V with Fie = (1/1) Ie'
The set V' := V - N(f) is still connected and contains C. By the identity
theorem the functions F and 1/ J must coincide in V'. Then F is clearly not
holomorphic at Zo. This is a contradiction. _
eralized for complex manifolds (H. Grauert, 1958) and complex spaces (R.
Narasimhan, 1962). Finally, in 1965 L. Hormander published a proof that
used Hilbert space methods and partial differential equations.
Exercises
1. Prove the following statements:
(a) Finite intersections of Hartogs convex domains are Hartogs convex.
(b) If G 1 C G 2 C G 3 C ... is an ascending chain of Hartogs convex
domains, then the union of all G; is also Hartogs convex.
2. Let G c en be a domain, 0 S r < R, and a EGa point. Let U = U(a) C
G be an open neighborhood and define Q := {w E em : r < Iwl < R}.
Prove that every holomorphic function on (G x Q) U (U x pm(o, R)) has
a unique holomorphic extension to G x pm(o, R).
3. Let 0 < r < R be given. Use Hartogs figures to prove that every holo-
morphic function on BR(O) - Br(O) has a unique holomorphic extension
to the whole ball BR(O).
4. For c ~ 0, consider the domain
2. Plurisubharmonic Functions
Subharmonic Functions. Recall some facts from complex analysis of
one variable. A twice differentiable real-valued function h on a domain Gee
is called harmonic if hzz(z) == 0 on G. The real part of a holomorphic function
is always harmonic, and on an open disk every harmonic function is the real
part of some holomorphic function.
If D = Dr(a) C e is an open disk and (J : IR -+ IR a continuous periodic
function with period 21T, then there is a continuous function h : D -+ IR that
is harmonic on D such that h(re it ) = (J(t) for every t (Dirichlet's principle).
An upper semicontinuous function cp : G -+ IR U { -oo} is said to satisfy the
weak mean value property if the following holds:
For every a E G there is an r > 0 with Dr(a) cc G and
2. Plurisubharmonic Functions 53
Remarks
1. If <p : G -+ lR U { -oo} is an upper semicontinuous function, then the sets
UI/ := {z E G : <p(z) < v} are open, and therefore <p is bounded from
above on every compact subset KeG. It follows that the integral in the
definition always exists.
2. Harmonic functions satisfy the weak mean value property (even the
stronger mean value property with "=" instead of ":S;").
3. If f : G -+ IC is a nowhere identically vanishing holomorphic function,
then loglfl satisfies the weak mean value property. In fact, the function
<p := 10gIJI is harmonic on G - N(J), because it can be written locally
as Re(log 1), with a suitable branch of the logarithm. And at any point
Zo E N(J) we have <p(zo) = -00, so the inequality of the weak mean
value property is satisfied.
2.1 Proposition. Let <p : G -+ lR satisfy the weak mean value property. If
<p has a global maximum in G, then <p is constant.
Dr(a) cc G and <pea) :s; 2~ 121r <p(a + (}e it ) dt for 0 < (}:s; r.
Assume that there is abE Dr(a) with <pCb) < <pea). We write b = a + (}e ito
and get
1 {21r 1 (21r
<pea) :s; 27f Jo <p(a + (}e it ) dt < 27f Jo <pea) dt = <pea).
Examples
1. Clearly, every harmonic function is subharmonic.
2. Let s : G 4 IR be a continuous subharmonic function such that -s is also
subharmonic. Then 8 is harmonic. To show this, we look at an arbitrary
point a E G and choose an r > 0 such that D := Dr(a) cc G. Then there
is a continuous function h : D 4 IR with hlaD = 81aD that is harmonic
on D (Dirichlet's principle). It follows that s :S h on D. But because -h
is also harmonic, we have -s :S -h on D as well. Together this gives
s = h on D.
3. Let J : G 4 IC be a holomorphic function. Then s := loglJI is subhar-
monic. In fact, if J(z) == 0 on G, then we have 8(Z) == -00, and there is
nothing to prove. Otherwise, s is harmonic on G - N(J), and we have
only to look at an isolated zero a of f. We choose D = Dr(a) cc G and
a function h that is continuous on D and harmonic on D, with s :S h
on aD. We know that s, and therefore also 8 - h, has the weak mean
value property on D, and it is certainly not constant. So it must take its
maximum on the boundary aD. This means that s :S han D.
4. Let G C IC be an arbitrary domain. The boundary distance 6a : G 4
1R+ U { +oo} is defined by
This is a contradiction. •
For later use we give the following criterion for a function to be subharmonic:
Remarks
1. Plurisubharmonicity is a local property.
2. Plurisubharmonic Functions 57
lim R(z - a) = O.
z--+a liz - all 2
2 If H : TxT ~ C is a Hermitian form on a complex vextor space, then the
associated q'IJ.admtic form Q: V ~ R is given by Q(v) := H(v, v).
58 II. Domains of Holomorphy
Example
For G = en, the function I(z) := IIzll2 is an exhaustion function. For G -# en,
we define the boundary distance 8a by
For a proof of the following result we refer to [Ra86], Chapter II, Proposition
4.14.
2.10 Smoothing lemma. Let G c en be a domain, I: G -+ JR a continu-
ous plurisubharmonic exhaustion junction, KeG compact, and c > O. Then
there exists a 'Coo exhaustion junction g : G -+ JR such that:
1. g ~ I on G.
2. g is strictly plurisubharmonic.
3. Ig(z) - l(z)1 < c on K.
Exercises
1. Let Gee be a domain. Prove the following statements:
(a) If I: G -+ e is a holomorphic function, then Ilia is subharmonic for
a> O.
(b) If u is subharmonic on G, then uP is subharmonic for pEN.
(c) Let u ~ -00 be subharmonic on G. Then {z E G : u(z) = -oo}
does not contain any open subset.
2. Let Gee be a domain, s t= -00 a subharmonic function on G, P :=
{z E G : s(z) = -oo}. Show that if u is a continuous function on G and
subharmonic on G - A, then u is subharmonic on G.
3. Let U c en be open, f: U -+ e k a holomorphic map, and A E Mk(JR) a
positive semidefinite matrix. Show that r,o(z) := fez) . A . fez) t is pluri-
subharmonic.
4. Let G = {( z, w) E e 2 : Iwl < Izl < 1} be the Hartogs triangle. Prove that
there does not exist any bounded plurisubharmonic exhaustion function
on G.
5. Are the following functions plurisubharmonic (respectively strictly pluri-
subharmonic) ?
3. Pseudoconvexity
Pseudo convexity
Definition. A domain G c c;n is called pseudoconvex if there is a
strictly plurisubharmonic Cfloo exhaustion function on G.
Remarks
1. By the smoothing lemma the following is clear: If - log 8G is plurisub-
harmonic, then G is pseudoconvex.
2. Pseudoconvexity is invariant under biholomorphic transformations.
Let Zo E G be an arbitrary point and c < 6G,u(zo). Then the compact set
K := {z = Zo + ru : Irl :5 c} is contained in G, and there is a 6 > 0 such
that {z : dist{K, z) < 6} c G.
For z E B.s(zo) and Irl :5 c we have
lI{z + ru) - (zo + ru)1I = liz - zoll < 6, and therefore 8G,u(z) 2:: c.
(b) The function -log6G,u is upper semicontinuous, and we have to show
that
sec) := -log8G,u(zo + (b)
is subharmonic for fixed u, zo, b. First consider the case that u and b are
linearly dependent: b = AU, A =F o.
Let Go be the connected component of 0 in {( E C : Zo + (b E G}. Then
Then s«() = -logsup{t > 0 : «(, r) E G for Irl :5 t}. We use holomorphic
functions to show that s is subharmonic. Let R > r > 0 be real numbers such
that {(, 0) E G for I( I < R, and let f : DR (0) -t <C be a holomorphic function
such that s < h:= Ref on 80 r (0). We have to show that s < h on OrCO).
We have the following equivalences:
s«() < h{() ¢=> sup{t > 0 : {(, r) E G for Irl :5 t} > e-h(C)
¢=> ((,c.e-f(C»)EGforcED.
Consequently,
Co := ho(C) = {(Zt,Z2) E ((:2 : (lzll::; 1, Z2 = 0) or (IZll = 1, IZ21 ::; o)}.
Then F(Co) C G, as we saw above, and therefore C.s C F-l(G).
For 0 < e < min(o, 1 - 0) we define a neighborhood U€ of C.s by U€ :=
{(Zl,Z2) E ([2 : (IZll < l+e, IZ21 < e) or (l-e < IZII < l+e, IZ21 < o+e)}.
If we choose e small enough, then U€ C F-l(G).
Finally, we define H€ := hil(U€ n P2) n p2 (see Figure II.6). Then
H€ = {(Z},Z2) E p2 : (Zl,OZ2) E u€np2}
= {(Zl, Z2) E (:2 : (IZll < 1, IZ21 < i) or (1 - e < IZII < 1, IZ21 < I)}.
l-e
PROOF:
PROOF:
"~" is trivial. The other direction will be proved in two steps. At first, we
assume that G is bounded.
For any point Zo E 8G there is an open set U. such that Zo E U. and Gnu.
is pseudoconvex. If we choose a neighborhood W = W(zo) C U. so small
that dist(z, 8U.) > dist(z, zo) for every z E WnG, then oa(z) = 6anu.(z) on
WnG. This shows that there is an open neighborhood U = U(8G) such that
-log6a is plurisubharmonic on Un G (we use the fact that 8G is compact).
Now, G - U cc G. We define
64 II. Domains of Holomorphy
c:=sup{-log8G(z): zEG-U},
and
p(Z) := max ( -log 8G(z), IIzl12 + C + 1).
Then p is a plurisubharmonic exhaustion function, and by the smoothing
lemma, G is pseudoconvex.
If G is unbounded, we write it as an ascending union of the domains
G v := Bv(O) n G. Each G v is bounded and satisfies the hypothesis, so is
pseudoconvex. Then G is also a pseudoconvex domain. _
Exercises
1. Suppose that G1 c en and G2 c em are domains.
(a) Show that if G1 and G2 are pseudoconvex, then G1 x G2 is a pseu-
doconvex domain in n +m e
(b) Show that if there is a proper holomorphic map f : G1 -+ G 2 and G2
is pseudoconvex, then G 1 is also pseudoconvex.
2. Let G c en be a domain and (! : G -+ JR a lower semicontinuous positive
function. Prove that
U ' o f (ZO'
' Xn(0) -_ (
ZI(0) , ... , Zn-l'
(0)
Xn(0)) E trn-l
~
ltD
X n., utI of Y~) E JR,
and a «foo function "( : U' -+ UtI such that {(z', Xn , Yn) E U' X UtI : [!(z', Xn +
iYn) = O} = {(z', Xn , "(z', xn)) : (z',x n ) E U'}.
Making the neighborhood U:= {(z',x n + iYn) : (z',x n ) E U' and Yn E UtI}
small enough and correcting the sign if necessary, one can achieve that
4.1 Lemma. Let BG be smooth at Zo, and let [!1, [!2 be two local defining
functions on U = U (zo). Then there is a «foo junction h on U such that:
1. h > 0 on U.
2. [!1 = h . [!2 on U.
3. (d[!dz = h(z) . (d[!2)z for z E Un BG.
where
h( Z,Xn+IYn
I .)
=
11 B[!1 ( , . ) dt
~ Z,Xn+ltYn
o UYn
is smooth.
°
For Z E BG we have (d[!dz = h(z) . (de2)z. Therefore, h(z)
greater than 0, since h(z) 2': by continuity.
=f. 0, and even
_
The Levi Condition. For the remainder of this section let Gee en
be a bounded domain with smooth boundary, and e : U = U( 8G) -+ IR. a
global defining function. Then at any Zo E aG the real tangent space of the
boundary
Tzo(8G) := {v E Tzo : (de)zo(v) = O}
is a (2n - 1)-dimensional real subspace of Tzo' The space
is called the complex (or holomorphic) tangent space of the boundary at Zoo
It is a (2n - 2)-dimensional real subspace of Tzo, with a natural complex
structure, so an (n - I)-dimensional complex subspace3 .
Definition. The domain G is said to satisfy the Levi condition (respec-
tively the strict Levi condition) at Zo E 8G if Lev(e) is positive semidef-
inite (respectively positive definite) on Hzo(8G). The domain G is called
Levi convex (respectively strictly Levi convex) if G satisfies the Levi con-
dition (respectively the strict Levi condition) at every point Z E aG.
Remark. The Levi conditions do not depend on the choice of the boundary
function, and they are invariant under biholomorphic transformations.
If el = h· e2, with h> 0, then for Z E 8G,
Now let the criterion be fulfilled, assume that 0 E G, and define {!e by
For small c: and large N the set Go := {x : (!e(x) < O} is a domain. We have
Go C Gol C G for c:' < c:, and Uoo Go = G. Therefore, it is sufficient to
show that Go is convex.
The Hessian of (!o is positive definite on Tx(aG) for every x E BG. Thus this
also holds in a neighborhood U of BG. If c: is small enough, then BGe C U.
We consider
PROOF:
(1) => (2) : We choose a global defining function e for G, and an open
neighborhood U = U(oG) such that e is defined on U with (de)z =I 0 for
z E U. Let A > 0 be a real constant, and eA := e Ae - 1. Then eA is also a
global defining function, and
for (z,w) E K - K o.
So Lev(eA)(Z, w) > 0 for every z E oG and every wEen - {OJ. By conti-
nuity, eA is strictly plurisubharmonic in a neighborhood of aGo
(2) => (3) : We consider a point Zo E oG and make some simple coordinate
transformations:
4. Levi Convex Boundaries 69
It follows that
and therefore
=
{lxN
('
x,hx
('» d (E
. et
N- l
0'
-V'h(x') t
1+IIV'h(x')1I2
)
PROOF:
Exercises
1. Prove Lemma 4.4.
2. Assume that G CC (:2 has a smooth boundary that is Levi convex outside
a point a that is not isolated in {)G. Show that G is pseudoconvex.
3. Assume that G C (:2 is an arbitrary domain and that S eGis a smooth
real surface with the following property: In every point of S the tangent
to S is not a complex line. Prove that for every compact set KeG there
are arbitrarily small pseudoconvex neighborhoods of S n K.
4. Assume that G cc (:2 is a domain with smooth boundary. Then G
is strictly Levi convex at a point Zo E {)G if and only if the following
condition is satisfied:
There is a neighborhood U = U(zo), a holomorphic function c,o : 0 ---t U
with c,o(O) = Zo and c,o'(O) # 0, and a local defining function (J on U such
that «(J 0 c,o)«) > 0 on 0 - {O} and (e 0 c,o)a(O) > O.
5. Holomorphic Convexity 73
5. Holomorphic Convexity
Affine Convexity We will investigate relationships between pseudocon-
vexity and affine convexity. Let us begin with some observations about convex
domains in RN.
Let .!L' be the set of affine linear functions I : RN ~ R with
On the other hand, let the criterion be fulfilled. If Xo, Yo are two points of G,
then K := {Xo, Yo} is a relatively compact subset of G. It follows that H(K)
is contained in G. Since H (K) is closed and convex, the closed line segment
from Xo to Yo is also contained in G. Therefore G is convex. _
Example
In C; every domain is holomorphically convex:
Let K cc G be an arbitrary subset. Then K is bounded, and it remains
to show that the closure of K is contained in G. If there is a point Zo E
K - G, then Zo lies in aR naG. We consider the holomorphic f~nction
f(z) := l/(z - zo) in G. If (ZII) is a sequence in K converging to zo, then
If(zlI)1 ~ sUPKlfl ~ sUPKlfl < 00. This is a contradiction. For n ~ 2, we
will show that there are domains that are not holomorphically convex. But
we have the following result.
5.4 Proposition. If G c c;n is an affine convex domain, then it is holo-
morphically convex.
Exercises
1. Let G 1 C G 2 c en be domains. Assume that for every I E O( Gd there
is a sequence of functions I" E O(G 2 ) converging compactly on G l to I.
Show that for every compact set K C G 1 it follows that KG 2 nG l = KG\.
78 II. Domains of Holomorphy
6. Singular Functions
Normal Exhaustions. Let G c enbe a domain. If G is holomorphically
convex, we want to construct a holomorphic function in G that is completely
singular at every boundary point. For that we use "normal exhaustions."
Let II := o. Now for /1 ~ 2 suppose that 11, ... ,1,,-1 have been constructed.
Since ZIl E K)..(Il)+l - K)..(Il) and K)..(Il) = K)..(Il) , there exists a function 9
holomorphic in G such that Ig(zll)1 > q := sUPK).(I') Igl. By multiplication by
a suitable constant we can make
Ig(z,,)I> 1 > q.
If we set III := gk with a sufficiently large k, then I" has the properties (1)
and (2).
We assert that E" II-' converges compactly in G. To prove this, first note
that for KeG an arbitrary compact subset, there is a /10 E N such that
K C K)..("o). By construction SUPK if" 1 < 2-" for /1 ~ J.Lo. Since the geo-
metric series E,. 2-" dominates E I" in K, the series of the I" is normally
f
convergent on K. This shows that = EI-'I" is holomorphic in G. Moreover,
Then we choose z/A E D - K A(/A-l)+1 and >'(J.L) minimal with the property
that z/A lies in K A(/A)+1' By the theorem above there is a holomorphic function
fin G such that If(z/A)I -+ 00 for J.L -+ 00. Therefore, If I is unbounded on D.
(2) Now suppose that the criterion is satisfied, and K cc G. Then KeG,
and we have to show that K is compact. Let (zv) be any sequence of points
in K. Then
sup{lf(Zv)1 : v E N} $ suplfl
, K
< 00, for every f E O(G).
(2) By induction, the sequences )"(J.l) and (z,..) are constructed. Let ZI be
arbitrary in C1 - K 1 • Then there is a unique number ),,(1) such that Zl E
K>.(l)+I - K>'(l)'
Now suppose Zl, ... ,Zj.I-l have been constructed such that
PROOF: Let (KII ) be a normal exhaustion of G with ](11 = KII and choose
sequences )"(J.l) EN and (z,..) in G such that zj.I E K>.(,..)+l - K>.(j.I)' We may
assume that for every point Zo E 8G, every open connected neighborhood
U = U(zo), and every connected component Q of Un G there are infinitely
many z,.. in Q.
Now let f be holomorphic in G and unbounded on D := {Zp. : J.l EN}. It is
clear that f is completely singular at every point Zo E 8G. •
82 II. Domains of Holomorphy
Exercises
1. A domain Gee en
is holomorphically convex if and only if for every
z E 8G there is a neighborhood U(z) such that Un G is a domain of
holomorphy.
2. Let G 1 C enand G 2 c em be domains of holomorphy. If f : G 1 -+ em is
a holomorphic mapping, then f- 1 (G 2 ) n G 1 is a domain of holomorphy.
3. Find a bounded holomorphic function on the unit disk 0 that is singular
at every boundary point.
PROOF: e
We have already shown that every domain in is holomorphically
convex. Therefore, such a domain is also a domain of holomorphy. _
PROOF: Let D = {Zp. = (zf, ... , zt:) : J1. E N} be an infinite discrete subset
of G. Then there is an i such that (zf) has no cluster point in Gi , and there
I
is a holomorphic function f in G i with liml'-tool f{zf) = 00. The function i
in G, defined by i(Zb"" zn) := f{zi), is holomorphic in G and unbounded
on D. •
Remark. The same proof shows that every Cartesian product of domains
of holomorphy is again a domain of holomorphy.
lalll· AIIII 'Izill :::; C and lalll· AIIII 'Iwlll :::; C, for every 1I E No.
Thus
la,,1 . AI"I . Izilit ·lw"1 1- t :::; C, for every 1I and 0 :::; t :::; 1.
It follows from Abel's lemma that S{z) is convergent in a neighborhood of
e! and work with monomials in the variables ZI, ... , Z!. Then the proof goes
through as above. _
Now we get the following result:
7.6 Theorem. Let G c en be a complete Reinhardt domain. Then the
following statements are equivalent:
1. G is the domain of convergence of a power series.
2. G is logarithmically convex.
3. G is holomorphically convex.
4. G is a domain of holomorphy.
Example
Let q < 1 be a positive real number, and
P:= {z = (ZbZ2) E e 2 : Izd < 1, IZ21 < 1 and IZI' z21 < q}.
Then P (see Figure II.7) is clearly an analytic polyhedron, but neither affine
q
1 1---....-
In the theory of Stein manifolds one proves the converse of this theorem.
Exercises
1. If R is a domain in the real number space lRn, then
TR = R+ ilR n := {z E en : (Re(Zl)' . .. ,Re(Zn» E R}
is called the tube domain associated with R. Prove that the following
properties are equivalent:
(a) R is convex.
(b) TR is (affine) convex.
(c) TR is holomorphically convex.
(d) TR is pseudoconvex.
Hint: To show (d) => (a) choose Xo, Yo E R. Then the function ep«) :=
-lnb"TR(xo+«Yo -xo) is subharmonic in D. Since b"TR(X+iy) = b"R(X),
one concludes that t ~ -lnb"R(xo + t(yO - xo)) assumes its maximum
at t = 0 or t = 1.
2. Let G c en be a domain. A domain G c en is called the envelope 01
holomorphy of G if every holomorphic function 1 in G has a holomorphic
extension to G. Prove:
(a) If R c lR n is a domain and H(R) its affine convex hull, then G :=
H(R) + ilR n is the envelope of holomorphy of the tube domain G =
R+ ilRn.
(b) If G c en is a Reinhardt domain and G the smallest logarithmi-
cally convex complete Reinhardt domain containing G, then Gis the
envelope of holomorphy of G. Hint: Use the convex hull of logr(G).
3. Construct the envelope of holomorphy of the domain
Gq := p2(O, (l,q» U p2(O, (q, 1»).
4. A domain G c en is called a Runge domain if for every holomorphic
function 1 in G there is a sequence (PI') of polynomials converging com-
pactly in G to I. .
Prove that the Cartesian product of n simply connected subdomains of
e is a Runge domain in en.
5. A domain G c en is called polynomially convex if it is convex with
respect to the family of all polynomials (cf. Exercise 5.5). Prove that
every polynomially convex domain is a holomorphically convex Runge
domain.
Remarks
1. Let (G, 11') be a Riemann domain. Then G is pathwise connected, and
the map 11' : G -+ C n is continuous and open. The latter means that the
images of open sets are again open.
2. If (G v , 11'v) are domains over Cn for v = 1, ... ,l, and Xv E G v are points
over the same base point zo, then there are open neighborhoods Uv =
=
Uv(xv) c Gv and a connected open neighborhood V V(zo) C C n such
that 1I'vlu" : Uv -+ V is a homeomorphism for v = 1, ... ,l.
Examples
1. If G is a domain in cn, then (G,idG) is a Riemann domain.
2. The Riemann surface of .,fi. (without the branch point) is the set
8.1 Proposition (on the uniqueness oflifting). Let (G, 11') be a domain
over en and Y a connected topological space. Let Yo E Y be a point and
'l/Jl,'l/J2 : Y ~ G continuous mappings with 'l/Jl(YO) = 'l/J2(YO) and 11' 0 'l/Jl =
11' 0 'l/J2. Then 'l/Jl = 'l/J2'
Definition. A domain 9 = (G, 7r, xo) with 7r( xo) = Zo is called schlicht
if it is isomorphic to a domain 90 = (Go, idoo, zo) with c Go en.
Example
5 Recall that a "topological map" is a homeomorphism!
8. Riemann Domains over en 91
Therefore, we proceed in the following way: Start with the disjoint union
G l UG 2 , and take the "finest" equivalence relation'" on this set with the
following property:
1. Xl '" X2.
2. If there are continuous paths a : [0,1] -t G l and {J : [0,1] -t G 2 with
0'(0) = Xl, {J(O) = X2, and 71'1 0 0'= 71'2 0 {J, then 0'(1) '" {J(1).
Xv := nX~"
"El
for v := (VJ"El EN.
92 II. Domains of Holomorphy
We apply this to the disjoint union X = UAEL G A , for a given family (QA)AEL
of Riemann domains gA = (G A' 7r A, X A) over en with distinguished point. An
equivalence relation on X is said to have property (P) if the following hold:
1. X A '" XII' for A, (} E L.
2. If 0 : [O,lJ -* G A and {3 : [O,lJ -* G g are continuous paths with 0(0) '"
{3(0) and 7rA 00 = 7rg 0 {3, then 0(1) '" {3(1).
We consider the family of all equivalence relations on X with property (P).
It is not empty, as seen above in the case of two domains. Therefore we can
construct an equivalence relation (as above) that is finer than any equivalence
relation with property (P). We denote it by "'p. It is clear that 7r A(x) = 7r g (Y)
if X EGA' yEGg, and X "'P y. The relation "'P also has property (P), and
the elements of an equivalence class Xv all lie over the same point z = z(Xv).
We define G := X! "'P and 7f(Xv) := z(Xv). The equivalence class of all X A
will be denoted by x.
8.6 Lemma. Let y E G A and X E Gil be given with 7rg (x) = 7rA(Y) =: z. If
we choose open neighborhoods U = U(y) eGA' V = Vex) eGg, and an open
connected neighborhood W = W (z) such that 7r A : U -* Wand 7r11 : V -* W
are topological mappings, then for cP := (7r g IV)-1 07r A : U -* V the following
hold:
1. cp(y) = x.
2. If x '" p y, then cp(y') '" p y' for every y' E u.
PROOF: (1) Sets of the form cp,\(M) for M open in G,\ together with G
constitute a base of a topology for G. To see this it remains to show that the
intersection of two such sets is again of this form.
Let McG,\ and NeG (! be open subsets. Then
(4) G is a Hausdorff space: Let Yt. Y2 E G with Yl :f: Y2, and Zl := 7f(yt},
Z2 := 7f(Y2)'
There are two cases. If Zl :f: Z2, then there are open neighborhoods V1(Zl)
and V2(Z2) with VI n V2 = 0. Then 7f- I (Vl) and 7f- I (V2) are disjoint open
neighborhoods of YI and Y2. If Zl = Z2, then we choose elements Xl E G,\,
X2 E G(} with Cp,\(XI) = YI and cp(}(X2) = Y2, and since Xl and X2 are not
equivalent, the above lemma implies that there are disjoint neigborhoods of
YI and Y2·
=
(5) G is connected: Let Y cp,\(x) be an arbitrary point of G. Then there is
a continuous path Q : [0, 1] ~ G). that connects the distinguished point x).
to x. Then CP)' 0 Q connects x to y.
(6) 7f is locally topological: Let Y = cp).(x) be a point of G, and z = 7f(y) =
Then there exist open neighborhoods U = U(x) c G). and W =
11"). (x).
W(z) c en such that 11"), : U -+ W is a topological mapping. if := cp).(U)
is an open neighborhood of y, with 7f(if) = 1I"),(U) = W. In addition, 7fl u is
injective, since 1r 0 cp). = 7r). and 1I").lu is injective.
94 II. Domains of Holomorphy
(7) Clearly, the maps cp).. : G).. -+ aare fiber preserving, and it was already
shown that they are continuous. _
cp(cp)..{X)) := cpl{x).
Since'" p is the finest equivalence relation with property (P), cp is well defined.
Also it is clear that cp is continuous and fiber preserving. _
Therefore 9 is the smallest Riemann domain over en that contains all do-
mains 9)...
Definition. The domain 9 constructed as above is called the union of
the domains 9).., and we write 9 = U)..EL 9)...
Special cases:
1. From 91 -< 9 and 92 -< 9 it follows that 91 u 92 -< 9 ..
2. From 91 -< 92 it follows that 91 u 92 ~ 92.
3. 9u9~9.
4. 91 U 92 ~ 92 U 91.
5. 91 U (92 U 93) ~ (91 U 92) U 93'
Example
Let ~h = (G b 7r1, xd be the Riemann surface of .jZ with distinguished point
Xl = (1, 1) and 92 = (G2' id, X2) the schlicht domain
Y P 11"1 (y) as well. This shows that over each point of G 2 there is exactly
I'V
Exercises
1. For t = (t l , ... , t n) E "f/ define iP t : en -+ en by
.= (itl
n.. ( Zl,.··, Zn ).
'J.'t e Zl, ... , e itn)
Zn.
PROOF: Trivial, since <.p is a local homeomorphism with 11"2 0 <.p = 7rl. •
Definition.
1. Let (G, 7r) be a domain over en and x EGa point. If I is a holo-
morphic function defined near x, then the pair (I, x) is called a local
holomorphic lunction at x.
2. Let (Gl,7rI), (G2,7r2) be domains over en, and Xl E G I , X2 E G 2
points with 7rl {xt} = 7r2(X2) =: z. Two local holomorphic functions
(II, Xl)' (12, X2) are called equivalent if there exist open neighbor-
hoods Ul(Xl) C G l , U2(X2) C G2, V(z), and topological mappings
7rl : UI -+ V, 7T2: U2 -+ V with II 0 (7rllvJ-l = h 0 (7r2Iu2)-1.
3. The equivalence class of a local holomorphic function (I, x) is denoted
by Ix.
9.2 Proposition. Let (Gl. 7rd, (G2,7r2) be domains over en, a,\ : [0, 1] ~
G,\ continuous paths with 7r} oat = 7r2oa2. Additionally, let f'\ be holomorphic
on G,\, for.x = 1,2. If (ft)OII(O) = (12) 01 2(0), then also UdOl I (1) = (12) 01 2(1)'
°
PROOF: Let M := {t E [O,IJ : UdOI(t) = (h)o2(t)}. Then M",
E M. It is easy to see that M is open and closed in [0,1], because of the
identity theorem for holomorphic functions. So M = [0,1].
0, since
Envelopes of Holomorphy
Definition. Let 9 = (G, 7r, xo) be a domain over en
with distinguished
point and § a nonempty set of holomorphic functions on G.
Let (Q,\hEL be the system of all domains over en with the following
properties:
1. 9 -< 9'\ for every .x E L.
2. For every f E § and every .x E L there is a holomorphic function
F,\ on G,\ with F'\IG = f.
Then H~(Q) := U'\EL 9'\ is called the § -hull of 9.
If $ = a(G) is the set of all holomorphic functions on G, then H(9) :=
HO(G)(Q) is called the envelope of holomorphy of g. If $ = {J} for
some holomorphic function f on G, then H,(9) := H{!}(Q) is called the
domain of existence of the function f.
3. /191 = (G 1,71"1, xd is a domain over en such that 9 -< 91 and every lunc-
tion lEg: can be holomorphically extended to G 1 , then 91 -< H§(Q).
PROOF: H$(Q) is the union of all Riemann domains 9>. = (G>., 7f>., x>.) to
which each function lEg: can be extended. We have fiber-preserving maps
i.p>. : G -t G>. and CP>. : G>. -t C.
Let "'P be the finest equivalence relation on X := U>'EL G>. with property
(p).6 Then C is the set of equivalence classes in X relative to "'p. We define
a new equivalence relation ~ on X by
x ~ x' : ~ x E G>., x' E G/J' 7f>.(x) = 7f/J(x' ), and for each IE:F
and its holomorphic extensions F 1 , F2 on G>., respectively G/J'
we have (F>.)x = (F/J)x l •
Then for lEg: and its holomorphic extension F>. on G>. we have that
F>. 0 (7f>.IV)-l = F>. 0 i.p>. 0 (7fIU)-l = 10 (7fIU)-l is independent of A.
Therefore, all distinguished points x>. are equivalent.
(iiJf a : [0,1] -t G>. and {3 : [0,1] -t G /J are continuous paths with a(O) :::= {3(O)
and 7f>. 0 a = 7fe 0 {3, then (F>.)o(o) = (Fe )!3(o), It follows that (F>')o(l) =
(Fe )!3(l) as well, and therefore a(l) ~ {3(1).
Since 9 -< 9>. and 9>. -< H§(Q), it follows that 9 -< H:F(Q). Furthermore, the
fiber preserving map cp := CP>. 0 i.p>. does not depend on A.
Now let a function lEg: be given. We construct a holomorphic extension
F on C as follows:
If Y E C is an arbitrary point, then there is a A ELand a point V>. E G >.
such that y = CP>.(y>.), and we define
If y = CP/J(Ye) as well, then V>. "'p Y/J, and therefore V>. ~ Yi' as well. It follows
that F>.(y>.) = Fi'(Ye), and F is well defined.
6 For the definition of property (P) see page 92.
9. The Envelope of Holomorphy 99
9.7 Theorem.
1. If 9 = (G, 11", xo) is a domain over en and $ a non empty set of holo-
morphic functions on G, then H,(9) is Hartogs convex.
2. Every domain of holomorphy is Hartogs convex.
PROOF: Let (P,1I.) be a generalized Hartogs figure with 11. -< H,(9). Then
every function f E $ has a holomorphic continuation to H,(9) UP. There-
fore, H,(Q) UP -< H,(9). On the other hand, we also have H ~(9) -<
H,(9) UP. So H$(9) U P ~ H$(9). •
A Riemann domain (G, 11") is called holomorphically convex if for every infinite
discrete subset D C G there exists a holomorphic function f on G that is
unbounded on D.
9.8 Theorem (Oka, 1953). If a Riemann domain (G, 11") is Hartogs pseu-
doconvex, it is holomorphically convex (and therefore a domain of holomor-
phy).
This is the solution of Levi's problem for Riemann domains over en. We
cannot give the proof here. .
It seems possible to construct the holomorphic hull by adjoining Hartogs
figures (cf. H. Langmaak, [La60]). It is conceivable that such a construction
may be realized with the help of a computer, but until now (spring 2002) no
successful attempt is known. We assume that parallel computer methods are
necessary.
Example
1. If Xo is a point of X, then every fundamental system of neighborhoods
of Xo in X is a filter, called a neighborhood filter of Xo.
9. The Envelope of Holomorphy 101
For sequences the new notions agree with the old ones.
If f : X ~ Y is a continuous map, then the image of any filter on X is a
filter on Y, the so-called direct image.
Definition. Let (G, 11") be a Riemann domain over c;n. An accessible
boundary point of (G, 11-) is a filter 'R on G with the following properties:
1. 'R. has no cluster point in G.
2. The direct image 1f('R.) has a limit Zo E c;n.
3. For every connected open neighborhood V = V(zo) C c;n there is
exactly one connected component of 1f- 1(V) that belongs to 'R.
4. For every element U E 'R there is a neighborhood V = V(zo) such
that U is a connected component of 1f-1(V).
is a continuous mapping.
Example
Let G c enbe a (schlicht) domain and A eGa nowhere dense analytic
subset. Then every point of A is a removable boundary point of G' := G - A.
The points of the boundary of the hyperball Br(O) c en are all not removable.
Let B be a ball in the affine hyperplane H = {(zo, ... , zn) E en+! : Zo = I},
and G c e n + 1 - {O} the cone over B. Then every boundary point of G is
not removable, since locally the boundary has real dimension 2n + 1. The set
M := {O} is thin in the boundary, as is seen by choosing f(zo, . .. , zn) := Zoo
Let I := [0,1] be the unit interval. A family (St)tEI of analytic disks cpt(D)
in G is called continuous if the mapping (z, t) f-t CPt(z) is continuous. It is
called distinguished if St C G for 0 ~ t < 1 and bSt C G for 0 ~ t ~ 1.
Definition. The domain G is called pseudoconvex if for every distin-
guished continuous family (8t )tEI of analytic disks in G it follows that
8 1 C G.
The domain G is called pseudoconvex at r E 8G if there is a neighborhood
U = U (r) C G and an c > 0 such that for every distinguished continuous
family (St)tEI of analytic disks in G with *(St) C BE(*(r)) it follows
that St n U c G for tEl.
Analytic Sets
For fixed f, the function t H IIflit is monotone: If t S t*, then IIflit S IIflit o •
+ :B xB ~ B, .: C x B ~ Band 0 : B x B ~ B
such that
(a) (B, +, .) is a complex vector space,
(b) (B, +, 0) is a commutative ring with 1,
(c) c· (J 0 g) = (c . J) 0 9 = f 0 (c . g) for all f, 9 E Band c E C.
2. To every fEB a real number Ilfll ~ 0 is assigned that has the
properties of a norm:
(a) lie· fll = Icl·llfll, for c E C and fEB,
(b) Ilf + gil S Ilfll + IlglI, for f, 9 E B,
106 III. Analytic Sets
(c) IIfll = 0 ~ f = O.
3. IIf 0 gil :s: IIfll· IIgll. for f, g E B.
4. B is complete; i.e., every sequence in B that is Cauchy with respect
to the norm has a limit in B.
Let I c No be an arbitrary finite set. For any>. ? n there exists a J.L = J.L(>') E
N such that EVElla~'\+") - a"lt" < 8/2, and then
L f>..z~, L a(.~.vl){z'V'.
00
1= with f>..(z') =
A=O v' ~o
The series f>.. are formal power series in the variables Z2, ... ,Zn' We call this
representation of I the expansion 01 I with respect to ZI' Now the following
assertions hold:
00
PROOF:
IIflit = 2)f>.lkt~.
A=O
(2) We have z]'· I = E~=o f>..z~+s. The right side is the unique expansion of
I with respect to ZI. Now the formula can be easily derived.
Z]' . _
A=O A=1
1- (1 - f)n+l.
As n tends to infinity we obtain f . 9 = 1 and 11911 ::; L~o c A = 1/(1 - c:). _
108 III. Analytic Sets
We have already proved the first part, and then the second part follows easily.
The last part is trivial, since C[z] contains no zero divisors.
Remark. If I is convergent and 1(0) = 0, then for every E > 0 there is
atE 1R+. with II/lIt < E. In fact, since 1(0) = 0, we have a representation
1= Zd1 + ... + znln. If 1I/IIt < 00, then also Il/illt < 00 for i = 1, ... , n, and
n n
1I/IIt = L tilililit :s; max(tb· .. , t n) . Lilli lit-
i=1 i=1
is called a shear.
Exercises
1. Let I(z) = Lv2:o avz v be a formal power series.
(a) Prove the "Cauchy estimates": I E B t ~ lavl ::; IIIIIt/t V for
almost every v.
(b) Prove that if there is a constant C with lavls v ::; C, then IE B t for
t ::; s.
(c) Let In(z) = Lv>o av,nzv be a sequence of power series with IIIniis ::;
C. If every sequence (av,n) converges in C to a number a v , then
show that (fn) is a Cauchy sequence in Bt converging to I(z) =
LU2:o avz u , for every t ::; s.
2. The Krull topology on Hn is defined as follows: A sequence (fn) converges
in Hn to I if for every kEN there is an no with I - In E mk for n ~ no.
What are the open sets in Hn? Is Hn with the Krull topology a Hausdorff
space?
3. Let B be a complex Banach algebra with 1. Show that for every I E B
r
the series exp(f) = L;=:'=o In! is convergent, and that exp(f) is a unit
in B.
4. If I is a formal power series and I = L~=OPA its expansion into homo-
geneous polynomials, then the order of I is defined to be the number
Then there exists exactly one q E B and one r E B'[ZIJ with deg(r) < s such
that
f = q. 9 + r,
with
and
1
IIrll < Ilfll· 1_ EO·
PROOF: Let us first try to explain the idea of the proof. If h E B, then there
is a unique decomposition h = qh ·zf +rh, where rh E B'[ZIJ and deg(rh) < s.
lf 9 is given, we define an operator T = Tg : B -+ B by
00
L (gg;lqA + rA)
00
= g. q + T.
A=O
112 III. Analytic Sets
it follows that
and
We assume that deg(fJ') :::; d for f.J. = 0, ... ,A. Then deg(q~) :::; d - s, and
therefore
Hence deg(!A) :::; d and deg(q~) :::; d-s for all A. It follows that deg(q) :::; d-s,
and from f = g. q + r we can conclude that deg(q) = d - s. •
Now, f(O') = 0. Thus there exists a t2 :::; t1 such that IIflitl < 1 for all t :::; t2'
Therefore, g8 is a unit in Bt" and 9 an element of B t .
Let h := zf - gg;l. Then h E B t for all t :::; t 2, and we have an expansion
h = L~=o h).z; with hs = 0, h). = _g).g;l for A =I: s, and h).(O') = for °
=
A O,l, ... ,s - 1.
If t1 > °is sufficiently small, then
00 (Xl
8-1 8-1
II L h).z~ lit = Lllh).lkt~ < tf . ~.
).=0 ).=0
f = q. 9 + r.
If f and 9 are polynomials in Zl with deg(g) = s, then q is also a polynomial.
PROOF: There exists atE lR+ and an E with 0 < E < 1 such that f and 9
lie in B t , g8 is a unit in Bt', and IIzf - gg;ll1t :::; €. tf, It then follows from
the division formula in B t that there exist q and r with f = q. 9 + r.
Let two decompositions of f be given:
116 III. Analytic Sets
We can find atE IR+. such that f, qI, q2, r}, r2 lie in B t and 9 satisfies the
W-condition in B t . From the Weierstrass formula in B t it follows that ql = q2
and rl = r2. •
9 = e ·w.
PROOF: There exists atE IR+. such that 9 satisfies the W-condition in B t .
The existence of the decomposition g = e . w with a unit e and a normalized
polynomial w of degree s therefore follows directly from the preparation the-
orem in B t . Since 9 is zl-regular of order s, the same is true for w. So w is a
Weierstrass polynomial.
Now, w has the form w = zl-r, where r E Hn-I[Zll and deg(r) < s. Thus, if
there exist two representations 9 = el(zi - rl) = e2(zi - r2), it follows that
zf = ell. 9 + rl = e21 . g + r2· The Weierstrass formula implies that el = e2,
rl = r2 and therefore WI = W2. •
Exercises
1. Write a computer program to do the following: Given two polynomials
f(w, x, y) (of degree n in wand degree m in x and y) and g(w, x, y) with
g(w, 0, 0) = w S , the program uses the Weierstrass algorithm to determine
q and r (up to order m in x and y) such that f = q . 9 + r.
2. Let f : pn-l X D -+ C be a holomorphic function and 0 < r < 1 be a real
number such that ( H f (z' , () has no zero for z' E pn-l and r :S I(I < l.
Then prove that there is a number k such that for every z' E pn-l
the function ( H f(z', () has exactly k zeros (with multiplicity) in D.
Use this statement to give an alternative proof for the uniqueness in the
Weierstrass preparation theorem.
3. Show that the implicit function theorem for a holomorphic function f :
enxC -+ e with f(O) = 0 and fZn (0) =f. 0 follows from the Weierstrass
preparation theorem.
3. Prime Factorization
Unique Factorization. Let I be an arbitrary integral domain with
1. Then 1* := 1- {O} is a commutative monoid with respect to the ring
multiplication, and the set IX of units of I is an abelian group.
3. Prime Factorization 117
One can show that the decomposition into primes is uniquely determined up
to order and multiplication by units. In a UFD every irreducible element is
prime and any two elements have a greatest common divisor (gcd).
Every principal ideal domain 2 is a UFD, and in this case the greatest common
divisor of two elements a and b can be written as a linear combination of a
and b. For example, Z and K[X] (with an arbitrary field K) are principal
ideal domains. So in particular, qX] is a UFD.
Gauss's Lemma. Let I be an integral domain. Two pairs (a, b), (e, d) E
I x 1* are called equivalent if ad = be. The equivalence class of a pair (a, b)
is called a fraction and is denoted by a/b. The set of all fractions has the
structure of a field and is denoted by Q(1). We call it the quotient field of I.
The set of polynomials f (u) = ao +al u+· .. +an un in u with coefficients ai E I
constitutes the polynomial ring Ilu]. The set IO[u] of monic polynomials in
Ilu] is a commutative monoid. Therefore, we can speak of factorization and
irreducibility in 1° [u].
3.1 Gauss's lemma). Let I be a unique factorization domain and Q =
Q(I). If WI, W2 are elements of QOlu] with WIW2 E IO[u], then w).. E IOlu] for
A = 1,2.
PROOF: For A = 1,2, w).. = a)..,o + a)..,lu + ... + a)..,s"._IUs.>.-l + us.>. with
E Q.
a)..,1/ Therefore, there exist elements d).. E I such that d).. . w).. E Ilu]. We
can choose d).. in such a way that the coefficients of d).. . w).. have no common
divisor (such polynomials are called primitive).
2 A principal ideal domain is an integral domain in which every ideal is generated
by a single element.
118 III. Analytic Sets
3 The original version of Gauss's lemma states that the product of primitive poly-
nomials is again primitive. The reader may convince himself that this fact can
be derived from our proof.
3. Prime Factorization 119
Factorization in Hn. Now the above results will be applied to the case
I=Hn.
Definition. Let 1 E H n , f = E~op~ be the expansion of f as a
series of homogeneous polynomials. One defines the order of 1 by the
number
By induction there are elements Wz, ... ,WI E H~[ut with deg(w>..) = S>..,
w>..(O,u) = (u - c>..)s>. and e = Wz" ·WI. Then W = WIWZ" 'WI is the de-
sired decomposition ..
If w(O,O) f 0, then we replace W by w'(z,u) := w(z,u + Cl) and obtain a
decomposition w' = w~ ... wf as above. Define
4. 1· x = x for x E M.
These are the same rules as those for vector spaces (and the elements of
a module are sometimes also called vectors). However, it may happen that
rx = 0 even if r #- 0 and x #- O. Therefore, in general, an R-module has no
basis. So-called free modules have bases by definition. -An example is the free
module Rq := R x ... x R (q times), with a basis of unit vectors. An example
of a nonfree module is the Z-module M := Zj6Z, where 2 . 3 = 2 . 3 = O.
If M is an R-module, then a submodule of M is a subset N c M with the
following properties:
1. x,yEN ==} x+yEN.
2. r E R and x EN==} rx E N.
A submodule of an R-module is itself an R-module.
Example
The ring R is also an R-module. The composition is the ordinary ring mul-
tiplication. In this case the submodules of R are exactly the ideals in R. An
R-module M is called finite if there is a finite set {Xl, ... , X n } C M such
that every x E M is a linear combination of the Xi with coefficients in R. The
free module W is obviously finite. But Zj6Z is also finite, being generated
by the class T.
Definition. An R-module M is called noetherian if every submodule
N C M is finite.
A ring R is called noetherian if it is a noetherian R-module. This means
that every ideal in R is finitely generated (in the sense of a module).
The case q = 1 is trivial. Assume that q 2 2 and the theorem has been proved
for q - 1. Let M C RQ be an R-submodule. Then
1:= {r E R : 3r' E RQ-l with (r,r') EM}
is an ideal in R and as such is finitely generated by elements rl, ... ,rl. For
every r), there is an element r~ E RQ-l such that r), := (r)" r~) lies in M.
The set M' := M n ({O} x RQ-l) can be identified with an R-submodule
of Rq-l, and by the induction assumption it is finite. Let r), = (0, r~), A =
l + 1, ... ,p, be generators of M'.
An arbitrary element x E M can be written in the form x = (Xl, x') with
Xl E I. Then Xl = I:~=l a),r)" a), E R, and
1 1
x- La)'r)' = (O,x' - La),r~) EM'.
),=1 ),=1
x-La)'r)'= L a),r),.
),=1 ),=1+1
Exercises
1. Prove that O(C) is not a UFD.
2. Let M be a finite Hn-module, and m c Hn the maximal ideal. If M =
m . M, then M = O.
3. Let f : pn-l X D ---+ e be a holomorphic function such that for every
z' E pn-l there is a unique solution Zn = cp(z') E D of the equation
f(z', zn) = O. Use function theory of one variable to show that cp is
continuous, and use Hensel's lemma to show that cp is holomorphic.
4. Let f E Hn be zl-regular, f = e . w with a unit e and a Weierstrass
polynomial w E Hn-dzlJ. Prove that f is irreducible in Hn if and only
if w is irreducible in H n - l [ZlJ.
5. Show that f(z, w) := z2 - w 2 (1- w) is irreducible in the polynomial ring
C[z, wJ and reducible in Hn.
6. Let f E Hn be given with fZi (0) =I- 0 for some i. Prove that f is irreducible
in Hn.
4. Branched Coverings
Germs. Let Been be an open set and Zo E B a fixed point. A local
holomorphic function at Zo is a pair (U, f) consisting of an arbitrary neigh-
borhood U = U(zo) c B and a holomorphic function f on U. Two such
functions f : U ---+ e and 9 : V ---+ e are called equivalent if there is a neigh-
borhood W = W(zo) c Un V such that flW = glW. The equivalence class
of a local holomorphic function (U, f) at Zo is called a germ (of holomorphic
functions) and is denoted by fzo- The value f(zo) as well as all derivatives of
f at Zo (and therefore the Taylor series of f at zo) are uniquely determined
by the germ. On the other hand, if a convergent power series at Zo is given,
then this series converges in an open neighborhood of Zo to a holomorphic
function f, and the germ of f determines the given power series. So the set
Ozo of all germs of holomorphic functions at Zo can be identified with the e-
algebra of all convergent power series of the form L..,>o(Z-zo)v. This algebra
is isomorphic to the algebra Hn and has the same algebraic properties.
Let fzo =I- 0 be any element of Ozo with f(zo) = O. Then there are a neigh-
borhood U(zo) c B, a neighborhood W(O) C e n - l , a holomorphic function
e on U, and holomorphic functions al, ... , as on W such that after a suitable
change of coordinates the following hold:
124 III. Analytic Sets
PROOF: We need to show only that 0 has no zero divisors. Assume that
II, h are two holomorphic functions on G with both fi 1= O. Since G is a
domain, their zero sets are both nowhere dense in G, and there is a point
z E G with lI(z)· h(z) -=I O. So II· h 1= O. •
It also follows that OO[u) is free of zero divisors. We denote by Q the quo-
tient field of O. Then the group Q[u)X of units in the integral domain Q[u)
consists of the nonzero polynomials of degree O. If 0* c 0 is the multiplica-
tive subgroup of not identically vanishing holomorphic functions on G, then
Q[u)X nO = 0*.
4.2 Proposition. If WI,W2 E QO[u) are pseudopolynomials with WI . W2 E
OO[u), then Wl,W2 E OO[u).
Euclidean Domains
Definition. An integral domain I is called a Euclidean domain if there
is a function N : I* -+ No with the following property (division with
remainder): For all a, bEl, b =I- 0, there exist q, rEI with
1. a=q·b+r,
2. r = 0 or N(r) < N(b).
The function N is called the norm of the Euclidean domain.
Examples
1. Z is a Euclidean domain with N(a) := lal.
2. If k is a field, then k[x] is a Euclidean domain, by N(f) := deg(f).
Every Euclidean domain I is a principal ideal domain and thus factorial. If
a, b are elements of I, then the set of all linear combinations
r . a + s . b =I- 0, r, s E I,
has an element d with N(d) minimal. The element d generates the ideal
a = {ra + sb : r, s E I} and is a greatest common divisor of a and b. It is
determined up to multiplication by a unit.
Now assume again that G is a domain in en, 0 = O(G), and Q = Q(O}. Then
Q[u] is a Euclidean domain. If Wt,W2 are pseudopolynomials in OO[u], there
is a linear combination in W = rIwI + r2w2 t= 0 in Q[u] with minimal degree.
It can be multiplied by the product of the denominators of the coefficients in
rl and r2. Then rt, r2, and ware in O[u], and W is a greatest common divisor
of WI, W2.
D{w) = LWl···D(Wi)···WI.
i
If the degree of the greatest common divisor 'Y of wand D{w) is positive, then
'Y is a product of certain Wi. So at least one Wi divides both wand D{w). Then
Wi divides WI ... D(wd··· WI and hence D(wi). This is not possible, because
D{wi) has lower degree. So the degree of the greatest common divisor is 0,
and therefore it is a function h E 0·. •
Symmetric Polynomials.
Definition. A polynomial p E Z[Ul, ... , us] is called symmetric if for
all i, j we have P(Ul, ... , Ui,·.· Uj, ... , us) = p(Ul' ... ' Uj, ... , Ui,· .. , us)·
There are the elementary symmetric polynomials 0"1, ... , 0" s defined as follows:
O"l(Ul, ... ,Us ) Ul+···+U s,
0"2{Ut. . .. , us) = Ul (U2 + ... + us) + U2{U3 + ... + us) + ... + Us-l us,
where WI, ... , Ws are the zeros of the polynomial u H w(u, z). So ~w(z) = 0
if and only if there is a pair i =I- j with Wi = Wj.
Assume now that w is without multiple factors. Then there is a linear combi-
nation of wand D{w) that is a function hE 0·. We restrict to a point z E G
with h{ z) =I- O. Then the greatest common divisor of w{ u, z) and D{w)( u, z)
is 1. This means that w(u, z) has no multiple factors; i.e., the zeros of w(u, z)
are all distinct. So ~w(z) =I- 0, and Dw is nowhere dense.
Example
Let G c en be a domain, a, b holomorphic functions in G, and w{u, z) :=
u 2 - a(z) . u + b(z). In this case
We can decompose w into prime factors. Using the fact that any power of a
prime factor vanishes at the same points as the prime factor does, we may
assume that w is without multiple factors. Then the discriminant ~w is not
identically zero in G. We set Dw = {z E G : ~w(z) = O}.
4.6 Theorem (on branched coverings). If Zo E G - DW1 there are a
neigborhood W = W(zo) c G - Dw and holomorphic functions JI, ... , fs in
W with fi(z) =I- h(z) for i =I- j and z E W such that
w(u, z) = (u - JI(z))··· (u - fs(z)) in ex w.
There are fewer than s points over any point Zo E Dw (see Figure III. 1).
A point z E G above which there are fewer than s points is called a branch
point. All points of the discriminant set Dw are branch points. Over all other
points our set A is locally the union of disjoint graphs of holomorphic func-
tions, and is therefore regular.
PROOF: For Zo E G - Dw the polynomial w(u, zo) has s distinct roots.
We write w(u, zo) = (u - Cl)··· (u - c s ), where the Ci all are distinct. If
w(u, z) = US + h1(z)U s - 1 + ... + hs(z), then the germ
wZo := u2 + (hdzou s - 1 + ... + (hs)zo
is a polynomial over Ozo ~ Hn. By Hensel's lemma it has a decomposition
wZo = Wl,zo ... ws,zo with the following properties:
4. Branched Coverings 129
and since We G-Dw, it also follows that fi(Z) =I- fj(z) for i =I- j and Z E W.
•
Examples
1. Let G = C and W = zI -
Z2. Then the discriminant is given by ~w(Z2) =
4z2 , and Dw = {O} C C. If Z2 E C*, there is a neighborhood W C C - Dw
where ..jZ2 is well defined. There we have W = (Zl - ..jZ2) . (Zl + ..jZ2).
This gives a surface above C that is a connected unbranched 2-sheeted
covering over C-{O}. The point 0 is a branch point. This is the (branched)
Riemann surface of "fZ. The unbranched part was already discussed in
Section 11.8.
2. A completely different situation is obtained if we take W = zI -
z~
(Zl - Z2) . (Zl + Z2). The discriminant is 4z~ in this case, and the discrim-
inant set Dw is again the origin in C. The set A consists of two distinct
sheets, which intersect above 0, and both are projected biholomorphically
onto C. The set A - {O}, i.e., A without the branch point, is no longer
connected.
3. In higher dimensions the situation is even more complicated. Let us con-
sider the analytic set A = N(f), where f(z!, . .. ,zn) = Z:l + ... + z~n
with Si ~ 2 for i = 1, ... , n. This is a very simple holomorphic function.
The derivatives are fZi = Si . z;i- 1 , and their joint zero set consists only
of 0 E cn. So all other points of A are regular.
Every line £ through the origin lies completely in A, or f has a zero of
order S with s ~ min(s!, ... , Sn) on £ at the origin. Therefore, there is
no line that intersects A in 0 transversally. From this one can conclude
that 0 is in fact a singular point of A (see, for example, Exercise 8.2 in
Chapter I).
Now we look on f: cn -+ C as a fibration with general fiber
At = {z E C n : Zfl + ... + z~n = t}.
Then A = Ao has an isolated singularity, while all other sets At are
regular everywhere. We call the family (AdtEC a deformation of A.
130 III. Analytic Sets
PROOF: Since locally over G' = G - Dw the set A' = AIG' looks like a
domain in en, a nowhere dense analytic set does not disconnect A', locally
and globally. Therefore, we may assume that E = Dw.
If w is not irreducible, every factor Wi defines an analytic set Ai over G - Dw·
The intersection of different Ai is empty. SO AI(G - Dw) is not connected.
4. Branched Coverings 131
If, on the other hand, AIG' has the connected components Ai, i = 1, ... , s,
with s > 0, then for any point z E G - Dw there is a ball BeG - Dw around z
such that AilB splits into graphs of holomorphic functions 1; : j = 1, ... , Si·
In each case we form the pseudopolynomial Wi = (u - II) ... (u - fs i )' The
zero set of this Wi is exactly AiIB, and it determines Wi and vice versa. So
over the intersection of two different balls the pseudopolynomials must be
the same, and thus we obtain global holomorphic functions Wi in G - Dw' If
z E Dw, then there is a neighborhood W of z such that Ail(W - Dw) c AIW
is a bounded set. So the coefficients of Wi are bounded over this neighborhood
and extend holomorphically to G. We also denote this extension by Wi, and
for reasons of continuity it follows that W = WI' .. WS' -
If the Wi are the irreducible factors of w, we call their zero sets Ai the irre-
ducible components of A. The sets A~ = AilG' are the connected components
of AIG'.
4.11 Proposition. Assume that W* ,ware pseudopolynomials without mul-
tiple factors over a domain G and that A* = {w· = O} c A = {w = O}. Then
w' is a factor of w.
PROOF: The construction is first carried out outside Dw. We set G' =
G - Dw and use the fact that every nonempty open subset of A' = AIG'
must be a union of connected components of A'. If W = WI'" Ws is the
decomposition into irreducible factors, then we may assume that there is an
s· with 0 S s· S s such that for w' = WI" .ws* and w" = Ws*+1 .,. Ws we
have M'IG' = {(u, z) E C X G' : w'(u, z) = O} and M"IG' = {(u, z) E
ex G' : w"(u, z) = O}.
It is now essential that in a continuous family f (u, z) of holomorphic functions
of one variable u the zeros depend continuously on the family parameter z
("continuity of roots"). We omit the proof here. If we apply this fact (and
the equations A = M' U M", W = w' . w"), we get that the sets M'IG' and
132 III. Analytic Sets
M"IG' are not empty (i.e., 0 < s* < s) and that their closures in C x G are
M', respectively Mil. •
does not vanish identically. In the usual way we obtain the holomorphic
function f in the entire set G - Dw' It is bounded along Dw' So it extends
to a holomorphic function in G. •
Let us now assume that we have chosen a point Zo E N' and suitable coordi-
nates as above, and that U, G', and w' have also been chosen.
Definition. In the given situation, a point (u, z) E N n (C x U) is
called an unbranched point of N if zEN' - C x D w ' and there is a
neighborhood V = V(z) c N' - C x D w ' with a holomorphic function 9
on V such that N n (C x V) is the graph {u = g(w) : w E V}. (Figure
111.2 shows the situation.)
Z2 .
......
o examples of unbranched points ~
ex D.."
Figure 111.2. Branched and unbranched points of N
Arbitrarily near to (UI, zt) we can find points (U2, Z2) E NnW lying over
N~ - D W1 ' All of these points are unbranched points of N, since we can find
neighborhoods W 2(U2, Z2) C Wand U2(Z2) C U1 with the same properties as
Wand Ul. Now choose U2 so small that it contains no point of DWl and that
wIIN' n U2 decomposes into linear factors. Then every sheet of AI(N' n U2 )
with the property that it contains points of N is a graph over N' n U2 • •
Exercises
1. Prove that every symmetric polynomial in UI,.'" Us can be written as a
polynomial in the power sums Sk := u~ + ... + u!.
2. Calculate the discriminant of a cubic polynomial.
3. Let D := Dr(O) C e and I be a holomorphic function in an open neigh-
borhood of D without zeros in aD. If I has in D the ~eros Cl,.'" Cs
(some of them may be equal), then
(b) Show that the analytic set A = {(w, ZI, Z2) E C 3 : W2 = ZIZ2} is
not regular at the origin. Consider the holomorphic map (t1, t2) t-+
(tIt2, ti, t~). It is a "two-to-one" map. Describe the local holomorphic
functions on A in tl, t2.
7. Prove that there is a topological holomorphic map from C* onto A :=
{(w, z) E C2 : w 2 = ZIZ2}.
8. Prove that there is no topological holomorphic map from C· onto the
"elliptic surface" A:= {(w,z) E C 2 : w 2 = (z2 -1)(z2 - 4)}.
9. Define the pseudopolynomial wE O(C 2 )[u) by w(u, Zl, Z2) := u2 - U· Zl
and determine the discriminant set and the irreducible components of
A := {w = O}. Let! on A be defined by !(U,Zl,Z2) := Z2 . (u - 1).
Consider N:= {J = w = O} C C3 and determine the projection N' C C 2
and the set of unbranched points of N.
5. Irreducible Components
Embedded-Analytic Sets. We wish to study general analytic sets.
Since it is easier to work with pseudopolynomials than with arbitrary holo-
morphic functions, we introduce the notion of "embedded-analytic sets."
These are subsets of the common zero set of finitely many pseudopolyno-
mials, and they are not a priori analytic by definition. But later on, it will
turn out that they are indeed analytic.
Assume that G c C n - d = {z' = (Zd+ 1, ... , Zn)} is a domain and that
Wi(Zi;z'), i = 1, ... , d, are pseudopolynomials over G without multiple fac-
tors. The zero sets of the single Wi intersect transversally4 in Cd x G. We
denote by D C G the union of the d discriminant sets belonging to the Wi.
We call it the union discriminant set. We put
A := {(z!, ... ,Zd, z') : Wi(Zi; z') = 0, for i = 1, ... ,d and z' E G}.
Over any ball BeG - D the set AlB consists of finitely many disjoint
holomorphic graphs. Every graph is contained in a connected component Z
of AI(G - D). We call the closure of Z in A an irreducible embedded-analytic
component of .Ii.
PROOF: We proceed as in the proof for the last theorem of the previous
section. The procedure to find unbranched points will be denoted by (*).
First we construct the projection f of f, which is holomorphic in G. For this
observe that if D is the union discriminant set of the polynomials WI, ... ,Wd
and z' E G - D, we always have the same number of points ZI, ... ,Zs in A
over z'. We set fez') = f(zl)'" f(zs) and obtain f, which is holomorphic on
G - D. Since itis bounded along D, we can extend it holomorphically to G.
Therefore, the projection set is N' = {[(z') = OJ.
Assume now that z~ EN'. Then, after an arbitrarily small linear coordinate
change in the variables z', the line L parallel to the Zd+l-axis through z~
intersects N' in an isolated point. Then by Weierstrass's theorem we can
find a neighborhood U = U(z~) c G, a domain G', and a pseudopolynomial
w' (Zd+1, z") over G' without multiple factors such that Un N' is equal to the
set {z' = (Zd+1' z") E C X G' : W'(Zd+l, z") = OJ, with z" = (Zd+2,"" zn).
Since the space Cd x L intersects N at Zo in an isolated point, it remains to
prove the existence of unbranched points. We apply (*) to N n (Cd x U) and
prove in the same way as before that for points ZI EN n (Cd x U) there are
unbranched points of N arbitrarily near to ZI' Of course, at these points N
is a submanifold of dimension n - d - 1. •
For the following we use the same notation and hypotheses as above.
5.2 Theorem. Let N' c G be the projection of N. For every point Zo =
(zo, z~) ENe Cd X G, after a suitable linear change of the coordinates z'
there is a neigborhood U = U(z~) c G, a domain G' in the space of the
variables Zd+2, ... ,Zn, and a pseudopolynomial w' over G' without multiple
factors such that;
1. N' n U = {w' = O}.
5. Irreducible Components 137
PROOF: We use the notation and results from the proof above. Thus the
first statement is clear. We set ~+! := w'. Restricting the Wi to Cd x (N'nU)
and projecting them down to Cd X G', we get pseudopolynomials ~i(Zi;Z")
over G'. Then N n (Cd x U) is in the joint zero set of ~l, .. · .!l::!d+l. Let
A be the union of those irreducible components of this set that contain the
unbranched points of N. Since N is the closure of unbranched points, it
follows that N n (Cd+! x G') cA. By the mapping theorem that we prove
in the next paragraph, every irreducible component of A is in N. So we have
the desired equality. -
In fact, there is a neighborhood U with holomorphic functions 11, ... ,/d such
that N(/I, ... , Id) = An U and the rank of the Jacobian is d everywhere.
We may assume that
So A n U is an embedded-analytic set.
(A) We begin with one arbitrarily chosen function IE .7. The equation 1= 0
gives an analytic setS S of codimension 1. We decompose S into irreducible
components Si in a neighborhood U(zo) (given by pseudopolynomials in C x
C'), and we choose the neighborhood U so small that the Si stay irreducible
in the whole neighborhood.
(B) Next we try to obtain codimension 2. If every function lEY vanishes
identically near Zo on Si, we leave Si unchanged (and have it as a codimension
1 component for our S*). Otherwise, there is an l' E Y that does not vanish
identically in any small neighborhood of Zo on Si. We apply Theorem 5.2:
After an arbitarily small linear change of the coordinates z' the set Si n {I' =
O} is a finite union of irreducible embedded-analytic sets Sij of codimension
two, which stay irreducible if we pass to some smaller neighborhood ofzo. The
Sij are embedded in the zero set of two pseudopolynomials w~j (Zl j Z3, •.. , zn)
and W~(Z2j Z3, •.. , zn).
(C) Now codimension 3 follows. For this we need consider only the Sij.
Leave Sij unchanged if every I vanishes .on Sij (and get codimension 2
components for S"). Otherwise, find an 1" E .7 not vanishing identically
on Sij, and (after an arbitrarily small coordinate change of the variables
z" = (Z3, •.. , zn)) the set Sij n {I" = O} is the union of a finite set of
irreducible embedded-analytic sets Sijk, given in the zero set of three pseu-
dopolynomials W~k(ZA; Z4, .. " zn), A = 1,2,3.
(D) Continuing, it is possible to obtain components of codimension 1, 2,
... , n - 1, and finally one reaches dimension O. If there is a I-dimensional
component S = Sil ... i n _ 1 such that not every I E .7 vanishes on S, we
have to replace S by the one-point set {zo}. Then the procedure stops. Only
finitely many steps were necessary.
We obtained a finite system .70 of local holomorphic functions I, 1', I", .. .
and a finite system A of irreducible embedded-analytic sets Si, Sij, Sijk, .. .
and may assume that they all are defined in one neighborhood U(zo) c C,
that every SEA of dimension d is embedded in a set C n - d X Cd' and that
the union discriminant sets Ds C Cd C Cd belong to the embedding of S.
The necessary linear coordinate change in z, can be made at the beginning
of the procedure, i.e., once for all steps of the procedure.
If SEA is an irreducible embedded-analytic set that has an open part in the
union of the other sets of A, then it also has an open part in an irreducible
S' E A, S' =1= S. It follows by the mapping theorem that it is completely
contained in S'. Then we simply throw it away and denote the new system
again by A. After finitely many steps we have that the intersection of every
5 An exact definition of dimension and codimension of analytic sets will be given
later. Here we use embedded-analytic sets, for which the dimension has already
been defined. An analytic hypersurface is obviously embedded-analytic.
140 III. Analytic Sets
S with the union of the rest of A is nowhere dense in S. Moreover, the points
of S over Ds are nowhere dense in S.
We denote by S* = USE.A S the union of all remaining components. Then
S* is given by the finitely many holomorphic functions / E .9'0. Therefore,
it is an analytic set. If .Y C .9' is an arbitrary finite subset, then in a small
neighborhood of Zo every / E .Y vanishes at every z E S*. So S* C N(.Y).
Obviously, S* is uniquely determined by this property.
Finally, we want to show that the decomposition into irreducible embedded-
analytic sets is unique. For that we use the notion of regularity for points of
embedded-analytic sets just as in the analytic case. Clearly, the intersection
of two different Si E A contains no regular point. So the points of every
. . .
SEA are regular if they are not in such an intersection and not over D A.
We denote the set o/regular points of S* by S* and set S = SnS* for SEA.
Then for SEA the sets S are the connected components of S*. Since the
set S* is uniquely determined in a neighborhood of zo, this is also true for
its connected components. And since the closure of S is S, the irreducible
embedded-analytic components S are .also uniquely determined near zoo
5.4 Theorem. The intersection 0/ (even infinitely many) analytic sets is
an analytic set and is locally a finite union 0/ components that are irreducible
embedded-analytic sets. This decomposition is locally uniquely determined.
PROOF: As in the last part of the proof of the mapping theorem, it follows
that the embedded-analytic set A is given as the joint zero set of infinitely
many holomorphic functions. Theorem 5.4 shows that A is an analytic set. -
Consequently, every analytic set has locally a unique decomposition into ir-
reducible analytic components.
The Zariski Topology. We prove that the system of all analytic sets
has the properties of the system of closed sets of a topology.
5.6 Theorem. The system A of all analytic sets in a domain G c en has
the following properties:
1. G and the empty set belong to A.
2. If A l , ... , Al E A, then also A = U!=l Ai E A.
3. If I is an index set and {A. : £ E I} a collection of analytic sets in G,
then A = n. El A. is also an analytic set in G.
PROOF:
Now we can generalize the notion of the dimension to arbitrary analytic sets.
Exercises
1. Let A be an analytic set near the origin in en. Assume that every ir-
reducible component of A has dimension ~ 1. Show that there exists
a neighborhood U = U(O) such that An U is the union of irreducible
one-dimensional analytic sets containing o.
2. Consider A := {(z}, Z2) E e 2 : z~ = z~ + zn. Show that A is irreducible,
but A has a nontrivial decomposition into irreducible components in a
small neighborhood of the origin.
3. Let AI, A2 c en be analytic sets. Prove that Al - A2 is analytic.
4. Let {Ai : i E N} be a locally finite family of irreducible analytic. sets in
a domain G c en. Suppose that Ai <t. Aj for i =F j and prove that the
Ai are the irreducible components of their union.
absolute value of every extension takes on its maximum at z~. By the max-
imum principle each such is constant in G'. Since the values of f can be
reconstructed from the values of the fi, it follows that f is constant over G',
. .
in particular in some open subset of A. Since A is connected, it follows that
f is constant on A and then by continuity also on A. _
PROOF: By definition, A is the zero set N(/t, ... , iN) of finitely many
holomorphic functions in a neighborhood of o. Since An P = {O} is isolated,
there is an i such that Ii does not vanish identically in any neighborhood
of 0 on the zl-axis. Consequently, Ii is zl-regular, and we can apply the
Weierstrass preparation theorem, which implies that A is locally contained
in the zero set of a pseudopolynomial W(Zl; Z2, ... ,Zn)'
Now we proceed by induction on d. In the case d = 1 there is nothing to prove.
If d > 1 we consider the projection 11" : en -t en- 1 with z 1-+ Z' = (Z2, • •. ,zn).
N
To h, ... , f there are associated as usual holomorphic functions 2 , ••• , L LN
of z' such that
in some neighborhood of O.
The intersection of P' = {z' : Zd+l = ... = Zn = O} with A contains 0 as an
isolated point. So we have for A the same situation, but with one dimension
fewer. By the induction hypothesis it follows that there are pseudopolynomi-
als W2,'" ,Wd such that A locally is contained in the set {W2(Z2;Z") = ... =
Wd(Zd; z") = OJ. By exchanging ZI with Z2, we obtain a pseudopolynomial
WI(ZI; z") such that A is contained in {WI = W2 = ... = Wd = OJ.
6. Regular and Singular Points 145
If the regular points of dimension n - d are dense in A, we can take the union
A * of those irreducible components ofthe embedded analytic set that contain
such a regular point. Then A * and A are identical. This completes the proof.
•
Remark. This result is also known as the "embedding theorem of Remmert
and Stein."
Again we consider a domain G c cn, an analytic set A c G, and a domain
G' c C n- d such that 7r(G) C G' (where 7r : z t-t z' = (Zd+1,"" zn»). Suppose
that there exists a domain G* c G such that for every z' E G' there exists a
neighborhood U = U(z') cc G' with (Cd x U) n G* CC (Cd X U) n G and
(Cd x U) n A C G*. Then the following holds.
6.4 Proposition. If the set of regular (n - d)-dimensional points of A is
dense in A, then A is an embedded-analytic set over G'.
The same procedure can be used for every d and the corresponding A', and
consequently, in finitely many steps we obtain a neighborhood of Zo and
holomorphic functions in this neighborhood with the desired properties. _
does not vanish identically on A for every c = (Cl' ... , Cd) E C. In particular,
for any hyperplane Ho C C n containing E there is a hyperplane H arbitrarily
close to Ho and also containing E such that dim(Ai) :s; dim(A) - 1 for every
irreducible component Ai of A n H.
many points. By the above lemma we can choose this plane arbitrarily near
Po := P(c).
Now apply a linear coordinate transformation very near to the identity that
leaves E invariant and maps our plane P(c, A) onto Po and replace the
transformed shell S by a new shell S' (in the new coordinates) that is a little
bit smaller such that S' is contained in the old (transformed) S. This can be
done so that as' n Po n A = 0.
Earlier we proved that A is an embedded-analytic set in a neighborhood of
the points of the intersection A n Po n S' over a domain G' in the space of
variables Zd-l+l, . .. ,Zn' So there is a small closed ball B C C n - d + 1 around
the origin such that (C d - l x B) n as' n A remains empty, every irreducible
component of (C d - 1 x B) n S' n A enters Po n S', and every plane through
a point of B and parallel to Po intersects A n S' in at most finitely many
points.
E
S'
An Bo
The Local Dimension. We show how our results are linked with the
classical dimension theory of analytic sets.
Let G c en be a domain, A eGan analytic set, and Zo E A a point. There
is an open neighborhood U = U(zo) c G such that UnA is a finite union
of irreducible analytic components AI, ... , AI. If we choose U small enough,
then the Ai are uniquely determined.
If f is any holomorphic function near zo, then either flA' == 0 (and therefore
AnN (I) still k-dimensional) or A' n N (I) is (k - 1)-dimensional. So at least
k functions are required.
On the other hand, by Lemma 6.7 we can find a holomorphic function h
near Zo that does not vanish identically on any irreducible component A' of
dimension k at Zoo It follows that A' n N(h) has dimension k - 1 for all
such components A'. We can repeat this process, and after k steps we reach
dimension zero, so that Zo is isolated in An N(h,···, /k). _
Exercises
1. Let A l , A2 c en be analytic sets. Show that dim(A 1 n A 2) ;:::: dim(Al) +
dim(A 2 ) - n.
2. Assume that G c en is a domain and I a nonconstant holomorphic
function on G. Prove that there is an at most countably infinite set
Z C e such that Ac := {z E G : J(z) = c} is regular for c E e - z.
3. Let G c en be a domain and A eGan analytic set. Prove that for any
k ;:::: 0 the closure of the set Ak := {z E A : dimz(A) = k} is either
empty or is a pure k-dimensional analytic subset of G.
4. Let G c en be a domain and ft, ... , 1m holomorphic functions on G.
Denote by N the common zero set N(ft, . .. ,1m). Show that if the rank
of the Jacobian of ft, ... , 1m at some point Zo E N is equal to r, then
there is a neigborhood U = U(zo) c G and a closed submanifold M C U
of dimension less than or equal to n - r such that UnA eM.
5. Let A be an analytic set in a domain G c en. For every point Zo E A
the set Izo(A) := {(f)zo E Ozo : IIA == O} is an ideal in Ozo. Show that
there are a neighborhood U of Zo and holomorphic functions ft, ... , fk
on U such that:
(a) AnU=N(ft, ... ,fk).
(b) Izo(A) is generated by the germs (fdzo,···, (fk)zo.
Show that the vector space
n
Tzo(A) = {w E en : Lw,Jz,,(zo) = 0 for every I E Izo(A)}
v=l
has dimension n - rkzo (f1, ... , I k). It is called the Zariski tangential space
of A at zoo
6. Let A be defined as in Exercise 5, and suppose that Zo is a regular point
of A. Show that Tzo(A) is the set of tangent vectors nCO) (see Section
1.7), where a : I -+ en is differentiable, a(I) C A, and a(O) = zoo
7. Let A be an analytic set in a domain G c en, and let Zo E A be an
arbitrary point. The embedding dimension of A at Zo is the smallest
integer e such that there is an open neighborhood U = U(zo) and a
closed submanifold M C U of dimension e with An U eM. It is denoted
by embdimzo(A). Prove that Z H embdimz(A) is upper semicontinuous
on A, and that embdimzo(A) = dimdTzo(A)).
8. Consider the analytic set A = {w = exp(l/z)} C {(w, z) E e 2 : z -IO}.
Determine the closure of A in e 2 .
Chapter IV
Complex Manifolds
The refinement map is not uniquely determined, but we can fix it once and
for all.
A covering "1/ = {Vv : 1/ E N} is called locally finite if each x E X has a
neighborhood U = U(x) such that U meets only finitely many Vv '
Definition. A Hausdorff space X is called paracompact if every open
covering %' of X has a locally finite open refinement "1/.
Two (n-dimensional) complex coordinate systems (U, <p) and (V, 'Ij!) in X are
called (holomorphically) compatible if either Un V = 0 or the map
The sets B1/J := 'Ij!(U n V) and Bf{J := <p(U n V) are open subsets of en. If Zi
(respectively Wj) are the complex coordinates with respect to <p (respectively
'Ij!), then compatibility of the coordinate systems means that the functions
Zi = Zi(Wl, ... , w n ) and Wj = Wj(Zb .. " zn) are holomorphic.
1. The Complex Structure 155
Let pr' : en --+ e k be the projection (WI. .. " w n ) t-+ (WI. ... , Wk). We
define U := W n X and cp := pr' 0 F : U --+ e k . Then (U, cp) is a k-
dimensional complex coordinate system in X at Zo.
If (V, 'l/J) is another coordinate system, with 'l/J = pr' 0 P, then
If Zl, ... , Zn are the complex coordinates with respect to (U, cp), then
X = {(w, z) E e2 : w 2 = z, Z f; O}.
Since X is a Riemann domain over e, it is a I-dimensional connected complex
manifold. From the projection 'Tr ;= pr21x : X -+ e we get complex coordinate
systems (U,cp) with cp:= 'Trlu and sufficiently small U.
158 IV. Complex Manifolds
is a holomorphic map.
2. For any manifold X we have the identity map idx E O(X, X) such that
idy 0 F = F and F 0 idx = F, if the compositions are defined.
1. The Complex Structure 159
Another example for a category is given by the topological spaces and contin-
uous mappings. If we replace in our definitions above the field e by IR and the
word "holomorphic" by "differentiable", we get the category of differentiable
manifolds and differentiable mappings. From every n-dimensional complex
manifold we obtain a 2n-dimensional differentiable manifold by "forgetting
the complex structure."
A holomorphic function f : X ~ e is obviously a holomorphic mapping.
More generally, in the case of a Riemann surface a meromorphic function f
on X may be viewed as a holomorphic mapping f : X ~ c.
Definition. A biholomorphic map F : X ~ Y is a topolc.gical map
such that F and F- I are holomorphic. If there exists a biholomorphic
map between X and Y, then the manifolds are called isomorphic or
biholomorphically equivalent, and we write X ~ Y.
Cartesian Products. Assume that Xl, ... ,Xm are complex manifolds
of dimension nl, . .. ,nm . Then the set X = Xl X ..• X Xm carries a natural
topology generated by the sets U = UI X ... X Um, Ui C Xi open for i =
1, ... , m. One sees immediately that X is a Hausdorff space with countable
basis.
Given complex coordinate systems (Ui , CPi) in Xi, for i = 1, ... ,m, one defines
a coordinate system (U, cp) for X by
The Cartesian product of two complex manifolds Xl, X 2 satisfies the follow-
ing universal property:
Given any complex manifold Y and any two holomorphic maps F : Y ~ X I
and G: Y ~ X 2 , there exists exactly one holomorphic' map H: Y ~ Xl X X 2
with F = PI 0 Hand G = P2 0 H.
Although trivial in our case (we set H := (F, G)), this property becomes
important in more general categories.
160 IV. Complex Manifolds
Let iI, ... , f m be holomorphic functions that are defined on an open subset
U eX. Let p E U be a point and (V, 'ljJ) a complex coordinate system in X
at p. The mapping f = (iI, ... , fm) : U -+ em is holomorphic, and we define
Jr(Pi'ljJ) :=
•
(8(fi 8z
0 'ljJ-l) ('ljJ(p»)
j
I i.==-
1, ... , m ) .
J - 1, ... , n
we have
Example
Let F : X ~ Y be a holomorphic map from an n-dimensional manifold into
an m-dimensional manifold. Then
Example
Let A = {(W, Zl, Z2) = ZlZ2}. The projection p : (w, Zt. Z2) t-+
E (:3 : w 2
(zt. Z2) realizes A as a branched covering over (:2 that is the zero set of
the pseudopolynomial w(w; Zl, Z2) = w 2 - ZlZ2. Outside the discriminant set
Dw = {(Zt.Z2) : ZlZ2 = O} it always has two regular leaves over (:2. So A is
everywhere 2-dimensional and regular outside Dw. It is even regular outside
the origin, since V'w( w, Zl, Z2) vanishes only at (0,0,0). One can show that 0
is, in fact, a singular point; e.g., by using Exercise 8.2 in Chapter 1.
The map cp: (:2 -+ A with cp(t1,t2) := (t1t2,t~,t~) is surjective. We call it a
unilonnization. The Jacobian
vanishes exactly at (0,0). The image point (0,0,0) = cp(O,O) is then called a
nonuniformizable point.
Analogously to the situation in en one proves that the set Sing(A) of singular
points of an analytic set A is a nowhere dense analytic subset. The set A is
called irreducible if A - Sing(A) is connected. To every analytic set A C X
there is a uniquely determined locally finite system of irreducible analytic
sets (A'\)'\EA such that A is the union of all these irreducible components A,\.
•
1. The Complex Structure 165
1.13 Corollary. If f, 9 are two functions of 6"(X) with flu = glu for some
open neighborhood U = U(a) C X, then v[J] = v[g] for every derivation v at
the point a.
It follows from the corollary that we can restrict derivations to locally defined
functions and work with coordinates. If cp = (Zl, ... , zn) : U ----t en is a
coordinate system at a and z., = Xv + i Yv, then we define partial derivatives
at a by
Therefore, we call two pairs (cp, c) and ('l/J, e') equivalent if the Jacobian of
'l/J 0
cp-l at cp(a) transforms e into e', i.e., if
v:= 1'tal'
=1
(8=1') + tb (881')
1'=1 a
v
y a
.
If f is a holomorphic function, then fyv = ifxv and fxv = fzv. Consequently,
n
v[f) = L(av + ibv)(f 0 cp-l )xv (cp(a)) = c· \l(J 0 cp-l)(<p(a)) t •
1'=1
The uniqueness follows from the equations v[xv) + i v[Yv) = vlzv) = Cv·
If the pair (cp,c) is equivalent to ('!/J,e'), then
e' . \l(J 0 '!/J-l)('!/J(a)) t = c'· Jcpo,p-l ('!/J( a)) t . \l(J 0 cp-l)( cp(a)) t
= c· \l(J 0 cp-l)(cp(a)) t.
The differential operators ({)/{)Zv)a and ({)/OZv)a are not real-valued deriva-
tions, and therefore they do not correspond to tangent vectors. But they are
nevertheless useful. If v is a derivation, then
n n
v(J] = L av(f 0 <p-l)xv +L bv(f 0 <p-l )Yv
v=l v=l
n
= La v · ((fo<p-lk + (fo<p-lhvl
v=l
n
+ Lbv · i· ((f 0 <p-l)zv - (fo<p-lhJ
v=l
n n
= Lcv(f 0 <p-l)zv + LCv(f 0 <p-lhv'
v=l v=!
(idx ). idTx(x) ,
(G 0 F). G. 0 F. (if G : Y -t Z is another holomorphic map).
PROOF: (1) ==> (2) : We can restrict ourselves to a local situation and
assume that U = U(O) c en
and V = V(O) c em are open neighborhoods,
and F: U -+ V a holomorphic map with F(O) = 0 and rk(JF(O» = m.
We write JF(O) = (J;..(O), J;J.(O», with J;"(O) E Mm.m(C) and J;J.(O) E
Mm.n-m(C). Choosing suitable coordinates we may assume that det J;"(O) f=
o. We define a new holomorphic map F : U -+ V X en-
m c by en
F(z',z"):= (F(z',z"),z"), for z' E em, z" E en - m .
Then
s(y):= (F,G)-I(y,G(xo».
Then (F, G)(s(yo» = (Yo, G(xo» = (F, G)(xo), and therefore s(yo) = Xo·
Furthermore, (F, G) 0 s(y) = (F,g) 0 (F, G)-l(y, G(xo» = (y, G(xo». Thus
Fos(y)=y.
(3) => (1) : If s is a local section for F, with s(Yo) = xo, then F. os. (v) = v
for every v E TyO (Y). Thus it follows immediately that F .. is surjective. _
Exercises
1. Let M be a compact connected complex manifold with dim(M) ~ 2 and
N C M a closed submanifold of codimension greater or equal to 2. Show
that every holomorphic function f : M - N ~ e is constant.
2. Complex Fiber Bundles 171
is a complex submanifold of X x Y.
There are many examples of complex Lie groups. The simplest one is the
space C n , where the composition is vector addition. Another example is the
group C* with respect to ordinary multiplication of complex numbers.
The most important example is the general linear group
is a subgroup of the (additive) group C n generated by WI, ... , W2n. The group
r acts on C n by 1>(w, z) := z + w. This is an example of a free action.
2. Complex Fiber Bundles 173
The compatibility conditions are satisfied because of the chain rule and the
determinant product theorem. So by the gluing procedure described above
we get a holomorphic fiber bundle over X that is called the canonical bundle
and is denoted by K x .
(x,h.(X)g~K(X)P) = 1/JLohoip;l(x,g~K(x)p)
= 'l/JLohOip-;;,l(X,p)
1/J. 0 1/J-;;,l(X, h,.(x)p)
(x, g~~ (x )hK (x)p).
Two systems of transition functions (g:,.) and (g~~) with respect to the
same covering are called topologically (respectively analytically) equivalent
or cohomologous if there are continuous (respectively holomorphic) maps
hL : U. -+ G satisfying condition (C).
Equivalent fiber bundles have equivalent systems of transition functions. On
the other hand, it is easy to see that fiber bundles constructed from equiv-
alent systems of transition functions are themselves equivalent. Now we will
demonstrate that the latter remains valid in passing to finer coverings.
2. Complex Fiber Bundles 175
Let us assume that there are given systems of transition functions g' = (g:l<)
and gil = (g:~) with respect to a covering 'W = {U, : £ E I}. We call them
equivalent as well if there is a refinement "f/ = {Vv : v E N} of 'W (with
refinement map T : N -t J) and a collection of maps hv : Vv -t G such that
h ",g7(V)7(/1-)
I
= /I
g7(V)7(/1-)
h f.L
To show that the systems are equivalent in the old sense, we define h, : U, -t
Gby
on U, nV/l-.
h
v =
/I ( ,
g7(V)7(/1-)h/1- g7(V)7(/1-)
)-1
If 11" : V -t X is the bundle projection, then we denote by V", the fiber 7J"-l(X).
It has the structure of an r-dimensional complex vector space. A trivialization
cP : 7J"-l(U) -t U X C r is also called a vector bundle chart. For any x E U the
induced map <I>", : V", -t C r is a vector space isomorphism.
Definition. Let V be a holomorphic vector bundle over X. If U c X
is an open subset, then a continuous (differentiable, holomorphic) cross
176 IV. Complex Manifolds
Let (U" <1>.).Ei be a collection of vector bundle charts <p. : 7r- 1(U.) -t U. XC r
for V, and 9",< : U."" ~ GLr(C) the system of transition functions, given by
<1>.0 <1>;;:1 (X, z) = (x, z· 9."" (x) t) for (x, z) E U. K X cr.
If s is a holomorphic section in V, then
are transition functions for V EEl W. The fiber of the Whitney sum is given by
(V EEl W)., = V., x W.,.
2. The dual bundle: Let 7r : V ~ X be a holomorphic vector bundle of
rank r with trivializations cI>. : 7r- 1 (U.) ~ U. X C r and transition functions
g.... Gluing the sets U. x C r together by means of the transition functions
g:.. := g!. leads to the dual bundle 7r' : V' ~ X. Denote the associated
trivializations over U. by \II.,
We will show that for every x E X there is a natural isomorphism
L av,.(x)zV
00
f 0 1/J;-1(X, z) =
1.1=0
00
Let <1>, : Vlu, --t U, X cr and 'l/J, : F'lu, --t U, x C be local trivializations. If
j: F'lu --t Vlu is a holomorphic map which is linear on the fibers, then over
U, n U we have
<1>,0 j 0 'l/J;-l(X, z) = (x, z· "1,(x»,
where "1, : U, n U --t cr is a holomorphic map. Over U, n u.. n U we calculate
<1>,0 j 0 'l/J;l(x, z) = <1>,0 <1>;1 (x, "1.. (x) . z) = (x, 1].. (x) . G, .. (x) t . z).
It follows that
(v 0 e)(>.) := >.(e) . v.
180 IV. Complex Manifolds
The fiber of j*V over x E X is given by (J*V)x = Vf(x). Therefore, the lifted
bundle is trivial over the preimage sets f-l(y).
One has the following commutative diagram:
j*V ~ V
p 4. 4. p
X -4 Y
If G u :. are transition functions for V with iP, 0 iP;l(X, w) = (x, w· Gu.:(x) t),
then
Example
Let V be a vector bundle of rank r on X and Y C X a submanifold. If we
denote the natural injection Y Y X by j, then Vly := j*V is a vector bundle
of rank r on Y. We apply this to the tangent bundle T(X).
Choose an open covering %' = (U~)~EI such that there are complex coordinate
systems 'P~ = (zt, ... , z~) for X in U~ with the following properties:
1. U, n Y = {zd+! = ... = z~ = O}.
2. zt, ... , zd are complex coordinates for Y.
A trivialization <P, : j*T(X)lu,nY -t (U, n Y) X en is given by
(y, ['P~, cD H (y, c).
for V such that 9£1< are transition functions for W, and h,,,. are transition
functions for V IW.
Example
The quotient bundle Nx(Y) := j*T(X)IT(Y) is called the normal bundle of
YinX.
Exercises
1. Let G be a complex Lie group that acts analytically on a complex man-
ifold X. Then for every x E X the stabilizer G x := {9 E G : 9X = x}
is a closed Lie subgroup of G, i.e., a subgroup and a (closed) complex
submanifold.
Prove that there is a unique complex structure on G IGx such that the
canonical projection 7r : G -t GIG x is a holomorphic submersion.
2. Let 7r : V -t X be a complex vector bundle of rank r. For x E X let fAx
be the set of bases of Vx ' Prove that the disjoint union of the fAx, x EX,
carries the structure of a fiber bundle over X with structure group and
typical fiber equal to GLr(C).
3. Let cp : V -t W be a vector bundle homomorphism over X. Suppose that
rk(cpx) is independent of x E X. Prove that
3. Cohomology
Cohomology Groups. Let X be an n-dimensional complex manifold
and 7r : V -t X a complex vector bundle of rank r. Assume that there is an
open covering 'F/ = {U, : LEI} of X.
We consider sections in V on the sets U, and on intersections U'I< := U, n U".,
respectively U,,,.A := U, n U". n UA.
3. Cohomology 183
Assume that a O-dimensional cochain S is given. One may ask whether the
sections SL E nULl V) can be glued together to a global section s E rex, V).
For that it is necessary and sufficient that SL = SK on U'K' This can be
expressed in another way: If we assign to every O-cochain s a l-cochain 8s by
(8S)LK := SK - s,' then S defines a global section if and only if 88 = O.
Definition. The coboundary operators
are defined by
.- SK - S, (on ULK ),
.- ~KV - ~'V + ~LK (on U'KV ).
A cochain s E CO (%', V) (respectively ~ E C 1 (%', V) is called a cocycle
if 8s = 0 (respectively 8f, = 0). The sets of cocycles are denoted by
ZO(%" V) (respectively Zl(%" V».
Remarks
1. The sets of cochains and the sets of cocycles are all complex vector spaces.
2. We can identify ZO(%" V) with rex, V).
3. A l-cochain f, is a co cycle if and only if the following compatibility con-
dition holds:
f,w = ~LK + f,KV on ULKV '
4. Sometimes we need co cycles of degree 2. We call an element A E
C2 (%', V) a cocycle if the following compatibility condition holds:
•
Definition. Hi(%" V) := Zi(%" V)jBi(%" V) is called the ith coho-
mology group of V with respect to %'.
r*(q(e)) := q(rle)·
On Vnm n U. we have
g~T<n» _ g~(m»
h n -hm ·
So 1] = rI~ + 8h, and r* is surjective. •
3.4 Corollary. If %' is an acyclic covering of X, then
HI(X, V) = HI(%" V).
which we call the first cohomology group with values in Ox (with respect to
the covering %'). Just as in the case of vector bundles we can pass to finer
coverings and finally form the Cech cohomology group Hl(X, Ox).
There is a nice interpretation for the elements of Hl(X, Ox). Every co cycle
with values in Ox defines a line bundle over X, and this bundle is independent
of the covering. Two co cycles f.' and ~" define equivalent line bundles if and
only if there are functions h~ with ~:I< = ~:~hl<h;:l, Le., if and only if the
cohomology classes of (,' and (," are equal. Therefore, HI (X, Ox) is the set of
isomorphy classes of line bundles over X. This group is also called the Picard
group of X and is denoted by Pic(X). The group structure is induced by the
tensor product. The identity element corresponds to the trivial bundle Ox
and the inverse to the dual bundle.
In the same way as above we can form cohomology groups of any fiber bundle
P whose typical fiber is an abelian group. If the fiber of P is a nonabelian
group, things become a little bit more complicated. We can define co cycles
with values in P, but they do not form a group. In the set ZI (%', P) of
co cycles we can introduce an equivalence relation by
t:'
'"
t:"
rv '" : {::=:}
3 hL . h "'£1<
WIt t:' = h- 1 g£l<
£
" h
1<.
The set HI (%' , P) of all equivalence classes is called the cohomology set with
values in P (with respect to %'). Usually it is not a group, but there is a
distinguished element, represented by the cocycle ~ with ~£I< = 1 for all L, "'.
Passing to finer coverings and forming the cohomology set Hl(X, P) causes
no problems. The most important nonabelian case is the cohomology set
abelian group for· every open set U eX, and that we can restrict sections
over U to open subsets V C U. Having this in mind we can define another
sort of cohomology group.
Let K C C be a subgroup with respect to the addition, for example K = Z, JR,
or C. For an open set U C X we define the (abelian) group K(U) by
"x·
n
b. q := {x = (xo, . .. ,xn ) E JRq+1 ~ 1, = 1, X·
t_ > o}
i=O
is called the q-dimensional standard simplex. The O-dimensional simplex is a
point, ~1 a line segment, ~2 a triangle, and so on.
Let X be a topological space. We assume that all spaces here are connected
and locally connected. A singular q-simplex in X is a continuous map a :
~q -t X. If X is a complex manifold and if there is an open neighborhood
U = U(~q) and a smooth map a : U -t X with alAq = a, then a is
called a differentiable q-simplex. A singular q-chain in X is a (formal) linear
combination nlal + ... + nkak of singular q-simplices with ni E Z. The set
Sq(X) of all singular q-chains in X is the.free abelian group generated by the
singular q-simplices.
For a q-simplex a and i = 0, ... ,q the (q - I)-simplex ai : ~q-l -t X is
defined by
The number r is called the rank of G, and zr the free part of G. The sum
of the Zin/i. is called the torsion part of G.
In many cases cohomology can be computed from homology:
3.5 Theorem. If X is a compact good topological space (for example, a
compact connected complex manifold), then Hq(X) is finitely generated for
every q, and for q ~ 1 there is an isomorphism
The rank of Hl(X) is called the first Betti number of X, and is denoted by
b1(X).
Now we give an application of Cech cohomology methods to singular coho-
mology. Let X and Y be good topological spaces.
3.6 Theorem (Kiinneth formula).
1/Jtn,Lm - 'l/JKn,Km
Setting (r,oLK)n := ¢Ln,Kn we get a O-cochain r,oLK E CO(1', IE) with Or,oLK =
WK - ¢L' SO the cohomology classes of ¢L and ¢K are equal in this case.
(b) If ULI< = 0, one can find a chain of sets U).." ... , U).N with UL).l =I- 0,
U).i).i+1 # 0, and U).Nt< # 0 (since X is connected), and from (a) it
again follows that the cohomology classes of WL and 'l/Jt< are equal.
Let Wo be a representative of the common cohomology class of the 'l/JL' The
assignment 'I/J f--+ 'l/Jo induces a map p: HI(o// x 1',IE) --t HI(1', IE). We will
prove that for every class e E HI (cJU X 1', IE) there is a class a E HI (0//, IE)
with jl (a) = e - j2(p(e», and consequently j(a, p(e» = c.
For each t there is an 1h E CO(1',IE) with 'l/Jo = ¢L - 01/(7]J, and we define
7] ECO(o// x 1', IE) by 7]Ln := (7]Lk
and therefore em = en. If Vnm = 0, we can argue in the same way as above
in (b), because Y is connected.
So we have a e E Zl (cJU ,IE) with en = e for every nand
Exercises
1. Let all = {Ub U2, U3} be the covering of X := {z E ((: : 1 < Izl < 2}
given by U1 := {x + iy : y < x}, U2 := {x + iy : y < -x}, and
U3 := {x + iy : y> a}. Calculate Hl(cJU, IE).
2. Prove that dime HI (1(:2 - {O}, 0) = 00, where 0 denotes the trivial line
bundle over ((:2. Hint: Use Laurent series.
192 IV. Complex Manifolds
4. Meromorphic :Functions
and Divisors
The Ring of Germs. Let X be an n-dimensional complex manifold
and x E X a point. Two holomorphic functions 1,9 defined near x are called
equivalent at x if there exists a neighborhood U = U(x) with Ilu = glu. The
equivalence class of I at x is called the germ of I at x. We denote the germ
by Ix and the set of all germs by Ox'
Having fixed a complex coordinate system r.p : U -t Been at x, we may
identify the set Ox with the ring Hn of convergent power series by
h = a· 10 + b· 90,
where a, bE Hn-dzl], and h E (Hn-d* is the greatest common divisor of 10
and go. If U = U' X U" c e x e n - l is a sufficiently small neighborhood of
the origin, the power series a, b converge to pseudopolynomials over U" and
h to a holomorphic function on U" that does not vanish identically.
2 A commuta.tive C-algebra A with unity is called a. local C-algebra if the set m of
nonunit!'l forms an ideal in A and the composition of canonical homomorphisms
C,-+ A ...:.. Aim is surjective.
4. Meromorphic Functions and Divisors 193
h=q·w+r.
8w
9 = ql . W + q2 . -8 .
ZI
It follows from the Nullstellensatz that ordA,xo(h) 2: 1, and from the unique
factorization into primes that it is finite. Furthermore, it is independent of f,
because if h, h are two minimal defining functions, then we have equations
4. Meromorphic Functions and Divisors 195
The polar set consists of poles and points of indeterminacy. We show that
P(m) is an analytic hypersurface.
Let p E X be an arbitrary point and U = U(p) c X a connected neighbor-
hood, where m is the quotient of 9 and hand N (h) c A. We may assume
that pEA and gp, hp are relatively prime. Then
4. Meromorphic Functions and Divisors 197
1. Q n U c N(g).
2. N(g) = Nl U··· U Nk is a decomposition into irreducible components.
Since dim(A) < dim(Ni ), there are points ai E Ni - A and neighborhoods
m
Vi = Vi(ai) C U -A such that = Pi/qi on Vi-Q and N(qi) C QnVi c N(g);
i.e., gIN(q;) = O.
From the Nullstellensatz it follows that there is a number Si E N and a
holomorphic function ri such that gSi = ri . qi. Then m
= Pirig-Si near ai'
This means that there exists an sEN such that gS . m is holomorphic near
al> ... ,ak·
Thus N := (U - A) n P(gSm) is empty or an analytic hypersurface that is
contained in N (g) - A. In the latter case it is a union of irreducible components
of N (g) - A, and this is impossible, since every such component contains
a point ai' So N must be empty, and gSm is holomorphic in U - A. By
Riemann's second extension theorem there is a holomorphic extension h of
gSm on U. Then g-Sh is meromorphic on U with (g-Sh)lu_A = m. •
are called respectively the divisor of poles and the divisor of zeros of m.
Finally, div(m) := (m)o - (m)oo is called the divisor of m. From the remarks
above it is clear that
div(m) = L ordz(m) . Z,
zcx
where the sum is over all irreducible hypersurfaces Z in X.
Definition. Let (ZL)LEI be a locally finite system of irreducible ana-
lytic hypersurfaces ZL EX. If for every ~ E I a number n L E Z is given,
then the formal linear combination
D = Ln.. Z.
LEI
is called a divisor on X.
The divisor is called positive or effective if n. ?:: 0 for every ~ E I.
4. Meromorphic Functions and Divisors 199
Du:=
" with Z,nUi'0
div(Jk) = k· A n U.
Now let an arbitrary divisor D on X be given. Then for any point p E X there
is an open neighborhood U = U(p) eX, a finite system {Zi : i = 1, ... , N}
of irreducible hypersurfaces Zi C U, and a system of numbers ni E Z such
that
N
Diu = L:: ni . Zi.
i=1
Since f. does not vanish identically, it follows that g.KgK. = 1 on UtK . This
shows that gLI< E O*(ULK ) and gl<L = g;;/. Furthermore, on ULI<). we have the
compatibility condition
g.Kgl<). = gL).·
The system of the nowhere vanishing functions 9.1< = f'/ fK defines a holo-
morphic line bundle on X, which we denote by [Z]. It is easy to show that
this definition does not depend on the covering and the functions f •.
4.8 Proposition.
We can generalize the concept of associated line bundles to the case of divi-
sors. If D is a divisor on X, then there is an open covering tfI = {U. : i E I}
of X, and meromorphic functions m. on UL with Diu, = div(m.). It follows
that the functions
are nowhere vanishing holomorphic functions on ULI<. They define a line bun-
dle, which we denote by [D). If D = k· Z, then [Dj = [Zjk. If D = Dl + D 2 ,
then [D] = [Dd ® [D 2 ]. Thus the map
is a homomorphism of groups.
4.9 Theorem. The sequence of group homomorphisms
is exact.
div(s) := ordz(s) . Z
zcx irreducible hypersurface
Now we have the solution for our problem: Let D be the divisor on X given
by Diu, = div(m.). Then [D] is described by the transition functions gu< =
m.m;l, and the system of the m. defines a global meromorphic section SD
of [D] with div(sD) = D.
So far our definitions seem to be purely tautological. But for example, they
allow us to determine the space of holomorphic sections of [D] in terms of
meromorphic functions on X. For that we need the following notation: If
D 1 , D2 are two divisors on X, then Dl 2: D2 if and only if Dl - D2 is a
positive divisor.
4.10 Theorem. Let D = Eznz . Z be a divisor on X. Then there is a
natural isomorphism {m E ..4t(X)* : div(m) 2: -D} ~ reX, [DJ).
Example
Let X = C be the Riemannian sphere and D = n . 00. Then
r(x, [D]) = {m E .A(X)* : ordoo(m) 2: -n and ordp(m) ~ 0 otherwise}.
Exercises
1. Let x be a point in a complex manifold X and let lx, gx be nonunits in Ox.
Prove that Ix and gx are relatively prime if and only if dim(N(f, g)) ::;
n-2.
5. Quotients and Submanifolds 203
5.1 Proposition.
1. XI R is a Hausdorff space.
2. For any Xo E X there exists a saturated open neighborhood D of X(xo)
D
in X and a holomorphic map f : -t C n - d such that
(a) f-l(f(x)) = X(x) for all x E D.
(b)' rkx(f) = n - d for x E D.
cp(1T(S(Z») := z.
Then cp(7r(x)) = f(x). This shows that cp is well defined and continuous. It is
also bijective, with cp-l(z) = 7r(s(z», and therefore a homeomorphism.
Now let 'l/J be another coordinate system given by 'l/J(7r(t(z»)) := z, where t is
a local section for some suitable submersion g. Then
{g E G : gU n V =I 0}
is empty or a finite set.
Here the orbits Gx are discrete subsets of X and are therefore O-dimensional
analytic subsets. If the action is free, we want to show that all conditions are
fulfilled for X/G to be a complex manifold and 7r : X --+ X/G a holomorphic
submersion (which means in this case that 7r is an unbranched covering).
5.4 Lemma. Let G act freely and properly discontinuously on X and let
Xo, Yo E X be given.
1. If there is a go E G with Yo = goxo, then there are neighborhoods U =
U(xo) and V = V(Yo) such that gU n V = 0 for 9 =I go. In the case
Yo = Xo and go = e one can choose V = U.
2. If gxo =I Yo for every 9 E G, then there are neighborhoods U = U(xo)
and V = V(yo) such that gU n V = 0 for every 9 E G.
M := {g E G : gUo n Vo =I 0}
206 IV. Complex Manifolds
Aw := r +w = {w + w : wE r}
is the orbit of w.
The group r acts properly discontinuously on en: Let zo, Wo E en be given.
If Wo = Wo + Zo for some Wo E r, choose
5. Quotients and Submanifolds 207
2n times
8 1.
a = v - ·u, b = w - u, and c = w - v.
This is the case if and only if a + c= b. Since every co cycle has the form
(a, b, c) = (0, b - a - c,O) + (a, a + c, c) = (b - a - c) . (0,1,0) + 15(0, a, a + c),
it follows that Hl(au, '1.) is generated by the class of (0, 1,0). •
From the Kiinneth formula it follows that Hl(Tn,z) ~ z2n, and therefore
the first Betti number of Tn is equal to 2n.
Hopf Manifolds. Let {! > 1 be a fixed real number and n > 1. Then
the (multiplicative) group r := {{!k : k E Z} acts freely on c;n - {OJ by
z t--t {!k . z.
The action is properly discontinuous. To see this, we define the sets
Then the sets (lur are pairwise disjoint. If two points Zl, Z2 E c;n - {OJ
are given, one can find an r > 0 and a k E '1. such that Zl E U := Ur and
Z2 E V := {!kUr . The case k = 0 is allowed. Now flU n V = 0, unless s = k.
208 IV. Complex Manifolds
So 7r(z) does not determine the entries Zj, but the ratios Zi : Zj. Therefore,
we denote the point x = 7r(zo, ... ,zn) by (zo : ... : zn) and call zo, •.• , Zn the
homogeneous coordinates of x. If Zo, ... , Zn are homogeneous coordinates of
x, then so are AZo, •.. , AZn for every A E C·.
If We X is an open set, then 7r- 1(7r(W)) = U,xEC' A' W is a saturated open
set in X, and therefore 7r(W) is open in Ipm. For example, this is true for
We show that IP'n is a Hausdorff space: Let z, w E X be given, with Lz "# Lw'
Then
*
Z :=
Z
W
and w* := IIwllw
Now let a point Zo = (zbO), ... , z~O») E X be given. Then there exists an index
i with z~O) "# 0, and Zo lies in fJi . We define fi : fJi ~ C n by
Then
z·
{ w E Ui
~
:
W·
-1.. = .2. for j "# i }
Wi
W.}
Zi
{WEUi: ~
W= Zi'·Z
7r- 1 (7r(Z)).
and
fi 0 S(Zl"'" Zn) = (Zl, ... , zn).
Local coordinates are given by the maps 'Pi : Ui -t en with 'Pi 0 tr = f i . This
means that
.
'Pi (Zo ...... Zn ) -_ (ZO -
Zi ... , -Zn) . 3
-, ... , -,
Zi Zi Zi
The set
=
It remains to study ]pI = {(zo : Zl) : (zo, zt) E e 2 - {O} }. But this is the
union of e = {(I : t) : tEe} and 00 := (0 : 1), with t = zdzo. In a
neighborhood of 00 we have the complex coordinate zof ZI = 1ft. So we see
that ]pI = C = e u {oo} is the well-known Riemann sphere.
The hyperplane Ho is a regular analytic hypersurface, given by
u n Ui
no = {( Zo:· .. : Zn ) f u·.
i Zo =
Zi
O}.
Therefore, Uo is dense in ]pn.
It should be remarked that there is no reason to distinguish between Uo and
the other sets Ui . Everything above could have been done as well with the
affine part Ui and the hyperplane Hi := {tr(z) E]pn : Zi = O}.
The functions t/l- = z/l-/ Zo, J.L ? 1, are holomorphic coordinates on Uo, and
w>. := Z>./Zi, oX i= i likewise on Ui . Therefore, on Ui - Ho = Ui n Uo we have
L
k
( ZO)k. av(ZI)VI ... (Zn)vn
Zi Zo Zo
Ivl=O
k
~ a wk-lvlwVI .. ·w vn .
~ V 0 In'
Ivl=O
.
l.e., p -- g /h on U·t - H 0, were
h .- "k
g (w) .- L.,.,lvl=O avwok-Ivl WIVI... WnVn an d
h(w) := wa are holomorphic functions on Ui with
N(h) = {w E Ui : Wo = O} = Ui n Ho.
So there are numerous global meromorphic functions on projective space.
Zo-1 . z = z = (1 , Zo-1 . -)
Zo-1 . ( Zo, -) z
is called the complex Stiefel manifold of type (k, n). Since its complement in
Mk,n(C) ~ e kn is an analytic set given by the vanishing of all (k x k) minors
of A, St(k,n) is an open set in Mk,n(C) and therefore a complex manifold.
The group GLk(C) acts on St(k, n} by multiplication from the left, and every
orbit of this group action represents exactly one k-dimensional subspace of
en. The topological quotient
In this case V has the form Graph (c.py) for a linear map cpv : C k -+ C n - k .
Of course, V is uniquely represented by the matrix AOl . A = (EklAol . A),
and AOl . A is the matrix of cpv with respect to the standard bases.
Now we consider the set of multi-indices
alii
ali" )
( E GLk(C).
A I := : :
aki l aki"
Then there is a permutation matrix PI E GLn(C) such that A . PI =
(AIIAI).
For fixed I we define
fI respects the fibers of 1I"k,n' It remains to show that fI has maximal rank.
For that we construct sections:
Let A E VI be given. Then we define s : Mk,n-k(C) -+ VI by
-t
Let Sk,n := {A E St(k, n) : A· A = Ek} be the set of orthonormal systems
of k vectors in en. Then Sk,n is a compact set, and 1I"k,n : Sk,n -+ Gk,n is
surjective. So Gk,n is compact.
h tl< ( zl,···,
I<
zn-l'
I< {) z~I< ( zl,···,
0) = {) I< I<
zn-l, 0) .
zn
On the other hand, the line bundle [Y] is defined by the transition functions
f ." .-
.- Znt / Zn· BU t Zn• ( Zl'···' Zn1<) -- f tl< (Zl'···' zn1<) . zn1<.lmp1·les
I< I< I<
{) z~ ( f (zl,···,zn_l'O.
0) =.1<
I< zl,···,zn_l'
I< I< I< I< )
{)
Zn
This yields the so-called first adjunction formula.
5.10 First adjunction formula.
Therefore, det G.I< 0 j = det gtl< . h.l<, and det g;;/ = (det G;;.? 0 j) . ht'" which
is equivalent to the second adjunction formula:
5.11 Second adjunction formula.
is a conical set.
5.12 Lemma. Let X c e n +1 be a conical set, f a holomorphic function
near the origin, and f = 2:::"=0 PII its expansion into homogeneous polynomi-
als. If there is an e > 0 such that fIB.co)nx == 0, then Pvlx = 0 for every
//.
). H f().z) = LPII(Z).II
11=0
vanishes identically for 1).1 < 1. So Pv(z) = 0 for every //, and since X is
conical, Pvlx == 0 for every //. •
Now let F 1, . .. ,Fk be homogeneous polynomials in the variables zo, ... ,Zn.
Then the analytic set
is a cone. If we set X' := X - {O}, then the image X := 11"(X') C JP>n is the
set
In Ui = {(zo : ... : zn) : Zi f:. O}, we can define holomorphic functions All
by
fi,1I (Zo : ... : zn) := Fv ( -,
~~)... , - .
Zi Zi
Ii = L ai,uFu'
u=1
It is clear that N (/I, ... , 1m) = N (F1 , ... , Fs) near the origin. But since X
is a cone, even X = N(Fl,"" Fs). Setting
we have
Examples
1. Let L c C n + 1 be a complex linear subspace of co dimension q. Then there
are linear forms 'PI, ... , 'Pq on Cn+ 1 such that
JlI'(L) := {(zo : ... : zn) E JlI'n : 'P/l(zo,.", zn) = 0 for J.L = 1, ... , q}
Then p(G . A) = det G . p(A), so p induces a map p : Gk,n --+ IP'N such
that the following diagram commutes:
p
St(k, n) ---7 C n+1 - {OJ
7rk,n 1 17r
p
Gk,n ---7 JlI'n
5. Quotients and Submanifolds 219
al/\···/\ak= L detA/·eI,
IEJk,n
with bJL E CC k for J-L = k+ 1, ... ,no We have det(EkIB) 'Pi 1)/ = 1, and
if J = (I - {iv}) U {J-L} for some II E {I, ... , k} and J-L E {k + 1, ... , n},
then
Obviously,
{x E pn : SF(X) = O} = {(zo : ... : zn) : F(zo, ... , zn) = O}.
On the other hand, let S be an arbitrary global holomorphic section of O(k).
Then s can be represented by holomorphic functions Si : Ui --* e with
z; . Sj(zo : ... : zn) = zf . Si(ZO : ... : zn) on Ui n Uj ,
and we obtain a holomorphic function f : e n + 1 - {O} --* e with
fez) = zf . Si(7r(Z» on 7r- 1(Ui ).
There is a holomorphic continuation F of f on en + 1 with F(>.z) = >.k. F(z).
This means that"F is a homogeneous polynomial of degree k, with SF = s.
Consequently, we have the following result.
5.15 Proposition. For kEN the vector space r(pn, O(k» is isomorphic to
the space of h0rrl:0geneous polynomials of degree k in the variables Zo, ... , Zn·
Analytic hypersurfaces in pn are exactly the zero sets of global holomorphic
sections of O(k).
For any Zo E en + 1 - {O} and any kEN there is a homogeneous polynomial
F of degree k with F(zo) =I O. Therefore O(k) is generated by global sections.
The bundle 0(1) can be described in purely geometric terms. For this we
note that if
Po := (0: ... : 0 : 1) E pn+l,
then a projection 7ro : pn+l - {Po} --* pn is given by
7ro(zo : ... : Zn : Zn+l) := (zo : ... : Zn).
We obtain local tri vializations <Pi : 7r0" 1 (Ui ) --* Ui X e by
<Pi(ZO: ... : Zn: zn+!) := (zo: ... : zn), Z:;l),
with <p;l«zO : ... : zn), c) = (zo : ... : Zn : CZi). Obviously this gives the
transition functions ZjZ;l. If F is a linear form on e n +!, then the section SF
is given at x = 7r(z) = (zo : ... : zn) by
SF(X) = <p;l(X, z;l F(z» = (zo : ... : Zn : F(z».
222 IV. Complex Manifolds
The Euler Sequence. Here we discuss the tangent bundle of the pro-
jective space in more detail. Let 71' : en+! - {O} -+ JP'n be the canoni-
e
cal projection. Then for any point Z E n + 1 - {O} we have a linear map
e
i.pz : n+ 1 -+ T1I'(z) (lP'n) defined by
div(m) =L ni . Zi ,
i
and c- d = 1. From f(c. z) = j(z) it follows that fez) is a constant wo, and
m 07r(z) = Wo . F(z) a rational function. _
One can show that Vk,n is an embedding, and so its image is Vk,n = Vk,n(lP n )
an algebraic sub manifold of IPN. If p is a homogeneous polynomial of degree
k with zero set Z, then there are complex numbers a", v E I, such that
p = E"EI a"z". It follows that
Vk,n(Z)=Vk,nn{(W")"EI: La"w,,=O}
"EI
is the intersection of Vk,n with a hyperplane H C IPN. Therefore, IPn - Z ~
vk,n(lPn - Z) = Vk,n n (IPN - H) is affine algebraic.
Exercises
1. Show that M := {( Zo : Zl : Z2 : Z3) E 1P3 : z8 + ... + z~ = O} is a
projective manifold. Consider the group G := {gm : 0::; m ::; 4}, where
9 : 1P3 -+ ]p3 is defined by
5. Quotients and Submanifolds 225
Let Tn be the torus defined by the lattice r := Zwl + ... + Zw2n . Prove
that Tn is biholomorphically equivalent to Tn' if and only if there are
matrices G E GLn(C) and M E GL 2n (Z) such that 0' = G· o· M.
4. The Segre map Un : pI X pn ~ p2n+l is defined by
Un«XO : Xl), (yo: ... : Yn)) := (XOYO : ... : XOYn : XIYO : ••• : XIYn) .
Show that En := Un(pl X pn) is a complex manifold and Un an injective
holomorphic immersion.
5. Show that for n ~ 2, two irreducible hypersurfaces in pn always have a
nonempty intersection.
6. Decompose
6.1 Proposition.
1. If f : X -+ Y is closed and A C X a closed subset, then flA : A -+ Y is
closed..
2. Iff is closed, y a point of f(X), and U an open neighborhood of the fiber
f-l(y), then there is an open neighborhood W = W(y) C Y such that
f-I(W) c U.
3. Let X and Y be additionally locally compact.
(a) If every point y E Y has a neighborhood W such that f-I(W) is
compact, then f is proper.
(b) If f is proper, then f is closed.
(c) If f is closed and every fiber f-l(y) compact, then f is proper.
Obviously, every finite map is proper. Conversely, if a proper map has only
discrete fibers, then it must be finite.
Definition. A holomorphic map 7r : X ~ Y between n-dimensional
complex manifolds is called a branched (analytic) covering if the following
hold:
1. The map 7r is open, finite, and surjective.
2. There is a closed subset DeY with the following properties:
(a) For every y E Y there is an open neighborhood U = U(y) c Y
and a nowhere dense analytic subset A c U with D n U c A.
(b) 7r: X - 7r- l (D) ~ Y - D is locally biholomorphic.
The set D is called the critical locus. A point x E X is called a branch
point if 7r is not locally biholomorphic at x. The set B of branch points is
called the branch locus. The covering is called unbranched if B is empty.
~ d .
A:={(w,Z)EC xG: Wi(Wi,z)=Oforz=l, ... ,d}.
Let 7r : A -+ G be the restriction of the projection pr2 : Cd x G -+ G.
6.2 Proposition. The map 7r is surjective, finite, and open.
PROOF: (1) The surjectivity follows from the fact that, for fixed Z E G,
each Wi (Wi, z) has at least one zero.
(2) Let MeA be a closed subset and Zo a point of 7r(M). Then there
is a sequence (wv,zv) in M with Zv -+ Zoo Since the coefficients of the Wi
are bounded near zo, the components of the zeros wv are also bounded.
Consequently, there is a subsequence (wVI') of (w v) that converges in Cd to
some woo It is clear that (wo, zo) lies in M. Thus Zo belongs to 7r(M), and 7r
is closed.
Since 7r has finite fibers, it is a finite (and in particular a proper) map.
(3) It remains to show that 7r is open. Let (wo, zo) E A be an arbitrary point.
If V(wo) C Cd and W(zo) c G are open neighborhoods, we have to find an
open neighborhood W'(zo) C 7r(A n (V x W)).
By Hensel's lemma there are pseudopolynomials wi and wi* such that
Define
M ~ N
Xo := {(z, W) E P x e : wb - Z1 = OJ,
230 IV. Complex Manifolds
(7r 0 'ljJd('IjJ(to» f= o.
Therefore, there are open neighborhoods U = U('IjJ(to» c Vi* and W =
W(zo) C C (for Zo := 7r('l/J2(tO))) such that 7rO'l/Jl : U --7 W is biholomorphic.
Then 7r1'lPl(u) : 'ljJl(U) --7 W is a homeomorphism, and
~ ~
_____:_1____t_O__________•__________•____Z_2_:+_1____ ~
tg____• 2_:_+-J2
is called the genus of X. Recalling that ]pI is the Riemann sphere, we replace
X 2 by the complex conjugate X 2 and glue Xl and X 2 inserting tubes into
the cuts ii' Thus we realize X as a sphere with 9 handles.
Now we give a more analytical description of the hyperelliptic surface. Define
29+2
X' := {(s, t) E C2 : s2 = II (t - Zi)},
i=O
4 In the case 9 = 1 we would get an elliptic surface that is isomorphic to a 1-
dimensional complex torus.
6. Branched Riemann Domains 233
dt 2ds
Wo := --; = F'(t)
Exercises
1. Let rr : X -+ M be a branched analytic covering with critical locus
D eM. Show that if there is a point Yo E D such that D has codimension
2 at Yo, then there is no branch point in rr-1(yo).
2. Let rr : X -+ M, and rr' : X' -+ M, be branched analytic coverings
and D, respectively D', the critical locus. Prove that if X - rr-1(D) is
equivalent to X' - (rr')-l(D'), then X is equivalent to X'.
3. Consider the holomorphic map F : C 2 -+ C3 defined by
PROOF: We consider only the case where X is regular. A proof of the general
case can be found in [GrRe55].
Assume that Xo E 7r- l (S) is isolated in the fiber of 7r over Yo := 7r(xo). Then
there is a neighborhood U of Xo in Y x X such that U n X is a branched
covering over Y. Since Yo lies in S, there must be at least one additional
7. Modifications and Toric Closures 237
point Xl E X in the fiber over Yo. But then in any small neighborhood
of Yo there are points y E Y - 8 with several points in 11'-1 (y). This is a
contradiction. Therefore, dimxo 11'-1 (1I'(xo)) > O. This is possible if and only
if rk xo (1I') < n := dim(Y), and this shows that 11'-1(8) in local coordinates is
given as the zero set of det J rr • Therefore, it has co dimension 1. •
So over Uij ,
Flu; ~ Ui x e
j.!. .!. J i
Ui X en+! rv
Ui X e n +1
This shows that F is a subbundle of the trivial vector bundle lPn x en+!. In
particular, it follows that r(lPn,O(-I)) = 0; Le., there is no global holomor-
phic section in the tautological bundle.
There is an interesting geometrical connection between F and F'. Consider
the point Xo := (0: ... : 0 : 1) E jpn+l and the hyperplane
Then the hyperplane bundle F' = 0(1) is given by the projection 11'+
jpn+! - {xo} -+ Ho ~ F, with
f(x)
11'
/ UC Cn + 1
/
Figure IV.3. Hopf's u-process
Here Ho is the zero section of 0(1). Removing the zero section gives a man-
ifold isomorphic to C n +l - {O}, and the fibers of the hyperplane bundle
correspond to the lines through the origin. Blowing up the point Xo gives
us an additional point to each fiber and so a projective bundle F' over ]pn
with fiber ]pl. But looking in the other direction, F' - Ho is nothing but the
tautological bundle O( -1) over the exceptional set of the blowing up.
z (
90t{Z,W, «(: 77)) =- =- on Uo nUl·
W 77
But (,77 are the homogeneous coordinates on Fo ~ ]pl. So NQo(Fo) = [FollFo
is described by the same transition function as the tautological bundle O( -1).
It follows that a submanifold Y,~]pl in a complex surface M can be excep-
tional only if NM(Y) ~ 0(-1).
We give a topological interpretation of this criterion. We set
So := 1 on Uo and
The map 11" := prl : Gf --+ X is obviously a proper holomorphic map, with
1I"-I(X) = {x} X jp'1 for xES and
7. Modifications and Toric Closures 243
G f := {(x,y) E X x om : y E Tf(X)}.
x = ((x,y) E X x Y : y E Tf(x)}.
For x E X - S we have 7r- 1(x) = {(x,/(x))}, and for xES we have
7r- 1 (x) = X n ({x} x Y). This is a compact analytic set. If S is minimal, then
7r : X ~ X is a proper modification with center S.
So alternatively we could have defined a meromorphic map between X and
Y to be a map T : X ~ P(Y) such that:
1. X := {(x, y) E X x Y : y E T(X)} is an irreducible analytic subset of
XxY.
2. 7r:= pr11x : X ~ X is a proper modification.
This definition is due to Remmert.
A meromorphic map is called surjective if pr2(X) = Y. If I is a surjective
meromorphic map between X and Y and 9 a meromorphic map between Y
and Z, then it is possible to define the composition 9 0 I as a meromorphic
map between X and Z (cf. [Ku60]). But it is not a composition of maps in
the set-theoretic sense!
Any meromorphic function I on X defines a meromorphic map between X
and pI, any m-tuple (/1, ... ,1m) of meromorphic functions a meromorphic
map between X and om.
7.3 Proposition. Let I: X ~ Y be a proper modification olY with center
S. Then 1-1 : Y -->.X is a surjective meromorphic map with S as set 01
indeterminacy.
{ 0liz
for z E C - {O},
I(z) :=
otherwise.
The function I is continuous and is holomorphic at every point z with I(z) #
O. By the theorem of Rad6-Behnke-Stein-Cartan (cf. [Hei56]) I is everywhere
holomorphic. But then the zero set N(f) is discrete. We can consider I as
a meromorphic function on M with exactly one pole of order one at Z = O.
So I can have only one zero (cf. [F081J, Section I.4, Proposition 4.24 and
corollary), and M must be the Riemann sphere pI, the well-known one-point
compactification of C.
In higher dimensions one can find several closures of cn. In [Bie33) an injective
holomorphic map {3 : C 2 -+ C 2 is constructed whose functional determinant
equals 1 everywhere and whose image U = (3(C 2 ) has the property that there
exist interior points in C 2 - U. We can regard U as an open subset of p2.
Then p2 is a closure of C2 ~ U, but this closure contains interior points in
its boundary. We want to avoid such "pathological" situations, even if they
may be interesting for those working in dynamical systems.
7.4 Proposition. II (X, U,II» is a regular closure olcn, then Xoo := X-U
is an analytic hypersurlace in X.
Example
The manifold X = pn is a closure of C n . As open subset U with U = X we
can take the set U := Uo = {(zo : ... : zn) I Zo # OJ. Then 11>0 : C n -+ U with
11>0 (t 1, ... , t n ) : = (1 : t 1 : ... : t n ) is biholomorphic. We have seen in Section
5 that any polynomial on U extends to a meromorphic function I on pn with
246 IV. Complex Manifolds
polar set Ho = {(zo : ... : zn) I Z{) = o}. So (pn, Uo, CPo) is a regular closure of
C n , with Xoo = Ho·
Another example is the Osgood space on, which contains C n via
Examples
1. The projective space pn is a toric variety with
g' ((zJ : zt), ... , (zo : zi)) := ((zJ : gz}), ... , (zo : gzi))·
7. Modifications and Toric Closures 247
PROOF: It is clear that (Z, I-l(U), 1-10 CP) is a closure. Now let p be a
polynomial. Then the holomorphic function po cp-l : U -t e has a mero-
morphic extension fi on X. But then fi 0 1 is a meromorphic extension of
po (I-I 0 CP)-1 = (po CP-l) 01. •
Now let eX, U, CP) be an arbitrary regular toric closure of en. The meromor-
phic extensions Ii of ZiOcp-1 define a meromorphic mapping f = (ft,···, In) :
X ........ on and therefore a generalized modification X of X in on. We know
that X is an irreducible component of the analytic set
These are meromorphic functions with polar set Ho and indeterminacy set
Ho n Hi· In the inhomogeneous coordinates wo, ... , iilj, ... , Wn with Wk =
Zk/ Zj the function Ii is equal to wdwo for i =1= j (respectively to 1/wo for
i = j).
Now X is given by
Exercises
1. Calculate the strict transform of X = {(z, w) : w 2 = z2(z + 1)} when
blowing up (:2 at the origin.
2. Show that KlI'n ~ O( -n - 1) and K y ~ Oed - n - 1) for every regular
hypersurface Y C pn of degree d.
3. Let EI be the projective bundle associated to the vector bundle V =
011'1 E!1 011'1 (1) (cf. Exercise 5.10). Show that the bundle space of EI is
biholomorphically equivalent to the blowup Qp(p2) with p = (1 : 0 : 0).
4. Consider the meromorphic function I(z,w):= w/z on (:2 and show that
its graph G f C (:2 X pI is equal to the blowup of (:2 at the origin.
5. Let X be a complex manifold and L a holomorphic line bundle over X.
Show that any set of linearly independent global sections So,.··, SN E
r (X, L) defines a meromorphic map 4> : X --* pN by
4>(X) := (So (x) : ... : SN(X)).
Stein Theory
1. Stein Manifolds
Introduction
Definition. A complex manifold X is called holomorphically spread-
able if for any point Xo E X there are holomorphic functions h, ... , f N
on X such that Xo is isolated in the set
- -
consider an arbitrary point x E R. For 9 E O(Y) we have go f E O(X)
and Ig 0 f(x)1 ~ sUPKlg 0 fl, so f(x) E f(K) and x E f-1(f(K». Since Y
is holomorphically convex an~ f proper, f-1(f{K) is compact as well. As a
closed set in a compact set, K is compact.
Since en is Stein, every closed submanifold of en is also Stein. •
Example
Every affine-algebraic manifold is isomorphic to a closed submanifold of en.
Therefore, it is a Stein manifold. On the other hand, we shall see later on
that there exists an algebraic surface that is Stein, but not affine-algebraic.
1.2 Proposition. If X is a Stein manifold and f E O(X), then X - N(f)
is Stein.
PROOF: If X is a Stein manifold, then it is immediate that X - N(f) is
holomorphically spreadable. Let D be an infinite discrete set in X - N(f).
If it is discrete in X, nothing remains to be proved. If it has a cluster point
Xo E N(f), then 9 := 1/ f is holomorphic on X - N(f) and unbounded on
D. •
IfU = U(xo) c X is an open neighborhood and s E r(U, V), then there exists
an open neighborhood V = V(xo) C U and holomorphic functions It,···, fN
on V such that
slv = It· S1 + ... + IN' SN·
e([f]) ;= [exp(211"iftl<)J.
°
PROOF: If X is Stein, then HI(X,O) = and c: HI(X,O*) ~ H2(X,Z)
is injective. Let h be a Cousin-II distribution on X. Then h is solvable if and
only if [hI = 0, and that is the case if and only if c(h) = o.
If in addition H2(X, Z) = 0, then also HI(X, 0*) = {I}. •
and liu, := 1.. +'f/. defines a global holomorphic function 10n X. Obviously,
liA = f· •
X L C n + 1 - {OJ
7f..j.. ..j..1I"
X ----t IPn
p
258 V. Stein Theory
L
00
fl;;:-l(x) = av(x)zv.
v=-oo
Exercises
1. Show that the Cartesian product X x Y of two Stein manifolds is Stein.
2. Use Theorems A and B to prove that the total space of a vector bundle
over a Stein manifold is Stein.
3. Give an example of a Cousin-I distribution on ((:2 - {OJ that has no
solution.
4. Let Uj := {z E ((:3 : Zj =I- O} and au
= {Ub U2 , U3 }. Show that every
Cousin-I distribution with respect to au
has a solution.
5. Let X be a complex manifold, 7r : L -7 X a holomorphic line bundle, and
Z C L the zero section. Prove that if L - Z is Stein, then X is a Stein
manifold as well.
v v
It follows that
(dj)x(v) = (df)x(v).
In particular, we have the elements dz v , cLz v E F defined by
dzv(v) := vlzv) and cLzv(V):= vlzv].
Then dz v = dx v + idyv and cLz v = dzv = dx v - idyv, for v = 1, ... , n.
The space F is the complexification of the 2n-dimensional real vector space
T* = HomlR(T,lR). Therefore, F = T* EB i T* is a 2n-dimensional complex
vector space, with basis
2. The Levi Form 261
cp:Tx .. ·xT~C.
~
r-times
(cp ® 1/1)(Vl, ... , vr, Vr+l.···, vr+s) := CP(Vl"'" vr) ·1/1(vr+1!"" vr+8 ).
The set of r-tensors carries the structure of a complex vector space, and the
assignment (cp,1/1) H cp ® 1/1 is C-bilinear. For example, (dz v ® azl')(v, w) =
vv,ww
With respect to the local coordinates we can associate to any tangent vector
v= Li vi 8j8zi + Li vi 8 jOzi the corresponding vector v = (Vb .•. , V n ) E en
and write
n
H(v,w) = L hijViWj=v.H.w t .
i,j=l
_ _ )8
= (ik)Zi Owk'
8Wk
Hp = L a a2pa
k,l Wk W,
(W)dWkdwI'
_
and
Example
Assume that 11, ... '!m are holomorphic functions on X. We show that p:=
E~=l ik . 7k is plurisubharmonic in X. In fact, we have
Hp = LPZi,ZjdzicLzj
i,j
= f: (~(fk)Zi
k=l &,}
. (fk)zj dZi cLzj)
Lev(p)(x,~) = Hp(~,~) = L
m
k=l
IL(ik)Zi (x) ~i I 2: O.
i
2
is given by Z t-+ (ZI, ... ,Zn-d) = (alz, ... ,an-dz). The restriction Will may
contain multiple factors. We throwaway such superfluous factors, so we can
assume that every Wilt is free of multiple factors.
Let us first assume that the union of the discriminant sets of the pseudopoly-
nomials over i consists only of the point 0' and that A' is irreducible and has
s sheets over i. Then A' is the Riemann surface of VZ. We write A' in the
form
A' ~ {(t; aIZ, .. . ,an-dZ) : Z = tS}.
By F(t) := (t; alt S, ... , an_dtS) we have a local parametrization of A'. Then
(p 0 F)tf(t) = H(p 0 F, t) is given again by Jt . H(p, F(t)) . J, where J =
(1; aI, . .. , an-d) t denotes the Jacobian of the holomorphic map F. The proof
is the same as in the case of a biholomorphic map F. So (p 0 F)tf ~ 0, and
po F is a subharmonic function of t. We get p' := piA' == c on A'.
The same is true if A' is not irreducible but has 0' as the joint discriminant
set, since 0 is the only point of A' over 0'.
Now assume that the union of the discriminant sets is general. Every point in
A' can be connected with O. We introduce the subset K of all points x E A'
with p'(x) = c. If KO =I- A', there is a boundary point Xl of K in A'. We
know that A' is an embedded-analytic set. Then there is a neighborhood
U(XI) c A' that is embedded-analytic over a disk B'(ZI) C i around a point
Zl E B such that over Zl the only point of U is Xl and the union discriminant
set consists of Zl only. Then we get p'lu == c (by the same argument as above),
which is a contradiction to the property "boundary point." So p' == c follows.
This holds for all e, and therefore p == c over the whole ball B ,which is in a
full open neighborhood of Xo in A. So we have (*). •
Exercises
1. Assume that p is a real-valued smooth function on the complex manifold
e
X. If { '" is a tangent vector and cp a complex coordinate system at
Xo EX, then define
L(P
n
(op)xo({) := 0 cp-l)z,,(cp(xo))' {.., .
..,=1
Show that (op)xo : Txo --+ C is a complex-valued real linear form that
does not depend on the local coordinates. Prove the following formulas:
(a)
(b)
Lev(h 0 p)(x,~) = h"(P(x)) 'l(ap)x(~W + h'(p(x)) . Lev(p)(x, ~).
2. Let G cc X be a relatively compact domain with smooth boundary.
Show that there is an open neighborhood U of aG in X and a real-
valued smooth function <p on U such that GnU = {x E U : <p(x) < O}
and (a<p)x i= 0 for x E aGo Show that
Hx(aG) = {~ E Tx(X) : (a<p)x(~) = O}
is a well-defined subspace ofTx(X) that does not depend on the boundary
function <po
Show that if for every x E aG there is a local boundary function 7jJ such
that Lev(7jJ) is positive definite on Hx(aG), then rp can be chosen as a
strictly plurisubharmonic function.
3. Let G cc X be a relatively compact domain with smooth boundary,
and rp : U(aG) -T IR a global boundary function. If Lev(rp) has for every
x E aG at least one negative eigenvalue on Hx(aG), G is called pseudo-
concave.
Show that if X is connected and there is a nonempty pseudoconcave
domain in X, then every global holomorphic function on X is constant.
3. Pseudoconvexity
Pseudo convex Complex Manifolds. If X is an arbitrary complex
manifold, then there exists a sequence of compact subsets Ki E X with the
following properties:
1. The set K i - 1 is always contained in the open kernel (Kit of K i .
00
i=l
If X is holomorphically convex, then the Ki can be chosen in such a way that
the holomorphically convex hull
always equals K i . (One uses the same proof as for domains in en.)
Therefore, for every point x E X - Ki there is a holomorphic function I in
X such that I/(x)1 > 1 and III < Ion K i . By passing over to a multiple and
a power of I, we can make III arbitrarily small on Ki and arbitrarily big in
a fixed neighbor hood of x,
Since Ki+2 - (Ki+1t is compact, there are finitely many holomorphic func-
tions li(l), ' .. ,ft,) in X such that for Pi := 2:~~ll/t) 12 the following hold:
3. Pseudoconvexity 267
l. sUPK Pi < 2- i .
~
2. Pi > 1 on Ki+2 - (Ki+d .
0
Using this estimate in the intersection of a local coordinate system for X with
(Kit, one shows that all derivatives of 2:i Pi converge compactly in X to
the corresponding derivatives of p. So P is Cfj'oo and again a plurisubharmonic
function. One can even show that P is real-analytic (see [DoGr60]).
Definition. A complex manifold X is called pseudoconvex if there
exists a nonnegative smooth plurisubharmonic exhaustion function P on
X (Le., a Cfj'oo function P with {x EX: p(x) ::; r} CC X for all r > 0
such that the Levi form of P is everywhere positive semidefinite).
If we can find for P a strictly plurisubharmonic function in X, then X
is called stricly pseudoconvex or 1-complete 1 . If p is strictly plurisubhar-
monic only outside a compact set K eX, then X is called 1-convex or
strongly pseudoconvex (at infinity).
In the literature a pseudo convex manifold is often called weakly 1-
complete.
in the unit polydisk pn = {t : Itil < 1 for i = 1, ... ,n} and a biholomorphic
mapping F : H -+ G - A. The mapping F extends to a holomorphic mapping
pn -+ G. If A = F-l(A) c pn ~s not empty, then it is an analytic hypersurface
in pn - H. Some lines L(t') = {t = (it, t') : tl E C} will intersect it in a
compact subset of pn - H; for other t' the intersection is empty (see Figure
V.I).
r ~' L{t')
A
H
There is a limit t~ with c: < It~1 < I such that the intersection of L(t~)
with A is not empty but in arbitrarily small neighborhoods of t~ there are
points t' for which the intersection is empty. If tEA n L(t~), then there is
a neighborhood U where A is given by a holomorphic equation f = O. The
function tl H f(tt, t~) has isolated zeros in U n L(t~), and by the theorem
3. Pseudoconvexity 269
of Rouche tl H f(tl, t') also has to vanish at some points of un L(t') for t'
near to to. This is a contradiction.
Thus F(pn) c G- A, and the domain G - A is Hartogs pseudoconvex.
{xo}=AnU={xEU: h(x)=···=fN(X)=O}.
U1 .- {z E pn IZll>g},
U2 .- {z E pn IZ21 > g},
U3 .- {z E pn I(Z3, ... , zn)1 < g}.
3. Pseudo convexity 271
, ZI 31
c
We have a meromorphic map from 2n to the Osgood space on given by
Wi = zd Zn+i, i = 1, ... ,n. Its graph is the set
We denote by X the closure of the part of X that lies over A - {o}. Let
X -+ A be the restriction of the canonical projection from A x on
11" :
to A. Then 11" maps a 1-dimensional projective space onto 0 and the rest
biholomorphically onto A - {o}.
The space X is an (n + I)-dimensional complex manifold, locally given by
the equations
Zi = WiZn+i for i = 1, ... , n,
Wi = W1 for i = 2, ... , n.
The set E(s):= {(zb ... ,2n) E A : zdzn+l = ... = Zn/Z2n = s} is an
n-dimensional plane for every s E p1, and A is the union of all these planes.
Since E(S1) n E(S2) = {o} for S1 =f S2, A is singular at the origin. It follows
that X is a vector bundle of rank n over 11"-1 (0) ~ p1.
Now we use the function p(z) = Li ZiZi on c2n. It induces a strictly plurisub-
harmonic function on the complex manifold A - {o}. The (n + 1)-dimensional
complex manifold X is strongly pseudoconvex by po 11", but not 1-complete,
since it contains the compact analytic subset 11"-1(0).
Pi = (t
v=1
wvwv) . (1 + t t,.,J".) .
".=1
{z = s + te : 0 ~ s ~ 1/2, 0~t~1},
{z=s+te: 1/2~s~1, 0~t~1}.
Here r > 0 is a very big number. The surface S bounds a tube G, which
converges to A as r tends to 00.
We look at the holomorphic tangent H in any point of S. We can consider H
as a real plane in A. By subtracting s in the fiber above s + t~ we pass over
from A to E x C. The hypersurface S is transformed diffeomorphically into
a convex cylinder over E and H into a contacting plane that does not enter
the interior of the cylinder. So H does not enter the interior of the tube G.
If H were contained in S, then the transformed H would lie in the boundary
of the cylinder and therefore be compact. So H itself would be a compact
analytic set. We saw that such a set does not exist. So there remains only
the possibility that H contacts S of first order; i.e., the intersection H n Sis
a real line. We can choose a complex coordinate ( = x + i y in H such that
our real line is exactly the x-axis.
If {! is a smooth defining function for S, then {! behaves on H like the function
y2. It follows that ({!iH )(~ > O. This means that the Levi form of {! is always
positive definite on the holomorphic tangent H. Now we can construct a
strictly plurisubharmonic function ~ in U - D (where U is a neighborhood
of D in .4) whose level sets are the manifolds Sr such that ~ converges to 00
when approaching D.2 It follows that X is strongly pseudoconvex.
Later on we shall prove that a strongly pseudo convex manifold is holomorphi-
cally convex, and since X contains no positive-dimensional compact analytic
subset, it is a Stein manifold. So there are many holomorphic functions in X.
Assume that there is a meromorphic function on A that has poles of order m
on D only. Then the coefficient of the highest polar part of f is a holomorphic
cross section 1J in the mth tensor power of the normal bundle of D. Because
this normal bundle is topologically trivial, 1J cannot have zeros on D. So f
tends to infinity approaching D, and no analytic set {f = canst} meets D.
This is a contradiction, since A is not analytically trivial. Every holomorphic
function on X must have essential singularities on D.
where
1
Q(w, h) = h· Vp(w) t + 2 h· Hess(p)(w) . h t,
2 We may assume that {! is globally defined and {! = T on Sr. Then we choose an
unbounded strictly monotonic smooth function h : R --+ R such that h" / h' is
very large. The function ~:= h 0 {! will do the job.
3. Pseudoconvexity 275
with the complex Hessian Hess(p)(w) = (PZ,Zi (w) I i,j = 1, ... , n ), and
. R(w,h)
~~ IIhll 2 = O.
is valid on these U ( w ).
Assuming that this is the case, for w E aX n B we define the analytic set
Exercises
1. Let X be a complex manifold and Y C X a closed complex submanifold.
Construct a nonnegative smooth function f : X -+ lR with the following
properties:
(a) Lev(f)(x,~) ::::: 0 for every x E X, ~ E Tx(X).
(b) For every x E Y there is a linear subspace P x C Tx(X) such that
Px + Tx(Y) = Tx(X) and Lev(f) (x, ~) > 0 for ~ E P x , ~ f:. O.
2. Let X be a I-complete complex manifold and il, ... , fq E O(X). Show
that X - N(il, ... , fq) is q-complete.
3. Let Gee en be a strictly convex domain with smooth boundary. Con-
struct the differentiable family A(w) of analytic tangents to aG.
276 V. Stein Theory
is a Stein manifold.
4. Cuboids
Distinguished Cuboids. If Q is a closed subset in en, then in this
section we say that something is defined on Q if it is defined in a small
neighborhood of Q. Two objects are called equal on Q if they coincide in a
small neighborhood of Q. SO actually we consider "germs" along Q.
Definition. A cuboid is a closed domain
PROOF: First we consider a very simple system A. We just take the case
where ml = 2 and all other mi = 1. Then
.(
11) Zl,···, Zn·-
)._-1-1211"1
.
O:j
~Ol (w, Z2, ... , Zn) d w.
W - Zl
~ 21-plane
_ _ ----i--- /
Ql
------~-
/ ~ --""-- - - - - - ---------
---._-.
-------- ~..
Qo
...
-._._..... Z2, ... , Zn
Figure V.3. Cohomology of a cuboid -.-__ ,.
The next step is an induction on the number m = l:i mi. We just han-
dled the case m = 2n + 1. Now we assume that m > 2n + 1 and that the
proposition already has been proved for any number smaller than m. We put
s: s:
io := max{ i : 1 i 2n and mi ~ 2} and define
278 V. Stein Theory
By the induction hypothesis, we have 'I'ft", = 6(11') and '1'ft"1I = 6(TJ") with
cuboid coverings %" for Q' and %''' for Q". Hence, , - 6{ TJ', TJ"} is a cocycle
with respect to the covering %' that is given by a holomorphic function 9 on
the surface
Q , n Q " = { z E Q : Xio = aio
mi-l}
0 •
A(w)
U·
BY
&Y'
PROOF: We may work in en and assume that Xo is the origin. We use the
differentiable family of analytic tangents A(w) = N(fw) with w E BY n U*.
280 V. Stein Theory
Take a positive number r so big that we always have 11/ fw(z)1 < r for
w E 8Y n U* and z E Y' n U*. In a small neighborhood of w we have
Il/fw(z)1 > r. Therefore, by compactness there are finitely many of these
fw, say It,···, fs, with maxd1/ h(z)1 > r for all z E 8Y n U*. For a fixed i
we denote by Q~ the cuboid {z' = (Zn+ 1, ... , Zn+i) : Iz'l ~ r} and by Q~' the
cuboid {z" = (Zn+i+l"'" zn+s) : Iz"l ~ r}. We put Q* = U* x Q~ X Q~'.
The sub manifolds Xi C Q* are obtained in the following way: Consider the
graph of the i-tuple (1/ It, ... , 1/ fd in U* x Q~, take the union of those
connected components that contain points over Y, and multiply this union by
Q~'. The manifold Xi has dimension N - i. In X i - 1 we have the holomorphic
function Zn+i 'h(z) - I, which vanishes on Xi to order 1.
Finally, the projection U' of Xs contains no point of 8Y. Hence, it is contained
in Y. Since U* nY' is contained in U', the proposition is proved. _
Enlarging U'. We use the same notation as before and construct a set
fj' C U* n Y that is bigger than U' where the vanishing theorem still holds.
For that purpose we take an open set Y' instead of Y' with Y' cc Y' cc Y
and U' C Y'. We need a bigger r> r such that we still have 11/ fw(z)1 < ron
Y' for wE 8Ynu*. But now maxdl/ h(z)1 > rno longer is true on 8YnU*.
So we add some functions to the old ones, fsH,"" Is, such that we get the
old situation again.
We get the Q~ and the Q~', for i = 1, ... , s. But we write Q~ instead of Q~, Q~'
for Q~', and Xi for Xi. Then we have Q* = U* x Q~ X Q~' c eN with N < N.
The projection of Xs is a compact set fj' C Y n U* with Y' n U* c fj'. So
again we have the vanishing of the cohomology.
The following statement is proved in the next paragraph.
(*) Every holomorphic function on U' can be approximated arbitrarily
well by holomorphic functions on fj'.
Suppose all cochains are given with respect to a covering %' of fj' ~ Xs-. If
e E Zl(%" e e
0) is a cocycle over fj', we have = 8('/]) over U' and = c5(if)
over fj', with cochains '/] and Ti with respect to the covedngs Un U' and un fj' .
Then Ti - ", is a holomorphic function over U', which we approximate by a
sequence of holomorphic functions fiJ E O(fj'). We may replace the cochain
if by ifj := if -?iJ and obtain that Tij approximates,/] over U'.
Now we can prove the following theorem.
4. Cuboids 281
Finally, we wish to replace U* by its open kernel (U*t. For this we exhaust
U* by relatively compact cuboids U; with U; cc U;+1' and choose the
s
functions /i, i = 1, ... , (from the "enlarging" process), independently of j.
Then we can approximate cochains on Uj C U; by those on Uj C U;, and
we can approximate these again by cochains on U;+l. So for any l-cocycle ~
on (U*t n Y we obtain (as a limit) a cochain 7] on (U*)O n Y with 07] = ~.
Then we have the following theorem.
4.7 Theorem. If Xo E 8Y and U* is a small cuboid in a local coordinate
system around xo, then H1(y n (U*t, 0) = O.
Exercises
1. Let G c c en be a strictly convex sub domain with smooth boundary.
Use coverings with distinguished cuboids to prove that H1(G, 0) = o.
2. Prove for the same domain G that every holomorphic function in G can
be approximated by polynomials.
5. Special Coverings
Cuboid Coverings. Again let X be an n-dimensional complex manifold
andp a smooth real-valued function on X withp(x) -+ 2 for x -+ 8X.Assume
that p is strictly plurisubharmonic on {p(x) = I}, and let Y := {x EX:
p(x) < I}. We also consider open sets Y = {x EX: p(x) < 1 + a}, where
Q
o $; a < c and c is a very small positive number such that also Y is strongly
Q
pseudoconvex.
Since 8Y is compact, it can be covered by finitely many cuboids Ut around
points Xi E 8Y which are always contained relatively compactly in a local
coordinate neighborhood such that Xi is the origin of the coordinate system.
If U; = {z : Izl $; Ti} and 0 < ti < Ti, then we may also assume that the
open sets Ui = {z : Izl < til cover 8Y. By adding more cuboids, the ti can
be chosen as small as necessary.
We also need these properties for the sets 8Y and for sets 8Y, where Y is
Q ,
an open set between Y and Y For that we have to move the centers of the
Q •
We call (au, au·) a special pair of coverings for (Y, Y) (cf. Figure V.5).
The B u h hIe Method. Let a small e > 0 be fixed in the sense of the pre-
ceding paragraph. We choose a special pair (au, au·) of coverings for (Y, V).
Since Hi (Ui n Y,O) = 0, it follows that %' n Y is acyclic, and every coho-
mology class of Hi (Y, 0) can be given by a cocycle ~ E Zi (%' nY, 0).
Let Xo E BY be an arbitrary point and i an index such that Xo E Ui . Then
we have a cochain TJ = {TJj} E CO(au n Ut nY, 0) with 6(TJ) = ~1(Ut n Y).
We change rlj to 0 if Uj r:t. Si . Then 17 is a cochain over Y, and the cocycle
( - 8(TJ) represents the same cohomology class as f But ~ - 8(17) vanishes on
UinY.
Now we use the bubble method. By altering the strongly plurisubharmonic
function p a little bit on some compact subset of Ui (let us say by subtracting a
smooth function with compact support) we enlarge Y a little bit to a strongly
pseudoconvex open subset Y ::> Y with Y - Y cc Ui . Then every cohomology
284 V. Stein Theory
Frechet Spaces. The following theory can be found in the famous multi-
graphed notes [CS53J. See also [GuR065J.
Assume that V is a complex vector space.
fo +W := {fo +f : fEW}
The spaces CO(tf/ n Y,O), Zl(tf/ n Y,O), and Zl(q;-n Ya,O) are Fr~chet
spaces, as is Zl(q;- n Ya , 0) EB CO(%, nY, 0). Since the cohomology can be
extended from Y to Ya , it follows that the map
h ._ { hl on Yo - A,
.- h2 +g onUnYo ,
on F be defined by
p(x, w) := p(x) + wW.
The manifold Y = {(x, w) E F : x E Z and p( x, w) < I} is a strictly
pseudoconvex tube around the zero section in Flz. However, Z is not compact
now; it is only relatively compact in X. The tube extends to a neighborhood
of Z. The boundary of the restriction to Z has an "edge" BY n (B Z x C).
But the proof of finiteness of cohomology goes through in the same way as if
there were no edge. We have to apply the method of analytic tangents to BY
and {)Z simultaneously. If V is a holomorphic vector bundle on X, we denote
the pullback of V to F by 8. It then follows that dime HI (Ylz, 8) < 00. But
in this situation all the tensor powers of F are again the trivial line bundle.
We have V ® F-m !2::! V for every m. From this we conclude the following:
5.9 Theorem. If Z is a special Stein manifold (as described above) and V
a holomorphic vector bundle on Z, then HI(Z, V) = O.
Exercises
1. Let E be a Frechet space and let U = U(O) c E be a neighborhood such
that U is compact. Prove that E is finite-dimensional.
2. Let u : E -+ F be a continuous linear map between Frechet spaces. Prove
that if u(E) is finite-dimensional, then u is compact.
3. Let E be a Frechet space. A subset M C E is called bounded if for every
neighborhood U = U(O) c E there is an ro E 1R. such that Mer· U for
every r ~ ro. Show that a compact set K C E is closed and bounded. Let
X be a complex manifold. Show that every closed and bounded subset
K C O(X) is compact.
4. Let X be an n-dimensional Stein manifold and Y C X a closed subman-
ifold of dimension n - 1. Prove that the line bundle N x (Y) is positive.
5. Let F = O( -1) be the tautological bundle over 1P'2. Prove that F is
negative and that
Now we replace the points Yi by points Yi very near to yi, with p(Yi) > S,
and the functions It by Ii (the defining function for A(Yi)) such that we still
have Ig(x)1 > Ron axs nUl, for g:= (l/h, ... ,l/Im,).
We choose Rand m1 so big that Ig(x)1 < R in K n Ui.
Now we add a smooth function h with support U 1 that is strictly negative on
Ul . We let X := {x EX: p(x) + hex) < s} and may assume that the points
Yi are not contained in X and that Ig(x)1 > R on X - XS. We can make h
and its derivatives so small that P + h is still strictly plurisubharmonic in Ui
(see Figure V.6).
U*1
PROOF: There is a maximal swith s < S:S: 00 such that every holomorphic
function on Xs can be approximated by those on Xs. We have to prove s = 00.
If this were not the case, we could approximate each holomorphic function on
Xs by those on X s+ c with E > O. This would imply the approximation of the
holomorphic functions on Xs by those on X s+c and contradict maximality. _
It is always the case that Ks C Kt, and, due to the approximation results,
Kt n Xs = Ks. Suppose that there exists at> s such that Kt is bigger
than Ks. Then we can find a minimal tf ~ s with Kt C X 1'. It follows that
tf< t (since X t is holomorphically convex), and there is at least one point
Xo E Kt n oXt ,. We choose a very small number E > 0 and consider the set
Xt'+c'
Let A(xo) C Xt'+c be the analytic tangent to Xt' at xo. We may assume
that there is a neighborhood U = U(xo) and a holomorphic function gin U
such that A(xo) = {x E Un Xt'+c : g(x) = O}, and we find a meromorphic
function f on Xt'+c with poles only on A(xo).
294 V. Stein Theory
PROOF: This has already been proved for every distinguished Stein mani-
fold X s , s 2: 1. By approximation of coboundaries we get the result for X .
•
The Compact Case. Let X be a compact complex manifold, and
V a holomorphic vector bundle on X. We can find a pair of finite open
coverings (%', %'*) for X consisting of concentric cuboids Ui cc Ut such
that H 1 (Ui , V) = Hl(Ut, V) = 0 for all i. Then CO(%" V), Zl(%" V) and
Zl (%' * , V) are Frechet spaces. The finiteness of the coverings is essential here!
Again we consider the linear mappings
Exercises
1. Apply the results of this section to domains in en.
What do strong and
strict pseudoconvexity mean in this case?
2. Let X be a strongly pseudoconvex complex manifold. Prove that there
is a compact subset K C X such that every irreducible compact analytic
subset A C X of positive dimension is contained in K.
3. Let X be a Stein manifold and V a holomorphic vector bundle over X.
Prove that for every Xo E X there exists an open neighborhood U =
U(xo) c X and holomorphic sections 6, ... , f.N E rex,
V) such that for
every x E U, Vx is generated by 6(x), ... ,f.N(X).
Chapter VI
Kahler Manifolds
1. Differential Forms
The Exterior Algebra. Let X be an n-dimensional complex manifold
and x E X a point. We consider complex-valued alternating multilinear forms
on the tangent space Tx(X) (abbreviated by T).
We assume that the reader is familiar with real multilinear algebra!
Definition. A complex r-form (or r-dimensional differential form) at
x is an alternating lR-multilinear mapping
cp:Tx···xT~C.
~
r-times
Remarks
1. By convention, pO = c. pI = P(T) is the complexification of the 2n-
dimensional real vector space T; = HomJR(T,lR).
2. Since T is (2n )-dimensional over lR, every alternating multilinear form
on T with more than 2n arguments must be zero. So pr = 0 for r > 2n.
3. In general, pr is a complex vector space. We can represent an element
cp E pT uniquely in the form cp = Re(cp) + i Im(cp), where Re(cp) and
Im(cp) are real-valued r-forms at x. Then it follows directly that
dimcpr = C;)·
4. We associate with each element cp E pr a complex-conjugate element
rp E pr by setting c,o(v}, ... , vr ) := cp(v}, ... , v r ). We have:
(a) rp = Re(cp) - i Im(cp).
(b) 7p = cpo
(c) (cp + t/J) = -;p + ¢.
(d) cp is real if and only if c,o = cp.
Now let cp E pr and t/J E ps be given. The wedge product cp A t/J E pr+s is
defined by
298 VI. Kahler Manifolds
Then <p A1J!(v, w) = <p(v) ·1J!(w) - <p(w) ·1J!(v) for I-forms <p, 1J!, and in general:
=
1. <p A 1J! (-lt s1/J A <p (anticommutativity).
2. (<p A 1/J) A W=<p A (1J! A w) (associativity).
In particular, t.p A <p = 0 for every I-form <po
We also write /{ F instead of Fr. With the multiplication "A" the vector
space
00 2n
AF:= EBArF = EBF r
r=O r=O
becomes a graded associative (noncommutative) (:-algebra with 1. It is called
the exterior algebra at x.
For the moment let Wj := dZ j and wn+j := d:Zj for j = 1, ... ,n. Then Fr is
generated by the elements
The number of these elements is exactly (2;). So they form a basis, and every
<p E Fr has a uniquely determined representation
<p=
Forms of Type (p, q). Now we consider the influence of the complex
structure.
1.1 Proposition. If <p E Fr is a nonzero form of type (p, q), then p and q
are uniquely determined.
PROOF: Suppose <p is of type (p, q) and of type (p', q'). Since <p =I 0 there
exist tangent vectors Vl, ... ,Vr such that <p( VI, •.• , vr ) i= O. Then
1. Differential Forms 299
Therefore, cpcq = cP' c q' for each c E C. If c = e it , then eit(p-q) = eit(p' -q'),
for arbitrary t E IR. That can hold only when p :- q = p' - q'. Since p + q =
p' + q' = r, it follows that p = p' and q = q'. •
1.2 Proposition.
1. Ifrp is of type (p,q), then rp is of type (q,p).
2. If rp, 'IjJ are both of type (p, q), then rp + 'ljJ and>..· rp (with>" E C) are also
of type (p, q).
3. If rp is a form of type (p, q) and'IjJ of type (p', q'), then rp "'IjJ is of type
(p+p',q+q').
rp = L rp(p,q) ,
p+q=r
PROOF: The existence of the desired representation follows from the fact
that the forms dZ i1 " .•. " dz ip "<lzj1 " ... " <lzjq constitute a basis of Fr.
For the uniqueness let
Then
L 'ljJ(p,q) = 0 for 'IjJ(p,q) := rp(p,q) - ;p(p,q).
p+q=r
It follows that
For fixed (VI, ... ,VT ) we obtain a polynomial equation in the ring e[c, c], and
all coefficients 'ljJ(p,q) (VI, •.. , V T ) must vanish. Since we can choose VI, ... , V T
arbitrarily, we have cp(p,q) = ij5(p,q) for all p, q. •
where the coefficients ~II are smooth functions. Then we can apply df to such
a vector field and obtain
n n
df(~) = 2:~lIfzv + 2:Lhv.
11=1 11=1
For any open set U the differential can be generalized to the Poincare map
d = du : dr(U) -t d r + 1 (U) in the following way:
du(w) :=
One can show that this definition is independent of the choice of the local
coordinates and that d has the following properties:
1. If f is a smooth function, then df is the differential of f.
2. dis IC-linear.
3. dod = O.
4. dv(wlv) = (duw)lv, for w E dr(U).
5. If <p E dr(U) and 'IjJ E dS(U), then d(<p /\ 'IjJ) = dip /\ 'IjJ + (-It<p /\ d'IjJ.
6. d is a real operator; that is, dfp = dip. In particular, dip = d(Re <p) +
i d(Im<p).
The differential dw is called the total derivative or exterior derivative of w.
Now we consider the decomposition of an r-form into a sum of forms of type
(p, q). We use some abbreviations. If I = (i 1 , ... , ip) and J = (jI, ... ,jq) are
multi-indices in increasing order, we write
instead of
ai1 ... i",j, ... jqdzi , /\ ... /\ dzi " /\ azj, /\ ... /\ azjq.
So a general r-dimensional differential form w has the unique representation
w = 2: L aIJdzI /\azJ,
p+q=r III=p
IJI=q
Here of has type (1,0), 8f has type (0,1), and df type (1,1).
1.4 Proposition. If <p is a form of type (p,q), then d<p has a unique de-
composition d<p = 8<p + 8<p with a (p + 1, q)-form 8<p and a (p, q + I)-form
8<p.
Then d<p = 8<p + 8<p is the unique decomposition of the (p + q + I)-form d<p
into forms of pure type. _
For general r-forms the derivatives with respect to z and z are defined in the
obvious way. (In the French literature one writes d' <p instead of 8<p and d" <p
instead of 8<p.)
1.5 Theorem.
1. 8 and 8 are C>linear operators with d = 8 + 8.
2. 88 = 0, 88 = 0, and 88 + 88 = o.
3. 8,8 are not real. We have
8<p = fi<p and 8<p = Ocp.
4. II <p is an r-Iorm and'lj; is arbitrary, then
8( <p 1\ 'I/J) = 8<p 1\ 'Ij; + (-1 t <p 1\ 'I/J,
8(<p 1\ 'I/J) = 8<p 1\ 'Ij; + (-It <p 1\ 8'1j;.
PROOF: It suffices to prove this for forms of pure type. Then the formulas
can be easily derived from the corresponding formulas for d and the unique-
ness of the decomposition into forms of type (p, q). _
Exercises
1. Let X be an n-dimensional complex manifold, f a smooth function on
X, and w a smooth form of type (n - 1, n - 1) on X. Prove that
2. A real differential form of type (1,1) is called positive if iw{v, v) > 0 for
v
every tangent vector =1= o. Prove that i88/1z/lz is a positive form on en.
3. Consider the (n, n - I)-form "10 on endefined by
n
"10 := (_1)n(n-l)/2 2) -l)kZk dz1 /\···/\ dZ n /\ azl/\···/\ di;./\ ... /\ azn
k=l
2. Dolbeault Theory
Integration of Differential Forms. We recall some results from real
analysis.
Let G c en ~ ]R2n be a domain. A closed subset MeG is called an
r-dimensional submanifold of class <;fk if for each z E M there exists a neigh-
borhood U of z in G and a <;fk map f : U --+ jR2n-r such that:
1. Un M = f-l(O).
2. The rank of the (real) Jacobi matrix of f is equal to 2n - r.
304 VI. Kahler Manifolds
It follows from the (real) implicit function theorem that for any z E M there
is a neighborhood U of z, an open set W c IRr , and a '{/k map r.p : W -7 G
such that:
1. r.p maps W homeomorphically onto U.
2. The rank of the Jacobian matrix of r.p is equal to r.
Then r.p is called a local parametrization of M.
An r-dimensional differential form W = 2: p +q =r 2:[,J aIJ dz[ A cLzJ is called
an r-form of class '{j'k if all coefficients are functions of class k. Then dw is
an (r + I)-form of class 'ifk-l. We always assume that k ~ l.
If 4> : Bl -7 B2 is a 'ifk map between domains Bl c em and B2 c en, then
every r-form w of class '{j'k on B2 can be lifted back to Bl by
In In
w:= a(xl + iYI,"" Xn + jYn) dx1dYl ... dXndYn.
If MeG is an r-dimensional sub manifold of class C(?k, w an r-form of class
C(j'k, and K C M a compact subset that is contained in the range of a local
parametrization r.p : W -7 M, then we define
The integral does not depend on the parametrization if we allow only changes
of parameters with positive Jacobi determinant. If K cannot be covered by
a single parametrization, then one uses a partition of unity.
2. Dolbeault Theory 305
{ w = ( dw.
Jac Jc
PROOF: Let z E G be fixed, choose an r > 0 such that the disk Dr(z) lies
relatively compactly in G, and define Gr := G - Dr(z). The differential form
w(z) := ~. f(() d(
27T1 (- z
is of class 'ifl in an open neighborhood V = V(Gr), and its Poincare differ-
ential is
dw(z) = -~ . (of jac,)(() d( 1\ dC,.
27T1 (- z
By the theorem of Stokes we have
1Cr
dw(z) = (
Jacr
w(z) = (
Jac
w(z) - (
JaOr(Z)
w(z).
If 0 < c < rand Ac,r := Dr(z) - Dc(z), then for any continuous function 9
on Dr(z),
J g(() d( 1\ d(
A.,r ( - Z
= l r 121< g(z + e· eit ) ·2ledtde
.
e' e l
't
l
c 0
2i
r
10 2
1< g(z + e . e it ) . e- it dt de.
This integral exists and stays bounded if c tends to zero. So
In order to show that the limit on the right side is equal to fez) we estimate
Ilaor(z)
f w(z) - fez) I = 12:i 127r fez + re it ) • idt - :7r ! fez) dt I
= 12~ 127r (f(z + re it ) - fez)) dt I
< sup If(z + re it ) - f(z)1 -+ 0 for r -+ o.
[O,27r]
1.
Chf(z) := -2 f (f«) d( A i(,
7r1 la - z
for bounded functions f E '6'1 (G).
u z
( ) = _1
2.
7r1
i C
f« + z) dl" A d7'
( " ",
Uz(z) =
~ f 8f /8((+z)d(Ad(
lc
27r1 (
~ f 8f /8(() d( A d(
2m lc (- z
= ~ f 8f/8(() d( Ad(
2mlD (-z
since IlaD == o. •
U2(Z) =
1
-2 .
7rI
1 h(()
-;- d(
G-D" - Z
1\
-
d(.
Then U Z1 = g1 (we can apply the previous corollary, since g1 has compact
support), and for k ~ 2 we get
So 1is holomorphic in G.
-
Dolbeault's Lemma Before proving the a analogue of Poincare's
lemma we need the following result.
2.6 Proposition. Let P cc Q be polydisks around the origin in en. Let
9 be a smooth function in Q that is holomorphic in Zk+b"" Zn, for some
k ~ l.
Then there exists a smooth function u in Q that is again holomorphic in
Zk+l,"" Zn such that U Zk = 9 on P.
(
U Zb"" )._ -1-1 e«() .
Zn .- 2 .
1l"1 C
g(Zb'" ,Zk-l, (, Zk+1,"" Zn) dl" d7'
I"
., - Zk
., 1\ .,.
Then there exists a constant k independent of wand a form 1/J of type (0, q -1)
on G with a1/J = wand 111/J1I ::; k· M.
Siu and Range generalized this theorem to domains with piecewise smooth
boundary (see [RaSi]). L. Hormander has given a quite different proof for the
solution of the a-equation with L2-estimates on pseudo convex domains using
methods of functional analysis (see [Hoe66]). In the meantime there exists a
big industry of solving a-equations, but we do not want to go here into detail.
We define
{cp E dP,q (U) : acp = O} for 0 ::; q ::; n,
.- 8(dp,q-l(U» for 1 ::; q ::; nand BP,o(U):= O.
Then Bp,q c Zp,q, because 8 0 8 = 0 (respectively 0 C OP (U».
2 Here C stands for the set of locally constant functions.
2. Dolbeault Theory 311
We have
For q 2: 1 the condition Hp,q(U) = 0 means that for every 'P E .f2Ip,q(U) with
8'P = 0 there is a 7/J E .f2Ip,q-l(U) with 87/J = 'P. From the solution of the
a-equation (using, for example, (Hoe66], chapter IV, or Dolbeault's lemma
and an approximation theorem due to Oka) we obtain that HP,q(G) = 0 for
every strictly pseudoconvex domain G c en and q 2: 1.
If U is connected, then HO(U) = C. If U is star-shaped, then Hr(u) = 0 for
r > o.
Here 'P = ('Pi) is an element of CO(%" AP'o F(X)) with J'P =~, since
In Uij we have
8<pj - 8<Pi = 8~ij = o.
:!herefore, a global (p, I)-form w on X can be defined by wlu; := 8<pj. Now,
ow = o. So wE Zp,1(X).
If ~ is a coboundary, ~ = J'f/ for some 'f/ E CO(%" n>:-), then 'f/j - 'f/i =
~ij = <Pj - 'Pi on Uij , and a global (P,O)-form 7/J on X can be defined by
7/Jlu; := 'f/i - <Pi· We get
312 VI. Kahler Manifolds
Remark. Dolbeault's theorem is also true for forms of type (p, q) with
q > 1. For the proof one has to introduce higher cohomology groups
Hq(X, n~), to generalize Theorem B for those cohomology groups and to
show that Hq(X, n~) ~ Hp,q(X).
where Hr(x, C) denotes the cohomology group with values in the set of
locally constant functions (isomorphic to the singular cohomology group with
values in C).
Let OU be an open covering of X such that all intersections ULO " ' Lk are con-
tractible. In the case r = 2 the de Rham isomorphism
2. Dolbeault Theory 313
is given as follows:
Let wE d 2 (X) be given, with dJ.JJ = O. On every Uv there exists an element
(3v E .0"1 (Uv) with
wlu... = d{3v.
Then d({31J. - (3v) = 0 on Uvw Therefore, on every UVIJ. there exists a smooth
(complex-valued) function IvlJ. with
Exercises
1. Let 'fJo be the (n, n-l)-form defined in Exercise 1.3, and I a holomorphic
function on an open neighborhood of the closed ball Br(O). Prove that
(n - I)!
1(0) = (2rri)n
r
JaBr(O)
I(z)
IIzll 2n . 'fJo
3. Kahler Metrics
Hermitian metrics. Assume that X is an n-dimensional complex man-
ifold.
Hx = L 9ij(X) dziazj,
i,j=l
where o(t) = a.8j8t = I:v a~(t)8j8zv+ I:v (i~(t)8jOzv and a = (al, ... , an)
in local coordinates. So
L 9ij(a(t))a~(t)Qj(t) dt.
i,j
W = WH := i· Lgijdzi 1\ dZj .
i,j
I
Let G = (gij i,j = 1, ... , n) be the (Hermitian) matrix ofthe coefficients of
e,
H, and 1] the coordinate vectors of two tangent vectors €,.,.,. Then H(€,.,.,) =
e·G·ijt.
If we apply a holomorphic coordinate transformation
we obtain
i,j
i . (e· G . ijt - 1] . G . t)
-2Im(H(€,.,.,)).
The form WH is called the fundamental form of the metric H.
316 VI. Kahler Manifolds
1
Zi = Wi + 2"w t
. Ai . w, i = 1, ... , n,
Since (Zi)wj (0) = Oij, we get (G 0 z)w.>. (0) = G z .>. (0) for all A. So Gw.>. (0) =
G z ". (0) + Ai. The first derivatives of the functions 9ij have to be zero at o.
We can achieve this by setting
Since dJJJ = 0, it follows that the matrices Ai are in fact symmetric (use the
equations of the lemma). So geodesic coordinates exist at Xo. •
The Fubini Metric. The complex projective space IPn is one of the most
important examples of Kahler manifolds. Let
be the canonical projection from C n+ l - {O} onto IPn. The unitary linear
transformations LA(Z) = z·A t ofC nH (with A E U(n+I), i.e., A E GLn(C)
and At. A = En) give biholomorphic transformations cp = CPA: pn -+ pn, by
CPA(7f(Z)) = 7f(LA(Z)). The set of these is the group PU(n + 1) of projective
unitary transformations. If Xo, Xl are arbitrary points in the projective space,
then there exists a projective unitary transformation cp with cp(xo) = Xl·
On C n +l we have the canonical strictly plurisubharmonic function
Deformations. There are many compact Kahler manifolds that are not
projective algebraic. There are even examples of Kahler manifolds where
every meromorphic function on them is constant.
The Kahler property is invariant under small holomorphic deformations, but
not under large ones (see [Hi62], and also [GrPeRe94], VII.6.5).
Definition. Assume that X is a connected (n + m )-dimensional com-
plex manifold, Y an m-dimensional complex manifold, and 7r : X -t Y
a proper surjective holomorphic map that has rank m at every point.
Then (X, 7r, Y) is called a holomorphic family of compact n-dimensional
complex manifolds.
The first statement can be found in many books on Kahler manifolds (for
example in [MoKo71J). The original proof of the second statement was given
by H. Hironaka.
Exercises
1. Let X be a complex manifold and E a holomorphic vector bundle over
X. Use local frames as described in Exercise 2.3. A Hermitian form H
on E is an assignment of a Hermitian form Hx to each fiber Ex such that
(~i I~j) := H(~i,~j) is smooth for every local frame ~ = (6,.·· q ). Let ,e
h~ be the matrix h~ := ( ~i Iej ) ). Calculate a transformation formula
e
of h~ for changing from to another frame e'.
We call H a Hermitian
scalar product (or a fiber metric) on E if Hx is positive definite for every
x EX. In this case, prove that if Xo E X is fixed, then there is a local
frame at Xo such that h~(xo) = Eq and (ah~)xo = o.
2. For z E e n +1 - {OJ consider the linear map
cpz : en+! -t T1r (z) (IPn) ,
which has been defined in Section IV.5. Show that the Fubini-Study
metric H is given by H(cpz(v), cpz(w» = (v Iw).
For Z E en +1 with IIzll = 1 let Hz := {w E en+! : (zjw) = OJ. For
w E Hz with IIwll = 1 define
a(t) := 1r«cost)z + (sint)w).
Prove that a is a closed path of length 7r. Using the fact that every
geodesic on IPn is of this form, prove the formula
(A I B) := det( (3; j bj ))
and IAI = (A IA)1/2. Prove that there is a Kahler form won Gk,n locally
given by w = iaaloglAI.
4. Assume that X is a connected complex manifold and that A c X is a
nowhere dense analytic set. Prove that if h is a bounded pluriharmonic
function on X - A, then it can be extended as a pluriharmonic function
toX.
5. Let Been be a closed ball. Is there a plurisubharmonic function h on
en - B with limz-+B h(z) = -oo?
6. A Kiihler metric H on a complex manifold X is called complete if X is a
complete metric space with respect to the associated distance function.
Construct a complete Kiihler metric on en - {OJ.
322 VI. Kahler Manifolds
It follows that
and
Remarks
1. In general coordinates one would get
wn = 2n n! g dXl 1\ dY1 1\ . .. 1\ dX n 1\ dYn,
The traditional notation "dV" does not mean that the volume element is the
differential of some (2n-l)-form. It is easy to see that this is impossible, e.g.,
on compact manifolds. Moreover, in the case of a compact Kahler manifold
(X, w) it follows that f x wn = 2nn! f x dV > O.
4.1 Proposition. If (X,w) is a compact Kiihler manifold, then w k defines
a nonzero class in the de Rham group H2k(X) for 1 :::; k :::; n = dim(X).
This is a contradiction. •
The Star Operator. Let Zl, •.. ,Zn be Euclidean coordinates at Xo EX.
We use real coordinates in the following form:
Then any r-form cp can be written as cp = 2:1 a1 dU1, where the summation
is over all ascending sequences 1= (i b ... , i r ), 1:::; il < ... < ir :::; 2n.
Definition. The (Hodge) star operator * : dr(X) -+ d 2n - r (x) is
the C-linear map defined by
The star operator depends on the metric (which determines Euclidean coor-
dinates) and on the orientation (which is determined by the order of the real
coordinates), but on nothing else. So it is globally defined and invariant under
unitary coordinate transformations (in the sense that * (cp 0 F) = (* cp) 0 F
for these transformations).
324 VI. Kahler Manifolds
4.2 Proposition.
1. If cp is an r-form, then * * cp = (-It· cpo
dV if 1= J,
2. dUI 1\ * dUJ = { 0
o th enmse.
.
3. * is real; i. e., * (j5 = *cp.
PROOF: (1) We have * * dUI = cI',IcI,!' du], and
*
cp 1\ cp = 2p +q dV.
L L
S
is - v C1cduac 1\ dUa'c'
v=O ICI=v
4. The Inner Product 325
•
Again let cp = dz[ f\ azJ with III = p, IJI = q and p + q = r. Then * cp is a
(2n - r)-form, and it can be written as
v+Jl=r IKI=n-v
ILI=n-Jl
c= (e itl
'. 0), ti ElR for i = 1, ... ,n.
o e itn
For I = {il' ... , ip} C N = {I, ... , n} we set t J := til + ... + tip' Then
F*cp = exp(i(tJ - t.r))· cp
and
[t follows that
*CP= L aKLazKl\dzL ·
IKI=n-p
ILI=n-q
On the other hand, we know from the lemma that cp 1\ "* cp = 2p+q dV. Com-
paring the coefficients, it follows that a = 2P+ q- n i -n( _1)q(n- p)+n(n+l)/2 .
•
Remark. The formula is valid only with respect to Euclidean coordinates.
And one has to observe the rule that e1,1' = eJ,J' = 1.
4. The Inner Product 327
(In local coordinates l?vt/J has the form C(ZI' ... ' zn) dV with a differentiable
function c with compact support. We already know the meaning of the inte-
gral over such a 2n-form.) One can show that this definition is independent
of the choice of the partition of unity.
*
If cp is an r-form, then t/J = cp /\ cP is a 2n-form that locally is equal to a form
cdV, with c :::: 0 and c(x) = 0 if and only if CPx = o.
Definition. The inner product of two r-forms cp, t/J on X is defined by
4.5 Proposition.
(3) We have *
t/J /\ cP = t/J /\ * cP = cP /\ * t/J.
°
(4) It is clear that (cp, cp) :::: always. If cP i 0, then there is a point Xo E
X with CPxo i O. If Xo E Uv and l?v(xo) > 0, then we can find a small
neighborhood V = V(xo) CC UV such that l?vCP = cdV on V, with c > 0
everywhere in V. It follows easily that (cp, cp) > o. _
Since ( ... , ... ) is a Hermitian scalar product on Jl1r (X), a norm on this space
is defined by IIcpli := (cp, cP //2.
4.6 Proposition. Two forms of different type are orthogonal to each other.
PROOF: Let cP, t/J be two forms of type (p, q), respectively (s, t), such that
*
p + q = s + t = r. Then cP /\ t/J is a form of type (p + n - s, q + n - t). If
s > p, then q > t and therefore q + n - t > n. If s < p, then p + n - s > n.
*
So cP /\ t/J = 0 in these cases. _
328 VI. Kahler Manifolds
In particular, we have (Tv>, rp) = ('IjJ, rp). If 'ljJu -t 'Ij;, then (T,p, rp) =
limv~oo ('ljJu, rp). This motivates the following.
5. Hodge Decomposition 329
T = lim 1/Jv {:=:} (T, 4') - (1/Jv, 4') -+ 0 for all 4' E .Q{2n-r(x)
1.'---+00
Exercises
1. Compute the volume of the complex projective space IPn with respect to
the Fubini metric, and the volume of a p-dimensionallinear subspace.
2. Let (X,w) be a compact Kahler manifold and Y c X a closed subman-
ifold with dim(Y) = m. Then vol(Y) = c . Jy
wm for some constant c.
Calculate this constant!
3. Try to define the product of a current and a differential form!
4. For T E jij'r(x)' define dT E jij'r+I(X)' by dT[4']:= (-It+ I T[d4']. Show
that dT is in fact a current with d(dT) = O. Calculate dT for the case
that T is a form or a submanifold.
5. Hodge Decomposition
Adjoint Operators. A complex vector space with a Hermitian scalar
product is called a unitary vector space. Let VI, V2 be two unitary vector
330 VI. Kahler Manifolds
1 x
dcp = Lv 1 d([lvcp) = Lv 1 d([lvcp) = Lv 1
u~ u~ au~
[lvCP = 0,
by Stokes's theorem. •
5.2 Proposition. The operator 6 := -* d"* : .91r +1(X) -+ .91 r (X) is the
adjoint of d:.91 r (X) -+ .91r + 1 (X).
PROOF: Let cP E .91 r (X), 'IjJ E .91 r + I (X) be two arbitrary forms. Then
cP A *'IjJ is a (2n - I)-form, and
Therefore,
(cp, -*d"*'IjJ).
•
5. Hodge Decomposition 331
PROOF: We consider only the first case. Let r.p be a form of type (p, q) with
p + q = r and 1/J a form of type (p + 1, q). Then r.p 1\ * 1/J is a form of type
(n - 1, n). Therefore, 8(r.p 1\ *1/J) = 0 and
It follows that
(or.p, 1/J) = Ix or.p 1\ * 1/J = Ix d( r.p 1\ * 1/J) - (-1 r Ix <P 1\ 0(* 1/J )
= (_lr+ H2n - T
Ix r.p1\**o(*1/J) = (r.p, -*&*1/J).
•
5.4 Proposition. We have
1. t5 = 19 +-:a'
2. 8t5 = 0, iH} = 0 and 1919 = 0,
3. ?J-:a + -:a?J = 0,
4. ?Jr.p = -:a("fj5) and -:ar.p = ?J("fj5).
The proofs are trivial.
where w is the fundamental form. If r.p is a (p, q)-form, then Lr.p is a (p+ 1, q+ 1)-
form. Since cU.,; = 0 and w is of type (1,1), we also have ow = 8w = O. It
follows that
and
- 1- 1- -
oLr.p = 2 o(r.p 1\ w) = 2 o<p 1\ w = Lor.p.
In addition, we have
Lr.p = Dfj5.
332 VI. Kahler Manifolds
A = (-lr"*L"*.
•
Note also that A is a real operator: A'P = Acp.
5.6 Proposition. The commutativity relations· iJ A AiJ and -:aA = A-:a
hold.
We leave the proof to the reader.
I,J I,J
-;gcp = -*8*cp
q
PROOF: In order to calculate -;gLcp and L-;gcp for a (p, q)-form cp we begin
with
1
Lcp = iW A cp (since cp A w = w A cp)
= (~t )..=1
dz).. A clz)..) A ( L aIJ dZI A clzJ)
1,J
with
334 VI. Kahler Manifolds
In total we obtain
•
5.8 Corollary. [1J,L] = -i8, [&,A] = -i19 and [8, A] = i1J.
The proof is an easy exercise.
o cp := (819 + -:a8)cp.
Since d and <5 are real operators, ~ is also real.
5.9 Proposition. On a compact Kahler manifold, 0 = D.
5. Hodge Decomposition 335
PROOF: We have 8"J = -"J8 and 8iJ = -iJ8, as can be seen from the
bracket relations. Therefore,
-i 0 -i(8"J + "J8)
8( -i"J) + (-i "J)8
8(8A - A8) + (8A - A8)8.
From this one easily derives that - i 0 = i O. •
A further consequence is
PROOF: We have
.D. do + od
(8 + 8)(iJ +"J) + (iJ + "J)(8 + 8)
(8 iJ + iJ 8) + (8"J + "J 8)
20.
•
This formula is not valid on general compact manifolds!
PROOF: (1) If D:.cp = 0, then (cp, dJcp) + (cp, Jdcp) = O. But (cp, dJcp) =
(Jcp, Jcp) and (cp, Jdcp) = (dcp, dcp). Therefore, dcp = Jcp = o.
(2) We have (dcp, J'fj;) = (cp, JJ'fj;) = 0 for all cp,'fj;. And if D:.'fj; = 0, then
(dcp, 'fj;) = (cp, J'fj;) = 0, and analogously, (JQ, 'fj;) = (Q, d'fj;) = 0 for all CP,Q.
So the spaces are mutually orthogonal. _
PROOF: We give only a sketch of the proof. For more details see [dRh84],
[Schw50], or [GriHa78], and for a very explicit and rather elementary proof
see [War71].
(1) If we assume that .ll1 r is finite-dimensional, then the proof is very easy. We
let V be the orthogonal complement of f!lJr + ~r. Then .ll1r = f!lJr EB (iJr EB V,
and it follows immediately that D:.cp = 0 for every cp E V.
(2) If .ll1 r is infinite-dimensional, then we consider its closure, the Hilbert
space .z2 of square integrable currents. We can define derivatives of currents
by
aT [ acp ]
au)cp] := -T au v .
So it is possible to speak of harmonic currents (Le., currents T with D:.T = 0).
Now, the Laplacian is an elliptic operator, the definition of which we now
recall.
A linear differential operator P has locally (in real coordinates UI, . . . ,un)
the form
P = L aa(u)Da : 'i&'oo(U,RM) -+ 'i&'OO(U,R N ),
\a\9
with (N x M) matrices aaand Da = a\a\/(auf 1 •• ·au~n). Then the symbol
of P at u is the linear map
ap(u,e) := L aa(u)e a : RM -+ R N ,
\a\=k
5. Hodge Decomposition 337
e
which depends on E IRn - {o}. The operator P is called elliptic if ap(u, e)
e
is injective for every u and every =/: O. Since aA(U,e) = -lIeIl 2 .id, it follows
that Ll is elliptic.
We state the regularity theorem:
Let P : dr(X) -+ dr(X) be an elliptic operator, and <p an element of
dr(X). If there is a square integrable current T with P(T) = <p, then
there is an r-form 'Ij; with T = T",.
If "Y is the orthogonal complement to ~r aJ ~r in .:£2, then simple Hilbert
space theory implies that .:£2 = !JjJr aJ ~r aJ "Y, and the sum is orthogonal.
Just as in the finite-dimensional case it follows that Ll(1") = 0, and using
approximation of currents by forms one sees that every harmonic current
belongs to "Y. From the regularity theorem it follows that "Y = ,Yt'r.
Finally, one shows that if 'Ij; is an r-form and T", = T + S + T<p, with a
harmonic form <p and currents T E ~r, S E ~r, then there are also forms
T E ~r, a E ~r such that 'Ij; = T + a + cp. _
PROOF: The de Rham group Hr(x) is the quotient of the closed forms
modulo the exact forms. Let <p E dr(X) be given with dcp = O. Then we
have a unique decomposition cp = d'lj; + 6{! + Hcp, with Ll(Hcp) = O. Now,
the rth Betti number. In Chapter IV only bi was introduced, since we did
not work with higher cohomology groups.
~p,q .- 19dP,q+l,
£p,q {rp E dp,q : Orp = o}.
We have Orp = 0 ~ arp = 19rp = 0, and therefore the three spaces are
mutually orthogonal.
5.15 Decomposition theorem for (p, q)-forms. We have
dP,q = f!8 p,q EB ~p,q EB £P,q.
The proof is the same as in the case of r-forms. One needs the ellipticity of
0, which can be shown directly (and is trivially given on Kahler manifolds,
since then 0 = ~~).
5.16 Theorem .. Hp,q(X) ~ £p,q(X) for all p,q.
The proof is the same as for Hr(x).
5.17 Finiteness theorem. dime Hp,q(X) < 00 for all p, q.
Using the theory of elliptic operators one can prove that £P,q is finite-
dimensional. This implies our result. On the other hand, we know al-
ready from Dolbeault's theorem that HP,O(X) ~ np(X) = HO(X, n~) and
HP,l(X) ~ Hl(X,n~), where n~ is the complex analytic bundle of holo-
morphic p-forms. By the results of Chapter V these cohomology groups are
finite-dimensional. This can be generalized to higher cohomology. So we have
two different ways to prove the finiteness theorem.
5.18 Serre-Kodaira duality theorem. On an n-dimensional compact
Hermitian manifold Hp,q(X) ~ Hn-p,n-q(x) for all p, q.
<p = L <p(p,q) ,
p+q=r
o = t::.<p = L t::.<p(p,q).
p+q=r
Hr(x) ~ EB Hp,q(X).
p+q=r
In particular,
PROOF: We have
340 VI. Kiihler Manifolds
•
5.22 Proposition. If L : J2f'r(x) -+ J2f'r+2(x) is the map given by L(cp) =
~cpt\w, then U(I) E ,Yer,r.
Exercises
1. Prove the commutativity relations iJA = AiJ and 19A = A19.
2. Prove the bracket relations [iJ,L] = -ia, [a, A] = -i19, and [a,A] =
i iJ.
6. Hodge Manifolds 341
6. Hodge Manifolds
Negative Line Bundles. Assume that X is an n-dimensional compact
complex manifold and that F is a holomorphic line bundle on X. We define a
new notion of negativity for F. The new definition is formally more restrictive,
and if we would generalize it to arbitrary vector bundles, it would, in fact,
be different from our old notion. But it turns out that for line bundles the
new negativity is equivalent to the old one.
Let a system of trivializations <p, : Flu, -+ U, x C (with transition functions
gUt) be given. A fiber metric on F is given by a system h of positive smooth
functions h, such that
PROOF: Let h be any fiber metric on F and consider a point Xo EX. There
is a trivialization <p at Xo such that h",(xo) = 1 and all first derivatives of h",
vanish at Xo. Then h",(x) . Iwl 2 is strictly plurisubharmonic at every (xo, w)
with w =1= 0 if and only if h", is strictly plurisubharmonic at Xo. Taking such
trivializations <p, we have only to set e, := (h,)-1/2. •
342 VI. Kahler Manifolds
PROOF: One direction is trivial. To show that every negative line bundle is
Griffiths negative one needs rotations in the fibers and a smoothing proce-
dure. For details see [Gr62]. _
It is clear that F is Griffiths positive if and only it is positive in the old sense.
PROOF: If So, Sl are two sections in a line bundle with so(xo) i- 0, then
there is a holomorphic function f in a neighborhood of Xo such that s 1 (x) =
f(x) . so(x) in that neighborhood. The quotient sI/so is defined to be equal
to f near Xo·
6. Hodge Manifolds 343
? s F'
7 \
L L
00 00
So for large m we have gm(XI) ~ l/(ri), and also 9m(X2) ~ l/(ri). Analo-
gously, hm(xd ~ l/(ri) and hm (X2) ~ l/{si). We take So = SO,m and
S1 = Sl,m for such a large m. Then the quotient s1I So at Xl has a value that
is nearly 1, and at X2 nearly (rdsi)m. These values are different for large m.
(3) Now we work at some point Xo, and over a neighborhood U of Xo we define
gi = l/{l-w/rd and hi,j(z, w) = 1/[1- (w/ri)· (l+gzj )], for j = 1, ... , n. If
U and g are sufficiently small, the polar sets of gi and hi,j are always analytic
sets in T. As above, we obtain meromorphic functions 9 and hj in T, for
j = 1, ... ,n, which have power series expansions g(x,w) = Lmgm(x)w m
and hj(x, w) = Lm hj,m(x)wm in a neighborhood of the zero section. Again
let gi be the first principal part with nonvanishing coefficient ai. For large m
we have gm(XO) ~ (l/ri)m and hj,m(xo) ~ U/ri)m(l + m . gZj). As above,
gm and hj,m define sections So and Sj in Fm with (Sj/so)(xo) ~ 1 +mgzj. So
the Jacobian of (s1/ So, ... , sn/ so) at Xo is approximately mngn and hence is
not zero for m large enough. _
is an embedding of X in]PN.
PROOF: In the preceding paragraph it was shown that for any point Xo E X
there is a holomorphic cross section So in some tensor power of F that does
not vanish at Xo.
6. Hodge Manifolds 345
W=WH = iLgijdziAdzj
i,j
Here the hv are smooth real-valued functions, and the differences hvJl. =
h}" - hv are pluriharmonic in UVJ,£"
If we set {3v := -i oh v , then d{3v = i oahv = wluv • The closed form dhvJl. =
ohv}" + ahv}" (respectively i dChvJl. = ohv}" - ah v }") is real (respectively purely
imaginary). The sum
346 VI. Kahler Manifolds
gvp.(x) := l
Xo
x
i dChvp.
We define
hk = 1 log
2rr (I Zo
Zk
12 + ... + 1Zn
Zk 12)
as local potentials, for k = 0, 1, ... , n. It follows that
Exercises
1. Assume that X is a compact Riemann surface and that Xo E X is a
point. Show that the bundle [-xol (associated to the divisor (-1)· xo) is
negative.
2. Compute the embedding of jp'n into jp'N defined by a basis of the vector
space r(jp'n, 0(2)) and determine the image.
3. Let X be a compact complex manifold and L -+ X a negative line bundle.
Prove that r(X, L) = {o}.
4. Let X be a compact complex manifold and 7f : E -+ X a holomorphic
vector bundle. Assume that there are trivializations <{). : Elu, -+ x cq u.
with transition functions gUt.
(a) A fiber metric on E is given by a system of smooth functions h. :
U. -+ Mn,n(C) such that h.(x} is a positive definite Hermitian matrix
348 VI. Kahler Manifolds
for every x E U.) and hI< = g/I< . h • . 9.1< on U.I<' Prove that there is a
smooth nonnegative function Xh : E -+ lR with
Xh 0 cp;:-l(X, v) = v· h.(x) . v t .
(c) Prove that T(lfDn) is Griffiths positive with the Fubini metric.
(d) Let E be a Griffiths positive vector bundle and FeE a subbundle.
Show that ElF is Griffiths positive. What does this mean for the
normal bundle of a submanifold of pn?
5. Let X be a compact complex manifold and L -+ X a positive line bundle.
Show that there is an open neighborhood U = U (ZE) c c E such that
E - U is strongly pseudoconvex.
7. Applications
Period Relations. Recall the definition of the n-dimensional torus. We
take 2n vectors WI, ... ) W2nE en that are linearly independent over lR. The
additive subgroup
Vij ;= 1 CiJ
w, i < j.
v=1
It follows that every torus rn is a Kahler manifold. Using the Euclidean
volume element, for every differentiable function f on Tn we define the mean
value M[J) by
Iii Cii,,1J. 0 Tw) dz" 1\ cLzlJ. = Iii 9,,1J. dz" 1\ cLzlJ., for every wEen.
=
1
I
r-
iTn Vij dV =
-
Vij'
and therefore
The boundaries of the Uk consist of parts of the "walls" 8 j and 8;, which
are defined by
8; = { u E Tn : Uj = ~} and 8j = {u E Tn : Uj = I}.
Since %' is contractible, the singular cohomology group H2(Tn) is isomorphic
Si
[w] =L
i0
Vij[dui 1\ dUj] with Vij = 1
C0
wE JR,
and [w] is integral if and only if all periods Vij are integral. •
We call Tn an abelian variety if Tn is projective algebraic.
7.3 Proposition. A torus Tn is an abelian variety if and only if all periods
are integral (with respect to some Kahler form w).
More precisely, we have the following result on period relations.
7.4 Theorem. Let Tn be given by the period matrix W = (wf, .. . , win).
Then Tn is an abelian variety if and only if there is a positive definite Her-
mitian matrix G such that Im(W t • G . W) is integral.
352 VI. Kiihler Manifolds
PROOF: We take for G the positive definite symmetric real matrix y-l.
Then
wt·G·W = ( En
X t + iy t
) . y-l . (En' X - iY)
( En
X t + iyt
) . (y-l, y-l. X - iEn)
(
y-l
x t . y-l + iEn
y-l .X- iEn
Xt.y-l·X+y ).
It follows that
Im(W t . G . -W) = (0En
is integral, and the period relations are satisfied. •
A converse of the theorem is also true, but we do not give the proof here.
The conjecture was proved by Y.T. Siu (see [Siu84] and the summary in
[GrPeRe94], VII.6).
Exercises
1. Prove that the torus T2 given by the period matrix
w= (1 0 A
01 A
A)
R
has only constant meromorphic functions.
2. Prove that the Siegel upper halfplane is contractible.
3. For W E M n ,2n(C) let W := (::). Recall the results of Exercise 5.3 in
chapter IV and prove that for every n-dimensional torus T there is a
matrix Z E Mn(C) with detIm(Z) > 0 and T ~ T(E .. , Z).
4. Find a compact complex surface X with a seminegative line bundle F
such that F is not holomorphically convex.
Chapter VII
Boundary Behavior
for forms cp = L alJ dZI 1\ azJ and'IjJ = L blJ dZI 1\ azJ of type (p, q). Using
the Euclidean coordinates we also have a scalar product at Xo that is given
by
This is a pre-Hilbert space that completes to the Hilbert space L~,q = L~,q(n)
of (p, q)-forms with square integrable coefficients. It contains the space
dP,q(Ii") of '(foo_(p, q)-forms over Ii" as a dense subspace, and also the space
dcf,q(n) of such forms with compact support in n. Every element of L~,q is
a square integrable current of degree p + q (or bidegree (p, q)).
The proof for this statement is the same as in the case of compact Kahler
manifolds.
Now the existence of the extension follows easily. If t.p E L~,q is given, we
define the current 8t.p by (8t.p,'lj;) = (t.p,fJ'lj;) for all 'lj; E dJ',q+l(n). We say
that t.p is an element of dom(8) if the current 8t.p is contained in L~,q+l' The
(unbounded) operator 8 is now a map from dom(8) to dom(8), with 808 = 0
(since fJ 0 fJ = 0).
where 1It.p1l = V(<p,t.p) and c > 0 is a constant that depends only on 'lj;. Then
we have also that (8<pi,'lj;) converges to (8t.p,'lj;), and (<pi,8*'l/J) to (t.p,8*'lj;).
This gives the required statement.
If, on the other hand, (8<p,'lj;) = (<p,8*'lj;) is always valid, then (*) follows. So
we define
Next we consider the operator 0 = 8*8 + 88* that maps a form in L~,q onto
a current of bidegree (p, q) over n. We define
Then 0 maps domeD) to L~,q. For <p, 'lj; E domeD) we have the equality
We get very simply that Yt'p,q is closed in dom(O) and that D(dom(D» is
orthogonal to Yt'p,q.
2. Subelliptic Estimates 357
These conditions are called the 8-Neumann boundary conditions. For liter-
ature see [DL81] and [FoK072]. The main result of the next section is the
following:
Assume that q > O. Under the hypotheses given above, the harmonic
forms of type (p, q) (i. e., elements of .J't'p,q) represent the elements of the
cohomology group Hp,q (0.).
The first proof of this theorem was given in [Ko63].
Exercises
1. Give an explicit description of the operator 8* .
2. Prove that the boundary conditions for the operator 8 and C(j'<XJ functions
are always satisfied.
3. Prove that the boundary conditions are never satisfied if q = n and the
form is not identically zero on on.
4. Build a theory of harmonic forms for a "cohomology with compact sup-
port" HJ (0.,0). What are the boundary conditions?
2. Subelliptic Estimates
Sobolev Spaces. We look for an operator
N : dp,q(n) -+ dp,q(n) n domeD)
such that DoN = id. Finding such an operator is the so-called Neumann
problem. To solve this problem we need Fourier transforms and the so-called
subelliptic estimates.
358 VII. Boundary Behavior
Now we work in the space ]RN+1 with coordinates (x,r) = (XI, ... ,xN,r),
and consider the half-space ]R~+1 = {(x, r) : r ~ O} and 'itfoo functions
I(x, r) with compact support in ]R~+1. Then for fixed r these functions are
in Y. We take the Fourier transforms with respect to x, for fixed r, and
define
If c < 1, then the inequality for sub ellipticity is much weaker than the
Garding inequality. But nevertheless, in the papers of Kohn and Nirenberg
it was proved that there are results on the smoothness of the solution of the
Neumann problem that are similar to those in the old theory and that follow
from subellipticity alone. We state a first important result (see [DL81]):
2.2 Proposition. Assume that n is strongly pseudoconvex and that the
Neumann problem is subeUiptic for (p, q)-forms on f2. Then there is a unique
operator N : L;,q -+ domeD) with the following properties:
1. N(,Yep,q) = o.
2. DoN = id.
3. N (L;,q) is orthogonal to ,Yep,q.
This operator N is called the Neumann operator. Under the above conditions
the following theorem is true:
2.3 Theorem.
1. The harmonic space,Yep,q is finite-dimensional. It is contained in .!dp,q (n),
and for <p E ,Yep,q we have or 1\ "* <p == 0 on on.
2. The Neumann operator N is compact with respect to the L~,q -norm.
3. We have .!dp,q(n) = .!/ep,q EEl DN(.!dp,q(n)).
4· If'P E .!dp,q(n), a<p = 0, then <p is orthogonal to a"aN(.!dp,q(n)).
360 VII. Boundary Behavior
For a proof see [KoNi65] and [FoKo72]. Both papers are difficult to read.
In the case X = en there is a simpler proof. A domain nee en with smooth
boundary is called regular if there exists a finite number of subsets Si Can,
i = 0, ... , N, such that
1. 0 = SN C SN-1 C ... CSl C So = an.
2. If Z E Si, but z f/. Si+1, then there are a neighborhood U(z) and a
differentiable submanifold M C Un an with holomorphic dimension
equal to zero such that Si n U eM.
If n is pseudoconvex and regular, then a certain compactness estimate holds
for the Neumann problem for (p, q)-forms with q ~ 1 (cf. [Ca84]). Still using a
result of Kohn/Nirenberg (see [KoNi65]), from the compactness estimate the
existence and the compactness of the Neumann operator N follow. See also
[BoStr99] for further discussion. If n is an arbitrary pseudoconvex domain,
the Neumann operator exists as a continuous linear map L~,q -+ dom(O).
This is proved in [Ca83].
A strongly pseudo convex domain n c en is always regular, and therefore the
above theorem on the Neumann operator holds in this case. But in en the
harmonic space .)It'p,q is always equal to zero.
Example 1
We take a compact Riemann surface Y of genus 9 > 1 and a line bundle
X on Y with Chern class -1. This line bundle is negative. There is a real-
analytic metric on the fibers of X such that 0 = {x EX: IIxll < I}
is a strongly pseudo convex relatively compact subdomain of X with real-
analytically smooth boundary. We get a uniquely determined Kahler metric
on X by using the metric of constant curvature on Y and the metric on the
fibers and requiring that the surfaces {x EX: IIxli < r} be orthogonal to
the fibers.
Over Y we have the vector bundle Oi of homogeneous polynomials of degree
i on the fibers of X. If i is sufficiently large, then Hl(y, Oi) vanishes. So the
finite-dimensional cohomology groap Hl(O, 0) is generated by finitely many
of these groups Hl(y, Oi). The cohomology classes are given by differential
forms r.p E Jd'O,l(Y,Oi) = r(Y,!\O,1(y) ® Oi). They all may be viewed as
differential forms on 0 whose coefficients are holomorphic polynomials of
degree i on the fibers. They vanish on Y to order i. We denote the set of these
forms by l2l?,1. Examples for forms of this type are given by the derivatives
8/, where / is a differentiable function in 0 whose restriction to the fibers is
a holomorphic polynomial of degree i. We take the orthogonal complement of
these forms and get £0,1 = ffii .Yt';,0,1, where .Yt';,0,1 C l2l?,1. This follows by a
direct computation. Thus we obtain a basis of finite length, and the restriction
of these forms to 80 satisfies the boundary conditions of harmonic forms.
Since 9 :::: 2, the space of harmonic forms .Jf{0,1 has positive dimension. We
can obtain a basis by explicit computation. The elements are harmonic forms
in 0 vanishing on YeO. If there were an isomorphism onto the cohomology
with coefficients in C (as in the compact case), they would have to be zero.
Example 2
We will construct another 2-dimensional example of a completely different
type. For this we use compact complex-analytic curves that are no longer reg-
ular. They are irreducible reduced I-dimensional complex spaces (Le., topo-
logical Hausdorff spaces that locally look like analytic sets in some complex
n-space). Here we go a bit beyond the scope of this book, but we hope that
the reader can nevertheless get an idea of the method.
We take the projective line ]p1 with the points 0 and 00. We identify these
two points, obtaining a compact irreducible I-dimensional complex curve that
has a "normal crossing" of I-dimensional domains in a neighborhood of the
gluing point O. This point 0 is the only singular point.
The projective line ]p1 is the so-called normalization of Y: There is a sur-
jective holomorphic mapping 7r : ]p1 -+ Y that maps 0 and 00 to 0 and
362 VII. Boundary Behavior
j :U '-t X I = {( w, z) E C 2 : Iw I < I}
x
The covariant normal bundle N° = N (Y) is given by the adjunction formula
Nx(Y) = [-Yllv,
1
Sl(W,Z) = 2z =
{ll/(z
j (Z+W)
- w)
on z = w,
on z = -w,
* Z2 Z =f W
9 12 -- Z2 _ w2 = z2 - w2 .
Now we lift everything to pl. The lifted section s of 1r 0 (N°) has poles of first
order in 0 and 00, and no other poles and no zeros. So 1r°(N°) has Chern
class -2.
To construct a bundle with positive Chern class, we have to alter X 2 • For this
we take a point p E Y - Y 1 and two small disks D' c c D around p such that
- - I - I
D is still in Y - Y 1 C Y2 • Let S be the disk shell D - D . We glue (Y - D ) x C
with D x Cover S by means of the gluing map H : S x C -4 S X C with
We replace our old X 2 by a new X2 and get a new manifold X. Now the
lifting of the covariant normal bundle NJc (Y) to pI has Chern class 3. It
follows by Riemann-Roch that dimcHO(p1,1r*(NJc(Y») = 3 + 1 = 4. By
the projection pI --+ Y the fibers over 0 and 00 are identified. This gives an
additional condition for the existence of global holomorphic cross sections in
the covariant normal bundle of Y eX. So we have 3 linearly independent
holomorphic cross sections Sl, S2, S3 in N*.
One can see by computation that sl1Y1 may be assumed to be given by
(z - w)(z + w). The function IZ2 - w 212 is an extension of S181 to Xl' If we
add the function I(z - w)2(z + w)312, we obtain an extension that is strictly
plurisubharmonic outside of Y1 • We can also extend the other silYl to Xl
and the silY2 to X 2, form the SiBi, sum up, and glue together after a small
change in a neighborhood U(Y) cc X to obtain an extension h of SlB1 +
S282 + 8383 in U. The extension vanishes on Y and is positive outside. It is
strictly plurisubharmonic in a neighborhood U ' of Y. Then for very small
E > 0, the tube n = {h < E} C C U ' will have a smooth boundary. It is
strongly pseudoconvex.
We have dim HI (Y, 0) = 1. The cohomology class can be given by a cocy-
de with coefficients in C. It therefore extends to n. So there is a nonzero
harmonic form cp E £0,1 (n). It satisfies the boundary condition. So in this
example the cohomology of the curve Y, which has singularities, is given by
a smooth harmonic form in a tube around the curve. This shows that the
theory of harmonic forms on manifolds with boundary may be very useful.
364 VII. Boundary Behavior
Exercises
1. Show that the Sobolev space H- s may be identified with the dual of
H 8 • Show that the Sobolev norm II .. .lIs comes from a scalar product
(... , .. ')8' and prove the following generalized Schwarz inequality: If
f, 9 E Ho and f E Hs for some s > 0, then (f, g)8 :::; IIfll8 . IIglls.
2. It is a consequence of the famous "Rellich lemma" that the following
holds: If s > t, then for any c > 0 there is a neighborhood V(O) such
that IIflit :::; cllflls for all f with compact support in V. Use this to prove
the same estimate for the tangential Sobolev norm.
3. Assume that the Neumann problem is solvable for (p, q)-forms. Let a
form <p E L~,q with 8<p = 0 be given that is orthogonal to £P,q. Prove
that 1/J := {j* N<p is the only solution of the equation 81/J = <p that is
orthogonal to every 8-closed form.
4. Let n cc en be a strongly pseudo convex domain. Prove that for every
positive number C there is a smooth plurisubharmonic function e on n
with 0 :::; e:::; 1 such that Lev(e)(z, t) ~ Clltll 2 for every z E an.
5. Take Example 2 and prove that that the derivative d( <ply) is different
from 0 and that this form is not harmonic.
6. Take Example 1 and prove that £1,0 has infinite dimension.
7. The following problem requires some knowledge about sheaves and com-
plex spaces. Take integers r < s such that r, s are free of common divisors.
Consider at 0 E e the holomorphic functions that are given by conver-
gent power series in w r and w S • Then replace the ring of holomorphic
functions in 0 E PI by these holomorphic functions and repeat the pro-
cedure of Example 2. Since now the "structure sheaf' 0 of pI is smaller,
a new curve Y is obtained. Construct an X around Y such that there is
a 2-dimensional strongly pseudoconvex tube n around Y. Compute the
first cohomology of Y.
3. N ebenhiillen
General Domains. Assume that n c en is a general domain. We take
the open kernel of the intersection of all domains of holomorphy fi ::J nand
its connected component N(n) that contains n. (More precisely, we work in
the category of unbranched domains over en as in the case of the construction
of the hull of holomorphy).
Definition. The domain N(n) is called the Nebenhulle of n.
If 0 cc en
is a domain of holomorphy with (smooth) real-analytic boundary,
then 00 does not contain any germ of an analytic set of positive dimension.
Moreover, one can show that N{O) = O. That implies that one can approxi-
n
mate by Stein neighborhoods. See [DiFo77] for details.
The Hartogs triangle 0 := {(w, z) E e 2 : Iwl < Izi < I} is a domain of
holomorphy, but N{O) is the unit polydisk in e 2. In this case the envelope
of holomorphy is 0 and the Nebenhiille is much bigger. We will see that this
can happen even when 0 is a bounded domain with smooth boundary. The
following example was constructed in [DiFo77].
and put
0:= {(w, z) E C· x e : (J(w, z) < o}.
A computation of the derivatives of (J gives
0(J
i z exp(i In(lwI2» _ ~ exp{ -i
ow = w
In(lwI2)),
w
0(J
OZ
= Z + exp{ -i In(lwI 2»,
02(J
owow = -1~12 exp{i In(lwI2)) - 1;1 2 exp{ -i In{lwI2)),
02(J I ~(J
OWOZ = ~ exp(i In{lwI2», and ozoz = 1.
0(J
oz (wo, zo) = O.
This gives Zo = - exp( i In{lwoI2» and hence (J(w!), Zo) = -1. But such a
point is not on the boundary. •
~= _ 8u ~ + 8e ~.
8z 8w 8w 8z
The function e is the potential of a Hermitian form H. The boundary of n
is pseudo convex (strongly pseudoconvex) if and only if H ~ 0 (respectively
H > 0) on this vector. By a calculation we get
Exercises
1. Let nee C 2 be a domain of holomorphy. If there is an analytic plane
E such that nnE has isolated boundary points, then !1 has a nontrivial
Nebenhiille.
2. Consider domains !1 c C. When is N(!1) = H(!1) (i.e., the envelope of
holomorphy)?
3. A family n(t) of domains in cn is called continuous at to if for every
compact set K C n(t o) and every domain n:) n
there is an € > 0 such
that K C n(t) c n
for It - tol < c.
(a) Construct a continuous family of domains !1(t) such that the family
of the envelopes of holomorphy H(!1(t» is not continuous.
(b) Define "upper semicontinuity" for families of domains. Find condi-
tions such that the upper semicontinuity of H(!1(t» follows from the
continuity of !1(t).
4. Boundary Behavior of
Biholomorphic Maps
The One-Dimensional Case. Assume that !1,!1' c e
are bounded
domains with 'ifoo-smooth boundary and that f: !1 -+ !1' is a biholomorphic
mapping. The following theorem is well known:
4.1 Theorem. The map f can be uniquely extended to an invertible 'if00
n
map j: -+ !1'.
In particular, if a!1, an' are real-analytic, then the extension is likewise real-
analytic.
We do not require that Fx(~) be positive for ~ =I- 0, and we do not require
the triangle inequality.
As an example we consider the Kobayashi metric. It is of great importance,
not only within the scope of this section. A complex manifold is called hy-
perbolic if it has a complete Kobayashi metric. The word "complete" here
means that all metric balls are contained relatively compactly in X. It is
known that the set of holomorphic mappings into a hyperbolic manifold is
a normal family in the sense of Montel. A Riemann surface is hyperbolic in
this sense if and only if it is of hyperbolic type (in the classical sense). On
any other Riemann surface the Kobayashi metric degenerates to O.
But first let us give the definition of the Kobayashi metric. As usual, we
denote the unit disk by 0 = {z : Izl < I} C C. If f : 0 -+ X is a holomorphic
map and f(O) = xo, then we denote by 1'(0) the tangent vector 1'(0) := f.(e),
where f. : To(D) -+ Txo(X) is the induced mapping and e the canonical basis
of To(D) ~ C.
Definition. The Kobayashi metric is the pseudodifferential metric d x :
T(X) -+ lRt
defined by
dx(~) := inf{lal- 1 : :3 f : 0 -+ X holomorphic with f(O) = Xo, /,(0) = a~}.
The following statement is a very simple consequence of the definition.
4.3 Proposition. Assume that F : X -+ Y is a holomorphic map of com-
plex manifolds. Then dy(F*(~)) ::; dx(~).
So the Kobayashi metric is invariant under biholomorphic mappings. In cer-
tain cases it is completely degenerate. For example,
the Kobayashi metric on C n is identically O.
4. Boundary Behavior of Biholomorphic Maps 369
> II~II
daCe) - a· dist(z, on)1/2'
IlxII2:= Inx/\"*x.
Let Yt' be the space of holomorphic n-forms X on 0 that are square inte-
grable (i.e., with Ilxll < 00). The forms X E Yt' with Ilxll :::; 1 are uniformly
bounded (with respect to their coefficients in local coordinate systems) on
every compact set M c O. If A is a compact analytic subset of 0 of positive
dimension, all forms X may vanish there. This will lead to difficulties in defin-
ing the Bergman metric. The space Yt' is a Hilbert space and a subspace of
the Hilbert space £2(0) of arbitrary square integrable complex n-forms (with
the scalar product (<p, 'IjJ) = In
<p /\"* 'IjJ).
Next we define the kernel form. We take an orthonormal basis {Xi : i EN}
of Yt'. Then
L Xi(Z)Xi(W) = K(z, w) dZ l /\ ... /\ dZn /\ d'iih /\ ... /\ awn
is called the kernel form on 0, and the coefficient K is called the Bergman
kernel. The theory of K is well known for domains in en. We extend it
here to complex manifolds, but we give only an overview and avoid going
into detail. It is possible to prove that the kernel form is independent of
the choice of the orthonormal basis. The convergence of the defining series
is locally uniform, also for all derivatives. The kernel K is real-analytic on
0, holomorphic in z, and antiholomorphic in w. As (z, w) approaches 80,
K(z, w) tends to 00 to order n + 1 (i.e., its coefficients with respect to local
coordinates). When we pass over to the conjugate complex form, interchange
w with z, and multiply by (_1)n, we get the kernel form back. Moreover, the
kernel is invariant under biholomorphic mappings of 0 onto itself. In local
coordinates, but independent of these coordinates, we have
K(z, z) = sup If(zW.
x=/dz 1 1\"'l\dzn ,lIxll=1
This was proved by Catlin in [Ca84]. The result is known as "0 satisfies
condition (R)." The worm domain is an example where condition (R) does
not hold.
We use the lemma to complete the proof. It follows by partial integration that
6.g is orthogonal to all elements from AOO(O'). We can define an orthonormal
basis of £(0') consisting of such functions. So 6.g is orthogonal to £(0').
It follows that
When we take for h the functions zlln" ... , Zn In" we get the differentiability
of F on n.The proof of Fefferman's theorem is completed.
.. ( )._ a2 log(K(z,
g.) Z.- a!l=
z»
ZiUZj
and the Bergman metric
ds 2 := Lgij(Z) dZ i dZj .
i,j
The definition is independent of local coordinates, and we obtain a Kahler
metric in n that is invariant by biholomorphic transformations of n.
If there are no compact analytic subsets of positive dimension in n, then n
is a Stein manifold. In general, n may contain compact analytic subsets of
positive dimension. For example, we may take for X a complex analytic line
bundle on ]P'I with Chern class c ::; -3. Then a strongly pseudoconvex tube
n around the zero section exists, and there are enough forms X on n. So in
this case as well we have the Bergman metric.
Near to the boundary the following estimates hold.
4.9 Proposition. If ~ is a tangent vector in Tz(n), zEn, II~II is the
Euclidean norm, and dist(z, an) is the Euclidean distance (everything with
respect to local coordinates), then there are positive constants a, b such that
a· dist(z,"'"
an)1/2 -< II~II -<.
b II~II
dist(z, an) .
The distance (with respect to the Bergman metric) between a fixed point Zo E
n and a point z (near to the boundary) is approximately
vn + 1 . (-In(dist(z, an»).
4. Boundary Behavior of Biholomorphic Maps 373
Exercises
1. Prove the properties of the Bergman kernel. Compute the Bergman kernel
for the unit ball.
2. Assume that n c en is a bounded domain. Then n carries the Caratheo-
dory metric. This is a positive pseudodifferential metric on n and is
defined in the following way: If ~ is a vector at a point Zo E n, we take
all holomorphic functions f on n with If(z)1 < 1 in n and measure the
Euclidean length of the image f.(~). Then we take the supremum over
all these f. Prove that the Kobayashi length is at least as big as the
CaratModory length.
3. Consider the bicylinder pn(o,2) = {(w,z) : Iwi < 1, Izl < I} C e 2 and
a sequence of complex numbers Wi with IWil < 1 that converges to 1 and
take two different complex numbers Zl, Z2 in the open unit disk. Does
the Kobayashi distance between the points (Wi, Zl), (Wi, Z2) tend to oo?
4. Compute the Bergman metric and the Kobayashi metric for
imaginary unit A
V* real dual space of a real (or complex) vector space
v' complex dual space of a complex vector space
F(V) C-valued real linear forms on a complex vector space
w(u, z) pseudopolynomial
D(w) algebraic derivative of w
6""D", discriminant and discriminant set of w
dV volume element
*1{) Hodge star operator (p;r{x) --+ p;2n-r(x))
(I{), 1/J) inner product f x I{) 1\ "* 'I/J, with "* 1/J = *'I/J
N(n) Nebenhiille of n
7f *: 243f
EP ~*: 17.5
!l& IX : 2009 ~ 06 J1
!l&*Jl~i2: I!I¥: 01-2009-"1082