A note on the automorphism group of the root lattice of the U-dual modular group

We study the inclusion system of the quantum deformed 2 dimensional Yang-Mills root module to the graded root module of the U-dual modular group. The irreducible representation of the U-dual modular group is the quantum deformed black brane throat. We expose the isomorphism between coherent superposition of the topological amplitude and the space of the automorphic forms of the U-dual modular group.

Cone Vertex Algebras, Mock Theta Functions, and Umbral Moonshine Modules

arXiv:2203.03052 Miranda C. N. Cheng, Gabriele Sgroi We describe a family of indefinite theta functions of signature (1,1) that can be expressed in terms of trace functions of vertex algebras built from cones in lattices. The family of indefinite theta functions considered has interesting connections with mock theta functions and Appell-Lerch sums. We use these relations to write the McKay-Thompson series of umbral moonshine at lambency ℓ=8,12,16 in terms of trace functions of vertex algebras modules, and thereby provide the modules for these instances of umbral moonshine.

Crystal Melting, BPS Quivers and Plethystics

arXiv:2202.12850 Jiakang Bao, Yang-Hui He, Ali Zahabi We study the refined and unrefined crystal/BPS partition functions of D6-D2-D0 brane bound states for all toric Calabi-Yau threefolds without compact 4-cycles and some non-toric examples. They can be written as products of (generalized) MacMahon functions. We check our expressions and use them as vacuum characters to study the gluings. We then consider the wall crossings and discuss possible crystal descriptions for different chambers. We also express the partition functions in terms of plethystic exponentials. For C3 and tripled affine quivers, we find their connections to Kac polynomials. Similarly, the partition functions of D4-D2-D0 brane bound states can be obtained by replacing the (generalized) MacMahon functions with the inverse of (generalized) Euler functions.

M2-branes and q-Painlevé equations

arXiv:2202.10654 Giulio Bonelli, Fran Globlek, Naotaka Kubo, Tomoki Nosaka, Alessandro Tanzini In this paper we investigate a novel connection between the effective theory of M2-branes on (C2/Z2×C2/Z2)/Zk and the q-deformed Painlevé equations, by proposing that the grand canonical partition function of the corresponding four-nodes circular quiver N=4 Chern-Simons matter theory solves the q-Painlevé VI equation. We analyse how this describes the moduli space of the topological string on local dP5 and, via geometric engineering, five dimensional Nf=4 SU(2) N=1 gauge theory on a circle. The results we find extend the known relation between ABJM theory, q-Painlevé III3, and topological strings on local P1×P1. From the mathematical viewpoint the quiver Chern-Simons theory provides a conjectural Fredholm determinant realisation of the q-Painlevé VI τ-function. We provide evidence for this proposal by analytic and numerical checks and discuss in detail the successive decoupling limits down to Nf=0, corresponding to q-PainlevéIII3.

Imaginary reflections and discrete symmetries in the heterotic Monster

arXiv:2202.09720 Lisa Carbone, Natalie M. Paquette Let M be the Monster finite simple group. We give an interpretation of certain discrete symmetries of a family of heterotic string compactifications to 1+1 dimensions in terms of discrete symmetries of the Monster Lie algebra m, and more generally Carnahan's family of Monstrous Lie algebras mg, for g∈M of Fricke type. We show that a discrete symmetry of a supersymmetric index Z which counts (with signs) the number of spacetime BPS-states in 1+1 dimensions can be described in terms of the Weyl group and extended Weyl group of m. This allows us to realize the extended Weyl group as a group of T-dualities of the heterotic models.

Characteristic Polynomials in Coupled Matrix Models

arXiv:2202.09585 Nicolas Babinet, Taro Kimura We study correlation functions of the characteristic polynomials in coupled matrix models based on the Schur polynomial expansion, which manifests their determinantal structure.

Schur Indices of Class S and Quasimodular Forms

arXiv:2112.10715 Christopher Beem, Shlomo S. Razamat, Palash Singh We investigate the unflavoured Schur indices of class S theories of modest rank, and in the case of N=4 super Yang-Mills theory with special unitary gauge group of somewhat more general rank, with an eye towards their modular properties. We find closed form expressions for many of these theories in terms of quasimodular forms of level one or two, with the curious feature that in general they are sums of quasimodular forms of different weights. For type a1 theories, the index can be fixed by taking a simple Ansatz for the family of quasimodular forms appearing in the expansion of this type and demanding that the result be sufficiently regular as q→0. For higher rank cases, an equally simple construction is lacking, but we nevertheless find that these indices can be expressed in terms of mixed-weight quasimodular forms.

The exact Schur index in closed form

arXiv:2112.09705 Yiwen Pan, Wolfger Peelaers The Schur limit of the superconformal index of a four-dimensional N = 2 superconformal field theory encodes rich physical information about the protected spectrum of the theory. For a Lagrangian model, this limit of the index can be computed by a contour integral of a multivariate elliptic function. However, surprisingly, so far it has eluded exact evaluation in closed, analytical form. In this paper we propose an elementary approach to bring to heel a large class of these integrals by exploiting the ellipticity of their integrand. Our results take the form of a finite sum of (products of) the well-studied flavored Eisenstein series. In particular, we derive a compact formula for the fully flavored Schur index of all theories of class S of type a1, we put forward a conjecture for the unflavored Schur indices of all N=4 super Yang-Mills theories with gauge group SU(N), and we present closed-form expressions for the index of various other gauge theories of low ranks. We also discuss applications to non-Lagrangian theories, modular properties, and defect indices.

Elliptic Quantum Toroidal Algebra U_{q,t,p}(gl_{1,tor}) and Affine Quiver Gauge Theories

arXiv:2112.09885 Hitoshi Konno, Kazuyuki Oshima We introduce the elliptic quantum toroidal algebra Uq,t,p(gl1,tor). Various representations in the quantum toroidal algebra Uq,t(gl1,tor) are extended to the elliptic case including the level (0,0) representation realized by using the elliptic Ruijsenaars difference operator. Various intertwining operators of Uq,t,p(gl1,tor)-modules w.r.t. the Drinfeld comultiplication are also constructed. We show that Uq,t,p(gl1,tor) gives a realization of the affine quiver W-algebra Wq,t(Gamma(widehatA0)) proposed by Kimura-Pestun. This realization turns out to be useful to derive the Nekrasov instanton partition functions, i.e. the chiy- and elliptic genus, of the 5d and 6d lifts of the 4d calN=2∗ theories and provide a new Alday-Gaiotto-Tachikawa correspondence.

The Schur Expansion of Characteristic Polynomials and Random Matrices

arXiv:2111.02365 Taro Kimura, Edward A. Mazenc We develop a new framework to compute the exact correlators of characteristic polynomials, and their inverses, in random matrix theory. Our results hold for general potentials and incorporate the effects of an external source. In matrix model realizations of string theory, these correspond to correlation functions of exponentiated "(anti-)branes" in a given background of "momentum branes". Our method relies on expanding the (inverse) determinants in terms of Schur polynomials, then re-summing their expectation values over the allowed representations of the symmetric group. Beyond unifying previous, seemingly disparate calculations, this powerful technique immediately delivers two new results: 1) the full finite N answer for the correlator of inverse determinant insertions in the presence of a matrix source, and 2) access to an interesting, novel regime M>N, where the number of inverse determinant insertions M exceeds the size of the matrix N.

An Overview of Penumbral Moonshine

arXiv:2109.09756 John F. R. Duncan, Jeffrey A. Harvey, Brandon C. Rayhaun As Mathieu moonshine is a special case of umbral moonshine, Thompson moonshine (in half-integral weight) is a special case of a family of similar relationships between finite groups and vector-valued modular forms of a certain kind. We call this penumbral moonshine. We introduce and explain some features of this phenomenon in this work.

Poincaré series for modular graph forms at depth two. II. Iterated integrals of cusp forms

arXiv:2109.05018 Daniele Dorigoni, Axel Kleinschmidt, Oliver Schlotterer We continue the analysis of modular invariant functions, subject to inhomogeneous Laplace eigenvalue equations, that were determined in terms of Poincaré series in a companion paper. The source term of the Laplace equation is a product of (derivatives of) two non-holomorphic Eisenstein series whence the modular invariants are assigned depth two. These modular invariant functions can sometimes be expressed in terms of single-valued iterated integrals of holomorphic Eisenstein series as they appear in generating series of modular graph forms. We show that the set of iterated integrals of Eisenstein series has to be extended to include also iterated integrals of holomorphic cusp forms to find expressions for all modular invariant functions of depth two. The coefficients of these cusp forms are identified as ratios of their L-values inside and outside the critical strip.

Poincaré series for modular graph forms at depth two. I. Seeds and Laplace systems

arXiv:2109.05017 Daniele Dorigoni, Axel Kleinschmidt, Oliver Schlotterer We derive new Poincaré-series representations for infinite families of non-holomorphic modular invariant functions that include modular graph forms as they appear in the low-energy expansion of closed-string scattering amplitudes at genus one. The Poincaré series are constructed from iterated integrals over single holomorphic Eisenstein series and their complex conjugates, decorated by suitable combinations of zeta values. We evaluate the Poincaré sums over these iterated Eisenstein integrals of depth one and deduce new representations for all modular graph forms built from iterated Eisenstein integrals at depth two. In a companion paper, some of the Poincaré sums over depth-one integrals going beyond modular graph forms will be described in terms of iterated integrals over holomorphic cusp forms and their L-values.

Modular curves, the Tate-Shafarevich group and Gopakumar-Vafa invariants with discrete charges

arXiv:2108.09311 Thorsten Schimannek We show that the stringy Kähler moduli space of a generic genus one curve of degree N, for N≤5, is the Γ1(N) modular curve X1(N). This implies a correspondence between the cusps of the modular curves and certain large volume limits in the stringy Kähler moduli spaces of genus one fibered Calabi-Yau manifolds with N-sections. Using Higgs transitions in M-theory and F-theory as well as modular properties of the topological string partition function, we identify these large volume limits with elements of the Tate-Shafarevich group of the genus one fibration. Singular elements appear in the form of non-commutative resolutions with a torsional B-field at the singularity. The topological string amplitudes that arise at the various large volume limits are related by modular transformations. In particular, we find that the topological string partition function of a smooth genus one fibered Calabi-Yau threefold is transformed into that of a non-commutative resolution of the Jacobian by a Fricke involution. In the case of Calabi-Yau threefolds, we propose an expansion of the partition functions of a singular fibration and its non-commutative resolutions in terms of Gopakumar-Vafa invariants that are associated to BPS states with discrete charges. For genus one fibrations with 5-sections, this provides an enumerative interpretation for the partition functions that arise at certain irrational points of maximally unipotent monodromy.

Harmonic analysis of 2d CFT partition functions

arXiv:2107.10744 Nathan Benjamin, Scott Collier, A. Liam Fitzpatrick, Alexander Maloney, Eric Perlmutter We apply the theory of harmonic analysis on the fundamental domain of SL(2,Z) to partition functions of two-dimensional conformal field theories. We decompose the partition function of c free bosons on a Narain lattice into eigenfunctions of the Laplacian of worldsheet moduli space H/SL(2,Z), and of target space moduli space O(c,c;Z)∖O(c,c;R)/O(c)×O(c). This decomposition manifests certain properties of Narain theories and ensemble averages thereof. We extend the application of spectral theory to partition functions of general two-dimensional conformal field theories, and explore its meaning in connection to AdS3 gravity. An implication of harmonic analysis is that the local operator spectrum is fully determined by a certain subset of degeneracies.

On refined Chern-Simons and refined ABJ matrix models

arXiv:2107.07525 Luca Cassia, Maxim Zabzine We consider the matrix model of U(N) refined Chern-Simons theory on S3 for the unknot. We derive a q-difference operator whose insertion in the matrix integral reproduces an infinite set of Ward identities which we interpret as q-Virasoro constraints. The constraints are rewritten as difference equations for the generating function of Wilson loop expectation values which we solve as a recursion for the correlators of the model. The solution is repackaged in the form of superintegrability formulas for Macdonald polynomials. Additionally, we derive an equivalent q-difference operator for a similar refinement of ABJ theory and show that the corresponding q-Virasoro constraints are equal to those of refined Chern-Simons for a gauge super-group U(N|M). Our equations and solutions are manifestly symmetric under Langlands duality q↔t−1 which correctly reproduces 3d Seiberg duality when q is a specific root of unity.

Chern-Simons Invariants from Ensemble Averages

arXiv:2104.14710 Meer Ashwinkumar, Matthew Dodelson, Abhiram Kidambi, Jacob M. Leedom, Masahito Yamazaki We discuss ensemble averages of two-dimensional conformal field theories associated with an arbitrary indefinite lattice with integral quadratic form Q. We provide evidence that the holographic dual after the ensemble average is the three-dimensional Abelian Chern-Simons theory with kinetic term determined by Q. The resulting partition function can be written as a modular form, expressed as a sum over the partition functions of Chern-Simons theories on lens spaces. For odd lattices, the dual bulk theory is a spin Chern-Simons theory, and we identify several novel phenomena in this case. We also discuss the holographic duality prior to averaging in terms of Maxwell-Chern-Simons theories.

Intertwining operator and integrable hierarchies from topological strings

arXiv:2101.09925 Jean-Emile Bourgine In [1], Nakatsu and Takasaki have shown that the melting crystal model behind the topological strings vertex provides a tau-function of the KP hierarchy after an appropriate time deformation. We revisit their derivation with a focus on the underlying quantum W1+∞ symmetry. Specifically, we point out the role played by automorphisms and the connection with the intertwiner - or vertex operator - of the algebra. This algebraic perspective allows us to extend part of their derivation to the refined melting crystal model, lifting the algebra to the quantum toroidal algebra of gl(1) (also called Ding-Iohara-Miki algebra). In this way, we take a first step toward the definition of deformed hierarchies associated to A-model refined topological strings.

Integral Representations of Rank Two False Theta Functions and Their Modularity Properties

arXiv:2101.02902 Kathrin Bringmann, Jonas Kaszian, Antun Milas, Caner Nazaroglu False theta functions form a family of functions with intriguing modular properties and connections to mock modular forms. In this paper, we take the first step towards investigating modular transformations of higher rank false theta functions, following the example of higher depth mock modular forms. In particular, we prove that under quite general conditions, a rank two false theta function is determined in terms of iterated, holomorphic, Eichler-type integrals. This provides a new method for examining their modular properties and we apply it in a variety of situations where rank two false theta functions arise. We first consider generic parafermion characters of vertex algebras of type A2 and B2. This requires a fairly non-trivial analysis of Fourier coefficients of meromorphic Jacobi forms of negative index, which is of independent interest. Then we discuss modularity of rank two false theta functions coming from superconformal Schur indices. Lastly, we analyze Z^-invariants of Gukov, Pei, Putrov, and Vafa for certain plumbing H-graphs. Along the way, our method clarifies previous results on depth two quantum modularity.

Mathieu Moonshine and Siegel Modular Forms

arXiv:2011.07922 Suresh Govindarajan, Sutapa Samanta A second-quantized version of Mathieu moonshine leads to product formulae for functions that are potentially genus-two Siegel Modular Forms analogous to the Igusa Cusp Form. The modularity of these functions do not follow in an obvious manner. For some conjugacy classes, but not all, they match known modular forms. In this paper,we prove that the product formulae for all conjugacy classes of M24 are indeed Siegel Modular Forms.