Comment on integrability in Dijkgraaf-Vafa beta-ensembles

arXiv:1202.6029

A. Mironov, A. Morozov, Z. Zakirova

We briefly discuss the recent claims that the ordinary KP/Toda integrability, which is a characteristic property of ordinary eigenvalue matrix models, persists also for the Dijkgraaf-Vafa (DV) partition functions and for the refined topological vertex. We emphasize that in both cases what is meant is a particular representation of partition functions: a peculiar sum over all DV phases in the first case and hiding the deformation parameters in a sophisticated potential in the second case, i.e. essentially a reformulation of some questions in the new theory in the language of the old one. It is at best obscure if this treatment can be made consistent with the AGT relations and even with the quantization of the underlying integrable systems in the Nekrasov-Shatashvili limit, which seem to require a full-scale beta-deformation of individual DV partition functions. Thus, it is unclear if the story of integrability is indeed closed by these recent considerations.

Numerical studies of the ABJM theory for arbitrary N at arbitrary coupling constant

arXiv:1202.5300

M. Hanada, M. Honda, Y. Honma, J. Nishimura, S. Shiba, Y. Yoshida

We show that the ABJM theory, which is a N=6 superconformal U(N)\times U(N) Chern-Simons gauge theory, can be studied for arbitrary N at arbitrary coupling constant by applying a simple Monte Carlo method to the matrix model that can be derived from the theory by using the localization technique. This opens up the possibility of probing the quantum aspects of M-theory and testing the AdS_4/CFT_3 duality at the quantum level. Here we calculate the free energy, and confirm the N^{3/2} scaling in the M-theory limit predicted from the gravity side. We also find that the previously proposed analytical formula needs to be corrected by an additional term at each order of the string coupling expansion. The method can be easily generalized to the calculations of BPS operators and to other theories that reduce to matrix models.

Orientifolds and the Refined Topological String

arXiv:1202.4456

M. Aganagic, K. Schaeffer

We study refined topological string theory in the presence of orientifolds by counting second-quantized BPS states in M-theory. This leads us to propose a new integrality condition for both refined and unrefined topological strings when orientifolds are present. We define the SO(2N) refined Chern-Simons theory which computes refined open string amplitudes for branes wrapping Seifert three-manifolds. We use the SO(2N) refined Chern-Simons theory to compute new invariants of torus knots that generalize the Kauffman polynomials. At large N, the SO(2N) refined Chern-Simons theory on the three-sphere is dual to refined topological strings on an orientifold of the resolved conifold, generalizing the Gopakumar-Sinha-Vafa duality. Finally, we use the (2,0) theory to define and solve refined Chern-Simons theory for all ADE gauge groups.

Categorification of quantum Kac-Moody superalgebras

arXiv:1202.2769

D. Hill, W. Wang

We introduce a non-degenerate bilinear form and use it to provide a new characterization of quantum Kac-Moody superalgebras with no isotropic odd simple roots. We show that the spin quiver Hecke algebras introduced by Kang-Kashiwara-Tsuchioka provide a categorification of half the quantum Kac-Moody superalgebras, using the recent work of Ellis-Khovanov-Lauda. A new idea here is that a super sign is categorified as spin (i.e., the parity-shift functor).

Non-Commutative Q-Binomial Formula

arXiv:1202.2264

S. Nalci, O. Pashaev

In this paper, we found new q-binomial formula for Q-commutative operators. Expansion coefficients in this formula are given by q-binomial coefficients with two bases (q,Q), determined by Q-commutative q-Pascal triangle. Our formula generalizes all well-known binomial formulas in the form of Newton, Gauss, symmetrical, non-commutative and Binet-Fibonacci binomials. By our non-commutative q-binomial, we introduce q-analogue of function of two non-commutative variables, which could be used in study of non-commutative q-analytic functions and non- commutative q-traveling waves.

q-Bernoulli Numbers and Zeros of q-Sine Function

arXiv:1202.2265

S. Nalci, O. Pashaev

There exists a well-known relation between the zeros of sine function, Bernoulli numbers and the Riemann Zeta function. In the present paper, we find a similar relation for zeros of q-sine function. We introduce a new q-extension of the Bernoulli numbers with generating function written in terms of both Jackson's q-exponential functions. By q-generalized multiple product Leibnitz rule and the q-analogue of logarithmic derivative we established exact relations between zeros of q-sin x and our q-Bernoulli numbers. These relations could be useful for analyzing approximate and asymptotic formulas for the zeros and solving BVP for q-Sturm-Liouville problems.

Refined Chern-Simons Theory and Knot Homology

arXiv:1202.2489

M. Aganagic, S. Shakirov

The refined Chern-Simons theory is a one-parameter deformation of the ordinary Chern-Simons theory on Seifert manifolds. It is defined via an index of the theory on N M5 branes, where the corresponding one-parameter deformation is a natural deformation of the geometric background. Analogously with the unrefined case, the solution of refined Chern-Simons theory is given in terms of S and T matrices, which are the proper Macdonald deformations of the usual ones. This provides a direct way to compute refined Chern-Simons invariants of a wide class of three-manifolds and knots. The knot invariants of refined Chern-Simons theory are conjectured to coincide with the knot superpolynomials -- Poincare polynomials of the triply graded knot homology theory. This conjecture is checked for a large number of torus knots in S^3, colored by the fundamental representation. This is a short, expository version of arXiv:1105.5117, with some new results included.

Langlands Program, Trace Formulas, and their Geometrization

arXiv:1202.2110

E. Frenkel

The Langlands Program relates Galois representations and automorphic representations of reductive algebraic groups. The trace formula is a powerful tool in the study of this connection and the Langlands Functoriality Conjecture. After giving an introduction to the Langlands Program and its geometric version, which applies to curves over finite fields and over the complex field, I give a survey of my recent joint work with Robert Langlands and Ngo Bao Chau (arXiv:1003.4578 and arXiv:1004.5323) on a new approach to proving the Functoriality Conjecture using the trace formulas, and on the geometrization of the trace formulas. In particular, I discuss the connection of the latter to the categorification of the Langlands correspondence.

BPS states and the P=W conjecture

arXiv:1202.2039

W.-y. Chuang, D.-E. Diaconescu, G. Pan

A string theoretic framework is presented for the work of Hausel and Rodriguez-Vilegas as well as de Cataldo, Hausel and Migliorini on the cohomology of character varieties. The central element of this construction is an identification of the cohomology of the Hitchin moduli space with BPS states in a local Calabi-Yau threefold. This is a summary of several talks given during the Moduli Space Program 2011 at Isaac Newton Institute.

Kuznetsov's trace formula and the Hecke eigenvalues of Maass forms

arXiv:1202.0189

C. Li, A. Knightly

We give an adelic treatment of the Kuznetsov trace formula as a relative trace formula on GL(2) over Q. The result is a variant which incorporates a Hecke eigenvalue in addition to two Fourier coefficients on the spectral side. We include a proof of a Weil bound for the generalized twisted Kloosterman sums which arise on the geometric side. As an application, we show that the Hecke eigenvalues of Maass forms at a fixed prime, when weighted as in the Kuznetsov formula, become equidistributed relative to the Sato-Tate measure in the limit as the level goes to infinity.

Fourier coefficients of automorphic forms, character variety orbits, and small representations

arXiv:1202.0210

S. Miller, S. Sahi

We consider the Fourier expansions of automorphic forms on general Lie groups, with a particular emphasis on exceptional groups. After describing some principles underlying known results on GL(n), Sp(4), and G_2, we perform an analysis of the expansions on split real forms of E_6 and E_7 where simplifications take place for automorphic realizations of real representations which have small Gelfand-Kirillov dimension. Though the character varieties are more complicated for exceptional groups, we explain how the nonvanishing Fourier coefficients for small representations behave analogously to Fourier coefficients on GL(n). We use this mechanism, for example, to show that the minimal representation of either E_6 or E_7 never occurs in the cuspidal automorphic spectrum. We also give a complete description of the internal Chevalley modules of all complex Chevalley groups -- that is, the orbit decomposition of the Levi factor of a maximal parabolic on its unipotent radical. This generalizes classical results on trivectors and in particular includes a full description of the complex character variety orbits for all maximal parabolics. The results of this paper have been applied in the string theory literature to the study of BPS instanton contributions to graviton scattering [arXiv:1111.2983].

The ABCDEF's of Matrix Models for Supersymmetric Chern-Simons Theories

arXiv:1201.6360

D.R. Gulotta, C.P. Herzog, T. Nishioka

We consider N = 3 supersymmetric Chern-Simons gauge theories with product unitary and orthosymplectic groups and bifundamental and fundamental fields. We study the partition functions on an S^3 by using the Kapustin-Willett-Yaakov matrix model. The saddlepoint equations in a large N limit lead to a constraint that the long range forces between the eigenvalues must cancel; the resulting quiver theories are of affine Dynkin type. We introduce a folding/unfolding trick which lets us, at the level of the large N matrix model, (i) map quivers with orthosymplectic groups to those with unitary groups, and (ii) obtain non-simply laced quivers from the corresponding simply laced quivers using a Z_2 outer automorphism. The brane configurations of the quivers are described in string theory and the folding/unfolding is interpreted as the addition/subtraction of orientifold and orbifold planes. We also relate the U(N) quiver theories to the affine ADE quiver matrix models with a Stieltjes-Wigert type potential, and derive the generalized Seiberg duality in 2 + 1 dimensions from Seiberg duality in 3 + 1 dimensions.

Small Representations for Affine q-Schur Algebras

arXiv:1201.3476

J. Du, Q. Fu

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

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

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

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

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)

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)

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

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

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

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

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

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.