Subsets of full measure in a generic submanifold in \(\mathbb C ^n\) are non-plurithin (Q358838)

The authors prove the following theorem: If \(M\) is a generic (real and such that the complexification of the tangent space at each point equals \(\mathbb C^{n}\)), \(\mathcal C^{2}\)-smooth submanifold of the complex affine space of dimension \(n\) and if \(I\) is arbitrary subset of \(M\) of measure zero, then the complement of \(I\) in \(M\) is not plurithin at any point of \(M\). Plurithinness at a point from the closure of a set is the property that there exists a plurisubharmonic function in a neighborhood of this point such that its value at this point is greater than the upper limit on any sequence contained in the set and approaching the point. This is the counterpart of classical thinness from classical potential theory. The result generalizes a recent result of \textit{A. Edigarian} and \textit{J. Wiegerinck} [Math. Z. 266, No. 2, 393--398 (2010; Zbl 1251.32027)]. The proof uses the method of constructing analytic discs attached to real submanifolds by Bishop. The authors also pose the following open problem: Whether or not \(M\setminus E\) is plurithin at \(0\) if again \(M\) is a generic submanifold of \(\mathbb C^{n}\) which is smooth and of dimension \(m\) and \(E\) is a Borel set such that \(0\in E\) and \[ \lim_{r\to0}\frac{H_{m}(E\cap \mathbb B_{r})}{r^{m}}=0. \] (Here \(H_{m}\) is the \(m\)-dimensional Hausdorff measure and \(\mathbb B_{r}\) is the Euclidean ball of radius \(r\).)