Black Hole Probes of Automorphic Space

arXiv:1212.5975

R. Schimmrigk

Over the past few years the arithmetic Langlands program has proven useful in addressing physical problems. In this paper it is shown how Langlands' reciprocity conjecture for automorphic forms, in combination with a representation theoretic notion of motives, suggests a framework in which the entropy of automorphic black holes can be viewed as a probe of spacetime that is sensitive to the geometry of the extra dimensions predicted by string theory. If it were possible to produce black holes with automorphic entropy in the laboratory their evaporation would provide us with information about the precise shape of the compact geometry.

On interactions between harmonic analysis and the theory of automorphic forms

arXiv:1212.5313

M. Tadic

In this paper we review some connections between harmonic analysis and the modern theory of automorphic forms. We indicate in some examples how the study of problems of harmonic analysis brings us to the important objects of the theory of automorphic forms, and conversely. We consider classical groups and their unitary, tempered, automorphic and unramified duals. The most important representations in our paper are the isolated points in these duals.

Large N techniques for Nekrasov partition functions and AGT conjecture

arXiv:1212.4972

J.-E. Bourgine

The AGT conjecture relates \mathcal{N}=2 4d SUSY gauge theories to 2d CFTs. Matrix model techniques can be used to investigate both sides of this relation. The large N limit refers here to the size of Young tableaux in the expression of the gauge theory partition function. It corresponds to vanishing of Omega-background equivariant deformation parameters, and should not be confused with the t'Hooft expansion at large number of colors. In the first part of the paper, a saddle point approach is employed to study the Nekrasov-Shatshvili limit of the gauge theory, leading to define beta-deformed, or quantized, Seiberg-Witten curve and differential form. In a second part, this formalism is compared to the large N limit of the Dijkgraaf-Vafa beta-ensemble. A transformation law relating the wave functions appearing at both sides of the conjecture is proposed. It implies a transformation of the Seiberg-Witten 1-form in agreement with the definition proposed earlier. As a side result, a remarkable property of the \mathcal{N}=2 theory emerged: the instanton contribution to the partition function can be determined from the pertubative term analysis.

Membrane instantons from a semiclassical TBA

arXiv:1212.5118

Flavio Calvo, Marcos Marino

The partition function on the three-sphere of ABJM theory contains non-perturbative corrections which correspond to membrane instantons in M-theory. These corrections can be studied in the Fermi gas approach to the partition function, and they are encoded in a system of integral equations of the TBA type. We study a semiclassical or WKB expansion of this TBA system in the ABJM coupling k, which corresponds to the strong coupling expansion of the type IIA string. This allows us to study membrane instanton corrections in M-theory at high order in the WKB expansion. Using these WKB results, we verify the conjectures for the form of the one-instanton correction at finite k proposed recently by Hatsuda, Moriyama and Okuyama (HMO), which are in turn based on a conjectural cancellation of divergences between worldsheet instantons and membrane instantons. The HMO cancellation mechanism is important since it shows in a precise, quantitative way, that the perturbative genus expansion is radically insufficient at strong coupling, and that non-perturbative membrane effects are essential to make sense of the theory. We propose analytic expressions in k for the full two-membrane instanton correction and for higher-order non-perturbative terms, which pass many consistency checks and provide further evidence for the HMO mechanism.

The Partition Function of ABJ Theory

arXiv:1212.2966

H. Awata, S. Hirano, M. Shigemori

We study the partition function of the N=6 supersymmetric U(N_1)_k x U(N_2)_{-k} Chern-Simons-matter (CSM) theory, also known as the ABJ theory. For this purpose, we first compute the partition function of the U(N_1) x U(N_2) lens space matrix model exactly. The result can be expressed as a product of q-deformed Barnes G-function and a generalization of multiple q-hypergeometric function. The ABJ partition function is then obtained from the lens space partition function by analytically continuing N_2 to -N_2. The answer is given by min(N_1,N_2)-dimensional integrals and generalizes the "mirror description" of the partition function of the ABJM theory, i.e. the N=6 supersymmetric U(N)_k x U(N)_{-k} CSM theory. Our expression correctly reproduces perturbative expansions and vanishes for |N_1-N_2|>k in line with the conjectured supersymmetry breaking, and the Seiberg duality is explicitly checked for a class of nontrivial examples.

Bijective Projections on Parabolic Quotients of Affine Weyl Groups

arXiv:1212.0771

E. Beazley, M. Nichols, M.H. Park, X. Shi, A. Youcis

Affine Weyl groups and their parabolic quotients are used extensively as indexing sets for objects in combinatorics, representation theory, algebraic geometry, and number theory. Moreover, in the classical Lie types we can conveniently realize the elements of these quotients via intuitive geometric and combinatorial models such as abaci, alcoves, coroot lattice points, core partitions, and bounded partitions. Berg, Jones, and Vazirani described a bijection between n-cores with first part equal to k and (n-1)-cores with first part less than or equal to k, and they interpret this bijection in terms of these other combinatorial models for the quotient of the affine symmetric group by the finite symmetric group. In this paper we discuss how to generalize the bijection of Berg, Jones, and Vazirani to parabolic quotients of affine Weyl groups in other classical Lie types. We develop techniques using the associated affine hyperplane arrangement to interpret this bijection geometrically as a projection of alcoves onto the hyperplane containing their coroot lattice points. We are thereby able to analyze this bijective projection in the language of various additional combinatorial models developed by Hanusa and Jones, such as abaci, core partitions, bounded partitions, and canonical reduced expressions in the Coxeter group.

On automorphisms of extremal even unimodular lattices of dimension 48

arXiv:1212.0865

G. Nebe

The automorphism groups of the three known extremal even unimodular lattices of dimension 48 and the one of dimension 72 are computed using the classification of finite simple groups. Restrictions on the possible automorphisms of 48-dimensional extremal lattices are obtained. We classify all extremal lattices of dimension 48 having an automorphism of order $m$ with $\varphi(m) > 24$. In particular the lattice $P_{48n}$ is the unique extremal 48-dimensional lattice that arises as an ideal lattice over a cyclotomic number field.

Correlators in the Simplest Gauge-String Duality

arXiv:1212.1236

R. Gopakumar, R. Pius

In this note we compare planar correlators such as $< \prod_i^n Tr M^{2k_i} >$ in the Gaussian matrix model with corresponding genus zero correlators of the A-model topological string theory on $P^1$. We find a simple relation between them which provides additional evidence for the duality between the two theories, as proposed in arXiv:1104.2386.

The Superconformal Index of Class S Theories of Type D

arXiv:1212.1271

M. Lemos, W. Peelaers, L. Rastelli

We consider the superconformal index of class S theories of type D, which arise by compactification of the (2,0) D_n theories on a punctured Riemann surface C. We also allow for the presence of twist lines on C associated to the Z_2 outer automorphism of D_n. For a two-parameter slice (p=0, q, t) in the space of superconformal fugacities, we determine the 2d TQFT that computes the index.

2d TQFT structure of the superconformal indices with outer-automorphism twists

arXiv:1212.0545

N. Mekareeya, J. Song, Y. Tachikawa

We study the superconformal indices of 4d theories coming from 6d N=(2,0) theory of type \Gamma on a Riemann surface, with the action of the outer-automorphism \sigma in the trace. We find that the indices are given by the partition function of a deformed 2d Yang-Mills on the Riemann surface with gauge group G which is S-dual to the subgroup of \Gamma fixed by \sigma. In the 2-parameter deformed version, we find that it is governed not by Macdonald polynomials of type G, but by Macdonald polynomials associated to twisted affine root systems.

Generalised Mathieu Moonshine

arXiv:1211.7074

M.R. Gaberdiel, D. Persson, H. Ronellenfitsch, R. Volpato

The Mathieu twisted twining genera, i.e. the analogues of Norton's generalised Moonshine functions, are constructed for the elliptic genus of K3. It is shown that they satisfy the expected consistency conditions, and that their behaviour under modular transformations is controlled by a 3-cocycle in H^3(M_24,U(1)), just as for the case of holomorphic orbifolds. This suggests that a holomorphic VOA may be underlying Mathieu Moonshine.

Spectral curves and the Schroedinger equations for the Eynard-Orantin recursion

arXiv:1210.3006

M. Mulase, P. Sułkowski

It is predicted that the principal specialization of the partition function of a B-model topological string theory, that is mirror dual to an A-model enumerative geometry problem, satisfies a Schroedinger equation, and that the characteristic variety of the Schroedinger operator gives the spectral curve of the B-model theory, when an algebraic K-theory obstruction vanishes. In this paper we present two concrete mathematical A-model examples whose mirror dual partners exhibit these predicted features on the B-model side. The A-model examples we discuss are the generalized Catalan numbers of an arbitrary genus and the single Hurwitz numbers. In each case, we show that the Laplace transform of the counting functions satisfies the Eynard-Orantin topological recursion, that the B-model partition function satisfies the KP equations, and that the principal specialization of the partition function satisfies a Schroedinger equation whose total symbol is exactly the Lagrangian immersion of the spectral curve of the Eynard-Orantin theory.

Refined Topological Vertex and Duality of Gauge Theories in Generic Omega Backgrounds

arXiv:1211.6793

K. Ito

The partition functions of refined topological strings(A-models) are computed, which give rise to the circle-compactified five-dimensional supersymmetric linear quiver gauge theories in generic (not necessarily self-dual) Omega backgrounds. Based on the slicing independence conjecture of refined topological string partition functions, it is demonstrated explicitly that the duality exists between $SU(N)^{M-1}$ and
$SU(M)^{N-1}$ supersymmetric linear quiver gauge theories, even in generic Omega backgrounds. It is found that the relations between string moduli and gauge moduli are deformed from the self-dual case. However if the duality map which preserves the ratio of the Omega background parameters q and t, is considered, duality maps of the gauge moduli are not changed from the self-dual case.

Superconformal Block Quivers, Duality Trees and Diophantine Equations

arXiv:1211.6111

A. Hanany, Y.-H. He, C. Sun, S. Sypsas

We derive necessary and sufficient conditions in the form of Diophantine equations for N=1, (3+1)-dimensional, block quiver gauge theories to have non trivial infra-red superconformal fixed points. Techniques from representation theory of quivers are used in order to generalize known results for theories with a small number of gauge groups factors to arbitrary block quiver gauge theories. The latter can be thought of as vectors in the root system of the corresponding quiver and superconformality conditions are shown to associate these theories to certain subsets of imaginary roots. These methods also allow for an interpretation of Seiberg duality as the action of the affine Weyl group on the root lattice.

Much ado about Mathieu

arXiv:1211.5531

T. Gannon

Eguchi, Ooguri and Tachikawa have observed that the elliptic genus of type II string theory on K3 surfaces appears to possess a Moonshine for the largest Mathieu group. Subsequent work by several people established a candidate for the elliptic genus twisted by each element of M24. In this paper we prove that the resulting sequence of class functions are true characters of M24, proving the Eguchi-Ooguri-Tachikawa conjecture. We prove the evenness property of the multiplicities, as conjectured by several authors. We also identify the role group cohomology plays in both K3-Mathieu Moonshine and Monstrous Moonshine; in particular this gives a cohomological interpretation for the non-Fricke elements in Norton's Generalised Monstrous Moonshine conjecture. We investigate the intriguing proposal of Gaberdiel-Hohenegger-Volpato that K3-Mathieu Moonshine lifts to the Conway group Co1.

Perturbative terms of Kac-Moody-Eisenstein series

arXiv:1211.5296

P. Fleig, A. Kleinschmidt

Supersymmetric theories of gravity can exhibit surprising hidden symmetries when considered on manifolds that include a torus. When the torus is of large dimension these symmetries can become infinite-dimensional and of Kac-Moody type. When taking quantum effects into account the symmetries become discrete and invariant functions under these symmetries should play an important role in quantum gravity. The new results here concern surprising simplifications in the constant terms of very particular Eisenstein series on the these Kac-Moody groups. These are exactly the cases that are expected to arise in string theory.

Tangles, Generalized Reidemeister Moves, and Three-Dimensional Mirror Symmetry

arXiv:1211.3730

C. Cordova, S. Espahbodi, B. Haghighat, A. Rastogi, C. Vafa

Three-dimensional N=2 superconformal field theories are constructed by compactifying M5-branes on three-manifolds. In the infrared the branes recombine, and the physics is captured by a single M5-brane on a branched cover of the original ultraviolet geometry. The branch locus is a tangle, a one-dimensional knotted submanifold of the ultraviolet geometry. A choice of branch sheet for this cover yields a Lagrangian for the theory, and varying the branch sheet provides dual descriptions. Massless matter arises from vanishing size M2-branes and appears as singularities of the tangle where branch lines collide. Massive deformations of the field theory correspond to resolutions of singularities resulting in distinct smooth manifolds connected by geometric transitions. A generalization of Reidemeister moves for singular tangles captures mirror symmetries of the underlying theory yielding a geometric framework where dualities are manifest.

Modular Subgroups, Dessins d'Enfants and Elliptic K3 Surfaces

arXiv:1211.1931

Y.-H. He, J. McKay, J. Read

We consider the 33 genus zero, torsion-free modular subgroups, computing ramification data and Grothendieck's dessins d'enfants. In the particular case of the index 36 subgroups, the corresponding Calabi-Yau threefolds are identified, in analogy with the index 24 cases being associated with K3 surfaces. In a parallel vein, we study the 112 semi-stable elliptic fibrations over P^1 as extremal K3 surfaces with six singular fibres. In each case, the corresponding modular subgroup is identified by showing its generators.

New N=1 dualities from orientifold transitions - Part I: Field Theory

arXiv:1210.7799

I. García-Etxebarria, B. Heidenreich, T. Wrase

We report on a broad new class of N=1 gauge theory dualities which relate the worldvolume gauge theories of D3 branes probing different orientifolds of the same Calabi-Yau singularity. In this paper, we focus on the simplest example of these new dualities, arising from the orbifold singularity C^3/Z_3. We present extensive checks of the duality, including anomaly matching, partial moduli space matching, matching of discrete symmetries, and matching of the superconformal indices between the proposed duals. We then present a related duality for the dP_1 singularity, as well as dualities for the F_0 and Y^{4,0} singularities, illustrating the breadth of this new class of dualities. In a companion paper, we show that certain infinite classes of geometries which include C^3/Z_3 and dP_1 all exhibit such dualities, and argue that their ten-dimensional origin is the SL(2,Z) self-duality of type IIB string theory.

Superconformal Partition Functions and Non-perturbative Topological Strings

arXiv:1210.5909

G. Lockhart, C. Vafa

We propose a non-perturbative definition for refined topological strings. This can be used to compute the partition function of superconformal theories in 5 dimensions on squashed S^5 and the superconformal index of a large number of 6 dimensional (2,0) and (1,0) theories, including that of N coincident M5 branes. The result can be expressed as an integral over the product of three combinations of topological string amplitudes. SL(3,Z) modular transformations acting by inverting the coupling constants of the refined topological string play a key role.

Nekrasov's partition function and refined Donaldson--Thomas theory: the rank one case

arXiv:1210.5181

B. Szendroi

This paper studies geometric engineering, in the simplest possible case of rank one (abelian) gauge theory on the affine plane and the resolved conifold. We recall the identification between Nekrasov's partition function and a version of refined Donaldson--Thomas theory, and study the relationship between the underlying vector spaces. Using a purity result, we identify the vector space underlying refined Donaldson--Thomas theory on the conifold geometry as the exterior space of the space of polynomial functions on the affine plane, with the (Lefschetz) SL(2)-action on the threefold side being dual to the geometric SL(2)-action on the affine plane. We suggest that the exterior space should be a module for the (explicitly not yet known) Cohomological Hall Algebra (algebra of BPS states) of the conifold.

Bipartita: Physics, Geometry & Number Theory

arXiv:1210.4388

Y.-H. He

Bipartite graphs, especially drawn on Riemann surfaces, have of late assumed an active role in theoretical physics, ranging from MHV scattering amplitudes to brane tilings, from dimer models and topological strings to toric AdS/CFT, from matrix models to dessins d'enfants in gauge theory. Here, we take a brief and casual promenade in the realm of brane tilings, quiver SUSY gauge theories and dessins, serving as a rapid introduction to the reader.

The refined BPS index from stable pair invariants

arXiv:1210.4403

J. Choi, S. Katz, A. Klemm

A refinement of the stable pair invariants of Pandharipande and Thomas for non-compact Calabi-Yau spaces is introduced based on a virtual Bialynicki-Birula decomposition with respect to a C* action on the stable pair moduli space, or alternatively the equivariant index of Nekrasov and Okounkov. This effectively calculates the refined index for M-theory reduced on these Calabi-Yau geometries. Based on physical expectations we propose a product formula for the refined invariants extending the motivic product formula of Morrison, Mozgovoy, Nagao, and Szendroi for local P^1. We explicitly compute refined invariants in low degree for local P^2 and local P^1 x P^1 and check that they agree with the predictions of the direct integration of the generalized holomorphic anomaly and with the product formula. The modularity of the expressions obtained in the direct integration approach allows us to relate the generating function of refined PT invariants on appropriate geometries to Nekrasov's partition function and a refinement of Chern-Simons theory on a lens space. We also relate our product formula to wallcrossing.

The open Gromov-Witten-Welschinger theory of blowups of the projective plane

arXiv:1210.4034

A. Horev, J.P. Solomon

We compute the Welschinger invariants of blowups of the projective plane at an arbitrary conjugation invariant configuration of points. Specifically, open analogues of the WDVV equation and Kontsevich-Manin axioms lead to a recursive algorithm that reconstructs all the invariants from a small set of known invariants. Example computations are given, including the non-del Pezzo case.

BPS Degeneracies and Superconformal Index in Diverse Dimensions

arXiv:1210.3605

A. Iqbal, C. Vafa

We present a unifying theme relating BPS partition functions and superconformal indices. In the case with complex SUSY central charges (as in N=2 in d=4 and N=(2,2) in d=2) the known results can be reinterpreted as the statement that the BPS partition functions can be used to compute a specialization of the superconformal indices. We argue that in the case with real central charge in the supersymmetry algebra, as in N=1 in d=5 (or the N=2 in d=3), the BPS degeneracy captures the full superconformal index. Furthermore, we argue that refined topological strings, which captures 5d BPS degeneracies of M-theory on CY 3-folds, can be used to compute 5d supersymmetric index including in the sectors with 3d defects for a large class of 5d superconformal theories. Moreover, we provide evidence that distinct Calabi-Yau singularities which are expected to lead to the same SCFT yield the same index.

Spectral curves and the Schroedinger equations for the Eynard-Orantin recursion

arXiv:1210.3006

M. Mulase, P. Sulkowski

It is predicted that the principal specialization of the partition function of a B-model topological string theory, that is mirror dual to an A-model enumerative geometry problem, satisfies a Schroedinger equation, and that the characteristic variety of the Schroedinger operator gives the spectral curve of the B-model theory, when an algebraic K-theory obstruction vanishes. In this paper we present two concrete mathematical A-model examples whose mirror dual partners exhibit these predicted features on the B-model side. The A-model examples we discuss are the generalized Catalan numbers of an arbitrary genus and the single Hurwitz numbers. In each case, we show that the Laplace transform of the counting functions satisfies the Eynard-Orantin topological recursion, that the B-model partition function satisfies the KP equations, and that the principal specialization of the partition function satisfies a Schroedinger equation whose total symbol is exactly the Lagrangian immersion of the spectral curve of the Eynard-Orantin theory.

The Laplace transform, mirror symmetry, and the topological recursion of Eynard-Orantin

arXiv:1210.2106

M. Mulase

This paper is based on the author's talk at the 2012 Workshop on Geometric Methods in Physics held in Bialowieza, Poland. The aim of the talk is to introduce the audience to the Eynard-Orantin topological recursion. The formalism is originated in random matrix theory. It has been predicted, and in some cases it has been proven, that the theory provides an effective mechanism to calculate certain quantum invariants and a solution to enumerative geometry problems, such as open Gromov-Witten invariants of toric Calabi-Yau threefolds, single and double Hurwitz numbers, the number of lattice points on the moduli space of smooth algebraic curves, and quantum knot invariants. In this paper we use the Laplace transform of generalized Catalan numbers of an arbitrary genus as an example, and present the Eynard-Orantin recursion. We examine various aspects of the theory, such as its relations to mirror symmetry, Gromov-Witten invariants, integrable hierarchies such as the KP equations, and the Schroedinger equations.

Weyl Group Multiple Dirichlet Series for Symmetrizable Kac-Moody Root Systems

arXiv:1210.3310

K.-H. Lee, Y. Zhang

Weyl group multiple Dirichlet series, introduced by Brubaker, Bump, Chinta, Friedberg and Hoffstein, are expected to be Whittaker coefficients of Eisenstein series on metaplectic groups. Chinta and Gunnells constructed these multiple Dirichlet series for all the finite root systems using the method of averaging a Weyl group action on the field of rational functions. In this paper, we generalize Chinta and Gunnells' work and construct Weyl group multiple Dirichlet series for the root systems associated with symmetrizable Kac-Moody algebras, and establish their functional equations and meromorphic continuation.

Refined Chern-Simons Theory and Topological String

arXiv:1210.2733

M. Aganagic, S. Shakirov

We show that refined Chern-Simons theory and large N duality can be used to study the refined topological string with and without branes. We derive the refined topological vertex of hep-th/0701156 and hep-th/0502061 from a link invariant of the refined SU(N) Chern-Simons theory on S^3, at infinite N. Quiver-like Chern-Simons theories, arising from Calabi-Yau manifolds with branes wrapped on several minimal S^3's, give a dual description of a large class of toric Calabi-Yau. We use this to derive the refined topological string amplitudes on a toric Calabi-Yau containing a shrinking P^2 surface. The result is suggestive of the refined topological vertex formalism for arbitrary toric Calabi-Yau manifolds in terms of a pair of vertices and a choice of a Morse flow on the toric graph, determining the vertex decomposition. The dependence on the flow is reminiscent of the approach to the refined topological string in upcoming work of Nekrasov and Okounkov. As a byproduct, we show that large N duality of the refined topological string explains the ``mirror symmetry`` of the refined colored HOMFLY invariants of knots.

5D SYM and 2D q-Deformed YM

arXiv:1210.2855

Y. Fukuda, T. Kawano, N. Matsumiya

We study the AGT-like conjectured relation of a four-dimensional gauge theory on the direct product of a three-sphere and a circle to two-dimensional q-deformed Yang-Mills theory on a Riemann surface by using a five-dimensional N=2 supersymmetric Yang-Mills theory on the direct product of the three-sphere and the Riemann surface, following the conjectured relation of the six-dimensional N=(2,0) theory on the circle to the five-dimensional Yang-Mills theory. Our results are in perfect agreement with both of the conjectures.



Refined Topological Strings and Toric Calabi-Yau Threefolds

arXiv:1210.3016

Amer Iqbal, Can Kozcaz

The refined topological vertex formulation computes the refined topological string partition function for non-compact toric Calabi-Yau threefolds which engineer N=2 supersymmetric gauge theories. For geometries such as the local P^2, which do not give rise to gauge theories, the refined topological vertex alone is not sufficient for directly calculating the refined amplitudes. In this paper, we extend the refined topological vertex formalism and propose a complementary new vertex which, together with the refined topological vertex, determines the refined amplitudes for all toric Calabi-Yau threefolds.

Rademacher Sums and Rademacher Series

arXiv:1210.3066

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

We exposit the construction of Rademacher sums in arbitrary weights and describe their relationship to mock modular forms. We introduce the notion of Rademacher series and describe several applications, including the determination of coefficients of Rademacher sums and a very general form of Zagier duality. We then review the application of Rademacher sums and series to moonshine both monstrous and umbral and highlight several open problems. We conclude with a discussion of the interpretation of Rademacher sums in physics.

Refined Black Hole Ensembles and Topological Strings

arXiv:1210.1865

M. Aganagic, K. Schaeffer

We formulate a refined version of the Ooguri-Strominger-Vafa (OSV) conjecture. The OSV conjecture that Z_{BH} = Z_{top}^2 relates the BPS black hole partition function to the topological string partition function Z_{top}. In the refined conjecture, Z_{BH} is the partition function of BPS black holes counted with spin, or more precisely the protected spin character. Z_{top} becomes the partition function of the refined topological string, which is itself an index. Both the original and the refined conjecture are examples of large N duality in the 't Hooft sense. The refined conjecture applies to non-compact Calabi-Yau manifolds only, so the black holes are really BPS particles with large entropy, of order N^2. The refined OSV conjecture states that the refined BPS partition function has a large N dual which is captured by the refined topological string. We provide evidence that the conjecture holds by studying local Calabi-Yau threefolds consisting of line bundles over a genus g Riemann surface. We show that the refined topological string partition function on these geometries is computed by a two-dimensional TQFT. We also study the refined black hole partition function arising from N D4 branes on the Calabi-Yau, and argue that it reduces to a (q,t)-deformed version of two-dimensional SU(N) Yang-Mills. Finally, we show that in the large N limit this theory factorizes to the square of the refined topological string in accordance with the refined OSV conjecture.

On the Poincaré series of Kac-Moody Lie algebras

arXiv:1210.0648

J. Chunhua, Z. Xu-an

In this paper, we discuss the Poincar\'{e} series of Kac-Moody Lie algebras, especially for indefinite type. Firstly, we compute the Poincar\'{e} series of certain indefinite Kac-Moody Lie algebras whose Cartan matrices have the same type of $2\times 2$ principal sub-matrices. Secondly, we show that the Poincar\'{e} series of Kac-Moody Lie algebras satisfy certain interesting properties. Lastly we give some applications of the Poincar\'{e} series to other fields. Particularly we construct some counter examples to a conjecture of Victor Kac\cite{Kac_85} and a conjecture of Chapavalov, Leites and Stekolshchik\cite{CDR_10}.

3d superconformal indices and isomorphisms of M2-brane theories

arXiv:1210.1371

M. Honda, Y. Honma

We test several expected isomorphisms between the U(N)xU(N) ABJM theory and (SU(N)xSU(N))/Z_N theory including the BLG theory by comparing their superconformal indices. From moduli space analysis, it is expected that this equivalence can hold if and only if the rank N and Chern-Simons level k are coprime. We also calculate the index of the ABJ theory and investigate whether some theories with identical moduli spaces are isomorphic or not .

Quantum McKay correspondence and global dimensions for fusion and module-categories associated with Lie groups

arXiv:1209.6621

Robert Coquereaux

Global dimensions for fusion categories defined by a pair (G,k), where G is a Lie group and k a positive integer, are expressed in terms of Lie quantum superfactorial functions. The global dimension is defined as the square sum of quantum dimensions of simple objects, for the category of integrable modules over an affine Lie algebra at some level. The same quantities can also be defined from the theory of quantum groups at roots of unity or from conformal field theory WZW models. Similar results are also presented for those associated module-categories that can be obtained via conformal embeddings (they are "quantum subgroups" of a particular kind). Some calculations use the correspondence existing between periodic quivers for simply-laced Lie groups and fusion rules for module-categories of type SU(2).

Exotic Branes in String Theory

arXiv:1209.6056

J. de Boer, M. Shigemori

Besides the familiar D-branes, string theory contains a vast number of other non-perturbative objects. While a complete classification is lacking, many of these objects are related to each other through various dualities. Codimension two objects play a special role, because their charges are no longer additive but are instead expressed in terms of holonomies of scalar fields, which is given by an element of the relevant duality group. In this paper we present a detailed exposition of these "exotic" objects, the charges they carry, and their connection to non-geometric compactifications. Despite the name "exotic branes," these objects are in fact ubiquitous in string theory, as they can automatically appear when describing bound states of conventional branes, and as such may be of particular importance in describing the microscopic degrees of freedom of black holes.

Supersymmetric Partition Functions and a String Theory in 4 Dimensions

arXiv:1209.2425

C. Vafa

We propose a novel string theory propagating in a non-commutative deformation of the four dimensional space T* T^2 whose scattering states correspond to superconformal theories in 5 dimensions and the scattering amplitudes compute superconformal indices of the corresponding 5d theories. The superconformal theories are obtained by M-theory compactifications on singular CY 3-folds or equivalently from a web of 5-branes of type IIB strings. The cubic interaction of this string theory for primitive winding modes corresponds to the (refined) topological vertex. The oscillator modes of the string theory correspond to off-shell states and carry information about co-dimension 2 defects of the superconformal theory. Particular limits of a subset of scattering amplitudes of this string theory lead to the partition functions of A_n Gaiotto theories for all n, compactified on S^4, i.e., to amplitudes of all Toda theories.

3d analogs of Argyres-Douglas theories and knot homologies

arXiv:1209.1416

H. Fuji, S. Gukov, M. Stosic, P. Sułkowski

We study singularities of algebraic curves associated with 3d N=2 theories that have at least one global flavor symmetry. Of particular interest is a class of theories T_K labeled by knots, whose partition functions package Poincare polynomials of the S^r-colored HOMFLY homologies. We derive the defining equation, called the super-A-polynomial, for algebraic curves associated with many new examples of 3d N=2 theories T_K and study its singularity structure. In particular, we catalog general types of singularities that presumably exist for all knots and propose their physical interpretation. A computation of super-A-polynomials is based on a derivation of corresponding superpolynomials, which is interesting in its own right and relies solely on a structure of differentials in S^r-colored HOMFLY homologies.

Super-A-polynomials for Twist Knots

arXiv:1209.1409

Satoshi Nawata, P. Ramadevi, Zodinmawia, Xinyu Sun

We conjecture formulae of the colored superpolynomials for a class of twist knots $K_p$ where p denotes the number of full twists. The validity of the formulae is checked by applying differentials and taking special limits. Using the formulae, we compute both the classical and quantum super-A-polynomial for the twist knots with small values p. The results support the categorified version of the generalized volume conjecture and the quantum volume conjecture. Furthermore, we obtain the evidence that the Q-deformed A-polynomials can be identified with the augmentation polynomials of knot contact homology in the case of the twist knots.

The Symplectic-Orthogonal Penner Models

arXiv:1209.0822

M. Dalabeeh, N. Chair

The generating function for the orbifold Euler characteristic of the moduli space of real algebraic curves of genus $2g$ (locally orientable surfaces) with $n$ marked points $\chi^r(\mathfrak{M}_{2g,n})$, is identified with a simple formula. It is shown that the free energy in the continuum limit of both the symplectic and the orthogonal Penner models are almost identical, with the structure $F^{SP/SO}(\mu)=1/2F(\mu)\mp F^{NO}(\mu)$, where $F(\mu)$ is the Penner free energy and $F^{NO}(\mu)$ is the free energy contributions from the non-orientable surfaces. Both of these models have the same critical point as the Penner model.

The Goulden-Harer-Jackson matrix model

arXiv:1209.0818

N. Chair

An alternative formula for the partition function of the Goulden-Harer-Jackson matrix model is derived, in which the Penner and the orthogonal Penner partition functions are special cases of this formula. Then the free energy that computes the parametrized Euler characteristic $\xi^s_g(\gamma)$ of the moduli spaces as yet an unidentified, for $g$ is odd, shows that the expression for $\xi^s_g(\gamma)$ contains the orbifold Euler characteristic of the moduli space of Riemann surfaces of genus $g$, with $s$ punctures for all parameters $\gamma$. The other contributions are written as a linear combinations of Bernoulli polynomials at rational arguments . It is also shown that in the continuum limit, both the Goulden-Harer-Jackson matrix model and the Penner model have the same critical points.

N=2 Moonshine

arXiv:1209.0610

T. Eguchi, K. Hikami

We construct a model of moonshine phenomenon based on the use of N=2 superconformal algebra. We consider an extremal Jacobi form of weight 0 and index 2, and expand it in terms of N=2 massless and massive representations. We find the multiplicities of massive representations are decomposed into a sum of dimensions of irreducible representations of the group L2(11).

Eisenstein series on affine Kac-Moody groups over function fields

arXiv:1208.4006

K.-H. Lee, P. Lombardo

H. Garland constructed Eisenstein series on affine Kac-Moody groups over the field of real numbers. He established the almost everywhere convergence of these series, obtained a formula for their constant terms, and proved a functional equation for the constant terms. In a subsequent paper, the convergence of the Eisenstein series was obtained. In this paper, we define Eisenstein series on affine Kac-Moody groups over global function fields using an adelic approach. In the course of proving the convergence of these Eisenstein series, we also calculate a formula for the constant terms and prove their convergence and functional equations.

The Gerby Gopakumar-Mariño-Vafa Formula

arXiv:1208.4342

D. Ross

We prove a formula for certain cubic $\Z_n$-Hodge integrals in terms of colored Schur functions. We use this identity to prove the Gromov-Witten/Donaldson-Thomas correspondence for local $\Z_n$-gerbes over $\proj^1$.

Quantum Black Holes, Wall Crossing, and Mock Modular Forms

arXiv:1208.4074

A. Dabholkar, S. Murthy, D. Zagier

We show that the meromorphic Jacobi form that counts the quarter-BPS states in N=4 string theories can be canonically decomposed as a sum of a mock Jacobi form and an Appell-Lerch sum. The quantum degeneracies of single-centered black holes are Fourier coefficients of this mock Jacobi form, while the Appell-Lerch sum captures the degeneracies of multi-centered black holes which decay upon wall-crossing. The completion of the mock Jacobi form restores the modular symmetries expected from $AdS_3/CFT_2$ holography but has a holomorphic anomaly reflecting the non-compactness of the microscopic CFT. For every positive integral value m of the magnetic charge invariant of the black hole, our analysis leads to a special mock Jacobi form of weight two and index m, which we characterize uniquely up to a Jacobi cusp form. This family of special forms and another closely related family of weight-one forms contain almost all the known mock modular forms including the mock theta functions of Ramanujan, the generating function of Hurwitz-Kronecker class numbers, the mock modular forms appearing in the Mathieu and Umbral moonshine, as well as an infinite number of new examples.

On the positivity of black hole degeneracies in string theory

arXiv:1208.3476

K. Bringmann, S. Murthy

Certain helicity trace indices of charged states in N=4 and N=8 superstring theory have been computed exactly using their explicit weakly coupled microscopic description. These indices are expected to count the exact quantum degeneracies of black holes carrying the same charges. In order for this interpretation to be consistent, these indices should be positive integers. We prove this positivity property for a class of four/five dimensional black holes in type II string theory compactified on T^6/T^5 and on K3 \times T^2/S^1. The proof relies on the mock modular properties of the corresponding generating functions.

Powers of M24-twisted Siegel product expansions are modular

arXiv:1208.3453

Martin Raum

We prove that several product expansions suggested by Cheng and Ducan are Siegel modular forms. They arising form twists of elliptic genera of symmetric powers of K3 surfaces. Our result shows that they can be represented as products of rescaled Borcherds products.

Gopakumar-Vafa BPS invariants, Hilbert schemes and quasimodular forms. I

arXiv:1208.3270

Shuai Guo, Jian Zhou

We prove a closed formula for leading Gopakumar- Vafa BPS invariants of local Calabi-Yau geometries given by the canonical line bundles of toric Fano surfaces. It shares some similar features with Goettsche-Yau-Zaslow formula: Connection with Hilbert schemes, connection with quasimodular forms, and quadratic property after suitable transformation. In Part I of this paper we will present the case of projective plane, more general cases will be presented in Part II.

A wall-crossing formula for Gromov-Witten invariants under variation of git quotient

arXiv:1208.1727

Eduardo Gonzalez, Chris T. Woodward

We prove a quantum (that is, Gromov-Witten) version of Kalkman's wall-crossing formula comparing intersection pairings on geometric invariant theory (git) quotients related by a change in polarization, under certain stable=semistable assumptions. The wall-crossing terms are gauged Gromov-Witten invariants with smaller structure group. As an application, we show that the graph Gromov-Witten potentials of quotients related by wall-crossings of crepant type are equivalent up to a distribution in the quantum parameter that is almost everywhere zero. This is a version of the crepant transformation conjecture of Li-Ruan, Bryan-Graber, Coates-Ruan etc. in cases where the crepant transformation is obtained by variation of git.

Sato-Tate theorem for families and low-lying zeros of automorphic $L$-functions

 arXiv:1208.1945

Sug-Woo Shin, Nicolas Templier

We consider certain families of automorphic representations over number fields arising from the principle of functoriality of Langlands. Let $G$ be a reductive group over a number field $F$ which admits discrete series representations at infinity. Let $^{L}G=\hat G \rtimes \mathrm{Gal}(\bar F/F)$ be the associated $L$-group and $r:{}^L G\to \mathrm{GL}(d,\mathbb{C})$ a continuous homomorphism which is irreducible and does not factor through $\mathrm{Gal}(\bar F/F)$. The families under consideration consist of discrete automorphic representations of $G(\mathbb{A}_F)$ of given weight and level and we let either the weight or the level grow to infinity.

We establish a quantitative Plancherel and a quantitative Sato-Tate equidistribution theorem for the Satake parameters of these families. This generalizes earlier results in the subject, notably of Sarnak [Progr. Math. 70 (1987), 321--331.] and Serre [J. Amer. Math. Soc. 10 (1997), no. 1, 75--102.].

As an application we study the distribution of the low-lying zeros of the associated family of $L$-functions $L(s,\pi,r)$, assuming from the principle of functoriality that these $L$-functions are automorphic. We find that the distribution of the 1-level densities coincides with the distribution of the 1-level densities of eigenvalues of one of the Unitary, Symplectic and Orthogonal ensembles, in accordance with the Katz-Sarnak heuristics.

We provide a criterion based on the Frobenius--Schur indicator to determine this Symmetry type. If $r$ is not isomorphic to its dual $r^\vee$ then the Symmetry type is Unitary. Otherwise there is a bilinear form on $\mathbb{C}^d$ which realizes the isomorphism between $r$ and $r^\vee$. If the bilinear form is symmetric (resp. alternating) then $r$ is real (resp. quaternionic) and the Symmetry type is Symplectic (resp. Orthogonal).

Quantum symmetric Kac-Moody pairs

arXiv:1207.6036

S. Kolb

The present paper develops a general theory of quantum group analogs of symmetric pairs for involutive automorphism of the second kind of symmetrizable Kac-Moody algebras. The resulting quantum symmetric pairs are right coideal subalgebras of quantized enveloping algebras. They give rise to triangular decompositions, including a quantum analog of the Iwasawa decomposition, and they can be written explicitly in terms of generators and relations. Moreover, their centers and their specializations are determined. The constructions follow G. Letzter's theory of quantum symmetric pairs for semisimple Lie algebras. The main additional ingredient is the classification of involutive automorphisms of the second kind of symmetrizable Kac-Moody algebras due to Kac and Wang. The resulting theory comprises various classes of examples which have previously appeared in the literature, such as q-Onsager algebras and the twisted q-Yangians introduced by Molev, Ragoucy, and Sorba.

Quantum extremal loop weight modules and monomial crystals

arXiv:1207.3299

M. Mathieu

In this paper we construct a new family of representations for the quantum toroidal algebras of type $A_n$. The definition of extremal loop weight modules of quantum toroidal algebras was proposed by Hernandez in [23]. We construct extremal loop weight modules associated to analogues of level 0 fundamental weights $\varpi_\ell$ for $\mathcal{U}_q(sl_{n+1}^{tor})$ when $n= 2r+1$ is odd and $\ell = 1$ or $\ell = r+1$, called level 0 extremal fundamental loop weight modules. To do it, we relate monomial realizations of level 0 extremal fundamental weight crystals with integrable representations of $\mathcal{U}_q(sl_{n+1}^{tor})$. The construction is based on the combinatorial study of these crystals: we introduce promotion operators for the level 0 extremal fundamental weight crystals, corresponding to the cyclic symmetry of the Dynkin diagram of type $A_n^{(1)}$. They are used to define an action of the quantum toroidal algebras at the level of representations. By specializing $q$ at roots of unity $\epsilon$, we get finite-dimensional modules of $\mathcal{U}_\epsilon(sl_{n+1}^{tor})$. In general, we give a conjectural process to construct extremal loop weight modules from monomial realizations of crystals.

Exact Results on the ABJM Fermi Gas

arXiv:1207.4283

Y. Hatsuda, S. Moriyama, K. Okuyama

We study the Fermi gas quantum mechanics associated to the ABJM matrix model. We develop the method to compute the grand partition function of the ABJM theory, and compute exactly the partition function Z(N) up to N=9 when the Chern-Simons level k=1. We find that the eigenvalue problem of this quantum mechanical system is reduced to the diagonalization of a certain Hankel matrix. In reducing the number of integrations by commuting coordinates and momenta, we find an exact relation concerning the grand partition function, which is interesting on its own right and very helpful for determining the partition function. We also study the TBA-type integral equations that allow us to compute the grand partition function numerically. Surprisingly, all of our exact results of the partition functions are written in terms of polynomials of 1/pi with rational coefficients.

ABJM Wilson loops in the Fermi gas approach

arXiv:1207.0611

A. Klemm, M. Marino, M. Schiereck, M. Soroush

The matrix model of ABJM theory can be formulated in terms of a Fermi gas in an external potential. We show that, in this formalism, vevs of Wilson loops correspond to averages of operators in the statistical-mechanical problem. This makes it possible to calculate these vevs at all orders in 1/N, up to exponentially small corrections, and for arbitrary Chern-Simons coupling, by using the WKB expansion. We present explicit results for the vevs of 1/6 and the 1/2 BPS Wilson loops, at any winding number, in terms of Airy functions. Our expressions are shown to reproduce the low genus results obtained previously in the 't Hooft expansion.

Lectures on non-perturbative effects in large N gauge theories, matrix models and strings

arXiv:1206.6272

M. Marino

In these lectures I present a review of non-perturbative instanton effects in quantum theories, with a focus on large N gauge theories and matrix models. I first consider the structure of these effects in the case of ordinary differential equations, which provide a model for more complicated theories, and I introduce in a pedagogical way some technology from resurgent analysis, like trans-series and the resurgent version of the Stokes phenomenon. After reviewing instanton effects in quantum mechanics and quantum field theory, I address general aspects of large N instantons and then present a detailed review of non-perturbative effects in matrix models. Finally, I also consider two applications of these techniques in string theory.

Supercategorification of quantum Kac-Moody Algebras

arXiv:1206.5933

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

We show that the quiver Hecke superalgebras and their cyclotomic quotients provide a supercategorification of quantum Kac-Moody algebras and their integrable highest weight modules.

M5-branes from gauge theories on the 5-sphere

arXiv:1206.6339

H.-C. Kim, S. Kim

We use the 5-sphere partition functions of supersymmetric Yang-Mills theories to explore the (2,0) superconformal theory on S^5 x S^1. The 5d theories can be regarded as Scherk-Schwarz reductions of the 6d theory along a circle. In a special limit, the perturbative partition function takes the form of the Chern-Simons partition function on S^3. With a simple non-perturbative completion, it becomes a 6d index which captures the degeneracy of a sector of BPS states as well as the index version of the vacuum Casimir energy. The Casimir energy exhibits the N^3 scaling at large N. The large N index for U(N) gauge group also completely agrees with the supergravity index on AdS_7 x S^4.

Interacting fermions and N=2 Chern-Simons-matter theories

arXiv:1206.6346

M. Marino, P. Putrov

The partition function on the three-sphere of N=3 Chern-Simons-matter theories can be formulated in terms of an ideal Fermi gas. In this paper we show that, in theories with N=2 supersymmetry, the partition function corresponds to a gas of interacting fermions in one dimension. The large N limit is the thermodynamic limit of the gas and it can be analyzed with the Hartree and Thomas-Fermi approximations, which lead to the known large N solutions of these models. We use this interacting fermion picture to analyze in detail N=2 theories with one single node. In the case of theories with no long-range forces we incorporate exchange effects and argue that the partition function is given by an Airy function, as in N=3 theories. For the theory with g adjoint superfields and long-range forces, the Thomas-Fermi approximation leads to an integral equation which determines the large N, strongly coupled R-charge.

Colored HOMFLY polynomial via skein theory

arXiv:1206.5886

Zhu

In this paper, we study the properties of the colored HOMFLY polynomials via HOMFLY skein theory. We prove some limit behaviors and symmetries of the colored HOMFLY polynomial predicted in some physicists' recent works.

Large N Free Energy of 3d N=4 SCFTs and AdS/CFT

arXiv:1206.2920

B. Assel, J. Estes, M. Yamazaki

We provide a non-trivial check of the AdS_4/CFT_3 correspondence recently proposed in arXiv:1106.4253 by verifying the GKPW relation in the large N limit. The CFT free energy is obtained from the previous works (arXiv:1105.2551, arXiv:1105.4390) on the S^3 partition function for 3-dimensional N=4 SCFT T[SU(N)]. This is matched with the computation of the type IIB action on the corresponding gravity background. We unexpectedly find that the leading behavior of the free energy at large N is 1/2 N^2 ln N. We also extend our results to richer theories and argue that 1/2 N^2 ln N is the maximal free energy at large N in this class of gauge theories.

Exact Results in D=2 Supersymmetric Gauge Theories

arXiv:1206.2606

N. Doroud, J. Gomis, B. L. Floch, S. Lee

We compute exactly the partition function of two dimensional N=(2,2) gauge theories on S^2 and show that it admits two dual descriptions: either as an integral over the Coulomb branch or as a sum over vortex and anti-vortex excitations on the Higgs branches of the theory. We further demonstrate that correlation functions in two dimensional Liouville/Toda CFT compute the S^2 partition function for a class of N=(2,2) gauge theories, thereby uncovering novel modular properties in two dimensional gauge theories. Some of these gauge theories flow in the infrared to Calabi-Yau sigma models - such as the conifold - and the topology changing flop transition is realized as crossing symmetry in Liouville/Toda CFT. Evidence for Seiberg duality in two dimensions is exhibited by demonstrating that the partition function of conjectured Seiberg dual pairs are the same.

Brane Tilings and Specular Duality

arXiv:1206.2386

A. Hanany, R.-K. Seong

We study a new duality which pairs 4d N=1 supersymmetric quiver gauge theories. They are represented by brane tilings and are worldvolume theories of D3 branes at Calabi-Yau 3-fold singularities. The new duality identifies theories which have the same combined mesonic and baryonic moduli space, otherwise called the master space. We obtain the associated Hilbert series which encodes both the generators and defining relations of the moduli space. We illustrate our findings with a set of brane tilings that have reflexive toric diagrams.

Partition functions of N=(2,2) gauge theories on S^2 and vortices

arXiv:1206.2356

F. Benini, S. Cremonesi

We apply localization techniques to compute the partition function of a two-dimensional N=(2,2) R-symmetric theory of vector and chiral multiplets on S^2. The path integral reduces to a sum over topological sectors of a matrix integral over the Cartan subalgebra of the gauge group. For gauge theories which would be completely Higgsed in the presence of a Fayet-Iliopoulos term in flat space, the path integral alternatively reduces to the product of a vortex times an antivortex partition functions, weighted by semiclassical factors and summed over isolated points on the Higgs branch. As applications we evaluate the partition function for some U(N) gauge theories, showing equality of the path integrals for theories conjectured to be dual by Hori and Tong and deriving new expressions for vortex partition functions.

$SO/Sp$ Chern-Simons Gauge Theories At Large $N$, $SO/Sp$ Penner Models And The Gauge Group Volumes

arXiv:1206.1508

N. Chair, M. Dalabeeh

We construct a deformed $SO/Sp$ Penner generating function responsible for the close connection between $SO/Sp$ Chern-Simons gauge theories at large $N$ and the $SO/Sp$ Penner models. This construction is then shown to follow from a sector of a Chern-Simons gauge theory with coupling constant $\lambda$. The free energy and its continuum limit of the perturbative Chern-Simons gauge theory are obtained from the Penner model. Finally, asymptotic expansions for the logarithm of the gauge group volumes are given for every genus $g\geq 0$ and shown to be equivalent to the continuum limits of the $SO/Sp$ Chern-Simons gauge theories and the $SO/Sp$ Penner models.

IIA Perspective On Cascading Gauge Theory

arXiv:1206.0747

D. Kutasov, A. Wissanji

We study the N=1 supersymmetric cascading gauge theory found in type IIB string theory on p regular and M fractional D3-branes at the tip of the conifold, using the T-dual type IIA description. We reproduce the supersymmetric vacuum structure of this theory, and show that the IIA analog of the non-supersymmetric state found by Kachru, Pearson and Verlinde in the IIB description is metastable in string theory, but the barrier for tunneling to the supersymmetric vacuum goes to infinity in the field theory limit. We also comment on the N=2 supersymmetric gauge theory corresponding to regular and fractional D3-branes on a near-singular K3, and clarify the origin of the cascade in this theory.

Building SO(10) models from F-theory

arXiv:1205.6930

I. Antoniadis, G.K. Leontaris

We revisit local F-theory SO(10) and SU(5) GUTs and analyze their properties within the framework of the maximal underlying E_8 symmetry in the elliptic fibration. We consider the symmetry enhancements along the intersections of seven-branes with the GUT surface and study in detail the embedding of the abelian factors undergoing monodromies in the covering gauge groups. We combine flux data from the successive breaking of SO(10) to SU(5) gauge symmetry and subsequently to the Standard Model one, and further constrain the parameters determining the models' particle spectra. In order to eliminate dangerous baryon number violating operators we propose ways to construct matter parity like symmetries from intrinsic geometric origin. We study implementations of the resulting constrained scenario in specific examples obtained for a variety of monodromies.

Modular Data and Verlinde Formulae for Fractional Level WZW Models I

arXiv:1205.6513

T. Creutzig, D. Ridout

The modular properties of fractional level affine sl(2)-theories and, in particular, the application of the Verlinde formula, have a long and checkered history in conformal field theory. Recent advances in logarithmic conformal field theory have led to the realisation that problems with fractional level models stem from trying to build the theory with an insufficiently rich category of representations. In particular, the appearance of negative fusion coefficients for admissible highest weight representations is now completely understood. Here, the modular story for certain fractional level theories is completed. Modular transformations are derived for the complete set of admissible irreducible representations when the level is k=-1/2 or k=-4/3. The S-matrix data and Verlinde formula are then checked against the known fusion rules with complete agreement. Finally, an infinite set of modular invariant partition functions is constructed in each case.

Fluxed M5-instantons in F-theory

arXiv:1205.4720

M. Kerstan, T. Weigand

We analyse the non-perturbative superpotential due to M5-brane instantons in F-theory compactifications on Calabi-Yau fourfolds. The M5 partition function is obtained via holomorphic factorisation by explicitly performing the sum over chiral 3-form fluxes. Comparison with the partition function of fluxed Euclidean D3-brane instantons in Type IIB orientifolds allows us to fix the spin structure on the intermediate Jacobian of the M5-instanton. We furthermore analyse the contribution of the M5-instanton to the superpotential in the presence of G4 gauge flux, where the superpotential is dressed with matter fields. We explicitly evaluate the pullback of G4 onto the M5-brane as a measure for the presence of charged instanton zero modes. This accounts for the M5 charge both under massless U(1)s, if present, and under what corresponds in Type II language to geometrically massive U(1)s.

Counting Exceptional Instantons

arXiv:1205.4722

C.A. Keller, J. Song

We show how to obtain the instanton partition function of N=2 SYM with exceptional gauge group EFG using blow-up recursion relations derived by Nakajima and Yoshioka. We compute the two instanton contribution and match it with the recent proposal for the superconformal index of rank 2 SCFTs with E6, E7 global symmetry.