6
$\begingroup$

Let $X$ be a complex manifold and $\omega$ a Kahler form on $X$. A smooth function $\rho$ is called a potential of $\omega$ if $i\partial\bar\partial\rho=\omega$. By intuition, it seems that $\rho$ can never be bounded if $\omega$ is a complete Kahler metric.

Is the following claim true: the potential of a complete Kahler metric can never be bounded?

We can consider an example that $X=\Delta=\{z\in \mathbb C; |z|<1\}$. Assume $\rho$ is a bounded smooth funtion on $\Delta$ such that $i\partial\bar\partial\rho$ gives a complete metric on $\Delta$. Replace $\rho$ by the averaging of it w.r.t rotations, it still induces a complete metric. So we can assume $\rho$ depends only on $r=|z|$. Then up to a constant $i\partial\bar\partial\rho=(\rho''(r)+\rho'(r)/r)dx\wedge dy$. The completeness of $i\partial\bar\partial\rho$ implies $\int^1_0\sqrt{\rho''(r)+\rho'(r)/r}dr=\infty$.

So the above question can more or less be reduced to the following one: deos there exit a bounded smooth function $\rho$ on $[0,1)$ such that $\rho''(r)+\rho'(r)/r>0$ and $\int^1_0\sqrt{\rho''(r)+\rho'(r)/r}dr=\infty$? I believe the answer is no, but I can not give a proof.

Thanks a lot!

$\endgroup$
1
  • $\begingroup$ Potential of Kahler-Einstein metric is bounded, more generally, potential of canonical metric is bounded $\endgroup$
    – user21574
    Jan 27, 2017 at 3:03

1 Answer 1

3
$\begingroup$

The claim is false. The potential $\psi$ of the complete Kahler metric on the disk given in Theorem 1.1 of http://arxiv.org/pdf/math/0603530v7.pdf is bounded. Indeed, such potential $\psi$ is the pullback of the potential of $P := |z_1|^2 + |z_2|^2 + |z_3|^2$ by the holomorphic map $X$. Since the image of $X$ is bounded it follows that $ \psi = X^* P$ is bounded.

$\endgroup$
2
  • $\begingroup$ that works, thanks a lot! Your remark also reminds me that all strictly pseudoconvex domains can be properly completely embedded into the unit ball arxiv.org/abs/1501.00588, so all strictly pseudoconvex domains in any Stein manifolds admit complete Kahler metrics with bounded potentials. $\endgroup$
    – Entaou
    Jan 7, 2016 at 1:41
  • $\begingroup$ You are welcome. Indeed, such strictly pseudoconvex domains admit complete Kahler metrics with bounded potentials. $\endgroup$
    – Holonomia
    Jan 7, 2016 at 6:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.