Proof. [02IC]
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
Proof.
In [30, Proposition 5.5] Micallef–Wolfson show that the double cover of the Atiyah–Hitchin manifold, the rotationally symmetric ALF space, contains a strictly stable minimal –sphere with . Since every holomorphic curve of genus in a hyperkähler –manifold must have by the adjunction formula, this minimal –sphere cannot be holomorphic with respect to any complex structure. One can also use the isometric action of on the Atiyah–Hitchin metric to prove this fact: the action preserves the metric but rotates the complex structures (equivalently, the hyperkähler triple) and the minimal –sphere is an –orbit. Hence the periods are forced to vanish.
Now, consider an approximate hyperkähler metric obtained in Section 5 by using the rotationally symmetric ALF space as one of the building blocks. Thus contains a strictly stable minimal sphere with .
Because of strict stability, has no Jacobi fields. Then we can invoke White’s Implicit Function Theorem for minimal immersions with respect to variations of the ambient metric [40, Theorem 2.1] to deform into a minimal immersion with respect to the hyperkähler metric produced by Theorem 6.15 starting from . As before, this minimal –sphere cannot be holomorphic with respect to any complex structure because of its self-intersection number. It is strictly stable by continuity of the spectrum of the Jacobi operator. ∎