Prof. Dror Varolin PDF
Prof. Dror Varolin PDF
Dror Varolin
July 5, 2019
Contents
I Complex Geometry 6
1 Complex Manifolds and Holomorphic Vector Bundles 7
1.1 Complex manifolds and holomorphic functions . . . . . . . . . . . . . . . . . . . 7
1.2 Examples of complex manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Holomorphic vector bundles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.1 The definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.2 Transition functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3.3 Holomorphic structure of the tangent bundle . . . . . . . . . . . . . . . . 19
1.3.4 Some non-trivial examples of holomorphic line bundles . . . . . . . . . . 21
1.4 Differential forms on complex manifolds . . . . . . . . . . . . . . . . . . . . . . . 23
1.4.1 Forms of bidgree (p, q) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.4.2 Exterior differential operators . . . . . . . . . . . . . . . . . . . . . . . . 25
1.4.3 Twisted differential forms . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2 Hermitian metrics 27
2.1 Hermitian metrics for complex vector bundles . . . . . . . . . . . . . . . . . . . . 27
2.2 Hermitian Riemannian metrics for complex manifolds . . . . . . . . . . . . . . . . 28
2.2.1 Structure of the metric . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2.2 Metric form . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2.3 Volume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1
3.2.5 Symmetry of Kähler curvature . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2.6 Positivity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
II L2 Estimates for ∂¯ 55
4 L2 Estimates for ∂¯ in complex dimension 1 56
4.1 Domains in C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.2 L2 estimates for ∂¯ on Riemann surfaces . . . . . . . . . . . . . . . . . . . . . . . 65
4.2.1 Regularity of solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
2
8.4 Functions with self-bounded gradient . . . . . . . . . . . . . . . . . . . . . . . . 100
3
11.4.1 Log plurisubharmonicity of the Bergman kernel . . . . . . . . . . . . . . . 166
11.4.2 Plurisubharmonic variation versus sharp L2 extension . . . . . . . . . . . . 170
4
Preface
These notes assume some basic familiarity with real analysis, elementary complex analysis in one
and several variables (such as the definition of holomorphic functions, Cauchy Integral Formula,
and so on, up to the point of the Hartogs Phenomenon), and the basic definitions in the study of
smooth manifolds, including differential forms.
5
Part I
Complex Geometry
6
Lecture 1
Φαβ := ϕα ◦ ϕ−1
β |U α∩U β : Vβ → V α
is a holomorphic diffeomorphism. The open sets Uα are called coordinate charts, and the maps ϕα
are called local coordinates. The maps Φαβ are called transition functions.
1.1.2 R EMARK . By analogy with real manifolds, the collection {(Uα , ϕα ) ; α ∈ J} is called a
holomorphic atlas. Two holomorphic atlases are said to be equivalent if their union is again a
holomorphic atlas. A maximal holomorphic atlas is an equivalence class of holomorphic atlases.
By using the inclusion of sets as a partial ordering, one sees that each maximal holomorphic at-
las contains a unique maximal element, so we can identify the equivalence class with an actual
holomorphic atlas. This maximal holomorphic atlas is huge, and in practice most of its charts are
irrelevant in any given situation. However, it is convenient to have this notion because the maximal
atlas is a unique object associated to the complex manifold, and hence characterizes its complex
structure. Perhaps the most important thing to keep in mind is that once a single holomorphic atlas
is found, this atlas uniquely determines a maximal holomorphic atlas.
For a holomorphic map F = (F 1 , ..., F n ) : Ω1 → Ω2 between two open subsets of Cn one has
the identity
7
where D is the real derivative in R2n ∼
= Cn and
n
∂F i
1 n
∂(F , ..., F ) = .
∂z j i,j=1
In particular, the holomorphic atlas with which the complex manifold is equipped has the property
that the derivatives of its transition functions all have positive determinants, i.e., every complex
manifold is orientable.
The definition of complex manifold is such that in the neighborhood of each of its points all of
the concepts of complex analysis in one and several variables make sense, since they are invariant
under holomorphic changes of coordinates. This feature facilitates the extension of the standard
objects of complex analysis from domains in Euclidean space to complex manifolds. The rigorous
definition is as follows.
1.1.3 D EFINITION . Let X and Y be complex manifolds.
1. A function f : X → C on a complex manifold X said to be holomorphic (resp. harmonic,
pluriharmonic, subharmonic, plurisubharmonic) if for each pinX and each coordinate chart
ϕ : U → V ⊂ Cn the function f ◦ ϕ−1 : V → C is holomorphic (resp. harmonic,
pluriharmonic, subharmonic, plurisubharmonic). The set of holomorphic functions on X is
denoted O(X).
2. A map F : X → Y is said to be holomorphic if for each f ∈ O(Y ), f ◦ F ∈ O(X).
3. A holomorphic map F : X → Y is said to be a holomorphic diffeomorphism if it is bi-
jective and the inverse map is holomorphic. In this case one also says that X and Y are
biholomorphic.
1.1.4 D EFINITION . A subset Z of a complex manifold X is said to be a complex submanifold if for
each p ∈ X and every coordinate chart ϕα : Uα → Vα such that p ∈ Uα there exist holomorphic
functions f1 , , ..., fk ∈ O(Vα ) such that
Z ∩ Uα = {x ∈ Uj ; f1 (ϕα (x)) = · · · = fk (ϕα (x)) = 0}
and for each p ∈ Uα ∩ Z
df1 (ϕα (p)) ∧ ... ∧ dfk (ϕα (p)) 6= 0,
i.e., df1 (ϕα (p)), ..., dfk (ϕα (p)) are linearly independent.
For points p ∈ Z, the number k is called the complex codimension of Z at p, and if X has
complex dimension n then the number n − k is called the dimension of Z at p.
A complex submanifold of complex codimension 1 is called a smooth complex hypersurface.
The implicit function theorem shows that a complex submanifold of a complex manifold is
itself a complex manifold. Our definition here is one of several standard definitions. In our defini-
tion a submanifold Z of a complex manifold X is always a closed subset of X (this would change
if one replaced ‘p ∈ X’ with ‘p ∈ Z’ in our definition), and its topological structure as an abstract
manifold is the relative topology it inherits as a subset of X. There are other standard definitions
in which either or these properties fails.
8
1.1.5 P ROPOSITION . If X and Y are complex manifolds then a map F : X → Y is holomorphic
if and only if its graph ΓF := {(x, F (x)) ; x ∈ X} ⊂ X × Y is a complex submanifold.
E XERCISES
1.1.1. Prove the formula (1.1).
1.1.2. Show that if D ⊂ C is an open set and f : D → C is an injective holomorphic function then
f 0 (z) 6= 0 for every z ∈ D.
In fact, the analogous fact holds for a holomorphic map F : Ω → Cn where Ω ⊂ Cn is an open
set: if F is injective then det DF is nowhere-zero. (The proof of this fact is elementary but not
obvious; You are encouraged to try to prove it or to look it up, though don’t spend to much time on
it if you choose to do it yourself.) Most relevantly, it is crucial that the dimensions of the domain
and of the range are equal. Show that the map
g : C 3 t 7→ (t2 , t3 ) ∈ C2
is injective and that its derivative vanishes at the origin.
1.1.3. Show that if Z is a complex submanifold of a complex manifold X and f : X → Y is a
holomorphic map then the restriction f |Z : Z → Y is a holomorphic map.
1.1.4. Prove Proposition 1.1.5.
9
1.2.3 E XAMPLE (Zero sets of non-degenerate holomorphic mappings in Cn ). For a collection of
functions f1 , ..., fk ∈ O(Cn ) define
Z = {x ∈ Cn ; fj (x) = 0 for all 1 ≤ j ≤ k}.
Assume moreover that the complex-valued differential 1-forms df1 , ..., dfk are linearly independent
at each point of Z. Then the set Z is a complex manifold of dimension n − k, as one can easily
show from the implicit function theorem applied to the mapping F = (f1 , ..., fk ) : Cn → Ck .
Closed submanifolds of Cn are called Stein manifolds. Those codimension-k closed submani-
folds of Cn that are cut out by k holomorphic functions are called complete intersections. Not all
closed submanifolds of Cn are complete intersections.
1.2.4 E XAMPLE (The extended complex plane). The set C b := C ∪ {∞}, where {∞} is any
singleton, is topologized by declaring that its open sets are
(i) open subset of C, and
(ii) {∞} ∪ (C − K) where K is a compact subset of C;
the latter are neighborhoods of ∞. With this topology, the space C b is homeomorphic to the 2-
sphere.
The open sets U1 = C and U2 = {∞} ∪ (C − {0}) and homeomorphisms ϕ1 : U1 → C and
ϕ2 : U2 → C defined by
1/w, w ∈ C − {0}
ϕ1 (z) := z and ϕ2 (w) :=
0 , w=∞
have transition functions
1 1
Φ12 (w) = and Φ21 (z) = ,
w z
so the atlas defined by this open cover by two coordinate charts is holomorphic. The resulting
complex manifold is called the extended complex plane, and also the Riemann sphere.
1.2.5 E XAMPLE (Riemann surfaces). As we already pointed out, every complex manifold is ori-
entable. One can ask if orientability and even-dimensionality guarantee the existence of a holo-
morphic atlas. In general this is not so, but remarkably in real dimension 2 every orientable surface
admits at least one holomorphic atlas (and sometimes many incompatible atlases), as we now ex-
plain.
Let S be an orientable surface, i.e., 2-dimensional real manifold. Orientability means that there
is an atlas of smooth coordinate charts such that the derivative matrices of all of the transition
functions have positive determinant. There are exactly two incompatible maximal atlases with this
property, and we shall fix one of them, referring to any coordinate chart in this atlas as positively
oriented.
We can also equip S with a Riemannian metric g. Of course, there are always many different
Riemannian metrics on any given manifold, but in two dimensions there is a remarkable class of
local normal forms for such metrics: for any point p ∈ S there is a coordinate chart U containing
p and a coordinate map ϕ : U → V ⊂ R2 such that
g = eρ (dϕ1 )2 + (dϕ2 )2
10
where ρ is a smooth function on U . In geometric language g is conformal to the Euclidean metric
in this coordinate chart.
R EMARK . Note that if S is oriented then we may assume that the coordinate chart is positively
oriented: if a given coordinate map ϕ = (ϕ1 , ϕ2 ) is not positively oriented then ψ := (ϕ2 , ϕ1 )
is positively oriented, and clearly swapping the first and second components preserves the normal
form.
Coordinate charts in which a metric g is conformal to the Euclidean metric are classically called
isothermal coordinates (for the metric g). Their existence when the metric g is real analytic goes
back to Gauss. For smooth metrics the existence theorem was proved by Korn and Lichtenstein,
and is perhaps the first result in the theory of elliptic partial differential equations. In particular,
it is non-trivial. There is a lot more to say about this theorem and results that extended it, but in
the interest of preserving focus let us mention only that a proof is possible by combining standard
Elliptic Regularity ideas with methods that we will develop later in the notes when we look at
Hörmander’s Theorem.
If we accept the theorem on existence of isothermal coordinates then the construction of a
holomorphic atlas is simple: at each point of S choose an isothermal coordinate system with
positive orientation, and let the atlas be composed of these chosen coordinate systems. Since
these coordinate functions map the metric g to a multiple of the Euclidean metric, the transition
functions preserve orientation and the derivatives of the transition functions, as maps of tangent
spaces, map circles to circles. Elementary complex analysis shows that in dimension 2 a map that
sends circles to circles and preserves orientation is holomorphic. Hence the atlas thus constructed
is a holomorphic atlas.
A 1-dimensional complex manifold is called a Riemann surface. Example 1.2.4 of the RIemann
sphere is a special case when the underlying manifold is S 2 ; its complex structure is determined
by for example the round metric. It turns out that any two smooth metrics on the Riemann sphere
are conformal, so that the complex structure of C b is the only possible maximal holomorphic atlas
one can put on C b once the orientation is fixed.
Complex conjugation, which reverses the orientation, gives a distinct (in the sense that its
maximal atlas is not compatible with the one defined on C b in Example 1.2.4) but biholomorphic
complex structure on C. The biholomorphic map is the map given by complex conjugation in each
b
coordinate chart.
1.2.6 E XAMPLE (Projective space). Let V be a complex vector space of complex dimension n + 1.
We say that x ∈ V − {0} is equivalent to y ∈ V − {0}, and write [x] = [y], if there is a complex
number λ such that y = λx. The relation [ ] is clearly an equivalence relation. We define the
projective space P(V ) to be the set of all equivalence classes of [ ]. The map
[ ] : V − {0} → P(V )
is continuous if we topologize P(V ) by declaring that U ⊂ P(V ) is open if and only if [ ]−1 (U ) is
open (in V − {0}, of course).
11
A holomorphic function F : V → C is said to be homogeneous if F (λv) = λk F (v) for some
k ∈ N and all λ ∈ C and v ∈ V . The zero set of such a homogeneous holomorphic function on
V − {0} gives rise to a well defined (and closed) subset of P(V ).
If we fix n + 1 linearly independent functions z 0 , ..., z n ∈ V ∗ (which are often called linear
coordinates) then we identify V with Cn+1 via the map
The map
1
ϕi : Ui 3 [v] 7→ (z 0 (v), ..., z i−1 (v), z i+1 (v), ..., z n (v)) ∈ Cn
z i (v)
is clearly one-to-one and onto. In other words
zµ−1
zi 1≤µ≤i
ζiµ =
zµ
zi
µ>i
1/ζji+1 µ = j
µ
ζi = ζjµ /ζji+1 1 ≤ µ ≤ i and µ > j ,
µ+1 i+1
ζj /ζj i<µ<j
i.e.,
1 1
ζi = ϕi ◦ ϕ−1
j (ζj ) = ζj , ...ζji , ζji+2 , ..., ζjj , |{z}
1 , ζjj+1 , ..., ζjn
ζji+1
j th spot
Thus ϕi ◦ϕ−1
j is a holomorphic diffeomorphism on ϕj (Ui ∩Uj ), and so P(V ) is a complex manifold
of dimension n.
When V = Cn+1 we write Pn := P(Cn+1 ).
1.2.7 E XAMPLE (Zero locus of homogeneous polynomials). We use the notation of Example 1.2.6.
Suppose F1 , ..., Fk : Cn+1 → C are homogeneous holomorphic polynomials, possibly with differ-
ent degrees of homogeneity, and let
12
On the set [ ]−1 (Uj ), we may write
Thus by the Implicit Function Theorem we see that [Z] is a smooth submanifold of Pn if and only if
Z is a smooth submanifold of Cn+1 − {0}. Both manifolds have codimension k. Thus the common
zero loci of homogeneous polynomials on Cn+1 whose differentials are independent on the part of
this zero locus that lies away from the origin, define a submanifold of Pn .
Note that we must remove the origin. For example, in C2 the common zero set of z 0 = z 1 = 0
is a pair of transverse lines through the origin, which is not a submanifold. On the other hand, the
induced set in P1 is a pair of distinct points.
Not all codimension k submanifolds of Pn are cut out by exactly k homogeneous polynomials.
Nevertheless, it is a fact, which we shall prove later on, that all submanifolds of Pn are cut out by
homogeneous polynomials.
1.2.8 E XAMPLE (The blowup of a point). Let B ⊂ Cn+1 denote the unit ball and let
Since the projection map B × Pn → B is clearly proper1 , so is its restriction π : B̃o → B to the
closed subset B̃o .
We claim that B̃o is a complex manifold. Indeed, away from the origin in B, every point lies on
exactly one complex line through the origin, and thus π is a biholomorphic map away from π −1 (0).
On the other hand, if we choose projective coordinates [x0 , ..., xn ] on Pn then π −1 (B) is given by
the zero sets of the holomorphic functions
xj i
f j (z, [x]) := z j − z, j ∈ {0, ..., n} − {i}
xi
in the coordinate chart Vi := {(z, [x]) ∈ B × Pn ; |z| < 1 and xi 6= 0} in B × Pn−1 . We compute,
for the case i = 0, where z 0 , ..., z n , ζ 1 , ..., ζ n , ζ j = xj /xi , are coordinates on V0 , that
df j (z, ζ) = dz j − ζ j dz o − z o dζ j , , 1 ≤ j ≤ n,
and these are clearly independent. Thus B̃o is a complex manifold. Moreover, π(z, [1, ζ]) = z, so
E := π −1 (0) = {0} × Pn is also a submanifold of B × Pn , clearly biholomorphic to Pn . But in
fact, E is a submanifold of B̃o . Indeed, if we let φ : B̃o → Pn denote the restriction to B̃o of the
projection B × Pn → Pn . Then, over the open set Ui = {[x] ∈ Pn ; xi = 1}, the map
1
Recall that a map between topological spaces is said to be proper if the inverse image of compact sets is compact.
13
and the map
φ−1 (Ui ) 3 λx, [x] 7→ (λ, λx1 , ..., λxi−1 , λxi+1 , ..., λn ) ∈ C × ϕi (Ui ) = C × Cn−1 ∼
= Cn
is a coordinate chart, and E ∩ B̃o is mapped to {0} × Cn−1 by this chart map.
Now let X be any complex manifold, and let p ∈ X. Then there is a neighborhood of p in
X that is biholomorphic to B via a biholomorphism that sends p to the origin. If we replace B
by B̃o in X (via the chart map) then we obtain a new complex manifold X̃p that is biholomorphic
to X away from p, and in place of p has a smooth submanifold biholomorphic to a projective
space of dimension dimC (X) − 1, i.e., a hypersurface. We also have a proper holomorphic map
π : X̃p → X such that
π : X̃p − π −1 ({p}) → X − {p}
is biholomorphic.
1.2.9 D EFINITION . The complex manifold X̃p is called the blowup of X at p, and the holomorphic
map π : X̃p → X is called the blowdown map. The smooth hypersurface π −1 ({p}) is called the
exceptional hypersurface for π.
1.2.10 E XAMPLE (Complex Tori). Let Λ be a lattice in a complex vector space V of dimension n.
(Recall that a lattice in a real vector space is a collection of vectors that is closed under addition
and whose convex hull is the whole vector space.) We say that x ∈ V is equivalent to y ∈ V , and
write x ∼ y, if there exists λ ∈ Λ such that y = x + λ. The set of equivalence classes is denoted
V /Λ or TΛ (V ), and we have a map
π : V → TΛ (V )
sending x to its equivalence class. As with P(V ), we endow TΛ (V ) with the coarsest topology that
makes π continuous, i.e., U ⊂ TΛ (V ) is open if and only if π −1 (U ) is open in V .
We define coordinate charts on TΛ (V ) as follows. Let x ∈ V and let U be a neighborhood of
x such that
U ∩ (U + λ) = ∅ for all λ ∈ Λ − {0}.
Then π|U is a homeomorphism. We let ϕU := (π|U )−1 : πU → U be our coordinate neighborhood.
Clearly the set of all such coordinate charts covers TΛ (V ), and if any two such charts intersect on
TΛ (V ), then their coordinate chart images in V intersect after a translation. Thus the transition
functions are holomorphic.
It is easy to see that complex tori are all diffeomorphic to the Cartesian product of 2n circles.
However, among all of these mutually diffeomorphic manifolds there are many different complex
structures. For example, it turns out that some complex tori have no proper submanifolds of posi-
tive dimension. On the other hand, some complex tori can be realized as submanifolds of projective
space, and therefore have many submanifolds.
Tori that can be embedded in some projective space are called Abelian varieties, and have a
special role in algebraic geometry.
14
E XERCISES
1.2.1. Prove the last statement at the end of Example 1.2.2, i.e., that Γf is a complex submanifold
of Ω × Ck if and only if fi ∈ O(Ω), 1 ≤ i ≤ k.
1.2.2. Show that if L : V → W is an injective linear map then the map
πei = IdU and spanC {e1 (x), ..., er (x)} = Vx for all x ∈ U,
15
Observe that if {ei } and {ẽi } are two frames defined over the same open set U , then there
are holomorphic functions gij ∈ O(U ) such that gij (p) ∈ GL(r, C) for all p ∈ U and
ẽi = gij ej .
1.3.1 R EMARK . If “holomorphic” and “complex manifold” are replaced by “smooth (or
continuous)” and “smooth manifold (or topological space)” one obtains the definition of
complex vector bundle.
Id
X X
commutes, and
(ii) for each x ∈ X the map
Fx := F |Vx : Vx → Wx
is linear.
Two vector bundles are isomorphic if there are holomorphic vector bundle maps F : V → W
and G : W → V such that F G = IdV and GF = IdW .
• A section s of a holomorphic vector bundle π : V → X, i.e., a right inverse for π, is said
to be holomorphic (resp. smooth, measurable, etc.) if it is holomorphic (resp. smooth,
measurable, etc.) as a map X → V .
1.3.2 E XAMPLE (Trivial bundles). The simplest example of a holomorphic vector bundle is the
trivial bundle π : X ×Cr → X, where π denotes the projection to the first factor. If a vector bundle
V → X is isomorphic to the trivial bundle, then for any basis e1 , ..., er of Cr the isomorphism
F : X × Cr → V defines a frame
over the whole of X. Conversely, a global frame for a vector bundle V → X defines an isomor-
phism F −1 , where F is given by the same formula and then extended fiberwise-linearly. That is to
say, if we fix a basis e1 , ..., er of Cn , we define the isomorphism F : X × Cr → V by
Thus a vector bundle is isomorphic to the trivial bundle if and only if the vector bundle has a global
frame. In particular, every (holomorphic) vector bundle is locally trivial.
16
1.3.3 E XAMPLE (New bundles from old, pullbacks, etc).
(i) Observe that if V → X and W → X are holomorphic vector bundles the so are V ∗ → X,
V ⊗ W → X and V ⊕ W → X. Thus Symk (V ) → X and Λk V → X are holomorphic
vector bundles, as are all vector bundles obtained from holomorphic vector bundles from
multi-C-linear operations. On the other hand, the complex conjugate bundle V → X, which
we will meet often in the text, is in general not a holomorphic vector bundle.
(ii) In topology (or even category theory) one has the so-called fiber product: Given morphisms
f : X → Z and g : Y → Z one defines
f ∗ V = V ×Y X → X
(iii) Given holomorphic vector bundles V → X and W → Y , one defines the holomorphic
vector bundle
V W = p∗X V ⊗ p∗Y W → X × Y,
where pX : X × Y → X and pY : X × Y → Y are the Cartesian projections.
1.3.4 E XAMPLE . A vector bundle map F : V → W can be identified with a holomorphic section
of the bundle W ⊗ V ∗ .
ψ 0 ◦ ψ −1 : U ∩ U 0 × Cr → U ∩ U 0 × Cr .
for some holomorphic function gU 0 U : U ∩U 0 → GL(r, C). The functions gU 0 U are called transition
functions, and they contain all of the information of (the isomorphism class of) the vector bundle.
17
To be more precise, suppose we cover X by a collection of open sets Uα , α ∈ A, over each of
which one has a frame for V . Then we get a collection of holomorphic transition functions
{gαβ : Uα ∩ Uβ → GL(r, C) ; α, β ∈ A}.
It is easy to see that the conditions
gαα = Id and gαβ gβγ gγα = Id, α, β, γ ∈ A
on their domains of definition.
Conversely, if one is given an open cover {Uα ; α ∈ A} of X and a collection of holomorphic
functions
T := {gαβ : Uα ∩ Uβ → GL(r, C) ; α, β ∈ A}
that satisfy the so-called cocycle condition
gαα = Id and gαβ gβγ gγα = Id, α, β, γ ∈ A
−1
on their domains of definition. (By taking γ = α one sees that gαβ = gβα .) Then one can define
the total space !
a
V (T ) := Uα × Cr / ∼,
α∈A
where
Uα × Cr 3 (x, t) ∼ (y, s) ∈ Uβ × Cr ⇐⇒ x=y and s = gαβ (x)t,
(the cocycle condition implies that ∼ is an equivalence relation) and the map π(T ) : V (T ) → X
by π(T )([x, t]) = x. It is easy to see that V (T ) is a holomorphic vector bundle whose transition
functions are T . Moreover, if T is a collection of holomorphic transition functions for V → X
the V (T ) → X is isomorphic to V → X. Indeed, if we denote by e1α , ...erα the frame over Uα
then the map
F ([x, t]) := t1 e1α (x) + · · · + tr erα , x ∈ Uα (x)
yields a well-defined holomorphic vector bundle isomorphism.
On the other hand, if V → X and W → X are isomorphic, they need not have the same
transition functions.
1.3.5 P ROPOSITION . If
{gαβ : Uα ∩ Uβ → GL(r, C) ; α, β ∈ A} and {g̃αβ : Uα ∩ Uβ → GL(r, C) ; α, β ∈ A}
are transition functions for V → X and W → X over the same open cover (if the open covers
are locally finite then by taking finite intersections this can always be arranged) then V → X and
W → X are isomorphic if and only if there exist maps
{hα : Uα → GL(r, C) ; α ∈ A}
such that g̃αβ = h−1
α gαβ hβ .
18
1.3.3 Holomorphic structure of the tangent bundle
On a complex manifold X one has the real tangent bundle TX → X; this is a smooth real vector
bundle, and one can then define the complex vector bundle TX ⊗R C → X. The points of the total
space of TX ⊗R C are called complex tangent vectors.
Now, for a holomorphic coordinate system z = (z 1 , ..., z n ) on an open set U ⊂ X (i.e., an
element of the maximal holomorphic atlas of X) one can define the complex tangent vectors
√
∂ 1 ∂ ∂
(1.2) := − −1 i , 1 ≤ i ≤ n,
∂z i 2 ∂xi ∂y
√
where z i = xi + −1y i . These vectors depend on the local coordinate system, but their span does
not (Exercise 1.3.2). For each x ∈ U we define
1,0 ∂ ∂
TX,x := SpanC ,..., n .
∂z 1 ∂z
1,0
The elements of TX,x are called (1, 0)-vectors at x.
For each ξ ∈ TX,x the vector ξ¯ ∈ TX ⊗R C (the complex conjugate of ξ) does not lie in TX,x
1,0 1,0
with the vector bundle structure given by the frames (1.2). The chain rule shows that TX1,0 → X is
a holomorphic vector bundle.
From basic complex analysis one sees that if U is an open set in X, x ∈ U , f ∈ O(U ) and
1,0
ξ ∈ TX,x then
ξf = (2Re ξ) f.
1,0
Moreover, if ι : TX,x ,→ TX,x ⊗R C denotes the natural inclusion and π 1,0 : TX,x ⊗R C → TX,x
denotes the projection to the first factor in the decomposition (1.3) then the composite map
19
1.3.6 D EFINITION . The vector bundle TX1,0 → X is called the holomorphic tangent bundle. The
dual vector bundle TX∗1,0 → X is called the holomorphic cotangent bundle of X.
Note that in a local coordinate system a frame for the holomorphic cotangent bundle is given
by the complex 1-forms dz 1 , ..., dz n .
The second way is to determine the complex structure on TX directly. To do so, it is first
necessary to make√explicit the real operator (of the underlying real vector space) associated to
multiplication by −1 in a complex vector space. To cut to the chase, the reader should verify
i i
√ thei operator Jo : TX → TX defined pointwise in a holomorphic coordinate
(Exercise 1.3.4) that,
system z = x + −1y by
∂ ∂ ∂ ∂
(1.4) Jo i
:= i and Jo i
= − i, 1≤i≤n
∂x ∂y ∂y ∂x
is (i) well-defined, independent of the holomorphic cooridnate system, and (ii) satisfies
√
2Re ( −1ξ) = Jo 2Re ξ, ξ ∈ TX1,0 .
1.3.7 R EMARK (Almost complex structures and almost complex manifolds). The operator Jo is a
vector bundle map Jo : TX → TX that satisfies
Jo2 = −Id.
√
Any vector bundle endomorphism J ∈ Hom(TX , TX ) such that J 2 = −Id has eigenvalues ± −1,
and is therefore only diagonalizable in TX ⊗R C. In the latter bundle every eigenvector has a
complex conjugate eigenvector, so that the eigenspaces
√ √
E+ (J) := {v ∈ TX ⊗R C ; Jv = −1v} and E− (J) := {v ∈ TX ⊗R C ; Jv = − −1v}
are isomorphic under the complex conjugation map, and together span TX ⊗R C. The endomor-
phism J is therefore in 1-1 correspondence with such a splitting, and either object is called an
almost complex strucutre. A real manifold with an almost complex structure is called an almost
complex manifold. and as a matter of notation, one also writes
20
In higher dimension, integrability is more subtle, as there are non-integrable almost complex
structures. The coordinate charts that make (1.4) hold, if they exist, are again solutions of a partial
differential equation. Fortunately the existence of solutions is equivalent to an algebraic condition
called involutivity on the almost complex structure, which is analogous to the Fröbenius involutivity
condition:
[Γ(X, TX1,0 (J)), Γ(X, TX1,0 (J))] ⊂ Γ(X, TX1,0 (J)),
where [·, ·] is the complex linear extension of the Lie bracket of vector fields on X.
More precisely, the algebraic condition of involutivity measures the obstruction to solving the
aforementioned partial differential equation (in fact, it’s a system of PDE). The result that proves
the existence of a holomorphic atlas when the manifold has an involutive almost complex structure
is called the Newlander-Nirenberg Theorem. As was already indicated, it is a generalization of the
theorem on the existence of isothermal coordinates.
With the methods developed in these notes it is almost possible to prove the Newlander-
Nirenberg Theorem; such a proof is due to J. J. Kohn, who wrote in his article on the subject
that the idea for the proof came from D. C. Spencer. Unfortunately we will not have sufficient time
to discuss this result.
In a holomorphic local coordinate chart a frame of KX is given by the n-form dz 1 ∧ ... ∧ dz n . Thus
the transition functions for KX are the determinants of the transition functions for TX∗1,0 .(Note that
if X is a Riemann surface then of course KX = TX∗1,0 .)
The name ‘canonical’ refers to the fact that KX is essentially the only natural (often) non-trivial
line bundle defined on every complex manifold X.
1.3.9 E XAMPLE (The Tautological bundle and its dual, the hyperplane bundle). Consider the space
U := {(z, `) ∈ Cn+1 × Pn ; z ∈ `}.
This space was first introduced as the blowup of the origin in Cn+1 (where the notation C̃n+1
o was
used), with the blowdown map being the restriction to U of the projection to the first factor. Let
π : U → Pn be the restriction to U of the projection to the second factor. Then π is holomorphic,
and the preimage of a point ` ∈ Pn , thought of as a line through the origin, is the set of points
comprising the line `. In the chart
Uo = {[1, z] ; z ∈ Cn }
we have the holomorphic section
eo ([1, z]) = ((1, z), [1, z])
21
which defines a frame for π : U → Pn over Uo . More generally, in the chart
Uj = {[z 1 , ..., z j , 1, z j+1 , ..., z n ] ; z ∈ Cn }
we have the section
ej ([z 1 , ..., z j , 1, z j+1 , ..., z n ]) = ((z 1 , ..., z j , 1, z j+1 , ..., z n ), [z 1 , ..., z j , 1, z j+1 , ..., z n ]).
It is easy to see that the change of frame over Ui ∩ Uj is holomorphic. Thus U → Pn is a holo-
morphic line bundle, called the tautological line bundle (and sometimes also the universal line
bundle).
The line bundle U → Pn is not trivial. We shall see this non-triviality by showing that the dual
bundle is not trivial.
The dual line bundle to U → Pn is called the hyperplane line bundle, and denoted H → Pn . Its
fiber H` consists of the set of linear functionals on the 1-dimensional subspace ` of Cn+1 . Thus a
linear function λ : Cn+1 → C defines a section sλ : Pn → H of H → Pn+1 via the formula
hsλ (`), (z, `)i := λ(z).
It is easy to check that this section is holomorphic, and that sλ (`) = 0 if and only if ` ⊂ Kernel(λ).
(As we shall see later on, every holomorphic section of H → Pn is of the form sλ for some
λ ∈ (Cn+1 )∗ .)
By contrast, U → Pn has no global holomorphic sections other than the zero section. Indeed,
suppose U → Pn has a holomorphic section θ : Pn → U. Given any linear functional λ ∈
(Cn+1 )∗ − {0}, we have the section sλ . The duality pairing
g(`) := hsλ (`), θ(`)i
is thus a well-defined holomorphic function on Pn . Since Pn is compact, g must be constant. Since
every non-identically zero linear functional on Cn+1 has a non-trivial kernel for n ≥ 1, g = 0,
and therefore θ vanishes on the complement of the zero locus of sλ . But by the identity principle,
θ = 0. In particular, U → Pn is not trivial, and therefore neither is H → Pn .
We shall see the line bundles U → Pn and H → Pn very often in the sequel.
1.3.10 E XAMPLE (The line bundle of a hypersurface). Let X be a complex manifold and let Z be a
smooth complex hypersurface. By definition there is an open cover {Uα ; α ∈ J} and holomorphic
functions fα ∈ O(Uα ) such that
Z ∩ Uα = {fα = 0} and dfα (z) 6= 0 for every z ∈ Z ∩ Uα .
It follows that the functions
fα
∈ O(Uα ∩ Uβ )
gαβ :=
fβ
have no zeros or poles. The collection T of all of these functions obviously satisfies the cocycle
condition, and hence there is a holomorphic line bundle
LZ → X
whose transition functions are T .
22
1.3.11 D EFINITION . The line bundle LZ is called the line bundle associated to the smooth hyper-
surface Z.
E XERCISES
1.3.1. Prove Proposition 1.3.5.
1,0
1.3.2. Show that the span TX,x of the vectors (1.2) is independent of the choice of local coordinates.
1,0
1.3.3. Show that if ξ ∈ TX,x then ξ¯ 6∈ TX,x
1,0
.
1.3.5. Show that every holomorphic section of the hyperplane line bundle H → Pn of Example
1.3.9 is of the form sλ for some λ ∈ (Cn+1 )∗ .
1.3.6. Find all the holomorphic sections the line bundle TP1,0
1
→ P1 .
1.3.7. Show that the only holomorphic section of the line bundle (TP1,0
1
)∗ → P1 dual to the tangent
bundle is the zero section.
The sections of this bundle form an algebra with respect to the wedge product (or more precisely,
the complex linear extension of the a priori real wedge product), and the differential d (again
extended C-linearly) acts on the sections of EX → X, mapping sections of ΛrX → X to sections
of Λr+1
X → X:
d(Γ(X, ΛrX )) ⊂ Γ(X, Λr+1
X ).
Forms in the kernel of d are called closed, and forms in the image of d are called exact.
23
1.4.1 Forms of bidgree (p, q)
The splitting TX ⊗R C = TX1,0 ⊕ TX0,1 induces a splitting
p q
M ^ ^
ΛrX ⊗R C = TX1,0 ∧ TX0,1 ,
p+q=r
24
1.4.2 Exterior differential operators
The exterior algebra of a complex manifold is equipped with two additional differential operators:
¯ and they are defined on sections of Λp,q → X by
these are the operators ∂ and ∂, X
(c.f. Remark 1.3.7). In these notes all of our almost complex structures are integrable, so we will
not discuss the issue of integrability any further. red
Λp,q
X ⊗ E → X.
If the vector bundle E is not explicitly referred to then one says that such a section is a twisted
differential form.
After one tensors with a holomorphic vector bundle, the exterior operator is no longer well
defined. More precisely, if we choose a frame ξ1 , ..., ξr for E and write
u = uνIJ¯dz I ∧ dz̄ J ⊗ ξν
25
1.4.6 P ROPOSITION –D EFINITION . Let X be a complex manifold and let E → X be a holomor-
phic vector bundle, and let p, q ∈ {1, ..., n}. Then there is a local operator
defined as follows. If u = uνIJ¯ξν ⊗ dz I ∧ dz̄ J in some local coordinates and a local frame then
ν
¯ := ∂uI J¯ dz̄ k ∧ dz I ∧ dz̄ J ⊗ ξν
∂u
dz̄ k
1.4.7 R EMARK . It is worth making one more observation; an observation that will greatly simplify
many computations. Since
where F = Λp,0 ∗
X ⊗ KX ⊗ E. The crucial point here is that F is a holomorphic vector bundle, and so
the ∂¯ operator of Proposition-Definition 1.4.6 is computed locally in exactly the same way for E-
valued (p, q)-forms as for F -valued (n, q)-forms. Consequently when working with twisted forms,
¯
especially when focus on the ∂-equation, it often suffices to consider only twisted (n, q)-forms.
1.4.8 R EMARK . Note that while the exterior differential operator ∂¯ extends naturally to holomor-
phically twisted forms, the exterior operator ∂ does not have such a natural extension. The reason,
as one can see after doing Exercise 1.4.2, is that the transition functions for a holomorphic vector
¯ but generally not by ∂.
bundle are annihilated by ∂,
E XERCISES
1.4.1. Prove Proposition 1.4.3.
1.4.2. Prove Proposition-Definition 1.4.6. (For the sake of developing intuition, it may be useful
to start with the case p = q = 0.)
¯
1.4.3. Show that there are no non-zero ∂-closed (n, 0)-forms on Pn .
26
Lecture 2
Hermitian metrics
The terminology ‘Hermitian metrics’ is ambiguous in complex geometry: on the one hand, it can
refer to metrics for a complex vector bundle, and on the other, for certain Riemannian metrics on
almost complex manifolds. In the case where the underlying manifold is a complex manifold, there
is a link between the two notions.
To avoid the standard ambiguity, we shall refer to the first type of metric as a Hermitian metric,
and to the second type of metric as a Hermitian Riemannian metric.
27
Exercises
2.1.1. Let U → Pn be the tautological line bundle of Example 1.3.9. Use the Euclidean metric on
Cn+1 to define a Hermitian metric on U → Pn .
2.1.2. Let X be a complex manifold and let L → X be a holomorphic line bundle. Let s1 , ..., sm
be sections of L whose common zero locus is empty. Show that L → X has a Hermitian metric h
such that
h(si , si ) ≤ 1
for all 1 ≤ i ≤ m.
and thus A = 0. Since the metric g is the complexification of a real metric, g(v̄, w̄) = g(v, w), and
therefore D = 0.
Again by conjugation we have g(v, w) = g(v, w), and thus
C = B.
28
Finally, since g is symmetric, C = B trans , and therefore
B † = B,
for some Hermitian metric h for TX1,0 . We therefore see that Riemannian Hermitian metrics for X
are in one-to-one correspondence with Hermitian metrics for TX1,0 . This fact partially explains the
ambiguity in the name ‘Hermitian metric’.
We compute that for real vectors v and w, one has
√ √
2h(s1,0 v, s1,0 w) = 2g( 12 (v − −1Jv), 21 (w + −1Jw))
1 √
= g(v, w) + g(Jv, Jw) + −1(g(v, Jw) − g(Jv, w))
2 √
= g(v, w) − −1g(Jv, w),
and hence one can recover the metric g on X from a metric h on TX1,0 .
is called the metric form of the Hermitian Riemannian metric g. The form ωg is skew symmetric,
since
g(Jv, w) = g(w, Jv) = g(Jw, J 2 v) = −g(Jw, v).
The formula g(v, w) = ωg (v, Jw) shows that there is a 1-1 correspondence between g, ωg and h.
In terms of frames, if α1 , ..., αn is a local frame for TX∗1,0 then a Hermitian metric for TX1,0 may
be written
h = hij̄ αi ⊗ ᾱj .
In terms of this frame, if g(v, w) := 2Re h(s1,0 v, s1,0 w) is the associated Hermitian Riemannian
metric then √
ωg = −1hij̄ αi ∧ ᾱj .
29
Indeed, the right hand is well-defined because the vector bundles TX∗1,0 ⊗ TX∗0,1 and TX∗1,0 ∧ TX∗0,1
have the same transition functions, and we compute that
√ √
−1hij̄ αi ∧ ᾱj (v, w) = −1hij̄ αi ∧ ᾱj s1,0 v + s1,0 v, s1,0 w + s1,0 w
√
i 1,0
i 1,0
j 1,0
= −1hij̄ α , s v hα , s wi − α , s w hα , s vi j 1,0
where the second-to-last equality follows from the Hermitian symmetry of hij̄ .
2.2.3 Volume
Given a Riemannian metric g on an m-dimensional real manifold, in a local coordinate system
x = (x1 , ..., xm ) one can define the m-form
q
det g ∂x∂ i , ∂x∂ j dx1 ∧ · · · ∧ dxm .
If one can choose an atlas whose transition functions all have positive determinant then one gets a
globally defined form q
dVg := det g ∂x∂ i , ∂x∂ j dx1 ∧ · · · ∧ dxm
of top degree with no zeros, i.e., a volume form. The existence of such an atlas is the definition of
orientability of a manifold. In particular, if the manifold is complex then the transition functions,
being holomorphic, have this property due to (1.1). (In this case the manifold is not only orientable,
but in fact oriented, i.e., there is a preferred atlas whose transition functions have derivatives with
positive determinant.)
If the manifold is complex and the Riemannian metric is furthermore Hermitian then the situ-
ation for the volume form is even better: In particular, for a Riemannian Hermitian metric g on a
complex manifold X
1
dVg = ωgn ,
n!
where ωg is the metric form of g. Indeed, if in local complex coordinates z = (z 1 , ..., z n ) and
corresponding real coordinates ξ = (ξ 1 , ..., ξ 2n ) where ξ 2i−1 = Re z i , ξ 2i = Im z i , we write
g = gij dξ i dξ j and h = hαβ̄ dz α · dz̄ β then
30
and thus
√ n
ωn = −1 hα1 β̄1 ...hαn β̄n dz α1 ∧ dz̄ β1 ∧ ... ∧ dz α1 ∧ dz̄ β1
(−1)n(n+1)/2
= √ hα1 β̄1 ...hαn β̄n dz α1 ∧ ... ∧ dz αn ∧ dz̄ β1 ∧ ... ∧ dz̄ βn
(2 −1)n
X 1 ... n 1̄ ... n̄
= sgn hα1 β̄1 ...hαn β̄n
α1 ... αn β̄1 ... β̄n
α1 ,...,β̄n
(−1)n(n+1)/2 1
· √ n
dz ∧ ... ∧ dz n ∧ dz̄ 1 ∧ ... ∧ dz̄ n
(2 −1)
dz 1 ∧ dz̄ 1 dz n ∧ dz̄ n
= n! det(hαβ̄ ) √ ∧ ... ∧ √ .
2 −1 2 −1
Let us consider a complex submanifold Y of our Hermitian manifold X. We can endow Y with
a Hermitian metric simply by restricting the metric from the ambient space.
Now choose local coordinates z 1 , ..., z n on X in such a way that the functions z 1 , ..., z k are
coordinates on the submanifold Y . The tangent spaces of Y are then defined by the vanishing of
the differentials dz k+1 , ..., dz n . In other words, in these coordinates, the Hermitian metric for Y is
given by
h|Y = hαβ̄ dz α · dz̄ β ,
where this time the summation is carried only from 1 to k. In particular, one can carry out all of the
above calculations on the submanifold and obtain the following remarkable fact, often incorrectly
referred to as Wirtinger’s Theorem.
2.2.2 T HEOREM . If X is a Hermitian manifold with Hermitian metric form ω and ι : Y ,→ X is a
k-dimensional submanifold then the associated Hermitian volume form of Y is
1 1 k
dVg|Y = ι∗ ωgk = ωg| .
k! k! Y
The original theorem of Wirtinger is the following.
2.2.3 T HEOREM (Wirtinger). If W is a 2k-dimensional real submanifold of a Hermitian manifold
(X, ω) then
ωk
Z
Area(W ) ≥ .
W k!
Moreover, if the area of W is finite then equality holds if and only if W is a complex manifold.
Theorem 2.2.3 is often important in the study of minimal surfaces. Since we will not need it,
the proof of Theorem 2.2.3 is omitted.
E XERCISES
2.2.1. Let X be a compact complex manifold and let g be a metric whose metric form ωg is a
¯
closed 2-form. Show that there are no non-zero ∂-exact (p, p − 1)-forms on X.
31
Lecture 3
3.1 Connections
In this section we define and explore the notion of connection for a vector bundle on a manifold.
The underlying field can be R or C; when we use the term linear, we assume scalars lie in this
field.
3.1.2 P ROPOSITION . If D1 and D2 are two connections for a vector bundle E → M then
D1 − D2 ∈ Γ(M, C ∞ (TM
∗
⊗ End(E))).
Proposition 3.1.2 says that the space of connections on a vector bundle E → M is an affine
space modeled on the vector space Γ(M, C ∞ (TM ∗
⊗ End(E))).
R EMARK . There are several notions of connection, that have increasing generality. The type of
connection we are considering here is often called an affine connection, presumably in reference
to the affine linear structures of the fibers of a vector bundle.
Definition 3.1.1 implies that a connection is a local operator, and may be restricted to small
subsets. If one restricts to a sufficiently small subset U ⊂ M then the vector bundle E|U → U is
isomorphic to the trivial bundle, i.e., it admits a frame.
32
With the choice of a frame e1 , ..., er for E|U one has the trivial connection d defined by
d(si ei ) = dsi ⊗ ei .
D|U = d + A.
The section is called the connection form. Since the trivial connection depends on the frame, so
does the connection form A.
In terms of the frame e1 , ..., er for E|U → U , one can write
Aei = Aji ⊗ ej ,
Dual connection
Given a connection D for a vector bundle E → M , one defines the connection D∨ for the dual
vector bundle E ∗ → M as follows. Given local sections s for E and α for E ∗ , one has a pairing
hs, αi, which is a function on M . We require the dual connection D∨ to satisfy
If we fix a frame e1 , ..., er for E and denote by α1 , ..., αr its dual frame then the connection forms
A(D) and A(D∨ ) satisfy
33
Product connections
Let E1 → M and E2 → M be two vector bundles equipped with connections D1 and D2 respec-
tively, one would like to have a natural definition of connection for various products of V1 and V2 .
Given any product operation × (e.g. tensor, symmetric, or wedge product) one defines the product
connection D for E1 × E2 → M by the formula
D (s1 × s2 ) = (D1 s1 ) × s2 + s1 × (D2 s2 ) .
By induction, one can pass to any finite product of vector bundles.
3.1.3 E XAMPLE (Induced connections for determinant bundles). Let E → M be a vector bundle
of rank r and let a connection DE for E be given. Consider the complex line bundle
det E → M
whose transition functions are just the determinants of the corresponding transition functions for
E. (We have met the determinant construction in the definition of the canonical bundle.) Fix a
frame e1 , ..., er for E. Then e1 ∧ ... ∧ er is a frame for det E. Then
e1 ∧ ... ∧ DE ej ∧ ... ∧ er = e1 ∧ ... ∧ A(DE )kj ek ∧ ... ∧ er = A(DE )kj δjk e1 ∧ ... ∧ ej ∧ ... ∧ er ,
and thus !
X
Ddet E (e1 ∧ ... ∧ er ) = A(DE )jj e1 ∧ ... ∧ er ,
j
i.e., the connection matrix for Ddet E is the trace of the connection matrix for DE .
34
3.1.5 R EMARK . If X is a complex manifold then the splitting TX∗ ⊗R C = TX∗1,0 ⊕ TX∗0,1 induces
the decomposition Θ = Θ1,0 + Θ0,1 ∈ (End(E) ⊗ TX1,0 ) ⊕ (End(E) ⊗ TX0,1 ), and the condition
Θ† = −Θ means that
(Θ1,0 )† = −Θ0,1 and (Θ0,1 )† = −Θ1,0 .
In particular, if Θ ∈ Γ(X, TX∗ ⊗ End(E)) is of type (1, 0) then Θ must vanish identically.
Symmetric connections
Given any smooth manifold M , we have the splitting
∗ ∗ ∗ ∗
TM ⊗ TM = Sym2 (TM ) ⊕ Λ2 (TM ),
D(dxi ) = Cjk
i
dxk ⊗ dxj
It is often useful to formulate the notion of symmetric connection for the tangent bundle. Since
the tangent and cotangent bundle are dual, we shall call a connection for TM symmetric if it is the
∗
dual of a symmetric connection for TM . If ∇ is a connection for TM dual to a given connection D
∗
for TM then
Γijk = ∇ ∂
∂ ( ∂xj ), dx
i
=− ∂
∂xj
, D ∂ (dxi ) i
= −Cjk ,
∂xk ∂xk
35
and thus we see that ∇ is symmetric if and only if its connection matrix Γijk is symmetric, i.e.,
Γijk = Γikj .
Finally observe that if ξ = ξ i ∂x∂ i and η = η i ∂x∂ i are local vector fields, then
j j
i ∂η i ∂ξ ∂ ∂
∇ξ η − ∇ η ξ = ξ i
−η i j
+ ξ i η j (Γkij − Γkji ) k ,
∂x ∂x ∂x ∂x
and thus ∇ is symmetric if and only if ∇ξ η − ∇η ξ = [ξ, η].
Levi-Civita connections
On a Riemannian manifold there is exactly one symmetric, metric-compatible connection.
3.1.7 T HEOREM (Levi-Civita). On a Riemannian manifold (M, γ) there is a unique symmetric
∗
connection ∇ compatible with γ. In terms of the dual metric g for TM , there exists a unique
connection D such that
The first set of equations expresses metric compatibility, and the second, symmetry.
For notational ease, define
To solve (3.2), observe that the right hand side of the first equation is symmetric in ij, so it makes
sense to write ω ijk = S ijk + Aijk , where
1 1
S ijk = (ω ijk + ω jik ) and Aijk = (ω ijk − ω jik ).
2 2
(For fixed k S ijk and Aijk are the symmetric and antisymmetric parts of ω ijk .) Thus
1
ω ijk = ∂ k g ij + Aijk ,
2
36
and the second equation in (3.2) reads as
1
(3.3) Aijk − Aikj = (∂ j g ik − ∂ k g ij ).
2
In view of the symmetry of g ji and the antisymmetry of Aijk in ij, (3.3) yields
1
−Aijk + Akji = Ajik − Ajki = (∂ i g jk − ∂ k g ij ).
2
Subtracting the latter from (3.3) and using the antisymmetry of Aijk yields
1
Aijk + (Aijk + Akij + Ajki ) = (∂ j g ik − ∂ i g jk ).
2
But
1
Aijk + Ajki + Akij = ω ijk + ω jki + ω kij − (∂ k g ij + ∂ i g jk + ∂ j g ki )
2
1 1 1
= ω ikj − ∂ j g ik + ω jik − ∂ k g ji + ω kji − ∂ i g kj
2 2 2
ikj jik kji ijk jki kij
= A + A + A = −(A + A + A ).
ω ijk := 1
∂ k g ij + ∂ j g ik − ∂ i g jk
2
yields grj gsk g im ∂m g rs = −gsk g rs ∂m grj = −∂m gkj = −∂m gjk , and therefore
1
ω ijk = gjm ∂k g mi + gkm ∂j g mi + g im ∂m gjk .
(3.5)
2
∗
To complete the proof, we must show that the connection ∇ : Γ(M, TM ) → Γ(M, TM ⊗ TM )
dual to the connection D is symmetric and compatible with the dual metric γ. This last step is left
to the exercises (Exercise 3.1.3).
∗ ∗ ∗
3.1.8 R EMARK . The connection D : Γ(M, TM ) → Γ(M, TM ⊗ TM ) has associated to it the dual
connection ∇ : CM (TM ) → CM (TM ⊗ TM ) via the relation
∞ ∞ ∗
37
Contracting both sides with ∂k and setting
we find that
i
Γijk = −ωjk .
Using the relation (3.4) and the symmetry of the metric, (3.5) yields
1
Γijk = g im (∂k gmj + ∂j gmk − ∂m gjk )
2
for the Christoffel symbols of ∇.
Complex connection
On a complex manifold X we have a splitting
If the vector bundle E → X is furthermore holomorphic then there is a canonical choice for the
component D0,1 : Γ(X, E) → Γ(X, Λ0,1 ¯
X ⊗ E), namely the operator ∂, introduced in Paragraph
1.4.3 (in particular, in Proposition/Definition 1.4.6).
3.1.9 D EFINITION . A connection D for a holomorphic vector bundle V → X is said to be complex
if D0,1 = ∂¯ in terms of the splitting (3.6).
Chern connection
The basic result about connections for holomorphic Hermitian vector bundles is the following
analogue of Levi-Civita’s theorem.
3.1.10 T HEOREM . On a holomorphic Hermitian vector bundle there exists a unique complex con-
nection compatible with the Hermitian metric.
Proof. We begin with uniqueness. Since the difference of two connections is a 0-th order differen-
tial operator, i.e., a matrix multiplier, if D0,1 = ∂¯ then this multiplier is a matrix of (1, 0)-forms. It
follows from Remark 3.1.5 that a metric compatible complex connection is unique if it exists.
To prove existence, define D1,0 by
¯
h(D1,0 s, t) = ∂h(s, t) − h(s, ∂t)
38
¯ which is clearly complex, satisfies
and therefore the connection D = D1,0 + ∂,
i.e., D is h-compatible.
3.1.11 D EFINITION . The unique metric-compatible complex connection for a Hermitian holomor-
phic vector bundle (E, h) is called the Chern connection for (E, h).
3.1.12 D EFINITION . A metric g for which the Chern and Levi-Civita connections agree is said to
be Kähler. A complex manifold admitting a Kähler metric is called a Kähler manifold.
There are several equivalent ways to define Kähler metrics. Here we shall discuss only the two
we will need.
Symplectic formulation
3.1.13 P ROPOSITION . A metric g with metric form ω is Kähler if and only if the (1, 1)-form ω
associated to g is closed.
Proof. The Chern connection D for the metric g satisfies (c.f. Exercise 3.1.4)
¯
D ∂ ( ∂z∂ i ) =: Γkij ∂z∂k = g k` ∂z∂ j gi`¯ ∂z∂k .
∂z j
Since both the Levi-Civita and Chern connections are compatible with g, the Chern connection
agrees with the Levi-Civita connection if and only if the Chern connection corresponds, under the
isomorphism induced by s1,0 : TX → TX1,0 , to a symmetric connection, i.e.,
39
the relation (3.7) holds if and only if Γkij = Γkji . Therefore g is Kähler if and only if
∂gik̄ ∂gj k̄
= .
∂z j ∂z i
But the latter is equivalent to ∂ω
√ = 0, iwhichk in turn is equivalent to dω = 0 (since ω is real). To
be more explicit, since ω = gik̄ −1dz ∧ dz̄ ,
√ ∂gik̄ j i k
√ ∂gik̄ `
dω = −1
j
dz ∧ dz ∧ dz̄ + −1 ` dz̄ ∧ dz i ∧ dz̄ k
∂z ∂ z̄
√ ∂gik̄ j √ ∂g
= −1 j dz ∧ dz i ∧ dz̄ k + −1 k`ī dz ` ∧ dz k ∧ dz̄ i
∂z ∂z
√ X ∂gik̄ ∂gj k̄
= −1 j
− i
dz j ∧ dz i ∧ dz̄ k
i<j
∂z ∂z
√ X ∂gik̄ ∂gj k̄
+ −1 j
− i
dz j ∧ dz i ∧ dz̄ k .
i<j
∂z ∂z
(dω1 )0 = (dω2 )0 .
Therefore if g is locally Euclidean to second order then dωg = 0, and thus g is Kähler by Proposi-
tion 3.1.13.
Conversely, suppose ω is the (1, 1)-form associated to a Kähler metric g, and let z be local
coordinates such that
(It is easy to find such, so-called normal coordinates.) Then the Taylor expansion of ω with respect
to z is √
ω = −1 δij̄ + aij̄k z k + aij̄ `¯z̄ ` + O(|z|2 ) dz i ∧ dz̄ j .
40
(a) gij̄ = gj ī ⇒ aij̄ k̄ = aj īk ,
Since the result we seek is regarding a second order Taylor expansion, it suffices to find a quadratic
biholomorphic local coordinate transformation. That is to say, we seek coordinates w defined by
1
z k = wk + bk`m w` wm
2
(which do not modify condition (3.8)) such that
√
−1
δij̄ + O(|w|2 ) dwi ∧ dw̄j .
ω=
2
Since w` wm = wm w` , we may assume that bijk = bikj . Then
and we have
√
− −1ω = δij̄ dwi + bi`m w` dwm ∧ dw̄j + bjrs w̄r dw̄s
+ aij̄k wk + aij̄ k̄ w̄k dwi ∧ dw̄j + O(|w|2 )
Thus √
ω= −1δij̄ dwi ∧ dw̄j + O(|w|2 ),
so g is Euclidean to second order.
∂αi j
∇α = dx ⊗ dxi + αk θij
k
dxj ⊗ dxi ,
∂xj
where θ is the connection matrix of ∇. As we discussed earlier,
∂αi j
(3.9) Λ2 (∇α) = dx ∧ dxi + αk θij
k
dxj ∧ dxi .
∂xj
41
We then introduced the notion of symmetric connection; by definition, a connection ∇ is symmetric
if and only if
dα = Λ2 (∇α)
k k
for any 1-form α. Of course, the formula (3.9) shows that ∇ is symmetric if and only if θij = θji .
r ∗
Now suppose β is a differential r-form, i.e., a section of the product bundle Λ (TM ). For a
∗
connection ∇ for TM → M , the product connection ∇r acts on β = βi1 ···ir dxi1 ∧ · · · ∧ dxir (with
our convention that βI is skew-symmetric in I) by
r
!
∂βI X
∇r β = + βi ···(`) ···i θ` dxio ⊗ dxi1 ∧ · · · ∧ dxir ,
∂xio j=1 1 j r io ij
where the notation (`)j means that ` replaces ij . If we take the (r + 1)th skew-symmetric part of
∇r β (thought of as an (r + 1)-tensor) we obtain
r
!
` `
∂βI X (θio ij − θij io )
Λr+1 (∇r β) = i
+ βi1 ···(`)j ···ir dxio ∧ dxi1 ∧ · · · ∧ dxir ;
∂x o
j=1
2
but that the latter formula does not adhere to our convention of skew symmetry of the coefficients
of a differential form.) Thus we see that a connection ∇ is symmetric if and only if
d = Λr+1 ◦ ∇r
42
where ω and θ are the Christoffel symbols for D and ∇ respectively. Again if the connection ∇
∗
for TM is symmetric, then the anti-symmetric part
ν
2 ∂αi µ ν
Λ ((∇ ⊗ D)α) = + αi ωµj dxj ∧ dxi ⊗ eν
∂xj
is independent of the connection ∇. Similarly, if β is a V -valued r-form then
Λr+1 (∇r ⊗ D)α)
is a V -valued r + 1-form, which is again independent of ∇ as soon as ∇ is symmetric.
3.1.15 D EFINITION . Let V → M be a vector bundle with connection D and let ∇ be a symmetric
∗
connection for TM . The operator D1 : Γ(M, C ∞ (TM
∗
⊗ V )) → Γ(M, C ∞ (Λ2 (TM∗
) ⊗ V )) defined
by
D1 α := Λ2 ((∇ ⊗ D)α)
(which is independent of ∇) is called the twisted exterior derivative associated to D. More gener-
∗
ally, let ∇r denote the induced product connection for Λr (TM ) → M . The operator
Dr := Λr+1 ◦ (∇r ⊗ D) : Γ(M, C ∞ (Λr (TM
∗
) ⊗ V )) → Γ(M, C ∞ (Λr+1 (TM
∗
) ⊗ V ))
is called the twisted rth exterior derivative (for V -valued r-forms) associated to D.
If e1 , ..., er is a frame for V and x1 , ..., xm is a local coordinate system on M , then for a section
σ ∈ Γ(M, V ⊗ Λr (TM ∗
)) given locally by σ = σIµ dxI ⊗ eµ , one has (with D = Dr )
∂(σIµ ) j
Dσ = j
dx ∧ dxI ⊗ eµ + ωνµ ∧ σIν dxI ⊗ eµ
∂x
∂(σIµ ) j
= dx ∧ dxI ⊗ eµ + (−1)r σIν dxI ∧ ωνµ ⊗ eµ .
∂xj
Informally, we write
Dσ = dσ + (−1)r σ ∧ ω.
E XERCISES
3.1.1. Prove proposition 3.1.2.
3.1.2. If two frames e1 , ..., er and ẽ1 , ..., ẽr determined two connection forms A and à respectively,
and if G : U → GL(r, C) is the matrix of functions relating the two frames by Gei = ẽi , show that
à = (dG)G−1 + GAG−1 .
∗
3.1.3. Show that if D is a symmetric connection for TM → M compatible with a metric g then the
dual connection ∇ is symmetric and compatible with the metric γ for TM dual to the metric g.
3.1.4. Let (E, h) be a Hermitian vector bundle. For a frame e1 , ..., er , write s = sα eα , t = tβ eβ
and hαβ̄ := h(eα , ēβ ). Show that the Chern connection is given by the formula
¯ α eα .
Ds = ∂sα + sγ hαδ̄ ∂hγ δ̄ + ∂s
3.1.5. Show that a Hermitian metric on a Riemann surface is automatically Kähler.
43
3.2 Curvature
3.2.1 Definition
3.2.1 D EFINITION . Let E → M be a vector bundle with connection D and, in terms of some
frame, connection matrix A. The curvatures of (E, D) are the operators
where Dj is the twisted exterior derivative associated to the connection D as in Definition 3.1.15.
Observe that if s is an E-valued k-form and f is a function then
Θk (f s) = D(f Ds + df ∧ s) = f D ◦ Ds + df ∧ Ds − df ∧ Ds = f Θk s,
Θk s = s ∧ Ω(D)
s 7→ s ∧ (dA − A ∧ A)
Thus far we have used the fact that the Chern connection is complex, but not that it is metric
compatible. Metric compatibility reads as
¯
∂h(s, t) = h(D1,0 s, t) + h(s, ∂t) ¯
and ∂h(s, ¯ t) + h(s, D1,0 t).
t) = h(∂s,
44
(Note that the first of these equations is consequence of the second via complex conjugation fol-
lowed by interchange of the roles of s and t.) Since ∂ 2 = 0,
¯ − h(D1,0 s, ∂t)
0 = h(D11,0 ◦ D1,0 s, t) + h(D1,0 s, ∂t) ¯ + h(s, ∂¯1 ∂t)
¯ = h(D1,0 ◦ D1,0 s, t),
1
In particular, the curvature maps sections to twisted (1, 1)-forms, and therefore the curvature form
of the Chern connection is a (1, 1)-form.
3.2.3 P ROPOSITION . The curvature of the Chern connection of (E, h) → X is given by the formula
¯ αµ̄ ∂hβ µ̄ ).
Ωαβ = ∂(h
d(A(D)).
Indeed, if the fibers are 1-dimensional then A(D) ∧ A(D) = 0. In particular, the form yields, via
the isomorphism between End(L) and the trivial bundle, a globally-defined 2-form on M . Since
locally this 2-form is d(A(D)), the curvature form is a closed form, but in general this form is not
exact.
3.2.4 R EMARK . The de Rham cohomology class
2
[Θ(D)] ∈ HdR (M, C)
of the curvature of any connection for L does not depend on the connection. This cohomology
class, called the Chern class of the line bundle L → M , is denoted c1 (L).
Suppose now that X is a complex manifold and the line bundle L → X is holomorphic. Let h
be a Hermitian metric for L → X. If ξ is a holomorphic frame for L over an open set U ⊂ X then
one can define the function
ϕξ := − log h(ξ, ξ).
The curvature of the Chern connection of h is
45
where ξ ∗ is the frame for L∗ dual to ξ. Since ξ ⊗ ξ ∗ is nowhere-zero, one can ignore it and define
the curvature of the holomorphic line bundle to be ∂ ∂¯ log ϕ(ξ) .
The reader should check that the left hand side of the latter equality is independent of the choice
of holomorphic frame. Consequently some authors (probably only the present author1 ) uses the
following global notation for Hermitian metrics of holomorphic line bundles.
N OTATION . In the sequel, a metric for a holomorphic line bundle will often be denoted e−ϕ , and
¯
its curvature will be denoted ∂ ∂ϕ.
With calculations similar to those we used in the study of the connection, one can easily see that
¯
Ω = trace∂(∂hh −1
),
46
For a general Hermitian metric g the latter Chern curvature has nothing to do with the curvature
of the Levi-Civita connection for g. However if the metric g is Kähler, the curvature of the Chern
connection for (KX , det(g)) is the negative of the so-called Ricci curvature of g:
In the next paragraph, we will remind the reader of the definition, from Riemannian Geometry, of
the Ricci curvature of a Riemannian metric. We will then show that (3.10) holds when the metric
in question is Kähler.
For all vector fields ξ, η and ζ on M . It is customary to denote by R the curvature of the Levi-Civita
connection. That is to say,
47
The symmetry of the Levi-Civita connection implies that
As a consequence, we have
1 1
2
(Rijk` + Rik`j + Ri`jk ) = 0, 2
(Rjk`i + Rjik` + Rj`ik ) = 0,
1 1
2
(Rk`ij + Rkj`i + Rkij` ) = 0, 2
(R`ijk + R`kij + R`jki ) = 0.
and adding these four equations and using (3.11) and (3.12) yields
∇∂j ∂k = Γjik ∂j .
Now let ∇ be the Kähler connection on a Kähler manifold (X, g). In Section 3.1.3 (and specif-
ically in Remark 3.1.8) we derived the formula for the Christoffel symbols with respect to the real
coordinates, and so those Christoffel are different from the symbols we have defined in the present
paragraph. Nevertheless, as already mentioned, since
√
s1,0 ∂x∂ i = − −1s1,0 ∂y∂ i = ∂z∂ i ,
48
one does retain the symmetries of the Levi-Civita connection when working on TX1,0 instead of TX .
Since ∇ is the Chern connection of the Hermitian metric, its connection matrix is a matrix of
(1, 0)-forms, and must therefore satisfy
Let us introduce the following notation. Let Rij be the curvature tensor with respect to the local
frame ∂1 , ..., ∂n , ∂1̄ , ...∂n̄ for TX ⊗ C and write
(3.18) Rijαβ = Rij ᾱβ̄ = 0 and Rij ᾱβ = −Rijβ ᾱ = Rij β̄α .
Now, since the Kähler connection is Chern, we have (∇1,0 )2 = 0 and ∂¯2 = 0, which reads as
Since the Kähler connection is also Levi-Civita, our work from the previous paragraph shows that
In particular, we have
49
Ricci curvature of the Kähler connection
Finally, we come to the promised discussion of Ricci curvature. Recall that for a Riemannian
metric the Ricci curvature is the trace
Ricci(g)ij = g k` Rik`j .
As mentioned at the end of the previous paragraph, there is some symmetry to the Ricci curvature
of a Kähler metric. Indeed, the Ricci curvature tensor satisfies
In fact, we claimed in the last paragraph that one has the formula
where g is the Kähler metric in question. To see this formula, we use the above symmetries as
follows.
(3.21) (3.19) (∗)
−Ricci(g)αβ̄ := −g dc̄ Rαc̄dβ̄ = − g dc̄ Rαβ̄dc̄ = g dc̄ Rαβ̄c̄d =g δγ̄ Rαβ̄γ̄δ = ∂zα ∂z̄β log det (g) ,
where (∗) holds because the metric is Hermitian, and so only has (1, 1)-parts, and the last equality
holds because, by Proposition 3.2.5,
3.2.6 Positivity
It is important to know when the curvature of the Chern connection for a Hermitian metric on a
holomorphic vector bundle is ‘positive’. Because the curvature Θ(h) of the Chern connection of
a metric h for a holomorphic E → X is a (1, 1)-form with values in Hom(E, E) → X, there are
many ways to measure its positivity. The strongest notion of positivity is called Nakano-positivity,
the weakest notion is called Griffiths positivity, and these two notions flank an intermediate se-
quence of conditions discovered by Demailly. We shall describe all of these in the present para-
graph.
50
Definitions of positivity
3.2.6 D EFINITION . Let E → X be a holomorphic vector bundle with smooth Hermitian metric h,
and fix a smooth Hermitian metric g on X.
(i) We say that h has positive curvature in the sense of Griffiths at a point x ∈ X if there exists
c > 0 such that
{v ⊗ ξ, v ⊗ ξ}h,Θ(h) ≥ ch(v, v)g(ξ, ξ)
1,0
for all v ⊗ ξ ∈ Ex ⊗ TX,x .
(ii) We say that h has positive curvature in the sense of Nakano at a point x ∈ X if there exists
c > 0 such that
( n n
) n
X X X
vj ⊗ ξj , vk ⊗ ξk ≥c h(vj , vj )g(ξj , ξj )
j=1 k=1 h,Θ(h) j=1
1,0
for all v1 ⊗ ξ1 , ..., vn ⊗ ξn ∈ Ex ⊗ TX,x , where n = min(dimC Y, RankE).
(iii) Let m be an integer between 1 and min(dimC Y, RankE). We say that h has m-positive
curvature in the sense of Demailly at a point x ∈ Y if there exists c > 0 such that
( m m
) m
X X X
vj ⊗ ξj , vk ⊗ ξk ≥c h(vj , vj )g(ξj , ξj )
j=1 k=1 h,Θ(h) j=1
1,0
for all v1 ⊗ ξ1 , ..., vm ⊗ ξm ∈ Ex ⊗ TY,x .
One defines non-negative curvature by taking c = 0, and to define negative and non-positive
curvature one simply changes the sign of c and reverses the inequalities.
If V and M are two vector spaces then the elements of E ⊗ M are linear maps from M ∗ to
V . Any such linear map has a rank, which is equal to the dimension of its image. This rank is by
definition the rank of a tensor T ∈ V ⊗ M .
Thus a holomorphic vector bundle E → X with Hermitian metric h is m-positive at x ∈ X if
for any Hermitian metric g on X there exists a positive constant c such that
Duality
The Hermitian holomorphic vector bundle (E, h) is Griffiths-positive if and only if its dual (E ∗ , h∗ )
is Griffiths-negative, but that this statement ceases to be true for the stronger notions of positivity.
More precisely, the Riesz Representation Theorem provides a C-conjugate linear isometry R :
E ∗ → E defined by
hα, vi = h(v, Rα).
51
Since
¯
∇1,0 α, v + α, ∇1,0 v = ∂ hα, vi = ∂h(v, Rα) = h(∇1,0 v, Rα) + h(v, ∂Rα)
¯
= α, ∇1,0 v + R−1 ∂Rα,
v ,
And unless the rank of v1 ⊗ ξ1 + · · · + vm ⊗ ξm is at most 1, the last quadratic form is not the form
measuring negativity of the curvature.
¯ = ∂ 2ϕ
∂ ∂ϕ dz i ∧ dz̄ j ,
∂z i ∂ z̄ j
and hence the curvature of e−ϕ is (semi-)positive if and only if the Hermitian matrix
dimC (X)
∂ 2ϕ
∂z i ∂ z̄ j i,j=1
is positive (semi-)definite.
52
Criterion for Griffiths positivity
In Chapter 11 the following proposition will be very useful.
3.2.7 P ROPOSITION . The metric h for V → X is non-positive in the sense of Griffiths if and only
if for any holomorphic section s of V → X the function
log h(s, s)
is a plurisubharmonic function on X.
Proof. We calculate that
which shows that if ∂ ∂¯ log h(sv , sv ) is plurisubharmonic then h is non-positive in the sense of
Griffiths.
E XERCISES
3.2.1. Prove Proposition 3.2.3.
3.2.2. Show that if L → M is a complex line bundle then the line bundle End(L) → M is trivial.
3.2.3. Show that if L → X is a holomorphic line bundle and h1 and h2 are two Hermitian metrics
for L then the curvature forms
Θ(h1 ) and Θ(h2 )
of their Chern connections are cohomologous.
3.2.4. Prove Proposition 3.2.5.
3.2.5. Show that the Hermitian quadratic form (3.24) is well-defined.
3.2.6. Confirm the computation (3.25), and show that for any vector v ∈ Vx there exists a holo-
morphic section sv of V → X near x such that sv (x) = v and ∇1 sv (x) = 0.
53
3.2.7. Let X be a complex manifold of dimension n and let E → X be a holomorphic vector
bundle of rank r with smooth Hermitian metric h. Set
k := min(r, n).
(a) Prove the following test for Nakano negitivity: the Chern connection for (E, h) has Nakano-
negative curvature at a point p ∈ X if and only if for every local coordinate system z at p
and every k-tuple of holomorphic sections (f1 , ..., fk ) the (n, n)-form
k
!
X
¯
∂∂ h(fi , fj )Υij̄
i,j=1
54
Part II
L2 Estimates for ∂¯
55
Lecture 4
In this section we prove Hörmander’s Theorem for complex manifolds of dimension 1. We shall
give two proofs. The first is longer, and will be given only for domains in the complex plane.
However, the weighted estimates obtained will hold for very general weights. The second proof is
rather short, and applies to general Riemann surfaces, but the estimates established hold only for
smooth weights.
4.1 Domains in C
For the rest of the section, fix an open connected set Ω in C and a smooth function ϕ ∈ C ∞ (Ω).
Classically the function ϕ is called the weight function, or simply the weight.
and we let Hϕo denote the Hilbert space closure of C ∞ (Ω) with respect to the norm induced
by this inner product. (Note that C ∞ (Ω) is contained in Hϕo because Ω is bounded and
ϕ ∈ C ∞ (Ω).)
Space of (0, 1)-forms For (0, 1)-forms α = f dz̄ and β = gdz̄ we define the inner product
Z
1
(α, β)1 := √ α ∧ β̄e−ϕ = (f, g)o ,
2 −1 Ω
and we let Hϕ1 denote the Hilbert space closure of C ∞ (Ω)dz̄ with respect to the norm
induced by this inner product.
56
The ∂¯ operator
Next we turn to the definition of the Hilbert space ∂¯ operator. The ∂¯ operator as we know it up to
now sends a smooth function f to the (0, 1)-form ∂f ¯ = ∂f dz̄. We extend ∂¯ to a densely defined
∂ z̄
operator (denoted with the same symbol)
∂¯ : Hϕo → Hϕ1
defined as follows: the domain of ∂¯ consists of all f ∈ Hϕo such that the (0, 1)-current ∂f¯ is
represented by integration against (an automatically unique) α ∈ Hϕ , i.e., there exists α ∈ Hϕ1
1
such that
Z Z
1 ∂ψ
(4.1) √ α ∧ ψdz = − f dA for all ψ ∈ Co∞ (Ω),
2 −1 Ω Ω ∂z
¯ := α for f ∈ Domain(∂).
and then we define ∂f ¯
Z Z
1 −ϕ 1 ¯ j ∧ gdz̄e−ϕ
(α, gdz̄)1 = √ α ∧ gdz̄e = lim √ ∂f
2 −1 Ω 2 −1 Ω
Z Z
∂ −ϕ −ϕ ∂ −ϕ
= lim fj −e ϕ (e g) e dA = f −e ϕ (e g) e−ϕ dA.
Ω ∂z Ω ∂z
But this equation means that (4.1) holds for ψ = e−ϕ g. Since g 7→ e−ϕ g is an isomorphism of
Co∞ (Ω), we are done.
and ∂¯∗ α is the unique element of Hϕo corresponding to the linear functional
¯ α) ∈ C
`α : Co∞ (Ω) 3 g 7→ (∂g,
It is a general fact that the Hilbert space adjoint of a densely defined (resp. closed) operator is
closed (resp. densely defined), and that the double adjoint of a closed densely defined operator is
57
the operator itself. These elementary facts make it possible to formulate an adjoint (weak) version
of the ∂¯ equation.
To establish an estimate we will need later on, it is useful to have a formula for ∂¯∗ on a dense
subspace of Hϕ1 . With such a formula as our goal, let α = f dz̄ be a smooth (0, 1)-form on Ω
and let g ∈ C ∞ (Ω). Recalling our temporary assumption that Ω is bounded, ∂Ω is smooth and
ϕ ∈ C ∞ (Ω), we compute that
Z
¯ 1 ¯ −ϕ
(α, ∂g)1 = √ α ∧ ∂ge
2 −1 Ω
Z
1
= √ α ∧ dḡe−ϕ
2 −1 Ω
Z Z
1 −ϕ 1
= √ ḡd(e α) − √ d(e−ϕ αḡ)
2 −1 Ω 2 −1 Ω
Z Z
1 ∂ −ϕ 1
f ḡe−ϕ dz̄
= √ ḡ fe dz ∧ dz̄ − √
2 −1 Ω ∂z 2 −1 ∂Ω
√
−1
Z
= −eϕ ∂z∂
(e−ϕ f ), g o + ḡe−ϕ α.
2 ∂Ω
∂¯∗ α = ϑα.
58
which shows that α ∈ Domain(∂¯∗ ), and the formula (α, ∂g)
¯ 1 = (ϑα, g) implies that ∂¯∗ α = ϑα.
o
Conversely, suppose α ∈ Domain(∂¯∗ ). Fix functions χj ∈ Co∞ (Ω) such that 0 ≤ χj ≤ 1 and
for each compact set K ⊂ Ω there exists J ∈ N such that if j ≥ J then χj |K ≡ 1. Then by the
definition of Domain(∂¯∗ )
¯ j g))1 | ≤ Cα ||χj g||o
|(α, ∂(χ
for some constant Cα that is independent of g or j. Therefore by Dominated Convergence
¯ 1 = lim(α, ∂(χ
(α, ∂g) ¯ j g))1 = lim(ϑα, χj g)o = (ϑα, g)
j j
so α|∂Ω ≡ 0.
∂
e−ϕ ∂f ¯ but since α is a (0, 1)-form ∂α ¯ = 0.
It is tempting to write the term −eϕ ∂z ∂ z̄
as ϑ∂α,
Therefore we need a better interpretation for this term if we are to extend these ideas to higher
dimensions. The insight that seems most natural is to view α not as a differential form, but rather
as a section of a complex vector bundle.
¯
Recall that the ∂-operator, when acting for sections, is well-defined only on a holomorphic
vector bundle. If we think of the form α = f dz̄ not as a form, but rather as a section of the
(trivial, so in this case, holomorphic) vector bundle TΩ∗0,1 , then we can act with ∂¯ on this section,
and produce the section of (TΩ∗0,1 )⊗2 given by
¯ = ∂f dz̄ ⊗2 .
∇α
∂ z̄
¯ even when T ∗0,1 is not trivial, as long as one has a
(Later we will see that there is a way to define ∇ Ω
Hermitian Riemannian metric on Ω. The present case corresponds to the Euclidean metric on our
domain Ω ⊂ C.)
59
Let us define an inner product on smooth sections of (TΩ∗0,1 )⊗2 by
Z
⊗2 ⊗2
(gdz̄ , hdz̄ )2 := f ḡe−ϕ dA.
Ω
With this inner product in hand, one can compute (Exercise 4.2.2) that the formal adjoint of the
¯ : Γ(Ω, T ∗0,1 ) → Γ(Ω, (T ∗0,1 )⊗2 ) is given by the formula
operator ∇ Ω Ω
4.1.5 T HEOREM . Suppose Ω is a bounded, smoothly bounded domain and ϕ ∈ C ∞ (Ω). Then
2
(4.4) ¯ =∇
∂ϑα ¯ + ∂ ϕα
¯ ∗ ∇α
∂z∂ z̄
for any smooth (0, 1)-form α on Ω.
Now let α be a smooth form on Ω lying in the domain of ∂¯∗ . Then α vanishes on ∂Ω, so
¯
(∂ϑα, α)1 = (∂¯∂¯∗ α, α)1 = ||∂¯∗ α||2o and ¯ ∗ ∇α,
(∇ ¯ α)1 = ||∇α||
¯ 22 .
∂ 2ϕ
Z
¯∗ ¯ 1
(4.5) 2 2
||∂ α||o = ||∇α||2 + √ α ∧ ᾱe−ϕ .
2 −1 Ω ∂z∂ z̄
Let us denote by F the inner product space with norm ||| · ||| whose underlying vector space is
Domain(∂¯∗ ).
4.1.7 R EMARK . Since ∂¯∗ is also a closed operator, F is in fact a Hilbert space. We will not use
the completeness of ||| · ||| in this paragraph.
60
We begin with some important preliminaries. Fix a form α ∈ F . First, we extend α by 0 to
C − Ω. This extended form, which we denote by α̃, can be seen as a form in L2`oc (C), and we want
to say that, in some sense, α̃ is still in the domain of ∂¯∗ . The trouble is that ∂¯∗ itself, the Hilbert
¯ is intimately tied to the domain Ω. However, the formal adjoint is given by
space adjoint of ∂,
some formula, namely ∂¯∗ = L, where
∂f ∂ϕ
L(f dz̄) = − + f.
∂z ∂z
Since ϕ ∈ C ∞ (Ω), we can assume that ϕ ∈ Co∞ (C) and define the operator L as a densely defined
operator on L2 (C, e−ϕ dA). We can now make a more reasonable statement about α̃.
4.1.9 P ROPOSITION . The form α is in the domain of ∂¯∗ if and only if Lα̃ ∈ Hϕo in the sense of
distributions, and in that case
Lα̃ = ∂¯∗ α.
61
¯ we have
Proof. For any g ∈ Domain(∂)
Z
¯ 1 = (α, ∂(χg))
¯ 1 ∂χ −ϕ
(χα, ∂g) 1+ √ ḡ f e dA,
2 −1 Ω ∂z
4.1.11 C OROLLARY. The identity (4.5) holds for all α in the domain of ∂¯∗ .
62
Hörmander’s Theorem on domains in C
We are now ready to state and prove Hörmander’s Theorem.
4.1.12 T HEOREM (Hörmander’s Theorem for domains in C). Let Ω ⊂ C be a domain and let
ϕ ∈ L1`oc (Ω) be a function such that ϕ(z) − c|z|2 is subharmonic in Ω for some c > 0. Then for
any measurable function f on Ω such that
Z
|f |2 e−ϕ dA < +∞
Ω
Let us fix j for now. At the end of the proof we will let j → ∞.
Define the function ϕδ := ϕ ∗ (δ −2 ψ(·/δ)), where ψ is a radial function on C with compact
support and total integral 1, and δ > 0 is less than the Euclidean distance from Ωj to C − Ω. Then
ϕδ is smooth, subharmonic, and decreasing to ϕ, and we have
∂2 ∂ 2ψ z − ζ
Z
2 z−ζ dA(ζ)
(ϕδ (z) − c|z| ) = ϕ(ζ) − cψ ≥ 0.
∂z∂ z̄ C ∂ζ∂ ζ̄ δ δ δ2
On the domain Ωj we have the Hilbert spaces
as well as the closed, densely defined operators ∂¯ : Hjo → Hj1 and the Hilbert space adjoint
∂¯∗ : Hj1 → Hjo . Then Corollary 4.1.11 applies, and thus from (4.5) we obtain
α := f dz̄.
The estimate (4.6) means that λ is continuous on Image(∂¯∗ ) (and hence on its closure). Setting λ
equal to 0 on the orthogonal complement Hjo Image(∂¯∗ ) makes λ a continuous linear functional
on Hjo with operator norm ||λ||2∗ ≤ c−1 ||α||21 . By the Riesz Representation Theorem there exists
uδ,j ∈ Hjo such that λ(h) = (h, uδ,j ) and ||uδ,j || = ||λ||∗ . Applying the first identity to h = ∂¯∗ β
shows that
¯ δ,j = α, ∂uδ,j
∂u i.e., = f,
∂ z̄
and the equality ||uδ,j || = ||λ||∗ , together with the monotonicity of ϕδ with respect to δ, yields
Z Z Z Z
2 −ϕδ 1 2 −ϕδ 1 2 −ϕ 1
|uδ,j | e dA ≤ |f | e dA ≤ |f | e dA ≤ |f |2 e−ϕ dA.
Ωj c Ωj c Ωj c Ω
In fact, since ϕδ is decreasing in δ, for all δo > 0 sufficiently small and all δ ≤ δo we have
Z Z Z
2 −ϕδo 2 −ϕδ 1
|uδ,j | e dA ≤ |uδ,j | e dA ≤ |f |2 e−ϕ dA.
Ωj Ωj c Ω
Thus all the {uδ,j } lie in a ball of radius c−1/2 ||f || in Hϕoδo . By Alaoglu’s Theorem there is a
sequence δk → 0 such that uδk ,j converges in Hϕoδo and
Z Z
2 −ϕδo 1
|uδk ,j | e dA ≤ |f |2 e−ϕ dA.
Ωj c Ω
so we can again extract a convergent subsequence in Hϕoδ . Taking the diagonal subsequence, we
`
find that it converges in Hϕoδ for all `. Thus we have a limit uj such that
`
Z Z
2 −ϕδk 1
|uj | e dA ≤ |f |2 e−ϕ dA.
Ωj c Ω
64
for any smooth (0, 1)-form α with compact support in Ωj , we can take limits to see that
¯ j=α
∂u
Now, for each smooth (0, 1)-form ψ with compact support in Ωjo and any j ≥ jo we have
65
¯ = α in the sense of currents, and
there exists a measurable section u of L → X such that ∂u
Z Z
2 −ϕ 1 1
(4.7) |u| e ω ≤ √ α ∧ ᾱe−ϕ .
X c 2 −1 X
Proof. We use the square norms appearing on the left and right hand sides of (4.7) respectively
to define Hilbert spaces H o and H 1 for sections of L → X and L-valued (0, 1)-forms on X
respectively.
Let β be a smooth L-valued (0, 1)-form on X and let h be a smooth section of L → X with
compact support. We define the operator ϑ : Γo (X, TX∗0,1 ) → Co∞ (X), by
¯ 1,
(ϑβ, h)o = (β, ∂h)
where Γo (X, TX∗0,1 ) is the vector space of compactly supported smooth (0, 1)-forms on X. Then
Z
¯ 1 ¯ −ϕ
(β, ∂h)1 = √ β ∧ ∂he
2 −1 X
√
−1
Z Z Z
−ϕ 1 −ϕ 1
−eϕ ∂(e−ϕ β) h̄e−ϕ .
= d(e β h̄) − √ ∂(e β)h̄ = √
2 X 2 −1 X 2 −1 X
√
−1
Writing β = f dz̄ and ω = e−ψ 2
dz ∧ dz̄ in some local coordinate z on which the line bundle
L → X is trivial, we have
1 1 ∂ ∂
√ eϕ ∂(e−ϕ β) = √ eϕ (e−ϕ f )dz ∧ dz̄ = −eϕ+ψ (e−ϕ f )ω.
2 −1 2 −1 ∂z ∂z
Thus
ϕ+ψ ∂ −ϕ ψ ∂f ∂ϕ
ϑβ = −e (e f ) = e − + f .
∂z ∂z ∂z
The reader can check that the right hand side is independent of the coordinate system chosen.
4.2.2 R EMARK . The aforementioned check can be done by seeing how the right hand side trans-
forms with a change of coordinates, but there is a geometric way to see it as well. Given the section
β of L ⊗ TX∗0,1 → X, the metric e−ϕ , which identifies the fibers of L with the conjugates of their
∗
duals, allows us to define a section e−ϕ β of the line bundle L ⊗ TX∗0,1 → X. Since the latter
line bundle is anti-holomorphic, it has a well-defined ∂ operator, so we have a section ∂(e−ϕ β) of
∗
L ⊗ TX∗1,0 ⊗ TX∗0,1 → X. But the line bundle TX∗1,0 ⊗ TX∗0,1 → X has a nowhere zero section,
∗
namely the metric g, so it is trivial. We thus obtain a section eψ ∂(e−ϕ β) of L → X. Finally, using
the metric e−ϕ again, we have a section eϕ+ψ ∂(e−ϕ β) of L → X, and this section is denoted ϑβ.
In the same vein as the Remark 4.2.2, given our section β of TX∗0,1 ⊗ L → X, there exists an
L-valued (1, 0)-vector field Vβ (meaning Vβ is a section of TX1,0 ⊗ L → X) such that
β = Vβ yω,
66
where, for a vector ξ and a form α, ξyα denotes the contraction of α with ξ. In local coordinates,
if β = f dz̄ for a local section f of L then
∂
Vβ = f eψ .
∂z
¯ β as a section of
Since Vβ is a section of a holomorphic line bundle, it makes sense to compute ∂V
1,0 ∗0,1 ¯ ∗0,1
TX ⊗ TX ⊗ L. We think of ∂Vβ as a (1, 0)-vector field with values in TX ⊗ L, and as such
there is a section of (TX∗0,1 )⊗2 ⊗ L, which we denote ∇β
¯ and which we think of as a (0, 1)-form
∗0,1
with values in TX ⊗ L, such that
¯ β yω = ∇β.
∂V ¯
In local coordinates, we have
¯ dz̄) = e−ψ ∂ eψ f dz̄ ⊗2 = ∂f ∂ψ
dz̄ ⊗2 .
∇(f + f
∂ z̄ ∂ z̄ ∂ z̄
We can define an inner product structure on the space of compactly supported smooth sections of
L ⊗ (TX∗0,1 )⊗2 → X defined as follows. If ξi = hi dz̄ ⊗2 then
Z Z
−ϕ
(ξ1 , ξ2 )2 := ψ
e h1 h̄2 e = hξ1 , ξ2 ig e−ϕ ω,
X X
where h·, ·ig is the metric for (TX∗0,1 )⊗2 → X induced by the metric g for T 1,0 → X. (Locally, if
¯ ∗ defined by
ξi = hi dz̄ ⊗2 then hξ1 , ξ2 ig = h1 h̄2 e2ψ .) We can then calculate the adjoint operator ∇
while
¯∗¯ = −e ∂ ψ+ϕ −ϕ ∂f ∂ψ
∇ ∇β e + f dz̄
∂z ∂ z̄ ∂ z̄
∂ 2f ∂ 2ψ
ψ ∂ψ ∂f ∂f ∂ϕ ∂ϕ ∂ψ
=e − − + + − f dz̄.
∂z∂ z̄ ∂ z̄ ∂z ∂ z̄ ∂z ∂z ∂ z̄ ∂z∂ z̄
67
It follows that
∂ 2ϕ ∂ 2ψ
¯ −∇
∂ϑβ ¯ ∗ ∇β
¯ = eψ + β,
∂z∂ z̄ ∂z∂ z̄
and thus Z
||ϑβ||2o ¯ 2 ¯ + R(g))β, β e−ϕ ω.
= ||∇β||2 + Θg (∂ ∂ϕ g
X
The hypotheses of Theorem 4.2.1 therefore imply that
Then
1
||λα ||2 := sup |(α, β)1 |2 ≤ ||α||21 < +∞,
||∂¯∗ β||o =1 c
so λα is bounded on the (non-closed) subspace ∂¯∗ (Γo (X, L ⊗ TX0,1 )) of H o . By the Hahn-Banach
Theorem (or simply by extending by 0 in the orthogonal complement) we can assume that the
linear functional λα ∈ H o∗ is bounded with norm at most c−1/2 ||α||. By the Riesz Representation
Theorem there is a section u ∈ H o such that λα (v) = (u, v)o and
Z Z
2 −ϕ 1 1
|u| e ω ≤ √ α ∧ ᾱe−ϕ .
X c 2 −1 X
68
E XERCISES
4.2.1. Prove that the Hilbert space adjoint ∂¯∗ of the ∂¯ operator, defined on page 57, is closed and
densely defined, and that (∂¯∗ )∗ = ∂¯ as densely defined operators.
¯
4.2.2. Establish Formula (4.3) for the formal adjoint of the operator ∇.
4.2.3. Let ϕ be a strictly plurisubharmonic function (i.e., such that ∆ϕ ≥ c > 0 in the sense of
currents) on a smoothly bounded domain Ω ⊂⊂ C. Show that if α is a smooth (0, 1)-form on Ω
that vanishes on ∂Ω and satisfies ∂¯∗ α = 0 then α = 0. Show that there is a smooth (0, 1)-form
α 6≡ 0 on Ω such that ∂¯∗ α ≡ 0.
(a) Use Green’s Theorem to show that for any z ∈ Ω and any function f ∈ C ∞ (Ω) one has the
formula Z Z
1 f (ζ)dζ 1 ∂f ∂A(ζ)
f (z) = √ − .
2π −1 ∂Ω z − ζ π Ω ∂ ζ̄ z − ζ
(c) Let X be a Riemann surface and let α be a smooth (0, 1)-form on X. Show that any function
¯ = α is smooth.
u such that ∂u
69
Lecture 5
We fix a Kähler manifold (X, g) and a holomorphic vector bundle E → X with Hermitian metric
h. We let ω denote the metric form of g. We denote by Θ the curvature of the Chern connection
associated to (E, h) and by R the curvature operator of the Kähler connection associated to (X, g).
These curvature operators induce operators on E-valued (p, q)-forms, whose definitions will be
apparent from the derivation. We shall denote the induced operators by the same letters.
Let
gij := g(∂i , ∂j̄ ) and hαβ̄ = h(eα , eβ ).
As usual, g ij̄ and hαβ̄ denote the inverse matrices; they are the matrices of the metrics for the dual
bundles, with respect to the dual frame.
The metrics g and h induce a metric on E ⊗ Λn,q X . In terms of the above metrics the new metric
is given locally by
1 ¯
hϕ, ψi := ϕαJ¯ψL̄β hαβ̄ g LJ det(g ij̄ ),
q!
¯
where g LJ = g `1 j̄1 · · · g `q j̄q . It is easy to check that the right hand side is independent of all the
frames that were chosen. When we want to indicate the dependence on the metrics g and h, we
shall write hϕ, ψig,h .
¯
5.1.1 R EMARK . It is sometimes convenient to employ the notation ψᾱI := ψL̄β hβ ᾱ g J L̄ , with respect
to which one has hϕ, ψi = q!1 ϕαJ¯ψᾱJ .
70
5.1.2 D EFINITION . Let (E, h) → X be a Hermitian complex vector bundle and let dV be a volume
element, i.e., a smooth (n, n)-form with no zeros, on a Hermitian manifold (X, g).
(i) For two compactly supported E-valued (p, q)-forms ϕ and ψ, we define the inner product
Z
(ϕ, ψ) = hϕ, ψi dVg .
X
With this inner product, the space of compactly supported smooth E-valued (p, q)-forms is
an inner product space.
(i) We let L2p,q (g, h) denote the Hilbert space completion of the inner product space of smooth
compactly supported E-valued (p, q)-forms, with the inner product (·, ·).
5.1.3 R EMARK . Note that dVg = det(gij̄ )dV (z), and therefore the (n, n)-form
1 α β ¯
(5.1) {ϕ, ψ} := ϕJ¯ψL̄ hαβ̄ g LJ
q!
In the case q = 0 the (n, n)-form {ϕ, ψ} depends only on the metric h, and not on the metric g.
5.2 ¯
Two ∂-operators and their formal adjoints
A smooth E-valued (n, q)-form can be viewed in two ways. In the first, usual way, such a form is a
(n, q)-form with values in a holomorphic vector bundle. From the second perspective, a (n, q)-form
is a section of the vector bundle Λn,q
X ⊗ E → X; a complex vector bundle that is not holomorphic.
In this paragraph we will define natural ∂¯ operators for these two types of sections.
Let us begin with the first perspective. We fix a basis {eα } of local holomorphic sections of
E → X. To indicate the type of the forms we are using, it is helpful to include subscripts for our
multi-indices. Let us denote by ∇ the Chern connection associated to E-valued (p, q)-forms on
our Kähler manifold (X, g).
5.2.1 P ROPOSITION . Let ϕ = ϕαJ¯q dz 1 ∧ · · · ∧ dz n ∧ dz̄ Jq ⊗ eα be an E-valued (n, q)-form. Then
q
X
¯ = (−1)n
∂ϕ (−1)k (∇j̄k ϕ)αj̄ ...ˆj̄ dz 1 ∧ ... ∧ dz n ∧ dz̄ J ⊗ eα .
0 k ...j̄q
k=0
Then
¯ = (−1)n ∂j̄ ϕα 1 n j Jq
∂ϕ j̄0 ...j̄q ∧ dz ∧ · · · ∧ dz ∧ dz̄ ∧ dz̄ ⊗ eα
q
X
n
= (−1) (−1)k ∂j̄k ϕαj̄ ...ˆj̄ dz 1 ∧ · · · ∧ dz n ∧ dz̄ j0 ∧ ... ∧ dz̄ jq
0 k ...j̄q
k=0
q
X
= (−1)n (−1)k (∇j̄k ϕ)αj̄ ...ˆj̄ dz 1 ∧ · · · ∧ dz n ∧ dz̄ j0 ∧ ... ∧ dz̄ jq ,
0 k ...j̄q
k=0
71
where the last equality holds since ∇0,1 = ∂¯ for the Chern connection.
¯ Thus d is defined by the relation
We denote by d the formal adjoint of ∂.
¯
(dϕ, ψ) = (ϕ, ∂ψ)
for all smooth twisted forms ϕ, and all smooth twisted forms ψ with compact support. Note that d
sends smooth E-valued (n, q)-forms to smooth E-valued (n, q − 1)-forms.
dϕ = (−1)n+1 g ij̄ (∇i ϕ)αj̄j̄1 ...j̄q−1 dz 1 ∧ ... ∧ dz n ∧ dz̄ j1 ∧ ... ∧ dz̄ jq−1 ⊗ eα .
Where the second-to-last inequality follows from the metric compatibility of the connection.
¯ ∂ ∂ I J¯ α ∂
Fϕ := g I J ϕαJ¯dz 1 ∧ ... ∧ dz n ⊗ ∧ ... ∧ ⊗ eα =: g ϕJ¯dz 1
∧ ... ∧ dz n
⊗ ⊗ eα
∂z i1 ∂z iq ∂z I
is a section of KX ⊗ q TX1,0 ⊗ E → X, and clearly the map ϕ 7→ Fϕ is a 1-1 correspondence that
V
depends only the pointwise values of ϕ. The map F extends
Vqon 1,0 Vk naturally to a 1-1
Vq correspondence
∗0,1
Fk of KX ⊗ TX ⊗E-valued (0, k)-forms, i.e., sections of (TX )⊗KX ⊗ TX1,0 ⊗E → X,
by acting trivially on the last factor, i.e., for J = (j1 , ..., jk ) set
72
¯ : Γ(X, (Λn,q ) ⊗ E) → Γ(X, T ∗0,1 ⊗ (Λn,q ) ⊗ E) is defined by
5.2.3 D EFINITION . The operator ∇ X X X
¯
¯ := F−1 ∂Fϕ.
∇ϕ 1
then Z Z
¯
(ϕ, ∇ψ) = g kj̄
ϕαJ,¯ j̄ (∇k̄ ψ)Jα¯dV (z) = −g kj̄ (∇k ϕ)αJ,¯ j̄ ψαJ¯dV (z),
X X
√
where dV (z) = ( 2−1 )n dz 1 ∧ dz̄ 1 ∧ ... ∧ dz n ∧ dz̄ n and we have used the fact that the Chern
connection is compatible with the metric. Thus
¯ ∗ ϕ)α¯ = −g kj̄ (∇k ϕ)α¯
(∇ J J,j̄
¯ ∗ ϕ = 0.
When viewing ϕ as a section rather than a form, one sets ∇
¯ its Laplace-Beltrami operator ∇
We can therefore associated to ∇ ¯ ∗∇
¯ on sections of the vector
n,q
bundle (ΛX ) ⊗ E → X. Our computations show that
(5.2) ¯ ∗∇
∇ ¯ = −g kj̄ ∇k ∇j̄ .
5.3.1 T HEOREM (The formal Bochner-Kodaira Identity). Let (X, g) be a Kähler manifold and let
E → X be a holomorphic vector bundle with Hermitian metric h. Denote by = ∂d ¯ + d∂¯ the
¯ Then one has the formal identity
Laplace-Beltrami operator associated to ∂.
(5.3) ¯ ∗∇
=∇ ¯ + Θg (h),
where Θg (h) is the operator on E-valued (n, q)-forms induced by the curvature of the metric h.
73
Proof. Using Propositions 5.2.1 and 5.2.2, we calculate that
¯ α n+1 ij̄ ¯ α 1 n
(d∂ϕ)j̄1 ...j̄q = (−1) g ∇i (∂ϕ)j̄ J¯dz ∧ · · · ∧ dz ∧ dz̄ ⊗ eα J
= (−1)n+1 g ij̄ ∇i (−1)n (∇j̄ ϕ)αJ¯dz 1 ∧ · · · ∧ dz n ∧ dz̄ J ⊗ eα
q
X
n
+(−1) (−1)k (∇j̄k ϕ)αj̄j̄ dz 1 ∧ · · · ∧ dz n ∧ dz̄ J ⊗ eα
1 ...j̄k ...j̄q
b
k=1
q
!
X
= (−g ij̄ ∇i ∇j̄ ϕ)αj̄1 ...j̄q + (g ij̄ ∇i ∇j̄k ϕ)αj̄1 ...(j̄)k ...j̄q dz 1 ∧ · · · ∧ dz n ∧ dz̄ J ⊗ eα ,
k=1
and
q
X
¯ α
(∂dϕ) n
(−1)k+1 (∇j̄k (dϕ))αj̄ ...b̄j
j̄1 ...j̄q = (−1) 1 k ...j̄q
k=1
q
X
= (−1)n (−1)k+1 (∇j̄k ((−1)n+1 g ij̄ ∇i ϕ))αj̄j̄
1 ...j̄k ...j̄q
b
k=1
q
X
=− (∇j̄k (g ij̄ ∇i ϕα ))j̄1 ...(j̄)k ...j̄q
k=1
q
X
=− g ij̄ (∇j̄k ∇i ϕ)αj̄1 ...(j̄)k ...j̄q ,
k=1
Thus q
¯
X
(ϕ)αJ¯q = −g ij̄ (∇i ∇j̄ ϕ)αJ¯q + g i` ([∇i , ∇j̄k ]ϕ)αj̄1 ...(`)
¯ k ...j̄q .
k=1
The right hand side of the last equation is by definition the operator Θg (h) induced in E-valued
(n, q)-forms by the curvature of h:
q
¯
X
(5.4) Θg (h)ϕ := g i` Θ(h)αβij̄k ϕβj̄1 ...(`) 1 n j1 jq
¯ k ...j̄q dz ∧ · · · ∧ dz ∧ dz̄ ∧ · · · ∧ dz̄ ⊗ eα .
k=1
74
Exercises
5.3.1. Let X be a compact complex manifold and let L → X be a holomorphic line bundle with a
smooth Hermitian metric h whose Chern connection has positive curvature. Show that if a smooth,
L-valued (n, 1)-form α satisfies α = 0 then α = 0.
75
Lecture 6
¯ Before
In this section we present our first, and simplest, result on L2 estimates for solutions of ∂.
beginning, we should say a word on the meaning of the solution of ∂¯ in spaces of not necessarily
smooth sections, such as L2p,q (g, h). In fact, the ∂¯ operator can act on currents, and in particular
on any locally integrable sections. In the space the distribution equation ∂u¯ = ϕ, ϕ ∈ L2 (g, h),
p,q
2
formulates as follows. A section u ∈ Lp,q−1 (g, h) is a weak solution of the equation ∂u¯ = ϕ if
6.1.2 R EMARK . Note that the condition (6.1) holds if the Hermitian metric g (p) ⊗ det g ⊗ h has
Nakano-positive curvature. However, as we shall see, if q > 1 then (6.1) can hold under weaker
assumptions.
76
Proof of Theorem 6.1.1. Let E := p TX1,0 ⊗KX ∗
V
⊗F . Then an F -valued (p, q)-form identifies with
an E-valued (n, q)-form. Moreover, the metric h := g (p) ⊗ det g ⊗ h identifies the corresponding
L2 structures, and the curvature assumption is equivalent to the existence of a positive constant c
such that
Θ(h) ≥ c · Id.
Let ϕ be an E-valued (n, q)-form with finite L2 norm. For any smooth, E-valued (n, q)-form
ψ we have the estimate
1 ¯ 2
(6.2) ||ψ||2 ≤ ||∂ψ|| + ||∂¯∗ ψ||2 .
c
Now consider the bilinear form (·, ·)H defined on smooth sections of Λn,q
X ⊗ E → X by
¯ 1 , ∂ψ
(ψ1 , ψ2 )H := (∂ψ ¯ 2 ) + (∂¯∗ ψ1 , ∂¯∗ ψ2 ).
The inequality (6.2) implies that || · ||H is a norm. Define H to be the Hilbert space completion
of Γ(X, Λp,q TX∗ ⊗ E) with respect to the norm || · ||H .
Let λϕ : L2p,q (g, h) → C be the linear functional defined by
By Cauchy-Schwarz
||ϕ||2
|λϕ (ψ)|2 ≤ ||ψ||2H ,
c
and thus λϕ ∈ H ∗ . By the Riesz Representation Theorem there exists v ∈ H such that
||ϕ||2
||v||2H ≤ and (v, ψ)H = λϕ (ψ), ψ∈H.
c
The latter means that
¯ ∂ψ)
(∂v, ¯ + (∂¯∗ v, ∂¯∗ ψ) = (ϕ, ψ), ψ∈H.
In particular, the latter holds for smooth ψ.
Now, since ∂ϕ¯ = 0 we have
||ϕ||2
||u||2 = ||∂¯∗ v||2 = ||v||2H ≤ .
c
The proof is therefore complete.
77
6.2 A few useful applications
Regularity and cohomology vanishing
Theorem 6.1.1 provides L2 solutions to the ∂¯ equation with L2 data, but leaves open an important
question: If the data ϕ is a smooth E-valued (p, q)-form, is the solution provided by Theorem 6.1.1
also smooth.
The answer to this question is affirmative. However, except in the case q = 1, the reason is
a bit subtle. For general q, the solution we provided is of the form u = dv, and any section of
¯
this form is orthogonal to the ∂-closed ¯
twisted forms. Since any two solutions differ by a ∂-closed
twisted form, our solution is the one of minimal norm. Consequently v is a (weak) solution of the
equation v = ϕ. The operator is an elliptic system, and general machinery, which we have not
discussed, implies the desired smoothness. However, when q > 1 there are always other solutions
¯ = ϕ that are not smooth.
of the equation ∂u
The case q = 1 is slightly different. In this case, all solutions are either smooth or not. Indeed,
any two solutions differ by a holomorphic section. So to show regularity, one has only to show
that there exists some smooth solution.PThe smoothness of the solution is a local problem: using a
partition of unity, one can write ϕ = χj ϕj , and if we can find smooth solutions with compact
support uj of the equations ∂u ¯ j = ϕj then the section u = P uj provides the needed smooth
solution. To then find the smooth solution of the localized equation, one can work in Cn . In this
case there are a number of available techniques, and at least one of them, which is based on Green’s
Theorem, is rather elementary; it is often taught in first courses in complex analysis. The approach
is to produce an integral formula for the solution, and the smoothness of the solution can be read
off from the formula. Therefore, for q = 1, any section u of F → X that satisfies ∂u ¯ = ϕ is
smooth when this is the case for ϕ.
As a corollary of this discussion, one obtains the following important proposition.
6.2.1 P ROPOSITION . Under the hypotheses of Theorem 6.1.1, the Dolbeault cohomology groups
Kodaira Vanishing
Let L → X be a holomorphic line bundle on a complex manifold X of complex dimension n, and
let e−ϕ be a smooth Hermitian metric for L. The positivity of the curvature ∂ ∂ϕ ¯ of e−ϕ means
precisely that the (1, 1)-form √
−1 ¯
ω := ∂ ∂ϕ
2π
is a Kähler form. (Thus, a posteriori, every complex manifold admitting a line bundle with a metric
of positive curvature is necessarily Kähler.) We therefore can, and do, use the Kähler form ω to
define our Kähler metric g on X.
78
Suppose β is a smooth, L-valued (n, q)-form. In terms of a local frame ξ for L, if we write
β = βJ¯dz 1 ∧ · · · ∧ dz n ∧ dz̄ J then we compute that
Θg (e−ϕ )β
q
¯
X
= 2π g i` gij̄k βj̄1 ...(`) 1 n j1
¯ k ...j̄q dz ∧ · · · ∧ dz ∧ dz̄ ∧ · · · ∧ dz̄
jq
k=1
= 2πqβ
By Proposition 6.2.1 one has the following theorem.
6.2.2 T HEOREM (Kodaira Vanishing Theorem). Let X be a compact Kähler manifold and let
L → X be a holomorphic line bundle admitting a smooth metric of positive curvature. Then
H∂n,q
¯ (X, L) = {0}.
Kodaira-Nakano Vanishing
Another direct corollary of Proposition 6.2.1 is the following generalization of Kodaira Vanishing.
The proof is left to the reader.
6.2.3 T HEOREM (Kodaira-Nakano Vanishing Theorem). Let X be a compact Kähler manifold and
let E → X be a holomorphic vector bundle admitting a smooth metric whose curvature is positive
in the sense of Nakano. Then
H∂n,q
¯ (X, E) = {0}.
79
√ √ P
αi ∧ ᾱi and θ = −1 i λi αi ∧ ᾱi , we have
P
Since ω = −1 i
√ X
θ ∧ ω q−1 = ( −1)q (q − 1)! (λj1 + · · · + λjq )αj1 ∧ ᾱj1 ∧ · · · ∧ αjq ∧ ᾱjq
|J|=q
and √ X
ω q = ( −1)q q! αj1 ∧ ᾱj1 ∧ · · · ∧ αjq ∧ ᾱjq .
|J|=q
6.2.4 T HEOREM . Let (X, ω) be a compact Kähler manifold and let L → X be a holomorphic line
bundle admitting a smooth metric with curvature θ. Fix q ∈ {1, ..., n} and suppose
θ ∧ ω q−1 ≥ cω q
There are analogous vanishing theorems for vector bundles, but they are a little more elaborate,
involving the notion of m-positivity discussed in Chapter 1. We shall not formulate them here.
80
Lecture 7
• each operator T : H1 → H2 comes with its own domain of definition Domain(T ), and
It may sometimes be possible to extend an operator to a larger domain. If this is so, and S is such
an extension, then the Graph
7.1.2 R EMARK . If an operator is bounded on a Hilbert space (or more generally on a Banach
space), then the Closed Graph Theorem tells us that it is closed.
As the reader will recall, a Hilbert space is isomorphic to its dual. The explicit theorem yielding
the isomorphism is a rather elementary version of the Riesz Representation Theorem. The result
states that the map sending v ∈ H to the bounded linear functional λv ∈ H ∗ define by
λv w := hw, vi ,
81
is a conjugate linear isomorphism that is also an isometry:
||λv ||H ∗ = ||v||.
The next objective on our agenda is to define the adjoint of a linear operator T : H1 → H2 as
an operator T ∗ : H2 → H1 . To define the adjoint operator, we begin by defining its domain. We
let Domain(T ∗ ) consist of all η ∈ H2 such that
Lη : x 7→ hT x, ηi2
is a continuous linear functional on Domain(T ). By the continuity of Lη , one can extend Lη to
the closure of Domain(T ). We can also extend Lη to the orthogonal complement of Domain(T )
by setting
Lη (y) = 0 for all y ∈ Domain(T )⊥ .
By the Riesz representation theorem Lη is represented by a unique element T ∗ η of H1 satisfying
hT x, ηi2 = hx, T ∗ ηi1 , x ∈ Domain(T ).
The linearity of η 7→ T ∗ η is trivial to prove.
7.1.3 R EMARK . Extending Lη by zero to Domain(T )⊥ might initially seem rather arbitrary. How-
ever, if λ is any extension of Lη and λo denotes the extension by zero to Domain(T )⊥ then λ − λo
vanishes on Domain(T ). Thus, writing u = v + w ∈ Domain(T ) ⊕ Domain(T )⊥ ,
||λ||2 = sup |λ(v + w)|2 = sup |λo (v) + (λ − λo )(w)|2 = ||λo ||2 + ||λ − λo ||2 .
|v|2 =|w|2 =1 |v|2 =|w|2 =1
We see that λo is the extension of minimal norm, which does seem rather more natural.
7.1.4 P ROPOSITION . If T : H1 → H2 is densely defined (resp. closed) then T ∗ : H2 → H1 is
closed (resp. densely defined).
Proof. We denote by πi : H1 × H2 → Hi the projection to the ith factor, i = 1, 2, and by
h , i1,2 = π1∗ h , i1 + π2∗ h , i2 the inner product on H1 × H2 . Let F : H1 × H2 → H1 × H2 be
given by
F (ξ, η) = (−ξ, η).
Observe that (ξ, η) ⊥ F (Graph(T )) if and only if
hx, ξi1 = hT x, ηi2
for all x ∈ Domain(T ). Note that while the latter means that η ∈ Domain(T ∗ ), we cannot conclude
that ξ = T ∗ η unless we also know that ξ ⊥ Domain(T )⊥ .
Now suppose Domain(T ) is dense. Then Domain(T )⊥ = {0}, so (ξ, η) ⊥ F (Graph(T )) if
and only if η ∈ Domain(T ∗ ) and T ∗ η = ξ. In other words,
F (Graph(T ))⊥ = Graph(T ∗ ),
and thus T ∗ is closed.
Next suppose T is closed. Let η ⊥ Domain(T ∗ ). Then the vector (0, η) lies in Graph(T ∗ )⊥ =
F (Graph(T )) = F (Graph(T )) = F (Graph(T )). Thus η = T 0 = 0, and from Lemma 7.1.5 below
and the Riesz Representation Theorem we conclude that T ∗ is densely defined.
82
7.1.5 L EMMA . Let A be a subspace of a topological vector space H. Then A = H if and only if
every continuous linear functional on H that vanishes on A is zero.
Proof. If A = H then clearly every continuous linear functional on H that vanishes on A is zero.
Conversely, let v ∈ H − A. The linear functional on the closed subspace Cv + A of H defined by
tv + a 7→ t is continuous and vanishes on A. By the Hahn-Banach Theorem, this linear functional
extends to a continuous linear functional ` ∈ H 0 . Evidently `|A ≡ 0 and ` 6≡ 0.
7.1.6 P ROPOSITION . If T is a closed, densely defined operator, then T ∗∗ = T .
Proof. We know that T ∗ is also closed and densely defined, and we have
hx, T ∗ ηi = hT x, ηi
We can construct a densely defined extension of ∂¯ if we take the domain of the extension of ∂¯
to be any subspace H of L2p,q (g, h) containing Γo (X, Λp,q TX∗ ⊗ E) such that for each ϕ ∈ H the
¯ is represented by integration against some Fϕ ∈ L2 (g, h):
E-valued (p, q + 1)-current ∂ϕ p,q+1
¯
∂ϕ(ψ) = (Fϕ , ψ) for all ψ ∈ Γo (X, Λp,q+1 ⊗ E).
X
83
7.1.7 P ROPOSITION . The operator T = Tp,q is closed.
Proof. Let {ϕj } ⊂ Domain(T ) be a sequence that converges to some ϕ ∈ Domain(T ) such that
T ϕj → Φ in L2p,q+1 (g, h). Then for all η ∈ Γo (X, Λp,q+1
X ⊗ E) we have
Thus T ϕ = Φ.
∗
7.1.3 The Hilbert space adjoint Tp,q
The maximal extension Tp,q of ∂¯ has a closed, densely defined Hilbert space adjoint Tp,q
∗
whose
domain is
∗
Domain(Tp,q ) = {α ∈ L2p,q+1 (g, h) ; |(α, Tp,q ψ)| ≤ Cα ||ψ|| for all ψ ∈ Domain(Tp,q )}.
Moreover,
¯ ∧ ϕ and
Tp,q+1 (χϕ) = χTp,q+1 ϕ + ∂χ ∗
Tp,q (χϕ) = χT ∗ ϕ − grad0,1 χ̄yϕ,
so clearly χϕ ∈ Domain(Tp,q+1 ) and the formula for Tp,q+1 holds. Next, if ψ ∈ Domain(Tp,q )
then the calculation just completed shows that χψ ∈ Domain(Tp,q ). Thus
∗
which shows that χϕ ∈ Domain(Tp,q ) and
84
7.2 Complete Kähler manifolds
7.2.1 Complete Riemannian manifolds and exhaustion functions
Recall that in Riemannian geometry one has the notion of a complete (connected) Riemannian
manifold (M, g): The Riemannian metric g induces a distance function, with the distance δg (x, y)
between two points x, y ∈ M being the infimum of the lengths of any two paths connecting those
two points. (In general, a curve realizing this infimum, which is called the minimizing geodesic,
need not exist.) The underlying manifold with this distance function is a metric space, and we say
that a Riemannian manifold is complete if this induced metric space is complete.
The celebrated Hopf-Rinow Theorem says that the completeness property of the Riemannian
manifold is equivalent to the condition that for each xo ∈ M the function
ψo : M 3 x 7→ δg (x, xo ) ∈ [0, ∞)
is proper. In general the function ψo is not smooth, but it is Lipschitz with constant 1, and thus
it is almost everywhere differentiable. Moreover, |dψo |g ≤ 1. We can therefore smooth ψo to a
function ψ satisfying
|dψ|g ≤ 2 and |ψ(x) − ψo (x)| ≤ 1.
The function ψ : M → [−1, ∞) is then also proper.
It is not hard to show, on the other hand, that the Riemannian manifold (M, g) is complete
if there exists a smooth proper function ψ : M → [A, ∞) on M such that |dψ|g is uniformly
bounded.
7.2.1 R EMARK . Note that the constant A plays no role in the completeness of (M, g), but we must
have it if we insist on using the word ‘proper’. In complex analysis, it is customary to avoid this
trivial issue by introducing the notion of an exhaustion function.
We summarize the discussion in the following proposition.
7.2.2 P ROPOSITION . A Riemannian manifold (M, g) is complete if and only if there exists an
exhaustion function ψ ∈ C ∞ (M ) such that |dψ|g ≤ 1.
Since the operator of primary interest is T , while the operator S comes in to take care of the
compatibility condition for the data, it is useful to distinguish these two operators more clearly, as
this notation does.
On a complete Kähler manifold forms in Domain(S) ∩ Domain(T ∗ ) can be approximated by
smooth forms, with respect to the norm
85
7.2.3 T HEOREM . Let (X, ω) be a complete Kähler manifold and let E → X be a holomorphic
Hermitian vector bundle. Then for any E-valued (p, q)-form ϕ ∈ Domain(T ∗ ) ∩ Domain(S) there
exist smooth, compactly supported E-valued (p, q)-forms {ϕk } such that
Proof. Fix an exhaustion function ψ ∈ C ∞ (X) such that |dψ|ω ≤ 1 and a function χ ∈ C ∞ (R)
such that χ(r) = 1 for r ≤ 0 and χ(r) = 0 for r ≥ 1. Let fk (x) := χ(ψ(x) − k + 1). Then
fk ∈ Co∞ (X), and in fact fk is supported in the compact set Xk := {x ∈ X ; ψ(x) ≤ k}. For any
ϕ ∈ Domain(T ∗ ) ∩ Domain(S) Proposition 7.1.8 implies that the compactly supported form
Φk := fk ϕ
We estimate that
||SΦk − Sϕ|| ≤ ||(1 − fk )Sϕ|| + (sup |dfk |)||1X−Xk ϕ|| ≤ C(||1X−Xk ϕ|| + ||1X−Xk Sϕ||),
X
and the right hand side converges to 0 as k → ∞ because ϕ and Sϕ are in L2 . Since
√
||grad0,1 fk || = ||∂fk || = 2||dfk ||,
N
X
||Φk − ϕk || + ||T Φk − ∂¯∗ ϕk || + ||SΦk − ∂ϕ
∗ ¯ k || . ||Φik − ϕk || + ||d(Φik − ϕk )|| → 0
i=1
7.2.4 R EMARK . The norm (7.1) is often called the graph norm, since it is the restriction of the
norm of L2p,q ⊕ L2p,q−1 ⊕ L2p,q+1 to the graph of the operator T ∗ ⊕ S.
86
7.2.3 The basic estimate for complete Kähler metrics
We can now prove the following version of the Basic Estimate.
7.2.5 T HEOREM (The Basic Estimate: Complete Kähler metric case). Let (X, g) be a complete
Kähler manifold and let E → X be a holomorphic vector bundle with Hermitian metric h. Then
for all E-valued (p, q)-forms ϕ ∈ Domain(T ∗ ) ∩ Domain(S) such that Θg (g (p) ⊗ det g ⊗ h)ϕ ∈
L2p,q (g, h) one has the estimate
Proof. By Theorem 7.2.3 the smooth compactly supported E-valued forms are dense, and thus the
result follows from integration by parts applied to the formal Bochner-Kodaira Identity (Theorem
¯ 2 ≥ 0.
5.3.1) and the obvious inequality ||∇ϕ||
7.3.1 T HEOREM (Hörmander’s Theorem; complete metric case). Let (X, g) be a complete Kähler
manifold and let V → X be a holomorphic vector bundle with Hermitian metric h. Assume that
for some c > 0. Then for each V -valued (p, q)-form ϕ such that
Z
¯ = 0 and
∂ϕ |ϕ|2h,g ω n < +∞
X
Proof. Since Kernel(S) is a closed subspace of L2p,q (h, g) we can replace the latter by the former.
Restricting the Basic Estimate to Kernel(S) then gives us that for all ψ ∈ Domain(T ∗ )∩Kernel(S),
||ϕ||2 ∗ 2
(7.2) |(ϕ, ψ)|2 ≤ ||ϕ||2 ||ψ||2 ≤ ||T ϕ|| ,
c
where the last inequality follows from Theorem 7.2.5. The Functional Analysis Lemma ?? with
H1 = L2p,q (h, g) and H2 = Kernel(S) then yields a (p, q)-form u such that T u = ϕ and ||u|| ≤
c−1 ||ϕ||, as desired.
87
7.3.2 Comparison of L2 norms from comparison of metrics
Let X be a complex manifold and V → X a holomorphic vector bundle with Hermitian metric h.
Fix Hermitian metrics g and γ with metric forms ω and θ respectively, and assume γ ≥ g.
Choose an ω-orthonormal basis of (1, 0)-forms α1 , ..., αn such that
√ √
θ = λ1 −1α1 ∧ ᾱ1 + · · · + λn −1αn ∧ ᾱn .
Then λi ≥ 1 for 1 ≤ i ≤ n.
Given a V -valued (p, q)-form η, one can locally write
η = ηI J¯αI ∧ ᾱJ
with ηI J¯ local sections of V . With the notation λI = λi1 · · · λip and λJ¯ = λj1 · · · λjq , the norms of
η with respect to the metrics (h, g) and (h, γ) are respectively
1 X 1 X |ηI J¯|2h
|η|2h,g = |ηI J¯|2h and |η|2h,γ = .
p!q! p!q! λI λJ¯
|I|=p,|J|=q |I|=p,|J|=q
In particular,
|η|2h,γ ≤ |η|2h,g .
On the other hand, the volume forms for the two metrics are
√ √
dVg = ( −1)n α1 ∧ ᾱ1 ∧ · · · αn ∧ ᾱn and dVγ = λ1 · · · λn ( −1)n α1 ∧ ᾱ1 ∧ · · · αn ∧ ᾱn ,
so dVg ≤ dVγ , and hence it is in general hard to compare the L2 -norms of (p, q)-forms with respect
to these two metrics.
However, there is one exceptional but important case: the case p = n. In this case
1 X |ηI J¯|2h √
|η|2h,γ dVγ = ( −1)n α1 ∧ ᾱ1 ∧ · · · αn ∧ ᾱn
n!q! λJ¯
|I|=n,|J|=q
1 X √
≤ |ηI J¯|2h ( −1)n α1 ∧ ᾱ1 ∧ · · · αn ∧ ᾱn
n!q!
|I|=n,|J|=q
= |η|2h,g dVg .
Consequently one has the comparison of L2 -norms: if η is a V -valued (n, q)-form and γ ≥ g then
||η||2h,γ ≤ ||η||2h,g .
This monotonicity of norms is very useful if one wants to generalize Hörmander’s Theorem 7.3.1
to the setting in which the manifold X is complete Kähler but the metric g is not necessarily
complete. Indeed, of g is a Hermitian (resp. Kähler) metric and g∗ is a complete Hermitian (resp.
Kähler) metric then for every ε > 0 the metric gε := g +εg∗ is a complete Hermitian (resp. Kähler)
metric that dominates g.
There is also of course the problem that the monotonicity of L2 -norms only works when p = n,
but this matter is dealt with by another clever trick.
88
7.3.3 Hörmander’s Theorem for complete Kähler manifolds
We can now remove the hypothesis of completeness for the metric g in Theorem 7.3.1.
7.3.2 T HEOREM (Hörmander’s Theorem). Let X be a complete Kähler manifold with metric g
that is not necessarily complete, and let E → X be a holomorphic vector bundle with Hermitian
metric h. Assume that
Θg (g (p) ⊗ det g ⊗ h) ≥ cIdΛp,q
X ⊗E
for some c > 0. Then for each E-valued (p, q)-form ϕ such that
Z
|ϕ|2h,g ω n < +∞ and ∂ϕ ¯ =0
X
in the sense of distributions, there exists a E-valued (p, q − 1)-form u such that
Z Z
¯ 2 n 1
∂u = ϕ and |u|h,g ω ≤ |ϕ|2h,g ω n .
X c X
Proof. Fix a complete Kähler metric g∗ and qrite gε := g + εg∗ . If ε > 0 is sufficiently small then
Θgε (h̃) ≥ cε ,
and moreover for any E-valued (p, q)-form, a.k.a. Ẽ-valued (n, q̃)-form, η
|η|2h,g = |η|2h̃,g .
We emphasize that the metric h̃ involves the metric g and not the metric gε , and so in this sense h̃
is ‘ε-static’.
Now let ϕ ∈ L2p,q (h, g) = L2n,q (h̃, g). Then by monotonicity
Z Z Z
2 2
|ϕ|h̃,gε dVgε ≤ |ϕ|h̃,g dVg = |ϕ|2h,g dVg < +∞,
X X X
89
Now, for 0 < ε < εo , gε ≤ gεo , and hence by monotonicity again
Z Z Z
2 2 1
|uε |h̃,gε dVgεo ≤ |uε |h̃,gε dVgε ≤ |ϕ|2h,g dVg .
X
o
X c ε X
Thus since cε → c, {uε } lies in a fixed ball inside L2n,q (h̃, gεo ). By Alaoglu’s Theorem we can
choose a subsequence uo,jo := uεjo that converges in L2n,q (h̃, gεo ). Choosing ε1 < εo , we have a
convergent subsequence
Since |u|2h̃,g dVgεk is an increasing sequence (in k), by the Monotone Convergence Theorem
εk
Z Z Z Z Z
1 1
|u|2h,g dVg = |u|2h̃,g dVg = lim |u|2h̃,gε dVgεk ≤ |ϕ|2h̃,g dVg = |ϕ|2h,g dVg .
X X k→∞ X k c X c X
Finally,
(u, ∂¯∗ ψ) = lim(uj , ∂¯∗ ψ) = lim(ϕ, ψ) = (ϕ, ψ)
for any compactly supported ψ. Thus ∂u ¯ = ϕ, and the proof is complete.
90
¯ = ∂ρ + ∂ρ, so that
Note that for any real-valued function ρ, dρ = ∂ρ + ∂ρ
|dρ|2ω̃ = gω̃∗ (∂ρ + ∂ρ, ∂ρ + ∂ρ) = gω̃∗ (∂ρ, ∂ρ) + gω̃∗ (∂ρ, ∂ρ) = 2gω̃∗ (∂ρ, ∂ρ) = 2|∂ρ|2ω̃ .
Thus
|d(eψ )|2ω̃ = 2|∂(eψ )|2ω̃ ≤ 12 .
Since the exponential function is increasing and proper (as a function from R to (0, ∞)), eψ is also
a smooth exhaustion function. By Proposition 7.2.2, (X, ω̃) is complete.
7.3.5 R EMARK . In the latter proof, if we can replace the exponential function by χ ◦ ψ where
χ : [0, ∞) → [0, ∞) is any non-constant convex increasing function. (Observe that a bounded in-
creasing convex function on [0, ∞) is necessarily constant, and thus in fact χ ◦ ψ is also a plurisub-
harmonic exhaustion.) We then compute that
√ √ √ √
ω̃ = ω + −1(χ0 ◦ψ)∂ ∂ψ ¯ +χ00 (ψ) −1∂ψ ∧ ∂ψ ¯ ≥ χ00 (ψ) −1∂ψ ∧ ∂ψ ¯ = −1∂(h◦ψ)∧ ∂(h◦ψ), ¯
91
7.3.6 T HEOREM (Demailly-Hörmander-SkodaTheorem). Let (X, g) be Kähler manifold and let
E → X be a holomorphic vector bundle with Hermitian metric h. Assume that X admits a
complete Kähler metric (which need not be g). Suppose that
where q
¯
X
Υg (ξIαJ¯dz I J
∧ dz̄ ⊗ eα ) := g i` Υij̄k ξIαj̄1 ···(`)
¯ k ···j̄q .
k=1
Sketch of proof. The proof of Hörmander’s Theorem goes through in exactly the same way if one
proves the pointwise estimate
The fact that such an inequality holds for a Hermitian form is a simple exercise in linear algebra:
it holds for diagonal operators by using the rescaled Cauchy-Schwarz Inequality
−1 N 2
|a · b̄| ≤ |(λ−1 1 1 N 2
1 a , ..., λN a )| · |(λ1 b , ..., λN b )| ,
92
7.4.1 D EFINITION . Let L → X be a holomorphic line bundle. A singular Hermitian metric for L
is a measurable section h ∈ Γ(X, L∗ ⊗ L∗ ) such that for any local holomorphic frame ξ of L over
U ⊂X
The name singular Hermitian metric is slightly misleading; it should probably have been called
a possibly singular Hermitian metric, since smooth metrics satisfy the criteria of Definition 7.4.1.
¯ ξ by
The main point of the definition is that one can define the (1, 1)-current ∂ ∂ϕ
Z
¯ (η) :=
∂ ∂ϕ ξ ¯
ϕξ ∂∂η for all smooth compactly supported (n − 1, n − 1)-forms η on U
U
¯ ξ,
In the smooth case this (1, 1)-current is represented by integration against the smooth form ∂ ∂ϕ
and the latter is independent of the choice of frame ξ. This form is of course the curvature of the
Chern connection for L, h. One can therefore make the following definition.
To have singular metrics with positive1 curvature current simply means that the local functions
ϕξ are plurisubharmonic. Strict positivity means these functions are strictly plurisubharmonic.
These notions, which are local, also do not depend on the choice of local frame ξ for L.
Quite often, however, positivity is not quite the correct hypothesis. For this purpose one wants
to have a class of singular Hermitian metrics whose curvature currents do not become ‘too nega-
tive’.
93
In many situations, Hörmander’s Theorem 7.3.2 (again, with the rank of E equal to 1) holds
with singular Hermitian metrics in place of smooth ones. The idea of the proof is to regularize
the metrics with the right monotonicity: one seeks a sequence of smooth metrics hj that increases
pointwise to the singular metric h, such that the curvature of each of the metrics in the approxi-
mating sequence carries enough positivity to apply Hörmander’s Theorem. With such a sequence
of metrics in hand, one can deduce the singular metric version of Hörmander’s Theorem from
Theorem 7.3.2 for the smooth metrics hj and standard limit and weak-∗ compactness theorems
from real analysis. This is precisely what was done in the last part of the proof of Theorem 4.1.12.
(A key point here is that the bounds in Hörmander’s Theorem do not depend on the manifold X,
the vector bundle E, and not even on the metrics weights themselves, but only on the positivity
conditions that these metrics satisfy.)
As for finding appropriate monotonic smooth approximations to a singular Hermitian metric,
there are many interesting cases in which this can be done.
• The classical example occurs when X is a bounded domain in Cn and L → X is the trivial
line bundle. In this case we can write our metric h as e−ϕ where ϕ is a globally defined
function. If ϕ is quasi-plurisubharmonic and Ωεo := {z ∈ Ω ; Bεo (z) ⊂ Ω} is the set of
points of Ω of distance at least εo from ∂Ω then there exists C > 0 such that ϕ + C|z|2 is
plurisubharmonic on Ωεo . One can then define, for ε ∈ (0, εo ), the function ϕε : Ωεo → R
by Z
1
2
ϕε (z) := −C|z| + 2n (ϕ(ζ) + C|ζ|2 ))χ(ε−1 (z − ζ))dV (ζ),
ε Cn
R
where χ is a U (n)-invariant function in Cn satisfying Cn χdV = 1. The function ϕε de-
creases monotonically to ϕ as ε & 0, and for each ε > 0 the function z 7→ ϕε (z) + C|z|2 is
plurisubharmonic.
• One can also carry out this sort of regularization on a Stein manifold, though in that case the
argument is more subtle.
• There are some manifolds, such as projective manifolds, that carry an analytic hypersurface
whose complement is a Stein manifold. The typical example is that of projective manifolds.
In such manifolds one works on the complement of this analytic hypersurface. Often the L2
estimates will allow for extension of holomorphic sections across the analytic hypersurface.
Indeed, the L2 norm dominates the pointwise norm, so a uniform L2 bound implies locally
uniform bounds, and one can apply Riemann’s Theorem on removable singularities.
• For a general complete Kähler manifold, even a weakly pseudoconvex one, this sort of reg-
ularization is not necessarily possible. It is possible to regularize metrics by giving up some
positivity– this is a well-known and beautiful technique due to Demailly– but the loss of
positivity is often a problem since, unlike Stein or Projective manifolds, one does not have
an ambient positive line bundle to add in the extra positivity.
However, if on a complete Kähler manifold a given singular metric h has a monotonic ap-
proximation by smooth metrics without loss of positivity then for this metric h one can
establish Hörmander’s Theorem.
94
E XERCISES
95
Part III
Twisted Methods
96
Lecture 8
Donnelly-Fefferman-Ohsawa Technique
If α has compact support then by pairing the last identity with α and integrating by parts one has
Z Z Z Z
¯∗ 2
|∂ α| + ¯ 2
|∂α| = ¯
|∇α| +2
hΘg (h)α, αi ,
X X X X
trivially follows. If the Kähler metric g is complete, as we shall assume from here on is the case,
then (8.1) holds for all α ∈ Domain(∂) ¯ ∩ Domain(∂¯∗ ).
There are several equivalent ways to approach the twisted basic estimate. We shall take the one
developed by Siu, but reformulate it slightly. The first step is to consider a metric of the form
h = e−η h
97
where
∂η ∂
grad0,1 η := g ij̄
∂z i ∂ z̄ j
is the (0, 1)-vector field obtained from ∂η via the isomorphism TX∗1,0 ∼ 0,1
= TX induced by the metric
g, and y is contraction of forms by vectors. Then
√
¯ 2 = e−η |∂α|
|∂α| ¯ 2 = | e−η ∂α|¯ 2 ,
g,h g,h g,h
D E
−η ¯ ⊗ IdE
hΘg (h)α, αig,h = e Θ(h) + ∂ ∂η g
α, α
g,h
and
2
|∂¯h∗ α|2g,h = e−η ∂¯h∗ α + (grad0,1 η)yαg,h
2
= e−η ∂¯h∗ α|2g,h + |(grad0,1 η)yαg,h + 2Re ∂¯h∗ α, (grad0,1 η)yα g,h
2
≤ e−η (1 + a) ∂¯h∗ α|2g,h + (1 + a−1 )|(grad0,1 η)yαg,h
p
−η ¯∗ 2 1 + a −η ¯
= | e (1 + a)∂h α|g,h + e ∂η ∧ ∂η ⊗ IdE g α, α ,
a g,h
where a is any positive function. The inequality follows from Cauchy-Schwarz and the estimate
2αβ ≤ C −1 α2 + Cβ 2 . From the basic estimate (8.1) we therefore have the a priori estimate
Z p 2 Z √
−η ¯ 2
e (1 + a)∂¯h α +
∗
−η
e ∂α
X Z g,h X g,h
D E
e−η Θ(h) + ∂ ∂η ¯ − 1+a ∂η ∧ ∂η
¯ ⊗ IdE α, α
≥ a g
.
X g,h
Observing that the domains of ∂¯ and ∂¯h∗ are the same as the domains of the operators
√ ∗
e−η ∂¯ and T ∗ := ∂¯h ◦ e−η (1 + a)
p
S :=
8.1.1 T HEOREM (Twisted basic estimate). Let X be a Kähler manifold with complete Kähler
metric g and let E → X be a holomorphic vector bundle with Hermitian metric h. Then
Z Z
∗ 2
|T α|g,h + |Sα|2g,h
X Z D X E
¯ − 1+a ∂η ∧ ∂η
e−η Θ(h) + ∂ ∂η ¯ ⊗ IdE α, α
≥ a g
X g,h
√ √
for every form α ∈ Domain((∂¯ ◦ ¯
τ + A)∗h ) ∩ Domain( τ ◦ ∂).
98
8.2 Donnelly-Fefferman-Ohsawa estimate for twisted ∂¯
With Theorem 8.1.1 in hand, one can use the same method of proof of Skoda’s estimate to establish
the following theorem.
8.2.1 T HEOREM (Donnelly-Fefferman-Ohsawa Estimate). Let X be a complete Kähler manifold
with not necessarily complete Kähler metric g, let E → X be a holomorphic vector bundle with
Hermitian metric h and let η : X → R and a : X → (0, ∞) be functions with η C 2 -smooth.
Assume the operator
Ψ := e−η Θ(h) + ∂ ∂η ¯ − 1+a ∂η ∧ ∂η ¯ ⊗ IdE : Λn,q ⊗ E → Λn,q ⊗ E
a g X X
is invertible on each fiber. Then for each E-valued (n, q)-form ϕ satisfying
Z
−1
Sϕ = 0 and Ψ ϕ, ϕ g,h < +∞
X
is invertible for some δ > 0. Then for each E-valued (n, q)-form ϕ satisfying
Z
¯ = 0 and
−1
∂ϕ Φδ ϕ, ϕ g,h < +∞
X
8.3.2 R EMARK . In the typical application of Theorem 8.3.1 one takes η to be a strictly plurisub-
harmonic function such that
(8.2) ¯ ≥ (1 + δ)∂η ∧ ∂η,
∂ ∂η ¯
and in this case the assumption on the metric h is that the metric he−η is Nakano positive. The
latter condition holds as long as Θ(h) ≥ −∂ ∂η¯ ⊗ IdE , and therefore the curvature hypotheses can
be significantly weaker than those of Hörmander’s Theorem. Of course, one obtains a non-trivial
result only if there are non-constant functions η satisfying (8.2). We shall explore this condition a
little further in the next paragraph.
99
Proof of Theorem 8.3.1. We shall apply Theorem 8.2.1 with h := e−η h and a = 1/δ. Then
¯
Θ(h) = Θ(e−η h) = Θ(h) + ∂ ∂η
and therefore
¯ −
Ψ := e−η Θ(h) + ∂ ∂η 1+a ¯ ⊗ IdE = e−η Φδ
a
∧ ∂η
∂η g
¯ (1 + δ −1 )e−η · u) = ϕ and
p
is invertible. By Theorem 8.2.1 there exists u such that ∂(
Z Z
2
−1
|u|g,h ≤ Ψ ϕ, ϕ g,h .
X X
p
Setting U := (1 + δ −1 )e−η · u, we find that
Z Z Z Z
2 1+δ 2 1+δ
−1 1+δ
−1
|U |g,h = |u|g,h ≤ Ψ ϕ, ϕ g,h = Φδ ϕ, ϕ g,h ,
X δ X δ X δ X
¯ − a+1 ¯ > 0.
∂ ∂η ∂η ∧ ∂η
a
Of course, any function satisfying this positivity requirement is obviously plurisubharmonic, but
a
the condition is even stronger. Indeed, since 1+a < 1, one has the estimate
¯ < ∂ ∂η,
∂η ∧ ∂η ¯
100
8.4.2 E XAMPLE . If X := {z ∈ Cn ; |z| < 1} is the unit ball and
η := − log(1 − |z|2 )
then
−e−η = |z|2 − 1
is strictly plurisubharmonic,
√ and therefore η has self-bounded gradient.
¯
Note that −1∂ ∂η is, up to a constant, the Kähler form of the Poincaré metric, the Bergman
metric, the Kobayashi metric and the Caratheodory metric. All of these metrics are so-called
Einstein metrics, i.e., their Ricci curvature is a negative constant multiple of their Kähler form.
8.4.3 E XAMPLE . Let X be a complex manifold and let f : X → Cn be a holomorphic map such
that ||f (x)|| < 1 for all x ∈ X. Then the function
η := − log(1 − ||f ||2 )
has self-bounded gradient, since it is the pullback by f of the function − log(1 − |z|2 ) of the
previous example.
8.4.4 E XAMPLE . If X = {ζ ∈ C ; 0 < |ζ| < 1} is the punctured unit disk and
η := log(log |ζ|−2 )
then
1
−e−η =
log |ζ|2
satisfies
¯ −η dζ̄ dζ ∧ dζ̄
∂ ∂(−e ) = −∂ = 2 ,
ζ̄ log |ζ| 2 |ζ| (log |ζ|2 )2
and hence η has self-bounded gradient. Note again that
√
√ √
¯ dζ̄ −1dζ ∧ dζ̄
−1∂ ∂η = −1∂ = 2
−ζ̄ log |ζ| 2 |ζ| (log |ζ|2 )2
is the Kähler form of the unique (up to a constant factor) metric for X whose Gaussian curvature
is a negative constant.
8.4.5 E XAMPLE . Let X be a complex manifold and assume there exists a non-constant holomor-
phic function T ∈ O(X) such that supX |T | ≤ 1. Let
Z := {x ∈ X ; T (x) = 0}
by the analytic hypersurface defined by T . Then the function
1
η := log log
|T |2
has self-bounded gradient on the manifold Y := X − Z. Indeed, T : Y → {0 < |ζ| < 1} is
a holomorphic map and the function η is just the pullback of the function ζ 7→ log log |ζ|12 of the
previous example.
101
8.4.6 E XAMPLE . A complex manifold is said to be hyperconvex if it has a negative plurisubhar-
monic exhaustion function. (Usually one asks for the exhaustion function to be continuous as well,
but this is not a fixed convention.) For example, every strictly pseudoconvex domain has a negative,
strictly plurisubharmonic exhaustion function.
Letting ψ be a negative plurisubharmonic function, which such domains automatically support,
one sets
η := − log(−ψ).
Clearly −e−η = ψ is plurisubharmonic, and therefore η has self-bounded gradient.
8.4.7 E XAMPLE . Let X be a bounded strictly pseudoconvex domain in Cn . One can define the
Hilbert space Z
HX := f ∈ ΓO (X, KX ) ; 2
|f | < +∞ ,
X
√ n2 /2
where |f |2 = −1 f ∧ f¯. For any orthonormal (Riesz) basis f1 , f2 , ... of HX one can define
the so-called Bergman function
∞
X |fj (z)|2
BX (z) := ,
j=1
dV (z)
where dV (z) is Lebesgue measure. The Bergman function is independent of the choice of or-
thonormal basis for HX .
Suppose ψ : Cn → R is a smooth function such that
(A function satisfying (i) is called a defining function for X, and if (ii) also holds then it is called a
Levi defining function.) A famous result of C. Fefferman [Fe-1974] states that the Bergman kernel
has an asymptotic expression
where F and G are smooth functions that do not vanish in a neighborhood of the boundary of X.
In particular, the function
1
(8.3) η(z) := log BX (z)
n+1
is strictly plurisubharmonic. Moreover,
102
and therefore η + log(−ψ) is a smooth function in a neighborhood of ∂X. Since the expression
for BX is only relevant near ∂X, one can choose the functions F and G so that φ := η + log(−ψ)
is smooth on a neighborhood of the closure of X.
Now, the function ηo := − log(−ψ) satisfies
¯ ¯
∂ ∂η ¯ o = ∂ ∂ψ
¯ o − ∂ηo ∧ ∂η and ¯ o = ∂ψ ∧ ∂ψ ,
∂ηo ∧ ∂η
−ψ (−ψ)2
E XERCISES
103
Lecture 9
Extension Theorems
The problem of interpolation of data is fundamental in many areas of mathematics and the hard
sciences. In our setting, one might like to interpolate holomorphic functions, or perhaps sections
of a holomorphic vector bundle, that are specified on a complex submanifold.
In this lecture we will discuss the interpolation problem from a complex submanifold (in fact,
often a hypersurface) in a complex manifold. We will restrict our attention to the case of smooth
hypersurfaces, though standard techniques can be used to extend all of our results so as to yield
extension from singular hypersurfaces.
Additionally, since we will be very interested in using singular metrics, we will confine our-
selves to the case of extension problems for holomorphic line bundles. When the metrics are
smooth, many of the techniques can be extended to the higher rank case.
F |S = f.
9.1.1 E XAMPLE . Let X = P1 , let L → X be the trivial bundle and let S = {[1, 0], [0, 1]}. Then
the function f : S → C defined by f ([1, 0]) = 0 and f ([0, 1]) = 1 is holomorphic on S (in fact,
since S is discrete any function on S is holomorphic) but there is no holomorphic extension of f
to X. Indeed, since X is compact, every holomorphic function on X is constant.
104
More generally, a manifold X is said to be strongly pseudoconvex if there is a smooth, strictly
plurisubharmonic exhaustion function, i.e., a function ρ : X → R such that
√
¯ > 0 and Ωc := {x ∈ X ; ρ(x) < c} ⊂⊂ X
−1∂ ∂ρ
for all c ∈ R. (The manifold Cn is strongly pseudoconvex, as one can see by taking ρ(z) = |z|2 .)
Then one has the following theorem.
9.1.2 T HEOREM . Let X be a strongly pseudoconvex manifold and let S ⊂ X be a closed subman-
ifold. Then for all f ∈ O(S) there exists F ∈ O(X) such that F |S = f .
Proof.√We fix once and for all a strictly plurisubharmonic exhaustion function ρ on X, and we let
ω := −1∂ ∂ρ ¯ be our Kähler form for X.
Let k be the dimension of S. Choose a collection {Uj ; j = 1, 2, ...} of open sets Uj ⊂⊂ X,
and local coordinates zj = (xj , yj ) such that
(Thus xj = (x1j , ..., xkj ) are local coordinates on S ∩ Uj , and n = dimC X.) Let U0 = X − S.
Define functions Fj ∈ O(Uj ), j ∈ N, by
F := Fi − gi on Ui
105
Then g̃i |S∩Ui ≡ 0 and
X X
g̃i − g̃j = χk (gim − gjm ) = χm gij = gij ∈ O(Ui ∩ Uj ).
m m
Of course, g̃i are not holomorphic, but since their differences are holomorphic, the (0, 1)-form α
defined by
α := ∂g̃¯ j on Uj
is globally defined on X. We seek a solution u ∈ C ∞ (X) of the equation ∂u−α¯ such that u|S ≡ 0.
If we find such a function u then the functions gi := g̃i − u satisfy (9.1) and the proof is finished.
To obtain our function u we shall use Hörmander’s Theorem with singular metrics. The idea is
to construct a weight function ψ such that e−ψ is not locally integrable at any point of S. If u has
finite L2 norm with respect to such a weight then u must vanish along S. Of course, the form α
must also be L2 with respect to the weight, so we cannot make this weight too singular along S; it
has to be just right.
Next we claim that
|α|2ω
Z
2(n−k)
dVω < +∞.
Uj |yj |
Indeed, since for each m the function gjm vanishes along Uj ∩ Um , there exist holomorphic func-
tions fmj,` such that
n−k
X
gjm = fjm,` yj` .
`=1
Thus
n−k
XX
g̃j = χm fjm,` yj` ,
m `=1
and
n−k
XX
¯ =
∂α ¯ m )fjm,` y ` .
(∂χ j
m `=1
Thus by Cauchy-Schwarz
n−k
!
Z
|α|2ω X Z X ¯ m |2
|∂χ ω
(9.2) dV ω ≤ |fjm,` |2 dVω < +∞,
Uj |yj |2(n−k) m Uj `=1
|yj |2(n−k−1)
where the finiteness follows because |y|2−2d is integrable in any relatively compact neighborhood
of 0 in Cd .
Now consider the weight
X
ψ := h ◦ ρ + χj log |yj |2(n−k) ,
j
106
where h is a smooth, convex, sufficiently rapidly increasing function. Then
¯ ◦ ρ = (h0 ◦ ρ)∂ ∂ρ
∂ ∂h ¯ + (h00 ◦ ρ)∂ρ ∧ ∂ρ
¯ ≥ (h0 ◦ ρ)ω,
and
!
X X
∂ ∂¯ χj log |yj |2(n−k) = χj ∂ ∂¯ log |yj |2(n−k)
j j
X
¯ j ) log |yj |
2(n−k) ¯ j
+ (n − k)|yj |−2 ∂χj ∧ (yj · dȳj ) + (yj · dyj ) ∧ ∂χ
+ (∂ ∂χ
j
X
¯ j
¯ j ) log |yj |2(n−k) + (n − k)|yj |−2 ∂χj ∧ (yj · dȳj ) + (yj · dyj ) ∧ ∂χ
≥ (∂ ∂χ .
j
We claim that the right hand side is locally bounded. To see this booundedness, fix j ≥ 1, and
denote by k1 , ..., kN the set of k such that Uj ∩ Uk 6= Ø. Because the local coordinates yj cut out
S, there exist smooth functions hµj`,ν such that
n−k
X
ykν` = exp(hνj`,µ )yjµ , 1 ≤ ν ≤ n − k.
µ=1
Then on Uj we have
N
X N
X
¯ k ) log |yk |2(n−k) =
(∂ ∂χ ¯ k ) log |yj |2(n−k) + a smooth function
(∂ ∂χ
` ` `
`=1 `=1
N
!
X
= ∂ ∂¯ χk` log |yj |2(n−k) + a smooth function
`=1
¯ log |yj |2(n−k) + a smooth function
= ∂ ∂(1)
= a smooth function.
The proof of boundedness of the other terms is similar, and is left to the reader. Additionally, the
above argument shows that
in a neighborhood of S ∩ Uj . Therefore
(b) by (9.2) Z
|α|2ω e−ψ dVω < +∞.
Uj
107
Now choose h increasing so rapidly– here it is crucial that ρ is an exhaustion– that
√
Z
¯ + Ricci(ω) ≥ ω and
−1∂ ∂ψ |α|2ω e−ψ dVω < +∞.
X
¯ = α and
By Hörmander’s Theorem there is a function u ∈ C ∞ (X) such that ∂U
Z
|u|2 e−ψ dVω < +∞.
X
Because u is smooth and e−ψ is not locally integrable at any point of S, u must vanish identically
along S. The proof is therefore complete.
Note that if the function h in the proof of Theorem 9.1.2 is chosen correctly then the function
f to be extended satisfies the estimate
Z
(9.3) |f |2 e−ψ dVω < +∞,
S
and therefore we have shown the following: for every f ∈ O(S) satisfying (9.3) there exists
F ∈ O(X) such that Z
F |S = f and |F |2 e−ψ dVω < +∞.
X
An application of the Closed Graph Theorem shows that in fact there exists a constant C > 0,
independent of f , such that
Z Z
|F | e dVω ≤ C |f |2 e−ψ dVω .
2 −ψ
X S
However C does depend on S, X, ω and ψ, and hence this extension theorem is entirely too
specialized.
As we will see in Section 10.2, it is extremely useful to have a result that relies much less on
the data. In the next section we state and prove such a result.
9.1.3 D EFINITION . A complex manifold X is said to be Stein if the following conditions hold.
(HC) The manifold X is holomorphically convex, i.e., for any closed discrete subset S ⊂ X there
exists a holomorphic function f ∈ O(X) such that
108
(SP) The algebra O(X) separates points, i.e., if x, y ∈ X are distinct points then there exists
f ∈ O(X) such that f (x) 6= f (y).
∗1,0
(ST) The algebra O(X) separates tangents, i.e., for any x ∈ X and α ∈ TX,x there exists
f ∈ O(X) such that df (x) = α.
Note that any closed submanifold of Cn has these three properties, and in fact one can realize
each property with affine-linear functions. Thus closed submanifolds of Cn are Stein. In fact, a
celebrated theorem of R. Narasimhan concludes the converse.
9.1.4 T HEOREM (R. Narasimhan). Every Stein manifold can be embedded as a closed submanifold
of a finite-dimensional complex vector space.
Narasimhan’s theorem is rather deep and technical, and unfortunately lies outside the range of
our goals. Perhaps more relevant to our presentation is the following theorem of Grauert.
9.1.5 T HEOREM (Grauert). A complex manifold is Stein if and only if it is strongly pseudoconvex.
To prove that strongly pseudoconvex manifolds are Stein, one constructs holomorphic functions
that realize the three properties of Stein manifolds. Properties (HC) and (PS) follow immediately
from Theorem 9.1.2 applied to the 0-dimensional submanifolds S = {pj } and S = {x, y} ⊂ X
respectively. Property (TC) follows from a slight modification of the proof of Theorem 9.1.2 for
the 0-dimensional manifold S = {x} ⊂ X; we leave it to the exercises.
The other direction of Grauert’s Theorem is a consequence of the following stronger, often
very useful result (though we will not make use of it in these notes).
9.1.6 T HEOREM . Let X be a Stein manifold, K a compact subset of X, and U a neighborhood of
b O(X) . Then there is a strictly plurisubharmonic exhaustion u ∈ C ∞ (X) such that u < 0 on K
K
but u > 0 on X − U . In particular, X is strongly pseudoconvex.
Proof. Since X is holomorphically convex, we can find compact sets K1 = K, K2 , ..., such that
for all i ≥ 1 [
Ki = (K
di )
O(X) , K i ⊂ interior(K i+1 ) and Ki = X.
i≥1
for all z ∈ Ki+2 − Ui . By taking large powers of the fik if necessary, we can assume that
ki
X ki
X
2 −i
sup |fik | < 2 and inf |fik |2 > i.
Ki Ki+2 −Ui
k=1 k=1
Moreover, by property (3) of Stein manifolds, we can also make sure that at each point of Ki n of
the functions fik , 1 ≤ k ≤ ki , form a local coordinate system.
109
Now set
∞ X
X ki
u := −1 + |fik |2 .
i=1 k=1
The sum converges uniformly on each Ki , but moreover u is smooth. (The simplest way to see the
smoothness of u is to consider the function
∞ X
X ki
F (z, ζ̄) := −1 + fik (z)fik (ζ)
i=1 k=1
on the complex manifold X × X † , where X † is the complex manifold with the complex conjugate
structure of X. For the same reasons as above, F converges locally uniformly on X × X † and is
therefore holomorphic. Restricting to the real submanifold z = ζ establishes the smoothness (and
even real-analyticity) of u.) Next, u > i − 1 on X − Ui . Finally,
∞ X
ki
√ X
¯
−1∂ ∂u(ξ, ξ) = |∂fik (ξ)|2 .
i=1 k=1
Since at each point of X at least one of these terms is strictly positive for non-zero ξ, we see that
u is strictly plurisubharmonic. The proof is complete.
such that for any polynomials p1 , ..., pN ∈ O(Cn ) of degrees deg(pi ) = di , any local coordinates
zi near xi , 1 ≤ 1 ≤ N , and holomorphic frames ξi for H and ηi for L near xi , 1 ≤ i ≤ N , and
any integer m ≥ mo there exists a section s ∈ ΓO (X, L⊗m ) such that
110
In other words for a sufficiently positive line bundle one can specify for a holomorphic section
the Taylor polynomials of any given degree at any finite set of points.
Proof. Choose positive numbers ε1 , ..., εN such that the local coordinate patches |zi | < 3εi are
pairwise disjoint, and fix a function χ ∈ Co∞ ([0, ∞)) such that χ|[0,1] ≡ 1 and Support(χ) ⊂ [0, 2].
Consider the smooth section s̃ of H ⊗m ⊗ L → X defined by
and s̃ = 0 away from the coordinate neighborhoods Ui . Note that s̃ is holomorphic on the open
¯ is smooth and
sets Vi := {|zi | < εi }. and therefore the H ⊗m ⊗ L-valued (0, 1)-form α := ∂s̃
supported on the union A1 ∪ ... ∪ AN of the annuli
Ai := Ui − Vi , 1 ≤ i ≤ N.
√
Fix the Kähler form ω := ¯ for X and any smooth metric e−ψ for L → X, and define the
−1∂ ∂ϕ
function
N
X
ρ := χ(|zi |/εi ) log |zi |2(di +n) .
i=1
Evidently ρ is smooth away from the points xi and ρ|Ui = (di + n) log |zi |2 is plurisubharmonic. It
follows that Z
|α|2ω e−(mϕ+ψ+ρ) dVω < +∞
X
and that there is a constant C > 0 such that
√
¯ ≥ −Cω.
−1∂ ∂ρ
we see that for any m ≥ mo the curvature of the metric metric e−mϕ+ψ+ρ dVω for the line bundle
H ⊗m ⊗ L ⊗ KX ∗
is more than ω. By Hörmander’s Theorem there exists a section u of H ⊗m ⊗ L
such that Z Z
¯
∂u = α and 2 −(mϕ+ψ+ρ)
|u| e dVω ≤ |α|2ω e−(mϕ+ψ+ρ) dVω .
X X
¯ = α is necessarily smooth. Since e−ρ ∼ |zi |−2(di +n) on Ui , it follows
Any section u satisfying ∂u
that u vanisheds to order di + 1 at xi . Consequently the section
s := s̃ − u
111
9.1.4 The Kodaira Embedding Theorem
In this paragraph we establish the following fundamental theorem of algebraic geometry.
9.1.8 T HEOREM (Kodaira Embedding Theorem). A compact complex manifold X is projective if
and only if there is a positively curved holomorphic line bundle on X.
Theorem 9.1.7 is the key ingredient in the proof of Theorem 9.1.8, as we shall soon see.
The easy direction: necessity of the existence of a positively curved line bundle
One direction of Theorem 9.1.8 is rather straight-forward. If a complex manifold M has a pos-
itively curved Hermitian holomorphic line bundle then any submanifold S of M also has such a
line bundle, namely the restriction to S of the line bundle on M . Thus to prove the easy direc-
tion of Theorem 9.1.8 we need only show that Pn has a positively curved Hermitian holomorphic
line bundle. We have already met the line bundle in question: this is the hyperplane line bundle
H → Pn of Example 1.3.9, whose sections are in 1 − 1 correspondence with linear functions on
Cn+1 (c.f. Exercise 1.3.5). Let us fix a basis z 0 , ..., z n ∈ (Cn+1 )∨ . Evidently at each point of Pn at
least one of these sections does not vanish. Using this basis we define the so-called Fubini-Study
metric e−ϕF S for H → Pn as follows. Let ` ∈ Pn be a 1-dimensional subspace of Cn+1 . Any
λ ∈ H` is a linear functional on `, and therefore we define
|λ(v)|2
|λ|2 e−ϕF S (`) = Pn i 2
for any v ∈ ` − {0}.
j=1 |z (v)|
Note that the right hand side is independent of the choice of v in ` − {0}.
Let us compute the curvature of e−ϕF S . Without loss of generality we may work in the open set
Uo and with coordinates ζ = (ζ 1 , ..., ζ n ), where ζ i = z i /z 0 . In this open set the section z o vanishes
nowhere, and therefore trivializes H. Evidently
1
|z 0 |2 e−ϕF S = ,
1 + |ζ|2
and therefore the curvature is √
−1∂ ∂¯ log(1 + |ζ|2 ),
which is a strictly positive (1, 1)-form.
112
Of course, it can happen that every section of W vanishes at x, i.e., φ|W | (x) = W , but if for a given
x ∈ X one has a section s ∈ W such that s(x) 6= 0 then φ|W | (x) is a hyperplane in W .
9.1.10 D EFINITION . The set
φW : X − Bs(W ) → P(W ∨ ).
Thus we have a large collection of maps into projective space. In words, this map sends a point x
to the line in P(W ∨ ) determined by the kernel of linear function ExW : W → Hx of evaluation of
sections at the point x.
Remarkably, every holomorphic map into a projective space is almost (but not quite) of the
form described in Example 9.1.9. The precise result is as follows.
9.1.11 P ROPOSITION . Let F : X → P(V ) be a holomorphic map. Then there exist
(a) a holomorphic line bundle HF → X,
(b) a finite-dimensional subspace WF ⊂ ΓO (X, HF ), and
(c) an injective linear map PF : WF∨ → V
such that
F = ℘F ◦ φWF ,
where ℘F : P(WF∨ ) 3 [w] 7→ [PF w] ∈ P(V ) is the injective map induced by PF .
In other words, up to inclusion by projective subspaces, every holomorphic map to a projective
space is of the form given in Example 9.1.9.
Proof of Proposition 9.1.11. Let F : X → P(V ) be given. The image F (X) is contained in a
minimal projective subspace P(Vo ) ⊂ P(V ); this projective subspace corresponds to the smallest
linear subspace Vo ⊂ V all 1-dimensional subspaces ` ⊂ V such that ` ∈ F (X) (when ` is viewed
as a point of P(V ). Let us write
Fo : X → P(Vo )
for the map obtained after the range of F is changed from P(V ) to P(Vo ), i.e., F = ιo ◦ Fo , where
ιo : P(Vo ) ,→ P(V ) is the inclusion.
The subspace Vo is the intersection of all the hyperplanes in V that are the zero loci of sections
s ∈ V ∨ = ΓO (P(V ), H) (c.f. Exercise 1.3.5) vanishing identically on F (X). The set of such
sections s is a subspace SF of V ∨ , and the quotient space
V ∨ /SF
113
is naturally isomorphic to the dual space Vo∨ = ΓO (P(Vo ), H). Moreover, every section so ∈ Vo∨
that vanishes on F (X) ⊂ P(Vo ) vanishes identically. It follows that the map
Fo∗ : ΓO (P(Vo ), H) → ΓO (X, F ∗ H)
is injective1 .
We let
LF := Fo∗ H, WF := Fo∗ (ΓO (P(Vo ), H)) and PF := Fo∗ ◦ πSF ,
where πSF : V ∨ → V ∨ /SF ∼
= Vo∨ is the quotient map. With these objects, all of the claimed
properties are established.
9.1.12 R EMARK . For the reader that prefers n-tuples to vectors and matrices to linear functionals,
the map F has a useful description. Suppose F (X) lies in a proper projective subspace P(Vo ) ⊂
P(V ). Choosing a basis z 0 , ..., z n for V ∨ such that z 0 , ..., z k is a basis for W , we get projective
coordinates [z 0 , ..., z n ] for P(V ) and [z 0 , ..., z k ] for P(W ∨ ). In terms of these coordinates we may
write F as
F = [F 0 , ..., F k , 0, ..., 0].
The map G : P(W ∨ ) → P(V ) is given by
G([z 0 , ..., z k ]) = [z 0 , ..., z k , 0, ..., 0]
and the hyperplane in W ∨ is corresponding to CF (x) ∈ V is, with respect to the basis z 0 , ..., z n ,
the set of all vectors c = (co , ..., ck ) ∈ Ck+1 ∼
= W ∨ satisfying
c · (F 0 (x), ..., F k (x)) = 0.
Note also that F i ∈ ΓO (X, F ∗ H).
9.1.13 P ROPOSITION . Let H → X be a holomorphic line bundle and let W ⊂ ΓO (X, H) be
basepoint free.
1. The map φW : X → P(W ∨ ) is injective if and only if for any pair of distinct points x, y ∈ X
there exists a section s ∈ W such that s(x) = 0 and s(y) 6= 0.
2. The map φW : X → P(W ∨ ) is an immersion if and only if for any x ∈ X, α ∈ TX∗1,0 and
v ∈ Hx there exists s ∈ W such that s(x) = 0 and ds(x) = α ⊗ v.
Proof. If s(x) = 0 6= s(y) then φW (x) 3 s 6∈ φW (y), so φW separates x and y. Conversely if
φW (x) = φW (y) then every section that vanishes at y also vanishes at x. Thus 1 is proved. We
leave 2 as an exercise.
Proof of Theorem 9.1.8. Let L → X be a positively curved Hermitian holomorphic line bundle.
By Proposition 9.1.13 it suffices to show that there exists a holomorphic line bundle H → X such
that W = ΓO (X, H) is basepoint-free, separates points (i.e. satisfies Item 1) and separates tangents
(i.e. satisfies Item 2). But by Theorem 9.1.7 the line bundle H = L⊗m has these properties as soon
as m is large enough.
1
Recall that if E → Y is a holomorphic vector bundle and G : X → Y is a holomorphic map then the pullback
∗
G E → X of E by G is by definition the restriction of the Cartesian projection X × E → X to the submanifold
G∗ E := {(x, v) ∈ X × E ; v ∈ EG(x) } of X × E.
114
9.2 L2 Extension
Let us finally begin the journey to our universal extension theorem.
9.2.1 Adjunction
In order to prove our universal extension theorem, we need to have an appropriate normalization
of the data. Part of this preparation involves the so-called adjunction construction, which we now
explain.
Let X be a complex manifold and let Z ⊂ X be smooth complex hypersurface, i.e., a complex
submanifold of codimension 1. Then there exists an open cover {Uj } of X, and holomorphic
functions Tj ∈ O(Uj ) such that
Z ∩ Uj = {Tj = 0} and dTj (x) 6= 0 for all x ∈ Uj ∩ Z.
Denote by LZ → X the holomorphic line bundle associated to Z, i.e., the line bundle defined by
the transition functions
Ti
gij = ,
Tj
which have no zeros on Ui ∩Uj . Since Ti = gij Tj , the functions Tj define a section T ∈ ΓO (X, LZ ),
and evidently the zero locus of T is precisely Z, counting multiplicity. Note also that since
dTi = gij dTj + dgij Tj ,
along Z the sections dTj provide a well-defined holomorphic section dT of TX∗1,0 ⊗ LZ |Z . More-
over, since the LZ -valued holomorphic 1-forms dTj annihilate the tangent spaces of Z, dT is a
holomorphic section of the rank-1 subbundle
∗
NX/Z ⊗ LZ → Z
of TX∗1,0 ⊗ LZ |Z . The line bundle NX/Z ∗
, whose fibers consist of (1, 0)-forms that annihilate the
(1, 0)-tangent spaces of Z, is called the conormal bundle of Z in X.
∗
Since Z is smooth the section dT is nowhere zero, and therefore the line bundle NX/Z ⊗ LZ is
trivial. In particular, we see that for a smooth hypersurface Z the line bundle LZ → X restricts to
Z as the dual of the conormal bundle, i.e., the line bundle
∗
NX/Z := (HX/Z )∗ .
This line bundle, which is naturally isomorphic to the quotient (TX1,0 |Z )/TZ1,0 , is called the normal
bundle. In other words we have proved the following proposition.
9.2.1 P ROPOSITION (Adjunction Formula). The holomorphic line bundle LZ → X of a smooth
hypersurface Z is an extension to X of the normal bundle of Z.
By taking determinants, one can see that the Adjunction Formula is equivalent to the formula
KZ = (KX ⊗ LZ )|Z ,
and the identification sends an (n − 1, 0)-form f on Z to the LZ -valued n form f ∧ dT , defined
along Z.
115
9.2.2 Statement of the L2 Extension Theorem
9.2.2 T HEOREM . Let X be a Stein manifold and let Z ⊂ X be a smooth complex hypersurface.
Assume there exists a section T ∈ ΓO (X, LZ ) and a singular Hermitian metric e−λ for LZ → X
such that
Let g be a Kähler metric on X and let L → X be a holomorphic line bundle with singular
Hermitian metric e−ϕ , and assume there exists a constant δ ∈ (0, 1] such that
|f |2 e−ϕ dAg
Z
< +∞
Z |dT |2g e−λ
|f |2 e−ϕ dAg
Z Z
2 −ϕ 24π
F |Z = f and |F | e dVg ≤ ,
X δ Z |dT |2g e−λ
ω n−1
where dAg = |
(n−1)! Z
is the area form associated to the submanifold Z.
In fact, there are many other versions of the L2 extension theorem, and all of them can be
established by slight modifications of the proof of Theorem 9.2.2 that we shall give below. We
give a brief discussion of some of these, and of the problems that arise in their consideration.
1. One version that can be established involves replacing the line bundle L → X with a vector
bundle of higher rank. The trouble with such a version (and the reason we did not state it
here) is that there is at present no manageable definition of a singular Hermitian metric for
holomorphic vector bundles of higher rank. The difficulty is that there seems to be no such
definition in which the curvature can be defined as a current; this problem makes it difficult
to see how to handle condition (10.6) in the higher rank case.
2. In another version of Theorem 9.2.2 that is very useful, one relaxes the hypothesis that X is
Stein. Here again the trouble is that on a general (even complete) Kähler manifold there is
no way to approximate singular Hermitian metrics by smooth ones without losing too much
positivity. There are, however, some Kähler manifolds where this approximation is in some
sense possible.
9.2.3 D EFINITION . A complex manifold X is said to be essentially Stein if there is a (possibly
singular) complex hypersurface V such that the manifold X −V is Stein. A submanifold Z ⊂
X is said to be an essentially Stein submanifold if the hypersurface V whose complement is
Stein can be chosen so that Z 6⊂ V .
116
The most interesting examples of an essentially Stein manifold are projective manifolds, and
so-called projective families, i.e., spaces X for which there are
In particular, condition (a) implies that the fibers of f , all of which are complex submanifolds
of X , are pairwise diffeomorphic, and condition (b) implies, via the Kodaira Embedding
Theorem, that each fiber is a projective manifold.
If one has L2 estimates for sections of holomorphic line bundles (or for that matter, vec-
tor bundles) on a Stein complement of a hypersurface then those sections can be extended
across the hypersurface. Indeed, a priori the sections could have only poles or removable
singularities along the divisor, but the finiteness of the L2 norm forbids poles.
3. Yet another version of Theorem 9.2.2 considers different L2 norms for the sections of the line
bundle L → Z, or of the line bundle L → X, or perhaps both. One version of such a result
was worked out by Jeff McNeal and the author; the interested reader can go to [MV-2007]
or [MV-2015] for more information.
4. One also wants to extend holomorphic sections from submanifolds of higher codimension.
Extension theorems of this sort do exist, but they require specifying different sorts of data.
Again, proofs are not so different from what is presented here, but the notion of positivity
that is required in place of condition (10.6) becomes more complicated to state, and harder
to understand geometrically. There are short cuts that can be taken which yield useful and
interesting results– see, for example, [BL-2016]– but the most general case, which was first
treated by Ohsawa in [O-2001], is still not in its final form, in the author’s opinion.
|f |2 e−ϕ dAg
Z
2 −λ
< +∞.
Z |dT |g e
We shall work on these domains first, and then then take limits of our results.
117
The domain Ωj is trivially a strongly pseudoconvex manifold. By Exercise ?? there exists
Fo ∈ ΓO (X, L) such that
Fo |Z = L.
Therefore Z
|Fo |2 e−ϕ dVg < +∞,
Ωj
but at present we have no estimate on this L2 norm; in particular, one cannot let j → ∞ and
conclude, or even expect, that finiteness persists. After all, there are many extensions of f and
most of them will not have finite L2 norm.
We must therefore correct Fo somehow away from Z ∩ Ωj . To do so, let t ∈ (0, 1) (we will
eventually send t to 0) and let χ ∈ Co∞ ([0, ∞)) be a positive function supported in [0, 1] and
satisfying
0 ≤ χ ≤ 1, χ ≡ 1on [0, t] and |χ0 | ≤ 1 + ct,
where c > 1. (Eventually we will let c → 1 and then t → 0.) We define χε := χ(|T |2 e−λ /ε2 ).
Then for ε > 0 sufficiently small the section
F̃ε := χε Fo
118
9.2.5 R EMARK . As we have suggested earlier, Theorem 9.2.4 follows from Theorem 8.2.1 on
Stein manifolds by approximation of singular metrics with smooth ones. In the present situation
there is also the issue that the (1, 1)-form Θ is not assumed to be strictly positive. The issue can be
dealt with by perturbing the metric e−ψ to be strictly positively curved; since one is working on a
domain Ωj ⊂⊂ X one can add a small multiple of the plurisubharmonic exhaustion to ψ.
To make use of Theorem 9.2.4 we must choose a singular Hermitian metric e−ψ , a smooth
function η and a positive function a such that Ψ ≥ Θ for some non-negative Θ for which the
integral Z
|αε |2Θ e−ψ dVg
Ωj
Fε := χε Fo − e−η (1 + a)U
remains an extension, the metric e−ψ must be singular along Z ∩ Ωj . We therefore choose
ψ := ϕ + log |T |2 e−λ .
The next task is to choose η and a. To simplify the estimates to come, it is convenient to
introduce the auxiliary functions
At first glance, the choice of η is bewildering. We do not have a great explanation for this choice,
which comes out of necessity for obtaining good estimates later on. Perhaps the most important
clue is that this function is very similar to the self-bounded gradient function of Example 8.4.4 on
the punctured unit disk; the idea is that a tubular neighborhood of the hypersurface Z looks very
much like the product of Z with the disk, and if we are creating a singularity near Z, a function of
this form will give us some gain in positivity.
Finally the function a is chosen only to simplify the expression for Ψ so that it becomes
manageable. For this reason it is convenient to define H(x) := 2 + log(2ex−1 − 1) (so that
η = − log H(s)). Then
H 0 (s) H 0 (s)2
¯ 1+a ¯ ¯ 1 00 ¯
∂ ∂η − ∂η ∧ ∂η = (−∂ ∂s) − H (s)a + ∂s ∧ ∂s,
a H(s) aH(s) H(s)
and so we choose
−(H 0 (s))2
a = 00 ,
H (s)H(s)
119
which yields
0
¯ − 1+a ¯ = H (s) (−∂ ∂s).
¯
∂ ∂η ∂η ∧ ∂η
a H(s)
Note that for x ≥ 1,
2ex−1 1 −2ex−1
H(x) ≥ 1, H 0 (x) = x−1
= 1 + x−1 and H 00 (x) = ,
2e −1 2e −1 (2ex−1 − 1)2
so that a is a positive function– one of our requirements. Note also that e−η and a are smooth, a
fact we shall use later.
We compute that
v¯
−∂ ∂s¯ = δ∂ ∂¯ log(e + ε ) = ∂ δe ∂v
v 2
ev + ε2
δev 2 v/2 ¯ v/2
= v ∂ ¯ + δ 4ε ∂(e ) ∧ ∂(e )
∂v
(e + ε2 ) ((ev/2 )2 + ε2 )2
ev 2 v/2 ¯ v/2
¯ + δ 4ε ∂(e ) ∧ ∂(e )
¯ log |T |2 − ∂ ∂λ
=δ v ∂ ∂
(e + ε2 ) ((ev/2 )2 + ε2 )2
δev 2 v/2 ¯ v/2
=− v ∂ ¯ + δ 4ε ∂(e ) ∧ ∂(e ) .
∂λ
(e + ε2 ) ((ev/2 )2 + ε2 )2
In the last equality we have used the fact that ∂ ∂¯ log |T |2 is supported on Z, where ev = |T |2 e−λ
vanishes.
Now, the function
2es−1 1
[1, ∞) 3 s 7→ 2 + log(2es−1 − 1) − = 1 + log(2e s−1
− 1) −
2es−1 − 1 2es−1 − 1
2
s−1 s−1 (2es−1)
has derivative 2e2es−1 −1 + (2e2e
s−1 −1)2 = (2es−1 −1)2
> 0, and therefore it takes its minimum at s = 1,
where it vanishes. Consequently
2es−1
H 0 (s) ev 2es−1 −1
· v 2
≤ ,
H(s) e + ε 2 + log(2es−1 − 1)
and we find that
0
¯ + Ricci(g) + ∂ ∂η
∂ ∂ψ ¯ − 1 + a ∂η ∧ ∂η ¯ + Ricci(g) + H (s) (−∂ ∂s)
¯ = ∂ ∂ψ ¯
a H(s)
H 0 (s) ev 0 v
¯ + Ricci(g)) + H (s) · e ¯ + Ricci(g) − δ∂ ∂λ
¯
= 1− · v (∂ ∂ψ ∂ ∂ψ
H(s) e + ε2 H(s) ev + ε2
¯ v/2 )
H 0 (s) 4ε2 ∂(ev/2 ) ∧ ∂(e
+δ
H(s) ((ev/2 )2 + ε2 )2
¯ v/2 )
H 0 (s) 4ε2 ∂(ev/2 ) ∧ ∂(e
≥δ ,
H(s) ((ev/2 )2 + ε2 )2
120
where the last inequality follows from the definition of ψ and the curvature hypothesis (10.6) of
Theorem 9.2.2. Since H 0 (s) ≥ 1,
2 v/2 ¯ v/2
Ψ=e −η ¯ + Ricci(g) + ∂ ∂η
∂ ∂ψ ¯ − 1 + a ¯ ≥ δ 4ε ∂(e ) ∧ ∂(e ) .
∂η ∧ ∂η
a ((ev/2 )2 + ε2 )2
We take Θ to be the right-hand side of the inequality, and prepare to estimate the L2 norm of αε .
Now,
¯ −2 ev )Fo = χ0 (ε−2 ev )Fo ε−2 ∂e
αε = ∂χ(ε ¯ v/2 ),
¯ v = χ0 (ε−2 ev )Fo 2ε−2 ev/2 ∂(e
so
1 0 −2 v 2 1
|αε |2Θ e−ψ = 6
|χ (ε e )| |Fo |2 e−ψ ev (ev + ε2 )2 = 6 |χ0 (ε−2 ev )|2 |Fo |2 e−ϕ (ev + ε2 )2 .
δε δε
Consequently
Z Z
1
|αε |2Θ e−ψ dVg = 6 |χ0 (ε−2 ev )|2 |Fo |2 e−ϕ (ev + ε2 )2 dVg
Ωj δε Ωj
Z
1
= 6 |χ0 (ε−2 ev )|2 |Fo |2 e−ϕ (ev + ε2 )2 dVg
δε {ev <ε2 }
4(1 + ct)2
Z
≤ |Fo |2 e−ϕ dVg .
δε2 v 2
{e <ε }
|f |2 e−ϕ dAg
Z Z
4π
lim sup |αε |2Θ e−ψ dVg ≤ (1 + ct)2 .
ε→0 Ωj δ Z |dT |2g e−λ
|f |2 e−ϕ dAg
Z Z
¯
p
−η 2 −ψ 8π 2
∂( e (1 + a)Uε ) = αε and |Uε | e dVg ≤ (1 + o(1)) (1 + ct) 2 −λ
Ωj δ Z |dT | e
as ε ∼ 0. p
Since αε is smooth, the function e−η (1 + a)Uε is smooth, and therefore so is Uε . Since
e−ψ = e−ϕ /(|T |2 e−λ ) is not locally integrable on Z, the section Uε must vanish at all points of Z.
Consequently the section p
Fε := χε Fo − e−η (1 + a)Uε
is an extension of f to Ωj . Now,
Z Z
2 −ϕ
|Fε | e dVg = (1 + o(1)) ev−η (1 + a)|Uε |2 e−ψ dVg , ε ∼ 0.
Ωj Ωj
121
−H 0 (s)2
But since s = γ − δ log(ev + ε2 ), e−η = H(s) and a = H 00 (s)H(s)
,
H 0 (s)2 − H 00 (s)H(s)
ev−η (1 + a) = e(γ−s)/δ (γ−s)/δ s−1 s−1
= e 2e + 2 + log(2e − 1) .
−H 00 (s)
A straight-forward calculus exercise shows that, for s ≥ 1, the right hand side is bounded above
by 6eγ−1 = 6(1 + ε2 )−δ .
We therefore have, for every ε > 0, a section Fε,c,t ∈ ΓO (Ωj , L) such that
We can now use Alaoglu’s Theorem to take subsequential limits in ε, t and then j, and thereby
obtain a limit F ∈ ΓO (X, L) satisfying
|f |2 e−ϕ dAg
Z Z
2 −ϕ 24π
F |Z = f and |F | e dVg ≤ .
X δ Z |dT |2g e−λ
E XERCISES
122
Lecture 10
To a lattice Λ ⊂ C (i.e., a free Abelian subgroup of maximal rank) one associates the little Fock
space ( )
2 −|λ|2
X
f(Λ) := f : Λ → C ; |f (λ)| e < +∞ .
λ∈Λ
RΛ : F 3 F 7→ F |Λ ∈ fΛ
is, respectively, surjective or injective. The problem was to find a lattice that is both interpolating
and sampling, or to show there is no such lattice.
Mathematical physicists already knew that the quantity
#Λ ∩ Dr (z)
D(Λ) := lim sup sup ,
r→∞ z∈C r2
called the asymptotic density of Λ, is ≤ 1 if Λ is interpolating, and ≥ 1 if Λ is sampling, and hence
that if a lattice is both interpolating and sampling then it has asymptotic density 1.
123
10.1.1 Seip’s Theorem
Seip showed that if Λ is an interpolating lattice then D(Λ) < 1 and that if Λ is a sampling lattice
then D(Λ) > 1, thus supplying the negative solution to the aforementioned problem. In fact, Seip
showed more. He considered locally finite subsets Γ (for which, unlike lattices, the numbers
#(Γ ∩ D(z, r)) #(Γ ∩ D(z, r))
D+ (Γ) := lim sup sup and D− (Γ) := lim inf inf
r→∞ z∈C r2 r→∞ z∈C r2
called the asymptotic upper and lower densities, are possibly distinct).
The notions of interpolation and sampling sets have to be modified slightly in order to get the
proper result. In this setting a locally finite set Γ is interpolating if the restriction map, in addition
to being surjective, is bounded. The set Γ is said to be sampling if the restriction map, in addition
to being injective, is bounded with closed image.
, which can be provided with the same definition, in terms of the restriction map, of interpola-
tion and sampling sets. and established, partly in joint work with Wallsten, the following theorem.
10.1.1 T HEOREM . A locally finite set Γ is
1. interpolating if and only if Γ is uniformly separated and D+ (Γ) < 1, and
and Z
2 −ϕ n−1
H(W, ϕ) := f ∈ O(W ) ; |f | e ω < +∞ ,
W
√
where ω = −1∂ ∂|z| ¯ 2 is the Kähler form of the Euclidean metric. One can then define the
restriction operator
RW : H (Cn , ϕ) → H(W, ϕ)
as the operator sending a function F to its restriction to W .
124
10.1.2 D EFINITION . The hypersurface W is then said to be an interpolation set if RW is bounded
and surjective, and W is said to be a sampling set if RW is bounded, injective and has closed
image.
We will be primarily interested in the surjectivity of RW ; establishing such surjectivity is of
course an L2 extension result, and as such one might imagine a connection with Theorem 9.2.2.
We emphasize, however, the fact that the L2 norm defining the space H(W, ϕ) is not the norm
appearing in Theorem 9.2.2.
In what follows, we shall always assume that our weight ϕ is smooth and satisfies the bound
√ √
(10.1) 0 ≤ −1∂ ∂ϕ ¯ ≤ M −1∂ ∂|z| ¯ 2
for some constant M > 0. The us of this curvature hypothesis, which is clearly satisfied by the
Bargmann-Fock weights ϕ(z) = c|z|2 , c > 0, will become clear in due course.
The most obvious analogue of uniform separation is the notion of uniform flatness; it is defined
as follows.
10.1.3 D EFINITION . A smooth complex hypersurface W ⊂ Cn is said to be uniformly flat if there
exists ε > 0 such that the set
Uε (W ) := {z ∈ Cn ; dist(z, W ) < ε}
125
(Here [W ] is the current of integration over W , ∗ denotes convolution, and the second equality
follows from the Poincaré-Lelong Formula.)
Note that
T T
¯ T
|T |2 e−λr , |dT |2ω e−λr |W and ∂ ∂λ r
and
√
1 ¯
Dϕ− (W ) := lim inf inf ; a > 0 and −1∂ ∂ϕ(v, v) < aΥW
r (v, v) for some v ∈ C
n
r→∞ z∈W a
In other words, Dϕ+ (W ) is the supremum of all numbers 1/a such that ϕ − aλTr is plurisubhar-
monic for all r >> 0, and Dϕ− (W ) is the infimum of all numbers 1/a such that ϕ − aλTr is not
plurisubharmonic for all r >> 0.
From Theorems 9.2.2 and 10.1.5 we immediately obtain the following theorem.
10.1.7 T HEOREM . Let ϕ ∈ Cn be a smooth function and let W ⊂ Cn be a smooth hypersurface.
If Dϕ+ (W ) < 1 then for every f ∈ O(W ) such that
Z
dAW
|f |2 e−ϕ W < +∞
W Sr
there exists F ∈ H (Cn , ϕ) such that F |W = f . In particular, if W is also uniformly flat then W
is an interpolation hypersurface.
In particular, we recover the positive direction of the interpolation part of Seip’s Theorem. The
positive direction of the sampling theorem is also true; it was proved by Ortega Cerdá, Schuster
and the author [OSV-2006].
Remarkably, except in the 1-dimensional case, uniform flatness is not a necessary condition
for interpolation. A number of examples have been produced by Pingali and the author [PV-2016,
PV-2019].
126
There is very little done on interpolation theory in higher dimensions on manifolds other than
n
C . In dimension 1 there is a fair amount of work; we refer the reader to [V-2018, V-2016] for
references and further reading.
In the next paragraph we discuss some of the ideas behind the necessity of uniform separation.
This discussion is provided for the interested reader, and although very useful tools are presented,
most of the material is slightly less naturally aligned with the general topics covered in this lecture
series.
for some positive constant M . Then there exist a function ψ ∈ C 2 (B) such that
√
¯ = ω and sup(|ψ| + |dψ|) ≤ CM.
−1∂ ∂ψ
B
Proof. We can assume that in fact ω has compact support in B(0, 2) by multiplication with an
appropriate cut-off function.
Let us first present the proof in the case n = 1. In this case, one simply takes
Z
ψ(z) := log |z − ζ|2 ω(ζ).
B(0,2)
√
Note that ω = h 2−1 dz∧dz̄ for some real-valued function h. A standard argument using integration-
by-parts shows that
1 ∂ 2ψ
= h.
π ∂z∂ z̄
The function ψ is clearly bounded by the constant
Z
M sup log |ζ − z|2 dA
z∈B(0,1) B(0,2)
127
Thus we have the stated result. √
In higher dimensions, write ω = ωij̄ 2−1 dz i ∧ dz̄ j . Then as in the 1-dimensional case, the
function Z
ψ(z) := ω11̄ (ζ, z 2 , ..., z n ) log |z 1 − ζ|2 dA(ζ)
B(0,2)
then satisfies
1 ∂ 2ψ
= ω11̄ .
π ∂z 1 ∂ z̄ 1
From the condition dω = 0, we see that, when i and j are both different from 1,
1 ∂ 2ψ ∂ 2 ω11̄
Z
= (ζ, z 2 , ..., z n ) log |z 1 − ζ|2 dA(ζ)
π ∂z i ∂ z̄ j B(0,2) ∂z i ∂ z̄ j
∂ 2 ωij̄
Z
= (ζ, z 2 , ..., z n ) log |z 1 − ζ|2 dA(ζ)
B(0,2) ∂ζ∂ ζ̄
= ωij̄ (z).
Z
2 −ϕ(0)
(10.2) |f (0)| e ≤C |f |2 e−ϕ ω n
B
and
Z r
2r −rϕ 2 −ϕ n
(10.3) |d(|f | e )|(0) ≤ C |f | e ω .
B
In particular, if f ∈ H (Cn , ϕ) then weighted point evaluation is bounded with norm independent
of the point. More generally, there exists C > 0 such that for all x ∈ Cn ,
Z 1/2
−ϕ(x)
+ d(|f |2 e−ϕ )(x) ≤ CM 2 −ϕ
n
(10.4) (|f (x)|e |f | e ω < +∞.
Cn
128
Proof. The estimate (10.4) follows from the estimate (10.2) and (10.3) because the Euclidean form
ω is translation-invariant.
√ √ To prove (10.2), let ψ be a bounded plurisubharmonic function on B such
¯ ¯
that −1∂ ∂ψ = −1∂ ∂ϕ. Such a function exists by Lemma 10.1.8. Let h = ψ − ϕ. Then h is
pluriharmonic, and therefore twice the real part of a holomorphic function H. Let F = f eH−H(0) .
We have
Z Z Z
2 −ϕ(0) 2 −ϕ(0) 2 −ϕ(0) n 2 −ϕ ψ−ψ(0) n
|f (0)| e = |F (0)| e ≤ − |F | e ω = − |f | e e ω ≤C |f |2 e−ϕ ω n .
B B
We therefore have
2
|d(|f |2r e−rϕ )(0)| . ||f ||2r−1 ∂f (0)e−ϕ(0) − f (0)e−ϕ(0) ∂ϕ(0) .
(i) a finite union of uniformly separated locally finite sets if and only if RΓ : F(C) → fΓ is
bounded, and
Proof of (i). Let F ∈ F(C). If Γ is a finite union of uniformly separated locally finite sets then for
any r > 0 there is an integer N such that no more than N of the disks {Dr (γ) ; γ ∈ Γ} intersect.
By Proposition 10.1.9
Z
2 −|γ|2 2 −|z|2 2
X X
|F (γ)| e ≤C |F (z)| e dA(z) ≤ CN |F (z)|2 e−|z| dA(z),
γ∈Γ γ∈Γ C
so RΓ is bounded.
129
Conversely, suppose RΓ is bounded. Let z ∈ C. Choose a function F ∈ F(C) such that
2
|F (z)|2 e−|z| = 1. Then there exists a constant µ, independent of z, such that
Z
2
|F (ζ)|2 e−|ζ| dA(ζ) ≤ µ.
C
We shall prove this fact below (Lemma 10.1.10). Let r ∈ (0, 1); shortly we will further restrict r.
For every γ ∈ Γ ∩ Dr (z) one has
2 −|γ|2 2 −|γ|2 2 −|z|2
|F (γ)| e − 1 = |F (γ)| e − |F (z)| e
Z 1
d 2
= |F (tz + (1 − t)γ)|2 e−|tz+(1−t)γ| dt
0 dt
2
≤ r sup d(|F |2 e−|·| )
Dr (z)
2
≤ r sup d(|F |2 e−|·| ) ≤ rCµ,
D1 (z)
where C is independent of r, γ or z. The last inequality follows from (10.3) of Proposition 10.1.9.
1
Now choose r < 2Cµ . Then
2 1
|F (γ)|2 e−|γ| ≥
2
for all γ ∈ Dr (z), and so
2 2
X X
#(Γ ∩ Dr (z)) ≤ 2 |F (γ)|2 e−|γ| ≤ 2 |F (γ)|2 e−|γ| ≤ 2µ||RΓ ||2
γ∈Γ∩Dr (z) γ∈Γ
Thus the number of points of Γ ∩ Dr (z) is finite, and bounded above by a number that does not
depend on z. Thus (i) is proved.
Proof of (ii). Suppose RΓ is surjective. Let EΓ : f(Γ) → F(C) be the operator that assigns to
g ∈ f(Γ) the extension whose norm is minimal among all R−1 Γ {g}. We claim that EΓ is bounded.
By the Closed Graph Theorem it suffices to show that the graph of EΓ is closed. To that end,
let gj → g in f(Γ) and let F = lim EΓ (gj ) in F(C). The sub-mean value property shows that
convergence in L2 implies locally uniform convergence, and consequently F is an extension of g.
We wish to show that F is the extension of g having minimal norm. The latter condition holds if
and only if F is orthogonal to all functions in F(C) that vanish along Γ. Let G be such a function.
Then Z Z
−|·|2 2
F Ḡe dA = lim EΓ (gj )Ḡe−|·| dA = lim 0 = 0,
C C
130
Then
2
X
|f (γ)|2 e−|γ| = 1.
γ∈Γ
131
For a holomorphic family π : X → D with fibers Xt := π −1 (t), we define the function
µm : D 3 t 7→ Pm (Xt ) ∈ N.
One says that the m-genera are invariant for this family if the function µm is constant.
Our objective in the present section is to prove that, for a projective family, all the m-genera
are invariant, i.e., the function µm is constant, or equivalently, continuous. We shall prove the
continuity of µm by showing that (i) µm is upper semi-continuous and (ii) µm is lower semi-
continuous. These properties are local, so it’s enough to show them at 0 ∈ D.
The upper semi-continuity holds more generally for any holomorphic family. Let us, then, fix a
holomorphic family π : X → D, and some Hermitian metric ω on X . To prove that µm is upper
semi-continuous at 0, which means that
and a subsequence {tjk }, such that for any coordinate chart U ⊂ X on which ξ is a frame for
L|U , satisfying
∼
=O
π(U ) = D(0, ε) and (z, π) : U −→B × D(0, ε)
for some coordinate unit ball B ⊂ Xo and holomorphic map z : U → B, if we write
then
lim fjk (z) = fo (z)
k→∞
10.2.3 R EMARK . Note that by the implicit function theorem for holomorphic submersions, each
point of Xo is contained inside the sort of product coordinate chart used in the statement of the
lemma.
132
Proof of Lemma 10.2.2. In the coordinate chart, let us write |ξ|2 e−ϕ = e−ϕ(z,t) . Then
Note that since the metric e−ϕ is globally defined and smooth, the function e−ϕ(z,t) is uniformly
bounded above and below by positive constants on |z| ≤ 43 , and also uniformly in |t| ≤ ε. There-
fore we have
Z Z
2
|fj (z)| ≤ Cδ 2 ϕ(z,tj )
|fj | e dV (z) ≤ Cδ |stj |2 e−ϕ = Cδ .
Bδ (z) Xtj
for some delta sufficently small, and all |z| ≤ 32 . By Montel’s Theorem, the {fj } contain a subse-
quence that converges uniformly on |z| ≤ 1/2. By a diagonal argument we obtain a subsequence
{sjk } such that the restriction to each of these charts charts converges locally uniformly. The re-
sulting sections automatically glue together to produce a section of KXo ⊗ L, and the proof is
finished.
10.2.4 R EMARK . The above proof also works when the fibers of X → π are non-compact, i.e.,
when the map π is a submersion that might not be proper. (In the absence of properness, we don’t
know that the fibers are diffeomorphic.)
10.2.5 L EMMA . Let tj → 0 be a sequence of complex numbers in the unit disk, and suppose
dimC (ΓO (Xtj , KXtj ⊗ L) ≥ N for some N ∈ N. Then dimC (ΓO (Xo , KXo ⊗ L) ≥ N .
Proof. The hypothesis assumes that for each tj there is a subspace of ΓO (Xtj , KXtj ⊗L) of dimen-
sion at least N . For each j, we fix such a subspace VjN ⊂ ΓO (Xtj , KXtj ⊗ L), and an orthonormal
(j) (j)
basis{s1 , ..., sN } ⊂ VjN . After passing to a subsequence of the tj if needed, we find by Lemma
10.2.2 sections {s1 , ..., sN } ⊂ ΓO (Xo , KXtj ⊗ L), each of unit norm, such that
Z Z
(j) 2 −ϕ
lim |si | e = lim |si |2 e−ϕ .
Xtj Xo
which holds in any Hilbert space, we see (from the proof, rather than the statement of Lemma
10.2.2) that the limit sections {s1 , ..., sN } are also orthonormal. Thus there are at least N indepen-
dent sections in ΓO (Xo , KXo ⊗ L). This completes the proof.
As an immediate corollary, we obtain the following proposition.
10.2.6 P ROPOSITION . Let π : X → D be a holomorphic family of n-dimensional complex mani-
folds. Then for any m ∈ N the function µm is upper semi-continuous.
Thus to prove the constancy of µm , it suffices to prove that every pluricanonical section on the
central fiber Xo of a holomorphic family extends to a pluricanonical section on the family X.
133
10.2.7 T HEOREM . Let π : X → D be a projective family of fiber dimension n, let L → X be a
⊗m
holomorphic with singular Hermitian metric e−κ , and let s ∈ ΓO (Xo , KXo
⊗ L) satisfy
Z
|s|2 ω −n(m−1) e−κ < +∞.
Xo
⊗m
Then there is a section S ∈ ΓO (X, KX ⊗ L) such that
Z
⊗m
S|Xo = s ∧ (dπ) and |S|2 ω −(n+1)(m−1) e−κ < +∞.
X
10.2.8 R EMARK . The constancy of µm follows by taking L = 0. One can also define twisted
plurigenera, which evidently are also invariant in families.
10.2.9 R EMARK . It is known that, for general holomorphic families of compact complex mani-
folds, plurigenera are not invariant in families. At the time of writing of these notes, the case of
the deformation invariance of plurigenera in Kähler families was still open.
We shall first prove the result when π : X → D is uniformly projective. At the end of the
proof we will see that the extension has uniform estimates, and we will be able to establish the
non-uniform case.
Let L → X be a holomorphic line bundle with singular Hermitian metric e−ϕ , and assume there
exists a constant δ ∈ (0, 1] such that
(10.6) ¯ ≥ tδ∂ ∂λ
∂ ∂ϕ ¯ for all t ∈ [0, 1].
134
In particular, we shall make use of the following special case, in which Z is cut out by a
bounded holomorphic function.
10.2.11 T HEOREM . Let X be a Stein manifold and T : X → D a holomorphic function such that
dT (x) 6= 0 for all x ∈ Z := {T = 0}.
¯ ≥ 0.
Let L → X be a holomorphic line bundle with singular Hermitian metric e−ϕ such that ∂ ∂ϕ
Then for each f ∈ ΓO (Z, KZ ⊗ L) such that
Z
|f |2 e−ϕ < +∞
Z
thus Z
ω n+1 < +∞.
X
Since κ − γ is locally the sum of a smooth function and a plurisubharmonic function, the submean
value property tells us that eκ−γ is locally bounded above. Thus by uniform projectivity we may
assume that
sup eκ−γ < +∞.
X
(p) ⊗p
We let σj ∈ ΓO (Xo , KXo
⊗ A|Xo ) be defined by
(p) (p)
σ̃j |Xo = σj ∧ (dπ)⊗p .
Then we have the following key proposition.
10.2.12 P ROPOSITION . There exist a constant C > 0 and sections
(km+p) ⊗km+p
{σ̃j ∈ ΓO (X , KX ⊗ L⊗k ⊗ A) ; 1 ≤ j ≤ Np }0≤p≤m−1,k=0,1,2,...
with the following properties.
135
(mk+p) (p)
(a) σ̃j |Xo = s⊗k ⊗ σj ∧ (dπ)⊗(km+p)
(b) If k ≥ 1,
PNo (mk) 2 −γ
j=1 |σ̃j |e
Z
PNm−1 (mk−1) 2 ≤ C.
X j=1 |σ̃j |
(c) For 1 ≤ p ≤ m − 1,
PNp (mk+p) 2
|σ̃j |
Z
j=1
PNp−1 (mk+p−1) 2
≤ C.
X j=1 |σ̃j |
Proof. To simplify the notation a little, let us denote by σ̃ (mk+p) the Np -tuples
(mk+p) (mk+p) (mk+p) (mk+p)
σ̃ (mk+p) = (σ̃1 , ..., σ̃Np ) and σ (mk+p) = (σ1 , ..., σNp ),
and write
Np Np
X X
(mk+p) 2 (mk+p) 2 (mk+p) 2
||σ̃ || := |σ̃ | and ||σ || := |σ (mk+p) |2 .
j=1 j=1
Let
||σ̃ (0) ||2 ω (n+1)(m−1) ||σ̃ (p+1) ||2
C
b := sup , ; 0≤p≤m−2 .
X ||σ̃ (m−1) ||2 ||σ̃ (p) ||2 ω n+1
We proceed using double induction on k and p.
(p)
(k = 0) As far as extension there is nothing to prove; the sections σj have extensions by assump-
tion. Note that
||σ̃ (p+1) ||2
Z Z
(p) 2
≤C
b ω n+1 .
X ||σ̃ || X
(0)
|σj |2
Z Z
(0)
k
|s ⊗ σj |2 e−(ψk,0 +κ) = |s|2 e−κ < +∞.
Xo Xo ||σ (m−1) ||2
such that
(km) (0)
σ̃j |Xo = s⊗k ⊗ σj ∧ (dπ)⊗km , 1 ≤ j ≤ No ,
136
and
(0)
|σj |2 −κ
Z Z
(km)
|σ̃j |2 e−(ψk,0 +κ) ≤ 48π |s| 2
e .
X Xo ||σ (m−1) ||2
Summing, we obtain
(km+p−1)
((1 ≤ p ≤ m − 1)): Assume that we have obtained the sections σ̃j , 1 ≤ j ≤ Np−1 . Con-
sider the non-negatively curved singular metric
such that
(km+p) (p)
σ̃j |Xo = s⊗k ⊗ σj ∧ (dπ)⊗km+p , 1 ≤ j ≤ Np ,
and
(p)
|σj |2
Z Z
(km+p) 2 −ψk,p−1
|σ̃j |e ≤ 48π .
X Xo ||σ (p−1) ||2
Summing, we obtain
||σ̃ (km+p) ||2
Z Z
≤ 48π C
b ωn.
X ||σ̃ (km+p−1) ||2 Xo
Let Z Z Z
b × max n+1 κ−γ 2 −n(m−1) −κ n
C=C ω , 48π sup e |s| ω e , 48π ω .
X X Xo Xo
137
10.2.3 Construction of the metric
Fix a smooth metric e−ψ for A → X . Consider the functions
λN := log ||σ̃ (km+p) ||2 ω −(n+1)(mk+p) e−(kγ+ψ) ,
where N − p = km.
Observe that by Proposition 10.2.12 and the concavity of the logarithm, we have the bound
Z
1
R
n+1
(λN − λN −1 )ω n+1 ≤ log C.
X
ω X
(This inequality if the reverse of Jensen’s inequality; it can be obtained by considering the convex
function − log.) It follows that the function
1
Λk = λmk
k
satisfies the integral bound Z
Λk ω n+1 ≤ mC 0
X
0
for some uniform constant C .
Now, locally, the functions λkm+p are a sum of a smooth function and a subharmonic function.
By applying the sub-mean value property for plurisubharmonic functions and making use of the
uniform projectivity of the family, we find that
Z
Λk (x) ≤ C Λk ≤ mCC 0 , x ∈ X .
X
exists, and is locally the sum of a plurisubharmonic function and a continuous function on X .
Consider the singular Hermitian metric e−µ for KX ⊗m
⊗ L → X defined by
e−µ = e−Λ ω −(n+1)m e−γ .
This singular metric is given by the formula
e−µ(x) = lim inf lim inf e−µk ,
y→x k→∞
where
e−µk = e−Λk ω −(n+1)m e−γ .
The curvature of e−µk is thus
No
√ √ X (mk) 2 1√
¯ k =
−1∂ ∂µ −1∂ ∂¯ log |σ̃j | − ¯
−1∂ ∂ψ
j=1
k
1√ ¯
≥− −1∂ ∂ψ
k
138
10.2.13 P ROPOSITION . The curvature of e−µ is non-negative in the sense of currents.
Z (m−1)µ+κ
Z m−1 Z 1
m m
(10.7) |S|2 e− m ≤ 48π ωn |s|2 ω −n(m−1) e−κ .
X Xo Xo
We can therefore use Montel’s Theorem to pass from the uniformly projective case to the general
case of projective families. This completes the proof of Theorem 10.2.7.
139
10.2.5 An L2/m -estimate for m-canonical sections
Let us call a holomorphic family π : X → D uniformly projective if there exists a projective family
π̃ : X̃ → D1+r (0) such that X ⊂⊂ X̃ and π̃|X = π. Then in fact we have actually proved the
following theorem.
10.2.14 T HEOREM . Let π : X → D be a uniformly projective family, and let L → X be a
holomorphic line bundle with singular Hermitian metric e−κ whose curvature is a positive (1, 1)-
⊗m
current. Then for any holomorphic section s ∈ ΓO (Xo , KX o
⊗ L) satisfying
Z
1
|s|2/m e− m κ < +∞
Xo
⊗m
there exists a holomorphic section S ∈ ΓO (X , KX ⊗ L) such that
Z Z
1 1
2/m − m κ
S|Xo = s ⊗ dπ ⊗m
and |S| e ≤ 48π |s|2/m e− m κ .
X Xo
Proof. First suppose that Ω is a pseudoconvex domain in a Stein manifold X̃, that L → X is a
holomorphic line bundle with smooth Hermitian metric e−κ , and that π : X̃ → D is a holomorphic
submersion such that π restricts to the closure of Ω as a proper map. Assume that we have a
⊗m
section s ∈ ΓO (X̃o , KX̃ ⊗ L) that we wish to extend to Ω with L2/m -estimates, and which we
o
can normalize to satisfy Z
|s|2/m e−κ/m = 1.
Ωo
−1
(Of course, Ωo := π (0) ∩ Ω.)
A look at the proof of Theorem 10.2.7 shows that if there is a metric e−µ for KΩ⊗m ⊗ L → Ω
satisfying √
e−µ |Ωo ≤ |s|−2 and ¯ ≥0
−1∂ ∂µ
⊗m
there there is a holomorphic section S1 ∈ ΓO (Ω, KX̃ ⊗ L) satisfying
Z (m−1)µ+κ
S1 |Ωo = s ∧ dπ ⊗m
and C1 := |S1 |2 e− m < +∞.
Ω
(Conversely, if such a section S1 exists, one can take e−µ = (|S|2 e−κ )−1 , so extension is equivalent
to the existence of such a metric.) Moreover, in the proof of Theorem 10.2.7 we constructed one
such metric e−µ , which in the present setting can be assumed to satisfy
Z
e(µ−κ)/m < +∞.
Ω
140
Without loss of generality we may assume A1 > 48π. Then we have shown that given any metric
e−µ as above, there exists a section S1 such that
Z
κ
⊗m
S1 |Ωo = s ∧ dπ and |S1 |2/m e− m ≤ A1
Ω
and thus by the L2 Extension Theorem 10.2.11 there exists a section S2 ∈ ΓO (Ω, KΩ⊗m ⊗ L) such
that Z
⊗m
S2 |Ωo = s ⊗ dπ and |S2 |2 e−µ1 ≤ 48π.
Ω
Thus by Hölder’s Inequality
Z Z 1/m Z (m−1)/m)
κ µ1
2/m − m 2 −µ1 (m−1)/m
|S2 | e ≤ |S2 | e e m−1 ≤ (48π)1/m A1 =: A2 .
Ω Ω Ω
(m−1)/m
where Aj = (48π)1/m Aj−1 < Aj−1 . Since Aj is decreasing and larger than 48π, Aj converges
to some A, and taking limits of the inductive relation yields
A = (48π)1/m A(m−1)/m .
Thus A = 48π. We have thus constructed, for every ε > 0, a sequence of sections Sj , j ≥ jo such
that Z
|Sj |2/m e−κ/m ≤ A + ε.
Ω
Using arguments that are by now familiar, we can apply Montel’s Theorem to let ε → 0, pass to a
singular metric e−κ , and let Ω → X̃. Next, we can take X̃ to be the Stein manifold obtained from
a uniform projective family X → D by removing a hyperplane section, and use the L2 estimates
to extend S across the hyperplane section. Finally, we can again use Montel to pass to the case of
any projective family. The proof is therefore complete.
E XERCISES
141
Lecture 11
Berndtsson’s Theorem on
Plurisubharmonic Variation
where dVω is the volume form on X induced by the metric ω. Our goal is to study what happens
to the Hilbert space H (ϕ) as we vary the metric e−ϕ in the sense of the next definition.
11.1.1 D EFINITION . Let Ω ⊂ Cn be an open connected set. A family of metrics for L → X
parameterized by Ω is a metric e−ϕ for the line bundle p∗ L → X × Ω, where p : X × Ω → X is
the projection to the first factor.
For each t ∈ Ω there is a natural isomorphism of line bundles
ιt : L → p∗ L|X×{t} ,
and we write
e−ϕt := ι∗t e−ϕ
for the metric induced on L by this isomorphism. We can then define the Hilbert spaces
Z
H (ϕt ) = f ∈ ΓO (X, L) ; ||f ||t :=
2 2 −ϕt
|f | e dVω < +∞ .
X
We therefore obtain a fibration H (ϕ) → Ω whose fiber H (ϕ)t over t is the Hilbert space H (ϕt ).
We want to know when this fibration is (locally) trivial.
142
√
11.1.1. Let X = Cn with its Euclidean metric −1∂ ∂|z| ¯ 2 and let ϕ(z, t) = |t|2 |z|2 . Show that for
t 6= 0 the Hilbert spaces H (ϕ)t are all equal, as subsets of O(Cn ). What is H (ϕ)o ?
To avoid the situation that occurs in Exercise 11.1.1, namely that the Hilbert spaces change
as vector spaces when we change the base parameter t, we assume from now on that X is a
bounded pseudoconvex domain in some larger Stein manifold X̃, that L is the restriction to X of
a holomorphic line bundle on X̃, and that the family of smooth metrics e−ϕ also extends to X̃.
Under these assumptions, the vector spaces H (ϕ)t , seen as subsets of ΓO (X, L), are indepen-
dent of t. Of course, their norms vary. In fact, for each t, s ∈ Ω the function e−ϕs /e−ϕt is bounded
above by a positive constant Cs,t (and therefore below by 1/Ct,s ), and thus
Z Z Z
1 2 −ϕt 2 −ϕs
|f | e dVω ≤ |f | e dVω ≤ Cs,t |f |2 e−ϕt dVω ,
Ct,s X X X
so H (ϕ)t and H (ϕ)s are quasi-isometric as Hilbert spaces (i.e. they have equivalent norms).
It follows that their dual vector spaces are also quasi-isometric. (Note, also, that under these
hypotheses these Hilbert spaces are always infinite-dimensional.) But more important for us is the
fact that in this case, the subspace
H (ϕ)t ⊂ ΓO (X, L)
is independent of t.
We can now define the trivial bundle
H (ϕ) := H (ϕ)o × Ω → Ω
and define a Hilbert metric on H (ϕ) by endowing the fiber H (ϕ)o × {t} with the norm || · ||t ;
thus the fiber is H (ϕ)t as a Hilbert space.
11.1.2 D EFINITION . Let L → X be a holomorphic line bundle and let e−ϕ be a family of Hermitian
metrics for L.
(S) A section of H (ϕ) → Ω is a section f ∈ Γ(X × Ω, p∗ L) such that ι∗t f ∈ H (ϕ)t for each
t ∈ Ω. The section f is said to be holomorphic if f ∈ ΓO (X × Ω, p∗ L). In this case, we write
f ∈ ΓO (Ω, H (ϕ)).
(Thus all sections are holomorphic on the fibers, and a holomorphic section means it is
holomorphic in the base variable as well.)
(B∗ ) Let H (ϕ)∗ → Ω denote the dual bundle, i.e., the trivial bundle H (ϕ)∗o × Ω → Ω with the
Hilbert norms
|hξ, f i|
||ξ||t∗ := sup
f ∈H (ϕ)t −{0} ||f ||t
143
(S∗ ) A section of H (ϕ)∗ → Ω is a map ξ : H (ϕ) → C such that
The section ξ of H (ϕ)∗ → Ω is said to be holomorphic if for each f ∈ H (ϕ)o the function
Ω 3 t 7→ hξt , f i ∈ C
11.1.3 R EMARK . Note that since H (ϕ)t = H (ϕ)o as subspaces of ΓO (X, L), every f ∈ H (ϕ)o
induces a constant (and thus, holomorphic) section ff of H (ϕ) → Ω defined by
ι∗t ff = f, t ∈ Ω.
Ω 3 t 7→ hξt , ι∗t fi ∈ C
11.1.4 R EMARK . Fix a Hilbert basis {f1 , f2 , ...} for H (ϕ)o . Then for any section g of H (ϕ) → Ω
one has the Fourier series X
ι∗t g = ci (t)fi
i
Note that
∂ ∗ X ∂ci (t)
∂ ¯
fi = ι∗t
ιt g = ∂ t̄
y∂g .
∂ t̄ i
∂ t̄
The last equality holds because f is holomorphic on the fibers of p. Thus
!
X ∂ci (t)
¯ =
ι∗t ∂g fi ⊗ dt̄,
i
∂ t̄
where the ∂¯ operator on the left is the one on p∗ L → X × Ω. This fact parses well with the
¯
definition of the ∂-operator for a holomorphic vector bundle.
144
11.1.6 E XAMPLE . Let x ∈ X and let ξ˜x be defined by
Then ξ˜x : H (ϕ)t → Lx is a linear map, and it is bounded provided we equip the complex line Lx
with the metric e−ϕt (x) . Indeed, the boundedness is the inequality
which is often called Bergman’s Inequality, and is proved as follows: first, when X is a domain in
Cn and the weight ϕ is 0, then the inequality is standard (and could be proved, for instance, from
Cauchy’s Theorem). Then the inequality holds locally for any smooth metric e−ϕ by the obvious
estimate C −1 dVo ≤ e−ϕ dVω ≤ CdVo combined with the unweighted Bergman inequality, where
dVo is the Euclidean volume form in the local coordinate. Finally, the L2 norm on a small ball is
obviously controlled by the L2 norm over all of X.
11.1.3. Fill in the details of the proof of Bergman’s Inequality.
To obtain a linear functional from ξ˜x we need a non-zero vector for L∗x , and we choose a vector
e whose norm with respect to the dual metric eϕt is 1: |e|2 eϕt (x) = 1. (This vector is of course
unique up to a unimodular factor.) We then set
ξ x := e ⊗ ξ˜x .
The section ξ x is now a bounded linear functional on each fiber H (ϕ)t , and the holomorphic
dependence on t is clear because for each f ∈ H (ϕ)o ξ x f = f (x) is independent of t.
By the Riesz Representation Theorem, for each x ∈ X there is a section Ktx ∈ H (ϕ)t such
that
(f, Ktx )t = f (x), f ∈ H (ϕ)t .
Writing
Kt (x, z) := Ktx (z),
we see that Kt (x, ·) ∈ Γ X † , L† for each x ∈ X. (Here, for a complex manifold Y the notation
Y † means the manifold with the complex conjugate structure.) Moreover, since
Z
f, Kt (x, ·) = f (z)Kt (x, z)e−ϕt (z) dVω (z) = f (x),
t X
we see that the section x 7→ Kt (x, z) of L → X is holomorphic for each z ∈ X. It follows that
Kt ∈ ΓO X × X † , L L† ,
L1 L2 := π1∗ L1 ⊗ π2∗ L2 .
The section Kt is called the Bergman kernel of H (ϕ)t , and we shall meet it again soon.
145
11.1.4. Show that if {gj } is any orthonormal basis for H (ϕ)t then
X
Kt (x, y) = gj (x) ⊗ gj (y).
j
Kt (x, x)e−ϕt (x) = sup |f (x)|2 e−ϕt (x) ; f ∈ H (ϕ)t and ||f ||t = 1 .
(Hint: Given x ∈ X, if Sx := {f ∈ H (ϕ)t ; f (x) = 0}, show that Sx⊥ has dimension 0 or 1.)
is non-negative (resp. positive) then the curvature of Chern connection for the holomorphic vector
bundle H (ϕ) → Ω, with its L2 metric || · ||2t , is non-negative (resp. positive) in the sense of
Nakano.
Note that the result is local with respect to the base Ω, so that from now on we can (and will)
assume that Ω is the unit ball.
We shall not prove Theorem 11.1.7 in its full generality, but rather assume that the base domain
Ω is 1-dimensional, i.e., the unit disk. In this situation Griffiths and Nakano positivity are the same.
In view of Proposition 3.2.7, the case of Theorem 11.1.7 in which Ω ⊂ C is equivalent to the
following theorem.
11.1.8 T HEOREM . Assume that for the metric e−ϕ for p∗ L → X × D we have
¯ + p∗ Ricci(ω) ≥ 0 (resp. > 0),
∂ ∂ϕ
where D denotes the unit disk in C. Let ξ be a holomorphic section of H (ϕ) → D that is not
identically zero. Then the function
146
11.1.3 The Bergman projection
As we will see very soon, the proof of Berndtsson’s Theorem requires a more systematic under-
¯
standing of solutions of the ∂-equation with minimal norm.
Fixing our X as in the previous paragraph, consider the larger Hilbert space L2 (e−ϕt ) defined
to be the Hilbert space closure of the vector space of all the smooth sections of L → X with
compact support, the closure being taken with respect to the norm
Z 1/2
2 −ϕt
||f ||t := |f | e dVω .
X
Using the sub-mean value property and a Montel type argument, one shows that H (ϕ)t is a closed
subspace of L2 (e−ϕt ). Consequently there is an orthogonal projection
Pt : L2 (e−ϕt ) → H (ϕ)t ,
called the Bergman projection.
There is an important link between the Bergman projection and the minimal solution of the
¯ ¯ = α. Then u1 − u2 is holo-
∂-equation. Indeed, suppose u1 , u2 are solutions of the equation ∂u
morphic. It follows that the solution of minimal norm is orthogonal to the holomorphic subspace.
Consequently, given solution u of ∂u¯ = α, the solution
147
11.1.4 Proof of Theorem 11.1.8
An estimate for the Laplacian of −log ||f||2t
For simplicity, let us use the notation
ft := ι∗t f
for a section f of H (ϕ) → D.
11.1.11 L EMMA . If f ∈ ΓO (D, H (ϕ)) is holomorphic up to the boundary then
∂ 2 ∂ft ∂ϕt
||f||t = − Pt ft , ft .
∂t ∂t ∂t t
148
11.1.14 L EMMA . Let f ∈ H (ϕ)o and assume, moreover, that
√
¯ t + Ricci(ω) ≥ Θ
−1∂ ∂ϕ
2
∂ 2 ϕt ¯
∂ϕt
(11.2) − ∂X ≥ 0.
∂t∂ t̄ ∂t Θ
149
Indeed, with respect to the product structure of X × D we compute that
¯ = ∂ 2 ϕt ∂ϕt ∂ϕt
∂ ∂ϕ dt ∧ dt̄ + ∂X ∧ dt − ∂¯X ¯ t,
∧ dt + ∂ ∂ϕ
∂t∂ t̄ ∂ t̄ ∂t
and therefore
√
( −1(∂ ∂ϕ ¯ + p∗ Ricci(ω)))n+1
(n + 1)!
2 n
Θn−1
∂ ϕt Θ ∂ϕt ∂ϕ t
= ∧ dt ∧ dt̄ − ∂X ∧ ∂¯X ∧
∂t∂ t̄ n! ∂ t̄ ∂t (n − 1)!
!
2
∂ 2 ϕt ¯ Θn
∂ϕt
= − ∂X ∧ dt ∧ dt̄,
∂t∂ t̄ ∂t n!Θ
which establishes (11.2) in this case. In the general case, since X is a bounded pseudoconvex
domain in a Stein manifold, X has a negative strictly plurisubharmonic function u ∈ C ∞ (X).
Replacing e−ϕt by e−(ϕt +εu) (which does not change the underlying vector space of the Hilbert
space), we have
2
∂ 2 ϕt ¯
∂ϕt
− ∂X ≥ 0,
∂t∂ t̄ ∂t Θ+ε√−1∂ ∂u¯
(∇1,0
∂ f)t = 0
∂t
Next, observe that by the Riesz representation Theorem, for each fixed t ∈ D there exists a section
f ∈ H (ϕ)t such that
||f ||t = ||ξt ||t∗ and hξt , gi = (f, g)t for all g ∈ H (ϕ)t .
In particular,
|hξt , f i|2
||ξt ||2t∗ = ||f ||2t = hξt , f i = |hξt , f i| = ,
||f ||2t
and moreover
|hξt , gi|2
||ξt ||2t∗ ≥ for all g ∈ H (ϕ)t .
||g||2t
150
We emphasize that t is fixed, and we assume from here on that for this particular t, the linear
functional ξt is not zero.
Now define the section f ∈ ΓO (D, H (ϕ)) by
fτ := f − (τ − t)(∇1,0
∂ f )t .
∂τ
Then ft = f and
1,0 1,0 1,0 1,0 1,0
(∇ ∂ f)t = lim (∇ ∂ f )τ − (∇ ∂ f )t − (τ − t)(∇ ∂ (∇ ∂ f )t )τ = 0.
∂t τ →t ∂t ∂t ∂t ∂t
Therefore
1 |((∇1,0
∂ f)t , ft )t |
2 2
∂t
− (∇1,0
∂ f)t = 0,
||ft ||2t ||ft ||2t ∂t t
Thus we have shown that t 7→ log ||ξt ||2t∗ is subharmonic away from the set {t ∈ D ; ξt = 0}. Since
ξ is holomorphic, this set is a closed discrete subset, and thus log ||ξτ ||2τ ∗ continues across the zero
set of ξ to a subharmonic function on D. The proof of Theorem 11.1.8 is therefore complete.
151
11.2.1 Formulation of the Suita Conjecture
Let X be a Riemann surface and assume X admits a non-constant bounded subharmonic function.
(Such Riemann surfaces are called hyperbolic, or sometimes potential theoretically-hyperbolic.) It
is well known that such a Riemann surface admits a Green’s function G : X × X → [−∞, 0), i.e.,
a function uniquely characterized by the following properties:
(i) If we write Gx (y) = G(y, x), then for each x ∈ X,
√
−1 ¯
∂ ∂Gx = δx ,
π
and
152
Thus in the unit disk the fundamental metric agrees with the Poincaré metric (normalized so that
its Gaussian curvature is identically −4).
Note that hz (ζ) = − 12 log |1 − ζ z̄|2 and
∂ 2 hz (ζ) 1
= .
∂ζ∂ z̄ 2(1 − ζ z̄)2
Consequently ΩF (z) = −4ωF (z).
Suita’s conjecture can be stated as follows:
11.2.2 C ONJECTURE . [Su-1971] Let X be a hyperbolic Riemann surface. Then the Gaussian
curvature of the fundamental metric of X is at most −4.
153
11.2.3 T HEOREM (Schiffer[Sc-1946]). Let X be a hyperbolic Riemann surface and let G be the
Green’s function of X. Then one has the formula
1 ¯
(11.3) BX (z, ζ) =∂z ∂ζ G(z, ζ).
π
Proof. Let o ∈ X. Choose a local coordinate ζ near o and ε > 0 so small that the disk D2ε :=
{|ζ| < 2ε} is a coordinate chart. Fix Θ ∈ HX2 and write Θ = f (ζ)dζ in D2ε . Then
√
Z Z
1 ¯ 1
−1Θ(ζ) ∧ ∂z ∂ζ G(o, ζ) = √ dζ (Θ(ζ) ⊗ ∂z G(o, ζ))
X−Dε π −1π X−Dε
−1
Z
∂G(o, ζ)
= √ f (ζ) dζ dz,
−1π ∂Dε ∂z
where we have used the fact that G|∂X = 0. (Here ∂X denotes the part of the boundary that has
non-zero capacity.) But one has
∂G(o, ζ) 1 ∂h(o, ζ)
= + ,
∂z −2ζ ∂z
and we have
√
Z
1
−1Θ(ζ) ∧ ∂z ∂¯ζ G(o, ζ)
X−Dε π
Z
1 f (ζ) ∂h(z, ζ)
= √ −2 dζ dz
2 −1π |ζ|=ε ζ ∂z
= f (0)dz + O(ε) = Θ(o) + O(ε).
Letting ε → 0, we see that
√
Z
1 ¯
Θ(o) = −1Θ(ζ) ∧ ∂z ∂ζ G(o, ζ).
X π
Since the Bergman kernel is characterized by its holomorphicity and its reproducing property, the
proof is complete.
Schiffer’s Theorem immediately gives the following corollary.
11.2.4 C OROLLARY. If X is a hyperbolic Riemann surface then the curvature of the fundamental
metric is −4πKX (z, z).
11.2.2. Show that the Bergman kernel for the Bergman projection
PD : L2 (D) → L2 (D) ∩ O(D)
for the classical Bergman space is
√
−1dz ⊗ dw̄
K(z, w) = .
2π(1 − z w̄)2
(Hint: Use Exercise 11.1.4.)
154
We therefore see that Suita’s Conjecture is equivalent to the estimate
Note that, in view of Example 11.2.1 and Exercise 11.2.2, equality holds in (11.4) for X = D.
We shall prove the Suita Conjecture by establishing (11.4).
e−Φ := e−(ϕ(·)+ψ(·,τ ))
satisfies
¯ + p∗ Ricci(ω) = ∂ ∂ψ
∂ ∂Φ ¯ ≥ 0,
where p : X × L → X is projection to the first factor. Thus for any choice of such ω and ψ we
have spaces H (Φ)t and the vector bundle H (Φ) → D for which Theorem 11.1.8 holds. We fix
Observe that
Kt (x, x)
||ξtx ||2t∗ = sup |e ⊗ f (x)|2 = .
f ∈H (Φ)t , ||f ||t =1 ωF (x, x)
In particular, when t = 0, and thus ψ = 0, we see that Ko = BX , and thus we wish to prove that
1
||ξox ||2o∗ ≥ .
π
Since ψ depends only on Re τ , Berndtsson’s Theorem 11.1.8 yields the following theorem.
155
11.2.5 T HEOREM . Let ξ x be the section of H (Φ)∗ → L defined in Example 11.1.6. Then the
function
L 3 τ 7→ log ||ξτx ||2τ ∗
is convex.
Let us set
Xt := {y ∈ X ; 2Gx (y) < t}.
Notice that
(a) if t << 0 then Xt is simply connected. In the limit, Xt converges to a point, so once we
get past the critical points of Gx , we have a simply connected Riemann surface, which is
biholomorphic to the disk by the Uniformization Theorem.
(b) For τ ∈ L the function ψ(·, τ ) vanishes on XRe τ , and equals Re τ + p · (2Gx (y) − Re τ ) on
X − XRe τ . In particular, for τ = o we see that Ko , the Bergman kernel for H (Φ)o , is just
BX .
11.2.6 P ROPOSITION . The function
|f (x)|2
Z
x 2 −t
|hξt , f i| = ≤ Ce |f |2 ≤ C||f ||2t = C,
ωF (x) Xt
where C is independent of t and f . Thus the function (11.5) is bounded. Since the function (11.5)
is also convex and defined in (−∞, 0), it must be increasing.
We have therefore proved that
(Note that the limit on the right hand side exists.) To complete the proof of (11.4), we need to show
that the limit on the right hand side is π1 .
To motivate why the latter might be true, observe that since Gx (y) = log |x − y| + hx (y) for
some harmonic a function hx , which in particular is smooth across x. If t << 0 then Xt is very
close to the disk of area et centered at x, and on X −Xt the weight e−ϕt is equal to e(p−1)t e−ϕo −2pGx ,
which should be very small when p >> 0 because 2Gx > t. We therefore expect Kt to be very
close to e−t BXt .
Let us fix f ∈ H (Φ)t ) such that
√
−1
||f ||t = 1 and f (x) ∧ f (x) = Kt (x, x).
2
156
(C.f. Exercise 11.1.4.) We compute that
Z Z Z
2 −Φt −t
1= |f | e ωF = e 2
|f | + e (p−1)t
|f |2 e−2Gx .
X Xt X−Xt
11.2.7 L EMMA . Let ν : (−∞, 0) → R+ be an increasing function such that ν(t) ≤ et for all
t < 0. Then for p > 1,
Z 0
−t 2
(11.7) lim inf e e−p(s−t) dν(s) ≤ .
t→−∞ t p−1
Proof. Let Z 0
−t
f (t) := e e−p(s−t) dν(s).
t
Observe that for R ≥ 1
But if (11.7) fails then there exists Ro > 0 such that f (t) ≥ (2 + δ)/(p − 1) for all t < Ro , and
then we have
1 0 R − Ro 2 + δ
Z
f (t)dt ≥ ,
R −R R p−1
and we get a contradiction as soon as R is sufficiently large.
We have thus shown that for any ε > 0 there exists p sufficiently large and t << 0 to guarantee
that Z
−t
1−ε≤e |f |2 ≤ 1.
Xt
157
Consequently
e−t BXt ≤ (1 − ε)Kt .
But since Xt is smoothly close to the disk of radius et/2 centered at x, we see from Example 11.2.1
and Exercise 11.2.2 that for t << 0,
e−t BXt (x) 1−ε
≥ .
ωF (x) π
Therefore we have shown that for any ε > 0 there exists p >> 0 such that ,
(1 − ε)2
lim ||ξtx ||2t∗ ≥ .
t→−∞ π
Since the right hand side of (11.6) does not depend on p, we have proved that
πBX (x, x)
≥ 1,
ωF (x)
and thus the Suita conjecture is confirmed.
158
Theorem 11.3.1 looks very much like Theorem 10.2.10 (the latter is the version for L-valued
holomorphic). The major difference is the constant π, which is better than the constant 24π that
we previously established. As we will show in the next paragraph, the constant π is sharp.
11.3.2 R EMARK . For many applications (for example, the invariance of plurigenera) this sharp
constant does not matter, but there are some interesting applications where the sharpness is impor-
tant. Interestingly, in the applications known to the author, the fact that the constant is sharp is less
important than the fact that it is the area of the unit disk.
for every G ∈ B satisfying G(p) = 0. Use Exercise 11.1.4 to show that consequently
1
Cmin (p) =
K(p, p)
where K is the Bergman kernel of the Bergman projection P : L2 (D) → B.
159
Exercises 11.3.1 and 11.2.2 show that
Cmin (p) = π(1 − |p|)2 .
Thus we see, on the one hand, that the optimal constant in Theorem 11.3.1 cannot be less than π.
On the other hand, we also see that even though the optimal constant is π, there are certain spaces
X with hypersurfaces Z for which the norm of the operator of minimal extension is much smaller
than π, and might even go to 0.
160
(The Hilbert space A (ϕ) looks a lot like the spaces H (ϕ), but we use different notation to em-
phasize the fact that the metric e−ϕ , and hence the space A (ϕ), is not varying.)
Proof. First note that if ξ ∈ Ann(Jϕ (Z)) and F1 , F2 are extensions of f then F2 − F1 ∈ Jϕ (Z)
and thus
hξ, F2 i = hξ, F1 i + hξ, F2 − F1 i = hξ, F1 i .
Thus the right hand side of (11.8) is independent of the choice of extension. Next observe that
Fo ⊥ Jϕ (Z). Indeed, if G ∈ Jϕ (Z) then Fo + εG is an extension of f for every ε ∈ R, and we
have
||Fo + εG||2 = ||Fo ||2 + ε2Re (Fo , G) + O(|ε|2 ),
and since the right hand side achieves its minimum at ε = 0, we have
d
2Re (Fo , G) = ||Fo + εG||2 = 0.
dε ε=0
√
Similarly 0 = 2Re (Fo , − −1G) = 2Im (Fo , G) = 0, so (Fo , G) = 0 as claimed.
It follows that the linear functional ξo ∈ A (ϕ)∗ defined by
hξo , Gi := (G, Fo )
161
11.3.5 L EMMA . The set of linear functionals in A (ϕ)∗ of the form
Z
dAω
ξg : A (ϕ) 3 F 7→ F ḡe−ϕ , g ∈ Γo (Z, L),
Z |dT |2ω
(where Γo means smooth sections with compact support) forms a dense subspace of Ann(Jϕ (Z)).
Proof. Clearly ξg ∈ Ann(Jϕ (Z)). Moreover, if hξg , F i = 0 for all g ∈ Γo (Z, L) then F |Z ≡ 0.
Thus the lemma follows from Exercise 11.3.3.
11.3.3. Let A be a subspace of a topological vector space H. Then A = H if and only if every
continuous linear functional on H that vanishes on A is zero.
Using (11.8), it is evident that to get an estimate for the extension of minimal norm, we have
to obtain estimates for
|hξg , Fo i|2
||ξg ||2∗
for all g ∈ Γo (Z, L). Let us begin with the numerator. We introduce the notation
Letting
P : LZ2 → E (ϕ)
denote the Bergman projection, we have the following proposition.
11.3.6 P ROPOSITION . For each g ∈ Γo (Z, L)
Z Z
2 2 −ϕ dAω 2 −ϕ dAω
|hξg , Fo i| ≤ |f | e |P g| e .
Z |dT |2ω Z |dT |2ω
Proof. We calculate that
Z Z
−ϕ dAω dAω
hξg , f i = f ḡe = f P ge−ϕ ,
Z |dT |2ω Z |dT |2ω
and the result follows from the Cauchy-Schwarz Inequality.
Consequently, to prove Theorem 11.3.1, it suffices to show that
Z
(11.9) |P g|2 e−ϕ ≤ π||ξg ||2∗ for all g ∈ Γo (Z, L).
Z
To achieve (11.9), the strategy is to degenerate the domain X to Z through a good family of
domains Xt parameterized by negative real numbers t, i.e.,
Xo = X and lim Xt = Z.
t→−∞
162
11.3.5 Degeneration to the infinitesimal neighborhood
Degeneration to the infinitesimal neighborhood: first version
Letting
L := {τ ∈ C ; Re τ < 0}
denote the left half plane, define
Xt := {x ∈ X ; log |T (x)|2 < t}, t ≤ 0.
Then Xo = X and, for t << 0, Xt is a neighborhood of Z. (Again, recall that we have assumed T
to be holomorphic up to the boundary of X.) One can define the Hilbert spaces
Z
−Re τ 2 −ϕ
H(ϕ)τ := F ∈ ΓO (XRe τ , L) ; e |F | e dVω < +∞ .
XRe τ
If we could apply Berndtsson’s Theorem to the bundle of Hilbert spaces H(ϕ) → L then we
could conclude that log ||ξg ||2τ ∗ is subharmonic in τ . As we shall see in a moment, this piece of
information is particularly useful in the proof of Theorem 11.3.1.
Unfortunately, it is not possible to apply Berndtsson’s Theorem here, because the Hilbert spaces
H(ϕ)τ might not have the same underlying vector space; in fact, each of them is defined over a
different complex manifold, so it is hard to decide if H(ϕ) → L is a vector bundle.
To get around this problem, we now modify the Hilbert spaces slightly.
so that the Hilbert spaces H (ϕ)τ are in some sense approximations of H(ϕ)τ . However, since all
metrics extend up to the boundary, the Hilbert spaces H (ϕ)τ all have the same underlying vector
space (seen as a subset of ΓO (X, L)) and only their norms vary. Thus Berndtsson’s Theorem 11.1.8
applies to H (ϕ) → L.
163
11.3.6 The proof of Theorem 11.3.1
11.3.7 L EMMA . Let g ∈ Γo (Z, L). Then
Proof. Let H ∈ H (ϕ)τ with ||H||2τ = 1. By the sub-mean value property and the smoothness of
all metrics up to the boundary, for each x ∈ Support(g) ⊂ Z we have
Z Z
2 −ϕ(x) −Re τ 2 −ϕ −Re τ
|H(x)| e ≤ Cg e |H| e ≤ Cg e |H|2 e−ϕτ = Cg .
XRe τ X
Thus Z 2
−ϕ dA ω
||ξg ||2τ ∗ = sup H ḡe 2
≤ Cg ,
||H||τ =1 Z |dT | ω
as desired.
is non-decreasing. In particular,
||ξg ||2o∗ ≥ ||ξg ||2t∗
for all t < 0.
Proof. By Berndtsson’s Theorem, the function τ 7→ log ||ξg ||2τ ∗ is subharmonic on L. On the
other hand, ||ξg ||2τ ∗ depends only on Re τ , and thus λg is convex on (−∞, 0). If λg decreases
anywhere on (−∞, 0) then by convexity limt→−∞ λg = +∞. But by Lemma 11.3.7 λg is bounded
above.
11.3.9 T HEOREM . Let g ∈ Γo (Z, L). Then for each δ > 0 there exists p sufficiently large so that
Z
1
2
lim ||ξg ||t∗ ≥ |P g|2 e−ϕ − δ.
t→−∞ 2π Z
Theorem 11.3.9 will be proved using Lemma 11.2.7 and the following two lemmas.
164
11.3.11 L EMMA . Let g ∈ Γo (Z, L). Then for any ε > 0 there exists G ∈ ΓO (X, L) that is
holomorphic up to the boundary, such that
Z
dAω
|G − P g|2 e−ϕ 2
< ε2 .
Z |dT |ω
Proof. By L2 approximation theorems (see, e.g., [H-1990, Theorem 5.6.2]) we can find a section
that is holomorphic on a neighborhood of Z and approximate P g uniformly on any compact subset
of Z. If we take the compact subset to be sufficiently large then we also approximation in L2 .
Finally, since the ambient manifold is Stein, the approximation on a neighborhood of Z can be
extended to a neighborhood of X, and therefore the extension will have finite L2 norm on X.
Proof of Theorem 11.3.9. Fix ε > 0 and let G be as in Lemma 11.3.11. Then
Z 2 4
1 −ϕ dAω 2 ||P g||
2
||ξg ||t∗ ≥ GP ge ≥ (1 − ε) .
||G||t Z |dT |2ω ||G||2t
Now, Z Z
−t 2 −ϕ 2
||G||2t =e |G| e dVω + e (p−1)t
|G|2 e−(ϕ+p log |T | ) dVω .
Xt X−Xt
By Lemma 11.3.10, Z
−t
e |G|2 e−ϕ dVω ≤ (1 + ε)||P g||2
Xt
But Z Z 0
−p log |T |2 −t
e (p−1)t
e dVω ≤ Ce e−p(s−t) dν(s),
X−Xt t
165
11.4 Equivalence of Sharp Extension and Positive Variation
The L2 extension theorem 11.3.1 has a long history, into which we will not delve very deeply. In
brief, the first result was due to Ohsawa and Takegoshi [OT-1987]. Shortly after the appearance of
the original result of Ohsawa and Takegoshi, some quite spectacular applications were discovered
by Demailly, Diederich, Ohsawa, Siu and others. Manivel [Ma-1993] established a geometric
version [Ma-1993], and three new (and mostly rather similar) proofs of the extension theorem
appeared almost simultaneously by Berndtsson [B-1996], McNeal [Mc-1996] and Siu [S-1996].
But the true cementing of the L2 extension theorem as a result lying at the foundation of complex
analytic geometry finally occurred around 1998, when Siu established the deformation invariance
of plurigenera [S-1998]. (See also [S-2002].) Since that time, there have been and continue to be
numerous extensions, applications, and new proofs, of the L2 extension theorem.
The question of the sharp constant came into focus first in [O-2001], where Ohsawa pointed out
that the L2 extension theorem could be used to establish a conjecture of Suita, on the comparison
of the curvature of the hyperbolic metric and of the logarithmic capacity of a Riemann surface.
Ohsawa noted that the extension theorem gives a comparison of the two metrics (via the link
with the Bergman kernel that we explained in Chapter 11.2), and his proof made it clear that the
conjectured comparison holds if and only if the sharp constant is π.
The sharp extension theorem was established first by Błocki [B-2013] in a very particular
setting of hyperplanes in domains, though experts knew by that point that this setting already
contains all of the key difficulties of the general proof of L2 extension. Shortly afterwards, a very
general version of the sharp extension theorem was proved by Guan and Zhou [GZ-2015]. The
method of proof is not fundamentally different from that of Błocki, but the work is much more
general, and should still see applications beyond the sizable number of applications appearing in
the paper. The method of Błocki-Guan-Zhou can be used to establish the sharp constant
π(1 + δ)
δ
in Theorem 9.2.2; incidentally this constant works for all δ > 0, and does not require the assump-
tion δ ≤ 1.
Z
t
Pt f (z) = f (w)Kt (z, w)e−φ dV (z).
Dt
166
Then the function
is plurisubharmonic.
A special case of Theorem 11.4.1, in which the domain D is a product Ω × Z with Ω ⊂ Ck and
X ⊂ Cn , follows from Berndtsson’s Theorem 11.1.8, as we now show.
To prove the plurisubharmonicity of (11.10), it suffices (and is necessary) to show that (11.10)
is subharmonic in each variable ti separately, for any fixed x, because in view of Exercise 11.1.4
(11.10) is already plurisubharmonic in z. Thus we may assume the base Ω is 1-dimensional.
As we showed in Example 11.1.6, the linear functional ξtx of point evaluation at x multiplied
by some vector e ∈ L∗x , which is given by
Z
x −φt (y)
hξt , f i = e ⊗ f (y)Kt (x, y)e dV (y) ,
X
||ξtx ||2t∗ = sup |hξtx , f i|2 = sup |f (x)|2 e−ϕt (x) = hKt (x, x), e ⊗ ei ,
||f ||=1 ||f ||=1
is subharmonic. Thus Theorem 11.4.1 is proved in the special case of product domains.
Quite remarkably, Theorem 11.4.1 also follows from the L2 extension theorem with optimal
constant, as was shown by Guan and Zhou [GZ-2015]. In fact, there is a somewhat more general
result, with the same proof as that of Guan-Zhou.
Before we state the more general theorem, define the volume forms dνt on Xt by the relation
Z Z Z
ΦdVω := Φdνt dA(t).
X t∈D Xt
Since the definition is clearly local, we compute dνt in terms of ω, in local coordinates, and the
submersion T : X → D. The function T , being a submersion, is locally a coordinate function,
and X is locally a product X = Xo × D where D is a small disk in the complex plane. We use
coordinates x = (x1 , ..., xn ) on Xo and use the coordinate T on D. Then
√ √ √ √
−1 −1 −1 −1
ω = ωoō 2
dT ∧ dT̄ + ωoj̄ 2
dT ∧ dx̄j + ωiō 2
dxi ∧ dT̄ + ωij̄ 2
dxi ∧ dx̄j ,
where the indices i and j vary in {1, ..., n}. Since ω is a metric, the matrix (ωij̄ ) is an invertible
n × n Hermitian matrix, and we write its inverse as (ω j̄i ). From the formula
c v
= c − (A−1 v, v) det A,
det †
v A
167
√ (ξ)|2
we have dVω = det(ω ij̄ )dV (x) ωoō − ω j̄i ωoj̄ ωiō 2−1 dT ∧ dT̄ . Now, |dT |2ω := supξ6=0 |dT
ω(ξ,ξ)
. To
∂ i ∂
compute the supremum, we can use the vectors ξ = ∂T + η ∂xi without loss of generality, so that
|dT (ξ)|2 1
= .
ω(ξ, ξ) ωoō + ωij̄ η η̄ + 2Re (ωiō η i )
i j
The minimum of the denominator, as a function of η, is ωoō − ω j̄i ωoj̄ ωiō , and thus
dAω
dνt = .
|dT |2ω
Define Z
2 −ϕ dAω
Lt (ϕ) := f ∈ Γ(Xt , L|Xt ) ; |f | e < +∞
Xt |dT |2ω
and
At (ϕ) := Lt (ϕ) ∩ ΓO (Xt , L|Xt ),
and let Kt be the Bergman kernel of the Bergman projection Pt : Lt (ϕ) → At (ϕ). Then for any
holomorphic frame e for L∗ → X in a neighborhood U in X, the function
U 3 x 7→ log KT (x) (x, x), ex ⊗ ex
is plurisubharmonic.
(11.11) Kt (x, x)e−ϕt (x) = sup{|f (x)|2 e−ϕt (x) ; f ∈ At with ||f || = 1}.
By Bergman’s Inequality the point evaluation functional is bounded, and hence by weak-∗ com-
pactness there exists a section gx,t ∈ At that realizes the supremum, in the sense that
Now fix to ∈ D and ε > 0 such that Dε (to ) := {t ∈ C ; |t − to | < ε} ⊂⊂ D and let
T − to
X(ε) := T −1 (Dε (to )) and τ := ∈ O(X).
ε
168
Then by Theorem 11.3.1 there exists a holomorphic section G ∈ ΓO (X(ε), L) such that G|Xt =
gx,t and
Z Z Z
2 −ϕ 2 −ϕt dAω dAω
|G| e dVω ≤ π |gx,t | e 2
= πε2
|gx,t |2 e−ϕt .
X(ε) Xto |dτ |ω Xto |dT |2ω
Thus
Z
−ϕto (x) 2 −ϕto (x) 1
log Kto (x, x)e ≤ log |G(x)| e − log 2 |G|2 e−ϕ dVω
πε X(ε)
Z Z
2 −ϕto (x) 1 2 −ϕ dAω
= log |G(x)| e − log 2 |G| e dA(t)
πε t∈Dε (to ) Xt |dT |2ω
Z Z
2 −ϕto (x) 1 2 −ϕ dAω
≤ log |G(x)| e − 2 log |G| e dA(t),
πε t∈Dε (to ) Xt |dT |2ω
where the equality is just Fubini’s Theorem and the second inequality follows from the concavity
of the logarithm.
Fix a frame e for L∗ over an open set U ⊂ X of the form U = T −1 (Dε (to )) with U so small
that it is biholomorphically a product. After multiplying e by a constant, we may assume without
loss of generality that ex ⊗ ex = e−ϕto (x) . Then the function hG, ei is holomorphic on U , and we
have
where the second inequality is an application of the sub-mean value property for the plurisub-
harmonic function log |hG, ei (x)|2 and the third and last inequality comes from (11.11). We have
therefore shown that the function log hKt (x, x), ex ⊗ ex i is subharmonic in t, and since it is clearly
plurisubharmonic in x, the proof is complete.
169
11.4.3 R EMARK . In Chapter 11.2 our proof of the Suita conjecture was made longer only because
Berndtsson’s Theorem implies the log-subharmonicity of the Bergman kernels Kt , rather than
e−t BXt . With Theorem 11.4.2 in hand, a much shorter proof is possible. The interested reader
should consult [BL-2016], which treats the case of domains. It is a good exercise to adapt the
proof of the Suita Conjecture in [BL-2016] to the setting of general Riemann surfaces.
Then we have a map H (ϕ) → Dm whose fibers are Hilbert spaces, and which we call the Hilbert
fibration associated to (X, ω; L, e−ϕ ; T ). Note that we do not require local triviality, or even equiv-
alence of the fibers, from a Hilbert fibration.
11.4.4 D EFINITION . (S) A section f of a Hilbert fibration H (ϕ) → Dm is a section Ff ∈
Γ(X, L) such that Ff |Xt ∈ H (ϕ)t for each t ∈ Dm . We write
ft := Ff |Xt .
The section f of H (ϕ) → Ω is said to be holomorphic if Ff ∈ ΓO (X, L). We denote by
Γ(Ω, H (ϕ)) and ΓO (Ω, H (ϕ))
the set of sections, and holomorphic sections, of H (ϕ) → Dm respectively. (Thus all
sections are holomorphic on the fibers, and a holomorphic section means it is holomorphic
in the total space.)
(B∗ ) Let H (ϕ)∗ → Dm denote the bundle of dual spaces, i.e., the fiber H (ϕ)∗t of this bundle
over t ∈ Dm is the dual Hilbert space of H (ϕ)t , with its usual Hilbert norm
|hξ, f i|
||ξ||t∗ := sup .
f ∈H (ϕ)t −{0} ||f ||t
170
(S∗ ) A section of H (ϕ)∗ → Ω is a map ξ : H (ϕ) → C such that
The section ξ of H (ϕ)∗ → Ω is said to be holomorphic if for each f ∈ ΓO (Dm , H (ϕ)) the
function
Dm 3 t 7→ hξt , f i ∈ C
is holomorphic. The set of holomorphic sections is denoted ΓO (Ω, H (ϕ)∗ ).
Let us start with the case m = 1. We can now state the following generalization of Theorem
11.1.8.
11.4.5 T HEOREM . Let (X, ω) be a Stein Kähler manifold and let T : X → D be a holomorphic
submersion. Let L → X be a holomorphic line bundle with singular Hermitian metric e−ϕ . Let
H (ϕ) → D be the Hilbert fibration associated to (X, ω; L, e−ϕ ; T ). Assume that
¯ + Ricci(ω) ≥ 0.
∂ ∂ϕ
is subharmonic.
|hξt , f i|2
(11.12) ||ξt ||2t∗ = sup R dAω
f ∈H (ϕ)t Xt
|f |2 e−ϕ |dT |2
ω
Now fix to ∈ D and ε > 0 such that Dε (to ) := {t ∈ C ; |t − to | < ε} ⊂⊂ D and let
T − to
X(ε) := T −1 (Dε (to )) and τ := ∈ O(X).
ε
Then by Theorem 11.3.1 there exists a holomorphic section F ∈ ΓO (X(ε), L) such that F |Xto = f
and Z Z Z
2 −ϕ 2 −ϕ dAω dAω
|F | e dVω ≤ π |f | e 2
= πε2
|f |2 e−ϕ .
X(ε) Xto |dτ |ω Xto |dT |2ω
Fixing f ∈ H (ϕ)t , we let Ff ∈ ΓO (X(ε), L) denote the unique extension of minimal norm. Then
171
Choosing the section fo that realizes the supremum (11.12) and writing Fo := Ffo , we have
Z
2 dVω
2
log ||ξto ||to ∗ = log |hξto , fo i| − log |fo |2 e−ϕ
X |dT |2ω
Z to
dVω
= log |hξto , Fo i|2 − log |fo |2 e−ϕ
X |dT |2ω
to Z
2 1 2 −ϕ
≤ log |hξto , Fo i| − log |Fo | e dVω
πε2 X(ε)
Z Z
2 1 2 −ϕ dAω
= log |hξto , Fo i| − log |Fo | e dA(t)
πε2 t∈Dε (to ) Xt |dT |2ω
Z Z
2 1 2 −ϕ dAω
≤ log |hξto , Fo i| − 2 log |Fo | e dA(t)
πε t∈Dε (to ) Xt |dT |2ω
Z Z
1 2 2 −ϕ dAω
≤ 2 log |hξt , Fo i| − log |Fo | e dA(t)
πε t∈Dε (to ) Xt |dT |2ω
Z
1
≤ 2 log ||ξt ||2t∗ dA(t),
πε Dε (to )
where the second inequality follows from concavity of the logarithm, the third inequality follows
from the holomorphicity of t 7→ hξt , Fo i (i.e., the fact that ξt is a holomorphic section), and the last
inequality follows from (11.12). The proof of Theorem 11.4.5 is complete.
E XERCISES
172
Bibliography
[B-1996] Berndtsson, B., The extension theorem of Ohsawa-Takegoshi and the theorem of
Donnelly-Fefferman. Ann. Inst. Fourier (Grenoble) 46 (1996), no. 4, 1083–1094.
[B-2006] Berndtsson, B., Subharmonicity properties of the Bergman kernel and some other func-
tions associated to pseudoconvex domains. Ann. Inst. Fourier (Grenoble) 56 (2006), no. 6,
1633–1662.
[B-2009] Berndtsson, B., Curvature of vector bundles associated to holomorphic fibrations. Ann.
of Math. (2) 169 (2009), no. 2, 531 – 560.
[BL-2016] Berndtsson, B.; Lempert, L., A proof of the Ohsawa-Takegoshi theorem with sharp
estimates. J. Math. Soc. Japan 68 (2016), no. 4, 1461–1472.
[B-2013] Błocki, Z, Suita conjecture and the Ohsawa-Takegoshi extension theorem. Invent. Math.
193 (2013), no. 1, 149 – 158.
[B-1970] Bombieri, E., Algebraic values of meromorphic maps. Invent. Math. 10 (1970), 267–
287.
[B-1970a] Bombieri, E., Addendum to my paper: “Algebraic values of meromorphic maps” (In-
vent. Math. 10 (1970), 267–287). Invent. Math. 11 (1970), 163–166.
[D-1982] Demailly, J.-P., Estimations L2 pour l’opérateur ∂¯ d’un fibré vectoriel holomorphe semi-
positif au-dessus d’une varié té kählérienne complète. (French) Ann. Sci. École Norm. Sup.
(4) 15 (1982), no. 3, 457–511.
[Fe-1974] Fefferman, C., The Bergman kernel and biholomorphic mappings of pseudoconvex do-
mains. Invent. Math. (1974) no. 26, 1–65.
[GZ-2015] Guan, Q.; Zhou, X., A solution of an L2 extension problem with an optimal estimate
and applications. Ann. of Math. (2) 181 (2015), no. 3, 1139–1208.
[H-1990] Hörmander, L., An introduction to complex analysis in several variables. Third edition.
North-Holland Mathematical Library, 7. North-Holland Publishing Co., Amsterdam, 1990.
173
[Mc-1996] McNeal, J., On large values of L2 holomorphic functions. Math. Res. Lett. 3 (1996),
no. 2, 247–259.
[MV-2007] McNeal, J.; Varolin, D., Analytic Inversion of Adjunction: L2 extension theorems with
gain. Ann. Inst. Fourier (Grenoble) 57 (2007), no. 3, 703–718.
[MV-2015] McNeal, J.; Varolin, D., L2 estimates for the ∂¯ operator. Bull. Math. Sci. 5 (2015), no.
2, 179–249.
[OT-1987] Ohsawa-, T.; Takegoshi, K., On the extension of L2 holomorphic functions. Math. Z.
195 (1987), no. 2, 197–204.
[O-2001] Ohsawa, T., On the extension of L2 holomorphic functions. V. Effects of generalization.
Nagoya Math. J. 161 (2001), 1–21.
[O-2001e] Ohsawa, T., Erratum to: ”On the extension of L2 holomorphic functions. V. Effects of
generalization”. Nagoya Math. J. 163 (2001), 229.
[PV-2016] Pingali, V.; Varolin, D., Bargmann-Fock extension from singular hypersurfaces. J.
Reine Angew. Math. 717 (2016), 227–249.
[PV-2019] Pingali, V.; Varolin, D., Non-uniformly flat affine algebraic hypersurfaces. To appear
in Nagoya Math J.
[OSV-2006] Ortega Cerdá, J.; Schuster, A.; Varolin, D., Interpolation and sampling hypersurfaces
for the Bargmann-Fock space in higher dimensions. Math. Ann. 335 (2006), no. 1, 79–107.
[Sc-1946] Schiffer, M., The kernel function of an orthonormal system. Duke Math. J. 13, (1946).
529–540.
[S-1996] Siu, Y.-T. The Fujita conjecture and the extension theorem of Ohsawa-Takegoshi. Ge-
ometric complex analysis (Hayama, 1995), 577 – 592, World Sci. Publ., River Edge, NJ,
1996.
[S-1998] Siu, Y.-T. Invariance of plurigenera. Invent. Math. 134 (1998), no. 3, 661 – 673.
[S-2002] Siu, Y.-T. Extension of twisted pluricanonical sections with plurisubharmonic weight
and invariance of semipositively twisted plurigenera for manifolds not necessarily of general
type. Complex geometry (Göttingen, 2000), 223 – 277, Springer, Berlin, 2002.
[Su-1971] Suita, N., Capacities and kernels on Riemann surfaces. Arch. Rational Mech. Anal. 46
(1972), 212 – 217.
[V-2018] Varolin, D., Bergman interpolation on finite Riemann surfaces. Part I: Asymptotically
flat case. J. Anal. Math. 136 (2018), no. 1, 103–149.
[V-2016] Varolin, D., Bergman interpolation on finite Riemann surfaces. Part II: Poincar-
hyperbolic case. Math. Ann. 366 (2016), no. 3-4, 1137–1193.
174