Skip to content →

Category: noncommutative

the monstrous moonshine picture – 2

Published January 19, 2018 by lieven

Time to wrap up my calculations on the moonshine picture, which is the subgraph of Conway’s Big Picture needed to describe all 171 moonshine groups.

No doubt I’ve made mistakes. All corrections are welcome. The starting point is the list of 171 moonshine groups which are in the original Monstrous Moonshine paper.

The backbone is given by the $97$ number lattices, which are closed under taking divisors and were found by looking at all divisors of the numbers $N=n \times h$ for the 171 moonshine groups of the form $N+e,f,\dots$ or $(n|h)+e,f,\dots$.

The Hasse-diagram of this poset (under division) is here (click on the image to get a larger version)

There are seven types of coloured numbers, each corresponding to number-lattices which have the same local structure in the moonshine picture, as in the previous post.

The white numbered lattices have no further edges in the picture.

The yellow number lattices (2,10,14,18,22,26,32,34,40,68,80,88,90,112,126,144,180,208 = 2M) have local structure

\[
\xymatrix{& \color{yellow}{2M} \ar@{-}[r] & M \frac{1}{2}} \]

The green number lattices (3,15,21,39,57,93,96,120 = 3M) have local structure

\[
\xymatrix{M \frac{1}{3} \ar@[red]@{-}[r] & \color{green}{3M} \ar@[red]@{-}[r] & M \frac{2}{3}} \]

The blue number lattices (4,16,20,28,36,44,52,56,72,104 = 4M) have as local structure

\[
\xymatrix{M \frac{1}{2} \ar@{-}[d] & & M \frac{1}{4} \ar@{-}[d] \\
2M \ar@{-}[r] & \color{blue}{4M} \ar@{-}[r] & 2M \frac{1}{2} \ar@{-}[d] \\
& & M \frac{3}{4}} \]

where the leftmost part is redundant as they are already included in the yellow-bit.

The purple number lattices (6,30,42,48,60 = 6M) have local structure

\[
\xymatrix{M \frac{1}{3} \ar@[red]@{-}[d] & 2M \frac{1}{3} & M \frac{1}{6} \ar@[red]@{-}[d] & \\
3M \ar@{-}[r] \ar@[red]@{-}[d] & \color{purple}{6M} \ar@{-}[r] \ar@[red]@{-}[u] \ar@[red]@{-}[d] & 3M \frac{1}{2} \ar@[red]@{-}[r] \ar@[red]@{-}[d] & M \frac{5}{6} \\
M \frac{2}{3} & 2M \frac{2}{3} & M \frac{1}{2} & } \]

where again the lefmost part is redundant, and I forgot to add the central part in the previous post… (updated now).

The unique brown number lattice 8 has local structure

\[
\xymatrix{& & 1 \frac{1}{4} \ar@{-}[d] & & 1 \frac{1}{8} \ar@{-}[d] & \\
& 1 \frac{1}{2} \ar@{-}[d] & 2 \frac{1}{2} \ar@{-}[r] \ar@{-}[d] & 1 \frac{3}{4} & 2 \frac{1}{4} \ar@{-}[r] & 1 \frac{5}{8} \\
1 \ar@{-}[r] & 2 \ar@{-}[r] & 4 \ar@{-}[r] & \color{brown}{8} \ar@{-}[r] & 4 \frac{1}{2} \ar@{-}[d] \ar@{-}[u] & \\
& & & 1 \frac{7}{8} \ar@{-}[r] & 2 \frac{3}{4} \ar@{-}[r] & 1 \frac{3}{8}} \]

The local structure in the two central red number lattices (not surprisingly 12 and 24) looks like the image in the previous post, but I have to add some ‘forgotten’ lattices.

That’ll have to wait…

Comments closed

Roots of unity and the Big Picture

Published January 14, 2018 by lieven

All lattices in the moonshine picture are number-like, that is of the form $M \frac{g}{h}$ with $M$ a positive integer and $0 \leq g < h$ with $(g,h)=1$. To understand the action of the Bost-Connes algebra on the Big Picture it is sometimes better to view the lattice $M \frac{g}{h}$ as a primitive $h$-th root of unity, centered at $hM$.

The distance from $M$ to any of the lattices $M \frac{g}{h}$ is equal to $2 log(h)$, and the distances from $M$ and $M \frac{g}{h}$ to $hM$ are all equal to $log(h)$.

For a prime value $h$, these $h$ lattices are among the $h+1$ lattices branching off at $hM$ in the $h$-adic tree (the remaining one being $h^2M$).

For general $h$ the situation is more complex. Here’s the picture for $h=6$ with edges in the $2$-adic tree painted blue, those in the $3$-adic tree red.

\[
\xymatrix{& & M \frac{1}{2} \ar@[blue]@{-}[d] & \\
& M \ar@[blue]@{-}[r] \ar@[red]@{-}[d] & 2M \ar@[red]@{-}[d] & M \frac{1}{6} \ar@[red]@{-}[d] \\
M \frac{1}{3} \ar@[red]@{-}[r] & 3M \ar@[blue]@{-}[r] \ar@[red]@{-}[d] & \boxed{6 M} \ar@[blue]@{-}[r] & 3M \frac{1}{2} \ar@[red]@{-}[d] \\ & M \frac{2}{3} & & M \frac{5}{6}} \]

To describe the moonshine group $(n|h)+e,f,\dots$ (an example was worked out in the tetrahedral snake post), we need to study the action of base-change with the matrix
\[
x = \begin{bmatrix} 1 & \frac{1}{h} \\ 0 & 1 \end{bmatrix} \]
which sends a lattice of the form $M \frac{g}{h}$ with $0 \leq g < h$ to $M \frac{g+M}{h}$, so is a rotation over $\frac{2 \pi M}{h}$ around $h M$. But, we also have to describe the base-change action with the matrix \[ y = \begin{bmatrix} 1 & 0 \\ n & 1 \end{bmatrix} \] and for this we better use the second description of the lattice as $M \frac{g}{h}=(\frac{g'}{h},\frac{1}{h^2M})$ with $g'$ the multiplicative inverse of $g$ modulo $h$. Under the action by $y$, the second factor $\frac{1}{h^2M}$ will be fixed, so this time we have to look at all lattices of the form $(\frac{g}{h},\frac{1}{h^2M})$ with $0 \leq g < h$, which again can be considered as another set of $h$-th roots of unity, centered at $hM$. Here's this second interpretation for $h=6$: \[ \xymatrix{M \frac{5}{6} \ar@[red]@{-}[d] & & 4M \frac{1}{3} \ar@[red]@{-}[d] & \\ 3M \frac{1}{2} \ar@[blue]@{-}[r] \ar@[red]@{-}[d] & \boxed{6M} \ar@[blue]@{-}[r] \ar@[red]@{-}[d] & 12 M \ar@[red]@{-}[r] \ar@[red]@{-}[d] & 4 M \frac{2}{3} \\ M \frac{1}{6} & 18 M \ar@[blue]@{-}[r] \ar@[blue]@{-}[d] & 36 M & \\ & 9M \frac{1}{2} & & } \] Under $x$ the first set of $h$-th roots of unity centered at $hM$ is permuted, whereas $y$ permutes the second set of $h$-th roots of unity.
These interpretations can be used to spot errors in computing the finite groups $\Gamma_0(n|h)/\Gamma_0(n.h)$.

Here’s part of the calculation of the action of $y$ on the $(360|1)$-snake (which consists of $60$-lattices).

First I got a group of order roughly $600.000$. After correcting some erroneous cycles, the order went down to 6912.

Finally I spotted that I mis-numbered two lattices in the description of $x$ and $y$, and the order went down to $48$ as it should, because I knew it had to be equal to $C_2 \times C_2 \times A_4$.

Comments closed

nc-geometry and moonshine?

Published January 12, 2018 by lieven

A well-known link between Conway’s Big Picture and non-commutative geometry is given by the Bost-Connes system.

This quantum statistical mechanical system encodes the arithmetic properties of cyclotomic extensions of $\mathbb{Q}$.

The corresponding Bost-Connes algebra encodes the action by the power-maps on the roots of unity.

It has generators $e_n$ and $e_n^*$ for every natural number $n$ and additional generators $e(\frac{g}{h})$ for every element in the additive group $\mathbb{Q}/\mathbb{Z}$ (which is of course isomorphic to the multiplicative group of roots of unity).

The defining equations are
\[
\begin{cases}
e_n.e(\frac{g}{h}).e_n^* = \rho_n(e(\frac{g}{h})) \\
e_n^*.e(\frac{g}{h}) = \Psi^n(e(\frac{g}{h}).e_n^* \\
e(\frac{g}{h}).e_n = e_n.\Psi^n(e(\frac{g}{h})) \\
e_n.e_m=e_{nm} \\
e_n^*.e_m^* = e_{nm}^* \\
e_n.e_m^* = e_m^*.e_n~\quad~\text{if $(m,n)=1$}
\end{cases}
\]

Here $\Psi^n$ are the power-maps, that is $\Psi^n(e(\frac{g}{h})) = e(\frac{ng}{h}~mod~1)$, and the maps $\rho_n$ are given by
\[
\rho_n(e(\frac{g}{h})) = \sum e(\frac{i}{j}) \]
where the sum is taken over all $\frac{i}{j} \in \mathbb{Q}/\mathbb{Z}$ such that $n.\frac{i}{j}=\frac{g}{h}$.

Conway’s Big Picture has as its vertices the (equivalence classes of) lattices $M,\frac{g}{h}$ with $M \in \mathbb{Q}_+$ and $\frac{g}{h} \in \mathbb{Q}/\mathbb{Z}$.

The Bost-Connes algebra acts on the vector-space with basis the vertices of the Big Picture. The action is given by:
\[
\begin{cases}
e_n \ast \frac{c}{d},\frac{g}{h} = \frac{nc}{d},\rho^m(\frac{g}{h})~\quad~\text{with $m=(n,d)$} \\
e_n^* \ast \frac{c}{d},\frac{g}{h} = (n,c) \times \frac{c}{nd},\Psi^{\frac{n}{m}}(\frac{g}{h})~\quad~\text{with $m=(n,c)$} \\
e(\frac{a}{b}) \ast \frac{c}{d},\frac{g}{h} = \frac{c}{d},\Psi^c(\frac{a}{b}) \frac{g}{h}
\end{cases}
\]

This connection makes one wonder whether non-commutative geometry can shed a new light on monstrous moonshine?

This question is taken up by Jorge Plazas in his paper Non-commutative geometry of groups like $\Gamma_0(N)$

Plazas shows that the bigger Connes-Marcolli $GL_2$-system also acts on the Big Picture. An intriguing quote:

“Our interest in the $GL_2$-system comes from the fact that its thermodynamic properties encode the arithmetic theory of modular functions to an extend which makes it possible for us to capture aspects of moonshine theory.”

Looks like the right kind of paper to take along when I disappear next week for some time in the French mountains…

Comments closed