1
$\begingroup$

I have run into the following statement in the literature (e.g. here, p.5, after Theorem 1.1): that weak convergence of positive $(1,1)$-currents on a complex manifold is equivalent to $L^1$ (I presume $L^1_{loc}$ in the non-compact case) convergence of their $dd^c$-potentials which are normialized (I presume, having a fixed mean). I tried to search the book of Demailly for it but couldn't quite find such a statement. What is the precise statement and how can it be proved?

$\endgroup$

1 Answer 1

2
$\begingroup$

Let $X$ be a compact complex manifold and let $T_n=\theta+dd^c \varphi_n$ be a sequence of positive currents where $\theta$ is a fixed smooth $(1,1)$-form on $X$. Assume that $\varphi_n$ are normalized such that $\sup_X \varphi_n=0$ (one could have an analogous statement choosing the normalization $\int_X \varphi_n dV=0$ for some fixed volume form $dV$ on $X$).

If $\varphi_n$ converges weakly to $\varphi$ in $L^1$, then we get immediately $dd^c \varphi_n \to dd^c \varphi$ in the sense of currents, hence $T_n \to \theta+dd^c \varphi$.

Conversely, assume that there exists a positive current $T:=\theta+dd^c \varphi$ such that $T_n \to T$ and $\sup_X \varphi=0$. Given that the functions $\varphi_n$ are $\theta$-psh and sup-normalized, the set $\{\varphi_n,n\in \mathbb N\}$ is precompact in $L^1$. Let $\psi=\lim \varphi_{\sigma(n)}$ be any cluster value. It satisfies $dd^c \psi=\lim dd^c \varphi_{\sigma(n)}=\lim T_{\sigma(n)}-\theta=T-\theta=dd^c \varphi$. Hence $\psi-\varphi$ is pluriharmonic on the compact manifold $X$ and it is constant. By the normalization choice, $\psi=\varphi$. Therefore, $(\varphi_n)$ converges to $\varphi$.

Side remark. I assumed that $\theta$ does not depend on $n$ for simplicity. One can adapt the statements to a slightly more general setting if necessary.

$\endgroup$
3
  • $\begingroup$ why is the set of $\varphi_n$ precomact in $L^1$? $\endgroup$ Commented May 5, 2020 at 13:18
  • 1
    $\begingroup$ you can look e.g. at Demailly's book, Chapter I, Proposition 4.21 for the local version of the statement. For the global version, the observation is that there exists $C>0$ depending only on $X$ and $\theta$ such that for any $\theta$-psh function $\varphi$ on $X$ and $dV$ s.t. $\left| \sup_X \varphi - \int_X \varphi dV \right| \le C$. And this, in turn, follows from the existence of the Green kernel. $\endgroup$
    – Henri
    Commented May 5, 2020 at 14:10
  • $\begingroup$ I see; thanks very much, this is the ingredient I was not aware of! $\endgroup$ Commented May 5, 2020 at 15:54

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .