HyperKähler Triples in Geometry

• HyperKähler triples are defined as an ordered set of three closed symplectic 2-forms that satisfy quaternionic algebraic relations and reconstruct a Ricci-flat Kähler metric.
• They underpin the analysis of moduli spaces through gauge theory, where deformations are modeled by harmonic anti-self-dual forms and extend via negative-frequency boundary data.
• These structures also bridge algebraic and generalized complex geometry, appearing in constructions like SU(2)-invariant gravitational instantons and twistor families.

A hyperkähler triple encodes the geometric data of a hyperkähler structure on a manifold through a system of three symplectic 2-forms satisfying closedness and quaternionic algebraic identities. This analytic viewpoint yields rich connections with moduli theory, elliptic boundary-value problems, and special holonomy. Hyperkähler triples also arise naturally in algebraic and generalized complex geometry, where related constructs—such as “triangles” in moduli of subvarieties or S²-families of compatible complex and generalized complex structures—are deeply intertwined with the geometric and cohomological underpinnings of hyperkähler manifolds.

1. Definition and Data of Hyperkähler Triples

Let $X$ be a smooth, oriented 4-manifold, possibly with boundary. A hyperkähler triple is an ordered triple of 2-forms

$$\omega = (\omega_1, \omega_2, \omega_3) \in \Omega^2(X) \otimes \mathbb{R}^3$$

subject to:

• Closedness: Each $\omega_i$ is closed ($d\omega_i = 0$, $i=1,2,3$), making each symplectic.
• Quaternionic Relations and Volume Normalization: There exists a nowhere-vanishing 4-form $\mu$ on $X$ satisfying, for all $i, j$,

$$\omega_i \wedge \omega_j = 2 \delta_{ij} \mu, \qquad \mu = \frac{1}{6} \sum_{k=1}^3 \omega_k \wedge \omega_k.$$

The symmetric matrix

$$Q_{ij}(\omega) = \frac{\omega_i \wedge \omega_j}{\mu} - \delta_{ij}$$

must vanish identically.

These relations are the differential form analogue of the quaternionic algebra: the triple of almost complex structures $$\omega = (\omega_1, \omega_2, \omega_3) \in \Omega^2(X) \otimes \mathbb{R}^3$$0 determined by $$\omega = (\omega_1, \omega_2, \omega_3) \in \Omega^2(X) \otimes \mathbb{R}^3$$1 satisfies

$$\omega = (\omega_1, \omega_2, \omega_3) \in \Omega^2(X) \otimes \mathbb{R}^3$$2

From $$\omega = (\omega_1, \omega_2, \omega_3) \in \Omega^2(X) \otimes \mathbb{R}^3$$3, the metric $$\omega = (\omega_1, \omega_2, \omega_3) \in \Omega^2(X) \otimes \mathbb{R}^3$$4 is reconstructed by declaring the conformal class determined by the wedge pairing on the span of $$\omega = (\omega_1, \omega_2, \omega_3) \in \Omega^2(X) \otimes \mathbb{R}^3$$5 and fixing the volume form to be $$\omega = (\omega_1, \omega_2, \omega_3) \in \Omega^2(X) \otimes \mathbb{R}^3$$6. The resulting metric is Kähler with respect to each $$\omega = (\omega_1, \omega_2, \omega_3) \in \Omega^2(X) \otimes \mathbb{R}^3$$7 and Ricci-flat, hence hyperkähler (Fine et al., 2016).

2. Moduli and Gauge Theory of Hyperkähler Triples

On a compact 4-manifold $$\omega = (\omega_1, \omega_2, \omega_3) \in \Omega^2(X) \otimes \mathbb{R}^3$$8 with boundary $$\omega = (\omega_1, \omega_2, \omega_3) \in \Omega^2(X) \otimes \mathbb{R}^3$$9, consider:

$\omega_i$0

$\omega_i$1

and the group of boundary-fixed diffeomorphisms,

$\omega_i$2

The moduli space is the quotient

$\omega_i$3

Fine–Lotay–Singer established that $\omega_i$4 is a smooth, infinite-dimensional Fréchet manifold, locally modeled on Banach slices via gauge fixing (using the formal adjoint $\omega_i$5 of the infinitesimal diffeomorphism action on triples). This relies on ellipticity properties of a nonlinear map mixing first- and second-order terms, whose linearization at a triple gives a surjective operator modeling the tangent space (Fine et al., 2016).

3. Tangent Space: Closed Anti-Self-Dual Triples

Linearizing the algebraic and closedness conditions around a hyperkähler triple, the tangent space at a point $\omega_i$6 is identified as a subspace of $\omega_i$7: $\omega_i$8 Thus, deformations are represented by triples of closed, anti-self-dual (ASD) 2-forms, which are precisely the harmonic ASD forms with values in the relevant bundle. These infinite-dimensional directions parametrize nontrivial deformations of the hyperkähler structure on $\omega_i$9 (Fine et al., 2016).

4. Boundary Value Problems and Extension Criteria

Restricting a hyperkähler triple to the boundary $d\omega_i = 0$0 yields a closed framing,

$d\omega_i = 0$1

satisfying

$d\omega_i = 0$2

A central question is: which infinitesimal deformations of this framing can be filled by deformations of hyperkähler triples in the interior?

The answer is governed by a Dirac-type operator on $d\omega_i = 0$3,

$d\omega_i = 0$4

and spectral theory: only “negative-frequency” boundary data—those with Fourier modes from the negative spectrum of $d\omega_i = 0$5—can be extended by closed ASD triples in $d\omega_i = 0$6, provided the mean curvature of $d\omega_i = 0$7 is positive. The dimension of the space of boundary zero-modes that can be extended is given by

$d\omega_i = 0$8

After gauge fixing, one obtains

$d\omega_i = 0$9

where $i=1,2,3$0 parametrizes metrics inducing positive boundary mean curvature (Fine et al., 2016).

5. Explicit Examples: SU(2)-Invariant Gravitational Instantons

A significant class of hyperkähler triples arises from gravitational instantons with isometric SU(2) actions. These yield two main families:

• Triples fixed by SU(2) employ an SU(2)-left-invariant coframe $i=1,2,3$1 on $i=1,2,3$2 and 2-forms

$i=1,2,3$3

where the functions $i=1,2,3$4 solve the Lagrange–Euler system, characterizing the Eguchi–Hanson and flat $i=1,2,3$5 cases.

• Triples rotated by SU(2) use the conjugation action, leading to ODEs whose solutions include Taub–NUT (with nontrivial mass parameter) and Atiyah–Hitchin metrics.

Boundary analysis distinguishes between positive-frequency deformations (arising, e.g., from Eguchi–Hanson, which do not extend) and negative-frequency deformations (e.g., from Taub–NUT, which do extend), demonstrating the necessity of the negative-frequency criterion for boundary extension of hyperkähler triples (Fine et al., 2016).

6. Hyperkähler Triples in Algebraic and Generalized Complex Geometry

In algebraic geometry, constructs analogous to hyperkähler triples appear in the study of the Debarre–Voisin fourfold, an irreducible hyperkähler manifold constructed via special sections of the Grassmannian $i=1,2,3$6 cut by a 3-form. Here, the “triangle” is a triple $i=1,2,3$7 of 6-planes in $i=1,2,3$8 constructed from three pairwise transverse 3-planes $i=1,2,3$9, obeying an incidence condition: $\mu$0 The 6-dimensional moduli of such triangles forms a Lagrangian subvariety with respect to the holomorphic 2-form in $\mu$1, analogous to the classical case of intersecting lines in the cubic fourfold Fano variety (Bazhov, 2018).

In generalized complex geometry, the S²-family of compatible complex structures associated to a hyperkähler structure arises as

$\mu$2

and holomorphic symplectic forms

$\mu$3

parametrize a “twistor” family. This construction extends to a S²×S²-family of generalized complex structures $\mu$4, assembled into an integrable generalized complex structure $\mu$5 on $\mu$6, where $\mu$7 is hyperkähler. The geometric structure of $\mu$8 encodes all hyperkähler data and exhibits loci of type-jumping between complex and symplectic types (Glover et al., 2013).

7. Structural Summary

The following table contrasts the main algebraic and geometric roles of hyperkähler triples, triangles, and twistor spaces:

Structure	Core Data	Geometric Significance
Hyperkähler triple on $\mu$9	Triple of closed 2-forms with quaternionic relations	Encodes Ricci-flat metric with SU(2)-holonomy
“Triangle” in $X$0	Triple of 6-planes parametrized by transverse 3-planes	Lagrangian subvariety, cycle-constant property
Twistor/generalized space	S²/S²×S²-family of complex/gen. complex structures	Packages all hyperkähler data; fibration and type-jumping

These various formulations illustrate the centrality of the hyperkähler triple not only as a basic element of special holonomy geometry, but also as a structuring concept in a broad range of geometric and cohomological settings (Fine et al., 2016, Glover et al., 2013, Bazhov, 2018).