We investigate holomorphic anomalies of partition functions underlying string compactifications on Calabi-Yau fourfolds with background fluxes. For elliptic fourfolds the partition functions have an alternative interpretation as elliptic genera of N=1 supersymmetric string theories in four dimensions, or as generating functions for relative Gromov-Witten invariants of fourfolds with fluxes. We derive the holomorphic anomaly equations by starting from the BCOV formalism of topological strings, and translating them into geometrical terms. The result can be recast into modular and elliptic anomaly equations. As a new feature, as compared to threefolds, we find an extra contribution which is given by a gravitational descendant invariant. This leads to linear terms in the anomaly equations, which support an algebra of derivatives mapping between partition functions of the various flux sectors. These geometric features are mirrored by certain properties of quasi-Jacobi forms. We also offer an interpretation of the physics from the viewpoint of the worldsheet theory.
We study M-theory on a Calabi-Yau fourfold with a smooth surface $S$ of $A_{N-1}$ singularities. The resulting three-dimensional theory has a $\mathcal{N}=2$ $SU(N)$ gauge theory sector, which we obtain from a twisted dimensional reduction of a seven-dimensional $\mathcal{N}=1$ $SU(N)$ gauge theory on the surface $S$. A variant of the Vafa-Witten equations governs the moduli space of the gauge theory, which, for a trivial $SU(N)$ principal bundle over $S$, admits a Coulomb and a Higgs branch. In M-theory these two gauge theory branches arise from a resolution and a deformation to smooth Calabi…
We compactify four-dimensional N=1 gauged supergravity theories on a circle including fluxes for shift-symmetric scalars. Four-dimensional Taub-NUT gravitational instantons universally correct the three-dimensional superpotential in the absence of fluxes. In the presence of fluxes these Taub-NUT instanton contributions are no longer gauge-invariant. Invariance can be restored by gauge instantons on top of Taub-NUT instantons. We establish the embedding of this scenario into M-theory. Circle fluxes and gaugings arise from a restricted class of M-theory four-form fluxes on a resolved Calabi-Yau …
Looking for string vacua with fixed moduli, we study compactifications of type IIA string theory on Calabi-Yau fourfolds in the presence of generic Ramond-Ramond fields. We explicitly derive the (super)potential induced by Ramond-Ramond fluxes performing a Kaluza-Klein reduction of the ten-dimensional effective action. This can be conveniently achieved in a formulation of the massive type IIA supergravity where all Ramond-Ramond fields appear in a democratic way. The result agrees with the general formula for the superpotential written in terms of calibrations. We further notice that for gener…
We consider topology changing transitions for M-theory compactifications on Calabi-Yau fourfolds with background G-flux. The local geometry of the transition is generically a genus g curve of conifold singularities, which engineers a 3d gauge theory with four supercharges, near the intersection of Coulomb and Higgs branches. We identify a set of canonical, minimal flux quanta which solve the local quantization condition on G for a given geometry, including new solutions in which the flux is neither of horizontal nor vertical type. A local analysis of the flux superpotential shows that the pote…
We construct explicit G4 fluxes in F-theory compactifications. Our method relies on identifying algebraic cycles in the Weierstrass equation of elliptic Calabi-Yau fourfolds. We show how to compute the D3-brane tadpole and the induced chirality indices directly in F-theory. Whenever a weak coupling limit is available, we compare and successfully match our findings to the corresponding results in type IIB string theory. Finally, we present some generalizations of our results which hint at a unified description of the elliptic Calabi-Yau fourfold together with the four-form flux G4 as a coherent…
We discuss the period geometry and the topological string amplitudes on elliptically fibered Calabi-Yau fourfolds in toric ambient spaces. In particular, we describe a general procedure to fix integral periods. Using some elementary facts from homological mirror symmetry we then obtain Bridgelands involution and its monodromy action on the integral basis for non-singular elliptically fibered fourfolds. The full monodromy group contains a subgroup that acts as PSL(2,Z) on the Kähler modulus of the fiber and we analyze the consequences of this modularity for the genus zero and genus one amplitud…
We review the Kaluza-Klein reduction of Type IIA string theory on Calabi-Yau fourfolds and apply mirror symmetry to the resulting two-dimensional $ \mathcal{N}=(2,2) $ effective theories. In the course of the reduction we focus especially on non-trivial three-form cohomology on these fourfolds and investigate the couplings of the corresponding massless zero-modes. These show a dependence on both complex structure as well as Kähler structure deformations and we provide evidence that they are determined by two holomorphic functions that get exchanged via mirror symmetry. Application of the mirro…
We study the charged chiral matter spectrum of four-dimensional F-theory compactifications on elliptically fibered Calabi-Yau fourfolds by using the dual M-theory description. A chiral spectrum can be induced by M-theory four-form flux on the fully resolved Calabi-Yau fourfold. In M-theory this flux yields three-dimensional Chern-Simons couplings in the Coulomb branch of the gauge theory. In the F-theory compactification on an additional circle these couplings are only generated by one-loop corrections with charged fermions running in the loop. This identification allows us to infer the net nu…
Integrality in the Hodge theory of Calabi-Yau fourfolds is essential to find the vacuum structure and the anomaly cancellation mechanism of four dimensional F-theory compactifications. We use the Griffiths-Frobenius geometry and homological mirror symmetry to fix the integral monodromy basis in the primitive horizontal subspace of Calabi-Yau fourfolds. The Gamma class and supersymmetric localization calculations in the 2d gauged linear sigma model on the hemisphere are used to check and extend this method. The result allows us to study the superpotential and the Weil-Petersson metric and an as…
We study the Dirac equation on an M5 brane wrapped on a divisor in a Calabi--Yau fourfold in the presence of background flux. We reduce the computation of the normal bundle U(1) anomaly to counting the solutions of a finite--dimensional linear system on cohomology. This system depends on the choice of flux. In an example, we find that the presence of flux changes the anomaly and allows instanton corrections to the superpotential which would otherwise be absent.
A supersymmetric vacuum has to obey a set of constraints on fluxes as well as first order differential equations defined by the G-structures of the internal manifold. We solve these equations for type IIB supergravity with SU(3) structures. The 6-dimensional internal manifold has to be complex, the axion/dilaton is in general non-holomorphic and a cosmological constant is only possible if the SU(3) structures are broken to SU(2) structures. The general solution is expressed in terms of one function which is holomorphic in the three complex coordinates and if this holomorphic function is consta…
We briefly review the description of the internal sector of supergravity theories in the language of generalised geometry and how this gives rise to a description of supersymmetric backgrounds as integrable geometric structures. We then review recent work, featuring holomorphic Courant algebroids, on the description of $\mathcal N=1$ heterotic flux vacua. This work studied the finite deformation problem of the Hull-Strominger system, guided by consideration of the superpotential functional on the relevant space of geometries. It rewrote the system in terms of the Maurer-Cartan set of a particu…
We develop geometric techniques to determine the spectrum and the chiral indices of matter multiplets for four-dimensional F-theory compactifications on elliptic Calabi-Yau fourfolds with rank two Mordell-Weil group. The general elliptic fiber is the Calabi-Yau onefold in dP_2. We classify its resolved elliptic fibrations over a general base B. The study of singularities of these fibrations leads to explicit matter representations, that we determine both for U(1)xU(1) and SU(5)xU(1)xU(1) constructions. We determine for the first time certain matter curves and surfaces using techniques involvin…
We investigate the interplay between the enumerative geometry of Calabi-Yau fourfolds with fluxes and the modularity of elliptic genera in four-dimensional string theories. We argue that certain contributions to the elliptic genus are given by derivatives of modular or quasi-modular forms, which encode BPS invariants of Calabi-Yau or non-Calabi-Yau threefolds that are embedded in the given fourfold. As a result, the elliptic genus is only a quasi-Jacobi form, rather than a modular or quasi-modular one in the usual sense. This manifests itself as a holomorphic anomaly of the spectral flow symme…
We study 4D F-theory compactifications on singular Calabi-Yau fourfolds with fluxes. The resulting N=1 effective theories can admit non-Abelian and U(1) gauge groups as well as charged chiral matter. In these setups we analyze anomaly cancellation and the generalized Green-Schwarz mechanism. This requires the study of 3D N=2 theories obtained by a circle compactification and their M-theory duals. Reducing M-theory on resolved Calabi-Yau fourfolds corresponds to considering the effective theory on the 3D Coulomb branch in which certain massive states are integrated out. Both 4D gaugings and 3D …
We analyse the non-perturbative superpotential due to M5-brane instantons in F-theory compactifications on Calabi-Yau fourfolds. The M5 partition function is obtained via holomorphic factorisation by explicitly performing the sum over chiral 3-form fluxes. Comparison with the partition function of fluxed Euclidean D3-brane instantons in Type IIB orientifolds allows us to fix the spin structure on the intermediate Jacobian of the M5-instanton. We furthermore analyse the contribution of the M5-instanton to the superpotential in the presence of G4 gauge flux, where the superpotential is dressed w…
We find analytic solutions of type IIB supergravity on geometries that locally take the form $\text{Mink}\times M_4\times \mathbb{C}$ with $M_4$ a generalised complex manifold. The solutions involve the metric, the dilaton, NSNS and RR flux potentials (oriented along the $M_4$) parametrised by functions varying only over $\mathbb{C}$. Under this assumption, the supersymmetry equations are solved using the formalism of pure spinors in terms of a finite number of holomorphic functions. Alternatively, the solutions can be viewed as vacua of maximally supersymmetric supergravity in six dimensions …
We extend the four-dimensional gauged supergravity analysis of type IIB vacua on $K3\times T^2/Z_2$ to the case where also D3 and D7 moduli, belonging to N=2 vector multiplets, are turned on. In this case, the overall special geometry does not correspond to a symmetric space, unless D3 or D7 moduli are switched off. In the presence of non--vanishing fluxes, we discuss supersymmetric critical points which correspond to Minkowski vacua, finding agreement with previous analysis. Finally, we point out that care is needed in the choice of the symplectic holomorphic sections of special geometry whic…
Problems of stabilizing moduli of the type--IIB string theory on toroidal orientifolds $\T^6/\Z_2$, in presence of worldvolume fluxes on various D-branes, are considered. For $Z_2$ actions, introducing either O9 or O3 planes, we rule out the possibility of moduli stabilization in a wide class of models with $\mathcal{N}=1$ supersymmetry, characterized by the type of fluxes turned on along D-brane worldvolume. Our results, in particular, imply that Abelian worldvolume fluxes can not by themselves stabilize closed string moduli, in a consistent supersymmtric model, for above orientifold compacti…
We analyze the two dimensional type 0 theory with background RR-fluxes. Both the 0A and the 0B theory have two distinct fluxes $q$ and $\tilde q$. We study these two theories at finite temperature (compactified on a Euclidean circle of radius $R$) as a function of the fluxes, the tachyon condensate $μ$ and the radius $R$. Surprisingly, the dependence on $q$, $\tilde q$ and $μ$ is rather simple. The partition function is the absolute value square of a holomorphic function of $y=|q|+|\tilde q| + i \sqrt{2α'} μ$ (up to a simple but interesting correction). As expected, the 0A and the 0B answers a…
This thesis is concerned with heterotic E8 x E8 string models that can produce quasirealistic N = 1 supersymmetric extensions of the Standard Model in the low-energy limit. We start rather generally by deriving the four-dimensional spectrum and Lagrangian terms from the ten-dimensional theory, through a process of compactification over six-dimensional Calabi-Yau manifolds, upon which holomorphic poly-stable vector bundles are defined. We then specialise to a class of heterotic string models for which the vector bundle is split into a sum of line bundles and the Calabi-Yau manifold is defined a…
We study the twisted indices of $\mathcal{N}=4$ supersymmetric gauge theories in three dimensions on spatial $S^{2}$ with an angular momentum refinement. We demonstrate factorisation of the index into holomorphic blocks for the $T[SU(N)]$ theory in the presence of generic fluxes and fugacities. We also investigate the relation between the twisted index, Hilbert series and the moduli space of vortices. In particular, we show that each holomorphic block coincides with a generating function for the $χ_{t}$ genera of the moduli spaces of "local" vortices. The twisted index itself coincides with a …
Two-dimensional quantum fields in electric and gravitational backgrounds can be described by conformal field theories, and hence all the physical (covariant) quantities can be written in terms of the corresponding holomorphic quantities. In this paper, we first derive relations between covariant and holomorphic forms of higher-spin currents in these backgrounds, and then, by using these relations, obtain higher-spin generalizations of the trace and gauge (or gravitational) anomalies up to spin 4. These results are applied to derive higher-moments of Hawking fluxes in black holes in a separate …
We study the potential governing D3-brane motion in a warped throat region of a string compactification with internal fluxes and wrapped D-branes. If the Kahler moduli of the compact space are stabilized by nonperturbative effects, a D3-brane experiences a force due to its interaction with D-branes wrapping certain four-cycles. We compute this interaction, as a correction to the warped four-cycle volume, using explicit throat backgrounds in supergravity. This amounts to a closed-string channel computation of the loop corrections to the nonperturbative superpotential that stabilizes the volume.…
In this review article we present an analysis of several aspects of four-dimensional, non-perturbative N=1 compactifications of string theory. Our study focuses on brane dynamics and their effective physics as encoded in the holomorphic couplings of the low-energy N=1 effective action, most prominently the superpotential W. This article is divided into three parts. In part one we derive the effective action of a spacetime-filling D5-brane in generic Type IIB Calabi-Yau orientifold compactifications. In the second part we invoke tools from string dualities, namely from F-theory, heterotic/F-the…
Ambi-polar metrics, defined so as to allow the signature to change from +4 to -4 across hypersurfaces, are a mainstay in the construction of BPS microstate geometries. This paper elucidates the cohomology of these spaces so as to simplify greatly the construction of infinite families of fluctuating harmonic magnetic fluxes. It is argued that such fluxes should come from scalar, harmonic pre-potentials whose source loci are holomorphic divisors. This insight is obtained by exploring the Kahler structure of ambi-polar Gibbons-Hawking spaces and it is shown that differentiating the pre-potentials…
This note is the written version of a talk which was presented at the Cargese 2002 summer school. It gives a brief introduction to the paper hep-th/0205281, written in collaboration with R. Dijkgraaf and E. Verlinde. In this paper, we calculate the euclidean partition function of the type IIA NS five-brane wrapped on an arbitrary Calabi-Yau space in a double-scaling decoupling limit and in the presence of a flat RR 3-form background field. The result is the product of a theta function, coming from the classical fluxes of the self-dual tensor field, and a factor representing the quantum contrib…
We study the Type IIA NS five-brane wrapped on a Calabi-Yau manifold X in a double-scaled decoupling limit. We calculate the euclidean partition function in the presence of a flat RR 3-form field. The classical contribution is given by a sum over fluxes of the self-dual tensor field which reduces to a theta-function. The quantum contributions are computed using a T-dual IIB background where the five-branes are replaced by an ALE singularity. Using the supergravity effective action we find that the loop corrections to the free energy are given by B-model topological string amplitudes. This seem…
This is a short version of hep-th/0406137. We show that the supersymmetry transformations for type II string theories on six-manifolds can be written as differential conditions on a pair of pure spinors, the exponentiated Kahler form e^{iJ} and the holomorphic form Omega. The equations are explicitly symmetric under exchange of the two pure spinors and a choice of even or odd-rank RR field. This is mirror symmetry for manifolds with torsion. Moreover, RR fluxes affect only one of the two equations: e^{iJ} is closed under the action of the twisted exterior derivative in IIA theory, and similarl…
We update the D3/D7-brane inflation model on K3 x T^2/Z_2 with branes and fluxes. For this purpose, we study the low energy theory including g_s corrections to the gaugino condensate superpotential that stabilizes the K3 volume modulus. The gauge kinetic function is verified to become holomorphic when the original N=2 supersymmetry is spontaneously broken to N=1 by bulk fluxes. From the underlying classical N=2 supergravity, the theory inherits a shift symmetry which provides the inflaton with a naturally flat potential. We analyze the fate of this shift symmetry after the inclusion of quantum…
