Skip to content →

Conway’s big picture

Conway and Norton showed that there are exactly 171 moonshine functions and associated two arithmetic subgroups to them. We want a tool to describe these and here’s where Conway’s big picture comes in very handy. All moonshine groups are arithmetic groups, that is, they are commensurable with the modular group. Conway’s idea is to view several of these groups as point- or set-wise stabilizer subgroups of finite sets of (projective) commensurable 2-dimensional lattices.

Expanding (and partially explaining) the original moonshine observation of McKay and Thompson, John Conway and Simon Norton formulated monstrous moonshine :

To every cyclic subgroup m of the Monster M is associated a function

fm(τ)=1q+a1q+a2q2+ with q=e2πiτ and all coefficients aiZ are characters at m of a representation of M. These representations are the homogeneous components of the so called Moonshine module.

Each fm is a principal modulus for a certain genus zero congruence group commensurable with the modular group Γ=PSL2(Z). These groups are called the moonshine groups.

Conway and Norton showed that there are exactly 171 different functions fm and associated two arithmetic subgroups F(m)E(m)PSL2(R) to them (in most cases, but not all, these two groups coincide).

Whereas there is an extensive literature on subgroups of the modular group (see for instance the series of posts starting here), most moonshine groups are not contained in the modular group. So, we need a tool to describe them and here’s where Conway’s big picture comes in very handy.

All moonshine groups are arithmetic groups, that is, they are subgroups G of PSL2(R) which are commensurable with the modular group Γ=PSL2(Z) meaning that the intersection GΓ is of finite index in both G and in Γ. Conway’s idea is to view several of these groups as point- or set-wise stabilizer subgroups of finite sets of (projective) commensurable 2-dimensional lattices.

Start with a fixed two dimensional lattice L1=Ze1+Ze2=e1,e2 and we want to name all lattices of the form L=v1=ae1+be2,v2=ce1+de2 that are commensurable to L1. Again this means that the intersection LL1 is of finite index in both lattices. From this it follows immediately that all coefficients a,b,c,d are rational numbers.

It simplifies matters enormously if we do not look at lattices individually but rather at projective equivalence classes, that is  L=v1,v2L=v1,v2 if there is a rational number λQ such that  λv1=v1,λv2=v2. Further, we are of course allowed to choose a different ‘basis’ for our lattices, that is,  L=v1,v2=w1,w2 whenever  (w1,w2)=(v1,v2).γ for some γPSL2(Z).
Using both operations we can get any lattice in a specific form. For example,

12e1+3e2,e113e2=(1)3e1+18e2,6e12e2=(2)3e1+18e2,38e2=(3)338e1+919e2,e2

Here, identities (1) and (3) follow from projective equivalence and identity (2) from a base-change. In general, any lattice L commensurable to the standard lattice L1 can be rewritten uniquely as L=Me1+ghe2,e2 where M a positive rational number and with 0gh<1.

Another major feature is that one can define a symmetric hyper-distance between (equivalence classes of) such lattices. Take L=Me1+ghe2,e2 and L=Ne1+ije2,e2 and consider the matrix

DLL=[Mgh01][Nij01]1 and let α be the smallest positive rational number such that all entries of the matrix α.DLL are integers, then

δ(L,L)=det(α.DLL)N defines a symmetric hyperdistance which depends only of the equivalence classes of lattices (hyperdistance because the log of it behaves like an ordinary distance).

Conway’s big picture is the graph obtained by taking as its vertices the equivalence classes of lattices commensurable with L1 and with edges connecting any two lattices separated by a prime number hyperdistance. Here’s part of the 2-picture, that is, only depicting the edges of hyperdistance 2.



The 2-picture is an infinite 3-valent tree as there are precisely 3 classes of lattices at hyperdistance 2 from any lattice L=v1,v2 namely (the equivalence classes of) 12v1,v2 , v1,12v2 and 12(v1+v2),v2.

Similarly, for any prime hyperdistance p, the p-picture is an infinite p+1-valent tree and the big picture is the product over all these prime trees. That is, two lattices at square-free hyperdistance N=p1p2pk are two corners of a k-cell in the big picture!
(Astute readers of this blog (if such people exist…) may observe that Conway’s big picture did already appear here prominently, though in disguise. More on this another time).

The big picture presents a simple way to look at arithmetic groups and makes many facts about them visually immediate. For example, the point-stabilizer subgroup of L1 clearly is the modular group PSL2(Z). The point-stabilizer of any other lattice is a certain conjugate of the modular group inside PSL2(R). For example, the stabilizer subgroup of the lattice LN=Ne1,e2 (at hyperdistance N from L1) is the subgroup

[abNNcd] | [abcd]PSL2(Z) 

Now the intersection of these two groups is the modular subgroup Γ0(N) (consisting of those modular group element whose lower left-hand entry is divisible by N). That is, the proper way to look at this arithmetic group is as the joint stabilizer of the two lattices L1,LN. The picture makes it trivial to compute the index of this subgroup.

Consider the ball B(L1,N) with center L1 and hyper-radius N (on the left, the ball with hyper-radius 4). Then, it is easy to show that the modular group acts transitively on the boundary lattices (including the lattice LN), whence the index [Γ:Γ0(N)] is just the number of these boundary lattices. For N=4 the picture shows that there are exactly 6 of them. In general, it follows from our knowledge of all the p-trees the number of all lattices at hyperdistance N from L1 is equal to Np|N(1+1p), in accordance with the well-known index formula for these modular subgroups!

But, there are many other applications of the big picture giving a simple interpretation for the Hecke operators, an elegant proof of the Atkin-Lehner theorem on the normalizer of Γ0(N) (the whimsical source of appearances of the number 24) and of Helling’s theorem characterizing maximal arithmetical groups inside PSL2(C) as conjugates of the normalizers of Γ0(N) for square-free N.
J.H. Conway’s paper “Understanding groups like Γ0(N)” containing all this material is a must-read! Unfortunately, I do not know of an online version.

Published in groups number theory