# A Liouville Property of Holomorphic Maps

Authors: Chengjie Yu
Journal: The Scientific World Journal
 (2013)

---

## Abstract

We prove a Liouville property of holomorphic maps from a complete Kähler manifold with nonnegative holomorphic bisectional curvature to a complete simply connected Kähler manifold with a certain assumption on the sectional curvature.


---

## Body

## 1. Introduction

Liouville property is an interesting topic in analysis since Liouville found that a bounded holomorphic function on the complex plane must be a constant function. It has been studied by many geometers. For example, Yau [1] studied Liouville property of harmonic functions on complete Riemannian manifold with nonnegative Ricci curvature and Tam [2] studied Liouville property of harmonic maps. By Yau's Schwartz lemma [3], every holomorphic map from a complete Kähler manifold with nonnegative Ricci curvature, to a complete Kähler manifold with holomorphic bisectional curvature not greater than a negative constant is a constant map. This is a Liouville property for holomorphic maps.In this paper, we prove the following Liouville property of holomorphic maps. This is, in some sense, a generalization of Yau's Liouville property for holomorphic maps.Theorem 1.
LetM be a complete Kähler manifold with nonnegative holomorphic bisectional curvature and N a complete simply connected Kähler manifold with sectional curvature ≤-c/(1+r)2, where c is some positive constant and r is the distance function of N to a fixed point o. Then, any holomorphic map from M to N must be constant.Our strategy to prove this result is by first showing that there are plenty of bounded pluri-subharmonic functions on the targetN which is guaranteed by the classical Hessian comparison. Then, by using Ni-Tam's [4] Liouville type theorem for plurisubharmonic functions on complete Kähler manifolds with nonnegative holomorphic bisectional curvature and noting that the pull back of a pluri-subharmonic function along a holomorphic map is still pluri-subharmonic, we obtain the conclusion.


## 2. Proof of the Main Result

In order to show the existence of enough bounded plurisubharmonic functions on complete simply connected Kähler manifolds with negative quadratically decayed sectional curvature, we need the following technical lemma.Lemma 2.
For any positive constantc, there is a bounded function f∈C2([0,∞)) such that  (1)
f(0)=0 and f(r)>0 for r>0;(2)
f′(r)>0 for r≥0;(3)
f′′(r)+c/(1+r)coth(cr/(1+r))f′(r)≥0 for r≥0.Proof.
Note that(1)ccoth(cr1+r)⟶ccothc
as r→∞ and ccothc>1. There are two positive numbers R and δ, such that
(2)c1+rcoth(cr1+r)>1+δ1+r
for any r≥R. Let
(3)h(r)=min{1+δ1+r,c1+rcoth(cr1+r)}.
Then, it is clear that h∈C([0,∞)). Moreover,
(4)h(r)=1+δ1+r
when r≥R. Let
(5)f(r)=∫0r‍e-∫0s‍h(t)dtds.
Then, it is clear that f∈C2([0,∞)) satisfying (1) and (2). Moreover, when r≥R,
(6)f(r)=∫0r‍e-∫0R‍h(t)dt-∫Rs‍h(t)dtds=∫0r‍e-∫0R‍h(t)dt-∫Rs‍((1+δ)/(1+t))dtds=(1+R)1+δe-∫0R‍h(t)dt∫0r‍1(1+s)1+δds≤(1+R)1+δe-∫0R‍h(t)dt∫0∞‍1(1+s)1+δds.
So, f is bounded.
Finally,(7)(logf′)′(r)=-h≥-c1+rcoth(cr1+r),
which is equivalent to (3).Lemma 3.
Let(Mn,g) be a complete simply connected Kähler manifold with sectional curvature ≤-c/((1+r)2), where c is some positive constant and r is the distance function of M with respect to a fixed point o∈M. Then, for any point p∈M, there is a bounded continuous plurisubharmonic function ϕ such that ϕ>0 on M∖{p} and ϕ(p)=0.Proof.
Letrp be the distance function to p. Then, it is clear that the sectional curvature of M is not greater than -c1/(1+rp)2, where c1 is some positive constant. By Hessian comparison, we have
(8)D2rp≥c11+rpcoth(c1rp1+rp)(g-drp⊗drp).
Let e1=(1/2)(∇rp-J∇rp) and e1,e2,…,en be a parallel unitary frame along geodesic rays emanating from p. Then
(9)(rp)1=12
and (rp)α=0 for any α>1.
By Lemma2, let f be a bounded function in C2([0,∞)) such that  (1)
f(0)=0 and f(r)>0 for r>0;(2)
f′(r)>0 for r≥0;(3)
f′′(r)+(c1/(1+r))coth(c1r/(1+r))f′(r)≥0 for r≥0. Let ϕ(x)=f(rp(x)). Then, by (8), we have(10)(ϕαβ-)=(f′(rp)(rp)αβ-+f′′(rp)(rp)α(rp)β-)≥(f′(rp)c11+rpcoth(c1rp1+rp)(gαβ--(rp)α(rp)β-)+f′′(rp)(rp)α(rp)β-)=(12[c11+rpcoth(c1rp1+rp)f′(rp)+f′′(rp)]00c11+rpcoth(c1rp1+rp)f′(rp)In-1),which is nonnegative. Hence, ϕ is a bounded continuous pluri-subharmonic function on M with ϕ>0 on M∖{p} and ϕ(p)=0.We are now ready to prove Theorem1.Proof of Theorem1.
We proceed by contradiction. Letf:M→N be a nonconstant holomorphic map. Then, there are two points p,q in M, such that f(p)≠f(q). By Lemma 3, let ϕ be a bounded continuous pluri-subharmonic function on N such that ϕ(f(p))=0, ϕ(f(q))>0. Then, ϕ(f) is a bounded continuous pluri-subharmonic function on M that is nonconstant. This contradicts Theorem  3.2 in [4].Remark 4.
The unitary invariant metric onℂn constructed by Seshadri [5] has negative sectional curvature and sectional curvature ≤-1/(r2logr) outside a compact subset. This means that the curvature decayed rate cannot be raised to be greater than 2 in Theorem 1.



---

*Source: 265752-2013-05-15.xml*