Related papers: An M-Theory Perspective on Heterotic K3 Orbifold C…
We study new compactifications of the SO(32) heterotic string theory on compact complex non-Kahler manifolds. These manifolds have many interesting features like fewer moduli, torsional constraints, vanishing Euler character and vanishing…
In the quest for mathematical foundations of M-theory, the "Hypothesis H" that fluxes are quantized in Cohomotopy theory, implies, on flat but possibly singular spacetimes, that M-brane charges locally organize into equivariant homotopy…
We study orbifold group actions on locally defined fields upon M-theory branes in a three-form C-fields background. We derive some constraints from the consistency of the orbifold group actions. We show the possibility of the existence of…
We show that supersymmetric M-theory compactifications to three-dimensional Minkowski space-time preserving $\mathcal{N}=2$ supersymmetry allow for a class of internal manifolds more general than the Calabi-Yau one, namely the class of…
New heterotic torsional geometries are constructed as orbifolds of T^2 bundles over K3. The discrete symmetries considered can be freely-acting or have fixed points and/or fixed curves. We give explicit constructions when the base K3 is…
We study geometric engineering of four-dimensional N=1 gauge models from M-theory on a seven-dimensional manifold with G_2 holonomy. The manifold is constructed as a K3 fibration over a three-dimensional base space with ADE geometry. The…
We compactify $M$-theory on a Calabi-Yau manifold to five dimensions by wrapping the membrane and fivebrane solitons of the eleven-dimensional supergravity limit around Calabi-Yau two-cycles and four-cycles respectively. We identify the…
Motivated by the description of $\mathcal{N}=1$ M-theory compactifications to four-dimensions given by Exceptional Generalized Geometry, we propose a way to geometrize the M-theory fluxes by appropriately relating the compactification space…
We consider F-theory compactifications on a mirror pair of elliptic Calabi-Yau threefolds. This yields two different six-dimensional theories, each of them being nonperturbatively equivalent to some compactification of heterotic strings on…
We present M-theory compactifications on $K_3 \times K_3$ with membranes near the $A_n$ or $D_n$ singularities of the $K_3$ spaces. By realizing each of these compactifications in two different ways as type I' models with 2- and 6-branes,…
We present three lectures on heterotic M-theory and a fourth lecture extending this theory to more general orbifolds. In Lecture 1, Horava-Witten theory is briefly discussed. We then compactify this theory on Calabi-Yau threefolds, choosing…
Using M-theory compactification, we develop a three factor separation for the scalar submanifold of N=2 seven dimensional supergravity associated with 2-cycles of the K3 surface. Concretely, we give an interplay between the three scalar…
We study M and F theory compactifications on Calabi-Yau four-folds in the presence of non-trivial background flux. The geometry is warped and belongs to the class of p-brane metrics. We solve for the explicit warp factor in the orbifold…
We show how two topologically distinct spaces - the Kahler K3 x T^2 and the non-Kahler T^2 bundle over K3 - can be smoothly connected in heterotic string theory. The transition occurs when the base K3 is deformed to the T^4/Z_2 orbifold…
M-theory can be defined on closed manifolds as well as on manifolds with boundary. As an extension, we show that manifolds with corners appear naturally in M-theory. We illustrate this with four situations: The lift to bounding twelve…
We conjecture that M-theory compactified on an ALE space (or K3) is described by 0-branes moving on the ALE space. We give evidence for this by showing that if we compactify another circle, we recover string theory on the ALE space. This…
We study the duality between M-theory compactified on Calabi-Yau fourfolds and the heterotic string compactified on Calabi-Yau threefolds times a circle. Our analysis is based on a comparison of the low energy effective actions in three…
We apply some methods of homology and K-theory to special classes of branes wrapping homologically nontrivial cycles. We treat the classification of four-geometries in terms of compact stabilizers (by analogy with Thurston's classification…
We study the constraints on five-dimensional N=1 heterotic M-theory imposed by a consistent anomaly-free coupling of bulk and boundary theory. This requires analyzing the cancellation of triangle gauge anomalies on the four-dimensional…
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)…