A stochastic approach to a Liouville property for plurisubharmonic functions (Q1823348)

The author proves the following Liouville-type theorem for plurisubharmonic functions on complex manifolds: Let M be a connected complex manifold of dimension \(n\geq 2\) and \(\phi\) a strictly plurisubharmonic function (in the distribution sense) such that \(\Omega_ t=\{z\in M:\) \(\phi\) (z)\(\leq t\}\subset \subset M\). Suppose that there exists a non-negative continuous function \(\rho\) (r) such that \(g_{\rho}(r,c)=\int^{r}_{c}\exp (-\int^{\eta}_{c}\rho (t)dt)d\eta\) tends to infinity with r for any \(c\in [\inf \phi,\infty)\) and that \[ (i\partial {\bar \partial}\phi)^ n\leq \rho (\phi)(i\partial {\bar \partial}\phi)^{n-1}\wedge i\partial \phi \wedge {\bar \partial}\phi \] outside a compact set K. Suppose also that there exists a locally bounded strictly plurisubharmonic function p (in the distribution sense) defined on M-K such that locally the Lebesgue measure is absolutely continuous with respect to \(\mu =(i\partial {\bar \partial}\phi)^{n-1}\wedge i\partial {\bar \partial}p\). Then if u is a plurisubharmonic function on M and \(\lim_{R\to +\infty}[\sup_{\phi (z)\leq R} u(z)]/g_{\rho}(R,s_ 0)=0\), then u is constant. In particular, M has no bounded non-constant plurisubharmonic functions. The author then applies his result to certain specific (and interesting) cases. The proofs use methods from probability theory.