Remark . [02GJ]
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.
One can also wonder what happens when we start from an arbitrary orientable flat –manifold instead of a –torus. There are of these: in the notation of [41, §3.5] they are , for , and . Only has , in all other cases except for which has purely torsion first homology [29, Equation (2.5)]. By working on the –torus equivariantly with respect to a finite group action, the Gibbons–Hawking construction then yields (incomplete) Ricci-flat metrics on circle bundles over a punctured flat –manifold which are hyperkähler only when , Kähler if for and have generic holonomy when . Moreover, Luft–Sjerve [29, Theorem 1.1] have shown that only and admit an involution with finitely many fixed points (, and of them, respectively). Hence only in these cases are we able to construct background Ricci-flat metrics that can be extended to complete metrics by gluing in copies of ALF spaces of cyclic and dihedral type. On the other hand, Hitchin [22, Theorem 1] showed that the only Ricci-flat –manifolds covered by the K3 surface are the Enriques surfaces (quotients of a K3 surface by an involution without fixed points) with their Kähler Ricci-flat metrics and the quotient of an Enriques surface by an anti-holomorphic involution without fixed points. Carrying out our gluing construction equivariantly with respect to a finite group action then allows us to produce collapsing sequences of Ricci-flat metrics on an Enriques surface (the metrics are Kähler in this case) and its quotient by an anti-holomorphic involution: the collapsed limit is and , respectively, and ALF gravitational instantons appear as “bubbles”.