C OMPOSITIO M ATHEMATICA
P ETER L I
S HING -T UNG Y AU
Curvature and holomorphic mappings of complete Kähler manifolds
Compositio Mathematica, tome 73, n
o2 (1990), p. 125-144
<http://www.numdam.org/item?id=CM_1990__73_2_125_0>
© Foundation Compositio Mathematica, 1990, tous droits réservés.
L’accès aux archives de la revue « Compositio Mathematica » (http:
//http://www.compositio.nl/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
Curvature and holomorphic mappings of complete Kähler manifolds1
PETER LI & SHING-TUNG YAU Compositio
(0 1990 Kluwer Academic Publishers. Published in the Netherlands.
Department of Mathematics, University of Arizona, Tucson AZ 85721, USA; and Department of Mathematics, Harvard University, Cambridge MA 02138, USA Received 24 January 1989; accepted in revised form 8 June 1989
Table of Contents Section 0. Introduction
Section 1. Curvature and Volume Growth
Section 2. Differential
Inequalities
andIntegrabilities
Section 3.
Holomorphic Mappings
andHolomorphic
FunctionsReferences
Section 0. Introduction
A theorem of A. Huber in
[H]
asserts that if M is acomplete
noncompact two-dimensional Riemannian manifold with thenegative
part of its Gaussiancurvature
being integrable,
then M isparabolic
in the sense that it does not admit any nonconstant bounded harmonic functions. Ourgoal
of thisproject
is to findan
appropriate generalization
oranalogue
of Huber’s theorem inhigher
dimension.
Realizing
that Huber’s theorem failscompletely
for real manifolds in dimension greater than 2(see [L-T 1]),
we turned our attention to thecomplex
category. In
particular,
we will prove that if acomplete
Kahler manifold satisfiessome
integral
curvature conditions then it does not admit any nonconstantpositive pluriharmonic
functions. This can be viewed as ageneralization
ofHuber’s theorem because in dimension
2,
all real manifolds are Kâhler manifolds and harmonic functions arepluriharmonic.
This paper is
organized
in the manner that Section 1 and Section 2 arediscussions on Riemannian manifolds in
general.
The Kählerassumption
wil notbe
imposed
on the manifold until Section 3. In Section1,
we considergeometric
consequences when the Ricci curvature of M is assumed to
satisfy
anintegrability
condition. In
particular,
we will show that the volumegrowth
of M can becontrolled
by
thegrowth
of an LPintegral
of thenegative
part of thepointwise
1 Research partially supported by the authors’ NSF grants.
lower bound of the Ricci curvature. In the
original
version of this paper weproved
this fact forp n - 1,
where n is the real dimension of M. Howeverrecently
we found out that Gallot has studied a similar
assumption
on the Ricci curvaturein
[G]
with a substantialoverlap
with our argument. Infact,
hisagument
is more refined in the way that oneonly
needs to assume that p >n/2.
Theproof presented
in Section 1 willincorporate
his argument and ours for the purpose ofapplying
to our situation.In Section
2,
westudy
a certain class of differentialinequalities
which often arises in geometry. Inparticular, integrability
conditions ofnonnegative
functions
satisfying
one of these differentialinequalities
will be derived. In the lastsection,
we willapply
thetheory developed
in Section 1 and Section 2 toholomorphic mappings
from acomplete
Kähler manifold to a Hermitian manifold. We concludeby observing
that all thecomputations,
infact,
are valid forpluriharmonic mappings
which is defined in[L].
The first author would like to thank S.Y.
Cheng
and A.Treibergs
for manyhelpful
discussions and their interest in this work. We would also like to expressour
gratitude
to L.F. Tam forproof-reading
ouroriginal manuscript
andproviding
asimplier
andslightly
moregeneral
argument forCorollary
3.2by
way ofCorollary
2.2.Section 1. Curvature and Volume Growth
A
higher
dimensionalanologue
of theintegral
of thenegative part
of the Gaussian curvature on surfaces is theintegral
of some power of thenegative
part of thepointwise
lower bound of the Ricci curvature. Thefollowing
lemmaobtained
by
a modification of Gallot’s Theorem in[G]
enables us to control the volumegrowth
of thecomplete
manifold in terms of thegrowth
of such anintegral.
THEOREM 1.1. Let M be a
complete
noncompact Riemannianmanifold
withoutboundary of dimension
n. Let us denoteR(x)
to be thepointwise
lower boundof the
Ricci curvature,
Ricij(x) R(X)gij,
and
R _ (x) = max{0, -R(x)} to be
thenegative
partof R(x). If the geodesic
ballof
radius r centered at y E M is denoted
by By(r),
its volume is denotedby Vy(r),
and thearea of
itsboundary
is denotedby Ay(r),
thenfor
any p n - 1 there existsconstants
C1, C2
> 0depending only
on n suchthat for
any r >0,
Also
if n
> 2then for
anyn/2
p n -1,
there exists constantsC3, C4, Cs
> 0depending only
on n such thatfor
any r > ro >0,
whereH + = max{0, HI
is thepositive
partof
the meancurvature
function
onaBy(r 0).
Proof.
In terms of normalpolar
coordinates centered at thepoint
y, the volume element of M can be written as dV =a(O, r)
dr dO. The first variational formulagives
where
H(8, r)
denotes the mean curvature of thegeodesic sphere
of radius r at thepoint (8, r).
The second variational formulayields
with
hi; being
the second fundamental form of thegeodesic sphere.
However theinequality
and the definition of
R(03B8, r) implies
that(1.2)
can be estimatedby
If we set
then
by differentiating
andapplying (1.1)
and(1.3),
we haveand
Moreover, f
satisfies the initial conditionsbecause a - rn-l and H -
(n - 1)r-1,
as r ~ 0.Integrating inequality (1.5)
from0 to ro and
using (1.6),
we obtain theinequality
Let us now first consider the case when p = n - 1.
Integrating (1.7)
from 0 to r1 andusing (1.6),
we haveUsing
the definitionof f,
and theinequality (a
+b)n-1 2n-2(an-1
+bn-1),
fora, b 0,
we obtainWe shall
point
out that thisinequality
isonly
valid for those valuesof ri
such thatthe
point (0, rl )
is within the cut locus of y. If we denote the setsSy(r) = {03B8
eSn-1y| (8, r)
is within cut locus ofy},
we see that
they satisfy
themonotonicity property, Sy(r2) ~ Sy(r1), if r1
r2 -Integrating inequality (1.8)
over the setSy(r 1 ) yields
where 03C9n-1 denotes the area of the Euclidean unit
(n - 1 )-sphere.
This proves thecase when p = n - 1 with
C1
=2n-2 03C9n-1
1 andC2
=1/(n - 1)n-1.
For the values p =
s(n - 1)
> n -1,
wesimply apply
Hôlderinequality
to thesecond term on the
right
hand sideof ( 1.9)
and use the fact that the volume of thegeodesic
balls of radius r is anincreasing
function of r, and conclude thatWe will now consider the case when
n/2
p n - 1. Note that n must be at least 3 for this situation to occur.Following
an argument of Gallot in[G], by setting 03B4 = (2p - n)/2p -
1 one can rewriteinequality (1.5)
in the formWe claim that there is a constant
C6
> 0depending only
on n such thatThis
inequality
is obvious if the left hand side isnonpositive. Otherwise, applying
the
algebraic inequality (a
+b)p (pP /(p - 1)p-1)abp-1
to the left hand side ofinequality (1.10), using
theassumption
on p and the definition of03B4,
andintegrating
thisinequality
from ro to r, over those values wheref-lJ(af/ar) is nonnegative,
we conclude that itsnonnegative
partp(0,r)=
max{0, f-03B4(~f/~r)(03B8, r)l
satisfies the estimateUsing
the definitions of03B4, f,
and(1.1),
we rewrite thisinequality
aswhere
H + = max{0,H}. Integrating
over the setSy(rl )
andusing
the mono-tonicity
property, thisimplies
thatApplying
theCauchy-Schwarz inequality
to the left hand sideyields
On the other
hand,
we haveTherefore
(1.11) implies
where
C7 = C6(2p - 1)(n - 1)2p-l. Integrating
with respectto rl
from ro to r2,we conclude that
Hence
which proves the theorem.
By integrating
these estimates andusing
the fact thatAy(r) = (~Vy/~r)(r),
wededuced the
following:
COROLLARY 1.2. Let M be a
complete
Riemannianmanifold
withoutboundary.
With the notation
of
Theorem1.1, if for
any p >n/2
thegrowth of the
LP-normof
R -
satisfies
then
Another
corollary
of Theorem 1.1 is thefollowing generalization
of Huber’s theorem in[H].
COROLLARY 1.3. Let M be a
complete
opensurface
whosenegative
partof its
Gaussian curvature
defined by K_(x)
=max{0, - K(x)} satisfies
for
some constant al > 0and for
all r > 0. Then M isparabolic.
Proof. By
Theorem 1.1 and the curvatureassumption,
thelength
of theboundary
of thegeodesic
ball of radius r centered at y satisfiesfor r
sufficiently large.
Now we invoke the criterion(see [L-T 1])
for theparabolicity
of Mby checking
the conditionSection 2. Differential
inequalities
andintegrabilities
In this section we will focus our attention to
positive
functions defined on acomplete
manifold whichsatisfy
a certain class of differentialinequalities.
THEOREM 2.1. Let M be a
complete
noncompact Riemannianmanifold
withoutboundary.
Assume u is anonnegative function
on Msatisfying
thedifferential inequality
for
some constant q0, and for some functions
k 0 and g on M. Let us assumethat the
negative
partof g define by
g - =max{0, - gl
isintegrable,
and also thatthere exists a
positive
constant p and apoint
y EM,
such thatfor
all rsufficiently large,
thefunction
usatisfies
Then
where M+ =
{x
EM u(x)
>0}.
Proof.
Without loss ofgenerality
we may assume thatImg dV
oo. Other-wise,
we canreplace g by
the functionand let r ~ oo after the theorem is
proved
for gr. Infact,
a consequence of the theorem is that theintegral of g
will be finite if u EL"(M).
Let e > 0 be an
arbitrary
constant and~(x)
to be the cut-offfunctiondepending only
on the distance from x to thepoint
y which is definedby
with the
properties that ~
0and |~~|2 3r- 2 . Multiplying
the differentialinequality
on both sidesby
the factor0’uP-’I(ul’
+e)
andintegrating
overM
yields
Integrating
the first term on the left hand sideby
partsgives
Substituting
this intoinequality (2.1) yields
Using
the estimateon |~~|2
and theassumption
on u, the left hand side can beestimated
by
which tends to 0 as r ~ oo. Hence we arrive at the
inequality
Now
letting
e ~ 0 andobserving
that the secondintegral
convergesby Lebesgue
convergence theorem and the first
integral
convergesby
the monotone con-vergence theorem to the desired
inequality.
We would like to
point
out that if k ~ 0 and u >0,
then the theoremimplies
that
f Mg
dV 0. This is aslight generalization
of a theorem of the second author in[Y],
where he assumed in additionthat g
is bounded from below. On the other hand if k > 0 andM+ g
dV0,
then we can conclude that u must beidentically
0.COROLLARY 2.2 Let
M, u, g,
and ksatisfy
theassumption of
Theorem 2.1 Inaddition,
let us also assume that M admits apositive Green’s function.
Then u mustbe
identically
0.Proof.
Assume that there is apoint
z ~ M such thatu(z)
> 0. LetGZ(x)
be thepositive
Green’s function on M with apole
at z. Pick a sequenceGi(x)
ofnonnegative
smoothsuperharmonic
functions on m which has theproperties
thatGi - Gz weekly
in L2. This can be achievedby simply capping-off Gz
near thepole.
Now consider the function w =uev,
where v= -03B1Gi
for some constanta > 0. Observe that
by
theassumption
on u.On the other
hand,
w satisfies the differentialinequality
Applying
Theorem 2.1 to the function w andusing
the fact that Av a0,
we havefor all
compactly supported function 0
such that~(z)
= 1and 0 1. Integrating by
parts andletting
i - oo, we conclude thatwhich
gives
a contradiction since a isarbitrary.
The next theorem allows us to deduce
integrability
conditions onnonnegative
functions which
satisfy
a similar class of differentialinequalities.
THEOREM 2.3. Let M be a
complete
noncompact Riemannianmanifold
withoutboundary.
Assume that u is anonnegative function
on Msatisfying
thedifferential inequality
for
some constants q,ko
>0, and for some function
g on M.Then for
any constant p > 1 and anyfixed point
y ~M,
there exist constantsC8, C9
> 0depending only
on
ko
such that thefunction
u mustsatisfy
for
any r > 0. 1 nparticular, if
and
as r - oo, then
as r ~ oo.
Proof. Let 0
be the cut-off function defined in theproof
of Theorem 2.1.Multiplying
both sides of the differentialinequality by ~2up-2
andintegrate by
partsyields
However the
right
hand side can be estimatedby
It is also clear that we can
choose 0
tosatisfy
theinequality
hence
(2.3)
becomesThe second term on the left hand side of
inequality (2.2)
can be estimatedby
The theorem follows
by combining
this andinequalities (2.2)
and(2.4).
Section 3.
Holomorphic Mappings
andHolomorphic
FunctionsWe are now
ready
tostudy holomorphic mappings
from a Kahler manifold whose Ricci tensor satisfies certainintegrability
conditions.THEOREM 3.1. Let M be a
complete
noncompact Kâhlermanifold
withoutboundary of complex
dimension m. LetR(x)
denote thepointwise
lower boundof the
Ricci curvature
of M
and R -(x)
itsnegative
part asdefined
in Theorem 1.1. Assume that R -(x) satisfies
and
for
some p > m, and somef3 2/(m - 1). Let 03C8
be a nonconstantholomorphic mapping from
M into acomplex
Hermitianmanifold
N which hasholomorphic
bisectional curvature bounded
from
aboveby K(z) for
all z E N.Suppose
that thecurvature
of the image of M under 03C8 satisfies K(03C8(x)) -
Bfor
all x ~ Mand for
some constant B > 0.
If we
denote the traceof the pulled-back
metric tensorof N
onM
by
Then it must
satisfy
theinequality
I n
particular, if
eitheror M admits a
positive
Green’sfunction, then 03C8
has to beidentically
constant.Proof.
A directcomputation (see [Lu], [C-C-L],
and[L])
verifies thatu satisfies the Bochner type differential
inequality
Holomorphicity of 03C8
and theassumption
that u is nonconstantimplies
that thezero set of u must be of measure zero on M. We claim that there is a constant
p’
> m such thatIndeed,
theCauchy-Schwarz inequality implies
thatThe
assumption on fi
allows us to choosep’ = (2/j8)
+ 1 > m.Applying Corollary
1.2 and Theorem 2.3by setting
p =p’ and q
=1,
we conclude thatThe theorem now follows from Theorem 2.1 and
Corollary
2.2.We would like to
point
out that theassumption
that M possesses apositive
Green’s function is necessary even in dimension 2. In
fact,
let us considera
complete
surface M with constant - 1 curvature which has finite volume.By
Huber’s
theorem,
M isconformally equivalent,
henceholomorphically equi-
valent to a compact surface with finite punctures. One can
conformally change
the metric to a
complete
metric which is fiat in aneighborhood
of each puncture.This new metric satisfies the
hypothesis
of Theorem 3.1 except the existence ofa
positive
Green’s function.However,
it isholomorphically equivalent
toa surface with constant -1 curvature, which
gives
acounter-example.
In the case if a Kähler manifold admits a nonconstant bounded
holomorphic
function, by scaling
theholomorphic function,
one caninterpret
it as a holo-morphic mapping
to the unit ball in C. On the otherhand,
the unit ball isbiholomorphic
to the Poincaré disk with thecomplete
metric with - 1 curvature.By taking
thecomposition
map, we obtain aholomorphic mapping
from theKähler manifold into the
hyperbolic
space form. Henceapplying
Theorem 3.1 tothis
setting
we have thefollowing:
COROLLARY 3.2. Let M be a
complete
noncompact Kahlermanifold
withoutboundary of complex
dimension m. LetR(x)
denote thepointwise
lower boundof the
Ricci curvature
of M
and R -(x)
itsnegative
part asdefined
in T heorem 1.1. Assume that R _(x) satisfies
and
for
some p > m, and somefl 2/(m 1).
Then M does not admit any nonconstantbounded
holomorphic functions.
The argument in the
proof of Theorem
3.1 relies on the Bochner differentialinequality
for the energy ofholomorphic mappings.
Infact,
alarger
class ofmappings
from a Kàhler manifold alsoenjoy
this differentialinequality
whichwas defined as
pluriharmonic mappings
in[L].
We will refer the reader to[L]
forthe
computation
and theproof
of thefollowing
theorem.THEOREM 3.3. Let M be a
complete
noncompact Kiihlermanifold
withoutboundary of complex
dimension m. LetR(x)
denote thepointwise
lower boundof the
Ricci curvature
of M
and R_(x)
itsnegative
part asdefined
in Theorem 1.1. Assumethat R -
(x) satisfies
and
for
some p > m, and somefl 2/(m - 1). Let 03C8
be a nonconstantpluriharmonic mapping from
M into a Riemannianmanifold
N which has Hermitian bisectionalcurvature bounded
from
aboveby K(z) for
all z E N.Suppose
that the curvatureof
the
image of
Munder 03C8 satisfies K(03C8(x)) -
Bfor
all x ~ Mand for
some constantB > 0.
If
we denote the traceof
thepulled-back
metric tensorof
N on Mby
Then it must
satisfy
theinequality
In
particular, if
eitheror M admits a
positive
Green’sfunction, then 03C8
has to beidentically
constant.By using
the fact that the upper halfplane
isbiholomorphic
to thehyperbolic
space
form,
we conclude thefollowing:
COROLLARY 3.4. Let M
satisfies
the sameassumption
as in T heorem 3.3. ThenM does not admit any nonconstant
positive pluriharmonic functions.
THEOREM 3.5. Let M be a
complete
noncompact Kâhlermanifold
withoutboundary of complex
dimension m. LetS(x)
denote the scalar curvature on M andS_(x)
itsnegative
partdefined by S_(x)
=max{0, - S(x)}.
Assume thatS_(x)
satisfies
and that there exists a constant p > 1 and a
point
y E M such thatSuppose
that the volumeof geodesic
ballsof
radius r centered at ysatisfies
as r ~ oo.
Let 03C8
be a nonconstantholomorphic mapping from
M into acomplex
Hermitian
manifold
N which has the same dimension and with Ricci curvaturebounded from
aboveby RN(z) for
all z E N.Suppose
that the curvatureof the image of
M
under 03C8 satisfies RN(03C8(x)) - B for
all x ~ Mand for
some constant B >0. If we
denote the
fourth
powerof
the Jacobianof
themap 03C8 by
and the trace
of
thepulled-back
metric tensorof
N on Mby
u =
tr03C8*(ds2N).
Then
either 03C8
istotally degenerate,
i.e. v isidentically 0,
or u mustsatisfy
1 n
particular, if
eitheror M admits a
positive
Green’sfunction, then 03C8
has to betotally degenerate.
Proof.
It was derived in[C]
that the function v satisfies the differentialinequality
Arithmetic-geometric
meansimplies
thatLetting
w =Vl/4m,
we can rewrite the differentialinequality
asNow we can
apply
Theorem 2.3 to conclude thatThe theorem now follows from Theorem 2.1.
COROLLARY 3.5. Let M be a
complete
noncompact Kâhlermanifold
withoutboundary of complex
dimension m. LetS(x)
andR(x)
denote the scalar curvature and thepointwise
lower boundof
the Ricci curvature onM,
and S -(x)
and R -(x)
theirnegative
partsrespectively.
Assume that S -(x) satisfies
and that there exists a constant p > m such that
Let 03C8
be a nonconstantholomorphic mapping from
M into acomplex
Hermitianmanifold
N which has the same dimension and with Ricci curvaturebounded from
above
by RN(z) for
all z ~ N.Suppose
that the curvatureof
theimage of
M under03C8 satisfies RN(03C8(x)) - B for
all x ~ Mand for
some constant B > 0.If we
denotethe
fourth
powerof
the Jacobianof
themap 03C8 by
and the trace
of
thepulled-back
metric tensorof
N on Mby
u =
tr03C8*(ds2N).
Then
either 03C8
istotally degenerate,
i.e. v isidentically 0,
or u mustsatisfy
In
particular, if
eitheror M admits a
positive
Green’sfunction, then t/1
has to betotally degenerate.
Proof.
Theassumption
on R _ andCorollary
1.2implies
the desired volumegrowth
condition toapply
Theorem 3.5. Now we observe thatS(x)
mR(x),
andthe
corollary
follows.References
[C] S.S. Chern, On holomorphic mappings of Hermitian manifolds of the same dimension, Proc.
Symp. Pure Math. 11 (1968), 157-170.
[C-C-L] C.H. Chen, S.Y. Cheng, and K.H. Look, On the Schwarz lemma for complete Kähler manifolds, Scientia Sinica 22 (1979), 1238-1247.
[G] S. Gallot, Isoperimetric inequalities based on integral norms of Ricci curvature, preprint 1988.
[H] A. Huber, On subharmonic functions and differential geometry in the large, Commentarii Math. Helv. 32 (1957), 13-72.
[L] P. Li, On the structure of complete Kähler manifolds with nonnegative curvature near infinity,
to appear in Invent. Math.
[L-T 1] P. Li and L.F. Tam, Positive harmonic functions on complete manifolds with non-negative
curvature outside a compact set, Annals Math. 125 (1987), 171-207.
[L-T 2] P. Li and L.F. Tam, Symmetric Green’s functions on complete manifolds, Amer. J. Math. 109 (1987), 1129-1154.
[Lu] Y.C. Lu, Holomorphic mappings of complex manifolds, J. Diff. Geom. 2 (1968), 299-312.
[Y] S.T. Yau, Some function-theoretic properties of complete Riemannian manifolds and their applications to geometry, Indiana Math. J. 25 (1976), 659-670.