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.