Desingularizations of Conformally Kaehler, Einstein Orbifolds

Let {(M,g_i)} be a sequence of smooth compact oriented Einstein 4-manifolds of fixed Einstein constant $λ> 0$ that Gromov-Hausdorff converges to a 4-dimensional Einstein orbifold X. Suppose, moreover, that the limit metric is Hermitian with respect to some complex structure on the limit orbifold X, that X has at least one singular point, and that every gravitational instanton that bubbles off from the sequence is anti-self-dual. Then, for all sufficiently large i, the given (M,g_i) are all Kaehler-Einstein. As a consequence, the limit orbifold X is also Kaehler-Einstein, and must in fact be one of the orbifold limits classified by Odaka, Spotti, and Sun.

💡 Research Summary

The paper investigates the relationship between smooth compact oriented Einstein 4‑manifolds and their Gromov–Hausdorff limits when the limit is a 4‑dimensional Einstein orbifold with positive Einstein constant λ>0. The authors focus on the situation where the limiting metric is Hermitian (i.e., compatible with some integrable complex structure) and the limit possesses at least one singular point. A central hypothesis is that every Ricci‑flat ALE space that bubbles off from the sequence of Einstein manifolds is anti‑self‑dual (W⁺≡0). Under this “admissible” hypothesis, the authors prove two main results.

Theorem A states that if the limit orbifold (X,g∞) is already Kähler‑Einstein, then for all sufficiently large indices i the approximating manifolds (M,g_i) are themselves Kähler‑Einstein. Consequently, the limit must belong to the finite list of Kähler‑Einstein Fano orbifolds classified by Odaka‑Spotti‑Sun.

Theorem B weakens the hypothesis: it only requires that the limit be Hermitian (equivalently, conformally Kähler) rather than Kähler‑Einstein. Assuming the same anti‑self‑dual bubbling condition and the existence of at least one singular point, the same conclusion holds: the approximating manifolds become Kähler‑Einstein for large i, and the limit orbifold again lies in the Odaka‑Spotti‑Sun classification.

A key technical ingredient is the analysis of the singularities of X. The authors introduce the notion of a “type T” singularity: an isolated orbifold point modeled on ℝ⁴/Γ where Γ⊂U(2) and the quotient is also the asymptotic cone at infinity of an oriented anti‑self‑dual Ricci‑flat ALE space. Using the classification results of S̆uvaina and Wright, they show that such Γ must be either a finite subgroup of SU(2) (the ADE groups) or a specific cyclic group Z_{ℓm²} with m≥2. Consequently, any admissible limit can only have type T singularities (Proposition 2.2).

The proof proceeds by a surgical replacement argument. Each singular point of X is excised, producing a boundary modeled on a spherical space form S³/Γ. The corresponding ALE bubble (which is anti‑self‑dual and therefore Kähler by Wright’s theorem) is glued in, yielding a smooth 4‑manifold M′ that is diffeomorphic to the original M. Because the ALE pieces are Kähler and the gluing preserves the Einstein condition in the limit, the resulting manifold inherits a Kähler‑Einstein structure. Topologically, this forces M to be a Del Pezzo surface: either S²×S² or CP² blown up at ℓ points with ℓ≤8. In particular, π₁(M)=0, b⁺(M)=1, and b⁻(M)≤8 (Theorem 4.1).

The authors also demonstrate that many natural Kähler‑Einstein orbifolds cannot arise as limits of admissible sequences. For example, CP²/Z_p with p≥5 has three singular points, two of which are not of type T because the corresponding cyclic groups are not contained in SU(2) and their orders are not divisible by a square. Hence such orbifolds are excluded (Proposition 2.3). This observation leads to a broader statement (Proposition 2.4): either infinitely many topological types of Kähler‑Einstein orbifolds are excluded as limits, or there exist undiscovered Ricci‑flat ALE spaces that are not half‑conformally flat.

The paper further clarifies the equivalence between the Hermitian condition and several curvature‑based criteria (Theorem 3.1). In particular, a compact oriented Einstein orbifold with λ>0 is Hermitian iff its self‑dual Weyl tensor W⁺ has two equal negative eigenvalues almost everywhere, or equivalently if there exists a global self‑dual harmonic 2‑form ω with W⁺(ω,ω)>0, or if det W⁺>0 everywhere. These characterizations extend classical results of Derdziński, Gold­berg–Sachs, and Weitzenböck to the orbifold setting.

In summary, the paper establishes that under the natural anti‑self‑dual bubbling hypothesis, any Hermitian positive‑Einstein orbifold limit forces the approximating smooth Einstein manifolds to be Kähler‑Einstein, and the limit itself must belong to the known Odaka‑Spotti‑Sun list. Topologically, the only possible smooth manifolds admitting such sequences are Del Pezzo surfaces. The work bridges complex algebraic geometry (K‑stability, Fano varieties) with 4‑dimensional Riemannian geometry, and highlights the pivotal role of anti‑self‑dual ALE bubbles in controlling the geometry of limits. Future progress hinges on a complete classification of Ricci‑flat ALE spaces, especially those that might violate the anti‑self‑dual condition.