Search

We investigate the old problem of determining the exact bulk moduli of generic $\mathrm{SU}(3)$-structure flux backgrounds of type II string theory. Using techniques from generalised geometry, we show that the infinitesimal deformations are counted by a spectral sequence in which the vertical maps are either de Rham or Dolbeault differentials (depending on the type of the exceptional complex structure (ECS)) and the horizontal maps are linear maps constructed from the flux and intrinsic torsion. Our calculation is exact, covering all possible supergravity $\mathrm{SU}(3)$-structure flux backgrounds including those which are not conformally Calabi--Yau, and goes beyond the usual linear approximation in three important ways: (i) we allow for finite flux; (ii) we consider perturbative higher-derivative corrections to the supergravity action; and (iii) we consider obstructions arising from higher-order deformations. Despite these extensions we find that the spectral sequence reproduces the na\"ive expectations that come from considering the effective superpotential in the small-flux limit. In particular, by writing the moduli in a form that is independent of the K\"ahler potential on the space of ECSs, and arguing the superpotential does not receive higher-derivative corrections, we show that the spectral sequence is perturbatively exact. Further, preliminary results show that a Tian--Todorov-like lemma implies that all the obstructions vanish. This has implications for the tadpole conjecture, showing that such perturbative, higher-order effects do not provide a way of circumventing the bound., Comment: 56+19pp, 1 figure

We consider a variety of physical systems in which one has states that can be thought of as generalised instantons. These include Yang--Mills theories on manifolds with a torsion-free $G$-structure, analogous gravitational instantons and certain supersymmetric solutions of ten-dimensional supergravity, using their formulation as generalised $G$-structures on Courant algebroids. We provide a universal algebraic construction of a complex, which we call the BPS complex, that computes the infinitesimal moduli space of the instanton as one of its cohomologies. We call a class of these spinor type complexes, which are closely connected to supersymmetric systems, and show how their Laplacians have nice properties. In the supergravity context, the BPS complex becomes a double complex, in a way that corresponds to the left- and right-moving sectors of the string, and becomes much like the double complex of $(p,q)$-forms on a K\"ahler manifold. If the BPS complex has a symplectic inner product, one can write down an associated linearised BV Chern--Simons theory, which reproduces several classic examples in gauge theory. We discuss applications to (quasi-)topological string theories and heterotic superpotential functionals, whose quadratic parts can also be constructed naturally from the BPS complex., Comment: 56 + 1 pages

An extended search for anomaly free matter coupled $N=(1,0)$ supergravity in six dimension is carried out by two different methods which we refer to as the graphical and rank methods. In the graphical method the anomaly free models are built from single gauge group models, called nodes, which can only have gravitational anomalies. We search for anomaly free theories with gauge groups $G_1\times...\times G_n$ with $n=1,2,...$ (any number of factors) and $G_1\times...\times G_n \times U(1)_R$ where $n=1,2,3$ and $U(1)_R$ is the $R$-symmetry group. While we primarily consider models with the tensor multiplet number $n_T=1$, we also provide some results for $n_T\ne 1$ with an unconstrained number of charged hypermultiplets. We find a large number of ungauged anomaly free theories. However, in the case of $R$-symmetry gauged models with $n_T=1$, in addition to the three known anomaly free theories with $G_1\times G_2 \times U(1)_R$ type symmetry, we find only six new remarkably anomaly free models with symmetry groups of the form $G_1\times G_2\times G_3 \times U(1)_R$. In the case of $n_T=1$ and ungauged models, excluding low rank group factors and considering only low lying representations, we find all anomaly free theories. Remarkably, the number of group factors does not exceed four in this class. The proof of completeness in this case relies on a bound which we establish for a parameter characterizing the difference between the number of non-singlet hypermultiplets and the dimension of the gauge group., Comment: 42 pp + 33 pp apendix, 3 figures, 2 tables

We consider a heterotic version of six-dimensional Kodaira-Spencer gravity derived from the heterotic superpotential. We compute the one-loop partition function and find it can be expressed as a product of holomorphic Ray-Singer torsions. We discuss its topological properties and potential gauge and gravitational anomalies. We show these anomalies can be cancelled using Green-Schwarz-like counter-terms. We also discuss the dependence on the background geometry, and in particular the choice of hermitian metric needed for quantisation. Given suitable topological constraints, this dependence may again be cancelled by the addition of purely background-dependent counter-terms. We also explain how our methods provide the one-loop partition functions of a large class of more general holomorphic field theories in terms of holomorphic Ray-Singer torsions., Comment: 63 pages, 2 figures; v2: updated references and fixed typos

We introduce a technique to realise brane wrapping and double dimensional reduction in the context of AKSZ topological sigma models and also in their target spaces, which are symplectic $L_n$-algebroids (i.e. QP-manifolds). Our procedure involves a novel coisotropic reduction combined with an AKSZ transgression that realises degree-shifting; the reduced QP-manifold depends on topological data of the `wrapped' cycle. We check our procedure against the known rules for fluxes under wrapping in the context of M-theory/type IIA duality, and we also find a new relation between Courant algebroids and Poisson manifolds., Comment: 39 pages, 1 figure. v2: added references & acknowledgements

We introduce QP manifolds that capture the generalised geometry of type IIA string backgrounds with Ramond-Ramond fluxes and Romans mass. Each of these is associated to a BPS brane in type IIA: a D2, D4, or NS5-brane. We explain how these probe branes are related to their associated QP-manifolds via the AKSZ topological field theory construction and the recent brane phase space construction. M-theory/type IIA duality is realised on the QP-manifold side as symplectic reduction along the M-theory circle (for branes that do not wrap it); this always produces IIA QP-manifolds with vanishing Romans mass., Comment: V2 - References and discussion added

We study the topological $G_2$ and $Spin(7)$ strings at 1-loop. We define new double complexes for supersymmetric NSNS backgrounds of string theory using generalised geometry. The 1-loop partition function then has a target-space interpretation as a particular alternating product of determinants of Laplacians, which we have dubbed the analytic torsion. In the case without flux where these backgrounds have special holonomy, we reproduce the worldsheet calculation of the $G_2$ string and give a new prediction for the $Spin(7)$ string. We also comment on connections with topological strings on Calabi-Yau and K3 backgrounds., Comment: 92 pages, 4 figures

We present a detailed study of a new mathematical object in $\mathrm{E}_{6(6)}\times \mathbb{R}^{+}$ generalised geometry called an `exceptional complex structure' (ECS). It is the extension of a conventional complex structure to one that includes all the degrees of freedom of M-theory or type IIB supergravity in six or five dimensions, and as such characterises, in part, the geometry of generic supersymmetric compactifications to five-dimensional Minkowkski space. We define an ECS as an integrable $\mathrm{U}^{*}(6)\times \mathbb{R}^{+}$ structure and show it is equivalent to a particular form of involutive subbundle of the complexified generalised tangent bundle $L_{1} \subset E_{\mathbb{C}}$. We also define a refinement, an $\mathrm{SU}^{*}(6)$ structure, and show that its integrability requires in addition a vanishing moment map on the space of structures. We are able to classify all possible ECSs, showing that they are characterised by two numbers denoted `type' and `class'. We then use the deformation theory of ECS to find the moduli of any $\mathrm{SU}^{*}(6)$ structure. We relate these structures to the geometry of generic minimally supersymmetric flux backgrounds of M-theory of the form $\mathbb{R}^{4,1}\times M$, where the $\mathrm{SU}^{*}(6)$ moduli correspond to the hypermultiplet moduli in the lower-dimensional theory. Such geometries are of class zero or one. The former are equivalent to a choice of (non-metric-compatible) conventional $\mathrm{SL}(3,\mathbb{C})$ structure and strikingly have the same space of hypermultiplet moduli as the fluxless Calabi--Yau case., Comment: Orientation error fixed in equation (4.19)

We describe the geometry of generic heterotic backgrounds preserving minimal supersymmetry in four dimensions using the language of generalised geometry. They are characterised by an $SU(3)\times Spin(6+n)$ structure within $O(6,6+n)\times\mathbb{R}^+$ generalised geometry. Supersymmetry of the background is encoded in the existence of an involutive subbundle of the generalised tangent bundle and the vanishing of a moment map for the action of diffeomorphisms and gauge symmetries. We give both the superpotential and the K\"ahler potential for a generic background, showing that the latter defines a natural Hitchin functional for heterotic geometries. Intriguingly, this formulation suggests new connections to geometric invariant theory and an extended notion of stability. Finally we show that the analysis of infinitesimal deformations of these geometric structures naturally reproduces the known cohomologies that count the massless moduli of supersymmetric heterotic backgrounds., Comment: 50 pages; references added

We analyse the geometry of generic Minkowski $\mathcal{N}=1$, $D=4$ flux compactifications in string theory, the default backgrounds for string model building. In M-theory they are the natural string theoretic extensions of $\mathrm{G}_2$ holonomy manifolds. In type II theories, they extend the notion of Calabi--Yau geometry and include the class of flux backgrounds based on generalised complex structures first considered by Gra\~na et al. (GMPT). Using $\mathrm{E}_{7(7)}\times\mathbb{R}^+$ generalised geometry we show that these compactifications are characterised by an $\mathrm{SU}(7)\subset\mathrm{E}_{7(7)}$ structure defining an involutive subbundle of the generalised tangent space, and with a vanishing moment map, corresponding to the action of the diffeomorphism and gauge symmetries of the theory. The K\"ahler potential on the space of structures defines a natural extension of Hitchin's $\mathrm{G}_2$ functional. Using this framework we are able to count, for the first time, the massless scalar moduli of GMPT solutions in terms of generalised geometry cohomology groups. It also provides an intriguing new perspective on the existence of $G_{2}$ manifolds, suggesting possible connections to Geometrical Invariant Theory and stability.