Compact anti-self-dual orbifolds with torus actions (Q427720)

The author classifies toric anti-self-dual conformal structures on compact \(4\)-orbifolds with positive Euler characteristic. Theorem. Let \(M\) be a compact \(4\)-orbifold with positive orbifold Euler characteristic. If \(M\) admits an anti-self-dual conformal structure with isometry group containing a \(2\)-torus, then: {\parindent=6mm \begin{itemize}\item[1.] There is a torus equivariant diffeomorphism between \(M\) and the quotient of a simply connected \(4\)-orbifold by a finite subgroup of the torus action; \item[2.] \(M\) has negative-definite intersection form; \item[3.] The conformal structure on \(M\) is equivalent to one arising from the construction of \textit{D. D. Joyce} [Duke Math. J. 77, No. 3, 519--552 (1995; Zbl 0855.57028)]. \end{itemize}} Theorem. Let \(M\) be a compact anti-self-dual orbifold with positive orbifold Euler characteristic whose isometry group contains a \(2\)-torus. Then, there is an asymtotically locally Euclidean (ALE) scalar-flat Kähler representative of the conformal class away from a torus fixed point. Moreover, every scalar-flat Kähler \(4\)-orbifold that is ALE to order \(l > 3/2\) and has an isometry group containing a torus arises in this way. Corollary. Let \(X\) be a smooth Kähler toric surface that is scalar-flat and ALE to order \(l>3/2\). Then \(X\) is biholomorphic to a toric resolution of \(\mathbb C/\Gamma\) for some cyclic subgroup \(\Gamma \subset U(2)\). Furthermore, \(X\) is isometric to one of the scalar-flat Kähler metrics constructed by \textit{D. M. J. Calderbank} and \textit{M. A. Singer} [Invent. Math. 156, No. 2, 405--443 (2004; Zbl 1061.53026)].