Ensembles analytiques complexes définis comme ensembles de densité et contrôles de croissance
type: Item
instance of: scholarly article
title: Ensembles analytiques complexes définis comme ensembles de densité et contrôles de croissance
zbMATH Open document ID: 0554.32007
DOI: 10.1007/BF01398397
published in: Inventiones Mathematicae
publication date: 1983-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/143030
review text: Let G be the space \({\mathbb{C}}^ n\) or an n-dimensional Stein manifold imbedded in \({\mathbb{C}}^{2n+1}\), and \(M^ P_+(G)\) the cone of closed positive (n-p,n-p)-currents on G, \(0\leq p\leq n-1.\) Denote by \(\nu\) (x,T) the Lelong number of a current \(T\in M^ p_+(G)\) at a point \(x\in G\). By a result of \textit{Y. T. Siu} [Invent. Math. 27, 53-156 (1974; Zbl 0289.32003); see also Bull. Am. Math. Soc. 79 (1973), 1200-1205 (1974; Zbl 0282.32006)], the set \(E(c,T):=\{x\in G:\nu (x,T)\geq c\},\) \(c>0\), is analytic of dimension \(\leq p\). The main problem considered in the paper is the following: Given \(T\in M^ p_+({\mathbb{C}}^ n)\) and \(c>0\), can the growth of the k-dimensional component \(E^ k(c,T)\), \(0\leq k\leq p\), of E(c,T) be estimated by the one of T? Here the growth of a current \(T\in M^ p_+({\mathbb{C}}^ n)\) is measured by the function \(\nu_ T(r):=(\pi r^ 2)^{-p}T(\chi_ r\omega^ p)\) (the growth indicatrix) where \(\chi_ r\) is the characteristic function of the ball \(| z| <r\) and \(\omega\) is the standard Kähler form of \({\mathbb{C}}^ n\); the indicatrix of \(E^ k(c,T)\) is the one of the current \([E^ k(c,T)]\) of integration. An irreducible analytic subset Z of G (cycle) is said to be extremal with respect to a current \(T\in M^ p_+(G)\) if \(N_ T(Z):=\inf \{\nu (x,T):x\in Z\}>0\) and if there does not exist a cycle \(Z'\supset Z,\) \(Z'\neq Z\) such that \(N_ T(Z')=N_ T(Z).\) The author studies the series \(S^ k=\sum_{q}N_ T(Z^ k_ q)[Z^ k_ q]\) where \(T\in M^ p_+(G)\) and \(\{Z^ k_ q\}\) is the family of all k- dimensional extremal cycles with respect to T (they are shown to be countably many), \(0\leq k\leq p.\) In contrast to the case \(k<p\), the series \(S^ p\) is always convergent and the indicatrix \(\omega_ p(c,r)\) of \(E^ p(c,T)\) can be estimated by above: \(\omega_ p(c,r)\leq c^{- 1}\nu_ T(r).\) The sets E(c,T) are shown to be locally stable on the left, i.e. for every domain \(D\subset \subset G\) and \(c>0\) there ex…
Mathematics Subject Classification ID: 32C30
Mathematics Subject Classification ID: 32A22
zbMATH DE Number: 3882722
zbMATH Keywords: Stein manifold
zbMATH Keywords: Lelong number
zbMATH Keywords: growth of a current
author: P. Lelong
reviewed by: Johann Davidov
MaRDI profile type: Publication
cites work: Fonctions entières de p variables et fonctions plurisousharmoniques à croissance tres lente
cites work: Algebraic values of meromorphic maps
cites work: A counterexample to the ''transcendental Bezout problem''
cites work: Densité des fonctions plurisousharmoniques
cites work: Intégration sur un ensemble analytique complexe
cites work: Q5567212
cites work: Functions entières de type exponentiel dans \(C^ n\)
cites work: Fonctions entières (\(n\) variables) et fonctions plurisousharmoniques d'ordre fini dans \(C^ n\)
cites work: Analyticity of sets associated to Lelong numbers and the extension of closed positive currents
cites work: Sous-ensembles analytiques d'ordre fini ou infini dans $C^n$
cites work: The Lelong number of a point of a complex analytic set
description: scientific article; zbMATH DE number 3882722