Subsets of full measure in a generic submanifold in \(\mathbb C ^n\) are non-plurithin (Q358838): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1207.3312 / rank | |||
Normal rank |
Revision as of 12:51, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Subsets of full measure in a generic submanifold in \(\mathbb C ^n\) are non-plurithin |
scientific article |
Statements
Subsets of full measure in a generic submanifold in \(\mathbb C ^n\) are non-plurithin (English)
0 references
9 August 2013
0 references
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\).)
0 references
plurisubharmonic function
0 references
pluripolar set
0 references
plurithin set
0 references