Eguchi–Hanson Space Overview

• Eguchi–Hanson space is the unique non-compact, complete 4-dimensional Ricci-flat hyperkähler ALE manifold that resolves the orbifold singularity of C²/ℤ₂ by replacing the singular point with a 2-sphere bolt.
• The metric is defined via a cohomogeneity-one ansatz with an explicit hyperkähler structure, achieving optimal order-4 decay and smoothly closing at the bolt in O(-2) over CP¹.
• Its applications span gluing constructions in K3 surfaces, Ricci flow singularity modeling, and providing rigorous examples in complex surface resolution and higher-dimensional analogs.

Eguchi–Hanson space is the unique, up to overall scale, non-compact, complete, $4$-dimensional, Ricci-flat, hyperkähler ALE gravitational instanton asymptotic to $\mathbb{R}^4/\mathbb{Z}_2$ of type $A_1$. Geometrically, it resolves the orbifold singularity of $\mathbb{C}^2/\mathbb{Z}_2$ by replacing the singular point with an exceptional $2$-sphere, the bolt, and it is diffeomorphic to $T^*S^2$, equivalently to the holomorphic line bundle $\mathcal{O}_{\mathbb{CP}^1}(-2)$ (Law, 25 Apr 2026).

1. Geometric definition, topology, and asymptotics

Topologically, Eguchi–Hanson space is the minimal smooth resolution of $\mathbb{C}^2/\mathbb{Z}_2$. The exceptional sphere has self-intersection $-2$, and in the standard normalization with parameter $a>0$ its area is

$\mathbb{R}^4/\mathbb{Z}_2$0

Its volume growth is Euclidean, $\mathbb{R}^4/\mathbb{Z}_2$1, and the asymptotic link is $\mathbb{R}^4/\mathbb{Z}_2$2 (Law, 25 Apr 2026).

An ALE space is a connected Riemannian orbifold $\mathbb{R}^4/\mathbb{Z}_2$3 for which, outside a compact set, there is a chart to $\mathbb{R}^4/\mathbb{Z}_2$4 with $\mathbb{R}^4/\mathbb{Z}_2$5 finite and acting freely on $\mathbb{R}^4/\mathbb{Z}_2$6, such that

$\mathbb{R}^4/\mathbb{Z}_2$7

for all $\mathbb{R}^4/\mathbb{Z}_2$8. For Eguchi–Hanson, $\mathbb{R}^4/\mathbb{Z}_2$9. A sharp decay theorem of Kröncke–Szabó, as adapted to orbifolds, implies that any Ricci-flat ALE space with nontrivial $A_1$0 has optimal order $A_1$1; hence in dimension $A_1$2,

$A_1$3

and Eguchi–Hanson attains this order-$A_1$4 decay (Law, 25 Apr 2026).

Within Kronheimer’s ADE classification of simply-connected hyperkähler ALE $A_1$5-manifolds with $A_1$6, Eguchi–Hanson is the unique $A_1$7 space. This places it simultaneously at the intersection of complex surface resolution theory, Ricci-flat Kähler geometry, and the structure theory of ALE gravitational instantons (Law, 25 Apr 2026).

2. Explicit metric and hyperkähler structure

In a cohomogeneity-one description, let $A_1$8 be the standard left-invariant $A_1$9-forms on $\mathbb{C}^2/\mathbb{Z}_2$0, normalized by

$\mathbb{C}^2/\mathbb{Z}_2$1

For $\mathbb{C}^2/\mathbb{Z}_2$2, $\mathbb{C}^2/\mathbb{Z}_2$3, the metric is

$\mathbb{C}^2/\mathbb{Z}_2$4

It is smooth and complete on the total space of $\mathbb{C}^2/\mathbb{Z}_2$5 after the circle in the $\mathbb{C}^2/\mathbb{Z}_2$6-direction collapses at $\mathbb{C}^2/\mathbb{Z}_2$7. The level sets $\mathbb{C}^2/\mathbb{Z}_2$8 are homogeneous $\mathbb{C}^2/\mathbb{Z}_2$9, and the collapsing orbit at $2$0 is the $2$1-sphere bolt (Law, 25 Apr 2026).

The metric is Kähler and indeed hyperkähler. It is the crepant resolution of $2$2, and one can exhibit a Kähler form $2$3 and a holomorphic symplectic form $2$4 coming from the hyperkähler triple. In complex coordinates adapted to the resolution, a Kähler potential is

$2$5

with $2$6. The metric is Ricci-flat, and its Weyl tensor is $2$7anti-$2$8self-dual depending on orientation (Law, 25 Apr 2026).

Equivalent formulas occur in other normalizations. In Hopf coordinates and SU(2)-invariant form, one finds

$2$9

and in complex coordinates $T^*S^2$0 the Kähler form can be written as

$T^*S^2$1

which is the same family in a different normalization (Ji et al., 2021).

3. Linear analysis and analytical rigidity

On a Ricci-flat manifold, the Lichnerowicz Laplacian on symmetric $T^*S^2$2-tensors is

$T^*S^2$3

or in components,

$T^*S^2$4

Modulo diffeomorphism gauge, $T^*S^2$5 is the linearization of the Ricci tensor, and its $T^*S^2$6-kernel describes normalizable infinitesimal Ricci-flat deformations (Law, 25 Apr 2026).

For Eguchi–Hanson,

$T^*S^2$7

One generator is the scaling direction, and two come from deformations of the hyperkähler complex structure. By contrast,

$T^*S^2$8

on the flat orbifold $T^*S^2$9 (Law, 25 Apr 2026).

A recent characterization theorem due to Law states: if $\mathcal{O}_{\mathbb{CP}^1}(-2)$0 is a complete Ricci-flat ALE orbifold with finitely many orbifold points, group at infinity $\mathcal{O}_{\mathbb{CP}^1}(-2)$1, and

$\mathcal{O}_{\mathbb{CP}^1}(-2)$2

then $\mathcal{O}_{\mathbb{CP}^1}(-2)$3 is isometric to either Eguchi–Hanson space or the flat orbifold $\mathcal{O}_{\mathbb{CP}^1}(-2)$4 (Law, 25 Apr 2026).

The proof combines several ingredients. First, sharp order-$\mathcal{O}_{\mathbb{CP}^1}(-2)$5 ALE asymptotics and a CMC foliation of the end produce leaves $\mathcal{O}_{\mathbb{CP}^1}(-2)$6 with mean curvature $\mathcal{O}_{\mathbb{CP}^1}(-2)$7. Second, Killing fields on the round limit $\mathcal{O}_{\mathbb{CP}^1}(-2)$8 are extended into the end and converted into $\mathcal{O}_{\mathbb{CP}^1}(-2)$9-harmonic Lie derivatives $\mathbb{C}^2/\mathbb{Z}_2$0; a small kernel forces some of these to vanish identically, producing global Killing fields. Third, a cohomogeneity analysis splits the argument. In the cohomogeneity-one case, Lock–Viaclovsky and Kronheimer imply the non-flat possibility is Eguchi–Hanson. In the cohomogeneity-$\mathbb{C}^2/\mathbb{Z}_2$1 case, the end reduces locally to an Euclidean Schwarzschild form

$\mathbb{C}^2/\mathbb{Z}_2$2

and the optimal ALE decay forces $\mathbb{C}^2/\mathbb{Z}_2$3, hence flatness. The resulting picture is a rigidity statement driven by linear analysis: a sufficiently small obstruction space forces large symmetry, and large symmetry forces the metric into the Eguchi–Hanson or flat model (Law, 25 Apr 2026).

4. Constructions and equivalent descriptions

Eguchi–Hanson space admits several equivalent constructions. In Calabi’s ansatz, it is the Ricci-flat Kähler metric on the canonical line bundle $\mathbb{C}^2/\mathbb{Z}_2$4, with the Eguchi–Hanson case corresponding to $\mathbb{C}^2/\mathbb{Z}_2$5. In rotationally symmetric coordinates on $\mathbb{C}^2/\mathbb{Z}_2$6, if $\mathbb{C}^2/\mathbb{Z}_2$7 then Ricci-flatness reduces to

$\mathbb{C}^2/\mathbb{Z}_2$8

and for $\mathbb{C}^2/\mathbb{Z}_2$9 this yields the Eguchi–Hanson metric on $-2$0 (Lye, 2022).

The same paper proves

$-2$1

so for $-2$2 one obtains a smooth resolution of $-2$3; in particular $-2$4 is the minimal resolution of $-2$5 (Lye, 2022). A complementary analytic viewpoint shows that Eguchi–Hanson is the Tian–Yau Ricci-flat Kähler metric on

$-2$6

where $-2$7 is the diagonal and

$-2$8

(Rasdeaconu et al., 2013).

There are also gauge-theoretic and twistor-theoretic descriptions. One recent account shows explicitly that Eguchi–Hanson is isometric to a suitable two-center Gibbons–Hawking ansatz, with harmonic function $-2$9 and parameter relation $a>0$0 (Shackleton, 3 May 2026). Another presents it as a hyperkähler quotient of $a>0$1, where the distinguished $a>0$2 connection arising from the quotient has $a>0$3-normalizable curvature equal to the unique $a>0$4 harmonic $a>0$5-form (Franchetti et al., 2023). An orbit-theoretic formulation identifies $a>0$6 with a complex adjoint orbit of $a>0$7 fibered over $a>0$8 with fibers diffeomorphic to $a>0$9, and shows that the complex structure induced on each $\mathbb{R}^4/\mathbb{Z}_2$00 fiber by the hyperkähler extension differs from the natural complex structure of the unit disc (Tumpach, 28 Apr 2025).

5. Spinors, Ricci flow, and gluing theory

Spinorially, Eguchi–Hanson has a $\mathbb{R}^4/\mathbb{Z}_2$01-complex-dimensional space of parallel spinors. In the frame used by Cai and Zhang, these are constant complex spinors with two independent components, reflecting the reduction of holonomy to $\mathbb{R}^4/\mathbb{Z}_2$02 (Cai et al., 2023). A different spin-$\mathbb{R}^4/\mathbb{Z}_2$03 treatment revisits the Dirac operator and shows that the untwisted Dirac operator has no $\mathbb{R}^4/\mathbb{Z}_2$04-normalizable zero modes, whereas twisting by a $\mathbb{R}^4/\mathbb{Z}_2$05 connection with $\mathbb{R}^4/\mathbb{Z}_2$06-normalizable curvature produces explicit zero modes; for integer flux $\mathbb{R}^4/\mathbb{Z}_2$07, the total number of zero modes is

$\mathbb{R}^4/\mathbb{Z}_2$08

(Franchetti et al., 2023).

Eguchi–Hanson also appears as a singularity model in Ricci flow. For a class of asymptotically cylindrical $\mathbb{R}^4/\mathbb{Z}_2$09-invariant initial metrics on $\mathbb{R}^4/\mathbb{Z}_2$10, a finite-time Type II singularity modeled on Eguchi–Hanson develops. In the $\mathbb{R}^4/\mathbb{Z}_2$11 case, the only blow-up limits are: the stationary Eguchi–Hanson space, the flat orbifold $\mathbb{R}^4/\mathbb{Z}_2$12, the $\mathbb{R}^4/\mathbb{Z}_2$13-dimensional Bryant steady soliton quotiented by $\mathbb{R}^4/\mathbb{Z}_2$14, and the shrinking cylinder $\mathbb{R}^4/\mathbb{Z}_2$15 (Appleton, 2019).

In gluing problems, Eguchi–Hanson is the local model replacing $\mathbb{R}^4/\mathbb{Z}_2$16 orbifold points. A recent construction of a Ricci-flat metric on the Kummer $\mathbb{R}^4/\mathbb{Z}_2$17 surface follows Donaldson’s gluing strategy and uses $\mathbb{R}^4/\mathbb{Z}_2$18 Eguchi–Hanson pieces to desingularize $\mathbb{R}^4/\mathbb{Z}_2$19. That work also compares the SU(2)-invariant, Kähler-potential, and Gibbons–Hawking descriptions of the space in detail (Shackleton, 3 May 2026). In compact $\mathbb{R}^4/\mathbb{Z}_2$20 geometry, families of Eguchi–Hanson spaces parameterized by a nonvanishing closed and coclosed $\mathbb{R}^4/\mathbb{Z}_2$21-form on an associative $\mathbb{R}^4/\mathbb{Z}_2$22-fold are glued into orbifold singularities of type $\mathbb{R}^4/\mathbb{Z}_2$23 to produce compact torsion-free $\mathbb{R}^4/\mathbb{Z}_2$24-manifolds (Joyce et al., 2017).

6. Higher-dimensional analogs and related geometries

Eguchi–Hanson is the $\mathbb{R}^4/\mathbb{Z}_2$25 member of Calabi’s higher-dimensional Ricci-flat Kähler ALE metrics on

$\mathbb{R}^4/\mathbb{Z}_2$26

In the Calabi ansatz, with Hopf fibration $\mathbb{R}^4/\mathbb{Z}_2$27, one writes

$\mathbb{R}^4/\mathbb{Z}_2$28

and the Kähler and Ricci-flat equations reduce to

$\mathbb{R}^4/\mathbb{Z}_2$29

The general solution is

$\mathbb{R}^4/\mathbb{Z}_2$30

For $\mathbb{R}^4/\mathbb{Z}_2$31, this closes smoothly at $\mathbb{R}^4/\mathbb{Z}_2$32; for $\mathbb{R}^4/\mathbb{Z}_2$33 it is precisely Eguchi–Hanson, while for $\mathbb{R}^4/\mathbb{Z}_2$34 it is not hyperkähler (Law, 25 Apr 2026).

Law proves a higher-dimensional analog of the $\mathbb{R}^4/\mathbb{Z}_2$35-dimensional rigidity theorem: if $\mathbb{R}^4/\mathbb{Z}_2$36 is a complete Ricci-flat Kähler ALE space with $\mathbb{R}^4/\mathbb{Z}_2$37, singular set of real codimension at least $\mathbb{R}^4/\mathbb{Z}_2$38, and

$\mathbb{R}^4/\mathbb{Z}_2$39

then $\mathbb{R}^4/\mathbb{Z}_2$40 is biholomorphically isometric to either Calabi’s metric on $\mathbb{R}^4/\mathbb{Z}_2$41 or the flat orbifold $\mathbb{R}^4/\mathbb{Z}_2$42. For $\mathbb{R}^4/\mathbb{Z}_2$43, Morteza–Viaclovsky showed that the Calabi spaces have

$\mathbb{R}^4/\mathbb{Z}_2$44

namely the scaling mode (Law, 25 Apr 2026).

Eguchi–Hanson also arises as a geometric limit. On Calabi–Hirzebruch manifolds $\mathbb{R}^4/\mathbb{Z}_2$45, a family of Kähler–Einstein edge metrics $\mathbb{R}^4/\mathbb{Z}_2$46 with cone angles along the zero and infinity sections converges, as $\mathbb{R}^4/\mathbb{Z}_2$47, to a pointed Gromov–Hausdorff limit on $\mathbb{R}^4/\mathbb{Z}_2$48 carrying the Ricci-flat metric $\mathbb{R}^4/\mathbb{Z}_2$49. In the special case $\mathbb{R}^4/\mathbb{Z}_2$50, this limit is exactly the Eguchi–Hanson metric with $\mathbb{R}^4/\mathbb{Z}_2$51 (Ji et al., 2021).

Several distinct Lorentzian or higher-curvature analogs inherit part of the Eguchi–Hanson pattern without reproducing the classical geometry. The Eguchi–Hanson–AdS$\mathbb{R}^4/\mathbb{Z}_2$52 family consists of static, geodesically complete, asymptotically locally AdS$\mathbb{R}^4/\mathbb{Z}_2$53 solitons with smooth $\mathbb{R}^4/\mathbb{Z}_2$54 bolt, boundary $\mathbb{R}^4/\mathbb{Z}_2$55, $\mathbb{R}^4/\mathbb{Z}_2$56, and negative mass

$\mathbb{R}^4/\mathbb{Z}_2$57

with the $\mathbb{R}^4/\mathbb{Z}_2$58-dimensional Eguchi–Hanson geometry appearing as the spatial section or as a formal $\mathbb{R}^4/\mathbb{Z}_2$59 limit (Durgut et al., 2022). In higher-curvature and $\mathbb{R}^4/\mathbb{Z}_2$60 gravity, one finds “Eguchi–Hanson-type” metrics built from circle fibrations over Kähler–Einstein bases or from deformed cohomogeneity-one ansätze; in these families the classical Ricci-flat, self-dual, hyperkähler structure is generally lost and is recovered only in the Einstein or GR limit (Corral et al., 2022, Hendi et al., 2012, Fenwick et al., 9 Sep 2025).

These developments suggest a precise distinction. The classical Eguchi–Hanson space is the rigid $\mathbb{R}^4/\mathbb{Z}_2$61 Ricci-flat hyperkähler ALE manifold; many later constructions retain its bolt structure, asymptotic quotient, or cohomogeneity-one form, but only the classical metric on $\mathbb{R}^4/\mathbb{Z}_2$62 carries the full package of properties summarized above.