• ### O'Nan moonshine and arithmetic(1702.03516)

March 17, 2019 math.RT, math.NT
Answering a question posed by Conway and Norton in their seminal 1979 paper on moonshine, we prove the existence of a graded infinite-dimensional module for the sporadic simple group of O'Nan, for which the McKay--Thompson series are weight $3/2$ modular forms. The coefficients of these series may be expressed in terms of class numbers, traces of singular moduli, and central critical values of quadratic twists of weight 2 modular $L$-functions. As a consequence, for primes $p$ dividing the order of the O'Nan group we obtain congruences between O'Nan group character values and class numbers, $p$-parts of Selmer groups, and Tate--Shafarevich groups of certain elliptic curves. This work represents the first example of moonshine involving arithmetic invariants of this type.
• ### Pariah moonshine(1709.08867)

Sept. 26, 2017 math.RT, math.NT
Finite simple groups are the building blocks of finite symmetry. The effort to classify them precipitated the discovery of new examples, including the monster, and six pariah groups which do not belong to any of the natural families, and are not involved in the monster. It also precipitated monstrous moonshine, which is an appearance of monster symmetry in number theory that catalysed developments in mathematics and physics. Forty years ago the pioneers of moonshine asked if there is anything similar for pariahs. Here we report on a solution to this problem that reveals the O'Nan pariah group as a source of hidden symmetry in quadratic forms and elliptic curves. Using this we prove congruences for class numbers, and Selmer groups and Tate--Shafarevich groups of elliptic curves. This demonstrates that pariah groups play a role in some of the deepest problems in mathematics, and represents an appearance of pariah groups in nature.
• ### Meromorphic Jacobi Forms of Half-Integral Index and Umbral Moonshine Modules(1707.01336)

July 5, 2017 hep-th, math.RT
In this work we consider an association of meromorphic Jacobi forms of half-integral index to the pure D-type cases of umbral moonshine, and solve the module problem for four of these cases by constructing vertex operator superalgebras that realise the corresponding meromorphic Jacobi forms as graded traces. We also present a general discussion of meromorphic Jacobi forms with half-integral index and their relationship to mock modular forms.
• ### Super Vertex Algebras, Meromorphic Jacobi Forms and Umbral Moonshine(1705.09333)

April 4, 2019 hep-th, math.RT
The vector-valued mock modular forms of umbral moonshine may be repackaged into meromorphic Jacobi forms of weight one. In this work we constructively solve two cases of the meromorphic module problem for umbral moonshine. Specifically, for the type A Niemeier root systems with Coxeter numbers seven and thirteen, we construct corresponding bigraded super vertex operator algebras, equip them with actions of the corresponding umbral groups, and verify that the resulting trace functions on canonically twisted modules recover the meromorphic Jacobi forms that are specified by umbral moonshine. We also obtain partial solutions to the meromorphic module problem for the type A Niemeier root systems with Coxeter numbers four and five, by constructing super vertex operator algebras that recover the meromorphic Jacobi forms attached to maximal subgroups of the corresponding umbral groups.
• ### Self-Dual Vertex Operator Superalgebras and Superconformal Field Theory(1704.03678)

April 12, 2017 hep-th, math-ph, math.MP
Recent work has related the equivariant elliptic genera of sigma models with K3 surface target to a vertex operator superalgebra that realizes moonshine for Conway's group. Motivated by this we consider conditions under which a self-dual vertex operator superalgebra may be identified with the bulk Hilbert space of a superconformal field theory. After presenting a classification result for self-dual vertex operator superalgebras with central charge up to 12 we describe several examples of close relationships with bulk superconformal field theories, including those arising from sigma models for tori and K3 surfaces.
• ### Weight One Jacobi Forms and Umbral Moonshine(1703.03968)

March 11, 2017 hep-th, math.NT
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.
• ### Optimal Mock Jacobi Theta Functions(1605.04480)

March 2, 2017 math.NT
We classify the optimal mock Jacobi forms of weight one with rational coefficients. The space they span is thirty-four-dimensional, and admits a distinguished basis parameterized by genus zero groups of isometries of the hyperbolic plane. We show that their Fourier coefficients can be expressed explicitly in terms of singular moduli, and obtain positivity conditions which distinguish the optimal mock Jacobi forms that appear in umbral moonshine. We find that all of Ramanujan's mock theta functions can be expressed simply in terms of the optimal mock Jacobi forms with rational coefficients.
• ### Derived Equivalences of K3 Surfaces and Twined Elliptic Genera(1506.06198)

Dec. 30, 2015 hep-th, math.AG, math.RT, math.NT
We use the unique canonically-twisted module over a certain distinguished super vertex operator algebra---the moonshine module for Conway's group---to attach a weak Jacobi form of weight zero and index one to any symplectic derived equivalence of a projective complex K3 surface that fixes a stability condition in the distinguished space identified by Bridgeland. According to work of Huybrechts, following Gaberdiel--Hohenegger--Volpato, any such derived equivalence determines a conjugacy class in Conway's group, the automorphism group of the Leech lattice. Conway's group acts naturally on the module we consider. In physics the data of a projective complex K3 surface together with a suitable stability condition determines a supersymmetric non-linear sigma model, and supersymmetry preserving automorphisms of such an object may be used to define twinings of the K3 elliptic genus. Our construction recovers the K3 sigma model twining genera precisely in all available examples. In particular, the identity symmetry recovers the usual K3 elliptic genus, and this signals a connection to Mathieu moonshine. A generalization of our construction recovers a number of the Jacobi forms arising in umbral moonshine. We demonstrate a concrete connection to supersymmetric non-linear K3 sigma models by establishing an isomorphism between the twisted module we consider and the vector space underlying a particular sigma model attached to a certain distinguished K3 surface.
• ### Proof of the Umbral Moonshine Conjecture(1503.01472)

Nov. 26, 2015 math.RT, math.NT
The Umbral Moonshine Conjectures assert that there are infinite-dimensional graded modules, for prescribed finite groups, whose McKay-Thompson series are certain distinguished mock modular forms. Gannon has proved this for the special case involving the largest sporadic simple Mathieu group. Here we establish the existence of the umbral moonshine modules in the remaining 22 cases.
• ### Equivariant K3 Invariants(1508.02047)

Aug. 9, 2015 hep-th, math.AG, math.RT
In this note, we describe a connection between the enumerative geometry of curves in K3 surfaces and the chiral ring of an auxiliary superconformal field theory. We consider the invariants calculated by Yau--Zaslow (capturing the Euler characters of the moduli spaces of D2-branes on curves of given genus), together with their refinements to carry additional quantum numbers by Katz--Klemm--Vafa (KKV), and Katz--Klemm--Pandharipande (KKP). We show that these invariants can be reproduced by studying the Ramond ground states of an auxiliary chiral superconformal field theory which has recently been observed to give rise to mock modular moonshine for a variety of sporadic simple groups that are subgroups of Conway's group. We also study equivariant versions of these invariants. A K3 sigma model is specified by a choice of 4-plane in the K3 D-brane charge lattice. Symmetries of K3 sigma models are naturally identified with 4-plane preserving subgroups of the Conway group, according to the work of Gaberdiel--Hohenegger--Volpato, and one may consider corresponding equivariant refined K3 Gopakumar--Vafa invariants. The same symmetries naturally arise in the auxiliary CFT state space, affording a suggestive alternative view of the same computation. We comment on a lift of this story to the generating function of elliptic genera of symmetric products of K3 surfaces.
• ### The Jack Daniels Problem(1411.5354)

July 7, 2015 math.NT
In 1975 Ogg offered a bottle of Jack Daniels for an explanation of the fact that the prime divisors of the order of the monster are the primes p for which the characteristic p supersingular j-invariants are all defined over the field with p elements. This coincidence is often suggested to be the first hint of monstrous moonshine, the deep unexpected interplay between the monster and modular functions. We revisit Ogg's problem, and we point out (using existing tools) that the moonshine functions for order p elements give the set of characteristic p supersingular j-invariants (apart from 0 and 1728). Furthermore, we discuss this coincidence of the two seemingly unrelated sets of primes using the first principles of moonshine.
• ### Moonshine(1411.6571)

April 5, 2015 hep-th, math.RT, math.NT
Monstrous moonshine relates distinguished modular functions to the representation theory of the monster. The celebrated observations that 196884=1+196883 and 21493760=1+196883+21296876, etc., illustrate the case of the modular function j-744, whose coefficients turn out to be sums of the dimensions of the 194 irreducible representations of the monster. Such formulas are dictated by the structure of the graded monstrous moonshine modules. Recent works in moonshine suggest deep relations between number theory and physics. Number theoretic Kloosterman sums have reappeared in quantum gravity, and mock modular forms have emerged as candidates for the computation of black hole degeneracies. This paper is a survey of past and present research on moonshine. We also compute the quantum dimensions of the monster orbifold, and obtain exact formulas for the multiplicities of the irreducible components of the moonshine modules. These formulas imply that such multiplicities are asymptotically proportional to dimensions.
• ### The Umbral Moonshine Module for the Unique Unimodular Niemeier Root System(1412.8191)

Dec. 28, 2014 hep-th, math.RT, math.NT
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.
• ### The Moonshine Module for Conway's Group(1409.3829)

Sept. 26, 2014 hep-th, math.RT, math.NT
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.
• ### Umbral Moonshine and the Niemeier Lattices(1307.5793)

July 22, 2014 hep-th, math.RT, math.NT
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.
• ### Umbral Moonshine(1204.2779)

Oct. 17, 2013 hep-th, math.RT
We describe surprising relationships between automorphic forms of various kinds, imaginary quadratic number fields and a certain system of six finite groups that are parameterised naturally by the divisors of twelve. The Mathieu group correspondence recently discovered by Eguchi-Ooguri-Tachikawa is recovered as a special case. We introduce a notion of extremal Jacobi form and prove that it characterises the Jacobi forms arising by establishing a connection to critical values of Dirichlet series attached to modular forms of weight two. These extremal Jacobi forms are closely related to certain vector-valued mock modular forms studied recently by Dabholkar-Murthy-Zagier in connection with the physics of quantum black holes in string theory. In a manner similar to monstrous moonshine the automorphic forms we identify constitute evidence for the existence of infinite-dimensional graded modules for the six groups in our system. We formulate an umbral moonshine conjecture that is in direct analogy with the monstrous moonshine conjecture of Conway-Norton. Curiously, we find a number of Ramanujan's mock theta functions appearing as McKay-Thompson series. A new feature not apparent in the monstrous case is a property which allows us to predict the fields of definition of certain homogeneous submodules for the groups involved. For four of the groups in our system we find analogues of both the classical McKay correspondence and McKay's monstrous Dynkin diagram observation manifesting simultaneously and compatibly.
• ### Mathieu Moonshine and N=2 String Compactifications(1306.4981)

Sept. 11, 2013 hep-th, math.RT
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.
• ### On the Discrete Groups of Mathieu Moonshine(1212.0906)

Aug. 25, 2013 math.RT, math.NT
We prove that a certain space of cusp forms for the Hecke congruence group of a given level is one-dimensional if and only if that level is the order of an element of the second largest Mathieu group. As such, our result furnishes a direct analogue of Ogg's observation that the normaliser of a Hecke congruence group of prime level has genus zero if and only if that prime divides the order of the Fischer-Griess monster group. The significance of the cusp forms under consideration is explained by the Rademacher sum construction of the McKay-Thompson series of Mathieu moonshine. Our result supports a conjectural characterisation of the discrete groups and multiplier systems arising in Mathieu moonshine.