The U-dual modular group

Small Representations for Affine q-Schur Algebras

2012-01-23T01:35:00.000-08:00

When the parameter $q\in\mathbb C^*$ is not a root of unity, simple modules of affine $q$-Schur algebras have been classified in terms of Frenkel--Mukhin's dominant Drinfeld polynomials (\cite[4.6.8]{DDF}). We compute these Drinfeld polynomials associated with the simple modules of an affine $q$-Schur algebra which come from the simple modules of the corresponding $q$-Schur algebra via the evaluation maps.

Quantum Dimensions and Quantum Galois Theory

2012-01-22T04:15:00.000-08:00

arXiv:1201.2738

C. Dong, X. Jiao, F. Xu

The quantum dimensions of modules for vertex operator algebras are defined and their properties are discussed. The possible values of the quantum dimensions are obtained for rational vertex operator algebras. A criterion for simple currents of a rational vertex operator algebra is given. A full Galois theory for rational vertex operator algebras is established using the quantum dimensions.

N=2 Gauge Theories: Congruence Subgroups, Coset Graphs and Modular Surfaces

2012-01-21T07:40:00.000-08:00

arXiv:1201.3633

Y.-H. He, J. McKay

We establish a correspondence between generalized quiver gauge theories in four-dimensions and congruence subgroups of the modular group, hinging upon the trivalent graphs which arise in both. The gauge theories and the graphs are enumerated and their numbers are compared. The correspondence is particularly striking for genus zero torsion-free congruence subgroups which are crucial to Moonshine. We analyze in detail the case of index 24, where modular elliptic K3 surfaces emerge: here, the elliptic j-invariants can be recast as dessins d'enfant which dictate the Seiberg-Witten curves.

The Largest Mathieu Group and (Mock) Automorphic Forms

2012-01-21T07:19:00.000-08:00

arXiv:1201.4140

M.C.N. Cheng, J.F.R. Duncan

We review the relationship between the largest Mathieu group and various modular objects, including recent progress on the relation to mock modular forms. We also review the connections between these mathematical structures and string theory on K3 surfaces.

Imaginary Geometry I: Interacting SLEs

2012-01-15T11:53:00.000-08:00

arXiv:1201.1496

J. Miller, S. Sheffield

Fix constants \chi >0 and \theta \in [0,2\pi), and let h be an instance of the Gaussian free field on a planar domain. We study flow lines of the vector field e^{i(h/\chi+\theta)} starting at a fixed boundary point of the domain. Considering all \theta \in [0,2\pi), one obtains a family of curves that look locally like SLE_\kappa, with \kappa \in (0,4), where \chi = 2/\kappa^{1/2} - \kappa^{1/2}/2, which we interpret as the rays of a random geometry with purely imaginary curvature. We extend the fundamental existence and uniqueness results about these paths to the case that the paths intersect the boundary. We also show that flow lines of different angles cross each other at most once but (in contrast to what happens when h is smooth) may bounce off of each other after crossing. Flow lines of the same angle started at different points merge into each other upon intersecting, forming a tree structure. We construct so-called counterflow lines (SLE_{16/\kappa}) within the same geometry using ordered "light cones" of points accessible by angle-restricted trajectories and develop a robust theory of flow and counterflow line interaction. The theory leads to new results about SLE. For example, we prove that SLE_\kappa(\rho) processes are almost surely continuous random curves, even when they intersect the boundary, and establish Duplantier duality for general SLE_{16/\kappa}(\rho) processes.

Imaginary geometry II: reversibility of SLE_κ(ρ_1;ρ_2) for κ\in (0,4)

2012-01-15T11:51:00.000-08:00

arXiv:1201.1497

J. Miller, S. Sheffield

Given a simply connected planar domain D, distinct points x,y \in \partial D, and \kappa >0, the Schramm-Loewner evolution SLE_\kappa is a random continuous non-self-crossing path in the closure of D from x to y. The SLE_\kappa(\rho_1;\rho_2) processes, defined for \rho_1, \rho_2 > -2, are in some sense the most natural generalizations of SLE_\kappa. When \kappa \leq 4, we prove that the law of the time-reversal of an \SLE_\kappa(\rho_1;\rho_2) from x to y is, up to parameterization, an SLE_\kappa(\rho_2;\rho_1) from y to x. This assumes that the "force points" used to define SLE_\kappa(\rho_1;\rho_2) are immediately to the left and right of the SLE seed. A generalization to arbitrary (and arbitrarily many) force points applies whenever the path does not (or is conditioned not to) hit the boundary of D except at the endpoints. The time-reversal symmetry has a particularly natural interpretation when the paths are coupled with the Gaussian free field and viewed as rays of a random geometry. It allows us to couple two instances of the Gaussian free field (with different boundary conditions) so that their difference is almost surely constant on either side of the path. In a fairly general sense, adding appropriate constants to the two sides of a ray reverses its orientation.

Imaginary geometry III: reversibility of SLE_κ for κ\in (4,8)

2012-01-15T11:49:00.000-08:00

arXiv:1201.1498

J. Miller, S. Sheffield

Suppose that D is a planar Jordan domain and x and y are distinct boundary points of D. Fix \kappa \in (4,8) and let \eta\ be an SLE_\kappa process from x to y in D. We prove that the law of the time-reversal of \eta is, up to reparameterization, an SLE_\kappa process from y to x in D. More generally, we prove that SLE_\kappa(\rho_1;\rho_2) processes are reversible if and only if both \rho_i are at least \kappa/2-4, which is the critical threshold at or below which such curves are boundary filling. Our result supplies the missing ingredient needed to show that for all \kappa \in (4,8) the so-called conformal loop ensembles CLE_\kappa\ are canonically defined, with almost surely continuous loops. It also provides an interesting way to couple two Gaussian free fields (with different boundary conditions) so that their difference is piecewise constant and the boundaries between the constant regions are SLE_\kappa curves.

A non-commuting twist in the partition function

2012-01-10T02:37:00.000-08:00

arXiv:1201.1628

S. Govindarajan, K. Inbasekar

We compute a twisted index for an orbifold theory when the twist generating group does not commute with the orbifold group. The twisted index requires the theory to be defined on moduli spaces that are compatible with the twist. This is carried out for CHL models at special points in the moduli space where they admit dihedral symmetries. The commutator subgroup of the dihedral groups are cyclic groups that are used to construct the CHL orbifolds. The residual reflection symmetry is chosen to act as a `twist' on the partition function. The reflection symmetries do not commute with the orbifolding group and hence we refer to this as a non-commuting twist. We count the degeneracy of half-BPS states using the twisted partition function and find that the contribution comes mainly from the untwisted sector. We show that the generating function for these twisted BPS states are related to the Mathieu group M_{24}.

Twisted elliptic genus for K3 and Borcherds product

2012-01-02T03:18:00.000-08:00

arXiv:1112.5928

T. Eguchi, K. Hikami

We further discuss the relation between the elliptic genus of K3 surface and the Mathieu group M24. We find that some of the twisted elliptic genera for K3 surface, defined for conjugacy classes of the Mathieu group M24, can be represented in a very simple manner in terms of the eta-product of the corresponding conjugacy classes. It is shown that our formula is a consequence of the identity between the Borcherds product and additive lift of some Siegel modular forms.

Asymptotical behaviour of roots of infinite Coxeter groups I

2011-12-24T02:39:00.000-08:00

arXiv:1112.5415

C. Hohlweg, J.-P. Labbé, V. Ripoll

Let W be an infinite Coxeter group. We initiate the study of the set E of limit points of "normalized" positive roots (representing the directions of the roots) of W. We show that E is contained in the isotropic cone of the bilinear form B associated to a geometric representation, and illustrate this property with numerous examples and pictures in rank 3 and 4. We also define a natural geometric action of W on E, and then we exhibit a countable subset of E, formed by limit points for the dihedral reflection subgroups of W. We explain that this subset can be built from the intersection with Q of the lines passing through two positive roots, and we establish that it is dense in E.

N=2 Quantum Field Theories and Their BPS Quivers

2011-12-23T05:44:00.000-08:00

arXiv:1112.3984

M. Alim, S. Cecotti, C. Cordova, S. Espahbodi, A. Rastogi, C. Vafa

We explore the relationship between four-dimensional N=2 quantum field theories and their associated BPS quivers. For a wide class of theories including super-Yang-Mills theories, Argyres-Douglas models, and theories defined by M5-branes on punctured Riemann surfaces, there exists a quiver which implicitly characterizes the field theory. We study various aspects of this correspondence including the quiver interpretation of flavor symmetries, gauging, decoupling limits, and field theory dualities. In general a given quiver describes only a patch of the moduli space of the field theory, and a key role is played by quantum mechanical dualities, encoded by quiver mutations, which relate distinct quivers valid in different patches. Analyzing the consistency conditions imposed on the spectrum by these dualities results in a powerful and novel mutation method for determining the BPS states. We apply our method to determine the BPS spectrum in a wide class of examples, including the strong coupling spectrum of super-Yang-Mills with an ADE gauge group and fundamental matter, and trinion theories defined by M5-branes on spheres with three punctures.

Equivalence of Three Wall Crossing Formulae

2011-12-13T01:19:00.000-08:00

arXiv:1112.2515

A. Sen

The wall crossing formula of Kontsevich and Soibelman gives an implicit relation between the BPS indices on two sides of the wall of marginal stability by equating two symplectomorphisms constructed from the indices on two sides of the wall. The wall crossing formulae of Manschot, Pioline and the author give two apparently different explicit expressions for the BPS index on one side of the wall in terms of the BPS indices on the other side. We prove the equivalence of all the three formulae.

Colored BPS Pyramid Partition Functions, Quivers and Cluster Transformations

2011-12-08T03:03:00.000-08:00

arXiv:1112.1132

R. Eager, S. Franco

We investigate the connections between flavored quivers, dimer models, and BPS pyramids for generic toric Calabi-Yau threefolds from various perspectives. We introduce a purely field theoretic definition of both finite and infinite pyramids in terms of quivers with flavors. These pyramids are associated to the counting of BPS invariants for generic toric Calabi-Yau threefolds. We discuss how cluster transformations provide an efficient recursive method for computing pyramid partition functions and show that the recursion is equivalent to the multidimensional octahedron recurrence. Transitions between different pyramids are related to Seiberg dualities, and we offer complimentary characterizations of these transitions in terms of the motion of zonotopes and duality webs. Our methods apply to completely general geometries including those with vanishing 4-cycles, which are associated to chiral quivers, thus overcoming one of the main limitations in the existing literature. We illustrate our ideas with explicit results for the infinite family of L^{a,b,c} geometries, dP_2, pseudo-dP_2, and dP_3. The counting of pyramid partitions for dP_1 gives rise to the Somos-4 sequence, while dP_2 and pseudo-dP_2 generate the Somos-5 sequence. Our results for dP_3 reproduce and extend those previously obtained for this theory, which were originally obtained from dimer shuffling.

Homological algebra of knots and BPS states

2011-12-02T06:48:00.000-08:00

arXiv:1112.0030

S. Gukov, M. Stosic

It is known that knot homologies admit a physical description as spaces of open BPS states. We study operators and algebras acting on these spaces. This leads to a very rich story, which involves wall crossing phenomena, algebras of closed BPS states acting on spaces of open BPS states, and deformations of Landau-Ginzburg models. One important application to knot homologies is the existence of "colored differentials" that relate homological invariants of knots colored by different representations. Based on this structure, we formulate a list of properties of the colored HOMFLY homology that categorifies the colored HOMFLY polynomial. By calculating the colored HOMFLY homology for symmetric and anti-symmetric representations, we find a remarkable "mirror symmetry" between these triply-graded theories.

Large N duality, lagrangian cycles, and algebraic knots

2011-12-01T07:37:00.000-08:00

arXiv:1111.6533

D.-E. Diaconescu, V. Shende, C. Vafa

We consider knot invariants in the context of large $N$ transitions of topological strings. In particular we consider aspects of Lagrangian cycles associated to knots in the conifold geometry. We show how these can be explicity constructed in the case of algebraic knots. We use this explicit construction to explain a recent conjecture relating study of stable pairs on algebraic curves with HOMFLY polynomials. Furthermore, for torus knots, using the explicit construction of the Lagrangian cycle, we also give a direct A-model computation and recover the HOMFLY polynomial for this case.

Line operators on S^1$\times$R^3 and quantization of the Hitchin moduli space

2011-11-21T11:21:00.000-08:00

arXiv:1111.4221

Y. Ito, T. Okuda, M. Taki

We perform an exact localization calculation for the expectation values of Wilson-'t Hooft line operators in N=2 gauge theories on S^1xR^3. The expectation values are naturally expressed in terms of the complexified Fenchel-Nielsen coordinates, and form a quantum mechanically deformed algebra of functions on the associated Hitchin moduli space by Moyal multiplication. We propose that these expectation values are the Weyl transform of the Verlinde operators, which act on Liouville/Toda conformal blocks as difference operators. We demonstrate our proposal explicitly in SU(N) examples.

Topological string amplitudes for the local half K3 surface

2011-11-17T23:42:00.000-08:00

arXiv:1111.3967

K. Sakai

We study topological string amplitudes for the local half K3 surface. We develop a method of computing higher genus amplitudes along the lines of the direct integration formalism, making full use of the Seiberg-Witten curve expressed in terms of modular forms and E_8-invariant Jacobi forms. The Seiberg-Witten curve was constructed previously for the low-energy effective theory of the non-critical E-string theory in R^4 x T^2. We clarify how the amplitudes are written as polynomials in a finite number of generators expressed in terms of the Seiberg-Witten curve. We determine the coefficients of the polynomials by solving the holomorphic anomaly equation and the gap condition and construct the amplitudes explicitly up to genus three. The results encompass topological string amplitudes for all local del Pezzo surfaces.

Vector-Valued Modular Forms from the Mumford Form, Schottky-Igusa Form, Product of Thetanullwerte and the Amazing Klein Formula

2011-11-16T03:57:00.000-08:00

arXiv:1102.0006

M. Matone, R. Volpato

Vector-valued Siegel modular forms are the natural generalization of the classical elliptic modular forms as seen by studying the cohomology of the universal abelian variety. We show that for g>=4, a new class of vector-valued modular forms, defined on the Teichmuller space, naturally appears from the Mumford forms, a question directly related to the Schottky problem. In this framework we show that the discriminant of the quadric associated to the complex curves of genus 4 is proportional to the square root of the products of Thetanullwerte \chi_{68}, which is a proof of the recently rediscovered Klein `amazing formula'. Furthermore, it turns out that the coefficients of such a quadric are derivatives of the Schottky-Igusa form evaluated at the Jacobian locus, implying new theta relations involving the latter, \chi_{68} and the theta series corresponding to the even unimodular lattices E_8\oplus E_8 and D_{16}^+. We also find, for g=4, a functional relation between the singular component of the theta divisor and the Riemann period matrix.

Small representations, string instantons, and Fourier modes of Eisenstein series (with an appendix by D. Ciubotaru and P. Trapa)

2011-11-15T00:46:00.000-08:00

arXiv:1111.2983

M.B. Green, S.D. Miller, P. Vanhove

This paper concerns some novel features of maximal parabolic Eisenstein series at certain special values of their analytic parameter s. These series arise as coefficients in the R4 and D4R4 interactions in the low energy expansion of scattering amplitudes in maximally supersymmetric string theory reduced to D=10-d dimensions on a torus T^d, d<8. For each d these amplitudes are automorphic functions on the rank d+1 symmetry group E_d+1. Of particular significance is the orbit content of the Fourier modes of these series when expanded in three different parabolic subgroups, corresponding to certain limits of string theory. This is of interest in the classification of a variety of instantons that correspond to minimal or next-to-minimal BPS orbits. In the limit of decompactification from D to D+1 dimensions many such instantons are related to charged 1/2-BPS or 1/4-BPS black holes with euclidean world-lines wrapped around the large dimension. In a different limit the instantons give nonperturbative corrections to string perturbation theory, while in a third limit they describe nonperturbative contributions in eleven-dimensional supergravity. A proof is given that these three distinct Fourier expansions have certain vanishing coefficients that are expected from string theory. In particular, the Eisenstein series for these special values of s have markedly fewer Fourier coefficients than typical ones. The corresponding mathematics involves showing that the wavefront sets of the Eisenstein series are supported on only certain coadjoint nilpotent orbits - just the minimal and trivial orbits in the 1/2-BPS case, and just the next-to-minimal, minimal and trivial orbits in the 1/4-BPS case. Thus as a byproduct we demonstrate that the next-to-minimal representations occur automorphically for E6, E7, and E8, and hence the first two nontrivial low energy coefficients are exotic theta-functions.

Stability spaces and quantum dilogarithms for (Calabi-Yau) Dynkin quivers

2011-11-12T08:08:00.000-08:00

arXiv:1111.1010

Y. Qiu

We study the spaces of stability conditions (in the sense of Bridgeland) for the bounded derived category of a Dynkin quiver Q and the finite-dimensional derived category of the Calabi-Yau-N Ginzburg algebra (a.k.a. N-preprojective algebra) associated to Q. We prove that such spaces are simply connected. In the Calabi-Yau case, we provide a topological realization of almost completed cluster tilting objects. Moreover, we give a combinatorial proof of the existence of Donanldson-Thomas invariants for Dynkin quivers.

Duality Invariant Actions and Generalised Geometry

2011-11-08T02:27:00.000-08:00

arXiv:1111.0459

D.S. Berman, H. Godazgar, M.J. Perry, P. West

We construct the non-linear realisation of the semi-direct product of E(11) and its first fundamental representation at lowest order and appropriate to spacetime dimensions four to seven. This leads to a non-linear realisation of the duality groups and introduces fields that depend on a generalised space which possess a generalised vielbein. We focus on the part of the generalised space on which the duality groups alone act and construct an invariant action.

Higher derivative type II string effective actions, automorphic forms and E11

2011-11-08T02:20:00.000-08:00

arXiv:1111.0464

F. Gubay, P. West

By dimensionally reducing the ten-dimensional higher derivative type IIA string theory effective action we place constraints on the automorphic forms that appear in the effective action in lower dimensions. We propose a number of properties of such automorphic forms and consider the prospects that E11 can play a role in the formulation of the higher derivative string theory effective action.

Refined Hopf Link Revisited

2011-11-08T02:00:00.000-08:00

arXiv:1111.0525

A. Iqbal, C. Kozçaz

We establish a relation between the refined Hopf link invariant and the S-matrix of the refined Chern-Simons theory. We show that the refined open string partition function corresponding to the Hopf link, calculated using the refined topological vertex, when expressed in the basis of Macdonald polynomials gives the S-matrix of the refined Chern-Simons theory.

Automorphic Black Holes as Probes of Extra Dimensions

2011-10-28T09:26:00.000-07:00

arXiv:1110.6077

K. Cassella, R. Schimmrigk

Recent progress in the understanding of the statistical nature of black hole entropy shows that the counting functions in certain classes of models are determined by automorphic forms of higher rank. In this paper we combine these results with Langlands' reciprocity conjecture to view black holes as probes of the geometry of spacetime. This point of view can be applied in any framework leading to automorphic forms, independently of the degree of supersymmetry of the models. In the present work we focus on the class of Chaudhuri-Hockney-Lykken compactifications defined as quotients associated to $\mathZ_N$ groups. We show that the black hole entropy of these CHL$_N$ models can be derived from elliptic motives, thereby providing the simplest possible geometric building blocks of the Siegel type entropy count.

On Rademacher Sums, the Largest Mathieu Group, and the Holographic Modularity of Moonshine

2011-10-19T01:01:00.000-07:00

arXiv:1110.3859

M.C.N. Cheng, J.F.R. Duncan

Recently a conjecture has been proposed which attaches (mock) modular forms to the largest Mathieu group. This may be compared to monstrous moonshine, in which modular functions are attached to elements of the Monster group. One of the most remarkable aspects of monstrous moonshine is the following genus zero property: the modular functions turn out to be the generators for the function fields of their invariance groups. In particular, these invariance groups define genus zero quotients of the upper half plane. It is therefore natural to ask if there is an analogue of this property in the Mathieu case, and at first glance the answer appears to be negative since not all the discrete groups arising there have genus zero. On the other hand, in this article we prove that each (mock) modular form appearing in the Mathieu correspondence coincides with the Rademacher sum constructed from its polar part. This property, inspired by the AdS/CFT correspondence in physics, was shown previously to be equivalent to the genus zero property of monstrous moonshine. Hence we conclude that this "Rademacher summability" property serves as the natural analogue of the genus zero property in the Mathieu case. Our result constitutes further evidence that the Rademacher method provides a powerful framework for understanding the modularity of moonshine, and leads to interesting physical questions regarding the gravitational duals of the relevant conformal field theories.

Generating new dualities through the orbifold equivalence: a demonstration in ABJM and four-dimensional quivers

2011-10-19T00:30:00.000-07:00

arXiv:1110.3803

M. Hanada, C. Hoyos, A. Karch

We show that the recently proposed large $N$ equivalence between ABJM theories with Chern-Simons terms of different rank and level, U(N_1)_{k_1}\times U(N_1)_{-k_1} and U(N_2)_{k_2}\times U(N_2)_{-k_2}, but the same value of N' =N_1 k_1=N_2 k_2, can be explained using planar equivalence in the mirror duals. The combination of S-dualities and orbifold equivalence can be applied to other cases as well, with very appealing results. As an example we show that two different quiver theories with k nodes can be easily shown to be Seiberg dual through the orbifold equivalence, but it requires order k^2 steps to give a proof when Seiberg duality is performed node by node.

ABJM theory as a Fermi gas

2011-10-18T23:39:00.000-07:00

arXiv:1110.4066

M. Marino, P. Putrov

The partition function on the three-sphere of many supersymmetric Chern-Simons-matter theories reduces, by localization, to a matrix model. We develop a new method to study these models in the M-theory limit, but at all orders in the 1/N expansion. The method is based on reformulating the matrix model as the partition function of an ideal Fermi gas with a non-trivial, one-particle quantum Hamiltonian. This new approach leads to a completely elementary derivation of the N^{3/2} behavior for ABJM theory and other quiver Chern-Simons-matter theories. In addition, the full series of 1/N corrections to the original matrix integral can be simply determined by a next-to-leading calculation in the WKB or semiclassical expansion of the quantum gas, and we show that, for several quiver Chern-Simons-matter theories, it is given by an Airy function. This generalizes a recent result of Fuji, Hirano and Moriyama for ABJM theory. It turns out that the semiclassical expansion of the Fermi gas corresponds to a strong coupling expansion in type IIA theory, and it is dual to the genus expansion. This allows us to calculate explicitly non-perturbative effects due to D0 and D2-brane instantons in the AdS background.

A Note on the Partition Function of ABJM theory on S^3

2011-10-18T23:18:00.000-07:00

arXiv:1110.3555

K. Okuyama

We study the partition function Z of U(N)_k x U(N)_{-k} Chern-Simons matter theory (ABJM theory) on S^3 which is recently obtained by the localization method. We evaluate the eigenvalue integral in Z exactly for the N=2 case. We find that Z behaves differently for even k and odd k. If k is odd, Z is written as a sum of two parts, which we call the bulk part and the orbifold part. If k is even, Z has only the orbifold part. We comment on the possible implication of this result in the context of AdS/CFT correspondence.

Invariants of spectral curves and intersection theory of moduli spaces of complex curves

2011-10-14T08:45:00.000-07:00

arXiv:1110.2949

B. Eynard

To any spectral curve S, we associate a topological class {\Lambda}(S) in a moduli space M^b_{g,n} of "b-colored" stable Riemann surfaces of given topology (genus g, n boundaries), whose integral coincides with the topological recursion invariants W_{g,n}(S) of the spectral curve S. This formula can be viewed as a generalization of the ELSV formula (whose spectral curve is the Lambert function and the associated class is the Hodge class), or Marino-Vafa formula (whose spectral curve is the mirror curve of the framed vertex, and the associated class is the product of 3 Hodge classes), but for an arbitrary spectral curve. In other words, to a B-model (i.e. a spectral curve) we systematically associate a mirror A-model (integral in a moduli space of "colored" Riemann surfaces). We find that the mirror map, i.e. the relationship between the A-model moduli and B-model moduli, is realized by the Laplace transform.

Calabi-Yau Three-folds: Poincare Polynomials and Fractals

2011-10-13T08:37:00.000-07:00

arXiv:1110.1612

A. Ashmore, Y.-H. He

We study the Poincare polynomials of all known Calabi-Yau three-folds as constrained polynomials of Littlewood type, thus generalising the well-known investigation into the distribution of the Euler characteristic and Hodge numbers. We find interesting fractal behaviour in the roots of these polynomials in relation to the existence of isometries, distribution versus typicality, and mirror symmetry.

Dualities for 3d Theories with Tensor Matter

2011-10-13T06:17:00.001-07:00

arXiv:1110.2547

A. Kapustin, H. Kim, J. Park

We study dualities for ${\cal N}=2$ 3d Chern-Simons matter theories with gauge groups U/Sp/O, matter in the two-index tensor representations (adjoint/symmetric/antisymmetric) in addition to the fundamental representation, and a superpotential. These dualities are analogous to Kutasov-Schwimmer-Seiberg dualities in 4d. We test them by computing the superconformal index and the partition function on $S^3$ for many dual pairs and find perfect agreement. In some cases we find a simple dual description for theories with tensor matter and no superpotential, thereby generalizing the "Duality Appetizer" of Jafferis and Yin to an infinite class of theories. We also investigate nonperturbative truncation of the chiral ring proposed in the context of 4d dualities.

Braids, Walls, and Mirrors

2011-10-11T11:52:00.000-07:00

arXiv:1110.2115

S. Cecotti, C. Cordova, C. Vafa

We construct 3d, N=2 supersymmetric gauge theories by considering a one-parameter `R-flow' of 4d, N=2 theories, where the central charges vary while preserving their phase order. Each BPS state in 4d leads to a BPS particle in 3d, and thus each chamber of the 4d theory leads to a distinct 3d theory. Pairs of 4d chambers related by wall-crossing, R-flow to mirror pairs of 3d theories. In particular, the 2-3 wall-crossing for the A_2 Argyres-Douglas theory leads to 3d mirror symmetry for N_f=1 SQED and the XYZ model. Although our formalism applies to arbitrary N=2 models, we focus on the case where the parent 4d theory consists of pairs of M5-branes wrapping a Riemann surface, and develop a general framework for describing 3d N=2 theories engineered by wrapping pairs of M5-branes on three-manifolds. Each 4d chamber, which corresponds to a dual 3d description, maps to a particular tetrahedral decomposition of the UV 3d geometry. In the IR the physics is captured by a single recombined M5-brane which is a branched double cover of the original UV three-manifold. The braiding of branch loci and the geometry of branch sheets play a key role in encoding the physics.

Twisted modules for N=2 supersymmetric vertex operator superalgebras arising from finite automorphisms of the N=2 Neveu-Schwarz algebra

2011-10-04T07:19:00.000-07:00

arXiv:1110.0229

K. Barron

Twisted modules for N=2 supersymmetric vertex operator superalgebras are studied for the vertex operator superalgebra automorophisms which are lifts of a finite automorphism of the N=2 Neveu-Schwarz Lie superalgebra representation. Such vertex operator superalgebra automorphisms exist for free and lattice N=2 vertex operator superalgebras, and twisted sectors corresponding to these vertex operator superalgebra automorphisms are constructed for all of the N=2 Neveu-Schwarz Lie superalgebra automorphisms of finite order. These include the Ramond-twisted sectors and mirror-twisted sectors for N=2 vertex operator superalgebras, as well as twisted modules related to more general "spectral flow" representations of the N=2 Neveu-Schwarz algebra. As a consequence, we also construct the Ramond-twisted sectors for N=1 supersymmetric vertex operator superalgebras. We show that the lifting of the mirror automorphism for the N=2 Neveu-Schwarz algebra to an N=2 vertex operator superalgebra is not unique and that different mirror map vertex operator superalgebra automorphisms of an N=2 vertex operator superalgebra can lead to non-isomorphic mirror-twisted modules, as in the case of free and lattice N=2 vertex operator superalgebras.

Bound States of String Theory and Beyond

2011-09-30T11:31:00.000-07:00

arXiv:1109.6595

P.P. Cook

All bound states of fundamental strings, D-branes and NS-branes of string theory, both type-IIA and type-IIB, which may be described by a null geodesic motion on the coset G/K(G) where G is a group of type A, D or E embedded within E(11) are presented.

BPS Quivers and Spectra of Complete N=2 Quantum Field Theories

2011-09-26T12:28:00.000-07:00

arXiv:1109.4941

M. Alim, S. Cecotti, C. Cordova, S. Espahbodi, A. Rastogi, C. Vafa

We study the BPS spectra of N=2 complete quantum field theories in four dimensions. For examples that can be described by a pair of M5 branes on a punctured Riemann surface we explain how triangulations of the surface fix a BPS quiver and superpotential for the theory. The BPS spectrum can then be determined by solving the quantum mechanics problem encoded by the quiver. By analyzing the structure of this quantum mechanics we show that all asymptotically free examples, Argyres-Douglas models, and theories defined by punctured spheres and tori have a chamber with finitely many BPS states. In all such cases we determine the spectrum.

BPS invariants of semi-stable sheaves on the projective plane and its blow-up

2011-09-25T01:53:00.000-07:00

arXiv:1109.4861

J. Manschot

BPS invariants capture topological invariants of moduli spaces of sheaves. This article computes generating functions of the BPS invariants of semi-stable sheaves with rank 3 on the rationally ruled surface X and on the projective plane. To this end, a formula is proposed which counts the set of semi-stable sheaves on X whose restriction to the fibre is semi-stable. From this formula one can obtain the BPS invariants using filtrations of unstable sheaves. The calculations allow an iterative generalization to any rank >3.

The Prime ideal Stratification and The Automorphism Group of $U^{+}_{r,s}(B_{2})$

2011-09-18T01:26:00.000-07:00

arXiv:1109.2640

X. Tang

Let ${\mathfrak g}$ be a finite dimensional complex simple Lie algebra, and let $r,s\in \mathbb{C}^{\ast}$ be transcendental over $\mathbb{Q}$ such that $r^{m}s^{n}=1$ implies $m=n=0$. We will obtain some basic properties of the two-parameter quantized enveloping algebra $U_{r,s}^{+}(\mathfrak g)$. In particular, we will verify that the algebra $U_{r,s}^{+}(\mathfrak g)$ satisfies many nice properties such as having normal separation, catenarity and Dixmier-Moeglin equivalence. We shall study a concrete example, the algebra $U_{r,s}^{+}(B_{2})$ in detail. We will first determine the normal elements, prime ideals and primitive ideals for the algebra $U_{r,s}^{+}(B_{2})$, and study their stratifications. Then we will prove that the algebra automorphism group of the algebra $U_{r,s}^{+}(B_{2})$ is isomorphic to $(\mathbb{C}^{\ast})^{2}$.

Comments on Non-holomorphic Modular Forms and Non-compact Superconformal Field Theories

2011-09-18T00:50:00.000-07:00

arXiv:1109.3365

Y. Sugawara

We extend our previous work arXiv:1012.5721 [hep-th] on the non-compact N=2 SCFT_2 defined as the supersymmetric SL(2,R)/U(1)-gauged WZW model. Starting from path-integral calculations of torus partition functions of both the axial-type (`cigar') and the vector-type (`trumpet') models, we study general models of the Z_M-orbifolds and M-fold covers with an arbitrary integer M. We then extract contributions of the degenerate representations (`discrete characters') in such a way that good modular properties are preserved. The `modular completion' of the extended discrete characters introduced in arXiv:1012.5721 [hep-th] are found to play a central role as suitable building blocks in every model of orbifolds or covering spaces. We further examine a large M-limit (the `continuum limit'), which `deconstructs' the spectral flow orbits while keeping a suitable modular behavior. The discrete part of partition function as well as the elliptic genus is then expanded by the modular completions of irreducible discrete characters, which are parameterized by both continuous and discrete quantum numbers modular transformed in a mixed way. This limit is naturally identified with the universal cover of trumpet model. We finally discuss a classification of general modular invariants based on the modular completions of irreducible characters constructed above.

On Three-Dimensional Mirror Symmetry

2011-09-05T06:58:00.000-07:00

arXiv:1109.0407

A. Dey

Mirror Symmetry for a large class of three dimensional $\mathcal{N}=4$ supersymmetric gauge theories has a natural explanation in terms of M-theory compactified on a product of $\text{ALE}$ spaces. A pair of such mirror duals can be described as two different deformations of the eleven-dimensional supergravity background $\mathcal{M}=\mathbb{R}^{2,1} \times \text{ALE}_{1} \times \text{ALE}_{2}$, to which they flow in the deep IR. Using the $A-D-E$ classification of $\text{ALE}$ spaces, we present a neat way to catalogue dual quiver gauge theories that arise in this fashion. In addition to the well-known examples studied in \cite{Intriligator:1996ex}, \cite{deBoer:1996mp}, this procedure leads to new sets of dual theories. For a certain subset of dual theories which arise from the aforementioned M-theory background with an $A$-type $\text{ALE}_{1}$ and a $D$-type $\text{ALE}_2$, we verify the duality explicitly by a computation of partition functions of the theories on $S^3$, using localization techniques . We derive the relevant mirror map and discuss its agreement with predictions from the Type IIB brane construction for these theories.

4d Index to 3d Index and 2d TQFT

2011-09-05T06:43:00.000-07:00

arXiv:1109.0283

F. Benini, T. Nishioka, M. Yamazaki

We compute the 4d superconformal index for N=1, 2 gauge theories on S^1 x L(p,q), where L(p,q) is a lens space. We find that the 4d N=1, 2 index on S^1 x L(p,1) reduces to a 3d N=2,4 index on S^1 x S^2 in the large p limit, and the 4d index on S^1 x L(p,q) to a 3d partition function on a squashed L(p,q) when the size of temporal S^1 shrinks to zero. As an application of our index, we study 4d N=2 superconformal field theories arising from the 6d (2,0) theory on a punctured Riemann surface, and conjecture the existence of a 2d TQFT on the Riemann surface whose correlation function coincides with the 4d N =2 index on S^1 x L(p,q).

Beta-ensembles for toric orbifold partition function

2011-09-04T08:09:00.000-07:00

arXiv:1109.0004

Taro Kimura

We investigate combinatorics of the instanton partition function for the generic four dimensional toric orbifolds. It is shown that the orbifold projection can be implemented by taking the inhomogeneous root of unity limit of the q-deformed partition function. The asymptotics of the combinatorial partition function yields the multi-matrix model for a generic \beta, which is essential for the application to the AGT relation.

Instanton counting and wall-crossing for orbifold quivers

2011-08-22T01:51:00.000-07:00

arXiv:1108.3922

M. Cirafici, A. Sinkovics, R.J. Szabo

We summarize the main aspects of our recent construction of noncommutative Donaldson-Thomas invariants for abelian orbifold singularities via the enumeration of instanton solutions in a six-dimensional noncommutative N=2 gauge theory; this construction is based on the generalized McKay correspondence and identifies the instanton counting with the counting of framed representations of a quiver which is naturally associated to the geometry of the singularity. We extend these constructions to compute BPS partition functions for higher-rank refined and motivic noncommutative Donaldson-Thomas invariants in the Coulomb branch in terms of gauge theory variables and orbifold data. We introduce the notion of virtual instanton quiver associated with the natural symplectic charge lattice which governs the quantum wall-crossing behaviour of BPS states in this context. The McKay correspondence naturally connects our formalism with other approaches to wall-crossing based on quantum monodromy operators and cluster algebras.

On a proof of the Bouchard-Sulkowski conjecture

2011-08-16T00:20:00.000-07:00

arXiv:1108.2831

S. Zhu

In this short note, we give a proof of the free energy part of the BKMP conjecture of C^3 proposed by Bouchard and Sulkowski [4]. Hence the proof of the full BKMP conjecture for the case of C^3 has been finished.

The remodeling conjecture and the Faber-Pandharipande formula

2011-08-15T01:43:00.000-07:00

arXiv:1108.2689

V. Bouchard, A. Catuneanu, O. Marchal, P. Sulkowski

In this note, we prove that the free energies F_g constructed from the Eynard-Orantin topological recursion applied to the curve mirror to C^3 reproduce the Faber-Pandharipande formula for genus g Gromov-Witten invariants of C^3. This completes the proof of the remodeling conjecture for C^3.

BPS Saturated String Amplitudes: K3 Elliptic Genus and Igusa Cusp Form chi_{10}

2011-08-05T10:27:00.000-07:00

arXiv:1108.0323

S. Hohenegger, S. Stieberger

We study BPS saturated one-loop amplitudes in type II string theory compactified on K3 x T^2. The classes of amplitudes we consider are only sensitive to the very basic topological data of the internal K3 manifold. As a consequence, the integrands of the former are related to the elliptic genus of K3, which can be decomposed into representations of the internal N=4 superconformal algebra. Depending on the precise choice of external states these amplitudes capture either only the contribution of the short multiplets or the full series including intermediate multiplets. In the latter case we can define a generating functional for the whole class, which we show is given by the weight ten Igusa cusp form chi_{10} of Sp(4,Z). We speculate on possible algebraic implications of our result on the BPS states of the N=4 type II compactification.

Moulting Black Holes

2011-08-05T08:32:00.000-07:00

arXiv:1108.0411

I. Bena, B.D. Chowdhury, J. de Boer, S. El-Showk, M. Shigemori

We find a family of novel supersymmetric phases of the D1-D5 CFT, which in certain ranges of charges have more entropy than all known ensembles. We also find bulk BPS configurations that exist in the same range of parameters as these phases, and have more entropy than a BMPV black hole; they can be thought of as coming from a BMPV black hole shedding a "hair" condensate outside of the horizon. The entropy of the bulk configurations is smaller than that of the CFT phases, which indicates that some of the CFT states are lifted at strong coupling. Neither the bulk nor the boundary phases are captured by the elliptic genus, which makes the coincidence of the phase boundaries particularly remarkable. Our configurations are supersymmetric, have non-Cardy-like entropy, and are the first instance of a black hole entropy enigma with a controlled CFT dual. Furthermore, contrary to common lore, these objects exist in a region of parameter space (between the "cosmic censorship bound" and the "unitarity bound") where no black holes were thought to exist.

The heterotic string at high temperature (or with strong supersymmetry breaking)

2011-07-28T02:50:00.000-07:00

arXiv:1107.5316

W. Schulgin, J. Troost

Perturbative heterotic string theory develops a single complex tachyonic mode beyond the Hagedorn temperature. We calculate the quartic effective potential for this tachyonic mode at the critical temperature. Equivalently, we determine the quartic effective potential for strong supersymmetric breaking via anti-perdiodic boundary conditions for fermions on a small circle. We give many details of the heterotic tachyon scattering amplitudes, including a unitarity check to fix all normalization constants. We discuss difficulties in obtaining an effective action valid at all radii. We argue that in certain variables, the quartic term in the potential is radius independent. Speculations on the properties of a new strongly curved phase that could occur after tachyon condensation are offered.

Mirror of the refined topological vertex from a matrix model

2011-07-27T04:09:00.001-07:00

arXiv:1107.5181

B. Eynard, C. Kozcaz

We find an explicit matrix model computing the refined topological vertex, starting from its representation in terms of plane partitions. We then find the spectral curve of that matrix model, and thus the mirror symmetry of the refined vertex. With the same method we also find a matrix model for the strip geometry, and we find its mirror curve. The fact that there is a matrix model shows that the refined topological string amplitudes also satisfy the remodeling the B-model construction.

Affine SU(N) algebra from wall-crossings

2011-07-27T02:27:00.000-07:00

arXiv:1107.4762

T. Nishinaka, S. Yamaguchi

We study the relation between the instanton counting on ALE spaces and the BPS state counting on a toric Calabi-Yau three-fold. We put a single D4-brane on a divisor isomorphic to A_{N-1}-ALE space in the Calabi-Yau three-fold, and evaluate the discrete changes of BPS partition function of D4-D2-D0 states in the wall-crossing phenomena. In particular, we find that the character of affine SU(N) algebra naturally arises in wall-crossings of D4-D2-D0 states. Our analysis is completely based on the wall-crossing formula for the d=4, N=2 supersymmetric theory obtained by dimensionally reducing the Calabi-Yau three-fold.

Gauge Theories on ALE Space and Super Liouville Correlation Functions

2011-07-27T01:36:00.000-07:00

arXiv:1107.4609

G. Bonelli, K. Maruyoshi, A. Tanzini

We present a relation between N=2 quiver gauge theories on the ALE space O_{P^1}(-2) and correlators of N=1 super Liouville conformal field theory, providing checks in the case of punctured spheres and tori. We derive a blow-up formula for the full Nekrasov partition function and show that, up to a U(1) factor, the N=2^* instanton partition function is given by the product of the character of \hat{SU}(2)_2 times the super Virasoro conformal block on the torus with one puncture.

Invariants of Toric Seiberg Duality

2011-07-22T01:40:00.000-07:00

arXiv:1107.4101

A. Hanany, Y.-H. He, V. Jejjala, J. Pasukonis, S. Ramgoolam, D. Rodriguez-Gomez

Three-branes at a given toric Calabi-Yau singularity lead to different phases of the conformal field theory related by toric (Seiberg) duality. Using the dimer model/brane tiling description in terms of bipartite graphs on a torus, we find a new invariant under Seiberg duality, namely the Klein j-invariant of the complex structure parameter in the distinguished isoradial embedding of the dimer, determined by the physical R-charges. Additional number theoretic invariants are described in terms of the algebraic number field of the R-charges. We also give a new compact description of the a-maximization procedure by introducing a generalized incidence matrix.

The overarching finite symmetry group of Kummer surfaces in the Mathieu group M_24

2011-07-20T02:26:00.000-07:00

arXiv:1107.3834

A. Taormina, K. Wendland

We construct a bijection between the full integral homology lattice of K3 and a Niemeier lattice, which is simultaneously compatible with the finite symplectic automorphism groups of several different Kummer K3 surfaces. Thereby we develop a device which allows us to express symplectic automorphisms of K3 surfaces explicitly as elements of the Mathieu group M_24, and to combine groups of symmetries from different K3 surfaces to larger groups by means of their simultaneous action on the Niemeier lattice. With this technique we generate the semidirect product group of C_2^4 and A_7, which is the overarching finite symmetry group of all Kummer surfaces, as the maximal subgroup of M_23 that preserves a specific octad. This group has order 40320, thus surpassing the size of the largest finite symplectic automorphism group of a K3 surface by orders of magnitude. The method used is based on Nikulin's lattice gluing techniques, and it identifies the symplectic automorphisms of Kummer surfaces as permutations of 24 elements preserving the Golay code. The examples of Kummer surfaces whose underlying complex tori are constructed from the D_4 and the square lattice are treated in detail, confirming the existence proofs of Mukai and Kondo, that their finite groups of symplectic automorphisms are subgroups of one of eleven subgroups of M_23. The framework presented here provides a line of attack to unravel the role of M_24 in the context of strings compactified on K3 surfaces.

Finite Time Vacuum Survival Amplitude and Vacuum Energy Decay

2011-07-18T13:00:00.000-07:00

arXiv:1107.3134

E. Álvarez, R. Vidal

The problem of the vacuum energy decay is studied for both signs of the cosmological constant, through the analysis of the vacuum survival amplitude, defined in terms of the {\em conformal time}, $z$, by ${\mathcal A}(z,z^\prime)\equiv <\text{vac}\,z\text{vac}\,z^\prime>$. Transition amplitudes are computed for finite time-span, $Z\equiv z^\prime-z$, and their {\em late time} behavior (directly related to the putative decay width of the state) as well as the transients are discussed up to first order in the coupling constant, $\lambda$.

Enhanced Gauge Groups in N=4 Topological Amplitudes and Lorentzian Borcherds Algebras

2011-07-14T02:00:00.000-07:00

arXiv:1107.2301

S. Hohenegger, D. Persson

We continue our study of algebraic properties of N=4 topological amplitudes in heterotic string theory compactified on T^2, initiated in arXiv:1102.1821. In this work we evaluate a particular one-loop amplitude for any enhanced gauge group h \subset e_8 + e_8, i.e. for arbitrary choice of Wilson line moduli. We show that a certain analytic part of the result has an infinite product representation, where the product is taken over the positive roots of a Lorentzian Kac-Moody algebra g^{++}. The latter is obtained through double extension of the complement g= (e_8 + e_8)/h. The infinite product is automorphic with respect to a finite index subgroup of the full T-duality group SO(2,18;Z) and, through the philosophy of Borcherds-Gritsenko-Nikulin, this defines the denominator formula of a generalized Kac-Moody algebra G(g^{++}), which is an 'automorphic correction' of g^{++}. We explicitly give the root multiplicities of G(g^{++}) for a number of examples.

Unravelling Mathieu Moonshine

2011-06-30T02:10:00.000-07:00

arXiv:1106.5715

Suresh Govindarajan

The D1-D5-KK-p system naturally provides an infinite dimensional module graded by the dyonic charges whose dimensions are counted by the Igusa cusp form, Phi_{10}(Z)$. We show that the Mathieu group, M_{24}, acts on this module by recovering the Siegel modular forms that count twisted dyons as a trace over this module. This is done by recovering Borcherds product formulae for these modular forms using the M_{24} action. This establishes the correspondence (`moonshine') proposed in arXiv:0907.1410 that relates conjugacy classes of M_{24} to Siegel modular forms. This also, in a sense that we make precise, subsumes existing moonshines for M_{24} that relates its conjugacy classes to eta-products and Jacobi forms.

BPS states, crystals and matrices

2011-06-28T09:19:00.000-07:00

arXiv:1106.4873

P. Sułkowski

We review free fermion, melting crystal and matrix model representations of wall-crossing phenomena on local, toric Calabi-Yau manifolds. We consider both unrefined and refined BPS counting of closed BPS states involving D2 and D0-branes bound to a D6-brane, as well as open BPS states involving open D2-branes ending on an additional D4-brane. Appropriate limit of these constructions provides, among the others, matrix model representation of refined and unrefined topological string amplitudes.

Matter and singularities

2011-06-26T01:37:00.000-07:00

arXiv:1106.3563

D.R. Morrison, W. Taylor

We analyze the structure of matter representations arising from codimension two singularities in F-theory, focusing on gauge groups SU(N). We give a detailed local description of the geometry associated with several types of singularities and the associated matter representations. We also construct global F-theory models for 6D and 4D theories containing these matter representations. The codimension two singularities encountered include examples where the apparent Kodaira singularity type does not need to be completely resolved to produce a smooth Calabi-Yau, examples with rank enhancement by more than one, and examples where the 7-brane configuration is singular. We identify novel phase transitions, in some of which the gauge group remains fixed but the singularity type and associated matter content change along a continuous family of theories. Global analysis of 6D theories on P^2 with 7-branes wrapped on curves of small degree reproduces the range of 6D supergravity theories identified through anomaly cancellation and other consistency conditions. Analogous 4D models are constructed through global F-theory compactifications on P^3, and have a similar pattern of SU(N) matter content. This leads to a constraint on the matter content of a limited class of 4D supergravity theories containing SU(N) as a local factor of the gauge group.

Knot Invariants from Four-Dimensional Gauge Theory

2011-06-26T00:52:00.000-07:00

arXiv:1106.4789

D. Gaiotto, E. Witten

It has been argued based on electric-magnetic duality and other ingredients that the Jones polynomial of a knot in three dimensions can be computed by counting the solutions of certain gauge theory equations in four dimensions. Here, we attempt to verify this directly by analyzing the equations and counting their solutions, without reference to any quantum dualities. After suitably perturbing the equations to make their behavior more generic, we are able to get a fairly clear understanding of how the Jones polynomial emerges. The main ingredient in the argument is a link between the four-dimensional gauge theory equations in question and conformal blocks for degenerate representations of the Virasoro algebra in two dimensions. Along the way we get a better understanding of how our subject is related to a variety of new and old topics in mathematical physics, ranging from the Bethe ansatz for the Gaudin spin chain to the $M$-theory description of BPS monopoles and the relation between Chern-Simons gauge theory and Virasoro conformal blocks.

|Z_{Kup}|=|Z_{Henn}|^2} for Lens spaces

2011-06-21T11:51:00.000-07:00

arXiv:1106.3313

L. Chang, Z. Wang

M.\ Hennings and G.\ Kuperberg defined quantum invariants Z_{Henn} and Z_{Kup} of oriented 3-manifolds based on certain Hopf algebras, respectively. We prove that Z_{Kup}=Z_{Henn}^2 for lens spaces when both invariants are based on factorizable finite dimensional ribbon Hopf algebras. Recently a fermionic generalization of the Turaev-Viro state sum TQFTs is proposed using Grassmann variables. We conjecture that the Kuperberg invariants for non-semisimple Hopf algebras are the partition functions of such "TQFTs for fermion systems".

Adelization of Automorphic Distributions and Mirabolic Eisenstein Series

2011-06-21T11:41:00.000-07:00

arXiv:1106.2583

S.D. Miller, W. Schmid

Automorphic representations can be studied in terms of the embeddings of abstract models of representations into spaces of functions on Lie groups that are invariant under discrete subgroups. In this paper we describe an adelic framework to describe them for the group GL(n,R), and provide a detailed analysis of the automorphic distributions associated to the mirabolic Eisenstein series. We give an explicit functional equation for some distributional pairings involving this mirabolic Eisenstein distribution, and the action of intertwining operators.

Categorification of highest weight modules over quantum generalized Kac-Moody algebras

2011-06-21T11:25:00.000-07:00

arXiv:1106.2635

S.-J. Kang, M. Kashiwara, S.-j. Oh

Let $U_q(\g)$ be a quantum generalized Kac-Moody algebra and let $V(\Lambda)$ be the integrable highest weight $U_q(\g)$-module with highest weight $\Lambda$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^\Lambda$ provides a categorification of $V(\Lambda)$.

Partition Functions of Holographic Minimal Models

2011-06-14T01:45:00.000-07:00

arXiv:1106.1897

M.R. Gaberdiel, R. Gopakumar, T. Hartman, S. Raju

The partition function of the W_N minimal model CFT is computed in the large N 't Hooft limit and compared to the spectrum of the proposed holographic dual, a 3d higher spin gravity theory coupled to massive scalar fields. At finite N, the CFT contains additional light states that are not visible in the perturbative gravity theory. We carefully define the large N limit, and give evidence that, at N = infinity, the additional states become null and decouple from all correlation functions. The surviving states are shown to match precisely (for all values of the 't Hooft coupling) with the spectrum of the higher spin gravity theory. The agreement between bulk and boundary is partially explained by symmetry considerations involving the conjectured equivalence between the W_N algebra in the large N limit and the higher spin algebra of the Vasiliev theory.

An(1) Affine Quiver Matrix Model

2011-06-09T11:18:00.000-07:00

arXiv:1106.1539

H. Itoyama, T. Oota

We introduce An(1) (n=1,2,...) affine quiver matrix model by simply adopting the extended Cartan matrices as incidence matrices and study its finite N Schwinger-Dyson equations as well as their planar limit. In the case of n=1, we extend our analysis to derive the cubic planar loop equation for one-parameter family of models labelled by alpha: alpha=1 and alpha=2 correspond to the non-affine A2 case and the affine A1(1) case respectively. In the case of n=2, we derive three sets of constraint equations for the resolvents which are quadratic, cubic and quartic respectively.

BKM superalgebras from counting dyons in N=4 supersymmetric type II compactifications

2011-06-08T03:02:00.001-07:00

arXiv:1106.1318

S. Govindarajan, D.P. Jatkar, K.G. Krishna

We study the degeneracy of quarter BPS dyons in N =4 type II compactifications of string theory. We find that the genus-two Siegel modular forms generating the degeneracies of the quarter BPS dyons in the type II theories can be expressed in terms of the genus-two Siegel modular forms generating the degeneracies of quarter BPS dyons in the CHL theories and the heterotic string. This helps us in understanding the algebra structure underlying the degeneracy of the quarter BPS states. The Conway group, Co_1, plays a role similar to Mathieu group, M_{24}, in the CHL models with eta quotients appearing in the place of eta products. We construct BKM Lie superalgebra structures corresponding to Z_N (for N=2,3,4) orbifolds of the type II string compactified on a six-torus.

Loop equations and topological recursion for the arbitrary-$\beta$ two-matrix model

2011-06-03T05:22:00.000-07:00

arXiv:1106.0332

M. Bergére, B. Eynard, O. Marchal, A. Prats-Ferrer

We write the loop equations for the $\beta$ two-matrix model, and we propose a topological recursion algorithm to solve them, order by order in a small parameter. We find that to leading order, the spectral curve is a "quantum" spectral curve, i.e. it is given by a differential operator (instead of an algebraic equation for the hermitian case). Here, we study the case where that quantum spectral curve is completely degenerate, it satisfies a Bethe ansatz, and the spectral curve is the Baxter TQ relation.

Matrix model from N = 2 orbifold partition function

2011-06-01T01:49:00.000-07:00

arXiv:1105.6091

T. Kimura

The orbifold generalization of the partition function, which would describe the gauge theory on the ALE space, is investigated from the combinatorial perspective. It is shown that the root of unity limit of the q-deformed partition function plays a crucial role on the orbifold projection. Then starting from the combinatorial representation of the partition function, a new type of multi-matrix model is derived by considering its asymptotic behavior. It is also shown that Seiberg-Witten curve for the corresponding gauge theory arises from the spectral curve of this multi-matrix model.

Knot Homology from Refined Chern-Simons Theory

2011-05-27T03:47:00.000-07:00

arXiv:1105.5117

M. Aganagic, S. Shakirov

We formulate a refinement of SU(N) Chern-Simons theory on a three-manifold via the refined topological string and the (2,0) theory on N M5 branes. The refined Chern-Simons theory is defined on any three-manifold with a semi-free circle action. We give an explicit solution of the theory, in terms of a one-parameter refinement of the S and T matrices of Chern-Simons theory, related to the theory of Macdonald polynomials. The ordinary and refined Chern-Simons theory are similar in many ways; for example, the Verlinde formula holds in both. We obtain new topological invariants of Seifert three-manifolds and torus knots inside them. We conjecture that the knot invariants we compute are the Poincare polynomials of the sl(n) knot homology theory. The latter includes the Khovanov-Rozansky knot homology, as a special case. The conjecture passes a number of nontrivial checks. We show that, for a large number of torus knots colored with the fundamental representation of SU(N), our knot invariants agree with the Poincare polynomials of Khovanov-Rozansky homology. As a byproduct, we show that our theory on S^3 has a large-N dual which is the refined topological string on X=O(-1)+O(-1)->P^1; this supports the conjecture by Gukov, Schwarz and Vafa relating the spectrum of BPS states on X to sl(n) knot homology. We also provide a matrix model description of some amplitudes of the refined Chern-Simons theory on S^3.

3d Partition Function as Overlap of Wavefunctions

2011-05-25T03:11:00.000-07:00

arXiv:1105.4390

T. Nishioka, Y. Tachikawa, M. Yamazaki

We compute the partition function on S^3 of 3d N=4 theories which arise as the low-energy limit of 4d N=4 super Yang-Mills theory on a segment or on a junction, and propose its 1d interpretation. We show that the partition function can be written as an overlap of wavefunctions determined by the boundary conditions. We also comment on the connection of our results with the 4d superconformal index and the 2d q-deformed Yang-Mills theory.

Duality for Topological Modular Forms

2011-05-23T02:00:00.000-07:00

arXiv:1105.3968

V. Stojanoska

It has been observed that certain localizations of the spectrum of topological modular forms $ tmf $ are self-dual (Mahowald-Rezk, Gross-Hopkins). We provide an integral explanation of these results that is internal to the geometry of the (compactified) moduli stack of elliptic curves $ \M $, yet is only true in the derived setting. When $ 2 $ is inverted, choice of level-$ 2 $-structure for an elliptic curve provides a geometrically well-behaved cover of $ \M $, which allows one to consider $ tmf $ as the homotopy fixed points of $ tmf(2) $, topological modular forms with level-$ 2 $-structure, under a natural action by $ GL_2(\Z/2) $. As a result of Grothendieck-Serre duality, we obtain that $ tmf(2) $ is self-dual. The vanishing of the associated Tate spectrum then makes $ tmf $ itself Anderson self-dual.

On Hilbert-Polya conjecture: Hermitian operator naturally associated to L-functions

2011-05-15T01:11:00.000-07:00

arXiv:1105.1500

B. Barrau

Using as starting point a classical integral representation of a L-function we define a familly of two variables extended functions which are eigenfunctions of a Hermitian operator (having imaginary part of zeros as eigenvalues). This Hermitian operator can take also other forms, more symetric. In the case of particular L-functions, like Zeta function or Dirichlet L-functions, the eigenfunctions defined for this operator have symmetry properties. Moreover, for s zero of Zeta function (or Dirichlet L-function), the associated eigenfunction has a specific property (a part of eigenfunction is cancelled). Finding such an eigenfunction, square integrable due to this "cancellation effect", would lead to Riemann Hypothesis using Hilbert-Polya idea.

3D-partition functions on the sphere: exact evaluation and mirror symmetry

2011-05-14T06:09:00.000-07:00

arXiv:1105.2551

S. Benvenuti, S. Pasquetti

We study N = 4 quiver theories on the three-sphere. We compute partition functions using the localisation method by Kapustin et al. solving exactly the matrix integrals at finite N, as functions of mass and Fayet-Iliopoulos parameters. We find a simple explicit formula for the partition function of the quiver tail T(SU(N)). This formula opens the way for the analysis of star-shaped quivers and their mirrors (that are the Gaiotto-type theories arising from M5 branes on punctured Riemann surfaces). We provide non-perturbative checks of mirror symmetry for infinite classes of theories and find the partition functions of the TN theory, the building block of generalised quiver theories.

Topological recursion and mirror curves

2011-05-12T03:52:00.000-07:00

arXiv:1105.2052

V. Bouchard, P. Sułkowski

We study the constant contributions to the free energies obtained through the topological recursion applied to the complex curves mirror to toric Calabi-Yau threefolds. We show that the recursion reproduces precisely the corresponding Gromov-Witten invariants, which can be encoded in powers of the MacMahon function. As a result, we extend the scope of the "remodeling conjecture" to the full free energies, including the constant contributions. In the process we study how the pair of pants decomposition of the mirror curves plays an important role in the topological recursion. We also show that the free energies are not, strictly speaking, symplectic invariants, and that the recursive construction of the free energies does not commute with certain limits of mirror curves.

Torus knots and mirror symmetry

2011-05-12T03:49:00.000-07:00

arXiv:1105.2012

A. Brini, B. Eynard, M. Marino

We propose a spectral curve describing torus knots and links in the B-model. In particular, the application of the topological recursion to this curve generates all their colored HOMFLY invariants. The curve is obtained by exploiting the full Sl(2, Z) symmetry of the spectral curve of the resolved conifold, and should be regarded as the mirror of the topological D-brane associated to torus knots in the large N Gopakumar-Vafa duality. Moreover, we derive the curve as the large N limit of the matrix model computing torus knot invariants.

Quantum Geometry of Refined Topological Strings

2011-05-04T12:06:00.000-07:00

arXiv:1105.0630

M. Aganagic, M.C.N. Cheng, R. Dijkgraaf, D. Krefl, C. Vafa

We consider branes in refined topological strings. We argue that their wave-functions satisfy a Schr\"odinger equation depending on multiple times and prove this in the case where the topological string has a dual matrix model description. Furthermore, in the limit where one of the equivariant rotations approaches zero, the brane partition function satisfies a time-independent Schroedinger equation. We use this observation, as well as the back reaction of the brane on the closed string geometry, to offer an explanation of the connection between integrable systems and N=2 gauge systems in four dimensions observed by Nekrasov and Shatashvili.

An exact formula relating lattice points in symmetric spaces to the automorphic spectrum

2011-05-03T11:57:00.000-07:00

arXiv:1104.5406

A. DeCelles

We extract an exact formula relating the number of lattice points in an expanding region of a complex semi-simple symmetric space and the automorphic spectrum from a spectral identity, which is obtained by producing two expressions for the automorphic fundamental solution of the invariant differential operator (Delta - lambda_z)^N. On one hand, we form a Poincare series from the solution to the corresponding differential equation on the free space G/K, which is obtained using the harmonic analysis of bi-K-invariant functions. On the other hand, a suitable global automorphic Sobolev theory, developed in this paper, enables us to use the harmonic analysis of automorphic forms to produce a solution in terms of the automorphic spectrum.

A note on the generalized q-Bernoulli measures with weight a

2011-05-03T11:46:00.000-07:00

arXiv:1104.5420

D.V. Dolgy, T. Kim, S.H. Lee, C.S. Ryoo

In this paper we consider the generalized q-Bernoulli measures with weight alpha. From those measures, we derive some interesting properties on the generalized q-Bernoulli numbers with weight alpha attached to chi.

Twisted K-theory, K-homology and (dual) Chern-Connes character of some infinite dimensional spaces

2011-05-03T11:34:00.000-07:00

arXiv:1104.4835

S. Mahanta

We study the twisted K-theory and K-homology of some infinite dimensional spaces, like SU(\infty), in the framework of operator K-theory. We use bivariant K-theory for locally convex algebras, specialized to K-theory, to study the twisted K-theory of such spaces. We also investigate the twisted periodic cyclic homology via locally convex algebras and the local cyclic homology via C*-algebras (in the compact case). There is a general procedure to construct bivariant K-theories, which is due to Cuntz. We apply his formalism to the category of separable sigma-C*-algebras and construct a bivariant Chern-Connes type character taking values in Puschnigg's bivariant local cyclic homology. Finally we focus on the dual Chern-Connes character from (analytic) K-homology to local cyclic cohomology and analyse its structure under some reasonable hypotheses.

Cohomological localization of Chern-Simons theory

2011-04-30T08:28:00.000-07:00

arXiv:1104.5353
J. Kallen
We generalize the framework introduced by Kapustin et al. for doing path integral localization in Chern-Simons theory to work on any Seifert manifold. This is done by topologically twisting the supersymmetric theory considered by Kapustin et al., after which the theory takes a cohomological form. We also consider Wilson loops which wrap the fiber directions and compute their expectation values. We discuss the relation with other approaches to exact path integral calculations in Chern-Simons theory.

Quantum Hitchin Systems via beta-deformed Matrix Models

2011-04-21T11:37:00.000-07:00

arXiv:1104.4016

G. Bonelli, K. Maruyoshi, A. Tanzini

We study the quantization of Hitchin systems in terms of beta-deformations of generalized matrix models related to conformal blocks of Liouville theory on punctured Riemann surfaces. We show that in a suitable limit, corresponding to the Nekrasov-Shatashvili one, the loop equations of the matrix model reproduce the Hamiltonians of the quantum Hitchin system on the sphere and the torus with marked points. The eigenvalues of these Hamiltonians are shown to be the epsilon1-deformation of the chiral observables of the corresponding N=2 four dimensional gauge theory. Moreover, we find the exact wave-functions in terms of the matrix model representation of the conformal blocks with degenerate field insertions.

The 4d Superconformal Index from q-deformed 2d Yang-Mills

2011-04-20T12:30:00.000-07:00

arXiv:1104.3850

A. Gadde, L. Rastelli, S.S. Razamat, W. Yan

We identify the 2d topological theory underlying the N=2 4d superconformal index with an explicit model: q-deformed 2d Yang-Mills. By this route we are able to evaluate the index of some strongly-coupled 4d SCFTs, such as Gaiotto's T_N theories.

Notes on Euclidean Wilson loops and Riemann Theta functions

2011-04-19T02:13:00.000-07:00

arXiv:1104.3567

R. Ishizeki, M. Kruczenski, S. Ziama

The AdS/CFT correspondence relates Wilson loops in N=4 SYM theory to minimal area surfaces in AdS5 space. In this paper we consider the case of Euclidean flat Wilson loops which are related to minimal area surfaces in Euclidean AdS3 space. Using known mathematical results for such minimal area surfaces we describe an infinite parameter family of analytic solutions for closed Wilson loops. The solutions are given in terms of Riemann theta functions and the validity of the equations of motion is proven based on the trisecant identity. A relatively simple formula is derived for the renormalized area and an example is discussed in detail with plots of the corresponding surface. For each Wilson loops we explicitly construct a one parameter family of deformations that preserve the area. The parameter is the so called spectral parameter. Furthermore, for genus three we find a map between these Wilson loops and closed curves inside the Riemann surface.

Intersection numbers of spectral curves

2011-04-08T05:31:00.000-07:00

arXiv:1104.0176

B. Eynard

We compute the symplectic invariants of an arbitrary spectral curve with only 1 branchpoint in terms of integrals of characteristic classes in the moduli space of curves. Our formula associates to any spectral curve, a characteristic class, which is determined by the laplace transform of the spectral curve. This is a hint to the key role of Laplace transform in mirror symmetry. When the spectral curve is y=\sqrt{x}, the formula gives Kontsevich--Witten intersection numbers, when the spectral curve is chosen to be the Lambert function \exp{x}=y\exp{-y}, the formula gives the ELSV formula for Hurwitz numbers, and when one chooses the mirror of C^3 with framing f, i.e. \exp{-x}=\exp{-yf}(1-\exp{-y}), the formula gives the Marino-Vafa formula, i.e. the generating function of Gromov-Witten invariants of C^3. In some sense this formula generalizes ELSV, Marino-Vafa formula, and Mumford formula.

Heterotic E6 GUTs and Partition Functions

2011-04-08T05:10:00.000-07:00

arXiv:1104.0765

M. Ito, S. Kuwakino, N. Maekawa, S. Moriyama, K. Takahashi, K. Takei, S. Teraguchi, T. Yamashita

The E6 grand unified theory is an attractive candidate for the intermediate theory between the standard model and string theory. However, only one E6 grand unified model with three generations and at least one adjoint Higgs field had been derived from string theory in the literature, which is phenomenologically not satisfactory. Recently, in arXiv:1012.1690, we have constructed two new such E6 grand unified models in heterotic asymmetric orbifold. Although our new models themselves cannot resolve the dissatisfaction in the previous model, our discovery raises hopes that one can construct many other such models in this framework and find better ones. Here, by showing partition functions explicitly, we shall explain the details of our construction. Combining all the techniques developed so far in various literatures, we can construct models rather systematically. We hope that these techniques and the details of our construction will lead to more phenomenologically desirable models.

Lectures on localization and matrix models in supersymmetric Chern-Simons-matter theories

2011-04-08T05:02:00.000-07:00

arXiv:1104.0783

M. Marino

In these lectures I give a pedagogical presentation of some of the recent progress in supersymmetric Chern-Simons-matter theories, coming from the use of localization and matrix model techniques. The goal is to provide a simple derivation of the exact interpolating function for the free energy of ABJM theory on the three-sphere, which implies in particular the N^{3/2} behavior at strong coupling. I explain in detail part of the background needed to understand this derivation, like holographic renormalization, localization of path integrals, and large N techniques in matrix models.

Seiberg-like duality in three dimensions for orthogonal gauge groups

2011-04-05T01:00:00.000-07:00

arXiv:1104.0466

A. Kapustin

We propose a duality for N=2 d=3 Chern-Simons gauge theories with orthogonal gauge groups and matter in the vector representation. This duality generalizes level-rank duality for pure Chern-Simons gauge theories with orthogonal gauge groups and is reminiscent of Seiberg duality in four dimensions. We perform extensive checks by comparing partition functions of theories related by dualities. We also determine the conformal dimensions of fields using Z-extremization.

SL(2,R) Chern-Simons, Liouville, and Gauge Theory on Duality Walls

2011-04-01T04:24:00.000-07:00

arXiv:1103.5748

Y. Terashima, M. Yamazaki

We propose an equivalence of the partition functions of two different 3d gauge theories. On one side of the correspondence we consider the partition function of 3d SL(2,R) Chern-Simons theory on a 3-manifold, obtained as a punctured Riemann surface times an interval. On the other side we have a partition function of a 3d N=2 superconformal field theory on S^3, which is realized as a duality domain wall in a 4d gauge theory on S^4. We sketch the proof of this conjecture using connections with quantum Liouville theory and quantum Teichmuller theory, and study in detail the example of the once-punctured torus. Motivated by these results we advocate a direct Chern-Simons interpretation of the ingredients of (a generalization of) the Alday-Gaiotto-Tachikawa relation. We also comment on M5-brane realizations as well as on possible generalizations of our proposals.

Resolvents and Seiberg-Witten representation for Gaussian beta-ensemble

2011-03-30T04:32:00.000-07:00

arXiv:1103.5470

A. Mironov, A. Morozov, A. Popolitov, S. Shakirov

The exact free energy of matrix model always obeys the Seiberg-Witten (SW) equations on a complex curve defined by singularities of the quasiclassical resolvent. The role of SW differential is played by the exact one-point resolvent. We show that these properties are preserved in generalization of matrix models to beta-ensembles. However, since the integrability and Harer-Zagier topological recursion are still unavailable for beta-ensembles, we need to rely upon the ordinary AMM/EO recursion to evaluate the first terms of the genus expansion. Consideration in this paper is restricted to the Gaussian model.

Nonperturbative aspects of ABJM theory

2011-03-27T05:10:00.001-07:00

arXiv:1103.4844

N. Drukker, M. Marino, P. Putrov

Using the matrix model which calculates the exact free energy of ABJM theory on S^3 we study non-perturbative effects in the large N expansion of this model, i.e., in the genus expansion of type IIA string theory on AdS4xCP^3. We propose a general prescription to extract spacetime instanton actions from general matrix models, in terms of period integrals of the spectral curve, and we use it to determine them explicitly in the ABJM matrix model, as exact functions of the 't Hooft coupling. We confirm numerically that these instantons control the asymptotic growth of the genus expansion. Furthermore, we find that the dominant instanton action at strong coupling determined in this way exactly matches the action of an Euclidean D2-brane instanton wrapping RP^3.

Gauge theories on $\Omega$-backgrounds from non commutative Seiberg-Witten curves

2011-03-27T02:49:00.000-07:00

arXiv:1103.4495

F. Fucito, J.F. Morales, R. Poghossian, D.R. Pacifici

We study the dynamics of a ${\cal N}=2$ supersymmetric SU(N) gauge theory with fundamental or adjoint matter in presence of a non trivial $\Omega$-background along a two dimensional plane. The prepotential and chiral correlators of the gauge theory can be obtained, via a saddle point analysis, from an equation which can be viewed as a non commutative version of the "standard" Seiberg and Witten curve.

Topological modular forms and conformal nets

2011-03-27T02:34:00.001-07:00

arXiv:1103.4187

C.L. Douglas, A.G. Henriques

We describe the role conformal nets, a mathematical model for conformal field theory, could play in a geometric definition of the generalized cohomology theory TMF of topological modular forms. Inspired by work of Segal and Stolz-Teichner, we speculate that bundles of boundary conditions for the net of free fermions will be the basic underlying objects representing TMF-cohomology classes. String structures, which are the fundamental orientations for TMF-cohomology, can be encoded by defects between free fermions, and we construct the bundle of fermionic boundary conditions for the TMF-Euler class of a string vector bundle. We conjecture that the free fermion net exhibits an algebraic periodicity corresponding to the 576-fold cohomological periodicity of TMF; using a homotopy-theoretic invariant of invertible conformal nets, we establish a lower bound of 24 on this periodicity of the free fermions.

Higher rank stable pairs on K3 surfaces

2011-03-22T05:59:00.001-07:00

arXiv:1103.3727

B. Bakker, A. Jorza

The reduced Gromov-Witten theory of K3 surfaces has been computed in primitive classes by Maulik, Pandharipande, and Thomas; the partition functions are quasimodular forms, and there is a MNOP-style equivalence via a change of variable with generating functions of Euler characteristics of moduli spaces of rank $r=0$ stable pairs with $n=1$ sections. We compute the Hodge polynomials of the moduli spaces of stable pairs for higher rank $r\geq 0$ and level $n\geq 1$, and explore the modularity properties and the relationship to Gromov-Witten theory.

Integrability of Hurwitz Partition Functions. I. Summary

2011-03-22T05:36:00.000-07:00

arXiv:1103.4100

A. Alexandrov, A. Mironov, A. Morozov, S. Natanzon

Partition functions often become \tau-functions of integrable hierarchies, if they are considered dependent on infinite sets of parameters called time variables. The Hurwitz partition functions Z = \sum_R d_R^{2-k}\chi_R(t^{(1)})...\chi_R(t^{(k)})\exp(\sum_n \xi_nC_R(n)) depend on two types of such time variables, t and \xi. KP/Toda integrability in t requires that k\leq 2 and also that C_R(n) are selected in a rather special way, in particular the naive cut-and-join operators are not allowed for n>2. Integrability in \xi further restricts the choice of C_R(n), forbidding, for example, the free cumulants. It also requires that k\leq 1. The quasiclassical integrability (the WDVV equations) is naturally present in \xi variables, but also requires a careful definition of the generating function.

On $p$-adic quaternionic Eisenstein series

2011-03-19T07:24:00.000-07:00

arXiv:1103.2806

T. Kikuta, S. Nagaoka

We show that certain $p$-adic Eisenstein series for quaternionic modular groups of degree 2 become "real" modular forms of level $p$ in almost all cases. To prove this, we introduce a $U(p)$ type operator. We also show that there exists a $p$-adic Eisenstein series of the above type that has transcendental coefficients. Former examples of $p$-adic Eisenstein series for Siegel and Hermitian modular groups are both rational (i.e., algebraic).

Equivariant Modular Categories via Dijkgraaf-Witten Theory

2011-03-19T07:08:00.000-07:00

arXiv:1103.2963

J. Maier, T. Nikolaus, C. Schweigert

Based on a weak action of a finite group J on a finite group G, we present a geometric construction of J-equivariant Dijkgraaf-Witten theory as an extended topological field theory. The construction yields an explicitly accessible class of equivariant modular tensor categories. For the action of a group J on a group G, the category is described as the representation category of a J-ribbon algebra that generalizes the Drinfel'd double of the finite group G.

On the Spectrum of D=2 Supersymmetric Yang-Mills Quantum Mechanics

2011-03-16T02:17:00.000-07:00

arXiv:1103.2861

Y. Michishita

We investigate the structure of the spectrum of states in D=2 SU(N) supersymmetric Yang-Mills matrix quantum mechanics, which is a simplified model of Matrix theory. We compute the thermal partition function of this system and give evidence for the correctness of naively conjectured structure of the spectrum. It also suggests that Claudson-Halpern-Samuel solution is the unique eigenfunction of simultaneously diagonalizable hermitian operators, and we show that it is true in N=3 and N=4 cases.

Semiclassical Strings in AdS_5 x S^5 and Automorphic Functions

2011-03-16T01:42:00.001-07:00

arXiv:1103.2819

M. Pawellek

Using AdS/CFT we derive from the folded spinning string ordinary differential equations for the anomalous dimension of the dual N=4 SYM twist-two operators at strong coupling. We show that for large spin the asymptotic solutions have the Gribov-Lipatov recirocity property. To obtain this result we use a hidden modular invariance of the energy-spin relation of the folded spinning string. Further we identify the Moch-Vermaseren-Vogt (MVV) relations, which were first recognized in plain QCD calculations, as the recurrence relations of the asymptotic series ansatz.

Wall-Crossing in Coupled 2d-4d Systems

2011-03-15T06:24:00.000-07:00

arXiv:1103.2598

D. Gaiotto, G.W. Moore, A. Neitzke

We introduce a new wall-crossing formula which combines and generalizes the Cecotti-Vafa and Kontsevich-Soibelman formulas for supersymmetric 2d and 4d systems respectively. This 2d-4d wall-crossing formula governs the wall-crossing of BPS states in an N=2 supersymmetric 4d gauge theory coupled to a supersymmetric surface defect. When the theory and defect are compactified on a circle, we get a 3d theory with a supersymmetric line operator, corresponding to a hyperholomorphic connection on a vector bundle over a hyperkahler space. The 2d-4d wall-crossing formula can be interpreted as a smoothness condition for this hyperholomorphic connection. We explain how the 2d-4d BPS spectrum can be determined for 4d theories of class S, that is, for those theories obtained by compactifying the six-dimensional (0,2) theory with a partial topological twist on a punctured Riemann surface C. For such theories there are canonical surface defects. We illustrate with several examples in the case of A_1 theories of class S. Finally, we indicate how our results can be used to produce solutions to the A_1 Hitchin equations on the Riemann surface C.

The unitary Chern-Simons matrix model and two dimensional Yang-Mills theory with the Villain action

2011-03-15T05:37:00.000-07:00

arXiv:1103.2421

M. Romo, M. Tierz

We use the Villain approximation to show that the Gross-Witten model, in the weak and strong coupling limits, is related to the unitary matrix model that describes U(N) Chern-Simons theory on S^3. The weak-coupling limit corresponds to the q\rightarrow 1 limit of the Chern-Simons theory while the strong-coupling regime is related to the q\rightarrow 0 limit, with the particularity of a logarithmic relationship between the respective coupling constants. We also show how the Chern-Simons matrix model follows by considering two-dimensional Yang-Mills theory with the Villain action. This leads to a U(1)^N theory which is the Abelianization of 2d Yang-Mills theory with the heat-kernel lattice action, that we show to be equivalent to q-deformed 2d Yang-Mills theory. We also study the relationship between the unitary and Hermitian matrix models and the rotation of the integration contour in the corresponding integrals.

Gromov--Witten invariants for mirror orbifolds of simple elliptic singularities

2011-03-13T08:40:00.000-07:00

arXiv:1103.0951

I. Satake, A. Takahashi

We consider a mirror symmetry of simple elliptic singularities. In particular, we construct isomorphisms of Frobenius manifolds among the one from the Gromov--Witten theory of an weighted projective line, the one from the theory of primitive forms for a universal unfolding of a simple elliptic singularity and the one from the invariant theory for an elliptic Weyl group. As a consequence, we give a geometric interpretation of the Fourier coefficients of an eta product considered by K. Saito.

Automorphic Instanton Partition Functions on Calabi-Yau Threefolds

2011-03-08T01:55:00.000-08:00

arXiv:1103.1014

D. Persson

We survey recent results on quantum corrections to the hypermultiplet moduli space M in type IIA/B string theory on a compact Calabi-Yau threefold X, or, equivalently, the vector multiplet moduli space in type IIB/A on X x S^1. Our main focus lies on the problem of resumming the infinite series of D-brane and NS5-brane instantons, using the mathematical machinery of automorphic forms. We review the proposal that whenever the low-energy theory in D=3 exhibits an arithmetic "U-duality" symmetry G(Z) the total instanton partition function arises from a certain unitary automorphic representation of G, whose Fourier coefficients reproduce the BPS-degeneracies. For D=4, N=2 theories on R^3 x S^1 we argue that the relevant automorphic representation falls in the quaternionic discrete series of G, and that the partition function can be realized as a holomorphic section on the twistor space Z over M. We also offer some comments on the close relation with N=2 wall crossing formulae.