On defining functions and cores for unbounded domains. II (Q2187676): Difference between revisions

For a complex manifold \(\Omega\), the set \(\mathfrak c(\Omega):=\{z\in\Omega:\) every smooth plurisubharmonic function on \(\Omega\) that is bounded from above fails to be strictly plurisubharmonic in \(z\}\) is called the \textit{core} of \(\Omega\). The authors prove the following properties of \(\mathfrak c(\Omega)\): -- For every \(n\geq3\), there exist a strictly pseudoconvex domain \(\Omega\subset\mathbb C^n\) with smooth boundary such that \(\mathfrak c(\Omega)\) is connected, and a smooth and bounded from above plurisubharmonic function \(\varphi:\Omega\longrightarrow\mathbb R\) such that \(\varphi\) is not constant on \(\mathfrak c(\Omega)\). -- For every \(n\geq2\), there exists a strictly pseudoconvex domain \(\Omega\subset\mathbb C^n\) with smooth boundary such that \(\mathfrak c(\Omega)\) is non-empty and contains no analytic variety of positive dimension. -- Assume that \(\dim\Omega=2\). Then \(\mathfrak c(\Omega)\) may be written as a disjoint union \(\mathfrak c(\Omega)=\bigcup_{j\in J}E_j\), where each \(E_j\) is closed, connected, and every smooth and bounded from above plurisubharmonic function \(\varphi:\Omega\longrightarrow\mathbb R\) is constant on \(E_j\), and \(E_j\) is 1-pseudoconcave in \(\Omega\). -- For any \(n\geq2\) and \(q=1,\dots,n\), \(q'=0,\dots,n-1\) such that \((q,q')\neq(1,0)\), there exists a strictly pseudoconvex domain \(\Omega\subset\mathbb C^n\) with smooth boundary such that the set \(\mathfrak c_q(\Omega):=\{z\in\Omega: \operatorname{rank\;Lev}(\varphi)(z,\cdot)\leq n-q\) for every smooth plurisubharmonic function \(\varphi\) on \(\Omega\) that is bounded from above\(\}\) is \(q'\)-pseudoconcave but not \((q'+1)\)-pseudoconcave. For Part I and III, see [the authors, Math. Z. 286, No. 3--4, 987--1002 (2017; Zbl 1386.32030); Sb. Math. 212, No. 6, 859-885 (2021; Zbl 1483.32017); translation from Mat. Sb. 212, No. 6, 126-156 (2021)].