One of the general strategies for realizing a wide class of interacting QFTs is via junctions and intersections of higher-dimensional bulk theories. In the context of string/M-theory, this includes many $D > 4$ superconformal field theories (SCFTs) coupled to an IR free bulk. Gauging the flavor symmetries of these theories and allowing position dependent gauge couplings provides a general strategy for realizing novel higher-dimensional junctions of theories coupled to localized edge modes. Here, we show that M-theory on singular, asymptotically conical $G_2$-holonomy orbifolds provides a general template for realizing strongly coupled 5D bulk theories with 4D $\mathcal{N} = 1$ edge modes. This geometric approach also shows how bulk generalized symmetries are inherited in the boundary system.
The exceptional holonomy groups are G2 in 7 dimensions, and Spin(7) in 8 dimensions. In a previous paper (Invent. math. 123 (1996), 507-552) the author constructed the first examples of compact 8-manifolds with holonomy Spin(7), by resolving orbifolds T^8/G, where T^8 is the 8-torus and G a finite group of automorphisms of T^8. This paper describes a different construction of compact 8-manifolds with holonomy Spin(7). We start with a Calabi-Yau 4-orbifold Y with isolated singularities, and an isometric, antiholomorphic involution σof Y fixing only the singular points. Let Z=Y/<σ>. Then Z is an…
We study conformal field theories for strings propagating on compact, seven-dimensional manifolds with G_2 holonomy. In particular, we describe the construction of rational examples of such models. We argue that analogues of Gepner models are to be constructed based not on N=1 minimal models, but on Z_2 orbifolds of N=2 models. In Z_2 orbifolds of Gepner models times a circle, it turns out that unless all levels are even, there are no new Ramond ground states from twisted sectors. In examples such as the quintic Calabi-Yau, this reflects the fact that the classical geometric orbifold singulari…
We construct a holographic model for Josephson junctions with a defect system of a Dp brane intersecting a D(p+2) brane. In addition to providing a geometrical picture for the holographic dual, this leads us very naturally to suggest the possibility of non-Abelian Josephson junctions characterized in terms of the topological properties of the branes. The difference between the locations of the endpoints of the Dp brane on either side of the defect translates into the phase difference of the condensate in the Josephson junction. We also add a magnetic flux on the D(p+2) brane and allow it evolv…
We consider Type II string theories on ${\bf T^n}/{{\bf Z_2}^m}$ Joyce orbifolds. This class contains orbifolds which can be desingularised to give manifolds of $G_2$ $({\bf n}$$=$$7)$ and $Spin(7)$ holonomy $({\bf n}$$=$$8)$. In the $G_2$ holonomy case we present two types of $T$-duality transformation which are clearly generalisations of the $T$-duality/mirror transformation in Calabi-Yau spaces. The first maps Type IIA theory on one such space from this class to Type IIB theory on another such space. The second maps Type IIA (IIB) to Type IIA (IIB). In the case of $Spin(7)$ holonomy we pres…
We study M-theory on G_2 holonomy spaces that are constructed by dividing a seven-torus by some discrete symmetry group. We classify possible group elements that may be used in this construction and use them to find a set of possible orbifold groups that lead to co-dimension four singularities. We describe how to blow up such singularities, and then derive the moduli Kaehler potential for M-theory on the resulting class of G_2 manifolds. To consider the singular limit it is necessary to derive the supergravity action for M-theory on the orbifold C^2/Z_N. We do this by coupling 11-dimensional s…
Recently Witten proposed to consider elliptic genus in $N=2$ superconformal field theory to understand the relation between $N=2$ minimal models and Landau-Ginzburg theories. In this paper we first discuss the basic properties satisfied by elliptic genera in $N=2$ theories. These properties are confirmed by some fundamental class of examples. Then we introduce a generic procedure to compute the elliptic genera of a particular class of orbifold theories, {\it i.e.\/} the ones orbifoldized by $e^{2πiJ_0}$ in the Neveu-Schwarz sector. This enables us to calculate the elliptic genera for Landau-Gi…
We present a general setup for junctions of semi-infinite 4-branes in $AdS_6$ with the Gauss-Bonnet term. The 3-brane tension at the junction of 4-branes can be nonzero. Using the brane junctions as the origin of the $Z_N$ discrete rotation symmetry, we identify 3-brane tensions at three fixed points of the orbifold $T^2/Z_3$ in terms of the 4-brane tensions. As a result, the three 3-brane tensions can be simultaneously positive, which enables us to explain the mass hierarchy by taking one of two branes apart from the hidden brane as the visible brane, and hence does not introduce a severe cos…
M-theory on compact eight-manifolds with $\mathrm{Spin}(7)$-holonomy is a framework for geometric engineering of 3d $\mathcal{N}=1$ gauge theories coupled to gravity. We propose a new construction of such $\mathrm{Spin}(7)$-manifolds, based on a generalized connected sum, where the building blocks are a Calabi-Yau four-fold and a $G_2$-holonomy manifold times a circle, respectively, which both asymptote to a Calabi-Yau three-fold times a cylinder. The generalized connected sum construction is first exemplified for Joyce orbifolds, and is then used to construct examples of new compact manifolds…
Horava--Witten M theory -- heterotic string duality poses special problems for the twisted sectors of heterotic orbifolds. In [1] we explained how in M theory the twisted states couple to gauge fields apparently living on M9 branes at both ends of the eleventh dimension at the same time. The resolution involves 7D gauge fields which live on fixed planes of the (T^4/Z_N) x (S^1/Z_2) x R^{5,1} orbifold and lock onto the 10D gauge fields along the intersection planes. The physics of such intersection planes does not follow directly from the M theory but there are stringent kinematic constraints d…
We consider type IIB string theory on a seven dimensional orbifold with holonomy in G2. The motivation is to use D1-branes as probes of the geometry. The low energy theory on the D1-brane is a sigma-model with two real supercharges (N = (1,1) in two dimensional language). We study in detail the closed and open string sectors and propose a coupling of the twisted fields to the brane that modifies the vacuum moduli space so that the singularity at the origin is removed. Instead of coming from D-terms, which are not present here, the modification comes from a ``twisted'' mass term for the seven s…
We study the phase structures of N=4 U(N) super Yang-Mills theories on R x S^3/Z_k with large N. The theory has many vacua labelled by the holonomy matrix along the non-trivial cycle on S^3/Z_k, and for the fermions the periodic and the anti-periodic boundary conditions can be assigned along the cycle. We compute the partition functions of the orbifold theories and observe that phase transitions occur even in the zero 't Hooft coupling limit. With the periodic boundary condition, the vacua of the gauge theory are dual to various arrangements of k NS5-branes. With the anti-periodic boundary con…
We investigate strings at singularities of G_2-holonomy manifolds which arise in Z_2 orbifolds of Calabi-Yau spaces times a circle. The singularities locally look like R^4/Z_2 fibered over a SLAG, and can globally be embedded in CICYs in weighted projective spaces. The local model depends on the choice of a discrete torsion in the fibration, and the global model on an anti-holomorphic involution of the Calabi-Yau hypersurface. We determine how these choices are related to each other by computing a Wilson surface detecting discrete torsion. We then follow the same orbifolds to the non-geometric…
We study the null orbifold singularity in 2+1 d flat space higher spin theory as well as string theory. Using the Chern-Simons formulation of 2+1 d Einstein gravity, we first observe that despite the singular nature of this geometry, the eigenvalues of its Chern-Simons holonomy are trivial. Next, we construct a resolution of the singularity in higher spin theory: a Kundt spacetime with vanishing scalar curvature invariants. We also point out that the UV divergences previously observed in the 2-to-2 tachyon tree level string amplitude on the null orbifold do not arise in the $α^\prime\to \infty…
We investigate S^3/Z_n partition function of N = 2 supersymmetric gauge theories. A gauge theory on the orbifold has degenerate vacua specified by the holonomy. The partition function is obtained by summing up the contributions of saddle points with different holonomies. An appropriate choice of the phase of each contribution is essential to obtain the partition function. We determine the relative phases in the holonomy sum in a few examples by using duality to non-gauge theories. In the case of odd n the phase factors can be absorbed by modifying a single function appearing in the partition f…
We study the phase structure of four-dimensional N=1 super Yang-Mills theories realized on D6-branes wrapping the RP^3 of a Z_2 orbifold of the deformed conifold. The non-trivial fundamental group of RP^3 allows for the gauge group to be broken to various product groups by Z_2 Wilson lines. We study the classical moduli space of theories in various pictures related by dualities including an M-theory lift. The quantum moduli space is analyzed in a dual IIB theory, where a complex curve contained in the target space plays a key role. We find that the quantum moduli space is made up of several br…
Defects are a useful tool in the study of quantum field theories. This is illustrated in the example of two-dimensional conformal field theories. We describe how defect lines and their junction points appear in the description of symmetries and order-disorder dualities, as well as in the orbifold construction and a generalisation thereof that covers exceptional modular invariants.
We study four-dimensional black hole configurations which result from wrapping M5-branes on a Calabi-Yau manifold, as well as U-dual realizations. Our aim is to understand the microscopic degrees of freedom responsible for the existence of bound states of multiple branes. The details depend on the chosen U-frame; in some cases, they are massless string junctions. We also identify a perturbative description in which these states correspond to twisted strings of intersecting D3-branes at an orbifold singularity. In each case, these are the preponderant states of the spacetime infrared conformal …
We construct infinitely many seven-dimensional Einstein metrics of weak holonomy G_2. These metrics are defined on principal SO(3) bundles over four-dimensional Bianchi IX orbifolds with the Tod-Hitchin metrics. The Tod-Hitchin metric has an orbifold singularity parameterized by an integer, and is shown to be similar near the singularity to the Taub-NUT de Sitter metric with a special charge. We show, however, that the seven-dimensional metrics on the total space are actually smooth. The geodesics on the weak G_2 manifolds are discussed. It is shown that the geodesic equation is equivalent to …
Four-dimensional supergravity theories are reinterpreted in a 12-dimensional F-theory framework. The O(8) symmetry of N=8 supergravity is related to a reduction of F-theory on T_8, with the seventy scalars formally associated, by O(8) triality, to a fully compactified four-form A_4. For the N=1 type I model recently obtained from the type IIB string on the Z orbifold, we identify the Kähler manifold of the untwisted scalars in the unoriented closed sector with the generalized Siegel upper-half plane Sp(8,R)/(SU(4) \times U(1)). The SU(4) factor reflects the holonomy group of Calabi-Yau fourfol…
We advocate that the orbifold Z_2 symmetry of the gravity trapping model proposed by Randall and Sundrum can be seen, in appropriate coordinates, as a symmetry that exchanges the short distances with the large ones. Using diffeomorphism invariance, we construct extensions defined by patch glued together. A singularity occurs at the junction and it is interpreted as a brane, the jump brane, of codimension one. We give explicit realization in ten and eleven dimensional supergravity and show that the lower dimensional Planck scale on the brane is finite. The standard model would be trapped on a s…
We present a systematical study of brane worlds in string theory on $S^{1}/Z_{2}$. Starting with the toroidal compactification of the NS/NS sector in (D+d) dimensions, we first obtain an effective $D$-dimensional action, and then compactify one of the $(D-1)$ spatial dimensions by introducing two orbifold branes as its boundaries. By combining the Gauss-Codacci and Lanczos equations, we write down explicitly the general gravitational field equations on each of the two branes, while using distribution theory we express the matter field equations on the branes in terms of the discontinuities of …
