Skip to content →

Tag: Bruhat

Borcherds’ favourite numbers

Whenever I visit someone’s YouTube or Twitter profile page, I hope to see an interesting banner image. Here’s the one from Richard Borcherds’ YouTube Channel.

Not too surprisingly for Borcherds, almost all of these numbers are related to the monster group or its moonshine.

Let’s try to decode them, in no particular order.

196884

John McKay’s observation $196884 = 1 + 196883$ was the start of the whole ‘monstrous moonshine’ industry. Here, $1$ and $196883$ are the dimensions of the two smallest irreducible representations of the monster simple group, and $196884$ is the first non-trivial coefficient in Klein’s j-function in number theory.

$196884$ is also the dimension of the space in which Robert Griess constructed the Monster, following Simon Norton’s lead that there should be an algebra structure on the monster-representation of that dimension. This algebra is now known as the Griess algebra.

Here’s a recent talk by Griess “My life and times with the sporadic simple groups” in which he tells about his construction of the monster (relevant part starting at 1:15:53 into the movie).

1729

1729 is the second (and most famous) taxicab number. A long time ago I did write a post about the classic Ramanujan-Hardy story the taxicab curve (note to self: try to tidy up the layout of some old posts!).

Recently, connections between Ramanujan’s observation and K3-surfaces were discovered. Emory University has an enticing press release about this: Mathematicians find ‘magic key’ to drive Ramanujan’s taxi-cab number. The paper itself is here.

“We’ve found that Ramanujan actually discovered a K3 surface more than 30 years before others started studying K3 surfaces and they were even named. It turns out that Ramanujan’s work anticipated deep structures that have become fundamental objects in arithmetic geometry, number theory and physics.”

Ken Ono

24

There’s no other number like $24$ responsible for the existence of sporadic simple groups.

24 is the length of the binary Golay code, with isomorphism group the sporadic Mathieu group $M_24$ and hence all of the other Mathieu-groups as subgroups.

24 is the dimension of the Leech lattice, with isomorphism group the Conway group $Co_0 = .0$ (dotto), giving us modulo its center the sporadic group $Co_1=.1$ and the other Conway groups $Co_2=.2, Co_3=.3$, and all other sporadics of the second generation in the happy family as subquotients (McL,HS,Suz and $HJ=J_2$)



24 is the central charge of the Monster vertex algebra constructed by Frenkel, Lepowski and Meurman. Most experts believe that the Monster’s reason of existence is that it is the symmetry group of this vertex algebra. John Conway was one among few others hoping for a nicer explanation, as he said in this interview with Alex Ryba.

24 is also an important number in monstrous moonshine, see for example the post the defining property of 24. There’s a lot more to say on this, but I’ll save it for another day.

60

60 is, of course, the order of the smallest non-Abelian simple group, $A_5$, the rotation symmetry group of the icosahedron. $A_5$ is the symmetry group of choice for most viruses but not the Corona-virus.

3264

3264 is the correct solution to Steiner’s conic problem asking for the number of conics in $\mathbb{P}^2_{\mathbb{C}}$ tangent to five given conics in general position.



Steiner himself claimed that there were $7776=6^5$ such conics, but realised later that he was wrong. The correct number was first given by Ernest de Jonquières in 1859, but a rigorous proof had to await the advent of modern intersection theory.

Eisenbud and Harris wrote a book on intersection theory in algebraic geometry, freely available online: 3264 and all that.

248

248 is the dimension of the exceptional simple Lie group $E_8$. $E_8$ is also connected to the monster group.

If you take two Fischer involutions in the monster (elements of conjugacy class 2A) and multiply them, the resulting element surprisingly belongs to one of just 9 conjugacy classes:

1A,2A,2B,3A,3C,4A,4B,5A or 6A

The orders of these elements are exactly the dimensions of the fundamental root for the extended $E_8$ Dynkin diagram.

This is yet another moonshine observation by John McKay and I wrote a couple of posts about it and about Duncan’s solution: the monster graph and McKay’s observation, and $E_8$ from moonshine groups.

163

163 is a remarkable number because of the ‘modular miracle’
\[
e^{\pi \sqrt{163}} = 262537412640768743.99999999999925… \]
This is somewhat related to moonshine, or at least to Klein’s j-function, which by a result of Kronecker’s detects the classnumber of imaginary quadratic fields $\mathbb{Q}(\sqrt{-D})$ and produces integers if the classnumber is one (as is the case for $\mathbb{Q}(\sqrt{-163})$).

The details are in the post the miracle of 163, or in the paper by John Stillwell, Modular Miracles, The American Mathematical Monthly, 108 (2001) 70-76.

Richard Borcherds, the math-vlogger, has an entertaining video about this story: MegaFavNumbers 262537412680768000

His description of the $j$-function (at 4:13 in the movie) is simply hilarious!

Borcherds connects $163$ to the monster moonshine via the $j$-function, but there’s another one.

The monster group has $194$ conjugacy classes and monstrous moonshine assigns a ‘moonshine function’ to each conjugacy class (the $j$-function is assigned to the identity element). However, these $194$ functions are not linearly independent and the space spanned by them has dimension exactly $163$.

One Comment

The Big Picture is non-commutative

Conway’s Big Picture consists of all pairs of rational numbers $M,\frac{g}{h}$ with $M > 0$ and $0 \leq \frac{g}{h} < 1$ with $(g,h)=1$. Recall from last time that $M,\frac{g}{h}$ stands for the lattice
\[
\mathbb{Z} (M \vec{e}_1 + \frac{g}{h} \vec{e}_2) \oplus \mathbb{Z} \vec{e}_2 \subset \mathbb{Q}^2 \]
and we associate to it the rational $2 \times 2$ matrix
\[
\alpha_{M,\frac{g}{h}} = \begin{bmatrix} M & \frac{g}{h} \\ 0 & 1 \end{bmatrix} \]

If $M$ is a natural number we write $M \frac{g}{h}$ and call the corresponding lattice number-like, if $g=0$ we drop the zero and write $M$.

The Big Picture carries a wealth of structures. Today, we will see that it can be factored as the product of Bruhat-Tits buildings for $GL_2(\mathbb{Q}_p)$, over all prime numbers $p$.

Here’s the factor-building for $p=2$, which is a $3$-valent tree:

To see this, define the distance between lattices to be
\[
d(M,\frac{g}{h}~|~N,\frac{i}{j}) = log~Det(q(\alpha_{M,\frac{g}{h}}.\alpha_{N,\frac{i}{j}}^{-1})) \]
where $q$ is the smallest strictly positive rational number such that $q(\alpha_{M,\frac{g}{h}}.\alpha_{N,\frac{i}{j}}^{-1}) \in GL_2(\mathbb{Z})$.

We turn the Big Picture into a (coloured) graph by drawing an edge (of colour $p$, for $p$ a prime number) between any two lattices distanced by $log(p)$.

\[
\xymatrix{M,\frac{g}{h} \ar@[red]@{-}[rr]|p & & N,\frac{i}{j}} \qquad~\text{iff}~\qquad d(M,\frac{g}{h}~|~N,\frac{i}{j})=log(p) \]

The $p$-coloured subgraph is $p+1$-valent.

The $p$-neighbours of the lattice $1 = \mathbb{Z} \vec{e}_1 \oplus \mathbb{Z} \vec{e}_2$ are precisely these $p+1$ lattices:

\[
p \qquad \text{and} \qquad \frac{1}{p},\frac{k}{p} \qquad \text{for} \qquad 0 \leq k < p \] And, multiplying the corresponding matrices with $\alpha_{M,\frac{g}{h}}$ tells us that the $p$-neighbours of $M,\frac{g}{h}$ are then these $p+1$ lattices: \[ pM,\frac{pg}{h}~mod~1 \qquad \text{and} \qquad \frac{M}{p},\frac{1}{p}(\frac{g}{h}+k)~mod~1 \qquad \text{for} \qquad 0 \leq k < p \] Here's part of the $2$-coloured neighbourhood of $1$

To check that the $p$-coloured subgraph is indeed the Bruhat-Tits building of $GL_2(\mathbb{Q}_p)$ it remains to see that it is a tree.

For this it is best to introduce $p+1$ operators on lattices

\[
p \ast \qquad \text{and} \qquad \frac{k}{p} \ast \qquad \text{for} \qquad 0 \leq k < p \] defined by left-multiplying $\alpha_{M,\frac{g}{h}}$ by the matrices \[ \begin{bmatrix} p & 0 \\ 0 & 1 \end{bmatrix} \qquad \text{and} \qquad \begin{bmatrix} \frac{1}{p} & \frac{k}{p} \\ 0 & 1 \end{bmatrix} \qquad \text{for} \qquad 0 \leq k < p \] The lattice $p \ast M,\frac{g}{h}$ lies closer to $1$ than $M,\frac{g}{h}$ (unless $M,\frac{g}{h}=M$ is a number) whereas the lattices $\frac{k}{p} \ast M,\frac{g}{h}$ lie further, so it suffices to show that the $p$ operators \[ \frac{0}{p} \ast,~\frac{1}{p} \ast,~\dots~,\frac{p-1}{p} \ast \] form a free non-commutative monoid.
This follows from the fact that the operator
\[
(\frac{k_n}{p} \ast) \circ \dots \circ (\frac{k_2}{p} \ast) \circ (\frac{k_1}{p} \ast) \]
is given by left-multiplication with the matrix
\[
\begin{bmatrix} \frac{1}{p^n} & \frac{k_1}{p^n}+\frac{k_2}{p^{n-1}}+\dots+\frac{k_n}{p} \\ 0 & 1 \end{bmatrix} \]
which determines the order in which the $k_i$ occur.

A lattice at distance $n log(p)$ from $1$ can be uniquely written as
\[
(\frac{k_{n-l}}{p} \ast) \circ \dots \circ (\frac{k_{l+1}}{p} \ast) \circ (p^l \ast) 1 \]
which gives us the unique path to it from $1$.

The Big Picture itself is then the product of these Bruhat-Tits trees over all prime numbers $p$. Decomposing the distance from $M,\frac{g}{h}$ to $1$ as
\[
d(M,\frac{g}{h}~|~1) = n_1 log(p_1) + \dots + n_k log(p_k) \]
will then allow us to find minimal paths from $1$ to $M,\frac{g}{h}$.

But we should be careful in drawing $2$-dimensional cells (or higher dimensional ones) in this ‘product’ of trees as the operators
\[
\frac{k}{p} \ast \qquad \text{and} \qquad \frac{l}{q} \ast \]
for different primes $p$ and $q$ do not commute, in general. The composition
\[
(\frac{k}{p} \ast) \circ (\frac{l}{q} \ast) \qquad \text{with matrix} \qquad \begin{bmatrix} \frac{1}{pq} & \frac{kq+l}{pq} \\ 0 & 1 \end{bmatrix} \]
has as numerator in the upper-right corner $0 \leq kq + l < pq$ and this number can be uniquely(!) written as \[ kq+l = up+v \qquad \text{with} \qquad 0 \leq u < q,~0 \leq v < p \] That is, there are unique operators $\frac{u}{q} \ast$ and $\frac{v}{p} \ast$ such that \[ (\frac{k}{p} \ast) \circ (\frac{l}{q} \ast) = (\frac{u}{q} \ast) \circ (\frac{v}{p} \ast) \] which determine the $2$-cells \[ \xymatrix{ \bullet \ar@[blue]@{-}[rr]^{\frac{u}{q} \ast} \ar@[red]@{-}[dd]_{\frac{v}{p} \ast} & & \bullet \ar@[red]@{-}[dd]^{\frac{k}{p} \ast} \\ & & \\ \bullet \ar@[blue]@{-}[rr]_{\frac{l}{q} \ast} & & \bullet} \] These give us the commutation relations between the free monoids of operators corresponding to different primes.
For the primes $2$ and $3$, relevant in the description of the Moonshine Picture, the commutation relations are

\[
(\frac{0}{2} \ast) \circ (\frac{0}{3} \ast) = (\frac{0}{3} \ast) \circ (\frac{0}{2} \ast), \quad
(\frac{0}{2} \ast) \circ (\frac{1}{3} \ast) = (\frac{0}{3} \ast) \circ (\frac{1}{2} \ast),
\quad
(\frac{0}{2} \ast) \circ (\frac{2}{3} \ast) = (\frac{1}{3} \ast) \circ (\frac{0}{2} \ast) \]

\[
(\frac{1}{2} \ast) \circ (\frac{0}{3} \ast) = (\frac{1}{3} \ast) \circ (\frac{1}{2} \ast), \quad
(\frac{1}{2} \ast) \circ (\frac{1}{3} \ast) = (\frac{2}{3} \ast) \circ (\frac{0}{2} \ast),
\quad
(\frac{1}{2} \ast) \circ (\frac{2}{3} \ast) = (\frac{2}{3} \ast) \circ (\frac{1}{2} \ast) \]

Leave a Comment