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.
Improve this question
$\endgroup$
6
  • $\begingroup$ The above is Table 5: Summary of genus 0 moonshine groups data by C.J. Cummins. $\endgroup$
    – Tito Piezas III
    Commented Mar 29, 2018 at 14:53
  • $\begingroup$ It would nevertheless be good to have the monster tag here. $\endgroup$
    – F. C.
    Commented Mar 30, 2018 at 6:43
  • $\begingroup$ @F.C. It is done. $\endgroup$
    – Tito Piezas III
    Commented Mar 30, 2018 at 7:45
  • $\begingroup$ Are there similar counts for the corresponding groups related to 43 and 67? $\endgroup$
    – Wolfgang
    Commented 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$
    – Tito Piezas III
    Commented Apr 4, 2018 at 10:25

1 Answer 1

Reset to default
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.)

Improve this answer
$\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$
    – Tito Piezas III
    Commented Mar 30, 2018 at 0:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .