On Classifying HyperKähler Kummer 8-Orbifolds
Daniel Andrew Baldwin, Bobby Samir Acharya
TL;DR
Acharya and Baldwin systematically classify eight-dimensional compact hyperKähler orbifolds of Kummer type by analyzing finite subgroups of the Weyl group $W(E_8)$ acting on the maximal torus $T^8$ that preserve a hyperKähler structure. They construct 139 model orbifolds $T^8/H'$, provide explicit matrix realizations, and determine, via a space-group analysis and symplectic-resolution criteria, that only one case (row 24) yields a crepant resolution yielding a manifold diffeomorphic to the known compact hyperKähler eight-manifolds, with all other cases containing non-resolvable singularities. The work demonstrates the limitations of this construction for producing new hyperKähler manifolds but delivers a comprehensive catalog of hyperKähler Kummer-type orbifolds and a method to assess resolvability, which can be extended to SU$(4)$ and Spin$(7)$ holonomies via Joyce’s perturbation techniques. The results have implications for the landscape of string/$M$-theory vacua and suggest directions for finding novel holonomy manifolds through controlled crepant resolutions.
Abstract
HyperKähler spaces, including manifolds, orbifolds and conical singularities play an important role in superstring/$M$-theory and gauge theories as well as in differential and algebraic geometry. In this paper we provide hundreds of new examples of compact hyperKähler orbifolds of Kummer type $T^8/G$, where $T^8$ is the maximal torus of the compact Lie group $E_8$ and $G$ a finite group of isometries whose holonomies form a subgroup of the Weyl group of $E_8$. We show that, out of all of these examples, the only orbifolds whose singularities have a known holomorphic symplectic resolution lead to manifolds diffeomorphic to the two currently known examples of compact hyperKähler 8-manifolds. We also demonstrate that these methods can, when combined with theorems of Joyce, be extended to construct potentially new manifolds of $\operatorname{SU}(4)$- and $\operatorname{Spin}(7)$- holonomy. All of these examples give rise to new vacua of string/$M$-theory in two/three dimensions.
