The intersection of an entire holomorphic mapping and a complex Monge-Ampère current with a bounded potential (Q2827375)

The small Picard theorem states that a non-degenerate holomorphic function \(f: \mathbb{C}\rightarrow \mathbb{CP}\) omits at most two points. In higher dimension, more precisely when we consider a holomorphic map \(f: \mathbb{C}^k \rightarrow M\) where \((M, \omega)\) is a compact Kähler manifold of complex dimension \(n\) and \(k\leq n\), the situation is more complicated. For example there exist no non-degenerate holomorphic maps from \(\mathbb{C}^k\) to \(M\) if \(M\) is a \(k\)-dimensional manifold of general type [\textit{S. Kobayashi} and \textit{T. Ochiai}, Invent. Math. 31, 7--16 (1975; Zbl 0331.32020)]. In the case \(M= \mathbb{CP}^n\) a non-degenerate holomorphic map satisfying a condition on the \textit{order functions} at the level \(q\), with \(q=0, \ldots, k\), is such that its image intersects any generic linear subspace in \(\mathbb{CP}^n\) of codimension \(q\). It is worth to mention that, roughly speaking, order functions reflect the ``growth'' of \(f\).NEWLINENEWLINEIn the present paper the author considers the case of a non-degenerate holomorphic map \(f: \mathbb{C}^k\rightarrow M\) where \(M\) is any compact Kähler manifold. He shows that if \(f\) satisfies some mild conditions on the order functions, then \(M\setminus f(\mathbb{C}^k)\) is a \textit{pluripolar} subset of \(M\). We recall that \(P\subset M\) is pluripolar if there exists a \textit{quasi-plurisubharmonic} function \(\psi\) such that \(P\subset \{x\in M : \psi(x)=-\infty\}\) [\textit{V. Guedj} and \textit{A. Zeriahi}, J. Geom. Anal. 15, No. 4, 607--639 (2005; Zbl 1087.32020)]. Pluripolar sets are the zero sets of the Monge-Ampère capacity; in particular they have volume zero. The proof combines known techniques in the theory of positive currents and more recent developments in pluripotential theory.NEWLINENEWLINEAs a corollary the author proves that, given any bounded \(\omega\)-plurisubharmonic function \(\varphi\) on \(M\), the set \(M\setminus \text{supp} (\omega+\partial \bar{\partial} \varphi)\) is \textit{hyperbolically embedded} in \(M\).