Search

It has been known since 1992 that the McKay-Thompson series $T_g(q)$ of the Moonshine module form Hauptmoduln for genus zero subgroups of $SL(2, \mathbb{R})$. In 2021, Lin and Shao constructed a series analogous to the McKay-Thompson series (a twined partition function of the Monster CFT), but using a non-invertible topological defect rather than an element of the Monster group $\mathcal{M}$. This "defect McKay-Thompson series" was found to be invariant under a genus zero subgroup of $SL(2, \mathbb{R})$, but was shown not to be the Hauptmodul of the subgroup. Nevertheless, one might wonder if a weaker version of Borcherds' theorem holds for non-invertible defects: perhaps defect McKay-Thompson series enjoy genus zero invariance groups in $SL(2, \mathbb{R})$, whether or not they are Hauptmoduln for those groups. Using the decompositions of the monster stress tensor found in Bae et al. (2021), we construct several new defect McKay-Thompson series, study their modular properties, and determine their invariance groups in $SL(2, \mathbb{R})$. We discover that many of the invariance groups are not genus zero., Comment: 18 pages, 1 figure, 5 tables

The Thompson sporadic group admits special relationships to modular forms of two kinds. On the one hand, last century's generalized moonshine for the monster equipped the Thompson group with a module for which the associated McKay-Thompson series are distinguished weight zero modular functions. On the other hand, Griffin and Mertens verified the existence of a module for which the McKay-Thompson series are distinguished modular forms of weight one-half, that were assigned to the Thompson group in this century by the last two authors of this work. In this paper we round out this picture by proving the existence of two new avatars of Thompson moonshine: a new module giving rise to weight zero modular functions, and a new module giving rise to forms of weight one-half. We explain how the newer modules are related to the older ones by Borcherds products and traces of singular moduli. In so doing we clarify the relationship between the previously known modules, and expose a new arithmetic aspect to moonshine for the Thompson group. We also present evidence that this phenomenon extends to a correspondence between other cases of generalized monstrous moonshine and penumbral moonshine, and thereby enriches these phenomena with counterparts in weight one-half and weight zero, respectively., Comment: 91 pages, 1 figure, 43 tables

Motivated by the appearance of penumbral moonshine, and by evidence that penumbral moonshine enjoys an extensive relationship to generalized monstrous moonshine via infinite products, we establish a general construction in this work which uses singular theta lifts and a concrete construction at the level of modules for a finite group to translate between moonshine in weight one-half and moonshine in weight zero. This construction serves as a foundation for a companion paper in which we explore the connection between penumbral Thompson moonshine and a special case of generalized monstrous moonshine in detail., Comment: 54 pages

We present a brief overview of Moonshine with an emphasis on connections to physics. Moonshine collectively refers to a set of phenomena connecting group theory, analytic number theory, and vertex operator algebras or conformal field theories. Modern incarnations of Moonshine arise in various BPS observables in string theory and, via dualities, invariants in enumerative geometry. We survey old and new developments, and highlight some of the many open questions that remain., Comment: 8 pages + references; v2: references added

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., Comment: 96 pages, 55 tables, small typos corrected, tables reformatted

We extend the investigation of special toroidal compactifications of heterotic string theory for which the half-BPS states provide representations of subgroups of the Conway group. We also explore dual descriptions of these theories and find that they are all linked to either F-theory or type IIA string theory on K3 surfaces with symplectic automorphism groups that are the same Conway subgroups as those of the heterotic dual. The matching with type IIA K3 dual theories includes both the matching of symmetry groups and a comparison between the Narain lattice on the heterotic side and the cohomology lattice on the type IIA side. We present twelve examples where we can identify a type IIA dual K3 orbifold theory as the dual description of the heterotic theory. In addition, we include a Mathematica package that performs most of the computations required for these comparisons., Comment: 28 pages

This is a preface to A Passion for Theoretical Physics, a special issue collection of articles published in J. Phys. A in memory of Peter G. O. Freund., Comment: 6 pages; v2: references updated

Special conformal field theories can have symmetry groups which are interesting sporadic finite simple groups. Famous examples include the Monster symmetry group of a $c=24$ two-dimensional conformal field theory (CFT) constructed by Frenkel, Lepowsky and Meurman, and the Conway symmetry group of a $c=12$ CFT explored in detail by Duncan and Mack-Crane. The Mathieu moonshine connection between the K3 elliptic genus and the Mathieu group $M_{24}$ has led to the study of K3 sigma models with large symmetry groups. A particular K3 CFT with a maximal symmetry group preserving $(4,4)$ superconformal symmetry was studied in beautiful work by Gaberdiel, Taormina, Volpato, and Wendland. The present paper shows that in both the GTVW and $c=12$ theories the construction of superconformal generators can be understood via the theory of quantum error correcting codes. The automorphism groups of these codes lift to symmetry groups in the CFT preserving the superconformal generators. In the case of the $N=1$ supercurrent of the GTVW model our result, combined with a result of T. Johnson-Freyd implies the symmetry group is the maximal subgroup of $M_{24}$ known as the sextet group. (The sextet group is also known as the holomorph of the hexacode.) Building on \cite{gtvw} the Ramond-Ramond sector of the GTVW model is related to the Miracle Octad Generator which in turn leads to a role for the Golay code as a group of symmetries of RR states. Moreover, $(4,1)$ superconformal symmetry suffices to define and decompose the elliptic genus of a K3 sigma model into characters of the $N=4$ superconformal algebra. The symmetry group preserving $(4,1)$ is larger than that preserving $(4,4)$., Comment: only 53 pages

The monster sporadic group is the automorphism group of a central charge $c=24$ vertex operator algebra (VOA) or meromorphic conformal field theory (CFT). In addition to its $c=24$ stress tensor $T(z)$, this theory contains many other conformal vectors of smaller central charge; for example, it admits $48$ commuting $c=\frac12$ conformal vectors whose sum is $T(z)$. Such decompositions of the stress tensor allow one to construct new CFTs from the monster CFT in a manner analogous to the Goddard-Kent-Olive (GKO) coset method for affine Lie algebras. We use this procedure to produce evidence for the existence of a number of CFTs with sporadic symmetry groups and employ a variety of techniques, including Hecke operators, modular linear differential equations, and Rademacher sums, to compute the characters of these CFTs. Our examples include (extensions of) nine of the sporadic groups appearing as subquotients of the monster, as well as the simple groups ${}^2{E}_6(2)$ and ${F}_4(2)$ of Lie type. Many of these examples are naturally associated to McKay's $\widehat{E_8}$ correspondence, and we use the structure of Norton's monstralizer pairs more generally to organize our presentation., Comment: 109 pages, 5 figures, new results for D4B case added as well as new material on the use of Rademacher sums to determine characters of the dual CFTs

Hecke operators relate characters of rational conformal field theories (RCFTs) with different central charges, and extend the previously studied Galois symmetry of modular representations and fusion algebras. We show that the conductor $N$ of a RCFT and the quadratic residues mod $N$ play an important role in the computation and classification of Galois permutations. We establish a field correspondence in different theories through the picture of effective central charge, which combines Galois inner automorphisms and the structure of simple currents. We then make a first attempt to extend Hecke operators to the full data of modular tensor categories. The Galois symmetry encountered in the modular data appears in the fusion and the braiding matrices as well, and yields isomorphic structures in theories related by Hecke operators., Comment: v3: editing with referee's response

Ramanujan influenced many areas of mathematics, but his work on q-series, on the growth of coefficients of modular forms, and on mock modular forms stands out for its depth and breadth of applications. I will give a brief overview of how this part of Ramanujan's work has influenced physics with an emphasis on applications to string theory, counting of black hole states and moonshine. This paper contains the material from my presentation at the meeting celebrating the centenary of Ramanujan's election as FRS and adds some additional material on black hole entropy and the AdS/CFT correspondence., Comment: 13 pages

We define Hecke operators on vector-valued modular forms of the type that appear as characters of rational conformal field theories (RCFTs). These operators extend the previously studied Galois symmetry of the modular representation and fusion algebra of RCFTs to a relation between RCFT characters. We apply our results to derive a number of relations between characters of known RCFTs with different central charges and also explore the relation between Hecke operators and RCFT characters as solutions to modular linear differential equations. We show that Hecke operators can be used to construct an infinite set of possible characters for RCFTs with two independent characters and increasing central charge. These characters have multiplicity one for the vacuum representation, positive integer coefficients in their $q$ expansions, and are associated to a two-dimensional representation of the modular group which leads to non-negative integer fusion coefficients as determined by the Verlinde formula., Comment: v3: additional small typos corrected. Should agree with version published in JHEP

We investigate special compactifications of the heterotic string for which the space of half-BPS states is, in a natural way, a representation of various subgroups of the Conway group. These compactifications provide a useful framework for analyzing the action of some of the large symmetry groups appearing in discussions of Moonshine in the physics literature. We investigate toroidal compactifications of heterotic string with sixteen supersymmetries as well as asymmetric toroidal orbifolds with $N=2$ supersymmetry in four dimensions that arise as $K3 \times T^2$ compactifications. The latter Conway subgroup symmetric compactifications of the heterotic string might have some interesting implications for D-brane bound states on Calabi-Yau manifolds., Comment: 42 pages

We show that certain BPS counting functions for both fundamental strings and strings arising from fivebranes wrapping divisors in Calabi--Yau threefolds naturally give rise to skew-holomorphic Jacobi forms at rational and attractor points in the moduli space of string compactifications. For M5-branes wrapping divisors these are forms of weight negative one, and in the case of multiple M5-branes skew-holomorphic mock Jacobi forms arise. We further find that in simple examples these forms are related to skew-holomorphic (mock) Jacobi forms of weight two that play starring roles in moonshine. We discuss examples involving M5-branes on the complex projective plane, del Pezzo surfaces of degree one, and half-K3 surfaces. For del Pezzo surfaces of degree one and certain half-K3 surfaces we find a corresponding graded (virtual) module for the degree twelve Mathieu group. This suggests a more extensive relationship between Mathieu groups and complex surfaces, and a broader role for M5-branes in the theory of Jacobi forms and moonshine., Comment: 36 pages, LaTeX; minor typos corrected, footnote added at bottom of page 9 to accommodate JHEP editor's suggestion

It is well known that string theory has a T-duality symmetry relating circle compactifications of large and small radius. This symmetry plays a foundational role in string theory. We note here that while T-duality is order two acting on the moduli space of compactifications, it is order four in its action on the conformal field theory state space. More generally, involutions in the Weyl group $W(G)$ which act at points of enhanced $G$ symmetry have canonical lifts to order four elements of $G$, a phenomenon first investigated by J. Tits in the mathematical literature on Lie groups and generalized here to conformal field theory. This simple fact has a number of interesting consequences. One consequence is a reevaluation of a mod two condition appearing in asymmetric orbifold constructions. We also briefly discuss the implications for the idea that T-duality and its generalizations should be thought of as discrete gauge symmetries in spacetime., Comment: 47 pages, claims regarding $Z_4$ valued cocycles removed

We analyze holomorphic Jacobi forms of weight one with level. One such form plays an important role in umbral moonshine, leading to simplifications of the statements of the umbral moonshine conjectures. We prove that non-zero holomorphic Jacobi forms of weight one do not exist for many combinations of index and level, and use this to establish a characterization of the McKay--Thompson series of umbral moonshine in terms of Rademacher sums., Comment: 41 pages, 39 tables

We show that the system of $k$ NS5-branes wrapping $\mathbb{T}^4\times S^1$ has non-trivial vacuum structure. Different vacua have different spectra of 1/4 BPS states that carry momentum and winding around the $S^1$. In one vacuum, such states are described by black holes; in another, they can be thought of as perturbative BPS states in Double Scaled Little String Theory. In general, both kinds of states are present. We compute the degeneracy of perturbative BPS states exactly, and show that it differs from that of the corresponding black holes. We comment on the implication of our results to the black hole microstate program, UV/IR mixing in Little String Theory, string thermodynamics, the string/black hole transition, and other issues., Comment: 53 pages, 3 figures

We describe a relationship between the representation theory of the Thompson sporadic group and a weakly holomorphic modular form of weight one-half that appears in work of Borcherds and Zagier on Borcherds products and traces of singular moduli. We conjecture the existence of an infinite dimensional graded module for the Thompson group and provide evidence for our conjecture by constructing McKay--Thompson series for each conjugacy class of the Thompson group that coincide with weight one-half modular forms of higher level. We also observe a discriminant property in this moonshine for the Thompson group that is closely related to the discriminant property conjectured to exist in Umbral Moonshine., Comment: 38 pages

We use canonically-twisted modules for a certain super vertex operator algebra to construct the umbral moonshine module for the unique Niemeier lattice that coincides with its root sublattice. In particular, we give explicit expressions for the vector-valued mock modular forms attached to automorphisms of this lattice by umbral moonshine. We also characterize the vector-valued mock modular forms arising, in which four of Ramanujan's fifth order mock theta functions appear as components., Comment: 39 pages

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., Comment: 1+56 pages

We construct a string-inspired model for the central production of $\eta$ and $\eta'$ mesons in proton-proton collisions, via double Pomeron exchange. Using general symmetry considerations, we construct a low-energy differential cross section for double glueball exchange in terms of some undetermined coupling constants and form factors. We extend this model to the Regge regime, replacing the glueball propagators with Pomeron trajectories, and modifying the interaction term by a factor derived from the 5-string scattering amplitude in flat space. We then fix the couplings which remain undetermined, using the Sakai-Sugimoto framework to model low-energy QCD. Finally, we generate a simulation of the scattering process at $\sqrt{s} = 29.1 GeV$, where double Pomeron exchange should play a role (secondary to double Reggeon exchange). We focus on the dependence of the scattering cross section on the angle between the scattered protons in the transverse plane. The results exhibit a definite deviation from the angular dependence that arises as a consequence of natural parity violation alone. The amount of deviation is primarily determined by couplings that come from the Chern-Simons action of the AdS/QCD supergravity dual, which is directly related to the QCD gravitational anomaly, and thus constitutes a universal part of any five-dimensional string/gravity dual theory of QCD. We argue that this makes the high energy central production of pseudoscalar mesons an interesting probe of AdS/QCD models., Comment: 26 pages, 6 figures

We compute the equivariant elliptic genera of several classes of ALE and ALF manifolds using localization in gauged linear sigma models. In the sigma model computation the equivariant action corresponds to chemical potentials for U(1) currents and the elliptic genera exhibit interesting pole structure as a function of the chemical potentials. We use this to decompose the answers into polar terms that exhibit wall crossing and universal terms. We compare our results to previous results on the large radius limit of the Taub-NUT elliptic genus and also discuss applications of our results to counting of BPS world-sheet spectrum of monopole strings in the 5d N=2 super Yang-Mills theory and self-dual strings in the 6d N=(2,0) theories., Comment: 1+60 pages

We study two-dimensional N=(4,4) supersymmetric gauge theories which do not have classical Higgs branches, but are believed to have isolated quantum Higgs vacua. We provide arguments for the existence of such vacua based on brane dynamics in string theory and the supersymmetric partition sums of the gauge theories., Comment: 1+13 pages

We consider type II superstring theory on $K3 \times S^1 \times \mathbb{R}^{1,4}$ and study perturbative BPS states in the near-horizon background of two Neveu-Schwarz fivebranes whose world-volume wraps the $K3 \times S^1$ factor. These states are counted by the spacetime helicity supertrace $\chi_2(\tau)$ which we evaluate. We find a simple expression for $\chi_2(\tau)$ in terms of the completion of the mock modular form $H^{(2)}(\tau)$ that has appeared recently in studies of the decomposition of the elliptic genus of K3 surfaces into characters of the N=4 superconformal algebra and which manifests a moonshine connection to the Mathieu group $M_{24}$., Comment: 32 pages

In this paper we relate umbral moonshine to the Niemeier lattices: the 23 even unimodular positive-definite lattices of rank 24 with non-trivial root systems. To each Niemeier lattice we attach a finite group by considering a naturally defined quotient of the lattice automorphism group, and for each conjugacy class of each of these groups we identify a vector-valued mock modular form whose components coincide with mock theta functions of Ramanujan in many cases. This leads to the umbral moonshine conjecture, stating that an infinite-dimensional module is assigned to each of the Niemeier lattices in such a way that the associated graded trace functions are mock modular forms of a distinguished nature. These constructions and conjectures extend those of our earlier paper, and in particular include the Mathieu moonshine observed by Eguchi-Ooguri-Tachikawa as a special case. Our analysis also highlights a correspondence between genus zero groups and Niemeier lattices. As a part of this relation we recognise the Coxeter numbers of Niemeier root systems with a type A component as exactly those levels for which the corresponding classical modular curve has genus zero., Comment: 181 pages including 95 pages of Appendices; journal version, minor typos corrected, Research in the Mathematical Sciences, 2014, vol. 1

There is a `Mathieu moonshine' relating the elliptic genus of K3 to the sporadic group M_{24}. Here, we give evidence that this moonshine extends to part of the web of dualities connecting heterotic strings compactified on K3 \times T^2 to type IIA strings compactified on Calabi-Yau threefolds. We demonstrate that dimensions of M_{24} representations govern the new supersymmetric index of the heterotic compactifications, and appear in the Gromov--Witten invariants of the dual Calabi-Yau threefolds, which are elliptic fibrations over the Hirzebruch surfaces F_n., Comment: 28 pages; v2: minor changes, published version