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.
Importer (talk | contribs)
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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references