Home | About | Journals | Submit | Contact Us | Français |

**|**Nat Commun**|**PMC5608900

Formats

Article sections

Authors

Related links

Nat Commun. 2017; 8: 670.

Published online 2017 September 22. doi: 10.1038/s41467-017-00660-y

PMCID: PMC5608900

John F. R. Duncan, Email: ude.yrome@nacnud.nhoj.

Received 2017 April 24; Accepted 2017 July 19.

Copyright © The Author(s) 2017

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.

As atoms are the constituents of molecules, the finite simple groups are the building blocks of finite symmetry. The question of what finite simple groups are possible was posed^{1} in 1892. By the 1950s it was expected that most should belong to certain infinite families which are naturally defined in geometric terms. For example, the rotational symmetry of a regular polygon with a prime number of edges—a cyclic group of prime order—is a finite simple group. The next example is the rotational symmetry of a regular dodecahedron, but to see it as part of a family it should be regarded differently, via its action on five embedded tetrahedrons, for instance.

In 1963 the monumental Feit–Thompson odd order paper^{2} established that any non-cyclic finite simple group must have a two-fold symmetry inside. This led to a surge of activity in group theory which, despite uncovering unexpected examples, paved the way for Gorenstein’s 1972 proposal^{3} to classify finite simple groups completely. Building upon thousands of pages of published papers, this program was completed^{4, 5} in 2002. The resulting classification is a crowning achievement of twentieth century mathematics. Thompson was awarded a Fields medal for his contributions. Curiously, the classification features twenty-six exceptional examples—the sporadic simple groups—that do not belong to any of the natural families. It is natural to ask if they play a role in nature.

A sensational, yet partial answer to this question appeared just a few years later when McKay and Thompson noted coincidences^{6} connecting the largest sporadic group—the Fischer–Griess monster^{7}, having about 8×10^{53} elements—to the elliptic modular invariant *J*(*z*), which first appeared a century earlier^{8} in connection with the computation of lengths of arcs of ellipses. That sporadic groups and elliptic functions could be related seemed like lunacy. But Conway–Norton elaborated^{9} on the observations of McKay and Thompson, and formulated the moonshine conjectures, which predict the existence of an infinite sequence of spaces ${V}_{n}^{\u266e}$ for integers *n*>0 that admit the monster group as symmetry in a systematic way. Nineteen other sporadic groups occur as building blocks of subgroups of the monster. Norton’s generalised moonshine conjectures^{10} formalised the notion that analogues of the ${V}_{n}^{\u266e}$ should realise these.

Frenkel–Lepowsky–Meurman constructed^{11} candidate spaces ${V}_{n}^{\u266e}$, and the predictions of Conway–Norton were confirmed for them by Fields medal-winning work^{12} of Borcherds in 1992. The notions of vertex algebra and Borcherds–Kac–Moody algebra arose from this, and now play fundamental roles in diverse fields of mathematics and physics. Consequently, the spaces ${V}_{n}^{\u266e}$ may be recognised^{13} as defining a bosonic string theory in 26 dimensions. The generalised moonshine conjectures were recently proven^{14, 15} by Carnahan, so moonshine illuminates a physical origin for the monster, and for the 19 other sporadic groups that are involved in the monster. Therefore, 20 of the sporadic groups do indeed occur in nature.

But a unifying theory of the sporadic groups must also incorporate those six pariah sporadic groups that are not involved in the monster. The problem of uncovering moonshine for pariahs was posed in the seminal work^{9} of Conway–Norton. Regarding moonshine from a different viewpoint, we have extended the theory^{16} so as to incorporate two of these: the O’Nan group^{17} and Janko’s first group^{18}, the latter being a subgroup of the former. The elliptic modular invariant *J* has the property that *J*(*z*
_{Q}) is a solution to a polynomial with integer coefficients whenever ${z}_{Q}=\frac{-B+i\sqrt{\u2223D\u2223}}{2A}$ for integers *A*, *B* and *D*, with *D*<0 and *D* congruent to *B*
^{2} modulo 4*A*. By suitably assembling these special values of *J* we are led to a sequence of spaces *W*
_{D} for *D*<0 that admit the O’Nan group as symmetry in a systematic way (see Theorem 1).

Using this we prove results on class numbers of quadratic forms (see Theorem 2), and Selmer groups and Tate–Shafarevich groups of elliptic curves (see Theorems 3 and 4). Thus we find that O’Nan moonshine sheds light on quantities that are central to current research in number theory. In particular, pariah groups of O’Nan and Janko do play a role in nature.

Our main results (Theorems 2, 3 and 4) reveal a role for the O’Nan pariah group as a provider of hidden symmetry to quadratic forms and elliptic curves. They also represent the intersection of moonshine theory with the Langlands program, which, since its inception in the 1960s, has become a driving force for research in number theory, geometry and mathematical physics.

The Langlands program predicts an expansive system of hidden symmetry in algebraic statistics^{19, 20}. For an example of this consider the Riemann zeta function

$$\zeta \left(s\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}:=\phantom{\rule{0.3em}{0ex}}\prod _{p\phantom{\rule{0.3em}{0ex}}\mathrm{prime}}\frac{1}{1-{p}^{-s}}.$$

1

This product converges for *s*=*σ*+*it* a complex number with *σ*>1, but at *s*=1 equates to the harmonic series, and therefore diverges there. This is one proof that there are infinitely many primes. Setting $\Gamma \left(s\right):={\int}_{0}^{\infty}{v}^{s-1}{e}^{-v}\mathrm{d}v$ and $\theta \left(z\right):={\sum}_{n=-\infty}^{\infty}{e}^{\pi iz{n}^{2}}$ we may write

$$\zeta \left(s\right)=\frac{{\pi}^{\frac{s}{2}}}{\Gamma \left(\frac{s}{2}\right)}{\int}_{0}^{\infty}{v}^{\frac{s}{2}}\left(\frac{\theta \left(iv\right)-1}{2}\right)\frac{\mathrm{d}v}{v}.$$

2

Riemann used (2) and the identity *v*^{-½}*θ*(*i**v*^{-1}) = *θ*(*i**v*) to show^{21} that *ζ*(*s*) can be defined for all complex numbers except *s*=1, in such a way that the completed zeta function $\xi \left(s\right):={\pi}^{-\frac{s}{2}}\Gamma \left(\frac{s}{2}\right)\zeta \left(s\right)$ is invariant under the two-fold symmetry that swaps *s* with 1−*s*.

For the Langlands program *ζ*(*s*) is the first in a family arising from Diophantine analysis, which is the classical art^{22} of finding rational solutions to polynomials with integer coefficients. Linear equations are controlled by *ζ*(*s*), and the next examples relate quadratic forms *Q*(*x*, *y*):=*Ax*
^{2}+*Bxy*+*Cy*
^{2} to the Dirichlet *L*-series

$${L}_{D}\left(s\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}:=\prod _{p\phantom{\rule{0.3em}{0ex}}\mathrm{prime}}\frac{1}{1-{\chi}_{D}\left(p\right){p}^{-s}}.$$

3

Here *A*, *B* and *C* are integers, *D*:=*B*
^{2}−4*AC* is the discriminant of *Q*, and *χ*
_{D}(*p*) is a certain function depending on *D*. If *D*=1 then *L*
_{D}(*s*)=*ζ*(*s*). Dirichlet *L*-series admit completions which have the same two-fold symmetry as *ζ*(*s*). The as yet unresolved generalised Riemann hypothesis^{23} predicts that if *L*
_{D}(*s*)=0 for *s*=*σ*+*it* with 0<*σ*<1 then *σ* = ½.

Just as for *ζ*(*s*), the behaviour of *L*
_{D}(*s*) near *s*=1 is important. Call a discriminant *D* fundamental if it cannot be written as *d*
^{2}
*D*′ where *d* is an integer greater than 1 and *D*′ is the discriminant of another quadratic form. If we focus on the values *Q*(*x*, *y*) for *x* and *y* integers then it is the same to consider *Q*′(*x*, *y*):=*Q*(*ax*+*by*,*cx*+*dy*), for any integers *a*, *b*, *c* and *d*, so long as *ad*−*bc*=1. Such a modular transformation preserves discriminants, so we may consider the forms with given discriminant *D*, and count them modulo modular transformations. For *D* fundamental this is the class number *h*(*D*). For example, *h*(−7)=1 because *Q*(*x*, *y*):=*x*
^{2}+*xy*+2*y*
^{2} has discriminant −7, and if *Q*′(*x*, *y*) is another such form then *Q*′(*x*, *y*)=*Q*(*ax*+*by*, *cx*+*dy*) for some integers *a*, *b*, *c* and *d* with *ad*−*bc*=1. Gauss conjectured^{24} that *h*(*D*) takes any given value only finitely many times for negative *D*. Dirichlet proved^{25}

$$\frac{\sqrt{\u2223D\u2223}}{2\pi}{L}_{D}\left(1\right)=\frac{h\left(D\right)}{2}$$

4

for fundamental *D*<−4. Using this, Siegel solved the Gauss conjecture in a weak sense in 1944 by showing^{26} that for any *ϵ*>0 there is a constant *c* such that *h*(*D*) > *c*∣*D*∣^{½-ϵ} for *D*<0. But the method is not effective because the constant *c* it produces depends upon the validity of the generalised Riemann hypothesis. The best known effective lower bound^{27, 28} takes the form *h*(*D*) > *c*(log∣*D*∣)^{1-ϵ} for *D*<0.

It is a familiar fact that 3^{2}+4^{2}=5^{2}. Fermat’s last theorem claims that if *x*, *y* and *z* are integers such that *x*
^{n}+*y*
^{n}=*z*
^{n} with *n*>2 then at least one of them is zero. Wiles famously proved this^{29} by establishing hidden symmetry in the Diophantine analysis of

5

If 4*A*
^{3}+27*B*
^{2}≠0 then this cubic equation defines an elliptic curve *E*, an integer *N* called the conductor of *E*, and a Hasse–Weil *L*-series

$${L}_{E}\left(s\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}:=\prod _{p\phantom{\rule{0.3em}{0ex}}\mathrm{prime}}\frac{1}{1-{a}_{p}{p}^{-s}+\epsilon \left(p\right){p}^{1-2s}}.$$

6

Here *a*
_{p} is an integer depending on *E* and *p*, and *ε*(*p*) is 0 or 1 according as *p* divides *N* or not. Modularity for *E* is the existence^{30} of a modular form *f*
_{E}(*z*), (complex) differentiable for *z*=*u*+*iv* with *v*>0, such that ${\left(Ncz+d\right)}^{-2}{f}_{E}\left(\frac{az+b}{Ncz+d}\right)={f}_{E}\left(z\right)$ for any integers *a*, *b*, *c* an*d d* with *ad*−*Nbc*=1, and

$${L}_{E}\left(s\right)=\frac{{\left(2\pi \right)}^{s}}{\Gamma \left(s\right)}{\int}_{0}^{\infty}{v}^{s}{f}_{E}\left(iv\right)\frac{\mathrm{d}v}{v}.$$

7

For *L*
_{E}(*s*) the behaviour near *s*=1 is again important, but not yet understood, and a focus of current research. The Birch–Swinnerton–Dyer (BSD) conjecture predicts^{31, 32} that it is a key that unlocks the rational solutions to the equation defining *E*. Specifically, if *r*
_{E} is the rank of *E*, representing the number of independent infinite families of rational solutions, then lim_{s→1}(*s*-1)^{-rE}*L*_{E}(*s*) should be finite and non-zero. In particular, *L*
_{E}(1) should vanish if and only if there are infinitely many rational solutions. The Tate–Shafarevich group Ш (*E*) measures the extent to which computations with *E* can be carried out modulo primes. A stronger form of the BSD conjecture asserts that

$$\underset{s\to 1}{lim}\frac{1}{{\Omega}_{E}}\frac{{L}_{E}\left(s\right)}{{\left(s-1\right)}^{{r}_{E}}}={c}_{E}\u2223\left(E\right)\u2223$$

8

for certain computable constants Ω_{E} and *c*
_{E}, where |Ш(*E*)| is the cardinality of Ш(*E*).

The BSD conjecture is known only in its weak form^{28, 33} for *r*
_{E}=0 and *r*
_{E}=1. The strong form gives us complete control once we know Ш(*E*) and *r*
_{E}. For each prime *p* there is a Selmer group Sel_{p}(*E*), which ties together the *p*-fold symmetries in III(*E*) with the infinite families of rational solutions to *E*, so Selmer groups and Tate–Shafarevich groups are of primary importance.

The moonshine that we establish for the O’Nan group (see Theorem 1) enables us to prove new constraints on class numbers *h*(*D*) (see Theorem 2), and empowers us to relate certain Selmer groups Sel_{p}(*E*) and Tate–Shafarevich groups Ш(*E*) to effectively computable series *a*
_{g}(*D*) (see Theorems 3 and 4).

The elliptic modular invariant *J* is the unique (complex) differentiable function of *z*=*u*+*iv* for *v*>0 that satisfies $J\left(\frac{az+b}{cz+d}\right)=J\left(z\right)$ when *a*, *b*, *c* and *d* are integers such that *ad*−*bc*=1, and $\underset{v\to \infty}{lim}\left(J\left(iv\right)-{e}^{2\pi v}\right)=0$. The connection between the monster and *J* is that the dimension of ${V}_{n}^{\u266e}$ is the coefficient of *e*
^{2nπiz} in the Fourier expansion

9

Recursion relations^{34} compute these Fourier coefficients effectively.

Let *F*(*z*) be the unique (complex) differentiable function of *z*=*u*+*iv* for *v*>0 such that

- ${\left(4cz+d\right)}^{-2}\stackrel{~}{F}\left(\frac{az+b}{4cz+d}\right)=\stackrel{~}{F}\left(z\right)$ when $\stackrel{~}{F}\left(z\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}:=F\left(z\right)\theta \left(2z\right)$ and
*a*,*b*,*c*and*d*are integers satisfying*ad*−4*bc*=1, *F*^{+}(*z*+ ¼) =*F*^{+}(*z*) and*F*^{-}(*z*+ ¼) = -*i**F*^{-}(*z*) for ${F}^{\pm}\left(z\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}:=\frac{1}{2}\left(F\left(z\right)\pm F\left(z+\frac{1}{2}\right)\right)$,- lim
_{v→∞}(*F*(*i**v*) +*e*^{8πv}) is finite.

Under these conditions *F* is related to *J* by $F\left(z+\frac{1}{2}\right)\theta \left(8z\right)+{F}^{-}\left(z\right)\theta \left(2z\right)=\frac{1}{8\pi i}\frac{\mathrm{d}}{\mathrm{d}z}J\left(4z\right)$, and recursion relations^{35} compute the Fourier coefficients of *F* effectively.

There exists a sequence of spaces *W*
_{D} for discriminants *D<0* that admit the O’Nan group as symmetry, the dimension of *W*
_{D} being the coefficient of *e*
^{2|D|πiz} in the Fourier expansion

10

We sketch the proof of Theorem 1. Let *a*(*D*) denote the coefficient of *e*
^{2|D|πiz} in the Fourier expansion of *F*, so that we have *F*(*z*) : = - *e*^{-8πiz} + 2 + ∑_{D < 0}*a*(*D*)*e*^{2∣D∣πiz}. Theorem 1 amounts to the association of *a*(*D*)×*a*(*D*) matrices to symmetries in the O’Nan group, for each *D*<0. Taking *a*
_{g}(*D*) to be the trace (i.e., sum of diagonal entries) of the matrix corresponding to a symmetry *g* we obtain a new function *F*_{g}(*z*) : = - *e*^{-8πiz} + 2 + ∑_{D < 0}*a*_{g}(*D*)*e*^{2∣D∣πiz}. The O’Nan group has a character table^{17}, which encodes the possible traces *a*
_{g}(*D*) that can arise, and thereby equips the *F*
_{g} with special properties. Conversely, to specify functions *F*
_{g} that are compatible with the character table is enough to prove that corresponding matrices exist, and enough to confirm moonshine for the O’Nan group. This is how we prove Theorem 1. We first realise the *F*
_{g} as modular forms satisfying conditions analogous to those defining *F*. Then we use those conditions to prove growth estimates and congruences for the *a*
_{g}(*D*). For example, if *g* is a seven-fold symmetry then it develops that *a*(*D*) is congruent to *a*
_{g}(*D*) modulo 343, for every *D*<0. Finally, we use the growth estimates and congruences to prove compatibility with the character table.

Define *J*
_{O′N}(*z*):=*J*(*z*)^{2}−*J*(*z*)−393768. For *Q*(*x*, *y*)=*Ax*
^{2}+*Bxy*+*Cy*
^{2} a quadratic form with *D*=*B*
^{2}−4*AC*<0 set ${z}_{Q}:=\frac{-B+i\sqrt{\u2223D\u2223}}{2A}$. Set *w*
_{Q}:=6 if *Q* is equivalent (i.e. related by a modular transformation) to *A*′*x*
^{2}+*A*′*xy*+*A*′*y*
^{2} for some *A*′, set *w*
_{Q}:=4 if *Q* is equivalent to *A*′*x*
^{2}+*A*′*y*
^{2}, and set *w*
_{Q}:=2 otherwise. Then for *D*<0 we have^{35}

$$a\left(D\right)=\sum _{\left[{B}^{2}-4AC=D\right]}\frac{{J}_{{O}^{\prime}N}\left({z}_{Q}\right)}{{w}_{Q}},$$

11

where the sum is over equivalence classes of quadratic forms of discriminant *D*. If *D* is fundamental then *h*(*D*) is the number of summands in (11). For example, $\mathrm{dim}\phantom{\rule{0.3em}{0ex}}{W}_{-7}=\frac{1}{2}{J}_{{O}^{\prime}N}\left(\frac{-1+i\sqrt{7}}{2}\right)=8288256$ because every quadratic form with discriminant −7 is equivalent to *x*
^{2}+*xy*+2*y*
^{2}. So the identity (11) hints at a connection to class numbers. Say that *D* is not a square modulo *p* if there is no integer *n* such that *D* is congruent to *n*
^{2} modulo *p*. By establishing analogues of (11) for *a*
_{g}(*D*), for *g* a two-fold, three-fold, five-fold or seven-fold symmetry in the O’Nan group, we obtain the following results.

Let *D*<0 be a fundamental discriminant. If *D*<−8 is even then −24h*(D)* is congruent to *a*(*D*) modulo 16. If *D* is not a square modulo 3 then −24*h(D)* is congruent to *a(D)* modulo 9. If *p* is 5 *or* 7, and if *D* is not a square modulo *p* then −24*h(D)* is congruent to *a(D)* modulo p.

For *D*<0 a fundamental discriminant define elliptic curves *E*
_{14}(*D*) and *E*
_{15}(*D*) as follows.

$$\begin{array}{c}{E}_{14}\left(D\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}:{y}^{2}={x}^{3}+5805{D}^{2}x-285714{D}^{3}\hfill \\ {E}_{15}\left(D\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}::{y}^{2}={x}^{3}-12987{D}^{2}x-263466{D}^{3}\hfill \end{array}$$

12

By proving analogues of (11) for higher order symmetries in the O’Nan group we obtain new relationships between class numbers and the rational solutions to these equations.

Let *D*
*<*0 be a fundamental discriminant. Suppose that *D* is congruent to 1 modulo 2 and is not a square modulo 7, and let *g* be a two-fold symmetry in the O’Nan group. Then Sel_{7}
*(E*
_{14}
*(D))* is non-trivial if and only if a_{g}
*(D)* is congruent to 3*h(D)*−9*h*
^{(2)}
*(D)* modulo 7. Also, if *L*_{E14(D)}(1) ≠ 0 then the Birch–Swinnerton-Dyer conjecture is true for *E*
_{14}
*(D)*, and *|Ш(E*
_{14}
*(D))|* is congruent to 0 modulo 7 if and only if *a*
_{g}
*(D)* is congruent to 3*h(D)*−9*h*
^{(2)}
*(D)* modulo 7.

Let *D*
*<*0 be a fundamental discriminant. Suppose that *D* is congruent to 1 modulo 3 and is not a square modulo 5, and let g be a three-fold symmetry in the O’Nan group. Then Sel_{5}
*(E*
_{15}
*(D))* is non-trivial if and only if a_{g}
*(D)* is congruent to 2*h(D)*−4*h*
^{(3)}
*(D)* modulo 5. Also, If *L*_{E15(D)}(1) ≠ 0 then the Birch–Swinnerton-Dyer conjecture is true for *E*
_{15}
*(D)*, and *Ш(E*
_{15}
*(D))|* is congruent to 0 modulo 5 if and only if a _{g}
*(D)* is congruent to 2*h(D)*−4*h*
^{(3)}
*(D)* modulo 5.

Note that *a*
_{g}(*D*) is the same for all two-fold symmetries *g*, and this is also true for three-fold symmetries. Similar to the *a*(*D*), the *a*
_{g}(*D*) are computed effectively by recursion relations when *g* is a two-fold or three-fold symmetry. The *h*
^{(p)}(*D*) are analogues of the class numbers *h*(*D*) that are defined by restricting to modular transformations *Q*(*ax*+*by*, *pcx*+*dy*) where *ad*−*pbc*=1.

Recent work of Skinner^{36}, following earlier work^{37} of Skinner–Urban, shows that (8) holds modulo certain primes *p*, when certain conditions on the underlying elliptic curve *E* are satisfied. We prove Theorems 3 and 4 by verifying these conditions for *p*=2 and *E*=*E*
_{14}(*D*), and for *p*=3 and *E*=*E*
_{15}(*D*), when *D*<0 is fundamental.

Define a further two families of elliptic curves as follows.

$$\begin{array}{c}{E}_{11}\left(D\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}:{y}^{2}={x}^{3}-13392{D}^{2}x-1080432{D}^{3}\hfill \\ {E}_{19}\left(D\right)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}:{y}^{2}={x}^{3}-12096{D}^{2}x-544752{D}^{3}\hfill \end{array}$$

13

If we assume (8) then the analogues of (11) for eleven-fold and nineteen-fold symmetries in the O’Nan group lead to the statement that if *p*=11 or *p*=19, and *D*<0 is a fundamental discriminant that is not a square modulo *p*, then Sel_{p}(*E*
_{p}(*D*)) is non-trivial if and only if *a*(*D*) is congruent to −24*h*(*D*) modulo *p*.

Moonshine has had a powerful impact on mathematics and theoretical physics. For instance, the notions of vertex algebra and Borcherds–Kac–Moody algebra—discovered en route to the positive resolution of the moonshine conjectures by Borcherds—are now fields in their own right, with applications in string theory and the geometric counterpart to the Langlands program. The extension of moonshine to pariah groups opens the door to exciting directions for future research. For one, it is natural to ask if there is analogous moonshine for the remaining four pariah groups. Preliminary evidence suggests that the answer to this question is positive. It is also natural to ask for a fuller understanding of the hidden symmetry that pariah groups, and perhaps also other finite simple groups, provide to problems in Diophantine analysis. Moving beyond elliptic curves, there are thirty-one-fold symmetries in the O’Nan group that can be used to prove congruences that control rational solutions to a certain family of quintic equations^{16}. A third natural question concerns a physical origin for the pariahs. It is natural to ask if there is a string theoretic construction of the spaces *W*
_{D} of O’Nan moonshine analogous to that found for the spaces ${V}_{n}^{\u266e}$ by Frenkel–Lepowsky–Meurman.

Data sharing is not applicable to this article, as no data sets were generated or analysed during the current study.

This research was supported by the Asa Griggs Candler Fund (K.O.), the Max-Planck-Institut für Mathematik in Bonn (M.H.M.), the U.S. National Science Foundation, DMS 1601306 (J.F.R.D. and K.O.), and the Simons Foundation, #316779 (J.D.).

Author contributions

J.F.R.D., M.H.M. and K.O. performed the research and wrote the manuscript.

The authors declare no competing financial interests.

**Electronic supplementary material**

**Supplementary Information** accompanies this paper at doi:10.1038/s41467-017-00660-y.

**Publisher's note:** Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

John F. R. Duncan, Email: ude.yrome@nacnud.nhoj.

Michael H. Mertens, Email: ed.nleok-inu.htam@snetremm.

Ken Ono, Email: ude.yrome.schtam@ono.

1. Hölder O. Die einfachen Gruppen in ersten und zweiten Hundert der Ordnungszahlen. Math. Annalen. 1892;40:55–88. doi: 10.1007/BF01443490. [Cross Ref]

2. Feit W, Thompson JG. Solvability of groups of odd order. Pacific J. Math. 1963;13:775–1029. doi: 10.2140/pjm.1963.13.775. [Cross Ref]

3. Gorenstein D. The classification of finite simple groups. I. Simple groups and local analysis. Bull. Am. Math. Soc. 1979;1:43–199. doi: 10.1090/S0273-0979-1979-14551-8. [Cross Ref]

4. Aschbacher, M. & Smith, S. D. Structure of strongly quasithin *K*-groups. *The Classification of Quasithin Groups. I*, vol. 111 of *Mathematical Surveys and Monographs* (American Mathematical Society, 2004).

5. Aschbacher, M. & Smith, S. D. *The Classification of Quasithin Groups. II*, vol. 112 of *Mathematical Surveys and Monographs* (American Mathematical Society, 2004).

6. Thompson JG. Some numerology between the Fischer-Griess Monster and the elliptic modular function. Bull. Lond. Math. Soc. 1979;11:352–353. doi: 10.1112/blms/11.3.352. [Cross Ref]

7. Tits J, On R. Griess “friendly giant” Invent. Math. 1984;78:491–499. doi: 10.1007/BF01388446. [Cross Ref]

8. Dedekind R. Schreiben an Herrn Borchardt über die Theorie der elliptischen modul-functionen. J. Reine Angew. Math. 1877;83:265–292.

9. Conway JH, Norton SP. Monstrous moonshine. Bull. Lond. Math. Soc. 1979;11:308–339. doi: 10.1112/blms/11.3.308. [Cross Ref]

10. Norton S. Generalized Moonshine. Proc. Symp. Pure Math. 1987;47:208–209.

11. Frenkel IB, Lepowsky J, Meurman A. A natural representation of the Fischer-Griess Monster with the modular function *J* as character. Proc. Natl Acad. Sci. USA. 1984;81:3256–3260. doi: 10.1073/pnas.81.10.3256. [PubMed] [Cross Ref]

12. Borcherds RE. Monstrous moonshine and monstrous Lie superalgebras. Invent. Math. 1992;109:405–444. doi: 10.1007/BF01232032. [Cross Ref]

13. Dixon L, Ginsparg P, Harvey J. Beauty and the beast: Superconformal symmetry in a Monster module. Comm. Math. Phys. 1988;119:221–241. doi: 10.1007/BF01217740. [Cross Ref]

14. Carnahan, S. Generalized Moonshine IV: Monstrous Lie algebras. Preprint at https://arxiv.org/abs/1208.6254 (2012).

15. Carnahan S. Fricke Lie algebras and the genus zero property in Moonshine. J. Phys. A. 2017;50:40. doi: 10.1088/1751-8121/aa781d. [Cross Ref]

16. Duncan, J. F. R., Mertens, M. H. & Ono, K. O’Nan moonshine and arithmetic. Preprint at https://arxiv.org/abs/1702.03516 (2017).

17. O’Nan ME. Some evidence for the existence of a new simple group. Proc. Lond. Math. Soc. 1976;32:421–479. doi: 10.1112/plms/s3-32.3.421. [Cross Ref]

18. Janko Z. A new finite simple group with abelian 2-Sylow subgroups. Proc. Natl Acad. Sci. USA. 1965;53:657–658. doi: 10.1073/pnas.53.3.657. [PubMed] [Cross Ref]

19. Langlands RP. Problems in the theory of automorphic forms. Lecture Notes in Math. 1970;170:18–61. doi: 10.1007/BFb0079065. [Cross Ref]

20. Bump, D. et al. *An Introduction to the Langlands Program*. 12–16, 2001 (eds Bernstein, J. & Gelbart, S.) (Birkhäuser Boston, Inc., 2003).

21. Riemann, B. Über die Anzahl der Primzahlen unter einer gegebenen Grösse (*Montsberichte der Berliner Akademie*, 1859).

22. Heath, T. L. *Diophantus of Alexandria: A study in the history of Greek algebra* 2nd edn (Dover Publications, Inc., 1964).

23. Bombieri, E. The Riemann hypothesis. in *The Millennium Prize Problems*, 107–124 (Clay Math. Inst., 2006).

24. Gauss, C. F. *Disquisitiones arithmeticae* (eds Arthur, A. & Clarke, S. J.) (Yale University Press, 1966).

25. Dirichlet GL. Recherches sur les formes quadratiques à coëfficients et à indéterminées complexes. Première partie. J. Reine Angew. Math. 1842;24:291–371. doi: 10.1515/crll.1842.24.291. [Cross Ref]

26. Siegel CL. The average measure of quadratic forms with given determinant and signature. Ann. of Math. (2) 1944;45:667–685. doi: 10.2307/1969296. [Cross Ref]

27. Goldfeld DM. The class number of quadratic fields and the conjectures of Birch and Swinnerton-Dyer. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 1976;3:624–663.

28. Gross BH, Zagier DB. Heegner points and derivatives of *L*-series. Invent. Math. 1986;84:225–320. doi: 10.1007/BF01388809. [Cross Ref]

29. Wiles A. Modular elliptic curves and Fermat’s last theorem. Ann. Math. 1995;141:443–551. doi: 10.2307/2118559. [Cross Ref]

30. Breuil C, Conrad B, Diamond F, Taylor R. On the modularity of elliptic curves over Q: wild 3-adic exercises. J. Amer. Math. Soc. 2001;14:843–939. doi: 10.1090/S0894-0347-01-00370-8. [Cross Ref]

31. Birch BJ, Swinnerton-Dyer HPF. Notes on elliptic curves. II. J. Reine Angew. Math. 1965;218:79–108.

32. Wiles, A. in *The millennium prize problems*, 31–41 (Clay Math. Inst., 2006).

33. Kolyvagin VA. Finiteness of *E*(Q) and SH(*E*, Q)for a subclass of Weil curves. Izv. Akad. Nauk SSSR Ser. Mat. 1988;52:522–540.

34. Mahler K. On a class of non-linear functional equations connected with modular functions. J. Austral. Math. Soc. Ser. A. 1976;22:65–118. doi: 10.1017/S1446788700013367. [Cross Ref]

35. Zagier, D. in *International Press Lecture Series of Motives, Polylogarithms and Hodge Theory, Part I (Irvine, CA, 1998)*, vol. 3, 211–244 (Int. Press, 2002).

36. Skinner C. Multiplicative reduction and the cyclotomic main conjecture for GL_{2}. Pacific J. Math. 2016;283:171–200. doi: 10.2140/pjm.2016.283.171. [Cross Ref]

37. Skinner C, Urban E. The Iwasawa main conjectures for GL_{2}. Invent. Math. 2014;195:1–277. doi: 10.1007/s00222-013-0448-1. [Cross Ref]

Articles from Nature Communications are provided here courtesy of **Nature Publishing Group**

PubMed Central Canada is a service of the Canadian Institutes of Health Research (CIHR) working in partnership with the National Research Council's national science library in cooperation with the National Center for Biotechnology Information at the U.S. National Library of Medicine(NCBI/NLM). It includes content provided to the PubMed Central International archive by participating publishers. |