• ### 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.
• ### A proof of the Thompson Moonshine Conjecture(1607.03078)

Aug. 29, 2016 math.RT, math.NT
In this paper we prove the existence of an infinite dimensional graded super-module for the finite sporadic Thompson group $Th$ whose McKay-Thompson series are weakly holomorphic modular forms of weight $\frac 12$ satisfying properties conjectured by Harvey and Rayhaun.
• ### Special values of shifted convolution Dirichlet series(1406.0770)

April 13, 2016 math.NT
In a recent important paper, Hoffstein and Hulse generalized the notion of Rankin-Selberg 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.
• ### On class invariants for non-holomorphic modular functions and a question of Bruinier and Ono(1501.03743)

Aug. 24, 2015 math.NT
Recently, Bruinier and Ono found an algebraic formula for the partition function in terms of traces of singular moduli of a certain non-holomorphic 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.
• ### Lacunary recurrences for Eisenstein series(1504.00356)

Aug. 18, 2015 math.NT
Using results from the theory of modular forms, we reprove and extend a result of Romik about lacunary recurrence relations for Eisenstein series.
• ### $p$-adic properties of modular shifted convolution Dirichlet series(1409.0694)

April 15, 2015 math.NT
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.
• ### Eichler-Selberg Type Identities for Mixed Mock Modular Forms(1404.5491)

June 27, 2014 math.NT
Using holomorphic projection, we work out a parametrization for all relations of products (resp. Rankin-Cohen brackets) of weight $\tfrac 32$ mock modular forms with holomorphic shadow and weight $\tfrac 12$ modular forms in the spirit of the Kronecker-Hurwitz 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.
• ### Asymptotic formulae for partition ranks(1406.6848)

June 26, 2014 math.CO, math.NT
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.
• ### Mock Modular Forms and Class Number Relations(1305.5122)

July 23, 2013 math.NT
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.
• ### Automorphism Groups of Hyperbolic Lattices(1303.3478)

July 15, 2013 math.NT, math.GR
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.