
Answering a question posed by Conway and Norton in their seminal 1979 paper
on moonshine, we prove the existence of a graded infinitedimensional module
for the sporadic simple group of O'Nan, for which the McKayThompson 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 TateShafarevich groups of certain elliptic curves. This
work represents the first example of moonshine involving arithmetic invariants
of this type.

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 TateShafarevich 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.

In this work we consider an association of meromorphic Jacobi forms of
halfintegral index to the pure Dtype 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
halfintegral index and their relationship to mock modular forms.

The vectorvalued 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.

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
selfdual vertex operator superalgebra may be identified with the bulk Hilbert
space of a superconformal field theory. After presenting a classification
result for selfdual 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.

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 nonzero
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
McKayThompson series of umbral moonshine in terms of Rademacher sums.

We classify the optimal mock Jacobi forms of weight one with rational
coefficients. The space they span is thirtyfourdimensional, 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.

We use the unique canonicallytwisted module over a certain distinguished
super vertex operator algebrathe moonshine module for Conway's groupto
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 GaberdielHoheneggerVolpato, 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 nonlinear 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 nonlinear 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.

The Umbral Moonshine Conjectures assert that there are infinitedimensional
graded modules, for prescribed finite groups, whose McKayThompson 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.

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 YauZaslow (capturing the
Euler characters of the moduli spaces of D2branes on curves of given genus),
together with their refinements to carry additional quantum numbers by
KatzKlemmVafa (KKV), and KatzKlemmPandharipande (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 4plane in the
K3 Dbrane charge lattice. Symmetries of K3 sigma models are naturally
identified with 4plane preserving subgroups of the Conway group, according to
the work of GaberdielHoheneggerVolpato, and one may consider corresponding
equivariant refined K3 GopakumarVafa 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.

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 jinvariants 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 jinvariants (apart from 0 and 1728).
Furthermore, we discuss this coincidence of the two seemingly unrelated sets of
primes using the first principles of moonshine.

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 j744, 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.

We use canonicallytwisted 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 vectorvalued mock modular forms attached to
automorphisms of this lattice by umbral moonshine. We also characterize the
vectorvalued mock modular forms arising, in which four of Ramanujan's fifth
order mock theta functions appear as components.

We exhibit an action of Conway's groupthe automorphism group of the Leech
latticeon 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 FrenkelLepowskyMeurman 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
canonicallytwisted 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
canonicallytwisted module are constant in the case of Leech lattice
automorphisms with fixed points, and are principal moduli for genus zero groups
otherwise.

In this paper we relate umbral moonshine to the Niemeier lattices: the 23
even unimodular positivedefinite lattices of rank 24 with nontrivial 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 vectorvalued 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
infinitedimensional 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
EguchiOoguriTachikawa 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.

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 EguchiOoguriTachikawa 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
vectorvalued mock modular forms studied recently by DabholkarMurthyZagier 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 infinitedimensional 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
ConwayNorton. Curiously, we find a number of Ramanujan's mock theta functions
appearing as McKayThompson 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.

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 CalabiYau threefolds. We
demonstrate that dimensions of M_{24} representations govern the new
supersymmetric index of the heterotic compactifications, and appear in the
GromovWitten invariants of the dual CalabiYau threefolds, which are elliptic
fibrations over the Hirzebruch surfaces F_n.

We prove that a certain space of cusp forms for the Hecke congruence group of
a given level is onedimensional 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 FischerGriess monster group. The significance of the cusp forms under
consideration is explained by the Rademacher sum construction of the
McKayThompson series of Mathieu moonshine. Our result supports a conjectural
characterisation of the discrete groups and multiplier systems arising in
Mathieu moonshine.

We exposit the construction of Rademacher sums in arbitrary weights and
describe their relationship to mock modular forms. We introduce the notion of
Rademacher series and describe several applications, including the
determination of coefficients of Rademacher sums and a very general form of
Zagier duality. We then review the application of Rademacher sums and series to
moonshine both monstrous and umbral and highlight several open problems. We
conclude with a discussion of the interpretation of Rademacher sums in physics.

In 1939 Rademacher derived a conditionally convergent series expression for
the elliptic modular invariant, and used this expression the first Rademacher
sum  to verify its modular invariance. By generalizing Rademacher's approach
we construct bases for the spaces of automorphic integrals of arbitrary even
integer weight, for all groups commensurable with the modular group. We use
these Rademacher sums to illuminate various aspects of the structure of the
spaces of automorphic integrals, including the actions of Hecke operators. We
obtain a new characterization of the discrete groups of monstrous moonshine in
terms of Rademacher sums, and we develop connections between Rademacher sums
and a family of monstrous Lie algebras recently introduced by Carnahan. Our
constructions suggest conjectures relating monstrous moonshine to a
distinguished family of chiral three dimensional quantum gravities, and
relating monstrous Lie algebras and their Verma modules to the second
quantization of this family of chiral three dimensional quantum gravities.

We review the relationship between the largest Mathieu group and various
modular objects, including recent progress on the relation to mock modular
forms. We also review the connections between these mathematical structures and
string theory on K3 surfaces.