David M. J. Calderbank,Michael A. Singer
Abstract: We prove that any compact selfdual Einstein 4-orbifold of positive scalar curvature whose isometry group contains a 2-torus is, up to an orbifold covering, a quaternion Kaehler quotient of (k-1)-dimensional quaternionic projective space by a (k-2)-torus for some $k\geq 2$. We also obtain a topological classification in terms of the intersection form of the 4-orbifold.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the classification and construction of compact self - dual Einstein 4 - dimensional orbifolds. Specifically, the authors focus on compact self - dual Einstein 4 - dimensional orbifolds with positive scalar curvature and whose isometry group contains a 2 - torus.
### Main research problems
1. **Classification problem**: Determine which compact self - dual Einstein 4 - dimensional orbifolds can be represented by the quaternion Kähler quotient.
2. **Construction problem**: Give the specific construction methods of these orbifolds and prove whether these constructions cover all possible cases.
### Main conclusions of the paper
- **Theorem A**: Any compact self - dual Einstein 4 - dimensional orbifold \( X \) with positive scalar curvature and whose isometry group contains a 2 - torus is, in the sense of orbifold covering, obtained by quotienting the \((k - 1)\)-dimensional quaternionic projective space \( HP^{k - 1} \) by a \((k - 2)\)-dimensional sub - torus. Here \( k\geq2 \), and the minimum value of \( k \) is \( b_2(X)+ 2 \).
Mathematically, it is expressed as:
\[
F(\rho,\eta)=\sum_{i = 1}^k\sqrt{a_i^2\rho^2+(a_i\eta - b_i)^2}
\]
where \( a_i,b_i\in\mathbb{R} \), and \((\rho > 0,\eta)\) are the half - space coordinates on the hyperbolic plane \( H^2 \).
- **Theorem B**: For a compact, simply - connected, oriented 4 - dimensional torus orbifold \( X \), the following conditions are equivalent:
1. \( X \) admits a self - dual Einstein metric with positive scalar curvature such that the exceptional surface is totally geodesic.
2. The intersection form of \( X \) is positive definite, and for any exceptional surface \( S \), the self - intersection number \( e = [\bar{S}]\cdot[\bar{S}]<\chi_{\text{orb}}(\bar{S})\) of the rational homology class \([\bar{S}]\), where \(\chi_{\text{orb}}(\bar{S})\) is the orbifold Euler characteristic of the closed set \(\bar{S}\).
3. If \( S_1,S_2,\ldots,S_k \) are exceptional surfaces, oriented in such a way that the orbifold generators \( v_1,v_2,\ldots,v_k \) satisfy \(\Delta_{0,j}\geq0\), then \( v_j \) satisfies \(\Delta_{j - 1,j}>0\) in the cyclic order, and for all \( 0 < j < k \) we have:
\[
\Delta_{j - 1,j + 1}<\Delta_{j - 1,j}+\Delta_{j,j + 1}
\]
### Research significance
This research not only provides the classification and construction methods of compact self - dual Einstein 4 - dimensional orbifolds, but also reveals the profound connection between these spaces and quaternionic Kähler geometry. In addition, these results also have important applications in the physical field, for example, as the target space of the nonlinear sigma model, playing an important role in the \( N = 2 \) supergravity theory.
### Summary
Through strict mathematical derivations and geometric constructions, the paper solves the classification problem of compact self - dual Einstein 4 - dimensional orbifolds and gives specific construction methods. This not only enriches the research content of differential geometry, but also provides important mathematical tools for related physical problems.