Can someone explain how to picture or construct the Monster Group?

  • 4
    $\begingroup$ @user3163: With great difficulty? $\endgroup$ Nov 5 '10 at 16:54
  • 8
    $\begingroup$ @Robin and muad: Any finite group is the group of hyperbolic isometries of some compact hyperbolic surface. It's apparently a theorem of Gromov's that such a surface isometrically embeds in $\mathbb R^5$: mathoverflow.net/questions/37708/… $\endgroup$ Nov 5 '10 at 17:42
  • 2
    $\begingroup$ Every finite group is the automorphism group of some finite simple graph $G$. If $G$ has $n$ vertices start with a regular $n$-simplex $S$ in $\mathbb{R}^{n-1}$. Each edge of $G$ corresponds to an edge of $S$. Push the midpoint of that edge out slightly to create a new vertex. One gets a convex polytope with the same symmetry group as $G$. $\endgroup$ Nov 5 '10 at 18:19
  • 8
    $\begingroup$ Rumor has it that the simplest way to fathom the "Monster Group" is to behold it under the moonshine at John Conway's annual Halloween party. But, alas, you're a few days late for that. It was truly a surreal experience. $\endgroup$ Nov 5 '10 at 18:42
  • 3
    $\begingroup$ I tried to read "Symmetry and the Monster" and found it very frustrating. Too much gee-whiz. $\endgroup$ Nov 5 '10 at 20:40

I think the answer really depends on what you mean by "fathom".

If you want a short construction of the Monster, there is a sketch by Conway in one of the later chapters of Sphere Packings, Lattices, and Groups (occasionally available on Google Books). The construction there goes through a nice progression of increasingly complicated exceptional objects, like the Golay code and the Leech lattice.

If you want to understand a "natural" object on which the Monster acts by symmetries, you should read up about vertex algebras. At our current state of knowledge (and depending on who you ask), the most natural object on which the monster acts is the monster vertex algebra $V^\natural$ (also known as the moonshine module, or the monster VOA), which is a graded vector space, together with some extra structure like a rather complicated multiplication operation $V^\natural \otimes V^\natural \to V^\natural((z))$. The construction of $V^\natural$ is given in the book Vertex operator algebras and the Monster by I. Frenkel, Lepowsky, and Meurman. A string theorist might say that it is given by orbifolding the Leech lattice CFT.

If you want to consider some basic facts about the Monster, you can have a look at the ATLAS of finite groups, or play around with the software GAP. Both have the character table, and orders of centralizers of elements, etc. Wilson showed that the monster is a Hurwitz group, so Ryan Budney's comment about acting on a Riemann surface holds for the minimum possible genus (about $10^{52}$).

If you want to understand finer points about the structure of the Monster group, you're pretty much out of luck. It's big enough that there are plenty of explicit questions whose answers we don't know. For example, the conjugacy classes of homomorphisms from $\mathbb{Z} \times \mathbb{Z}$ (i.e., pairs of commuting elements) are not classified, and $H^4$ with coefficients in $\mathbb{Z}$ is still unknown (very annoying).


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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