17
$\begingroup$

Fact 1: (1979, Conway and Norton)$^{1}$

"There are $194-22-9=\color{blue}{163\,}$ $\mathbb{Z}$-independent McKay-Thompson series for the Monster."

Note: There are 194 (linear) irreducible representations of $\mathbb{M}$, hence 194 conjugacy classes. Of these, there are 22 that are complex quadratic valued. Of the remaining, there are 9 linear dependencies.$^{2}$


Fact 2: (2004, C. Cummins)$^{3}$

"The genus 0 moonshine groups have $\color{blue}{132 + 0 + 1 + 4 + 5 + 0 + 13 + 1 + 0 + 7=163}$ equivalence classes with period 1."

Note: There are exactly $6486$ genus $0$ moonshine groups, but only $\color{brown}{371}$ equivalence classes. Of these, $310\,$ have a rational representative. (Curiously, $\color{red}{310} =163+67+43+19+11+7$.)

\begin{array}{|c|r|c|c|c|c|c|c|c|c|c|c|} \hline \text{Period}& & 15^* & 11^*& 7^*& 3^*& 2^*& i& i\,2& 2 & 5 &\color{brown}{\text{Total}}\\ \hline 1&\color{blue}{132}& \color{blue}0& \color{blue}1& \color{blue}4& \color{blue}5& \color{blue}0& \color{blue}{13}& \color{blue}1& \color{blue}0& \color{blue}7 & \color{blue}{163}\\ 2&120& 0& 0& 2& 1& 7& 4& 2& 2& 2& 140\\ 3& 26& 1& 0& 1& 4& 0& 2& 0& 0& 0& 34\\ 4& 16& 0& 0& 0& 0& 2& 0& 0& 0& 0& 18\\ 6& 10& 0& 0& 0& 0& 0& 0& 0& 0& 0& 10\\ 8& 3& 0& 0& 0& 0& 0& 0& 0& 0& 0& 3\\ 12& 2& 0& 0& 0& 0& 0& 0& 0& 0& 0& 2\\ 24& 1& 0& 0& 0& 0& 0& 0& 0& 0& 0& 1\\ \hline \color{brown}{\text{Total}}&\color{red}{310}& 1& 1& 7& 10& 9& 19& 3& 2& 9& \color{brown}{371}\\ \hline \end{array}


Question: While the value $163$ was calculated differently in Facts 1 and 2, are they just different ways of saying the same thing, and that one implies the other?


References:

  1. Monstrous Moonshine, by J.H. Conway & S.P. Norton.
  2. Sporadic and Exceptional, by Yang-Hui He & John McKay.
  3. Congruence Subgroups of Groups Commensurable with PSL (2, Z) of Genus 0 and 1, by C. J. Cummins.
  4. Tables by C. J. Cummins.
$\endgroup$
6
  • $\begingroup$ The above is Table 5: Summary of genus 0 moonshine groups data by C.J. Cummins. $\endgroup$ Mar 29, 2018 at 14:53
  • $\begingroup$ It would nevertheless be good to have the monster tag here. $\endgroup$
    – F. C.
    Mar 30, 2018 at 6:43
  • $\begingroup$ @F.C. It is done. $\endgroup$ Mar 30, 2018 at 7:45
  • $\begingroup$ Are there similar counts for the corresponding groups related to 43 and 67? $\endgroup$
    – Wolfgang
    Apr 3, 2018 at 20:32
  • $\begingroup$ @Wolfgang: Of the 26 sporadic groups, the Monster contains 19 others as subquotients. Of the remaining 6, curiously the largest prime $p$ that divides the order of the Lyons group is $67$, for the Janko group $J_3$ is $43$, and $J_2$ is $19$. In Conway and Norton's paper, they asked "if there a similar period three automorphism for the case $\Gamma(67)+$". $\endgroup$ Apr 4, 2018 at 10:25

1 Answer 1

9
$\begingroup$

If there is a connection, I would expect it to be related to the fact that the $j$ invariant is connected to both Moonshine and to class field theory. Note that 7, 11, 19, 43, 67, and 163 are all the absolute values of odd discriminants with class number 1. (Strangely, 3 is missing from the list! Otherwise the list is complete.)

$\endgroup$
1
  • $\begingroup$ Perhaps we can surmise that 3 is exceptional since the j-invariant vanishes at $j\big(\tfrac{1+\sqrt{-3}}{2}\big)=0$. I've also come across some results in class field theory where it is required that $3 \nmid d$. $\endgroup$ Mar 30, 2018 at 0:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.