Plurisubharmonic functions and positive currents of type (1,1) on an almost complex manifold

DOI10.1007/S00229-005-0594-XMaRDI QIDQ2575671zbMATH OpenOpenAlexFDO

Publication date 6 December 2005

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0402029

Plurisubharmonic functions and generalizations (32U05) Plurisubharmonic extremal functions, pluricomplex Green functions (32U35) Currents (32U40)

Abstract: If

(X, J)

is an almost complex manifold, then a function

u

is said to be plurisubharmonic on

X

if it is upper semi-continuous and its restriction to every local pseudo-holomorphic curve is subharmonic. As in the complex case, it is conjectured that plurisubharmonicity is equivalent to the fact that the

(1, 1)

-current

is positive, (the

(1, 1)

-current

need not be closed here). The conjecture is trivial if

u

is of class

{c a l C}^{2}

. The result is elementary in the complex integrable case because the operator

can be written as an operator with constant coefficients in complex coordinates. Hence the positivity of the current is preserved by regularising with usual convolution kernels. This is not possible in the almost complex non integrable case and the proof of the result requires a much more intrinsic study. In this chapter we prove the necessity of the positivity of the

(1, 1)

-current

. We prove also the sufficiency of the positivity in the particular case of an upper semi-continuous function

f

which is continuous in the complement of the singular locus

f^{- 1} (- i n f t y)

. For the proof of the sufficiency of the positivity in the general case of a real distribution

u

, we suggest a method depending on a rather delicate regularisation argument introduced by Demailly. This method consists of regularing the function

u

by means of the flow induced by a Chern connection on the tangent bundle of the almost complex manifold.

Review text

Let \((X,J)\) be an \(n\)--dimensional almost complex manifold. An upper semicontinuous function \(f:X\to[-\infty,+\infty)\) is said to be \textit{\(J\)-plurisubharmonic} (\(f\in\mathcal{PSH}(X,J)\)) if for every \(J\)-holomorphic disc \(\varphi:\varDelta\to X\), the function \(f\circ\varphi\) is subharmonic in the unit disc \(\varDelta\). The author shows that if \(f\in\mathcal{PSH}(X,J)\cap L^1_{\text{loc}}(X)\), then the \((1,1)\)-current \(i\partial_J\overline\partial_Jf\) is positive. He studies the converse of the above implication and formulates the following conjecture. Let \(u\in\mathcal D'_{2n}(\mathbb R)(X)\) be a real distribution such that the \((1,1)\)-current \(i\partial_J\overline\partial_Jf\) is positive. Then there exists an \(f\in\mathcal{PSH}(X,J)\cap L^1_{\text{loc}}(X)\) such that \(f=u\) in the distribution sense. The conjecture is elementary in the case where \(u\in\mathcal C^2(X)\). Moreover, it is known that the conjecture is true in the case where the structure of \((X,J)\) is integrable [\textit{J.-P. Demailly}, Aspects Math. E 26, 105--126 (1994; Zbl 0824.53064)]. The author proves that the conjecture is true also in the following case. If \(f:X\to[-\infty,+\infty)\) is an upper semicontinuous function such that \(f\in L^1_{\text{loc}}(X)\), \(f\) is continuous on \(X\setminus f^{-1}(-\infty)\), and \(i\partial_J\overline\partial_Jf\) is positive, then \(f\in\mathcal{PSH}(X,J)\).

Recommendations

Cites work

Cited in

(24)

This page was built for publication: Plurisubharmonic functions and positive currents of type (1,1) on an almost complex manifold

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575671)