Return to LaTeX

To most mathematicians, a good LaTeX-frontend (such as TeXShop for Mac-users) is the crucial tool to get the work done. We use it to draft ideas, write papers and courses, or even to take notes during lectures.

However, after six years of blogging, my own LaTeX-routine became rusty. I rarely open a new tex-document, and when I do, I’d rather copy-paste the long preamble from an old file than to start from scratch with a minimal list of packages and definitions needed for the job at hand. The few times I put a paper on the arXiv, the resulting text resembles a blog-post more than a mathematical paper, here’s an example.

As I desperately need to get some math-writing done, I need to pull myself away from the lure of an ever-open WordPress admin browser-screen and reacquaint myself with the far more efficient LaTeX-environment.

Perhaps even my blogging will benefit from the change. Whereas I used to keep on adding to most of my tex-files in order to keep them up-to-date, I rarely edit a blog-post after hitting the ’publish’ button. If I really want to turn some of my better posts into a book, I need them in a format suitable for neverending polishing, without annoying the many RSS-feed aggregators out there.

Who better than Terry Tao to teach me a more proficient way of blogging? A few days ago, Terry announced he will soon have his 5th (!!) book out, after three years of blogging…

How does he manage to do this? Well, as far as I know, Terry blogs in LaTeX and then uses a python-script called LaTeX2WP ’a program that converts a LaTeX file into something that is ready to be cut and pasted into WordPress. This way, you can write, and preview, your post in LaTeX, then run LaTeX2WP, and post into WordPress whatever comes out.’ More importantly, one retains a pure-tex-file of the post on which one can keep on editing to get it into a (book)-publishable form, eventually.

Nice, but one can do even better, as Eric from Curious Reasoning worked out. He suggests to install two useful python-packages : WordPressLib “with this library you can control remotely a WordPress installation. Use of library is very simple, you can write a small scripts or full applications that allows you to automate publishing of articles on your blog/site powered by WordPress” and plasTeX “plasTeX is a LaTeX document processing framework written entirely in Python. It currently comes bundled with an XHTML renderer (including multiple themes), as well as a way to simply dump the document to a generic form of XML”. Installation is easy : download and extract the files somewhere, go there and issue a **sudo python install** to add the packages to your python.

Finally, get Eric’s own wplatex package and install it as explained there. WpLaTeX has all the features of LaTeX2WP and much more : one can add titles, tags and categories automatically and publish the post from the command-line without ever having to enter the taboo WordPress-admin page! Here’s what I’ve written by now in TeXShop

I’ve added the screenshot and the script will know where to find it online for the blog-version as well as on my hard-disk for the tex-version. Very handy is the iftex … fi versus ifblog … fi alternative which allows you to add pure HTML to get the desired effect, when needed. Remains only to go into Terminal and issue the command

wplpost -x ReturnToLatex.tex

(if your blog is on it even suffices to give its name, rather than this work-around for stand-alone wordpress blogs). The script asks for my username and password and will convert the tex-file and post it automatic.

The odd knights of the round table

Here’s a tiny problem illustrating our limited knowledge of finite fields : “Imagine an infinite queue of Knights ${ K_1,K_2,K_3,\ldots } $, waiting to be seated at the unit-circular table. The master of ceremony (that is, you) must give Knights $K_a $ and $K_b $ a place at an odd root of unity, say $\omega_a $ and $\omega_b $, such that the seat at the odd root of unity $\omega_a \times \omega_b $ must be given to the Knight $K_{a \otimes b} $, where $a \otimes b $ is the Nim-multiplication of $a $ and $b $. Which place would you offer to Knight $K_{16} $, or Knight $K_n $, or, if you’re into ordinals, Knight $K_{\omega} $?”

What does this have to do with finite fields? Well, consider the simplest of all finite field $\mathbb{F}_2 = { 0,1 } $ and consider its algebraic closure $\overline{\mathbb{F}_2} $. Last year, we’ve run a series starting here, identifying the field $\overline{\mathbb{F}_2} $, following John H. Conway in ONAG, with the set of all ordinals smaller than $\omega^{\omega^{\omega}} $, given the Nim addition and multiplication. I know that ordinal numbers may be intimidating at first, so let’s just restrict to ordinary natural numbers for now. The Nim-addition of two numbers $n \oplus m $ can be calculated by writing the numbers n and m in binary form and add them without carrying. For example, $9 \oplus 1 = 1001+1 = 1000 = 8 $. Nim-multiplication is slightly more complicated and is best expressed using the so-called Fermat-powers $F_n = 2^{2^n} $. We then demand that $F_n \otimes m = F_n \times m $ whenever $m < F_n $ and $F_n \otimes F_n = \frac{3}{2}F_n $. Distributivity wrt. $\oplus $ can then be used to calculate arbitrary Nim-products. For example, $8 \otimes 3 = (4 \otimes 2) \otimes (2 \oplus 1) = (4 \otimes 3) \oplus (4 \otimes 2) = 12 \oplus 8 = 4 $. Conway’s remarkable result asserts that the ordinal numbers, equipped with Nim addition and multiplication, form an algebraically closed field of characteristic two. The closure $\overline{\mathbb{F}_2} $ is identified with the subfield of all ordinals smaller than $\omega^{\omega^{\omega}} $. For those of you who don’t feel like going transfinite, the subfield $~(\mathbb{N},\oplus,\otimes) $ is identified with the quadratic closure of $\mathbb{F}_2 $.

The connection between $\overline{\mathbb{F}_2} $ and the odd roots of unity has been advocated by Alain Connes in his talk before a general public at the IHES : “L’ange de la géométrie, le diable de l’algèbre et le corps à un élément” (the angel of geometry, the devil of algebra and the field with one element). He describes its content briefly in this YouTube-video

At first it was unclear to me which ‘coupling-problem’ Alain meant, but this has been clarified in his paper together with Caterina Consani Characteristic one, entropy and the absolute point. The non-zero elements of $\overline{\mathbb{F}_2} $ can be identified with the set of all odd roots of unity. For, if x is such a unit, it belongs to a finite subfield of the form $\mathbb{F}_{2^n} $ for some n, and, as the group of units of any finite field is cyclic, x is an element of order $2^n-1 $. Hence, $\mathbb{F}_{2^n}- { 0 } $ can be identified with the set of $2^n-1 $-roots of unity, with $e^{2 \pi i/n} $ corresponding to a generator of the unit-group. So, all elements of $\overline{\mathbb{F}_2} $ correspond to an odd root of unity. The observation that we get indeed all odd roots of unity may take you a couple of seconds (( If m is odd, then (2,m)=1 and so 2 is a unit in the finite cyclic group $~(\mathbb{Z}/m\mathbb{Z})^* $ whence $2^n = 1 (mod~m) $, so the m-roots of unity lie within those of order $2^n-1 $ )).

Assuming we succeed in fixing a one-to-one correspondence between the non-zero elements of $\overline{\mathbb{F}_2} $ and the odd roots of unity $\mu_{odd} $ respecting multiplication, how can we recover the addition on $\overline{\mathbb{F}_2} $? Well, here’s Alain’s coupling function, he ties up an element x of the algebraic closure to the element s(x)=x+1 (and as we are in characteristic two, this is an involution, so also the element tied up to x+1 is s(x+1)=(x+1)+1=x. The clue being that multiplication together with the coupling map s allows us to compute any sum of two elements as $x+y=x \times s(\frac{y}{x}) = x \times (\frac{y}{x}+1) $.
For example, all information about the finite field $\mathbb{F}_{2^4} $ is encoded in this identification with the 15-th roots of unity, together with the pairing s depicted as

Okay, we now have two identifications of the algebraic closure $\overline{\mathbb{F}_2} $ : the smaller ordinals equipped with Nim addition and Nim multiplication and the odd roots of unity with complex-multiplication and the Connes-coupling s. The question we started from asks for a general recipe to identify these two approaches.

To those of you who are convinced that finite fields (LOL, even characteristic two!) are objects far too trivial to bother thinking about : as far as I know, NOBODY knows how to do this explicitly, even restricting the ordinals to merely the natural numbers!

Please feel challenged! To get you started, I’ll show you how to place the first 15 Knights and give you a procedure (though far from explicit) to continue. Here’s the Nim-picture compatible with that above

To verify this, and to illustrate the general strategy, I’d better hand you the Nim-tables of the first 16 numbers. Here they are

It is known that the finite subfields of $~(\mathbb{N},\oplus,\otimes) $ are precisely the sets of numbers smaller than the Fermat-powers $F_n $. So, the first one is all numbers smaller than $F_1=4 $ (check!). The smallest generator of the multiplicative group (of order 3) is 2, so we take this to correspond to the unit-root $e^{2 \pi i/3} $. The next subfield are all numbers smaller than $F_2 = 16 $ and its multiplicative group has order 15. Now, choose the smallest integer k which generates this group, compatible with the condition that $k^{\otimes 5}=2 $. Verify that this number is 4 and that this forces the identification and coupling given above.

The next finite subfield would consist of all natural numbers smaller than $F_3=256 $. Hence, in this field we are looking for the smallest number k generating the multiplicative group of order 255 satisfying the extra condition that $k^{\otimes 17}=4 $ which would fix an identification at that level. Then, the next level would be all numbers smaller than $F_4=65536 $ and again we would like to find the smallest number generating the multiplicative group and such that the appropriate power is equal to the aforementioned k, etc. etc.

Can you give explicit (even inductive) formulae to achieve this? I guess even the problem of placing Knight 16 will give you a couple of hours to think about… (to be continued).

Pollock your own noncommutative space

I really like Matilde Marcolli’s idea to use some of Jackson Pollock’s paintings as metaphors for noncommutative spaces. In her talk she used this painting

and refered to it (as did I in my post) as : Jackson Pollock “Untitled N.3”. Before someone writes a post ‘The Pollock noncommutative space hoax’ (similar to my own post) let me point out that I am well aware of the controversy surrounding this painting.

This painting is among 32 works recently discovered and initially attributed to Pollock.
In fact, I’ve already told part of the story in Doodles worth millions (or not)? (thanks to PD1). The story involves the people on the right : from left to right, Jackson Pollock, his wife Lee Krasner, Mercedes Matter and her son Alex Matter.

Alex Matter, whose father, Herbert, and mother, Mercedes, were artists and friends of Jackson Pollock, discovered after his mother died a group of small drip paintings in a storage locker in Wainscott, N.Y. which he believed to be authentic Pollocks.

Read the post mentioned above if you want to know how mathematics screwed up his plan, or much better, reed the article Anatomy of the Jackson Pollock controversy by Stephen Litt.

So, perhaps the painting above was not the smartest choice, but we could take any other genuine Pollock ‘drip-painting’, a technique he taught himself towards the end of 1946 to make an image by splashing, pouring, sloshing colors onto the canvas. Typically, such a painting consists of blops of paint, connected via thin drip-lines.

What does this have to do with noncommutative geometry? Well, consider the blops as ‘points’. In commutative geometry, distinct points cannot share tangent information ((technically : a commutative semi-local ring splits as the direct sum of local rings and this does no longer hold for a noncommutative semi-local ring)). In the noncommutative world though, they can!, or if you want to phrase it like this, noncommutative points ‘can talk to each other’. And, that’s what we cherish in those drip-lines.

But then, if two points share common tangent informations, they must be awfully close to each other… so one might imagine these Pollock-lines to be strings holding these points together. Hence, it would make more sense to consider the ‘Pollock-quotient-painting’, that is, the space one gets after dividing out the relation ‘connected by drip-lines’ ((my guess is that Matilde thinks of the lines as the action of a group on the points giving a topological horrible quotient space, and thats precisely where noncommutative geometry shines)).

For this reason, my own mental picture of a genuinely noncommutative space ((that is, the variety corresponding to a huge noncommutative algebra such as free algebras, group algebras of arithmetic groups or fundamental groups)) looks more like the picture below

The colored blops you see are really sets of points which you might view as, say, a FacebookGroup ((technically, think of them as the connected components of isomorphism classes of finite dimensional simple representations of your favorite noncommutative algebra)). Some chatter may occur between two distinct FacebookGroups, the more chatter the thicker the connection depicted ((technically, the size of the connection is the dimension of the ext-group between generic simples in the components)). Now, there are some tiny isolated spots (say blue ones in the upper right-hand quadrant). These should really be looked at as remote clusters of noncommutative points (sharing no (tangent) information whatsoever with the blops in the foregound). If we would zoom into them beyond the Planck scale (if I’m allowed to say a bollock-word in a Pollock-post) they might reveal again a whole universe similar to the interconnected blops upfront.

The picture was produced using the fabulous Pollock engine. Just use your mouse to draw and click to change colors in order to produce your very own noncommutative space!

For the mathematicians still around, this may sound like a lot of Pollock-bollocks but can be made precise. See my note Noncommutative geometry and dual coalgebras for a very terse reading. Now that coalgebras are gaining popularity, I really should write a more readable account of it, including some fanshi-wanshi examples…

E(8) from moonshine groups

Are the valencies of the 171 moonshine groups are compatible, that is, can one construct a (disconnected) graph on the 171 vertices such that in every vertex (determined by a moonshine group G) the vertex-valency coincides with the valency of the corresponding group? Duncan describes a subset of 9 moonshine groups for which the valencies are compatible. These 9 groups are characterized as those moonshine groups G
having width 1 at the cusp and such that their intersection with the modular group is big.

Time to wrap up this series on John Duncan‘s paper Arithmetic groups and the affine E8 Dynkin diagram in which he gives a realization of the extended E(8)-Dynkin diagram (together with its isotropic root vector) from the moonshine groups, compatible with McKay’s E(8)-observation.

In the previous post we have described all 171 moonshine groups using Conway’s big picture. This description will allow us to associate two numbers to a moonshine group $G \subset PSL_2(\mathbb{R}) $.
Recall that for any such group we have a positive integer $N $ such that

$\Gamma_0(N) \subset G \subset \Gamma_0(h,\frac{N}{h})+ $

where $h $ is the largest divisor of 24 such that $h^2 | N $. Let us call $n_G=\frac{N}{h} $ the dimension of $G $ (Duncan calls this number the ‘normalized level’) as it will give us the dimension component at the vertex determined by $G $.

We have also seen last time that any moonshine group is of the form $G = \Gamma_0(n_G || h)+e,f,g $, that is, $G/\Gamma_0(n_G ||h) $ is an elementary abelian group $~(\mathbb{Z}/2\mathbb{Z})^m $ generated by Atkin-Lehner involutions. Let’s call $v_G=m+1 $ the valency of the group $G $ as it will give s the valency of the vertex determined by $G $.

It would be nice to know whether the valencies of the 171 moonshine groups are compatible, that is, whether one can construct a (disconnected) graph on the 171 vertices such that in each vertex (determined by a moonshine group $G $) the vertex-valency coincides with the valency of the corresponding group.

Duncan describes a subset of 9 moonshine groups for which the valencies are compatible. These 9 groups are characterized as those moonshine groups $G $
having width 1 at the cusp and such that their intersection with the modular group $\Gamma = PSL_2(\mathbb{Z}) $ is big, more precisely the index $[\Gamma : \Gamma \cap G] \leq 12 $ and $[\Gamma : \Gamma \cap G]/[G : \Gamma \cap G] \leq 3 $.

They can be described using the mini-moonshine picture on the right. They are :

The modular group itself $1=\Gamma $, being the stabilizer of the lattice 1. This group has clearly dimension and valency equal to one.

The modular subgroup $2=\Gamma_0(2) $ being the point-wise stabilizer of the lattices 1 and 2 (so it has valency one and dimension two, and, its normalizer $2+ =\Gamma_0(2)+ $ which is the set-wise stabilizer of the lattices 1 and 2 and the one Atkin-Lehner involution interchanges both. So, this group has valency two (as we added one involution) as well as dimension two.

Likewise, the groups $3+=\Gamma_0(3)+ $ and $5+=\Gamma_0(5)+ $ are the stabilzer subgroups of the red 1-cell (1,3) resp. the green 1-cell (1,5) and hence have valency two (as we add one involution) and dimensions 3 resp. 5.

The group $4+=\Gamma_0(4)+ $ stabilizes the (1|4)-thread and as we add one involution must have valency 2 and dimension 4.

On the other hand, the group $6+=\Gamma_0(6)+ $ stabilizes the unique 2-cell in the picture (having lattices 1,2,3,6) so this time we will add three involutions (horizontal and vertical switches and their product the antipodal involution). Hence, for this group the valency is three and its dimension is equal to six.

Remain the two groups connected to the mini-snakes in the picture. The red mini-snake (top left hand) is the ball with center 3 and hyperdistance 3 and determines the group $3||3=\Gamma_0(3||3) $ which has valency one (we add no involutions) and dimension 3. The blue mini-snake (the extended D(5)-Dynkin in the lower right corner) determines the group $4||2+=\Gamma(4||2)+ $ which has valency two and dimension 4.

The valencies of these 9 moonshine groups are compatible and they can be arranged in the extended E(8) diagram depicted below

Moreover, the dimensions of the groups give the exact dimension-components of the isotropic root of the extended E(8)-diagram. Further, the dimension of the group is equal to the order of the elements making up the conjugacy class of the monster to which exactly the given groups correspond via monstrous moonshine and hence compatible with John McKay‘s original E(8)-observation!

Once again, I would love to hear when someone has more information on the cell-decomposition of the moonshine picture or if someone can extend the moonshine E(8)-graph, possibly to include all 171 moonshine groups.

the monster graph and McKay’s observation

While the verdict on a neolithic Scottish icosahedron is still open, let us recall Kostant’s group-theoretic construction of the icosahedron from its rotation-symmetry group $A_5 $.

The alternating group $A_5 $ has two conjugacy classes of order 5 elements, both consisting of exactly 12 elements. Fix one of these conjugacy classes, say $C $ and construct a graph with vertices the 12 elements of $C $ and an edge between two $u,v \in C $ if and only if the group-product $u.v \in C $ still belongs to the same conjugacy class.

Observe that this relation is symmetric as from $u.v = w \in C $ it follows that $v.u=u^{-1}.u.v.u = u^{-1}.w.u \in C $. The graph obtained is the icosahedron, depicted on the right with vertices written as words in two adjacent elements u and v from $C $, as indicated.

Kostant writes : “Normally it is not a common practice in group theory to consider whether or not the product of two elements in a conjugacy class is again an element in that conjugacy class. However such a consideration here turns out to be quite productive.”

Still, similar constructions have been used in other groups as well, in particular in the study of the largest sporadic group, the monster group $\mathbb{M} $.

There is one important catch. Whereas it is quite trivial to multiply two permutations and verify whether the result is among 12 given ones, for most of us mortals it is impossible to do actual calculations in the monster. So, we’d better have an alternative way to get at the icosahedral graph using only $A_5 $-data that is also available for the monster group, such as its character table.

Let $G $ be any finite group and consider three of its conjugacy classes $C(i),C(j) $ and $C(k) $. For any element $w \in C(k) $ we can compute from the character table of $G $ the number of different products $u.v = w $ such that $u \in C(i) $ and $v \in C(j) $. This number is given by the formula

$\frac{|G|}{|C_G(g_i)||C_G(g_j)|} \sum_{\chi} \frac{\chi(g_i) \chi(g_j) \overline{\chi(g_k)}}{\chi(1)} $

where the sum is taken over all irreducible characters $\chi $ and where $g_i \in C(i),g_j \in C(j) $ and $g_k \in C(k) $. Note also that $|C_G(g)| $ is the number of $G $-elements commuting with $g $ and that this number is the order of $G $ divided by the number of elements in the conjugacy class of $g $.

The character table of $A_5 $ is given on the left : the five columns correspond to the different conjugacy classes of elements of order resp. 1,2,3,5 and 5 and the rows are the character functions of the 5 irreducible representations of dimensions 1,3,3,4 and 5.

Let us fix the 4th conjugacy class, that is 5a, as our class $C $. By the general formula, for a fixed $w \in C $ the number of different products $u.v=w $ with $u,v \in C $ is equal to

$\frac{60}{25}(\frac{1}{1} + \frac{(\frac{1+\sqrt{5}}{2})^3}{3} + \frac{(\frac{1-\sqrt{5}}{2})^3}{3} – \frac{1}{4} + \frac{0}{5}) = \frac{60}{25}(1 + \frac{4}{3} – \frac{1}{4}) = 5 $

Because for each $x \in C $ also its inverse $x^{-1} \in C $, this can be rephrased by saying that there are exactly 5 different products $w^{-1}.u \in C $, or equivalently, that the valency of every vertex $w^{-1} \in C $ in the graph is exactly 5.

That is, our graph has 12 vertices, each with exactly 5 neighbors, and with a bit of extra work one can show it to be the icosahedral graph.

For the monster group, the Atlas tells us that it has exactly 194 irreducible representations (and hence also 194 conjugacy classes). Of these conjugacy classes, the involutions (that is the elements of order 2) are of particular importance.

There are exactly 2 conjugacy classes of involutions, usually denoted 2A and 2B. Involutions in class 2A are called “Fischer-involutions”, after Bernd Fischer, because their centralizer subgroup is an extension of Fischer’s baby Monster sporadic group.

Likewise, involutions in class 2B are usually called “Conway-involutions” because their centralizer subgroup is an extension of the largest Conway sporadic group.

Let us define the monster graph to be the graph having as its vertices the Fischer-involutions and with an edge between two of them $u,v \in 2A $ if and only if their product $u.v $ is again a Fischer-involution.

Because the centralizer subgroup is $2.\mathbb{B} $, the number of vertices is equal to $97239461142009186000 = 2^4 * 3^7 * 5^3 * 7^4 * 11 * 13^2 * 29 * 41 * 59 * 71 $.

From the general result recalled before we have that the valency in all vertices is equal and to determine it we have to use the character table of the monster and the formula. Fortunately GAP provides the function ClassMultiplicationCoefficient to do this without making errors.

gap> table:=CharacterTable("M");
CharacterTable( "M" )
gap> ClassMultiplicationCoefficient(table,2,2,2);

Perhaps noticeable is the fact that the prime decomposition of the valency $27143910000 = 2^4 * 3^4 * 5^4 * 23 * 31 * 47 $ is symmetric in the three smallest and three largest prime factors of the baby monster order.

Robert Griess proved that one can recover the monster group $\mathbb{M} $ from the monster graph as its automorphism group!

As in the case of the icosahedral graph, the number of vertices and their common valency does not determine the monster graph uniquely. To gain more insight, we would like to know more about the sizes of minimal circuits in the graph, the number of such minimal circuits going through a fixed vertex, and so on.

Such an investigation quickly leads to a careful analysis which other elements can be obtained from products $u.v $ of two Fischer involutions $u,v \in 2A $. We are in for a major surprise, first observed by John McKay:

Printing out the number of products of two Fischer-involutions giving an element in the i-th conjugacy class of the monster,
where i runs over all 194 possible classes, we get the following string of numbers :

97239461142009186000, 27143910000, 196560, 920808, 0, 3, 1104, 4, 0, 0, 5, 0,
6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0

That is, the elements of only 9 conjugacy classes can be written as products of two Fischer-involutions! These classes are :

  • 1A = { 1 } written in 97239461142009186000 different ways (after all involutions have order two)
  • 2A, each element of which can be written in exactly 27143910000 different ways (the valency)
  • 2B, each element of which can be written in exactly 196560 different ways. Observe that this is the kissing number of the Leech lattice leading to a permutation representation of $2.Co_1 $.
  • 3A, each element of which can be written in exactly 920808 ways. Note that this number gives a permutation representation of the maximal monster subgroup $3.Fi_{24}’ $.
  • 3C, each element of which can be written in exactly 3 ways.
  • 4A, each element of which can be written in exactly 1104 ways.
  • 4B, each element of which can be written in exactly 4 ways.
  • 5A, each element of which can be written in exactly 5 ways.
  • 6A, each element of which can be written in exactly 6 ways.

Let us forget about the actual numbers for the moment and concentrate on the orders of these 9 conjugacy classes : 1,2,2,3,3,4,4,5,6. These are precisely the components of the fundamental root of the extended Dynkin diagram $\tilde{E_8} $!

This is the content of John McKay’s E(8)-observation : there should be a precise relation between the nodes of the extended Dynkin diagram and these 9 conjugacy classes in such a way that the order of the class corresponds to the component of the fundamental root. More precisely, one conjectures the following correspondence

This is similar to the classical McKay correspondence between finite subgroups of $SU(2) $ and extended Dynkin diagrams (the binary icosahedral group corresponding to extended E(8)). In that correspondence, the nodes of the Dynkin diagram correspond to irreducible representations of the group and the edges are determined by the decompositions of tensor-products with the fundamental 2-dimensional representation.

Here, however, the nodes have to correspond to conjugacy classes (rather than representations) and we have to look for another procedure to arrive at the required edges! An exciting proposal has been put forward recently by John Duncan in his paper Arithmetic groups and the affine E8 Dynkin diagram.

It will take us a couple of posts to get there, but for now, let’s give the gist of it : monstrous moonshine gives a correspondence between conjugacy classes of the monster and certain arithmetic subgroups of $PSL_2(\mathbb{R}) $ commensurable with the modular group $\Gamma = PSL_2(\mathbb{Z}) $. The edges of the extended Dynkin E(8) diagram are then given by the configuration of the arithmetic groups corresponding to the indicated 9 conjugacy classes! (to be continued…)