On Flux Quantization in F-Theory II: Unitary and Symplectic Gauge Groups

We study the quantization of the M-theory G-flux on elliptically fibered Calabi-Yau fourfolds with singularities giving rise to unitary and symplectic gauge groups. We seek and find its relation to the Freed-Witten quantization of worldvolume fluxes on 7-branes in type IIB orientifold compactifications on Calabi-Yau threefolds. By explicitly constructing the appropriate four-cycles on which to calculate the periods of the second Chern class of the fourfolds, we find that there is a half-integral shift in the quantization of G-flux whenever the corresponding dual 7-brane is wrapped on a non-spin submanifold. This correspondence of quantizations holds for all unitary and symplectic gauge groups, except for SU(3), which behaves mysteriously. We also perform our analysis in the case where, in addition to the aforementioned gauge groups, there is also a 'flavor' U(1)-gauge group.Comment: 33 pages, 4 figure

Toric Construction of Global F-Theory GUTs

We systematically construct a large number of compact Calabi-Yau fourfolds which are suitable for F-theory model building. These elliptically fibered Calabi-Yaus are complete intersections of two hypersurfaces in a six dimensional ambient space. We first construct three-dimensional base manifolds that are hypersurfaces in a toric ambient space. We search for divisors which can support an F-theory GUT. The fourfolds are obtained as elliptic fibrations over these base manifolds. We find that elementary conditions which are motivated by F-theory GUTs lead to strong constraints on the geometry, which significantly reduce the number of suitable models. The complete database of models is available at http://hep.itp.tuwien.ac.at/f-theory/. We work out several examples in more detail.Comment: 35 pages, references adde

On Flux Quantization in F-Theory

We study the problem of four-form flux quantization in F-theory compactifications. We prove that for smooth, elliptically fibered Calabi-Yau fourfolds with a Weierstrass representation, the flux is always integrally quantized. This implies that any possible half-integral quantization effects must come from 7-branes, i.e. from singularities of the fourfold. We subsequently analyze the quantization rule on explicit fourfolds with Sp(N) singularities, and connect our findings via Sen's limit to IIB string theory. Via direct computations we find that the four-form is half-integrally quantized whenever the corresponding 7-brane stacks wrap non-spin complex surfaces, in accordance with the perturbative Freed-Witten anomaly. Our calculations on the fourfolds are done via toric techniques, whereas in IIB we rely on Sen's tachyon condensation picture to treat bound states of branes. Finally, we give general formulae for the curvature- and flux-induced D3 tadpoles for general fourfolds with Sp(N) singularities.Comment: 46 page

From counting to construction of BPS states in N=4 SYM

We describe a universal element in the group algebra of symmetric groups, whose characters provides the counting of quarter and eighth BPS states at weak coupling in N=4 SYM, refined according to representations of the global symmetry group. A related projector acting on the Hilbert space of the free theory is used to construct the matrix of two-point functions of the states annihilated by the one-loop dilatation operator, at finite N or in the large N limit. The matrix is given simply in terms of Clebsch-Gordan coefficients of symmetric groups and dimensions of U(N) representations. It is expected, by non-renormalization theorems, to contain observables at strong coupling. Using the stringy exclusion principle, we interpret a class of its eigenvalues and eigenvectors in terms of giant gravitons. We also give a formula for the action of the one-loop dilatation operator on the orthogonal basis of the free theory, which is manifestly covariant under the global symmetry.Comment: 41 pages + Appendices, 4 figures; v2 - refs and acknowledgments adde

Solving the Topological String on K3 Fibrations

We present solutions of the holomorphic anomaly equations for compact two-parameter Calabi-Yau manifolds which are hypersurfaces in weighted projective space. In particular we focus on K3-fibrations where due to heterotic type II duality the topological invariants in the fibre direction are encoded in certain modular forms. The formalism employed provides holomorphic expansions of topological string amplitudes everywhere in moduli space.Comment: 60 pages, 1 figure, With an appendix by Sheldon Kat

A double coset ansatz for integrability in AdS/CFT

We give a proof that the expected counting of strings attached to giant graviton branes in AdS_5 x S^5, as constrained by the Gauss Law, matches the dimension spanned by the expected dual operators in the gauge theory. The counting of string-brane configurations is formulated as a graph counting problem, which can be expressed as the number of points on a double coset involving permutation groups. Fourier transformation on the double coset suggests an ansatz for the diagonalization of the one-loop dilatation operator in this sector of strings attached to giant graviton branes. The ansatz agrees with and extends recent results which have found the dynamics of open string excitations of giants to be given by harmonic oscillators. We prove that it provides the conjectured diagonalization leading to harmonic oscillators.Comment: 33 pages, 3 figures; v2: references adde

A new CY elliptic fibration and tadpole cancellation

Tadpole cancellation in Sen limits in F-theory was recently studied by Aluffi and Esole. We extend their results, generalizing the elliptic fibrations they used and obtaining a new case of universal tadpole cancellation, at least numerically. We could not find an actual Sen limit having the correct brane content, and we argue that such a limit may not exist. We also give a uniform description of the fibration used by Aluffi and Esole as well as a new, simple, fibration which has non-Kodaira type fibers.Comment: 18 pages; added references and minor change

Explicit de Sitter Flux Vacua for Global String Models with Chiral Matter

We address the open question of performing an explicit stabilisation of all closed string moduli (including dilaton, complex structure and Kaehler moduli) in fluxed type IIB Calabi-Yau compactifications with chiral matter. Using toric geometry we construct Calabi-Yau manifolds with del Pezzo singularities. D-branes located at such singularities can support the Standard Model gauge group and matter content. In order to control complex structure moduli stabilisation we consider Calabi-Yau manifolds which exhibit a discrete symmetry that reduces the effective number of complex structure moduli. We calculate the corresponding periods in the symplectic basis of invariant three-cycles and find explicit flux vacua for concrete examples. We compute the values of the flux superpotential and the string coupling at these vacua. Starting from these explicit complex structure solutions, we obtain AdS and dS minima where the Kaehler moduli are stabilised by a mixture of D-terms, non-perturbative and perturbative alpha'-corrections as in the LARGE Volume Scenario. In the considered example the visible sector lives at a dP_6 singularity which can be higgsed to the phenomenologically interesting class of models at the dP_3 singularity.Comment: 49 pages, 5 figures; v2: references adde

Anomaly Equations and Intersection Theory

Six-dimensional supergravity theories with N=(1,0) supersymmetry must satisfy anomaly equations. These equations come from demanding the cancellation of gravitational, gauge and mixed anomalies. The anomaly equations have implications for the geometrical data of Calabi-Yau threefolds, since F-theory compactified on an elliptically fibered Calabi-Yau threefold with a section generates a consistent six-dimensional N=(1,0) supergravity theory. In this paper, we show that the anomaly equations can be summarized by three intersection theory identities. In the process we also identify the geometric counterpart of the anomaly coefficients---in particular, those of the abelian gauge groups---that govern the low-energy dynamics of the theory. We discuss the results in the context of investigating string universality in six dimensions.Comment: 29 pages + appendices, 8 figures; v2: minor corrections, references added; v3: minor corrections, reference adde