
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 paper we prove the existence of an infinite dimensional graded
supermodule for the finite sporadic Thompson group $Th$ whose McKayThompson
series are weakly holomorphic modular forms of weight $\frac 12$ satisfying
properties conjectured by Harvey and Rayhaun.

In a recent important paper, Hoffstein and Hulse generalized the notion of
RankinSelberg convolution $L$functions by defining shifted convolution
$L$functions. We investigate symmetrized versions of their functions. Under
certain mild conditions, we prove that the generating functions of certain
special values are linear combinations of weakly holomorphic quasimodular forms
and "mixed mock modular" forms.

Recently, Bruinier and Ono found an algebraic formula for the partition
function in terms of traces of singular moduli of a certain nonholomorphic
modular function. In this paper we prove that the rational polynomial having
these singuar moduli as zeros is (essentially) irreducible, settling a question
of Bruinier and Ono. The proof uses careful analytic estimates together with
some related work of Dewar and Murty, as well as extensive numerical
calculations of Sutherland.

Using results from the theory of modular forms, we reprove and extend a
result of Romik about lacunary recurrence relations for Eisenstein series.

Hoffstein and Hulse recently introduced the notion of shifted convolution
Dirichlet series for pairs of modular forms $f_1$ and $f_2$. The second two
authors investigated certain special values of symmetrized sums of such
functions, numbers which are generally expected to be mysterious transcendental
numbers. They proved that the generating functions of these values in
$h$aspect are linear combinations of mixed mock modular forms and quasimodular
forms. Here we examine the special cases when $f_1=f_2$ where, in addition,
there is a prime $p$ for which $p^2$ divides the level. We prove that the mixed
mock modular form is a linear combination of at most two weight 2 weakly
holomorphic $p$adic modular forms.

Using holomorphic projection, we work out a parametrization for all relations
of products (resp. RankinCohen brackets) of weight $\tfrac 32$ mock modular
forms with holomorphic shadow and weight $\tfrac 12$ modular forms in the
spirit of the KroneckerHurwitz class number relations. In particular we obtain
new proofs for several class number relations among which some are classical,
others are relatively new. We also obtain similar results for the mock theta
functions.

Using an extension of Wright's version of the circle method, we obtain
asymptotic formulae for partition ranks similar to formulae for partition
cranks which where conjectured by F. Dyson and recently proved by the first
author and K. Bringmann.

In this paper, we prove an almost 40 year old conjecture by H. Cohen
concerning the generating function of the Hurwitz class number of quadratic
forms using the theory of mock modular forms. This conjecture yields an
infinite number of so far unproven class number relations.

Based on the concept of dual cones introduced by J.Opgenorth we give an
algorithm to compute a generating system of the group of automorphisms of a
lattice endowed with a hyperbolic bilinear form.