A singular Demailly-Păun theorem (Q282722)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A singular Demailly-Păun theorem
scientific article

    Statements

    A singular Demailly-Păun theorem (English)
    0 references
    0 references
    0 references
    12 May 2016
    0 references
    The Demailly-Păun theorem [\textit{J.-P. Demailly} and \textit{M. Paun}, Ann. Math. (2) 159, No. 3, 1247--1274 (2004; Zbl 1064.32019)] gives a precise numerical description of the Kähler cone \(\mathcal{K}(X)\) of a compact Kähler manifold \(X\). The cone \(\mathcal{K}(X)\) is a connected component of the set of all real \((1,1)\)-cohomology classes \(\{\alpha\}\) on \(X\) with the property \(\int_Y\alpha^{\dim Y}>0\) for every positive-dimensional irreducible analytic subvariety \(Y\) in \(X\). Moreover \(\{\alpha\}\) lies in the closure of \(\mathcal{K}(X)\) if and only if there exists a Kähler metric \(\omega\) on \(X\) such that \(\int_Y\alpha^k\wedge\omega^{\dim Y-k}\geq 0\) for all those \(Y\) and \(1\leq k\leq \dim Y\). The authors of the article under review present an extension of this theorem to compact analytic subvarieties \(E\) of (not necessarily compact) Kähler manifolds \((M,\omega)\). Let \(\alpha\) be a closed smooth real \((1,1)\)-form on \(M\) with the property \(\int_V\alpha^k\wedge\omega^{\dim V-k}>0\) for all positive-dimensional irreducible analytic subvarieties \(V\subset E\) and for all \(1\leq k\leq\dim V\). Then there exists an open neighborhood \(U\) of \(E\) in \(M\) and a smooth function \(\varphi:U\rightarrow\mathbb R\) such that \(\alpha + i\partial\overline{\partial}\varphi\) is a Kähler metric on \(U\). If, in addition, \(M\) is an open subset of some projective variety, then the condition \(\int_V\alpha^{\dim V}>0\) is sufficient for the conclusion. The proof uses induction on \(\dim E\) and the resolution of the singularities of \(E\) by a suitable modification \(\hat{M}\rightarrow M\). Main tools are the Demailly-Păun theorem and results and techniques from the authors' paper [Invent. Math. 202, No. 3, 1167--1198 (2015; Zbl 1341.32016)]. The final construction of \(\varphi\) uses a refinement of a gluing procedure which goes back to \textit{R. Richberg} [Math. Ann. 175, 257--286 (1968; Zbl 0153.15401)].
    0 references
    Kähler cone
    0 references
    nef cohomology class
    0 references
    Kähler current
    0 references
    null loci
    0 references

    Identifiers