18
$\begingroup$

The (finite-dimensional) complex simple Lie algebras have been classified by Killing and Cartan a long time ago in the $\mathsf{A}_n,\mathsf{B}_n,\mathsf{C}_n,\mathsf{D}_n$ families and $\mathsf{G}_2,\mathsf{F}_4,\mathsf{E}_6,\mathsf{E}_7,\mathsf{E}_8$ exceptional cases. So the non-crystallographic $\mathsf{H}_3$ and $\mathsf{H}_4$ Coxeter groups (i.e., icosahedral symmetry) do not appear as Weyl groups of such algebras.

On the other hand, there is also no such thing as a field with one element, yet it is interesting to construct something which might play that role. Perhaps more relevantly here, there is no such thing as a tiling of the plane with regular pentagons, but there is something of the sort. And the concept of finite-dimensional simple Lie algebra can be generalized in various ways, e.g., Kac-Moody algebras.

So I've often wanted to ask: is there something which is remotely like the $\mathsf{H}_3$ and $\mathsf{H}_4$ Lie algebras or algebraic groups? They should probably be $33$- and $124$-dimensional respectively, and certainly the golden ratio $\frac{1+\sqrt{5}}{2}$ should play an important role in their definition (posing as an integer).

$\endgroup$
5
  • $\begingroup$ By the way, there is an object in the literature akin to "a field with one element", though it probably doesn't help with your question: arxiv.org/abs/0906.3146 $\endgroup$ Commented Aug 17, 2016 at 17:42
  • 4
    $\begingroup$ Such hypothetical "groups" are often given the name of "Spetses", after a Greek island where a conference took place. $\endgroup$
    – F. C.
    Commented Aug 17, 2016 at 17:43
  • 4
    $\begingroup$ Don't forget dihedral groups, and in particular $H_2$ (a.k.a. $I_2(5)$, a.k.a the symmetries of the pentagon). It seems to me one should understand this case before moving on to $H_3$ and $H_4$. $\endgroup$ Commented Aug 17, 2016 at 20:23
  • $\begingroup$ @F.C. Ah yes, I see that Broué, Halle and Michel wrote a paper in 1999 called "Towards Spetses I", and there is a preprint on the arXiv (1204.5846) that is a sequel to that. This is even more general than I was asking for because, they tackle complex reflection groups in general. But they mention prior work of Lusztig (and Malle) on "exotic Fourier transform" dealing with $I_2(n)$ and $H_3$ and $H_4$ (I'm not sure I understood). $\endgroup$
    – Gro-Tsen
    Commented Aug 17, 2016 at 22:12
  • 2
    $\begingroup$ Yes, what Geordie points out is a reasonable starting point. As Shcherbak observed in his paper, these dihedral non-crystallographic reflection groups (starting with $H_2$) also embed via the folding of Coxeter diagrams into an appropriate symmetric group. For example, $H_2$ has Coxeter number 5 and embeds naturally in the group $S_5$ of Lie type $A_4$. I'm still skeptical about what you ask for, but of course I can't provide a non-existence proof. $\endgroup$ Commented Aug 17, 2016 at 22:19

3 Answers 3

13
$\begingroup$

One potential answer to your question is given by the theory of $p$-compact groups. See

Grodal, The classification of p-compact groups and homotopical group theory. Proc. Intl. Congress of Mathematicians 2010 (Hyderabad, 2010), Volume II, 973–1001.

and the references therein. The notion of a p-compact group is homotopical, and there is a classification in terms of root data over $\mathbb{Z}_p$ (once it has been defined what this means).

In Table 1 of the above paper one can can see a classification of the irreducible $\mathbb{Q}_p$ reflection groups. In particular the dihedral groups (line 2), as well as $H_3$ ("$G_{23}$" in the table) and $H_4$ ("$G_{30}$") all occur, with the later two definable over $\mathbb{Q}_p$ if and only if $p = 1$ or $4$ modulo 5.

$\endgroup$
1
8
$\begingroup$

As far as I know, nobody has proposed candidates for such Lie algebras or algebraic groups. From the viewpoint of Chevalley's old work on structure and classification (over an arbitrary algebraically closed field), it's hard to see what kind of algebraic group would fit.

On the other hand, it's useful to be aware of the natural embeddings of the non-crystallographic finite (real) reflection groups into crystallographic ones (Weyl groups). See for example the notes on page 48 of my 1990 textbook on reflection groups, expanded somewhat in my list of revisions here. The earliest source I know is a 1979 paper (MR) by Sekiguchi and Yano showing how to embed $H_3$ into the Weyl group $D_6$ via a natural "folding" process of Coxeter graphs. In 3.9(b) of a 1983 paper freely available here, Lusztig similarly showed how to embed $H_4$ into $E_8$, justified by an application of his Hecke algebra formalism. A posthumous 1988 paper by Oleg Shcherbak here gives the most comprehensive and elementary account of such embeddings, including even the non-crystallographic dihedral types. (He was a student of V. Arnold in Moscow.)

Note that the folding process here is a somewhat more devious version of the popular foldings in Lie theory which correlate well with fixed point subgroups: for example, $E_6$ folds to $F_4$. In all these foldings, the Coxeter numbers of the finite reflection groups involved coincide. But I don't know any plausible way to extract from the embeddings of non-crystallographic types any associated finite dimensional Lie algebras (or algebraic groups). Maybe look at Kac-Moody theory or such?

$\endgroup$
2
  • 1
    $\begingroup$ Is the Shcherbak paper "Wave fronts and reflection groups" (MR)? $\endgroup$
    – LSpice
    Commented Aug 17, 2016 at 18:16
  • $\begingroup$ @L Spice: Yes, though the translation journal might require library access. I've added a link to the Russian original, which is freely available, as is Lusztig's article. The references are also given in my book. $\endgroup$ Commented Aug 17, 2016 at 19:09
6
$\begingroup$

I will address an "easier question", namely analogues of algebraic groups corresponding to finite dihedral groups $I_2(n)$ of non-crystallographic type. At least in this case, we have candidate groups, but their theory was never developed much.

First of all, Tits had realized in 1950s that semisimple algebraic groups (more precisely, sets of $F$-points of such groups for fields $F$) can be realized as automorphism groups of certain simplicial complexes, called (thick) spherical buildings modeled on Coxeter complexes of finite Coxeter groups $W$. In 1977 Tits proved existence of such buildings for all finite dihedral groups $I_2(n)$. It is known (it might be already in Tits' 1977 work, I forgot) that buildings for $I_2(n)$ constructed by Tits (provided that some care is taken during the construction) have large groups of automorphisms $G$, namely, they are flag-transitive. At the very least, this follows from the work of Tent. In particular, these groups $G$ have structure of BN pairs, etc. However, algebraic nature (in the sense of connection to algebraic geometry and Lie algebras) of groups $G$ remains a mystery. Some circumstantial evidence that such connection exists appears in my paper with Arkady Berenstein (where you can also find references to the relevant work of Tits and of Tent):

A. Berenstein, M. Kapovich, Stability inequalities and universal Schubert calculus of rank 2, Transformation Groups, Vol. 16 (2011) p. 955-1007.

Now, the bad news is that Tits also proved that there are no thick spherical buildings for the Coxeter groups $H_3$ and $H_4$. It is quite possible that one needs to relax spherical building axioms but at this stage it is very much unclear how in order to make a meaningful connection to the group theory.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.