Related papers: M-theory/type IIA duality and K3 in the Gibbons-Ha…
Heterotic string compactifications on a $K3$ surface $\mathfrak{S}$ depend on a choice of hyperk\"ahler metric, anti-self-dual gauge connection and Kalb-Ramond flux, parametrized by hypermultiplet scalars. The metric on hypermultiplet…
We revisit the duality between heterotic string theory compactified on K3 x T^2 and type IIA compactified on a Calabi-Yau threefold X in the hypermultiplet sector. We derive an explicit map between the field variables of the respective…
We discuss two-dimensional sigma models on moduli spaces of instantons on K3 surfaces. These N=(4,4) superconformal field theories describe the near-horizon dynamics of the D1-D5-brane system and are dual to string theory on AdS_3. We…
The primary purpose of these lecture notes is to explore the moduli space of type IIA, type IIB, and heterotic string compactified on a K3 surface. The main tool which is invoked is that of string duality. K3 surfaces provide a fascinating…
We consider compactifications of type IIA superstring theory on mirror-folds obtained as K3 fibrations over two-tori with non-geometric monodromies involving mirror symmetries. At special points in the moduli space these are asymmetric…
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…
The nature of M-theory on K3 X I, where I is a line interval, is considered, with a view towards formulating a `matrix theory' representation of that situation. Various limits of this compactification of M-theory yield a number of well…
We attempt to find a rigorous formulation for the massive type IIA orientifold compactifications of string theory introduced in hep-th/0505160. An approximate double T-duality converts this background into IIA string theory on a twisted…
We prove a conjecture of Odaka--Oshima, which says that there is an algebraic description of the Gromov--Hausdorff compactification of all unit-diameter hyperk\"ahler metrics on K3 surfaces. As a corollary, we obtain a classification of the…
A number theoretic approach to string compactification is developed for Calabi-Yau hypersurfaces in arbitrary dimensions. The motivic strategy involved is illustrated by showing that the Hecke eigenforms derived from Galois group orbits of…
We consider the compactification of type IIB superstring theory on K3 $\times$ K3. We obtain the massless spectrum of the resulting two dimensional theory and show that the model is free of gravitational anomaly. We then consider an…
I discuss some aspects of the moduli space of hyper-K{\"a}hler four-fold compactifications of type II and ${\cal M}$- theories. The dimension of the moduli space of these theories is strictly bounded from above. As an example I study…
We present a first-principles derivation of the K\"ahler metric for axion-like moduli of conformally Calabi-Yau compactifications of IIB string theory with imaginary self-dual 3-form flux at the classical level. We find that the warp factor…
We analyze the map between heterotic and type II N=2 supersymmetric string theories for certain two and three moduli examples found by Kachru and Vafa. The appearance of elliptic j-functions can be traced back to specializations of the…
We consider deformations of torsion-free G2 structures, defined by the G2-invariant 3-form $\phi$ and compute the expansion of the Hodge star of $\phi$ to fourth order in the deformations of $\phi$. By considering M-theory compactified on a…
We construct non-geometric compactifications by using the F-theory dual of the heterotic string compactified on a two-torus, together with a close connection between Siegel modular forms of genus two and the equations of certain K3…
We study string theory propagating on R^6 times K3 by constructing orientifolds of Type IIB string theory compactified on the T^4/Z_N orbifold limits of the K3 surface. This generalises the Z_2 case studied previously. The orientifold…
We demonstrate that M-theory compactifications on 7-manifolds of G_2 holonomy, which yield 4d N=1 supersymmetric systems, often admit at special loci in their moduli space a description as type IIA orientifolds. In this way, we are able to…
We test the refined distance conjecture in the vector multiplet moduli space of 4D $\mathcal{N}=2$ compactifications of the type IIA string that admit a dual heterotic description. In the weakly coupled regime of the heterotic string, the…
We analyze $M$-theory compactified on $(K3\times S^1)/Z_2$ where the $Z_2$ changes the sign of the three form gauge field, acts on $S^1$ as a parity transformation and on K3 as an involution with eight fixed points preserving SU(2)…