Kähler Scalar Flat ALE Surface

• Kähler scalar flat surfaces are complex two-dimensional manifolds with vanishing scalar curvature and an ALE asymptotic geometry.
• They are constructed using analytic gluing techniques, toric symplectic methods, and index-theoretic approaches that control ADM mass.
• Their deformation and moduli theory link geometric invariants to singularity resolutions, providing insights into gravitational instantons and extremal metrics.

A Kähler scalar flat surface is a complex, noncompact, Kähler manifold—primarily of complex dimension two (a “Kähler surface”)—whose scalar curvature vanishes identically and which admits a specific class of asymptotic geometry: the Asymptotically Locally Euclidean (ALE) condition. These surfaces play a fundamental role in complex differential geometry, singularity resolution, moduli theory, and the study of gravitational instantons and extremal metrics. Their systematic construction, deformation theory, and classification have advanced significantly over the last two decades, particularly through analytic and gluing techniques, toric symplectic methods, and index-theoretic approaches.

1. Foundational Definitions and ALE Structure

Let $(X, \omega)$ be a complex Kähler manifold of complex dimension $m \ge 2$, equipped with a Kähler metric $g(\cdot,\cdot) = \omega(\cdot,J\cdot)$, where $J$ is the complex structure. The surface is ALE with respect to a finite group $T \subset U(m)$ acting freely on $\mathbb{C}^m \setminus \{0\}$ if there exists a compact subset $K \subset X$ and a biholomorphism

$$\Phi : X \setminus K \longrightarrow (\mathbb{C}^m \setminus B_R(0)) / T$$

such that, in the standard Euclidean coordinates $x$ on $\mathbb{C}^m$,

$$g_{ij}(x) - \delta_{ij} = O(|x|^{-\tau}), \qquad \partial^{\alpha}g_{ij}(x) = O(|x|^{-\tau - |\alpha|}),\quad \text{for all multi-indices }\alpha$$

for some decay rate $\tau > 0$ (Arezzo et al., 2021). The scalar-flat property is $S(\omega) \equiv 0$ globally on $X$.

In complex dimension $2$, the ALE group $T$ is often realized as a finite subgroup $\Gamma\subset U(2)$ without complex reflections, ensuring the orbifold quotient $(\mathbb{C}^2\setminus \{0\})/\Gamma$ has isolated singularities suitable for minimal resolutions (Han et al., 2018). Weighted Hölder spaces $C^{k,\alpha}_\delta$ (and $C^{k,\alpha}_{\delta,\delta_\infty}$ for gluing constructions) provide an analytic framework for quantifying geometry near both the exceptional divisor and infinity.

2. Scalar-flat Kähler Metrics and the ADM Mass

The scalar-flat requirement imposes the nonlinear partial differential equation $S(\omega) = 0$, with scalar curvature given locally by

$s(\omega) = g^{j\bar k} R_{j\bar k}$

where $R_{j\bar k}$ is the Ricci curvature tensor (Han et al., 2019). On ALE spaces, the ADM mass is a geometric invariant extracted via a flux integral at infinity:

$$m(X,g) = \lim_{R\to\infty}\,\frac{1}{4(m-1)(2m-1)\,\mathrm{Vol}(S^{2m-1})}\int_{|x|=R}\left(h_{kl,k}-h_{kk,l}\right) n^l d\sigma_0,$$

where $h = g - g_{\mathrm{Euc}}$ (Arezzo et al., 2021). Specifically for scalar-flat Kähler ALE metrics, Hein–LeBrun’s formula establishes that the ADM mass coincides with the coefficient $e$ in the asymptotic expansion of a local Kähler potential at infinity:

• If $m > 2$:

$$\omega = i\partial\bar\partial\left(\frac{1}{2}|x|^2 + e|x|^{2-2m} + O(|x|^{1-2m})\right)$$

• If $m=2$:

$$\omega = i\partial\bar\partial\left(\frac{1}{2}|x|^2 + e\log|x| + O(|x|^{-1})\right)$$

with

$$m(X,g) = e = \frac{c_1(X)\cdot [\omega]^{m-1}}{(2m-1) \pi^{m-1}}$$

(Arezzo et al., 2021).

3. Constructions: Blowup, Gluing, and Explicit Models

Scalar-flat Kähler ALE surfaces are generated via analytic gluing techniques—particularly blowup operations—building new metrics from existing ones and controlling the ADM mass increment at each stage (Arezzo et al., 2021). The process involves:

• Selecting $k$ points $p_i$ in a base scalar-flat ALE manifold $(X,\omega)$,
• Employing normal holomorphic coordinates $(z^1,\dots,z^m)$ at each $p_i$,
• Gluing in scaled Burns–Simanca metrics $\omega_{BS}$ via cutoff functions and rescaling over annuli around $p_i$,
• Solving $$S(\omega_\varepsilon + i\partial\bar\partial u) = 0$$ for a correction $u$ in weighted Hölder spaces $C^{4,\alpha}_{\delta, \delta_\infty}$, with invertibility of the scalar curvature's linearization $L_{\omega_\varepsilon}$.

The mass increment at each blowup at scale $\varepsilon$ is

$$\Delta m = (m-1) \varepsilon^{2m-2}/\left((2m-1)\pi^{m-1}\right)$$

yielding arbitrarily large ADM mass via iteration (Arezzo et al., 2021). Zero-mass scalar-flat but non–Ricci-flat metrics are similarly constructed by carefully balancing increments against initial negative mass.

Local explicit models include Burns–Simanca on the blowup $\operatorname{Bl}_0 \mathbb{C}^m$ and the LeBrun negative-mass metrics on $\mathcal{O}(-n)\rightarrow \mathbb{C}\mathbb{P}^1$ (Cristofori et al., 2023, Arezzo et al., 2021).

4. Moduli Theory, Deformation, and Classification

A complete deformation theory for scalar-flat Kähler ALE surfaces is established by adapting Kuranishi's classical approaches to the noncompact setting, employing decaying harmonic $(0,1)$-forms valued in the holomorphic tangent bundle, and encoding deformations in finite-dimensional spaces $H_{-3}(X,\Lambda^{0,1}\otimes \Theta_X)$ (Han et al., 2018, Han et al., 2016). Weighted space technology, coupled with index theory, gives explicit dimension formulas for the local moduli space, governed by invariants of the resolution tree of rational curves:

$$j_\Gamma = 2\sum_{i=1}^{k_\Gamma}(e_i-1),\quad d_\Gamma = j_\Gamma + k_\Gamma$$

where $k_\Gamma$ is the number of rational curves $E_i$ in the exceptional divisor of the minimal resolution, $e_i = -E_i\cdot E_i$ (Han et al., 2018).

For minimal resolutions $X$ of $\mathbb{C}^2/\Gamma$:

• The moduli's dimension is $$\dim_{\mathbb{R}} = j_\Gamma + k_\Gamma - \dim(\mathfrak{G})$$, after quotient by the holomorphic isometry group.
• In cyclic cases $\Gamma = \frac{1}{p}(1,q)$, the dimension and isometry subgroup structure are computed via continued fraction expansions.
• For non-cyclic groups, moduli dimensions are determined according to the intersection graph and group at infinity (Han et al., 2018, Han et al., 2016, Lock et al., 2014).

The universality (versal property) is ensured: any sufficiently small deformation (modulo "small" diffeomorphisms) arises in this family. Further, compactness and existence theorems guarantee solution stability under limits in the Kähler cone (Han et al., 2019).

5. Toric and Symmetry-Based Constructions

Toric scalar-flat Kähler geometry offers explicit, globally parameterized metric families in action–angle variables over Delzant polytopes. In complex dimension two, symplectic potentials $u(x)$ with prescribed boundary behavior (Guillemin condition)

$$u(x) = \frac{1}{2}\sum_{i}\ell_i(x)\log\ell_i(x) + \mathrm{smooth}$$

yield scalar-flat metrics via Abreu's formula

$s = -\sum_{i,j}\partial_{x_i x_j}^2 u^{ij}(x)$

with $u^{ij}$ invertible (Sena-Dias, 2019, Feng, 2024). Donaldson–Joyce's analytic ansatz translates the scalar-flat condition into the requirement that certain axisymmetric harmonic functions $\xi$ on $\mathbb{R}^2_+$ satisfy

$\xi_{HH} + \xi_{rr} + \frac{1}{r}\xi_r = 0$

(Feng, 2024, Apostolov et al., 2015).

Classification results assert that strictly unbounded toric surfaces have only two complete scalar-flat families:

• The unique ALE Calderbank–Singer metric (parameter $v=0$),
• The Donaldson generalized Taub–NUT family (parameter $v\neq 0$) (Sena-Dias, 2019, Feng, 2024).

High-symmetry approaches such as the LeBrun ansatz (one continuous symmetry) and Gibbons–Hawking multi–center construction (ALE gravitational instantons) reveal topology and global geometric constraints—determining, for various ends, possible Thurston geometries and mass properties (Weber, 2023).

6. Applications and Examples

Explicit metric families encompass:

• Negative–mass LeBrun metrics on $\mathcal{O}(-n)\to\mathbb{C}\mathbb{P}^1$ (Arezzo et al., 2021, Cristofori et al., 2023),
• Burns–Simanca metric on the blowup $\operatorname{Bl}_0\mathbb{C}^2$ (uniquely characterized as projectively induced, with vanishing second $\epsilon$-coefficient) (Cristofori et al., 2023),
• Calderbank–Singer scalar-flat toric ALE metrics for cyclic quotients,
• Toric scalar-flat Kähler metrics with mixed-type ends or conical singularities (classified over Delzant polytopes with non-parallel unbounded edges) (Feng, 2024).

Extremal metrics on complex analytic compactifications and weighted projective spaces are constructed via gluing with these ALE blocks, leveraging the explicit toric potentials and classified symmetries (Apostolov et al., 2015, Lock et al., 2014).

7. Summary and Mathematical Significance

Kähler scalar-flat surfaces—particularly the ALE type—provide canonical resolutions of singularities, exhibit rich deformation and moduli theory intimately linked to group-theoretic invariants, and supply explicit geometric models for gravitational instantons, extremal metrics, and complex surface theory. Analytic gluing, symmetry reduction, and toric methods yield a comprehensive classification and parameterization of these metrics, while ADM mass calculations establish a bridge between the geometry at infinity and intrinsic curvature properties (Arezzo et al., 2021, Han et al., 2018, Han et al., 2019, Sena-Dias, 2019, Apostolov et al., 2015). Ongoing research continues to untangle the interplay between symmetry, deformation, and global geometry in this central domain of Kähler geometry.