Generically strongly \(q\)-convex complex manifolds (Q5956580): Difference between revisions

The main goal of this article is to obtain analogous versions of the following theorem of Diederich and Ohsawa for \(q\)-convex psh domains in higher dimensional manifolds. Theorem. Let \(\Omega\) be a relatively compact pseudo-convex domain with connected smooth real analytic boundary in a complex manifold of dimension 2. Assume that \(\partial\Omega\) is strongly pseudo-convex at some point. Then \(\Omega\) is holomorphically convex (and in fact strongly 1-convex). For \(q=n-1\) they obtain the Theorem 01. Let \(X\) be a connected complex manifold of dimension \(n\) and suppose that \(\varphi\) is a real analytic psh exhaustion on \(X\) which is strongly \((n-1)\)-convex at some point (so the Levi form has at least 2 non negative eigenvalues at some point). Then, for almost every large enough regular value \(a\) of \(\varphi\), the sublevel set \(\Omega= \{\varphi <a\}\) strongly \((n-1)\)-convex. Some generalizations are given. A nice one is the following Corollary 06. Let \(X\) be a connected non compact manifold of dimension \(n\) and let \(q\in\mathbb{N}\). Assume that \(X\) admits (i) a Kähler metric; (ii) a continuous psh exhaustion function \(\varphi\) such that, outside a compact set, \(\varphi\) is locally the maximum of a finite collection of real analytic psh functions for which the real analytic set of points at which at least one of these functions is not strongly \(q\)-convex is of real dimension at most \(2q+1\); (iii) a non empty open set \(V\) such each point in \(V\) lies in some irreducible compact complex analytic subset of \(X\) of dimension at least \(q-1\). Then \(X\) is holomorphically convex with Remmert' reduction of dimension \(q+1\).