Namespaces
Variants
Actions

Difference between revisions of "Moonshine conjectures"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 88 formulas out of 90 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
Line 1: Line 1:
In 1978, J. McKay observed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m1302201.png" />. The number on the left is the first non-trivial coefficient of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m1302204.png" />-function, and the numbers on the right are the dimensions of the smallest irreducible representations of the Fischer–Griess Monster <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m1302205.png" /> [[#References|[a10]]] (cf. also [[Sporadic simple group|Sporadic simple group]]). On the one side stands a [[Modular function|modular function]]; on the other, a finite [[Sporadic simple group|sporadic simple group]]. Moonshine is the explanation and generalization of this unlikely connection.
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
  
Monstrous moonshine [[#References|[a6]]] conjectured that there is an infinite-dimensional graded [[Vector space|vector space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m1302206.png" />, with the following properties. Each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m1302207.png" /> carries a finite-dimensional representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m1302208.png" />; write <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m1302209.png" /> for its character. For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022010.png" />, define the [[Thompson–McKay series|Thompson–McKay series]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022011.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022012.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022013.png" /> is a generator ( "Hauptmodul" ) of the field of modular functions for some genus-<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022014.png" /> [[Group|group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022015.png" />. The group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022016.png" /> contains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022017.png" /> as a [[Normal subgroup|normal subgroup]], where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022018.png" /> divides <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022019.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022020.png" /> is the order of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022021.png" />).
+
Out of 90 formulas, 88 were replaced by TEX code.-->
  
There are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022022.png" /> distinct Thompson series (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022023.png" /> has only <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022024.png" /> conjugacy classes). For example, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022025.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022026.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022027.png" /> is the identity. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022028.png" /> has two order-<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022029.png" /> conjugacy classes, corresponding to the modular groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022030.png" /> and
+
{{TEX|semi-auto}}{{TEX|partial}}
 +
In 1978, J. McKay observed that $196884 = 196883 + 1$. The number on the left is the first non-trivial coefficient of the $j$-function, and the numbers on the right are the dimensions of the smallest irreducible representations of the Fischer–Griess Monster $\bf M$ [[#References|[a10]]] (cf. also [[Sporadic simple group|Sporadic simple group]]). On the one side stands a [[Modular function|modular function]]; on the other, a finite [[Sporadic simple group|sporadic simple group]]. Moonshine is the explanation and generalization of this unlikely connection.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022031.png" /></td> </tr></table>
+
Monstrous moonshine [[#References|[a6]]] conjectured that there is an infinite-dimensional graded [[Vector space|vector space]] $V = V _ { - 1 } \oplus V _ { 1 } \oplus V _ { 2 } \oplus \ldots$, with the following properties. Each $V _ { k }$ carries a finite-dimensional representation of $\bf M$; write $\chi _ { k }$ for its character. For each $g \in \mathbf{M}$, define the [[Thompson–McKay series|Thompson–McKay series]] $T _ { g } ( z ) = \sum _ { k = - 1 } ^ { \infty } \chi _ { k } ( g ) q ^ { k }$, where $q = \operatorname { exp } ( 2 \pi i z )$. Then $T_g$ is a generator ( "Hauptmodul" ) of the field of modular functions for some genus-$0$ [[Group|group]] $G _ { g } \leq \operatorname {SL} _ { 2 } ( \mathbf{R} )$. The group $G _ { g }$ contains $\Gamma _ { 0 } ( N )$ as a [[Normal subgroup|normal subgroup]], where $N$ divides $o ( g ) \operatorname { gcd } ( 24 , o ( g ) )$ ($o ( g )$ is the order of $g$).
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022032.png" /> denote the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022033.png" />-dimensional irreducible representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022034.png" />; then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022035.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022036.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022037.png" />.
+
There are $171$ distinct Thompson series ($\bf M$ has only $194$ conjugacy classes). For example, $G _ { e } = \operatorname{SL} _ { 2 } ( \mathbf{Z} )$ and $T _ { e } = j - 744$, where $e \in \mathbf{M}$ is the identity. $\bf M$ has two order-$2$ conjugacy classes, corresponding to the modular groups $\Gamma _ { 0 } ( 2 )$ and
  
Central to these conjectures is the moonshine module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022038.png" />, constructed in [[#References|[a9]]]. It is an important example of a [[Vertex operator algebra|vertex operator algebra]] (VOA) [[#References|[a2]]], [[#References|[a9]]], and as such possesses infinitely many heavily constrained bilinear products. One of these products makes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022039.png" /> into the Griess algebra [[#References|[a10]]] extended by an identity element. The automorphism group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022040.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022041.png" />.
+
\begin{equation*} \Gamma _ { 0 } ( 2 ) ^ { + } : = \left( \Gamma _ { 0 } ( 2 ) , \left( \begin{array} { c c } { 0 } &amp; { - 1 } \\ { 2 } &amp; { 0 } \end{array} \right) \right). \end{equation*}
  
The monstrous moonshine conjectures, and, in particular, the identification of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022042.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022043.png" />, were proved in [[#References|[a4]]], which also defined vertex operator algebras and a generalization of Kac–Moody algebras called Borcherds or generalized Kac–Moody algebras [[#References|[a3]]] (cf. also [[Kac–Moody algebra|Kac–Moody algebra]]; [[Borcherds Lie algebra|Borcherds Lie algebra]]).
+
Let $\rho _ { d }$ denote the $d$-dimensional irreducible representation of $\bf M$; then $V _ { - 1 } = \rho _ { 1 }$, $V _ { 1 } = \rho _ { 1 } \oplus \rho _ { 196883}$, and $V _ { 2 } = \rho _ { 1 } \oplus \rho _ { 196883 } \oplus \rho _ { 21296876 }$.
  
The series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022044.png" /> were generalized by S.P. Norton to commuting pairs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022045.png" /> [[#References|[a12]]]. In particular, to each such pair there is a [[Modular function|modular function]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022046.png" />, invariant under a genus-<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022047.png" /> group, such that
+
Central to these conjectures is the moonshine module $V ^ { \natural }$, constructed in [[#References|[a9]]]. It is an important example of a [[Vertex operator algebra|vertex operator algebra]] (VOA) [[#References|[a2]]], [[#References|[a9]]], and as such possesses infinitely many heavily constrained bilinear products. One of these products makes $V _ { 1 }$ into the Griess algebra [[#References|[a10]]] extended by an identity element. The automorphism group of $V ^ { \natural }$ is $\bf M$.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022048.png" /></td> </tr></table>
+
The monstrous moonshine conjectures, and, in particular, the identification of $V$ with $V ^ { \natural }$, were proved in [[#References|[a4]]], which also defined vertex operator algebras and a generalization of Kac–Moody algebras called Borcherds or generalized Kac–Moody algebras [[#References|[a3]]] (cf. also [[Kac–Moody algebra|Kac–Moody algebra]]; [[Borcherds Lie algebra|Borcherds Lie algebra]]).
  
for some root of unity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022049.png" />, for any
+
The series $T_g$ were generalized by S.P. Norton to commuting pairs $( g , h ) \in \bf M \times M$ [[#References|[a12]]]. In particular, to each such pair there is a [[Modular function|modular function]] $Z ( g,h ; z )$, invariant under a genus-$0$ group, such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022050.png" /></td> </tr></table>
+
\begin{equation*} Z ( g ^ { a } h ^ { c } , g ^ { b } h ^ { d } ; z ) = \alpha Z \left( g ,h ; \frac { a z + b } { c z + d } \right) \end{equation*}
  
This action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022051.png" /> is related to its natural action on the fundamental group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022052.png" /> of the torus. The coefficients of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022053.png" />-expansion of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022054.png" /> are characters of the centralizer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022055.png" /> evaluated at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022056.png" />. Simultaneous conjugation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022057.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022058.png" /> leaves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022059.png" /> unchanged: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022060.png" />. The [[Thompson–McKay series|Thompson–McKay series]] are recovered by the specialization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022061.png" />: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022062.png" />. Only special cases of these generalized moonshine conjectures have been proven.
+
for some root of unity $\alpha$, for any
  
There are several other conjectures. For example, the series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022063.png" /> were conjecturally related by the replication formulas [[#References|[a6]]], [[#References|[a1]]]:
+
\begin{equation*} \left( \begin{array} { l l } { a } &amp; { b } \\ { c } &amp; { d } \end{array} \right) \in \operatorname{SL} _ { 2 } ( {\bf Z} ). \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022064.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
This action of $\operatorname{SL} _ { 2 } ( \mathbf{Z} )$ is related to its natural action on the fundamental group $\mathbf{Z} ^ { 2 }$ of the torus. The coefficients of the $q$-expansion of $Z ( g,h ; z )$ are characters of the centralizer $C _ { \mathbf{M} } ( g )$ evaluated at $h$. Simultaneous conjugation of $g$, $h$ leaves $Z$ unchanged: $Z ( a g a ^ { - 1 } , a h a ^ { - 1 } ; z ) = Z ( g , h ; z )$. The [[Thompson–McKay series|Thompson–McKay series]] are recovered by the specialization $g = e$: $Z ( e , h ; z ) = T _ { h } ( z )$. Only special cases of these generalized moonshine conjectures have been proven.
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022065.png" /> is the unique polynomial for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022066.png" /> is a power series with only strictly positive powers of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022067.png" />. The resemblance of (a1) with Hecke operators is not accidental. These formulas are related to identities such as
+
There are several other conjectures. For example, the series $T _ { g ^ { i } }$ were conjecturally related by the replication formulas [[#References|[a6]]], [[#References|[a1]]]:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022068.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
+
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022064.png"/></td> <td style="width:5%;text-align:right;" valign="top">(a1)</td></tr></table>
  
for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022069.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022070.png" />, as well as to the existence of several modular equations obeyed by the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022071.png" />. These identities played a large role in the proof of moonshine. R. Borcherds proved that the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022072.png" /> obey (a1) by using the denominator identities of Borcherds algebras; the resulting modular equations can be used to prove the Hauptmodul property [[#References|[a7]]]. It would be very nice to see other direct connections between the group operation in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022073.png" /> and the series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022074.png" />: for instance, are there other relations among the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022075.png" /> which correspond to more general products of conjugacy classes in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022076.png" />?
+
where $Q _ { n }$ is the unique polynomial for which $Q _ { n } ( T _ { g } ( z ) ) - q ^ { - n }$ is a power series with only strictly positive powers of $q$. The resemblance of (a1) with Hecke operators is not accidental. These formulas are related to identities such as
  
The Hirzebruch prize question [[#References|[a11]]] asks for a compact, differentiable, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022077.png" />-dimensional manifold on which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022078.png" /> acts by diffeomorphisms and whose twisted Witten genus is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022079.png" />. It is still open (as of 2000).
+
\begin{equation} \tag{a2} p ^ { - 1 } \prod _ { \underset{n \in \mathbf{Z} }{m &gt; 0} } ( 1 - p ^ { m } q ^ { n } ) ^ { a_{ m n} } = j ( w ) - j ( z ) \end{equation}
  
Vertex operator algebras are a key component in moonshine. There will be some form of moonshine for finite subgroups of the automorphism group of any rational vertex operator algebra obeying a technical (and probably redundant) "C2 condition"  (see e.g. [[#References|[a18]]]). The resulting functions, however, will not be Hauptmoduls in general. There is no complete understanding yet (2000) of why Hauptmoduls are associated to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022080.png" />, although it has been conjectured to do with the "6-transposition property"  of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022082.png" /> [[#References|[a12]]], or the uniqueness of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022083.png" /> [[#References|[a17]]].
+
for $p = \operatorname { exp } ( 2 \pi i w )$, where $j ( z ) - 744 = \sum _ { k } a _ { k } q ^ { k }$, as well as to the existence of several modular equations obeyed by the $T_g$. These identities played a large role in the proof of moonshine. R. Borcherds proved that the $T_g$ obey (a1) by using the denominator identities of Borcherds algebras; the resulting modular equations can be used to prove the Hauptmodul property [[#References|[a7]]]. It would be very nice to see other direct connections between the group operation in $\bf M$ and the series $T_g$: for instance, are there other relations among the $T_g$ which correspond to more general products of conjugacy classes in $\bf M$?
  
Moonshine is related to conformal field theory (e.g. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022084.png" /> is the chiral algebra of a holomorphic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022085.png" /> theory), in which context many of moonshine's special features appear natural [[#References|[a8]]], [[#References|[a17]]], and this has motivated some of the developments (most significantly the definition of vertex operator algebras).
+
The Hirzebruch prize question [[#References|[a11]]] asks for a compact, differentiable, $24$-dimensional manifold on which $\bf M$ acts by diffeomorphisms and whose twisted Witten genus is $T_g$. It is still open (as of 2000).
  
It still (as of 2000) is unclear why certain Hauptmoduls appear in moonshine and others do not. What form does moonshine (e.g. the replication formulas) take in genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022086.png" /> (see e.g. [[#References|[a16]]])? How about moonshine for other groups (see e.g. [[#References|[a13]]])? In [[#References|[a14]]], a variant called modular moonshine was established, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022087.png" /> is replaced with vertex algebras over characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022088.png" />, and where the role of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022089.png" /> is taken by centralizers in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022090.png" /> of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022091.png" /> elements.
+
Vertex operator algebras are a key component in moonshine. There will be some form of moonshine for finite subgroups of the automorphism group of any rational vertex operator algebra obeying a technical (and probably redundant)  "C2 condition"  (see e.g. [[#References|[a18]]]). The resulting functions, however, will not be Hauptmoduls in general. There is no complete understanding yet (2000) of why Hauptmoduls are associated to $\bf M$, although it has been conjectured to do with the  "6-transposition property"  of $\bf M$ [[#References|[a12]]], or the uniqueness of $V ^ { \natural }$ [[#References|[a17]]].
 +
 
 +
Moonshine is related to conformal field theory (e.g. $V ^ { \natural }$ is the chiral algebra of a holomorphic $c = 24$ theory), in which context many of moonshine's special features appear natural [[#References|[a8]]], [[#References|[a17]]], and this has motivated some of the developments (most significantly the definition of vertex operator algebras).
 +
 
 +
It still (as of 2000) is unclear why certain Hauptmoduls appear in moonshine and others do not. What form does moonshine (e.g. the replication formulas) take in genus $&gt; 0$ (see e.g. [[#References|[a16]]])? How about moonshine for other groups (see e.g. [[#References|[a13]]])? In [[#References|[a14]]], a variant called modular moonshine was established, where $V ^ { \natural }$ is replaced with vertex algebras over characteristic $p$, and where the role of $\bf M$ is taken by centralizers in $\bf M$ of order $p$ elements.
  
 
For his work in monstrous moonshine and related topics, Borcherds was awarded a Fields Medal in 1998 [[#References|[a5]]].
 
For his work in monstrous moonshine and related topics, Borcherds was awarded a Fields Medal in 1998 [[#References|[a5]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D. Alexander,  C. Cummins,  J. McKay,  C. Simons,  "Completely replicable functions" , ''Groups, Combinatorics and Geometry'' , Cambridge Univ. Press  (1992)  pp. 87–98</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  R.E. Borcherds,  "Vertex algebras, Kac–Moody algebras, and the Monster"  ''Proc. Nat. Acad. Sci. USA'' , '''83'''  (1986)  pp. 3068–3071</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  R.E. Borcherds,  "Generalized Kac–Moody algebras"  ''J. Algebra'' , '''115'''  (1988)  pp. 501–512</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R.E. Borcherds,  "Monstrous moonshine and monstrous Lie superalgebras"  ''Invent. Math.'' , '''109'''  (1992)  pp. 405–444</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  R.E. Borcherds,  "What is Moonshine?" , ''Proc. ICM, Berlin'' , DMV  (1998)  pp. 607–615</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J.H. Conway,  S.P. Norton,  "Monstrous moonshine"  ''Bull. London Math. Soc.'' , '''11'''  (1979)  pp. 308–339</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  C. Cummins,  T. Gannon,  "Modular equations and the genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130220/m13022092.png" /> property of Moonshine functions"  ''Invent. Math.'' , '''129'''  (1997)  pp. 413–443</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  L. Dixon,  P. Ginsparg,  J. Harvey,  "Beauty and the Beast: superconformal symmetry in a Monster module"  ''Commun. Math. Phys.'' , '''119'''  (1988)  pp. 221–241</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  I.B. Frenkel,  J. Lepowsky,  A. Meurman,  "Vertex operators and the monster" , Acad. Press  (1988)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  R.L. Griess,  "The friendly giant"  ''Invent. Math.'' , '''69'''  (1982)  pp. 1–102</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  F. Hirzebruch,  T. Berger,  R. Jung,  "Manifolds and modular forms" , ''Aspects of Math.'' , Vieweg  (1994)  (Edition: Second)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  S.P. Norton,  "Generalized moonshine"  ''Proc. Symp. Pure Math.'' , '''47'''  (1987)  pp. 208–209</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  L. Queen,  "Modular functions arising from some finite groups"  ''Math. Comput.'' , '''37'''  (1981)  pp. 547–580</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  A.J. E. Ryba,  "Modular moonshine?" , ''Moonshine, the Monster, and Related Topics'' , ''Contemp. Math.'' , '''193''' , Amer. Math. Soc.  (1996)  pp. 307–336</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  R.E. Borcherds,  "Modular moonshine III"  ''Duke Math. J.'' , '''93'''  (1998)  pp. 129–154</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  G.W. Smith,  "Replicant powers for higher genera" , ''Moonshine, the Monster, and Related Topics'' , ''Contemp. Math.'' , '''193''' , Amer. Math. Soc.  (1996)  pp. 337–352</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  M.P. Tuite,  "On the relationship between Monstrous moonshine and the uniqueness of the Moonshine module"  ''Commun. Math. Phys.'' , '''166'''  (1995)  pp. 495–532</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  Y. Zhu,  "Modular invariance of characters of vertex operator algebras"  ''J. Amer. Math. Soc.'' , '''9'''  (1996)  pp. 237–302</TD></TR><TR><TD valign="top">[a19]</TD> <TD valign="top">  C. Dong,  H. Li,  G. Mason,  "Modular invariance of trace functions in orbifold theory"  ''preprint q-alg/9703016''  (1997)</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  D. Alexander,  C. Cummins,  J. McKay,  C. Simons,  "Completely replicable functions" , ''Groups, Combinatorics and Geometry'' , Cambridge Univ. Press  (1992)  pp. 87–98</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  R.E. Borcherds,  "Vertex algebras, Kac–Moody algebras, and the Monster"  ''Proc. Nat. Acad. Sci. USA'' , '''83'''  (1986)  pp. 3068–3071</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  R.E. Borcherds,  "Generalized Kac–Moody algebras"  ''J. Algebra'' , '''115'''  (1988)  pp. 501–512</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  R.E. Borcherds,  "Monstrous moonshine and monstrous Lie superalgebras"  ''Invent. Math.'' , '''109'''  (1992)  pp. 405–444</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  R.E. Borcherds,  "What is Moonshine?" , ''Proc. ICM, Berlin'' , DMV  (1998)  pp. 607–615</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  J.H. Conway,  S.P. Norton,  "Monstrous moonshine"  ''Bull. London Math. Soc.'' , '''11'''  (1979)  pp. 308–339</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  C. Cummins,  T. Gannon,  "Modular equations and the genus $0$ property of Moonshine functions"  ''Invent. Math.'' , '''129'''  (1997)  pp. 413–443</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  L. Dixon,  P. Ginsparg,  J. Harvey,  "Beauty and the Beast: superconformal symmetry in a Monster module"  ''Commun. Math. Phys.'' , '''119'''  (1988)  pp. 221–241</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  I.B. Frenkel,  J. Lepowsky,  A. Meurman,  "Vertex operators and the monster" , Acad. Press  (1988)</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  R.L. Griess,  "The friendly giant"  ''Invent. Math.'' , '''69'''  (1982)  pp. 1–102</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  F. Hirzebruch,  T. Berger,  R. Jung,  "Manifolds and modular forms" , ''Aspects of Math.'' , Vieweg  (1994)  (Edition: Second)</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  S.P. Norton,  "Generalized moonshine"  ''Proc. Symp. Pure Math.'' , '''47'''  (1987)  pp. 208–209</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  L. Queen,  "Modular functions arising from some finite groups"  ''Math. Comput.'' , '''37'''  (1981)  pp. 547–580</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  A.J. E. Ryba,  "Modular moonshine?" , ''Moonshine, the Monster, and Related Topics'' , ''Contemp. Math.'' , '''193''' , Amer. Math. Soc.  (1996)  pp. 307–336</td></tr><tr><td valign="top">[a15]</td> <td valign="top">  R.E. Borcherds,  "Modular moonshine III"  ''Duke Math. J.'' , '''93'''  (1998)  pp. 129–154</td></tr><tr><td valign="top">[a16]</td> <td valign="top">  G.W. Smith,  "Replicant powers for higher genera" , ''Moonshine, the Monster, and Related Topics'' , ''Contemp. Math.'' , '''193''' , Amer. Math. Soc.  (1996)  pp. 337–352</td></tr><tr><td valign="top">[a17]</td> <td valign="top">  M.P. Tuite,  "On the relationship between Monstrous moonshine and the uniqueness of the Moonshine module"  ''Commun. Math. Phys.'' , '''166'''  (1995)  pp. 495–532</td></tr><tr><td valign="top">[a18]</td> <td valign="top">  Y. Zhu,  "Modular invariance of characters of vertex operator algebras"  ''J. Amer. Math. Soc.'' , '''9'''  (1996)  pp. 237–302</td></tr><tr><td valign="top">[a19]</td> <td valign="top">  C. Dong,  H. Li,  G. Mason,  "Modular invariance of trace functions in orbifold theory"  ''preprint q-alg/9703016''  (1997)</td></tr></table>

Revision as of 17:00, 1 July 2020

In 1978, J. McKay observed that $196884 = 196883 + 1$. The number on the left is the first non-trivial coefficient of the $j$-function, and the numbers on the right are the dimensions of the smallest irreducible representations of the Fischer–Griess Monster $\bf M$ [a10] (cf. also Sporadic simple group). On the one side stands a modular function; on the other, a finite sporadic simple group. Moonshine is the explanation and generalization of this unlikely connection.

Monstrous moonshine [a6] conjectured that there is an infinite-dimensional graded vector space $V = V _ { - 1 } \oplus V _ { 1 } \oplus V _ { 2 } \oplus \ldots$, with the following properties. Each $V _ { k }$ carries a finite-dimensional representation of $\bf M$; write $\chi _ { k }$ for its character. For each $g \in \mathbf{M}$, define the Thompson–McKay series $T _ { g } ( z ) = \sum _ { k = - 1 } ^ { \infty } \chi _ { k } ( g ) q ^ { k }$, where $q = \operatorname { exp } ( 2 \pi i z )$. Then $T_g$ is a generator ( "Hauptmodul" ) of the field of modular functions for some genus-$0$ group $G _ { g } \leq \operatorname {SL} _ { 2 } ( \mathbf{R} )$. The group $G _ { g }$ contains $\Gamma _ { 0 } ( N )$ as a normal subgroup, where $N$ divides $o ( g ) \operatorname { gcd } ( 24 , o ( g ) )$ ($o ( g )$ is the order of $g$).

There are $171$ distinct Thompson series ($\bf M$ has only $194$ conjugacy classes). For example, $G _ { e } = \operatorname{SL} _ { 2 } ( \mathbf{Z} )$ and $T _ { e } = j - 744$, where $e \in \mathbf{M}$ is the identity. $\bf M$ has two order-$2$ conjugacy classes, corresponding to the modular groups $\Gamma _ { 0 } ( 2 )$ and

\begin{equation*} \Gamma _ { 0 } ( 2 ) ^ { + } : = \left( \Gamma _ { 0 } ( 2 ) , \left( \begin{array} { c c } { 0 } & { - 1 } \\ { 2 } & { 0 } \end{array} \right) \right). \end{equation*}

Let $\rho _ { d }$ denote the $d$-dimensional irreducible representation of $\bf M$; then $V _ { - 1 } = \rho _ { 1 }$, $V _ { 1 } = \rho _ { 1 } \oplus \rho _ { 196883}$, and $V _ { 2 } = \rho _ { 1 } \oplus \rho _ { 196883 } \oplus \rho _ { 21296876 }$.

Central to these conjectures is the moonshine module $V ^ { \natural }$, constructed in [a9]. It is an important example of a vertex operator algebra (VOA) [a2], [a9], and as such possesses infinitely many heavily constrained bilinear products. One of these products makes $V _ { 1 }$ into the Griess algebra [a10] extended by an identity element. The automorphism group of $V ^ { \natural }$ is $\bf M$.

The monstrous moonshine conjectures, and, in particular, the identification of $V$ with $V ^ { \natural }$, were proved in [a4], which also defined vertex operator algebras and a generalization of Kac–Moody algebras called Borcherds or generalized Kac–Moody algebras [a3] (cf. also Kac–Moody algebra; Borcherds Lie algebra).

The series $T_g$ were generalized by S.P. Norton to commuting pairs $( g , h ) \in \bf M \times M$ [a12]. In particular, to each such pair there is a modular function $Z ( g,h ; z )$, invariant under a genus-$0$ group, such that

\begin{equation*} Z ( g ^ { a } h ^ { c } , g ^ { b } h ^ { d } ; z ) = \alpha Z \left( g ,h ; \frac { a z + b } { c z + d } \right) \end{equation*}

for some root of unity $\alpha$, for any

\begin{equation*} \left( \begin{array} { l l } { a } & { b } \\ { c } & { d } \end{array} \right) \in \operatorname{SL} _ { 2 } ( {\bf Z} ). \end{equation*}

This action of $\operatorname{SL} _ { 2 } ( \mathbf{Z} )$ is related to its natural action on the fundamental group $\mathbf{Z} ^ { 2 }$ of the torus. The coefficients of the $q$-expansion of $Z ( g,h ; z )$ are characters of the centralizer $C _ { \mathbf{M} } ( g )$ evaluated at $h$. Simultaneous conjugation of $g$, $h$ leaves $Z$ unchanged: $Z ( a g a ^ { - 1 } , a h a ^ { - 1 } ; z ) = Z ( g , h ; z )$. The Thompson–McKay series are recovered by the specialization $g = e$: $Z ( e , h ; z ) = T _ { h } ( z )$. Only special cases of these generalized moonshine conjectures have been proven.

There are several other conjectures. For example, the series $T _ { g ^ { i } }$ were conjecturally related by the replication formulas [a6], [a1]:

(a1)

where $Q _ { n }$ is the unique polynomial for which $Q _ { n } ( T _ { g } ( z ) ) - q ^ { - n }$ is a power series with only strictly positive powers of $q$. The resemblance of (a1) with Hecke operators is not accidental. These formulas are related to identities such as

\begin{equation} \tag{a2} p ^ { - 1 } \prod _ { \underset{n \in \mathbf{Z} }{m > 0} } ( 1 - p ^ { m } q ^ { n } ) ^ { a_{ m n} } = j ( w ) - j ( z ) \end{equation}

for $p = \operatorname { exp } ( 2 \pi i w )$, where $j ( z ) - 744 = \sum _ { k } a _ { k } q ^ { k }$, as well as to the existence of several modular equations obeyed by the $T_g$. These identities played a large role in the proof of moonshine. R. Borcherds proved that the $T_g$ obey (a1) by using the denominator identities of Borcherds algebras; the resulting modular equations can be used to prove the Hauptmodul property [a7]. It would be very nice to see other direct connections between the group operation in $\bf M$ and the series $T_g$: for instance, are there other relations among the $T_g$ which correspond to more general products of conjugacy classes in $\bf M$?

The Hirzebruch prize question [a11] asks for a compact, differentiable, $24$-dimensional manifold on which $\bf M$ acts by diffeomorphisms and whose twisted Witten genus is $T_g$. It is still open (as of 2000).

Vertex operator algebras are a key component in moonshine. There will be some form of moonshine for finite subgroups of the automorphism group of any rational vertex operator algebra obeying a technical (and probably redundant) "C2 condition" (see e.g. [a18]). The resulting functions, however, will not be Hauptmoduls in general. There is no complete understanding yet (2000) of why Hauptmoduls are associated to $\bf M$, although it has been conjectured to do with the "6-transposition property" of $\bf M$ [a12], or the uniqueness of $V ^ { \natural }$ [a17].

Moonshine is related to conformal field theory (e.g. $V ^ { \natural }$ is the chiral algebra of a holomorphic $c = 24$ theory), in which context many of moonshine's special features appear natural [a8], [a17], and this has motivated some of the developments (most significantly the definition of vertex operator algebras).

It still (as of 2000) is unclear why certain Hauptmoduls appear in moonshine and others do not. What form does moonshine (e.g. the replication formulas) take in genus $> 0$ (see e.g. [a16])? How about moonshine for other groups (see e.g. [a13])? In [a14], a variant called modular moonshine was established, where $V ^ { \natural }$ is replaced with vertex algebras over characteristic $p$, and where the role of $\bf M$ is taken by centralizers in $\bf M$ of order $p$ elements.

For his work in monstrous moonshine and related topics, Borcherds was awarded a Fields Medal in 1998 [a5].

References

[a1] D. Alexander, C. Cummins, J. McKay, C. Simons, "Completely replicable functions" , Groups, Combinatorics and Geometry , Cambridge Univ. Press (1992) pp. 87–98
[a2] R.E. Borcherds, "Vertex algebras, Kac–Moody algebras, and the Monster" Proc. Nat. Acad. Sci. USA , 83 (1986) pp. 3068–3071
[a3] R.E. Borcherds, "Generalized Kac–Moody algebras" J. Algebra , 115 (1988) pp. 501–512
[a4] R.E. Borcherds, "Monstrous moonshine and monstrous Lie superalgebras" Invent. Math. , 109 (1992) pp. 405–444
[a5] R.E. Borcherds, "What is Moonshine?" , Proc. ICM, Berlin , DMV (1998) pp. 607–615
[a6] J.H. Conway, S.P. Norton, "Monstrous moonshine" Bull. London Math. Soc. , 11 (1979) pp. 308–339
[a7] C. Cummins, T. Gannon, "Modular equations and the genus $0$ property of Moonshine functions" Invent. Math. , 129 (1997) pp. 413–443
[a8] L. Dixon, P. Ginsparg, J. Harvey, "Beauty and the Beast: superconformal symmetry in a Monster module" Commun. Math. Phys. , 119 (1988) pp. 221–241
[a9] I.B. Frenkel, J. Lepowsky, A. Meurman, "Vertex operators and the monster" , Acad. Press (1988)
[a10] R.L. Griess, "The friendly giant" Invent. Math. , 69 (1982) pp. 1–102
[a11] F. Hirzebruch, T. Berger, R. Jung, "Manifolds and modular forms" , Aspects of Math. , Vieweg (1994) (Edition: Second)
[a12] S.P. Norton, "Generalized moonshine" Proc. Symp. Pure Math. , 47 (1987) pp. 208–209
[a13] L. Queen, "Modular functions arising from some finite groups" Math. Comput. , 37 (1981) pp. 547–580
[a14] A.J. E. Ryba, "Modular moonshine?" , Moonshine, the Monster, and Related Topics , Contemp. Math. , 193 , Amer. Math. Soc. (1996) pp. 307–336
[a15] R.E. Borcherds, "Modular moonshine III" Duke Math. J. , 93 (1998) pp. 129–154
[a16] G.W. Smith, "Replicant powers for higher genera" , Moonshine, the Monster, and Related Topics , Contemp. Math. , 193 , Amer. Math. Soc. (1996) pp. 337–352
[a17] M.P. Tuite, "On the relationship between Monstrous moonshine and the uniqueness of the Moonshine module" Commun. Math. Phys. , 166 (1995) pp. 495–532
[a18] Y. Zhu, "Modular invariance of characters of vertex operator algebras" J. Amer. Math. Soc. , 9 (1996) pp. 237–302
[a19] C. Dong, H. Li, G. Mason, "Modular invariance of trace functions in orbifold theory" preprint q-alg/9703016 (1997)
How to Cite This Entry:
Moonshine conjectures. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Moonshine_conjectures&oldid=18566
This article was adapted from an original article by Terry Gannon (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article