Skip to content →

Category: number theory

a monstrous unimodular lattice

An integral $n$-dimensional lattice $L$ is the set of all integral linear combinations
\[
L = \mathbb{Z} \lambda_1 \oplus \dots \oplus \mathbb{Z} \lambda_n \]
of base vectors $\{ \lambda_1,\dots,\lambda_n \}$ of $\mathbb{R}^n$, equipped with the usual (positive definite) inner product, satisfying
\[
(\lambda, \mu ) \in \mathbb{Z} \quad \text{for all $\lambda,\mu \in \mathbb{Z}$.} \]
But then, $L$ is contained in its dual lattice $L^* = Hom_{\mathbb{Z}}(L,\mathbb{Z})$, and if $L = L^*$ we say that $L$ is unimodular.

If all $(\lambda,\lambda) \in 2 \mathbb{Z}$, we say that $L$ is an even lattice. Even unimodular lattices (such as the $E_8$-lattice or the $24$ Niemeier lattices) are wonderful objects, but they can only live in dimensions $n$ which are multiples of $8$.

Just like the Conway group $Co_0 = .0$ is the group of rotations of the Leech lattice $\Lambda$, one might ask whether there is a very special lattice on which the Monster group $\mathbb{M}$ acts faithfully by rotations. If such a lattice exists, it must live in dimension at least $196883$.



Simon Norton (1952-2019) – Photo Credit

A first hint of such a lattice is in Conway’s original paper A simple construction for the Fischer-Griess monster group (but not in the corresponding chapter 29 of SPLAG).

Conway writes that Simon Norton showed ‘by a very simple computations that does not even require knowledge of the conjugacy classes, that any $198883$-dimensional representation of the Monster must support an invariant algebra’, which, after adding an identity element $1$, we now know as the $196884$-dimensional Griess algebra.

Further, on page 529, Conway writes:

Norton has shown that the lattice $L$ spanned by vectors of the form $1,t,t \ast t’$, where $t$ and $t’$ are transposition vectors, is closed under the algebra multiplication and integral with respect to the doubled inner product $2(u,v)$. The dual quotient $L^*/L$ is cyclic of order some power of $4$, and we believe that in fact $L$ is unimodular.

Here, transposition vectors correspond to transpositions in $\mathbb{M}$, that is, elements of conjugacy class $2A$.

I only learned about this lattice yesterday via the MathOverflow-post A lattice with Monster group symmetries by Adam P. Goucher.

In his post, Adam considers the $196883$-dimensional lattice $L’ = L \cap 1^{\perp}$ (which has $\mathbb{M}$ as its rotation symmetry group), and asks for the minimal norm (squared) of a lattice point, which he believes is $448$, and for the number of minimal vectors in the lattice, which might be
\[
2639459181687194563957260000000 = 9723946114200918600 \times 27143910000 \]
the number of oriented arcs in the Monster graph.

Here, the Monster graph has as its vertices the elements of $\mathbb{M}$ in conjugacy class $2A$ (which has $9723946114200918600$ elements) and with an edge between two vertices if their product in $\mathbb{M}$ again belongs to class $2A$, so the valency of the graph must be $27143910000$, as explained in that old post the monster graph and McKay’s observation.

When I asked Adam whether he had more information about his lattice, he kindly informed me that Borcherds told him that the Norton lattice $L$ didn’t turn out to be unimodular after all, but that a unimodular lattice with monstrous symmetry had been constructed by Scott Carnahan in the paper A Self-Dual Integral Form of the Moonshine Module.



Scott Carnahan – Photo Credit

The major steps (or better, the little bit of it I could grasp in this short time) in the construction of this unimodular $196884$-dimensional monstrous lattice might put a smile on your face if you are an affine scheme aficionado.

Already in his paper Vertex algebras, Kac-Moody algebras, and the Monster, Richard Borcherds described an integral form of any lattice vertex algebra. We’ll be interested in the lattice vertex algebra $V_{\Lambda}$ constructed from the Leech lattice $\Lambda$ and call its integral form $(V_{\Lambda})_{\mathbb{Z}}$.

One constructs the Moonshine module $V^{\sharp}$ from $V_{\Lambda}$ by a process called ‘cyclic orbifolding’, a generalisation of the original construction by Frenkel, Lepowsky and Meurman. In fact, there are now no less than 51 constructions of the moonshine module.

One starts with a fixed point free rotation $r_p$ of $\Lambda$ in $Co_0$ of prime order $p \in \{ 2,3,5,7,13 \}$, which one can lift to an automorphism $g_p$ of the vertex algebra $V_{\Lambda}$ of order $p$ giving an isomorphism $V_{\Lambda}/g_p \simeq V^{\sharp}$ of vertex operator algebras over $\mathbb{C}$.

For two distinct primes $p,p’ \in \{ 2,3,5,7,13 \}$ if $Co_0$ has an element of order $p.p’$ one can find one such $r_{pp’}$ such that $r_{pp’}^p=r_{p’}$ and $r_{pp’}^{p’}=r_p$, and one can lift $r_{pp’}$ to an automorphism $g_{pp’}$ of $V_{\Lambda}$ such that $V_{\Lambda}/g_{pp’} \simeq V_{\Lambda}$ as vertex operator algebras over $\mathbb{C}$.

Problem is that these lifts of automorphisms and the isomorphisms are not compatible with the integral form $(V_{\Lambda})_{\mathbb{Z}}$ of $V_{\Lambda}$, but ‘essentially’, they can be performed on
\[
(V_{\Lambda})_{\mathbb{Z}} \otimes_{\mathbb{Z}} \mathbb{Z}[\frac{1}{pp’},\zeta_{2pp’}] \]
where $\zeta_{2pp’}$ is a primitive $2pp’$-th root of unity. These then give a $\mathbb{Z}[\tfrac{1}{pp’},\zeta_{2pp’}]$-form on $V^{\sharp}$.

Next, one uses a lot of subgroup information about $\mathbb{M}$ to prove that these $\mathbb{Z}[\tfrac{1}{pp’},\zeta_{2pp’}]$-forms of $V^{\sharp}$ have $\mathbb{M}$ as their automorphism group.

Then, using all his for different triples in $\{ 2,3,5,7,13 \}$ one can glue and use faithfully flat descent to get an integral form $V^{\sharp}_{\mathbb{Z}}$ of the moonshine module with monstrous symmetry and such that the inner product on $V^{\sharp}_{\mathbb{Z}}$ is positive definite.

Finally, one looks at the weight $2$ subspace of $V^{\sharp}_{\mathbb{Z}}$ which gives us our Carnahan’s $196884$-dimensional unimodular lattice with monstrous symmetry!

Beautiful as this is, I guess it will be a heck of a project to deduce even the simplest of facts about this wonderful lattice from running through this construction.

For example, what is the minimal length of vectors? What is the number of minimal length vectors? And so on. All info you might have is very welcome.

One Comment

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

Complete chaos and Belyi-extenders

A Belyi-extender (or dessinflateur) is a rational function $q(t) = \frac{f(t)}{g(t)} \in \mathbb{Q}(t)$ that defines a map
\[
q : \mathbb{P}^1_{\mathbb{C}} \rightarrow \mathbb{P}^1_{\mathbb{C}} \]
unramified outside $\{ 0,1,\infty \}$, and has the property that $q(\{ 0,1,\infty \}) \subseteq \{ 0,1,\infty \}$.

An example of such a Belyi-extender is the power map $q(t)=t^n$, which is totally ramified in $0$ and $\infty$ and we clearly have that $q(0)=0,~q(1)=1$ and $q(\infty)=\infty$.

The composition of two Belyi-extenders is again an extender, and we get a rather mysterious monoid $\mathcal{E}$ of all Belyi-extenders.

Very little seems to be known about this monoid. Its units form the symmetric group $S_3$ which is the automrphism group of $\mathbb{P}^1_{\mathbb{C}} – \{ 0,1,\infty \}$, and mapping an extender $q$ to its degree gives a monoid map $\mathcal{E} \rightarrow \mathbb{N}_+^{\times}$ to the multiplicative monoid of positive natural numbers.

If one relaxes the condition of $q(t) \in \mathbb{Q}(t)$ to being defined over its algebraic closure $\overline{\mathbb{Q}}$, then such maps/functions have been known for some time under the name of dynamical Belyi-functions, for example in Zvonkin’s Belyi Functions: Examples, Properties, and Applications (section 6).

Here, one is interested in the complex dynamical system of iterations of $q$, that is, the limit-behaviour of the orbits
\[
\{ z,q(z),q^2(z),q^3(z),… \} \]
for all complex numbers $z \in \mathbb{C}$.

In general, the 2-sphere $\mathbb{P}^1_{\mathbb{C}} = S^2$ has a finite number of open sets (the Fatou domains) where the limit behaviour of the series is similar, and the union of these open sets is dense in $S^2$. The complement of the Fatou domains is the Julia set of the function, of which we might expect a nice fractal picture.

Let’s take again the power map $q(t)=t^n$. For a complex number $z$ lying outside the unit disc, the series $\{ z,z^n,z^{2n},… \}$ has limit point $\infty$ and for those lying inside the unit circle, this limit is $0$. So, here we have two Fatou domains (interior and exterior of the unit circle) and the Julia set of the power map is the (boring?) unit circle.

Fortunately, there are indeed dynamical Belyi-maps having a more pleasant looking Julia set, such as this one



But then, many dynamical Belyi-maps (and Belyi-extenders) are systems of an entirely different nature, they are completely chaotic, meaning that their Julia set is the whole $2$-sphere! Nowhere do we find an open region where points share the same limit behaviour… (the butterfly effect).

There’s a nice sufficient condition for chaotic behaviour, due to Dennis Sullivan, which is pretty easy to check for dynamical Belyi-maps.

A periodic point for $q(t)$ is a point $p \in S^2 = \mathbb{P}^1_{\mathbb{C}}$ such that $p = q^m(p)$ for some $m > 1$. A critical point is one such that either $q(p) = \infty$ or $q'(p)=0$.

Sullivan’s result is that $q(t)$ is completely chaotic when all its critical points $p$ become eventually periodic, that is some $q^k(p)$ is periodic, but $p$ itself is not periodic.

For a Belyi-map $q(t)$ the critical points are either comlex numbers mapping to $\infty$ or the inverse images of $0$ or $1$ (that is, the black or white dots in the dessin of $q(t)$) which are not leaf-vertices of the dessin.

Let’s do an example, already used by Sullivan himself:
\[
q(t) = (\frac{t-2}{t})^2 \]
This is a Belyi-function, and in fact a Belyi-extender as it is defined over $\mathbb{Q}$ and we have that $q(0)=\infty$, $q(1)=1$ and $q(\infty)=1$. The corresponding dessin is (inverse images of $\infty$ are marked with an $\ast$)



The critical points $0$ and $2$ are not periodic, but they become eventually periodic:

\[
2 \rightarrow^q 0 \rightarrow^q \infty \rightarrow^q 1 \rightarrow^q 1 \]
and $1$ is periodic.

For a general Belyi-extender $q$, we have that the image under $q$ of any critical point is among $\{ 0,1,\infty \}$ and because we demand that $q(\{ 0,1,\infty \}) \subseteq \{ 0,1,\infty \}$, every critical point of $q$ eventually becomes periodic.

If we want to avoid the corresponding dynamical system to be completely chaotic, we have to ensure that one of the periodic points among $\{ 0,1,\infty \}$ (and there is at least one of those) must be critical.

Let’s consider the very special Belyi-extenders $q$ having the additional property that $q(0)=0$, $q(1)=1$ and $q(\infty)=\infty$, then all three of them are periodic.

So, the system is always completely chaotic unless the black dot at $0$ is not a leaf-vertex of the dessin, or the white dot at $1$ is not a leaf-vertex, or the degree of the region determined by the starred $\infty$ is at least two.

Going back to the mystery Manin-Marcolli sub-monoid of $\mathcal{E}$, it might explain why it is a good idea to restrict to very special Belyi-extenders having associated dessin a $2$-coloured tree, for then the periodic point $\infty$ is critical (the degree of the outside region is at least two), and therefore the conditions of Sullivan’s theorem are not satisfied. So, these Belyi-extenders do not necessarily have to be completely chaotic. (tbc)

Comments closed