A Liouville Property of Holomorphic Maps

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.

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. Let 𝑀 be a complete Kähler manifold with nonnegative holomorphic bisectional curvature and 𝑁 a complete simply connected Kähler manifold with sectional curvature ≤−𝑐/(1+𝑟)², where 𝑐 is some positive constant and 𝑟 is the distance function of 𝑁 to a fixed point 𝑜. Then, any holomorphic map from 𝑀 to 𝑁 must be constant.

Our strategy to prove this result is by first showing that there are plenty of bounded pluri-subharmonic functions on the target 𝑁 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 constant 𝑐, there is a bounded function 𝑓∈𝐶²([0,∞)) such that (1)𝑓(0)=0 and 𝑓(𝑟)>0 for 𝑟>0;(2)𝑓^′(𝑟)>0 for 𝑟≥0;(3)𝑓^′′(𝑟)+𝑐/(1+𝑟)coth(𝑐𝑟/(1+𝑟))𝑓^′(𝑟)≥0 for 𝑟≥0.

Proof. Note that 𝑐coth𝑐𝑟1+𝑟⟶𝑐coth𝑐 (1) as 𝑟→∞ and 𝑐coth𝑐>1. There are two positive numbers 𝑅 and 𝛿, such that 𝑐1+𝑟coth𝑐𝑟>1+𝑟1+𝛿1+𝑟 (2) for any 𝑟≥𝑅. Let ℎ(𝑟)=min1+𝛿,𝑐1+𝑟1+𝑟coth𝑐𝑟1+𝑟. (3) Then, it is clear that ℎ∈𝐶([0,∞)). Moreover, ℎ(𝑟)=1+𝛿1+𝑟 (4) when 𝑟≥𝑅. Let 𝑓(𝑟)=^𝑟₀𝑒^{−∫𝑠0ℎ(𝑡)𝑑𝑡}𝑑𝑠. (5) Then, it is clear that 𝑓∈𝐶²([0,∞)) satisfying (1) and (2). Moreover, when 𝑟≥𝑅, 𝑓(𝑟)=^𝑟₀𝑒^{−∫𝑅0ℎ(𝑡)𝑑𝑡−∫𝑠𝑅ℎ(𝑡)𝑑𝑡}=𝑑𝑠_𝑟0𝑒^{−∫𝑅0ℎ(𝑡)𝑑𝑡−∫𝑠𝑅((1+𝛿)/(1+𝑡))𝑑𝑡}=()𝑑𝑠1+𝑅^1+𝛿𝑒^{−∫𝑅0ℎ(𝑡)𝑑𝑡𝑟}₀1(1+𝑠)^1+𝛿≤()𝑑𝑠1+𝑅^1+𝛿𝑒^{−∫𝑅0ℎ(𝑡)𝑑𝑡∞}₀1(1+𝑠)^1+𝛿𝑑𝑠. (6) So, 𝑓 is bounded.
Finally, log𝑓^′′(𝑟)𝑐=−ℎ≥−1+𝑟coth𝑐𝑟,1+𝑟 (7) which is equivalent to (3).

Lemma 3. Let (𝑀^𝑛,𝑔) be a complete simply connected Kähler manifold with sectional curvature ≤−𝑐/((1+𝑟)²), where 𝑐 is some positive constant and 𝑟 is the distance function of 𝑀 with respect to a fixed point 𝑜∈𝑀. Then, for any point 𝑝∈𝑀, there is a bounded continuous plurisubharmonic function 𝜙 such that 𝜙>0 on 𝑀⧵{𝑝} and 𝜙(𝑝)=0.

Proof. Let 𝑟_𝑝 be the distance function to 𝑝. Then, it is clear that the sectional curvature of 𝑀 is not greater than −𝑐₁/(1+𝑟_𝑝)², where 𝑐₁ is some positive constant. By Hessian comparison, we have 𝐷²𝑟_𝑝≥√𝑐₁1+𝑟_𝑝√coth𝑐₁𝑟_𝑝1+𝑟_𝑝𝑔−𝑑𝑟_𝑝⊗𝑑𝑟_𝑝. (8) Let 𝑒₁=(1/√2)(∇𝑟_𝑝−𝐽∇𝑟_𝑝) and 𝑒₁,𝑒₂,…,𝑒_𝑛 be a parallel unitary frame along geodesic rays emanating from 𝑝. Then 𝑟_𝑝1=1√2 (9) and (𝑟_𝑝)_𝛼=0 for any 𝛼>1.
By Lemma 2, let 𝑓 be a bounded function in 𝐶²([0,∞)) such that (1)𝑓(0)=0 and 𝑓(𝑟)>0 for 𝑟>0; (2)𝑓^′(𝑟)>0 for 𝑟≥0; (3)𝑓^′′(𝑟)+(√𝑐₁/(1+𝑟))coth(√𝑐₁𝑟/(1+𝑟))𝑓^′(𝑟)≥0 for 𝑟≥0. Let 𝜙(𝑥)=𝑓(𝑟_𝑝(𝑥)). Then, by (8), we have𝜙_𝛼𝛽=𝑓^′𝑟_𝑝𝑟_𝑝𝛼𝛽+𝑓^′′𝑟_𝑝𝑟_𝑝𝛼𝑟_𝑝𝛽≥𝑓^′𝑟_𝑝√𝑐₁1+𝑟_𝑝√coth𝑐₁𝑟_𝑝1+𝑟_𝑝𝑔_𝛼𝛽−𝑟_𝑝𝛼𝑟_𝑝𝛽+𝑓^′′𝑟_𝑝𝑟_𝑝𝛼𝑟_𝑝𝛽=12√𝑐₁1+𝑟_𝑝√coth𝑐₁𝑟_𝑝1+𝑟_𝑝𝑓^′𝑟_𝑝+𝑓^′′𝑟_𝑝00√𝑐₁1+𝑟_𝑝√coth𝑐₁𝑟_𝑝1+𝑟_𝑝𝑓^′𝑟_𝑝𝐼_𝑛−1, (10)which is nonnegative. Hence, 𝜙 is a bounded continuous pluri-subharmonic function on 𝑀 with 𝜙>0 on 𝑀⧵{𝑝} and 𝜙(𝑝)=0.

We are now ready to prove Theorem 1.

Proof of Theorem 1. We proceed by contradiction. Let 𝑓∶𝑀→𝑁 be a nonconstant holomorphic map. Then, there are two points 𝑝,𝑞 in 𝑀, such that 𝑓(𝑝)≠𝑓(𝑞). By Lemma 3, let 𝜙 be a bounded continuous pluri-subharmonic function on 𝑁 such that 𝜙(𝑓(𝑝))=0, 𝜙(𝑓(𝑞))>0. Then, 𝜙(𝑓) is a bounded continuous pluri-subharmonic function on 𝑀 that is nonconstant. This contradicts Theorem  3.2 in [4].

Remark 4. The unitary invariant metric on ℂ^𝑛 constructed by Seshadri [5] has negative sectional curvature and sectional curvature ≤−1/(𝑟²log𝑟) outside a compact subset. This means that the curvature decayed rate cannot be raised to be greater than 2 in Theorem 1.

Acknowledgments

This research was partially supported by NSFC 11001161 and GDNSF S2012010010038.