Singular set of some Kähler orbifolds (Q4336549)

There is a conjecture which asserts the existence of Kähler-Einstein metrics for complex manifolds of positive first Chern class without nontrivial holomorphic vector fields. For the surface case this was affirmed by \textit{G. Tian} [Invent. Math. 101, 101-172 (1990; Zbl 0716.32019)]. In contrast to the smooth case, there are two-dimensional orbifolds which have no nontrivial holomorphic vector fields but do not admit a Kähler-Einstein metric. In this direction the present paper proves the following main theorem. Let \(f\) and \(g\) be homogeneous quadratic polynomials on \(\mathbb{C} \mathbb{P}^4\) with common zero locus \(\Sigma_{f,g}\). Suppose that \(\Sigma_{f,g}\) is an orbifold whose singularities are rational double points. It is known that this orbifold is a quartic del Pezzo orbifold and has positive first Chern class. The main theorem asserts the following: Suppose \(\Sigma_{f,g}\) as above admits a Kähler-Einstein metric. Then it may have only the mildest singularities, those of type \(A_1\). The idea of their proof depends partly on the work of \textit{W.-Y. Ding} and \textit{G. Tian} [Invent. Math. 110, 315-335 (1992; Zbl 0779.53044)], where some properties of the generalized Futaki invariant for orbifolds are developed. To use the theorem of Ding and Tian, one considers the images \(\sigma_t (\Sigma_{f,g})\) with a limit \(V\) under certain one-parameter family \(\sigma_t\) of automorphisms of \(\mathbb{C} \mathbb{P}^4\) and computes the associated generalized Futaki invariant on \(V\). The result should be nonnegative according to Ding and Tian. But if the singularities of \(\Sigma_{f,g}\) are more severe, then by explicit computation it turns out to be negative for some choice of \(\sigma_t\), a contradiction.