Explanation for E_8's torsion - MathOverflow

Explanation for E_8's torsion

2009-11-01T20:06:22Z

To study the topology of Lie groups, you can decompose them into the simple compact ones, plus some additional steps, such as taking the cover if necessary. After that, the structure of $SO(n)$'s is rather straightforward, but the exceptional groups are more interesting.

Any simple compact Lie group, by means of Hopf algebra theory, has the rational homology of a product $$S^a \times S^b \times \dots \times S^z$$ where the numbers are called exponents. Other than that, their cohomology could also have torsion. Now the torsion for all groups is known:

Among classical groups, only 2-torsion is possible and only for $Spin(n)$
Exceptional groups can only have 2 and 3-torsion (most do), with the exception of:
$E_8$ which has 2-, 3-, and 5- torsion.

Well, this is bound to be related to $E_8$'s Coxeter number, which is 30, but are there any hints as to why? My reference would be math-ph/0212067 but it can't relate this to Coxeter number either.

For the reference, exponents are known to be related to Coxeter number, see Kostant, The Principal Three-Dimensional Subgroup and the Betti Numbers of a Complex Simple Lie Group (google search).

Is this an open problem? Maybe yes, but maybe it's been explained, so I'm posting it as it is for now.

Answer by Will Orrick for Explanation for E_8's torsion

2009-11-02T15:28:51Z

I don't know the answer to your question, so the following may simply be a repackaging of the mystery, or may be wholly related, and at any rate, is probably already well-known to you. The numbers 2, 3, 5 remind one of the symmetries of the icosahedron, which is related to E₈ by the McKay correspondence (see http://math.ucr.edu/home/baez//ADE.html). The ADE Dynkin diagrams are related to finite subgroups of SU(2) which include cyclic groups, dihedral groups, and the three exceptional symmetries: tetrahedral, octahedral, and icosahedral.

Answer by B S for Explanation for E_8's torsion

2009-11-02T19:01:06Z

JP Serre, in his june 1999 Bourbaki talk "Sous-groupes finis des groupes de Lie", gives the following two references for torsion in Lie groups

R. STEINBERG - Torsion in reductive groups, Adv. in Math. 15 (1975), 63-92

and

A. BOREL - Sous-groupes commutatifs et torsion des groupes de Lie compacts connexes, T^ohoku Math. J. 13 (1961), 216-240.

Btw, the Bourbaki talk is on Serre's College de France page

http://www.college-de-france.fr/media/ins_pro/UPL61366_Serre_Bourbaki_864.pdf

Hope this helps.

Answer by Pasha Zusmanovich for Explanation for E_8's torsion

2009-11-03T11:14:23Z

To throw in a bit more numerology from another Serre's Bourbaki seminar: Cohomologie galoisienne : progrès et problèmes. Séminaire Bourbaki, 36 (1993-1994), Exposé No. 783, 29 p. [available at numdam]. In \S 2.2 he refers to torsions related to Lie groups in two senses, as far as I understand, the second one is related to group of automorphisms of the completed Dynkin diagram.

Answer by B S for Explanation for E_8's torsion

2009-11-03T15:06:15Z

Sorry, I forgot to mention in my answer that only \S 1.3 in Serre 99 is about torsion in Lie or algebraic groups in zero characteristic (which doesn't prevent him to try embed some finite groups of Lie Type into them !).

PS: didn't found how to append this to your answer to my answer.

Answer by Jason DeVito for Explanation for E_8's torsion

2009-11-13T02:58:23Z

This doesn't directly address your question, but it does give you a way of thinking about torsion in the cohomology of Lie groups in general.

(This is all coming from Borel and Serre's Sur certains sous-groupes des groupes de Lie, which can be found in Commentarii mathematici Helvetici Volume 27, 1953)

As you mentioned above, every compact lie group is rationally a product of odd spheres. But how many odd spheres? Turns out, if G is compact and rank k, then it is rationally a product of k spheres (of various dimensions).

There is an analogous result for torsion. That is, one can define the 2-group of G to be any subgroup which is isomorphic to $(\mathbb{Z}/2\mathbb{Z})^n$ or some n. One defines the 2-rank of a group as the maximal $n$ of any 2-group in G. (On can show that for connected $G$, the 2-rank is bounded by twice the rank, and is thus finite).

Just to point out something that really threw me when I first learned of these - while the rank is an invariant of the algebra (i.e., all Lie groups with the same algebra have the same rank), the 2-rank of a Group is NOT an invariant of the algebra. For example, the 2-rank of SU(2) is 1 (in fact, -Id is the UNIQUE element of SU(2) of order 2), while the 2-rank of SO(3) is 2 (generated by diag(-1,-1,1) and diag(-1,1,-1) ). The 2-rank of O(3) is 3 (generated by diag(-1,1,1), diag(1,-1,1), and diag(1,1,-1) ).

Now, given $T\subseteq G$, the maximal torus, it's clear that simply by taking the maximal 2-group in T, that the 2-rank of G is AT LEAST the rank of G. When is it strictly bigger? Precisely when the group G contains 2-torsion.

The analogous result for p-groups and p-torsion (p any prime) also holds.

In short, to understand the existence of the 5-torsion in $E_{8}$, one need only understand why there is a subgroup isomorphic to $(\mathbb{Z}/5\mathbb{Z})^n\subseteq E_8$ for some $n\geq 9$.

Answer by Jeff Harvey for Explanation for E_8's torsion

2012-12-18T01:27:17Z

Take a look at "Finite H-spaces and Lie Groups" by Frank Adams, particularly the letter from E8 and the appendix which follows it.