Hexagonal Moonshine (1)

Over at the Arcadian Functor, Kea is continuing her series of blog posts on M-theory (the M is supposed to mean either Monad or Motif). A recurrent motif in them is the hexagon and now I notice hexagons popping up everywhere. I will explain some of these observations here in detail, hoping that someone, more in tune with recent technology, may have a use for them.

The three string braid group is expected to play a crucial role in understanding monstrous moonshine so we should know more about it, for example about its finite dimensional representations. Now, M geometry is pretty good at classifying finite dimensional representations provided the algebra is “smooth” which imples that for every natural number n the variety of n-dimensional representations of A is a manifold. Unfortunately, the group algebra of the three string braid group is singular as we will see in a moment and the hunt for singularities in low dimensional representation varieties will reveal hexagons.

Emil Artin’s three string braid group has two generators and (corresponding to one crossing of the first (resp. last) two strings) and one defining equation

To make the connection with the modular group, it is better to change the generators to and in which case the defining equation becomes . Therefore, the variety of all n-dimensional representations of consists of all pairs of invertible n by n matrices

which is pretty horrible to work out except for small values of n. For example, when n=1 we get the plane cusp curve and while this curve has a unique singular point at (0,0), this point does not correspond to a one-dimensional representation of . Hence, is the Riemann sphere minus two points and is therefore a manifold. In M-geometry we are not just interested in these representations as points but also in the different ways in which these points can ‘talk to each other’, or more technical, whether these representations can have non-trivial extensions. Recall that an extension of a representation S by a representation S’ is a representation M having S’ as a subrepresentation with quotient-representation S, the trivial extension is the one corresponding to the obvious choice of taking the direct sum of both representations.

Let us work out these extensions for and both one-dimensional representations of . An extension of S by S’ must be two-dimensional and is represented by 2×2 matrices of the form

with . Working out the condition that leads to the set of equation (using the fact that and

This leads to one linear relation between and unless both coefficients are zero. Further, we have to determine when an extension determined by is trivial, that is, isomorphic to . This translates into matrix-terms to the condition whether for the matrices

for some . This leads to the additional equations and .

Summarizing we have that there are NO extensions of S by S’ unless either S=S’ (in which case the isomorphism condition gives no extra condition and hence there is a one-dimensional family of self-extensions of S by itself for every S) or and the two coefficients of the linear relation between and are both zero (in which case there is again a one-dimensional family of extensions of S by S’). The condition on S and S’ for both coefficients to vanish is that

and either or

for a third root of unity. Therefore, each one-dimensional -representation (a point on the Riemann sphere minus ) belongs to a unique clan of six one-dimensional representations, having as the other members the representations

Different clans don’t talk to each other and within a clan the lines of communication (the spaces of extensions) can be depicted by the following hexagonal quiver

Having fully analyzed the one-dimensional situation, let’s turn to and see that it has singularities and hence that is not smooth in M-geometry. The three string braid group has a 2-parameter family of simple 2-dimensional representation, whence the component of the representation variety containing the simples is 5-dimensional. Hence, if this component would be a manifold, the tangent space in every point should be of dimension 5. If M is a semi-simple n-dimensional representation, then the tangent space in M to is known to be of dimension where is the space of self-extensions and is the automorphism group of M.

Apply this to a semi-simple 2-dimenional representation where S and S’ determine an edge of an hexagon in a clan. Then,

which by the above calculations is a 4-dimensional space. Further, S being non-isomorphic to S’ it follows from Schur’s lemma that the automorphism group of M is two-dimensional, totting up to a 6-dimensional tangent space… so M must be a singularity!

In fact, one can show that the points in the irreducible component of two-dimensional representations containing the simples are singular if and only if the representation is semi-simple with the components either a vertex of a hexagon (that is S=S’) or an edge of an hexagon. In this way, the strange hexagonal clans of one-dimensional braid-representations are the source of singularities for .

In another post we will see that the hexagonal pattern also pops up in studying representations of the modular group and the extended modular group . The latter case is pretty interesting as we will encounter a Moebius band made of two hexagons…