Natural Construction of Ten Borcherds-Kac-Moody Algebras Associated with Elements in M23

arXiv:1905.09629

Sven Möller

Borcherds-Kac-Moody algebras generalise finite-dimensional, simple Lie algebras. Scheithauer showed that there are exactly ten Borcherds-Kac-Moody algebras whose denominator identities are completely reflective automorphic products of singular weight on lattices of square-free level. These belong to a larger class of Borcherds-Kac-Moody (super)algebras Borcherds obtained by twisting the denominator identity of the Fake Monster Lie algebra. Borcherds also posed the question whether these Lie (super)algebras admit natural constructions. For the ten Lie algebras from the classification we give a positive answer to this question, i.e. we prove that they can be realised uniformly as the BRST cohomology of bosonic strings moving on suitable spacetimes.

Converse theorems for automorphic distributions and Maass forms of level N

arXiv:1905.04909

Tadashi Miyazaki, Fumihiro Sato, Kazunari Sugiyama, Takahiko Ueno

We investigate the relations for L-functions satisfying certain functional equation, summationa formulas of Voronoi-Ferrar type and Maass forms of integral and half-integral weight. Summation formulas of Voronoi-Ferrar type can be viewed as an automorphic property of distribution vectors of non-unitary principal series representations of the double covering group of SL(2). Our goal is converse theorems for automorphic distributions and Maass forms of level N characterizing them by analytic properties of the associated L-functions. As an application of our converse theorems, we construct Maass forms from the two-variable zeta functions related to quadratic forms studied by Peter and the fourth author.

An infrared bootstrap of the Schur index with surface defects

arXiv:1905.02724

Martin Fluder, Pietro Longhi

The infrared formula relates the Schur index of a 4d N=2 theory to its wall-crossing invariant, a.k.a. BPS monodromy. A further extension of this formula, proposed by Córdova, Gaiotto and Shao, includes contributions by various types of line and surface defects. We study BPS monodromies in the presence of vortex surface defects of arbitrary vorticity for general class Stheories of type A1 engineered by UV curves with at least one regular puncture. The trace of these defect BPS monodromies is shown to coincide with the action of certain q-difference operators acting on the trace of the (pure) 4d BPS monodromy. We use these operators to develop a "bootstrap" (of traces) of BPS monodromies, relying only on their infrared properties, thereby reproducing the very general ultraviolet characterization of the Schur index.

Sphere Packing and Quantum Gravity

arXiv:1905.01319

Thomas Hartman, Dalimil Mazáč, Leonardo Rastelli

We establish a precise relation between the modular bootstrap, used to constrain the spectrum of 2D CFTs, and the sphere packing problem in Euclidean geometry. The modular bootstrap bound for chiral algebra U(1)c maps exactly to the Cohn-Elkies linear programming bound on the sphere packing density in d=2c dimensions. We also show that the analytic functionals developed earlier for the correlator conformal bootstrap can be adapted to this context. For c=4 and c=12, these functionals exactly reproduce the ``magic functions'' used recently by Viazovska \cite{viazovska8} and Cohn \textit{et~al.}~\cite{viazovska24} to solve the sphere packing problem in dimensions 8 and 24. The same functionals are also applied to general 2D CFTs, with only Virasoro symmetry. In the limit of large central charge, we relate sphere packing to bounds on the black hole spectrum in 3D quantum gravity, and prove analytically that any such theory must have a nontrivial primary state of dimension Δ0≲c/8.503.

A quantized Riemann-Hilbert problem in Donaldson-Thomas theory

arXiv:1905.00748

Anna Barbieri, Tom Bridgeland, Jacopo Stoppa

We introduce Riemann-Hilbert problems determined by refined Donaldson-Thomas theory. They involve piecewise holomorphic maps from the complex plane to the group of automorphisms of a quantum torus algebra. We study the simplest case in detail and use the Barnes double gamma function to construct a solution.

SCFTs, Holography, and Topological Strings

arXiv:1905.00116

Hirotaka Hayashi, Patrick Jefferson, Hee-Cheol Kim, Kantaro Ohmori, Cumrun Vafa

We show that the non-gravitational sectors of certain 6d and 5d supergravity theories can be decomposed into superconformal field theories (SCFTs) which are coupled together by pairwise identifying and gauging mutual global symmetries. In the case of 6d supergravity, we consider F-theory on compact elliptic Calabi-Yau 3-folds with base B=T4/Zn×Zm and we show in many examples that the non-gravitational field theory sectors can be described as configurations of coupled 6d (1,0) SCFTs. We also conjecture that the effective 2d (0,4) SCFTs living on the self-dual strings of the 6d theories lead to holographically dual descriptions of type IIB string theory on AdS3×S3×B and moreover that their elliptic genera can be used to compute the degeneracies of 5d spinning BPS black holes along with all-genus topological string amplitudes on the corresponding compact 3-fold. In the case of 5d supergravity, we consider M-theory on compact Calabi-Yau 3-folds and using similar ideas as in the 6d case we show the complete non-gravitational sector of 5d supergravity theories can be decomposed into coupled 5d N=1 SCFTs. Furthermore, using this picture we propose a generalized topological vertex formalism which, excluding some curve classes, seems to capture all-genus topological string amplitudes for the mirror quintic.

Quantum geometry of moduli spaces of local systems and representation theory

arXiv:1904.10491

Alexander Goncharov, Linhui Shen

Let G be a split semi-simple adjoint group, and S an oriented surface with punctures and special boundary points. We introduce a new moduli space P(G,S) parametrizing G-local system on S with some boundary data, and prove that it carries a cluster Poisson structure, equivariant under the action of the cluster modular group M(G,S), containing the mapping class group of S, the group of outer automorphisms of G, and the product of Weyl / braid groups over punctures / boundary components. We prove that the dual moduli space A(G,S) carries a M(G,S)-equivariant cluster structure, and the pair (A(G,S), P(G,S)) is a cluster ensemble. These results generalize the works of V. Fock & the first author, and of I. Le. 
We quantize cluster Poisson varieties X for any Planck constant h s.t. h>0 or |h|=1. First, we define a *-algebra structure on the Langlands modular double A(h; X) of the algebra of functions on X. We construct a principal series of representations of the *-algebra A(h; X), equivariant under a unitary projective representation of the cluster modular group M(X). This extends works of V. Fock and the first author when h>0. 
Combining this, we get a M(G,S)-equivariant quantization of the moduli space P(G,S), given by the *-algebra A(h; P(G,S)) and its principal series representations. We construct realizations of the principal series *-representations. In particular, when S is punctured disc with two special points, we get a principal series *-representations of the Langlands modular double of the quantum group Uq(g). 
We conjecture that there is a nondegenerate pairing between the local system of coinvariants of oscillatory representations of the W-algebra and the one provided by the projective representation of the mapping class group of S.

Classification of all N≥3 moduli space orbifold geometries at rank 2

arXiv:1904.10969

Philip C. Argyres, Antoine Bourget, Mario Martone

We classify orbifold geometries which can be interpreted as moduli spaces of four-dimensional N≥3 superconformal field theories up to rank 2 (complex dimension 6). The large majority of the geometries we find correspond to moduli spaces of known theories or discretely gauged version of them. Remarkably, we find 6 geometries which are not realized by any known theory, of which 3 have an N=2 Coulomb branch slice with a non-freely generated coordinate ring, suggesting the existence of new, exotic N=3 theories.