Extension of strictly plurisubharmonic functions on a Kähler manifold

Question

I was wondering, suppose I have a non-compact Kähler manifold $M$ and suppose that outside some compact subset $A\subset M$, there exists a smooth function $f:M\backslash A\longrightarrow\mathbb{R}$ such that $i\partial\bar{\partial}f>0$. Is it always possible for me to find a smooth function $h:M\longrightarrow\mathbb{R}$ such that $h|_{M\backslash A}=f$ and $i\partial\bar{\partial}h>0$ on the whole of $M$? If not in general, are there sufficient conditions on $M$ that will allow me to do this? Many thanks!

Answer 1

It is instructive to conisder the case of Kahler metrics invariant under torus action. In this case your question becomes a certain (nontivial) question on convex functions.

Recall first, that Kahler metrics on $(\mathbb C^*)^n$ invariant under the action of $(S^1)^n$ have global potential that is given by a convex function $F$ on $\mathbb R^n$. Here $\mathbb R^n$ is identified with the quotient

$(\mathbb C^*)^n/(S^1)^n$ and we take coordinates $log|z_i|$ on $\mathbb R^n$. So we can translate your original question as follows

QESTION. Suppose you have a smooth convex function $F$, defined on $\mathbb R^n$ outside compact $\Omega$. Is it possible to extend $F$ to a smooth convex function on the whole $\mathbb R^n$?

It easy to construct an example of a non-convex $\Omega$ on $\mathbb R^2$, with convex $F$ defined on $\mathbb R^2\setminus \Omega$, so that $F$ can not be extended. For the moment I don't see how to make such an example when $\Omega$ is the unite disk, but it sounds plausible that such examples exist.

Answer 2

No, in general.

A trivial reason is that $f$ may not extend to a smooth function in a neighbourhood of $\overline{M\setminus A}$, but you can easily get around that by asking that $f$ agree with $h$ in a slightly smaller domain than $M\setminus A$.

A non-trivial reason is that the 2-form $\omega=i \partial \bar{\partial} h$ would be an exact Kähler form. Because of Stokes's theorem, a complex manifold can only support such a form if it has no compact complex submanifolds of positive dimension. For instance, $M=\mathbb{C P}^2 \setminus pt.$ does not, so there is no psh extension to $M$ of the Kähler potential $f$ for the Fubini-Study metric on $\mathbb{C P}^2 \setminus (\mathbb{CP}^1\cup pt.)$.

For more information on psh functions, try Demailly's book:

http://mathonline.andreaferretti.it/books/view/19/Complex-analytic-and-algebraic-geometry

Answer 3

If a complex manifold has a strictly plurisubharmonic function then it cannot contain positive dimensional compact analytic sets.This is clearly a necessary condition.So you might start considering your question on Stein manifolds.