A smörgåsbord of scalar-flat Kähler ALE surfaces (Q1755441)

A complete Riemannian manifold $(X^4,g)$ is called asymptotically locally Euclidean (ALE) of order $\tau$ if there exists a finite subgroup $\Gamma \subset \text{{SO}}(4)$ which acts freely on $S^3$, a compact subset $K\subset X$, and a diffeomorphism $\Psi : X \setminus K \rightarrow ( \mathbb{R}^4 \setminus B(0,R)) / \Gamma$, such that under this identification we have $(\Psi_* g)_{ij} = \delta_{ij} + O( \rho^{-\tau}),\ \ \partial^{|k|} (\Psi_*g)_{ij} = O(\rho^{-\tau - k })$, for any partial derivative of order $k$, as $\rho \rightarrow \infty$, where $\rho$ is the distance to some fixed basepoint. The main result in this paper shows that for {\textit{any}} non-cyclic finite subgroup $\Gamma \subset U(2)$ containing no complex reflections, there exist scalar-flat Kähler ALE metrics on the minimal resolution of $\mathbb{C}^2 / \Gamma$, for which $\Gamma$ occurs as the group at infinity. Furthermore, we show that these metrics admit a holomorphic isometric circle action. It is also shown that there exist scalar-flat Kähler ALE metrics with respect to some small deformations of the complex structure of the minimal resolution. Lastly, the authors show the existence of extremal Kähler metrics admitting holomorphic isometric circle actions in certain Kähler classes on the complex analytic compactifications of the minimal resolutions.