ScalingStacks

Remark . [02H1]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Remark.

The fact that the double cover of the Atiyah–Hitchin manifold admits a 33–parameter family of D1D_{1} ALF deformations can also be shown using methods similar to the ones developed in this paper. Indeed, it is known [24, §5.4] that the rotationally invariant D1D_{1} ALF metric admits a unique L2L^{2}–integrable (in fact, exponentially decaying) anti-self-dual harmonic form η\eta. This form yields a 33–dimensional space of infinitesimal hyperkähler deformations and an extension of the analysis needed for the proof of Theorem 6.15 could be used to integrate these infinitesimal deformations to genuine D1D_{1} ALF metrics. In fact Dancer [14] has constructed a 33–parameter family of hyperkähler deformations of the rotationally invariant D1D_{1} ALF metric using Nahm’s equations and hyperkähler quotient techniques: there exists a hyperkähler 88–manifold 𝒩\mathcal{N} constructed as a moduli space of solutions to Nahm’s equations which admits a triholomorphic U⁡(1)U(1)–action. Denote by μ:𝒩→ℝ3\mu\colon\thinspace\mathcal{N}\rightarrow\mathbb{R}^{3} the corresponding hyperkähler moment map. Dancer identifies the rotationally symmetric D1D_{1} ALF metric with the hyperkähler quotient μ−1​(0)/U​(1)\mu^{-1}(0)/U(1). By varying the level set of the moment map he then obtains a 33–parameter family of hyperkähler deformations of the Atiyah–Hitchin metric. By a general formula for the infinitesimal deformation of the symplectic form of a symplectic quotient corresponding to varying the level set of the moment map [17], the infinitesimal deformations of the Atiyah–Hitchin metric corresponding to Dancer’s metrics coincide with those determined by the L2L^{2} harmonic form η\eta, which is interpreted in this context as the curvature of the natural hyperholomorphic connection on the U⁡(1)U(1)–bundle μ−1​(0)→μ−1​(0)/U⁡(1)\mu^{-1}(0)\rightarrow\mu^{-1}(0)/U(1) induced by the Levi–Civita connection of 𝒩\mathcal{N}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.