Three Circle Theorems on K\"ahler manifolds and applications

TL;DR

This paper extends the classical three circle theorem to complete K"ahler manifolds, establishing conditions based on holomorphic sectional curvature and deriving applications such as sharp dimension estimates and properties of polynomial growth holomorphic functions.

Contribution

It generalizes the three circle theorem to K"ahler manifolds with curvature bounds and explores implications for holomorphic functions and manifold geometry.

Findings

Nonnegativity of holomorphic sectional curvature is necessary and sufficient for the three circle theorem.

Derived sharp monotonicity formulas for holomorphic functions.

Established dimension estimates and homogeneity results for holomorphic functions with polynomial growth.

Abstract

The classical Hadamard three circle theorem is generalized to complete K\"ahler manifolds. More precisely, we show that the nonnegativity of the holomorphic sectional curvature is a necessary and sufficient condition for the three circle theorem. As corollaries, two sharp monotonicity formulae for holomorphic functions are derived. Among applications, we derive sharp dimension estimates (with rigidity) of holomorphic functions with polynomial growth when the holomorphic sectional curvature is nonnegative. When the bisectional curvature is nonnegative, this was due to Ni. Also we study holomorphic functions with polynomial growth near infinity. On a complete noncompact K\"ahler manifold with nonnegative bisectional curvature, we prove any holomorphic function with polynomial growth is homogenous at infinity. This result is closely related with Yau's conjecture on the finite generation of holomorphic functions (see page $3-4$ for detailed explanation). We also generalize the three circle theorem to K\"ahler manifolds with holomorphic sectional curvature lower bound. These inequalities are sharp in general. As applications, we establish sharp dimension estimates for holomorphic functions with certain growth conditions when the holomorphic sectional curvature is asymptotically nonnegative. Finally observe that Hitchin constructed some complex manifolds which admit K\"ahler metric with positive holomorphic sectional curvature, yet do not even admit K\"ahler metrics with nonnegative Ricci curvature. Thus the set of complete K\"ahler manifolds with nonnegative holomorphic sectional curvature is strictly wider than those with nonnegative bisectional curvature.