Constraints on Automorphic Forms of Higher Derivative Terms from Compactification

arXiv:1002.1068

F. Gubay, N. Lambert, P. West

.

By dimensionally reducing the higher derivative corrections of ten-dimensional IIB theory on a torus we deduce constraints on the E_{n+1} automorphic forms that occur in d=10-n dimensions. In particular we argue that these automorphic forms involve the representation of E_{n+1} with fundamental weight \lambda^{n+1}, which is also the representation to which the string charges in d dimensions belong. We also consider a similar calculation for the reduction of higher derivative terms in eleven-dimensional M-theory.

A Novel Large-N Reduction on S^3: Demonstration in Chern-Simons Theory

arXiv:1001.4917

G. Ishiki, S. Shimasaki, A. Tsuchiya

.

We show that the planar Chern-Simons (CS) theory on S^3 can be described by its dimensionally reduced model. This description of CS theory can be regarded as a novel large-N reduction for gauge theories on S^3. We find that if one expands the reduced model around a particular background consisting of multiple fuzzy spheres, the reduced model becomes equivalent to CS theory on S^3 in the planar limit. In fact, we show that the free energy and the vacuum expectation value of unknot Wilson loop in CS theory are reproduced by the reduced model in the large-N limit.

Wall Crossing Phenomenology of Orientifolds

arXiv:1001.5031

D. Krefl

.

We initiate the study of wall crossing phenomena in orientifolds of local toric Calabi-Yau 3-folds from a topological string perspective. For this purpose, we define a notion of real Donaldson-Thomas partition function at the large volume, orbifold and non-commutative point in Kaehler moduli space. As a byproduct, we refine the constant map contribution to the partition function of the real topological string on a local toric background. We conjecture the general relation between the real large volume and real non-commutative/orbifold Donaldson-Thomas partition function of orientifolds of local toric Calabi-Yau 3-folds without compact divisors. The conjectured relation is confirmed at hand of the conifold and local A_n singularity, for which we explicitly derive the real non-commutative/orbifold Donaldson-Thomas partition function combinatorially.

Curves on K3 surfaces and modular forms

arXiv:1001.2719

D. Maulik, R. Pandharipande, R.P. Thomas

.

We study the virtual geometry of the moduli spaces of curves and sheaves on K3 surfaces in primitive classes. Equivalences relating the reduced Gromov-Witten invariants of K3 surfaces to characteristic numbers of stable pairs moduli spaces are proven. As a consequence, we prove the Katz-Klemm-Vafa conjecture evaluating $\lambda_g$ integrals (in all genera) in terms of explicit modular forms. Indeed, all K3 invariants in primitive classes are shown to be governed by modular forms. The method of proof is by degeneration to elliptically fibered rational surfaces. New formulas relating reduced virtual classes on K3 surfaces to standard virtual classes after degeneration are needed for both maps and sheaves. We also prove a Gromov-Witten/Pairs correspondence for toric 3-folds. Our approach uses a result of Kiem and Li to produce reduced classes. In Appendix A, we answer a number of questions about the relationship between the Kiem-Li approach, traditional virtual cycles, and symmetric obstruction theories. The interplay between the boundary geometry of the moduli spaces of curves, K3 surfaces, and modular forms is explored in Appendix B by A. Pixton.

Arithmetic and Hyperbolic Structures in String Theory

arXiv:1001.3154

D. Persson

.

This monograph is an updated and extended version of the author's PhD thesis. It consists of an introductory text followed by two separate parts which are loosely related but may be read independently of each other. In Part I we analyze certain hyperbolic structures arising when studying gravity in the vicinity of a spacelike singularity (the "BKL-limit"). In this limit, spatial points decouple and the dynamics exhibits ultralocal behaviour which may be described in terms of a (possibly chaotic) hyperbolic billiard. In all supergravities arising as low-energy limits of string theory or M-theory, the billiard dynamics takes place within the fundamental Weyl chambers of certain hyperbolic Kac-Moody algebras, suggesting that these algebras generate hidden infinite-dimensional symmetries of the theory. Part II of the thesis is devoted to a study of how (U-)dualities in string theory provide powerful constraints on perturbative and non-perturbative quantum corrections. These dualities are described by certain arithmetic groups G(Z) which are conjectured to be preserved in the effective action. The exact couplings are given by automorphic forms on the double quotient G(Z)\G/K. We discuss in detail various methods of constructing automorphic forms, with particular emphasis on non-holomorphic Eisenstein series. We provide detailed examples for the physically relevant cases of SL(2,Z) and SL(3,Z), for which we construct their respective Eisenstein series and compute their (non-abelian) Fourier expansions. We also show how these techniques can be applied to hypermultiplet moduli spaces in type II Calabi-Yau compactifications, and we provide a detailed analysis for the universal hypermultiplet.

Perturbation Theory From Automorphic Forms

arXiv:1001.3284

N. Lambert, P. West

.

Using our previous construction of Eisenstein-like automorphic forms we derive formulae for the perturbative and non-perturbative parts for any group and representation. The result is written in terms of the weights of the representation and the derivation is largely group theoretical. Specialising to the E_{n+1} groups relevant to type II string theory and the representation associated with node n+1 of the E_{n+1} Dynkin diagram we explicitly find the perturbative part in terms of String Theory variables, such as the string coupling g_d and volume V_n. For dimensions seven and higher we find that the perturbation theory involves only two terms. In six dimensions we construct the SO(5,5) automorphic form using the vector representation. Although these automorphic forms are generally compatible with String Theory, the one relevant to R^4 involves terms with g_d^{-6} and so is problematic. We then study a constrained SO(5,5) automorphic form, obtained by summing over null vectors, and compute its perturbative part. We find that it is consistent with String Theory and makes precise predictions for the perturbative results. We also study the unconstrained automorphic forms for E_6 in the 27 representation and E_7 in the 133 representation, giving their perturbative part and commenting on their role in String Theory.

R**4 couplings and automorphic unipotent representations

arXiv:1001.3647

B. Pioline

.

Four-graviton, eight-derivative couplings in the low energy effective action of toroidal type II string compactifications are tightly constrained by U-duality invariance and by supersymmetry. In this note, we revisit earlier proposals for the automorphic form governing these couplings in dimension D=3,4,5,6, and propose that the correct automorphic form is the minimal theta series for the corresponding U-duality group. Evidence for this proposal comes from matching the infinitesimal characters, and from the fact that the Fourier coefficients have support on 1/2-BPS charges. In particular, we show that non-perturbative effects can be interpreted as 1/2-BPS instantons, or 1/2-BPS particles in one dimension higher (together with Taub-NUT instantons in the D=3 case). Based on similar considerations, we also conjecture the form of 1/4-BPS saturated couplings such as $\nabla^4 R^4$ couplings in dimensions D=3,4,5.

Analytic Continuation Of Chern-Simons Theory

arXiv:1001.2933

E. Witten

.

The title of this article refers to analytic continuation of three-dimensional Chern-Simons gauge theory away from integer values of the usual coupling parameter k, to explore questions such as the volume conjecture, or analytic continuation of three-dimensional quantum gravity (to the extent that it can be described by gauge theory) from Lorentzian to Euclidean signature. Such analytic continuation can be carried out by rotating the integration cycle of the Feynman path integral. Morse theory or Picard-Lefschetz theory gives a natural framework for describing the appropriate integration cycles. An important part of the analysis involves flow equations that turn out to have a surprising four-dimensional symmetry. After developing a general framework, we describe some specific examples (involving the trefoil and figure-eight knots in S^3). We also find that the space of possible integration cycles for Chern-Simons theory can be interpreted as the "physical Hilbert space" of a twisted version of N=4 super Yang-Mills theory in four dimensions.

Chern-Simons theory, the 1/N expansion, and string theory

arXiv:1001.2542

M. Marino

.

Chern-Simons theory in the 1/N expansion has been conjectured to be equivalent to a topological string theory. This conjecture predicts a remarkable relationship between knot invariants and Gromov-Witten theory. We review some basic aspects of this relationship, as well as the tests of this conjecture performed over the last ten years. Particular attention is given to indirect tests based on integrality conjectures, both for the HOMFLY and for the Kauffman invariants of links.

On relation between Nekrasov functions and BS periods in pure SU(N) case

arXiv:1001.1407

A. Popolitov

.

We investigate the duality between the Nekrasov function and the quantized Seiberg-Witten prepotential, first guessed in [1] and further elaborated in [2] and [3]. We concentrate on providing more thorough checks than the ones presented in [3] and do not discuss the motivation and historical context of this duality. The check of the conjecture up to $o (\hbar^6, \ln (\Lambda))$ is done by hands for arbitrary $N$ (explicit formulas are presented). Moreover, details of the calculation that are essential for the computerization of the check are worked out. This allows us to test the conjecture up to $\hbar^6$ and up to higher powers of $\Lambda$ for $N = 2,3,4$. Only the case of pure SU(N) gauge theory is considered.

Chern-Simons Theory in the Temporal Gauge and Knot Invariants through the Universal Quantum R-Matrix

arXiv:1001.2003

A. Morozov, A. Smirnov

.

In temporal gauge A_{0}=0 the 3d Chern-Simons theory acquires quadratic action and an ultralocal propagator. This directly implies a 2d R-matrix representation for the correlators of Wilson lines (knot invariants), where only the crossing points of the contours projection on the xy plane contribute. Though the theory is quadratic, P-exponents remain non-trivial operators and R-factors are easier to guess then derive. We show that the topological invariants arise if additional flag structure (xy plane and an y line in it) is introduced, R is the universal quantum R-matrix and turning points contribute the "enhancement" factors q^{\rho}.

Conformal blocks as Dotsenko-Fateev Integral Discriminants

arXiv:1001.0563

A.Mironov, A.Morozov, S.Shakirov

.

As anticipated in [1], elaborated in [2-4], and explicitly formulated in [5], the Dotsenko-Fateev integral discriminant coincides with conformal blocks, thus providing an elegant approach to the AGT conjecture, without any reference to an auxiliary subject of Nekrasov functions. Internal dimensions of conformal blocks in this identification are associated with the choice of contours: parameters of the DV phase of the corresponding matrix models. In this paper we provide further evidence in support of this identity for the 6-parametric family of the 4-point spherical conformal blocks, up to level 3 and for arbitrary values of external dimensions and central charges. We also extend this result to multi-point spherical functions and comment on a similar description of the 1-point function on a torus.

Homological Type of Geometric Transitions

arXiv:1001.0457

M. Rossi

.

The present paper gives an account and quantifies the change in topology induced by small and type II geometric transitions, by introducing the notion of the \emph{homological type} of a geometric transition. The obtained results agree with, and go further than, most results and estimates, given to date by several authors, both in mathematical and physical literature.

q-Analog of Gelfand--Graev basis for the noncompact quantum algebra U_q(u(n,1))

arXiv:0912.5403

R.M. Asherova, Č. Burdík, M. Havlíček, Y.F. Smirnov, V.N. Tolstoy

.

For the quantum algebra U_{q}(gl(n+1)) in its reduction on the subalgebra U_{q}(gl(n)) an explicit description of a Mickelsson--Zhelobenko reduction Z-algebra Z_{q}(gl(n+1),gl(n)) is given in terms of the generators and their defining relations. Using this Z-algebra we describe Hermitian irreducible representations of a discrete series for the quantum algebra U_{q}(u(n,1)) which is a real form of U_{q}(gl(n+1)). Namely, an orthonormal Gelfand--Graev basis is constructed in explicit form.

Matrix models for $\beta$-ensembles from Nekrasov partition functions

arXiv:0912.5476

P. Sułkowski

.

We relate Nekrasov partition functions, with arbitrary values of $\epsilon_1,\epsilon_2$ parameters, to matrix models for $\beta$-ensembles. We find matrix models encoding the instanton part of Nekrasov partition functions, whose measure, to the leading order in $\epsilon_2$ expansion, is given by the Vandermonde determinant to the power $\beta=-\epsilon_1/\epsilon_2$. An additional, trigonometric deformation of the measure arises in five-dimensional theories. Matrix model potentials, to the leading order in $\epsilon_2$ expansion, are the same as in the $\beta=1$ case considered in 0810.4944 [hep-th]. We point out that potentials for massive hypermultiplets include multi-log, Penner-like terms. Inclusion of Chern-Simons terms in five-dimensional theories leads to multi-matrix models. The role of these matrix models in the context of the AGT conjecture is discussed.

Remarks on quiver gauge theories from open topological string theory

arXiv:0912.4699

N. Carqueville, A.Q. Velez

.

We study effective quiver gauge theories arising from a stack of D3-branes on certain Calabi-Yau singularities. Our point of view is a first principle approach via open topological string theory. This means that we construct the natural A-infinity-structure of open string amplitudes in the associated D-brane category. Then we show that it precisely reproduces the results of the method of brane tilings, without having to resort to any effective field theory computations. In particular, we prove a general and simple formula for effective superpotentials.

Chern-Simons theory on L(p,q) lens spaces and Localization

arXiv:0912.4664

D. Gang

.

Using localization technique, we calculate the partition function and expectation values of Wilson loop operators in Chern-Simons theory on general lens spaces L(p,q)(including S2XS1). Our results are consistent with known results.

F-Theory GUT Vacua on Compact Calabi-Yau Fourfolds

arXiv:0912.3524

T.W. Grimm, S. Krause, T. Weigand

.

We present compact three-generation F-theory GUT models meeting in particular the constraints of D3-tadpole cancellation and D-term supersymmetry. To this end we explicitly construct elliptically fibered Calabi-Yau fourfolds as complete intersections in a toric ambient space. Toric methods enable us to control the singular geometry of the SU(5) GUT model. The GUT brane wraps a non-generic del Pezzo surface admitting GUT symmetry breaking via hypercharge flux. It is contractible to a curve and we demonstrate the existence of a consistent decoupling limit. We compute the Euler characteristic of the singular Calabi-Yau fourfold to show that our three-generation flux solutions obtained via the spectral cover construction are consistent with D3-tadpole cancellation.

D0-D6 states counting and GW invariants

arXiv:0912.2923

J. Stoppa

.

We describe a correspondence between the virtual number of torsion free sheaves locally free in codimension 3 on a Calabi-Yau 3-fold and the Gromov-Witten invariants counting rational curves in a family of orbifold blowups of the weighted projective plane $\mathbb{P}(-ch_3, ch_0, 1)$ (with a tangency condition of order $gcd(-ch_3, ch_0)$). This result is a variation of the GW/quiver representations correspondence found by Gross-Pandharipande, when one changes the centres and orders of the blowups. We build on a small part of the theories developed by Joyce-Song and Kontsevich-Soibelman for wall-crossing formulae and by Gross-Siebert-Pandharipande for factorisations in the tropical vertex group.

Sugawara-type constraints in hyperbolic coset models

arXiv:0912.3491

T. Damour, A. Kleinschmidt, H. Nicolai

.

In the conjectured correspondence between supergravity and geodesic models on infinite-dimensional hyperbolic coset spaces, and E10/K(E10) in particular, the constraints play a central role. We present a Sugawara-type construction in terms of the E10 Noether charges that extends these constraints infinitely into the hyperbolic algebra, in contrast to the truncated expressions obtained in arXiv:0709.2691 that involved only finitely many generators. Our extended constraints are associated to an infinite set of roots which are all imaginary, and in fact fill the closed past light-cone of the Lorentzian root lattice. The construction makes crucial use of the E10 Weyl group and of the fact that the E10 model contains both D=11 supergravity and D=10 IIB supergravity. Our extended constraints appear to unite in a remarkable manner the different canonical constraints of these two theories. This construction may also shed new light on the issue of `open constraint algebras' in traditional canonical approaches to gravity.

On N=1 4d Effective Couplings for F-theory and Heterotic Vacua

arXiv:0912.3265

H. Jockers, P. Mayr, J. Walcher

.

We show that certain superpotential and Kahler potential couplings of N=1 supersymmetric compactifications with branes or bundles can be computed from Hodge theory and mirror symmetry. This applies to F-theory on a Calabi-Yau four-fold and three-fold compactifications of type II and heterotic strings with branes. The heterotic case includes a class of bundles on elliptic manifolds constructed by Friedmann, Morgan and Witten. Mirror symmetry of the four-fold computes non-perturbative corrections to mirror symmetry on the three-folds, including D-instanton corrections. We also propose a physical interpretation for the observation by Warner that relates the deformation spaces of certain matrix factorizations and the periods of non-compact 4-folds that are ALE fibrations.

Five-Brane Superpotentials and Heterotic/F-theory Duality

arXiv:0912.3250

T.W. Grimm, T.-W. Ha, A. Klemm, D. Klevers

.

Under heterotic/F-theory duality it was argued that a wide class of heterotic five-branes is mapped into the geometry of an F-theory compactification manifold. In four-dimensional compactifications this identifies a five-brane wrapped on a curve in the base of an elliptically fibered Calabi-Yau threefold with a specific F-theory Calabi-Yau fourfold containing the blow-up of the five-brane curve. We argue that this duality can be reformulated by first constructing a non-Calabi-Yau heterotic threefold by blowing up the curve of the five-brane into a divisor with five-brane flux. Employing heterotic/F-theory duality this leads us to the construction of a Calabi-Yau fourfold and four-form flux. Moreover, we obtain an explicit map between the five-brane superpotential and an F-theory flux superpotential. The map of the open-closed deformation problem of a five-brane in a compact Calabi-Yau threefold into a deformation problem of complex structures on a dual Calabi-Yau fourfold with four-form flux provides a powerful tool to explicitly compute the five-brane superpotential.

A supermatrix model for N=6 super Chern-Simons-matter theory

arXiv:0912.3006

N. Drukker, D. Trancanelli

.

We construct the Wilson loop operator of N=6 super Chern-Simons-matter which is invariant under half of the supercharges of the theory and is dual to the simplest macroscopic open string in AdS_4 x CP^3. The Wilson loop couples, in addition to the gauge and scalar fields of the theory, also to the fermions in the bi-fundamental representation of the U(N) x U(M) gauge group. These ingredients are naturally combined into a superconnection whose holonomy gives the Wilson loop, which can be defined for any representation of the supergroup U(NM). Explicit expressions for loops supported along an infinite straight line and along a circle are presented. Using the localization calculation of Kapustin et al. we show that the circular loop is computed by a supermatrix model and discuss the connection to pure Chern-Simons theory with supergroup U(NM).

Exact Results in ABJM Theory from Topological Strings

arXiv:0912.3074

M. Marino, P. Putrov

.

Recently, Kapustin, Willett and Yaakov have found, by using localization techniques, that vacuum expectation values of Wilson loops in ABJM theory can be calculated with a matrix model. We show that this matrix model is closely related to Chern-Simons theory on a lens space with a gauge supergroup. This theory has a topological string large N dual, and this makes possible to solve the matrix model exactly in the large N expansion. In particular, we find the exact expression for the vacuum expectation value of a 1/6 BPS Wilson loop in the ABJM theory, as a function of the 't Hooft parameters, and in the planar limit. This expression gives an exact interpolating function between the weak and the strong coupling regimes. The behavior at strong coupling is in precise agreement with the prediction of the AdS string dual. In the case of the 1/2 BPS Wilson loop recently introduced by Drukker and Trancanelli, one can calculate its vev to all orders in the 1/N expansion by using open topological strings.