ScalingStacks

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 33–manifold instead of a 33–torus. There are 66 of these: in the notation of [41, §3.5] they are 𝒢1=T3\mathcal{G}_{1}=T^{3}, 𝒢i=T3/ℤi\mathcal{G}_{i}=T^{3}/\mathbb{Z}_{i} for i=2,3,4i=2,3,4, 𝒢5=T3/ℤ6\mathcal{G}_{5}=T^{3}/\mathbb{Z}_{6} and 𝒢6=T3/(ℤ2×ℤ2)\mathcal{G}_{6}=T^{3}/(\mathbb{Z}_{2}\times\mathbb{Z}_{2}). Only 𝒢1\mathcal{G}_{1} has b1=3b_{1}=3, b1​(𝒢i)=1b_{1}(\mathcal{G}_{i})=1 in all other cases except for 𝒢6\mathcal{G}_{6} which has purely torsion first homology [29, Equation (2.5)]. By working on the 33–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 33–manifold MM which are hyperkähler only when M=T3M=T^{3}, Kähler if M=𝒢iM=\mathcal{G}_{i} for i=2,3,4,5i=2,3,4,5 and have generic holonomy when M=𝒢6M=\mathcal{G}_{6}. Moreover, Luft–Sjerve [29, Theorem 1.1] have shown that only 𝒢1,𝒢2\mathcal{G}_{1},\mathcal{G}_{2} and 𝒢6\mathcal{G}_{6} admit an involution with finitely many fixed points (88, 44 and 22 of them, respectively). Hence only in these 33 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 44–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 𝒢2/ℤ2\mathcal{G}_{2}/\mathbb{Z}_{2} and 𝒢6/ℤ2\mathcal{G}_{6}/\mathbb{Z}_{2}, respectively, and ALF gravitational instantons appear as “bubbles”.

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