Quantization conditions and functional equations in ABJ(M) theories

arXiv:1410.7658

A. Grassi, Y. Hatsuda, M. Marino

The partition function of ABJ(M) theories on the three-sphere can be regarded as the canonical partition function of an ideal Fermi gas with a non-trivial Hamiltonian. We propose an exact expression for the spectral determinant of this Hamiltonian, which generalizes recent results obtained in the maximally supersymmetric case. As a consequence, we find an exact WKB quantization condition determining the spectrum which is in agreement with numerical results. In addition, we investigate the factorization properties and functional equations for our conjectured spectral determinants. These functional equations relate the spectral determinants of ABJ theories with consecutive ranks of gauge groups but the same Chern-Simons coupling.

ADE Double Scaled Little String Theories, Mock Modular Forms and Umbral Moonshine

arXiv:1410.6174 

J.A. Harvey, S. Murthy, C. Nazaroglu

We consider double scaled little string theory on $K3$. These theories are labelled by a positive integer $k \ge 2$ and an $ADE$ root lattice with Coxeter number $k$. We count BPS fundamental string states in the holographic dual of this theory using the superconformal field theory $K3 \times \left( \frac{SL(2,\mathbb{R})_k}{U(1)} \times \frac{SU(2)_k}{U(1)} \right) \big/ \mathbb{Z}_k$. We show that the BPS fundamental string states that are counted by the second helicity supertrace of this theory give rise to weight two mixed mock modular forms. We compute the helicity supertraces using two separate techniques: a path integral analysis that leads to a modular invariant but non-holomorphic answer, and a Hamiltonian analysis of the contribution from discrete states which leads to a holomorphic but not modular invariant answer. From a mathematical point of view the Hamiltonian analysis leads to a mixed mock modular form while the path integral gives the completion of this mixed mock modular form. We also compare these weight two mixed mock modular forms to those that appear in instances of Umbral Moonshine labelled by Niemeier root lattices $X$ that are powers of $ADE$ root lattices and find that they are equal up to a constant factor that we determine. In the course of the analysis we encounter an interesting generalization of Appell-Lerch sums and generalizations of the Riemann relations of Jacobi theta functions that they obey.

Resurgent Analysis of Localizable Observables in Supersymmetric Gauge Theories

arXiv:1410.5834

I. Aniceto, J.G. Russo, R. Schiappa

Localization methods have recently led to a plethora of new exact results in supersymmetric gauge theories, as certain observables may be computed in terms of matrix integrals. These can then be evaluated by making use of standard large N techniques, or else via perturbative expansions in the gauge coupling. Either approximation often leads to observables given in terms of asymptotic series, which need to be properly defined in order to obtain nonperturbative results. At the same time, resurgent analysis has recently been successfully applied to several problems, e.g., in quantum, field and string theories, precisely to overcome this issue and construct nonperturbative answers out of asymptotic perturbative expansions. The present work uses exact results from supersymmetric localization to address the resurgent structure of the free energy and partition function of Chern-Simons and ABJM gauge theories in three dimensions, and of N=2 supersymmetric Yang-Mills theories in four dimensions. For each case, the complete structure of Borel singularities is exactly determined, and the relation of these singularities with the large-order behavior of (multi-instanton) perturbative expansions is made fully precise.

ABJM Membrane Instanton from Pole Cancellation Mechanism

arXiv:1410.4918

S. Moriyama, T. Nosaka

The coefficients of the membrane instantons in the ABJM theory are known to be quadratic polynomials of the chemical potential. We show that, after deforming the ABJM theory into more general superconformal Chern-Simons theories labelled by (q,p) where the original ABJM theory corresponds to (q,p)=(1,1), we can decompose the membrane instanton into three types of non-perturbative effects with constant coefficients independent of the chemical potential. We find that, although these constants contain poles at certain values of q and p including the ABJM case, all of the poles cancel among themselves and the finite quadratic polynomial coefficients are reproduced at these values. This is similar to what happens between the membrane instantons and the worldsheet instantons in the ABJM theory.

Kloosterman sums in residue classes

arXiv:1410.4538 

V. Blomer, D. Milićević

We prove upper bounds for sums of Kloosterman sums against general arithmetic weight functions. In particular, we obtain power cancellation in sums of Kloosterman sums over arithmetic progressions, which is of square-root strength in any fixed primitive congruence class up to bounds towards the Ramanujan conjecture.

Topological Strings from Quantum Mechanics

arXiv:1410.3382

A. Grassi, Y. Hatsuda, M. Marino

We propose a general correspondence which associates a non-perturbative quantum-mechanical operator to a toric Calabi-Yau manifold, and we conjecture an explicit formula for its spectral determinant in terms of an M-theoretic version of the topological string free energy. As a consequence, we derive an exact quantization condition for the operator spectrum, in terms of the vanishing of a generalized theta function. The perturbative part of this quantization condition is given by the Nekrasov-Shatashvili limit of the refined topological string, but there are non-perturbative corrections determined by the conventional topological string. We analyze in detail the cases of local P2, local P1xP1 and local F1. In all these cases, the predictions for the spectrum agree with the existing numerical results. We also show explicitly that our conjectured spectral determinant leads to the correct spectral traces of the corresponding operators, which are closely related to topological string theory at orbifold points. Physically, our results provide a Fermi gas picture of topological strings on toric Calabi-Yau manifolds, which is fully non-perturbative and background independent. They also suggest the existence of an underlying theory of M2 branes behind this formulation. Mathematically, our results lead to precise, surprising conjectures relating the spectral theory of functional difference operators to enumerative geometry.

N=2 quiver gauge theories on ALE spaces

arXiv:1410.2742

U. Bruzzo, F. Sala, R.J. Szabo

We survey and compare recent approaches to the computation of the partition functions and correlators of chiral BPS observables in $\mathcal{N}=2$ gauge theories on ALE spaces based on quiver varieties and the minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$, in light of their recently conjectured duality with two-dimensional coset conformal field theories. We review and elucidate the rigorous constructions of gauge theories for a particular family of ALE spaces, using their relation to the cohomology of moduli spaces of framed torsion free sheaves on a suitable orbifold compactification of $X_k$. We extend these computations to generic $\mathcal{N}=2$ superconformal quiver gauge theories, obtaining in these instances new constraints on fractional instanton charges, a rigorous proof of the Nekrasov master formula, and new quantizations of Hitchin systems based on the underlying Seiberg-Witten geometry.

Will a physicists prove the Riemann Hypothesis?

arXiv:1410.1214

M. Wolf

In the first part we present the number theoretical properties of the Riemann zeta function and formulate the Riemann Hypothesis. In the second part we review some physical problems related to this hypothesis: the links with Random Matrix Theory, relation with the Lee--Yang theorem on the zeros of the partition function, random walks, billiards etc.

On a Gopakumar-Vafa form of partition function of Chern-Simons theory on classical and exceptional lines

arXiv:1410.0376

R.L. Mkrtchyan

We show that partition function of Chern-Simons theory on three-sphere with classical and exceptional groups (actually on the whole corresponding lines in Vogel's plane) can be represented as ratio of respectively triple and double sine functions (last function is essentially a modular quantum dilogarithm). The product representation of sine functions gives Gopakumar-Vafa structure form of partition function, which in turn gives a corresponding integer invariants of manifold after geometrical transition. In this way we suggest to extend gauge/string duality to exceptional groups, although one still have to identify geometrically the corresponding manifold with given invariants, and also resolve some other problems. In both classical and exceptional cases an additional terms, non-perturbative w.r.t. the string coupling constant, appear. The full universal partition function of Chern-Simons theory on three-sphere is shown to be the ratio of quadruple sine functions. We also discuss the matrix model for exceptional line.

Automorphisms of extremal unimodular lattices in dimension 72

arXiv:1409.8473 

G. Nebe

The paper narrows down the possible automorphisms of extremal even unimodular lattices of dimension 72. With extensive computations in {\sc Magma} using the very sophisticated algorithm for computing class groups of algebraic number fields written by Steve Donnelly it is shown that the extremal even unimodular lattice $\Gamma _{72}$ from \cite{dim72} is the unique extremal even unimodular lattice of dimension 72 that admits a large automorphism, where a $d\times d$ matrix is called large, if its minimal polynomial has an irreducible factor of degree $> d/2$.

Theories of Class S and New N=1 SCFTs

arXiv:1409.7668 

J. McGrane, B. Wecht

We describe an infinite two-parameter subfamily of theories of class S where dialing one of the parameters interpolates between Gaiotto's T_N theory and a theory of N^2 free hypermultiplets. After using the reduced superconformal index to study the operator content, we use these theories to construct new N=1 SCFTs and then examine the flows between them.

Exponential Sums Related to Maass Forms

arXiv:1409.7235

J. Jääsaari, E.V. Vesalainen

We estimate short exponential sums weighted by the Fourier coefficients of a Maass form. This requires working out a certain transformation formula for non-linear exponential sums, which is of independent interest. We also discuss how the results depend on the growth of the Fourier coefficients in question. 
The short estimates allow us to reduce smoothing errors. In particular, we prove an analogue of the approximate functional equation previously proven for holomorphic cusp form coefficients. 
As an application of these, we remove the logarithm from the classical upper bound for long linear sums weighted by Fourier coefficients of Maass forms, the resulting estimate being the best possible. This also involves improving the upper bounds for long linear sums with rational additive twists, the gains again allowed by the estimates for the short sums.

Toda 3-Point Functions From Topological Strings

arXiv:1409.6313 

V. Mitev, E. Pomoni

We consider the long-standing problem of obtaining the 3-point functions of Toda CFT. Our main tools are topological strings and the AGT-W relation between gauge theories and 2D CFTs. In arXiv:1310.3841 we computed the partition function of 5D $T_N$ theories on $S^4 \times S^1$ and suggested that they should be interpreted as the three-point structure constants of q-deformed Toda. In this paper, we provide the exact AGT-W dictionary for this relation and rewrite the 5D $T_N$ partition function in a form that makes taking the 4D limit possible. Thus, we obtain a prescription for the computation of the partition function of the 4D $T_N$ theories on $S^4$, or equivalently the undeformed 3-point Toda structure constants. Our formula, has the correct symmetry properties, the zeros that it should and, for $N=2$, gives the known answer for Liouville CFT.

Nonassociative geometry in quasi-Hopf representation categories I: Bimodules and their internal homomorphisms

arXiv:1409.6331

G.E. Barnes, A. Schenkel, R.J. Szabo

We systematically study noncommutative and nonassociative algebras A and their bimodules as algebras and bimodules internal to the representation category of a quasitriangular quasi-Hopf algebra. We enlarge the morphisms of the monoidal category of A-bimodules by internal homomorphisms, and describe explicitly their evaluation and composition morphisms. For braided commutative algebras A the full subcategory of symmetric A-bimodule objects is a braided closed monoidal category, from which we obtain an internal tensor product operation on internal homomorphisms. We describe how these structures deform under cochain twisting of the quasi-Hopf algebra, and apply the formalism to the example of deformation quantization of equivariant vector bundles over a smooth manifold. Our constructions set up the basic ingredients for the systematic development of differential geometry internal to the quasi-Hopf representation category, which will be tackled in the sequels to this paper, together with applications to models of noncommutative and nonassociative gravity such as those anticipated from non-geometric string theory.

Computing topological zeta functions of groups, algebras, and modules, II

arXiv:1409.5044

T. Rossmann

Building on our previous work (arXiv:1405.5711), we develop the first practical algorithm for computing topological zeta functions of nilpotent groups, non-associative algebras, and modules. While we previously depended upon non-degeneracy assumptions, the theory developed here allows us to overcome these restrictions in various interesting cases.

The Moonshine Module for Conway's Group

arXiv:1409.3829 

J.F.R. Duncan, S. Mack-Crane

We exhibit an action of Conway's group---the automorphism group of the Leech lattice---on a distinguished super vertex operator algebra, and we prove that the associated graded trace functions are normalized principal moduli, all having vanishing constant terms in their Fourier expansion. Thus we construct the natural analogue of the Frenkel--Lepowsky--Meurman moonshine module for Conway's group. 

The super vertex operator algebra we consider admits a natural characterization, in direct analogy with that conjectured to hold for the moonshine module vertex operator algebra. It also admits a unique canonically-twisted module, and the action of the Conway group naturally extends. We prove a special case of generalized moonshine for the Conway group, by showing that the graded trace functions arising from its action on the canonically-twisted module are constant in the case of Leech lattice automorphisms with fixed points, and are principal moduli for genus zero groups otherwise.

Tetrahedron Equation and Quantum $R$ Matrices for modular double of $U_q(D^{(2)}_{n+1}), U_q(A^{(2)}_{2n})$ and $U_q(C^{(1)}_{n})$

arXiv:1409.1986

A. Kuniba, M. Okado, S. Sergeev

We introduce a homomorphism from the quantum affine algebras $U_q(D^{(2)}_{n+1}), U_q(A^{(2)}_{2n}), U_q(C^{(1)}_{n})$ to the $n$-fold tensor product of the $q$-oscillator algebra ${\mathcal A}_q$. Their action commute with the solutions of the Yang-Baxter equation obtained by reducing the solutions of the tetrahedron equation associated with the modular and the Fock representations of ${\mathcal A}_q$. In the former case, the commutativity is enhanced to the modular double of these quantum affine algebras.

On Some Computations of Higher Rank Refined Donaldson-Thomas Invariants

arXiv:1409.2198

W. Chuang, C. Wang

We present some computations of higher rank refined Donaldson-Thomas invariants on local curve geometries, corresponding to local D6-D2-D0 or D4-D2-D0 configurations. A refined wall-crossing formula for invariants with higher D6 or D4 ranks is derived and verified to agree with the existing formulas under the unrefined limit. Using the formula, refined invariants on the $(-1,-1)$ and $(-2,0)$ local rational curve with higher D6 or D4 ranks are computed.

Exact results in N=8 Chern-Simons-matter theories and quantum geometry

arXiv:1409.1799

S. Codesido, A. Grassi, M. Marino

We show that, in ABJ(M) theories with N=8 supersymmetry, the non-perturbative sector of the partition function on the three-sphere simplifies drastically. Due to this simplification, we are able to write closed form expressions for the grand potential of these theories, which determines the full large N asymptotics. Moreover, we find explicit formulae for the generating functionals of their partition functions, for all values of the rank N of the gauge group. They involve Jacobi theta functions on the spectral curve associated to the planar limit. We also show that the partition function, as a function of N, can be extended in a natural way to an entire function on the full complex plane, and we explore some possible consequences of this fact for the quantum geometry of M-theory and for putative de Sitter extensions.

Non-Unitary Holography

arXiv:1409.1603

C. Vafa

We propose gauge theory/gravity duality involving conformal theories based on U(N+k|k) gauge groups. We show that to all orders in 1/N these non-unitary theories based on supergroups are indistinguishable from the corresponding unitary theories where the gauge group is replaced by U(N). This leads to non-unitary gravity duals which to all orders in 1/N are indistinguishable from their unitary cousins. They are distinguished by operators whose correlation functions differ by O(exp(-aN)). The celebrated type IIB on AdS^5 x S^5 and M-theory on AdS^4 x S^7 fall in this class and thus seem to also admit non-unitary non-perturbative completions. It is tempting to conjecture that this setup may provide a non-unitary model for black hole evaporation.