Blowing up and desingularizing constant scalar curvature Kähler manifolds (Q858560)

The authors consider \(m\)-dimensional compact Kähler manifolds \((M,\omega)\) and \(m\)-dimensional compact Kähler orbifolds with isolated singularities. By definition, any point \(p\) of \(M\) has a neighborhood biholomorphic to a neighborhood of the origin in \(\mathbb{C}^m/\Gamma\), where \(\Gamma\) is a finite subgroup of \(U(m)\) acting freely on \(\mathbb{C}^m\setminus\{0\}\). The Kähler form \(\omega\) is assumed to be of constant scalar curvature and if we are given \(n\) distinct points \(p_1,\dots, p_n\) of \(M\), one of the questions that the authors would like to address in this paper is whether the blow-up of \(M\) at the points \(p_1,\dots, p_n\) can still be endowed with a constant scalar curvature Kähler form. Theorem 1.3 gives the main and fundamental result of the paper: Assume that \((M,\omega)\) is an \(m\)-dimensional compact Kähler manifold or orbifold with isolated singularities, scalar curvature of \(\omega\) is constant, \((M,\omega)\) is either nondegenerate or is Futaki-nondegenerate and given points \(p_1,\dots,p_n\) of \(M\) which might be either singular or regular points of \(M\), let \(\Gamma_j\) be the finite subgroup of \(U(m)\) acting freely on \(\mathbb{C}^m\setminus\{0\}\) such that a neighborhood of \(p_j\) is biholomorphic to a neighborhood of the origin in \(\mathbb{C}^m\setminus\{0\}\) such that each \(\mathbb{C}^m/\Gamma_j\) has an asymptotically locally Euclidean resolution \((N_j,\eta_j)\) endowed with a zero scalar curvature Kähler form \(\eta_j\) of special shape. Then, there exists \(\varepsilon_0> 0\) and, for all \(\varepsilon\in (0;\varepsilon_0)\), there exists a constant scalar curvature Kähler form \(\widetilde\omega_\varepsilon\) defined on \(M\sqcup_{p_1,\varepsilon} N_1\sqcup_{p_2,\varepsilon}\cdots\sqcup_{p_n,\varepsilon} N_n\). As \(\varepsilon\to 0\), the sequence of Kähler forms \(\widetilde\omega_\varepsilon\) converges (in \(C^\infty\) topology) to the Kähler metric \(\omega\), away from the points \(p_j\) and the sequence of Kähler forms \(\varepsilon^{-2}\widetilde\omega_\varepsilon\) converges (in \(C^\infty\) topology) to the Kähler form \(\eta_j\), on compact subsets of \(N_j\). If \(\omega\) has positive (resp., negative) scalar curvature then the Kähler forms \(\widetilde\omega_\varepsilon\) have positive (resp., negative) scalar curvature. Moreover, if \((M,\omega)\) is nondegenerate then \([\omega_\varepsilon]= [\omega]+ \varepsilon^2([\eta_1]+\cdots+ [\eta_n])\) (\([\omega]\) means the Kähler class of \(\omega\)). The paper contains very many constructive considerations and very interesting examples and comments.