-
Hyper-Kähler manifolds from Riemann-Hilbert problems I: Ooguri-Vafa-like model geometries
Authors:
Laura Fredrickson,
Max Zimet
Abstract:
We construct model hyper-Kähler geometries that include and generalize the multi-Ooguri-Vafa model using the formalism of Gaitto, Moore, and Neitzke.
This is the first paper in a series of papers making rigorous Gaiotto--Moore--Neitzke's formalism for constructing hyper-Kähler metrics near semi-flat limits. In that context, this paper describes the assumptions we will make on a sequence of latti…
▽ More
We construct model hyper-Kähler geometries that include and generalize the multi-Ooguri-Vafa model using the formalism of Gaitto, Moore, and Neitzke.
This is the first paper in a series of papers making rigorous Gaiotto--Moore--Neitzke's formalism for constructing hyper-Kähler metrics near semi-flat limits. In that context, this paper describes the assumptions we will make on a sequence of lattices $0 \to Γ_{f} \to \widehatΓ \to Γ\to 0$ over a complex manifold $\mathcal{B}'=\mathcal{B} - \mathcal{B}''$ near the singular locus, $\mathcal{B}''$, in order to define a smooth manifold $\mathcal{M} \to \mathcal{B}$ and hyper-Kähler model geometries on neighborhoods of points of the singular locus. In follow-up papers, we will use a modified version of Gaiotto-Moore-Neitzke's iteration scheme starting at these model geometries to produce true global hyper-Kähler metrics on $\mathcal{M}$.
△ Less
Submitted 3 January, 2025;
originally announced January 2025.
-
A Concrete Variant of the Twistor Theorem
Authors:
Laura Fredrickson,
Max Zimet
Abstract:
In this note, we prove a concrete variant of the twistor theorem of Hitchin--Karlhede--Lindström--Roček which applies when one already has the real manifold on which one wishes to construct a hyper-Kähler structure, and so one does not need to construct it as a parameter space of twistor lines.
In this note, we prove a concrete variant of the twistor theorem of Hitchin--Karlhede--Lindström--Roček which applies when one already has the real manifold on which one wishes to construct a hyper-Kähler structure, and so one does not need to construct it as a parameter space of twistor lines.
△ Less
Submitted 31 December, 2024;
originally announced January 2025.
-
Orbifold resolution via hyperkahler quotients: the $D_2$ ALF manifold
Authors:
Arnav Tripathy,
Max Zimet
Abstract:
We propose an infinite-dimensional generalization of Kronheimer's construction of families of hyperkahler manifolds resolving flat orbifold quotients of $\mathbb{R}^4$. As in [Kro89], these manifolds are constructed as hyperkahler quotients of affine spaces. This leads to a study of \emph{singular equivariant instantons} in various dimensions. In this paper, we study singular equivariant Nahm data…
▽ More
We propose an infinite-dimensional generalization of Kronheimer's construction of families of hyperkahler manifolds resolving flat orbifold quotients of $\mathbb{R}^4$. As in [Kro89], these manifolds are constructed as hyperkahler quotients of affine spaces. This leads to a study of \emph{singular equivariant instantons} in various dimensions. In this paper, we study singular equivariant Nahm data to produce the family of $D_2$ asymptotically locally flat (ALF) manifolds as a deformation of the flat orbifold $(\mathbb{R}^3 \times S^1)/Z_2$. We furthermore introduce a notion of stability for Nahm data and prove a Donaldson-Uhlenbeck-Yau type theorem to relate real and complex formulations. We use these results to construct a canonical Ehresmann connection on the family of non-singular $D_2$ ALF manifolds. In the complex formulation, we exhibit explicit relationships between these $D_2$ ALF manifolds and corresponding $A_1$ ALE manifolds. We conjecture analogous constructions and results for general orbifold quotients of $\mathbb{R}^{4-r} \times T^r$ with $2 \le r \le 4$. The case $r = 4$ produces K3 manifolds as hyperkahler quotients.
△ Less
Submitted 10 April, 2022; v1 submitted 25 March, 2022;
originally announced March 2022.
-
A plethora of K3 metrics
Authors:
Arnav Tripathy,
Max Zimet
Abstract:
We extend our recent study of K3 metrics near the $T^4/Z_2$ orbifold locus to the other torus orbifold loci. In particular, we provide several new constructions of K3 surfaces as hyper-Kähler quotients, which yield new formulae for K3 metrics. We then relate these to the construction of arXiv:1810.10540. As a corollary, we derive infinitely many constraints on the (as yet unknown) BPS spectra of t…
▽ More
We extend our recent study of K3 metrics near the $T^4/Z_2$ orbifold locus to the other torus orbifold loci. In particular, we provide several new constructions of K3 surfaces as hyper-Kähler quotients, which yield new formulae for K3 metrics. We then relate these to the construction of arXiv:1810.10540. As a corollary, we derive infinitely many constraints on the (as yet unknown) BPS spectra of the Minahan-Nemeschansky SCFTs with $E_n$ global symmetry. Specifically, we find linear combinations of $E_n$ characters (evaluated at different points) hiding within K3 metrics and we compute their second order Taylor expansions. We also find novel strong relationships between the BPS spectra of these SCFTs, as well as with that of the $SU(2)$ $N_f = 4$ SCFT. Finally, we provide a new derivation of the class S constructions of these SCFTs and state some experimental observations regarding their BPS spectra.
△ Less
Submitted 23 October, 2020;
originally announced October 2020.
-
K3 metrics
Authors:
Shamit Kachru,
Arnav Tripathy,
Max Zimet
Abstract:
We provide an explicit construction of Ricci-flat K3 metrics. It employs the technology of D-geometry, which in the case of interest is equivalent to a hyper-Kähler quotient. We relate it to the construction of arXiv:1810.10540, and in particular show that it contains the solution to the BPS state counting problem (that of computing the BPS index of a heterotic little string theory compactified on…
▽ More
We provide an explicit construction of Ricci-flat K3 metrics. It employs the technology of D-geometry, which in the case of interest is equivalent to a hyper-Kähler quotient. We relate it to the construction of arXiv:1810.10540, and in particular show that it contains the solution to the BPS state counting problem (that of computing the BPS index of a heterotic little string theory compactified on $T^2$) discussed therein, which is the data needed for this second construction of K3 metrics.
△ Less
Submitted 5 October, 2020; v1 submitted 3 June, 2020;
originally announced June 2020.
-
Semiclassical Entropy of BPS States in 4d $\mathcal{N}=2$ Theories and Counts of Geodesics
Authors:
Shamit Kachru,
Richard Nally,
Arnav Tripathy,
Max Zimet
Abstract:
We relate a number of results in the theory of flat surfaces to BPS spectra of a class of 4d $\mathcal{N}=2$ supersymmetric quantum field theories arising from M5 branes wrapped on Riemann surfaces -- $A_1$ class S theories. In particular, we apply classic results of Eskin and Masur, which determine the asymptotic growth of geodesic counts at large length on flat surfaces, as well as more recent p…
▽ More
We relate a number of results in the theory of flat surfaces to BPS spectra of a class of 4d $\mathcal{N}=2$ supersymmetric quantum field theories arising from M5 branes wrapped on Riemann surfaces -- $A_1$ class S theories. In particular, we apply classic results of Eskin and Masur, which determine the asymptotic growth of geodesic counts at large length on flat surfaces, as well as more recent progress in the mathematics literature, to determine the large mass asymptotics of the BPS spectra of a wide class of such theories at generic points in the Coulomb branch.
△ Less
Submitted 24 December, 2019; v1 submitted 27 June, 2019;
originally announced June 2019.
-
K3 metrics from little string theory
Authors:
Shamit Kachru,
Arnav Tripathy,
Max Zimet
Abstract:
Certain six-dimensional (1,0) supersymmetric little string theories, when compactified on $T^3$, have moduli spaces of vacua given by smooth K3 surfaces. Using ideas of Gaiotto-Moore-Neitzke, we show that this provides a systematic procedure for determining the Ricci-flat metric on a smooth K3 surface in terms of BPS degeneracies of (compactified) little string theories.
Certain six-dimensional (1,0) supersymmetric little string theories, when compactified on $T^3$, have moduli spaces of vacua given by smooth K3 surfaces. Using ideas of Gaiotto-Moore-Neitzke, we show that this provides a systematic procedure for determining the Ricci-flat metric on a smooth K3 surface in terms of BPS degeneracies of (compactified) little string theories.
△ Less
Submitted 10 October, 2020; v1 submitted 24 October, 2018;
originally announced October 2018.
-
K3 String Theory, Lattices and Moonshine
Authors:
Miranda C. N. Cheng,
Sarah M. Harrison,
Roberto Volpato,
Max Zimet
Abstract:
In this paper we address the following two closely related questions. First, we complete the classification of finite symmetry groups of type IIA string theory on $K3\times \mathbb R^6$, where Niemeier lattices play an important role. This extends earlier results by including points in the moduli space with enhanced gauge symmetries in spacetime, or, equivalently, where the world-sheet CFT becomes…
▽ More
In this paper we address the following two closely related questions. First, we complete the classification of finite symmetry groups of type IIA string theory on $K3\times \mathbb R^6$, where Niemeier lattices play an important role. This extends earlier results by including points in the moduli space with enhanced gauge symmetries in spacetime, or, equivalently, where the world-sheet CFT becomes singular. After classifying the symmetries as abstract groups, we study how they act on the BPS states of the theory. In particular, we classify the conjugacy classes in the T-duality group $O^+(Γ^{4,20})$ which represent physically distinct symmetries. Subsequently, we make two conjectures regarding the connection between the corresponding twining genera of $K3$ CFTs and Conway and umbral moonshine, building upon earlier work on the relation between moonshine and the $K3$ elliptic genus.
△ Less
Submitted 18 July, 2017; v1 submitted 13 December, 2016;
originally announced December 2016.
