Proof. [02HJ]
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.
Decompose into the union of a piece , an ALF space for each and a ALF space for each . These pieces are identified along their common boundaries, which are homology spheres. Since all components have vanishing first Betti number, the reduced Mayer–Vietoris sequence yields . The Euler characteristic is also easily calculated:
by the balancing condition (4.1).
It remains to calculate the signature . Below we will construct a definite triple on which is close to define a hyperkähler structure. By changing basis of one can always deform this triple to a genuine –structure (without requiring any differential constraint). In particular, can be endowed with an almost complex structure with . Since , Hirzebruch’s Signature Theorem and the equality of characteristic classes yield . ∎