Supersymmetry of Noncompact MQCD-like Membrane Instantons and Heat Kernel Asymptotics

We perform a heat kernel asymptotics analysis of the nonperturbative superpotential obtained from wrapping of an M2-brane around a supersymmetric noncompact three-fold embedded in a (noncompact) G_2-manifold as obtained in [1], the three-fold being the one relevant to domain walls in Witten's MQCD [2], in the limit of small "zeta", a complex constant that appears in the Riemann surfaces relevant to defining the boundary conditions for the domain wall in MQCD. The MQCD-like configuration is interpretable, for small but non-zero zeta as a noncompact/"large" open membrane instanton, and for vanishing zeta, as the type IIA D0-brane (for vanishing M-theory cicle radius). We find that the eta-function Seeley de-Witt coefficients vanish, and we get a perfect match between the zeta-function Seeley de-Witt coefficients (up to terms quadratic in zeta) between the Dirac-type operator and one of the two Laplace-type operators figuring in the superpotential. This is an extremely strong signature of residual supersymmetry for the nonperturbative configurations in M-theory considered in this work.Comment: 21 pages, LaTeX; v3: several clarifying remarks added, to appear in JHE

Generalised discrete torsion and mirror symmetry for G_2 manifolds

A generalisation of discrete torsion is introduced in which different discrete torsion phases are considered for the different fixed points or twist fields of a twisted sector. The constraints that arise from modular invariance are analysed carefully. As an application we show how all the different resolutions of the T^7/Z_2^3 orbifold of Joyce have an interpretation in terms of such generalised discrete torsion orbifolds. Furthermore, we show that these manifolds are pairwise identified under G_2 mirror symmetry. From a conformal field theory point of view, this mirror symmetry arises from an automorphism of the extended chiral algebra of the G_2 compactification.Comment: LaTeX, 25 pages, 1 figure; v2: one reference added and comment about higher loop modular invariance corrected, version to be publishe

A Note on Fluxes and Superpotentials in M-theory Compactifications on Manifolds of G_2 Holonomy

We consider the breaking of N=1 supersymmetry by non-zero G-flux when M-theory is compactified on a smooth manifold X of G_2 holonomy. Gukov has proposed a superpotential W to describe this breaking in the low-energy effective theory. We check this proposal by comparing the bosonic potential implied by W with the corresponding potential deduced from the eleven-dimensional supergravity action. One interesting aspect of this check is that, though W depends explicitly only on G-flux supported on X, W also describes the breaking of supersymmetry by G-flux transverse to X.Comment: 15 pages, harvmac, v2: reference adde

Type IIA Orientifold Limit of M-Theory on Compact Joyce 8-Manifold of Spin(7)-Holonomy

We show that M-theory compactified on a compact Joyce 8-manifold of $Spin(7)$-holonomy, which yields an effective theory in $D = 3$ with $\N$ = 1 supersymmetry, admits at some special points in it moduli space a description in terms of type IIA theory on an orientifold of compact Joyce 7-manifold of $G_2$-holonomy. We find the evidence in favour of this duality by computing the massless spectra on both M-thory side and type IIA side. For the latter, we compute the massless spectra by going to the orbifold limit of the Joyce 7-manifold.Comment: 26 pages, 2 eps figures, Latex file, two references and one footnote added, corrected some typo

Toric anti-self-dual 4-manifolds via complex geometry

Using the twistor correspondence, this article gives a one-to-one correspondence between germs of toric anti-self-dual conformal classes and certain holomorphic data determined by the induced action on twistor space. Recovering the metric from the holomorphic data leads to the classical problem of prescribing the Cech coboundary of 0-cochains on an elliptic curve covered by two annuli. The classes admitting Kahler representatives are described; each such class contains a circle of Kahler metrics. This gives new local examples of scalar-flat Kahler surfaces and generalises work of Joyce who considered the case where the distribution orthogonal to the torus action is integrable.Comment: 25 pages, 2 figures, v2 corrected some misprints, v3 corrected more misprints, published version (minus one typo

Asymptotically cylindrical 7-manifolds of holonomy G_2 with applications to compact irreducible G_2-manifolds

We construct examples of exponentially asymptotically cylindrical Riemannian 7-manifolds with holonomy group equal to G_2. To our knowledge, these are the first such examples. We also obtain exponentially asymptotically cylindrical coassociative calibrated submanifolds. Finally, we apply our results to show that one of the compact G_2-manifolds constructed by Joyce by desingularisation of a flat orbifold T^7/\Gamma can be deformed to one of the compact G_2-manifolds obtainable as a generalized connected sum of two exponentially asymptotically cylindrical SU(3)-manifolds via the method given by the first author (math.DG/0012189).Comment: 36 pages; v2: corrected trivial typos; v3: some arguments corrected and improved; v4: a number of improvements on presentation, paritularly in sections 4 and 6, including an added picture

Toric anti-self-dual Einstein metrics via complex geometry

Using the twistor correspondence, we give a classification of toric anti-self-dual Einstein metrics: each such metric is essentially determined by an odd holomorphic function. This explains how the Einstein metrics fit into the classification of general toric anti-self-dual metrics given in an earlier paper (math.DG/0602423). The results complement the work of Calderbank-Pedersen (math.DG/0105263), who describe where the Einstein metrics appear amongst the Joyce spaces, leading to a different classification. Taking the twistor transform of our result gives a new proof of their theorem.Comment: v2. Published version. Additional references. 14 page

Scherk-Schwarz reduction of M-theory on G2-manifolds with fluxes

We analyse the 4-dimensional effective supergravity theories obtained from the Scherk--Schwarz reduction of M-theory on twisted 7-tori in the presence of 4-form fluxes. We implement the appropriate orbifold projection that preserves a G2-structure on the internal 7-manifold and truncates the effective field theory to an N=1, D=4 supergravity. We provide a detailed account of the effective supergravity with explicit expressions for the Kaehler potential and the superpotential in terms of the fluxes and of the geometrical data of the internal manifold. Subsequently, we explore the landscape of vacua of M-theory compactifications on twisted tori, where we emphasize the role of geometric fluxes and discuss the validity of the bottom-up approach. Finally, by reducing along isometries of the internal 7-manifold, we obtain superpotentials for the corresponding type IIA backgrounds.Comment: 43 pages, Latex; v3 typos corrected, one reference added, JHEP versio

Isotropic A-branes and the stability condition

The existence of a new kind of branes for the open topological A-model is argued by using the generalized complex geometry of Hitchin and the SYZ picture of mirror symmetry. Mirror symmetry suggests to consider a bi-vector in the normal direction of the brane and a new definition of generalized complex submanifold. Using this definition, it is shown that there exists generalized complex submanifolds which are isotropic in a symplectic manifold. For certain target space manifolds this leads to isotropic A-branes, which should be considered in addition to Lagrangian and coisotropic A-branes. The Fukaya category should be enlarged with such branes, which might have interesting consequences for the homological mirror symmetry of Kontsevich. The stability condition for isotropic A-branes is studied using the worldsheet approach.Comment: 19 page