18
$\begingroup$

What is a reduced expression of the longest element of each type of Weyl group. For type $A_n$ it is just $s_n(s_ns_{n-1})...(s_n...s_1)$. I know for type $B_n,C_n,E_7,E_8$,$G_2$ and $D_n$ (n even) it is just $-id$, although I don't have an explicit reduced expression for them. For type $D_n$ (n odd) and type $E_6$ I don't know what are the longest elements. Any reference where it is written explicitly?

$\endgroup$
3
  • 1
    $\begingroup$ Just for the action of the longest element on the root system, it will always act as $-\sigma$ for a diagram automorphism $\sigma$. $\sigma$ always has order 2, and in types $A_n, E_6$ and $D_n$ for $n$ odd it is the unique non-trivial such diagram automorphism. $\endgroup$ Feb 10, 2011 at 20:31
  • 4
    $\begingroup$ Take a look at arxiv.org/pdf/1108.1048v2.pdf table 1. $\endgroup$
    – B. Bischof
    Apr 17, 2012 at 16:44
  • $\begingroup$ Note that there is typo in the given longest element for $A_n$ (the two $s_n$ at the beginning cancel each other). $\endgroup$
    – Antoine
    Aug 17, 2020 at 10:45

4 Answers 4

22
$\begingroup$

2-color your Dynkin diagram, black and white. Let $w$ be the product of the white simple reflections, $b$ the product of the black. Note that $w$ and $b$ are well-defined, as the reflections you're multiplying to make them, commute. You'll have to pick the order if you want an actual word, in what follows.

If $G$ is not $A_{even}$: the affinization of the diagram is also 2-colorable, so you can choose the affine vertex to be white. Let $\chi = w b$, a Coxeter element. The Coxeter number $h$ is even, and $\chi^{h/2} = w_0$. So you get a reduced word $wbwbwb\ldots wb$, where the total number of letters is $h$ (and each letter is a product of commuting reflections).

If $G$ is, unfortunately, $A_{even}$: you have to pick $w$ vs. $b$, and the diagram automorphism shows that the choice is unavoidable. The Coxeter number is odd. But you still get a reduced word, $wbwb\ldots bw$, again with $h$ letters.

$\endgroup$
0
15
$\begingroup$

EDIT: This is a belated attempt (motivated by a question from Yongjun Xu) to answer the question more precisely than I did at first, with more emphasis on careful choice of a Coxeter element when the Coxeter number $h$ is even (as happens for all irreducible Weyl groups except those of type $A_\ell$ with $\ell$ even). As Allen points out, for even type $A$ the algorithm needs to be modified somewhat.

I think the best conceptual approach (leaving even type $A$ aside) is based on the Coxeter element, treated in detail in Bourbaki's Chapter V and later in Chapter 3 of my 1990 book Reflection Groups and Coxeter Groups. My exercise 2 at the end of 3.19 deals with the longest element explicitly, but requires a special choice of the Coxeter element $w$ as in the treatment of the Coxeter plane in 3.17: here you start by dividing the simple reflections into two sets, each consisting of mutually orthogonal reflections. For instance, with the usual numbering in type $A_3$ you can take $w = s_1 s_3 s_2$ but not $w =s_1 s_2 s_3$ (whose square is non-reduced). Then you automatically get a reduced expression $w_\circ = w^{h/2}$ for the longest element.

Bourbaki discusses all of this in section 6.2: see Proposition 2, where it is understood that $W$ is irreducible and the Coxeter element (denoted $c$) has the special format fixed earlier in the section. (The wording of my exercise was corrected a long time ago in the list of revisions which I keep on my homepage, but my original answer here overlooked that correction. After the 1992 reprinting of my book, publishers began using print-on-demand technology involving photocopies, so no further corrections can be made.)

As in Bourbaki's Chapter V, the treatment actually involves arbitrary irreducible finite reflection groups, not just Weyl groups. Besides even rank $A_\ell$, the dihedral groups of order $2m$ with $m$ odd have to be omitted because their Coxeter numbers $m$ are odd.

P.S. Although the question is old by now, I've recently put together some notes here with references that probably cover the theoretical ground (though not all the computational possibilities).

$\endgroup$
3
$\begingroup$

A good reference to try is Bourbaki "Lie groups and Lie Algebras, Chapters 4-6" Look at the plates at the end of the book, which contain all kinds of useful information about each one of the types.

$\endgroup$
1
  • 6
    $\begingroup$ But, alas, not reduced expressions for the longest elements :) $\endgroup$ Feb 9, 2011 at 22:57
1
$\begingroup$

You can get some reduced expressions using LiE: http://www-math.univ-poitiers.fr/~maavl/LiE/

via the command long_word(Xn) where Xn is the Dynkin diagram.

$\endgroup$
1
  • 1
    $\begingroup$ There are lots of reduced expressions, which combinatorists have studied. John Stembridge has also developed good software for such explorations. $\endgroup$ Feb 9, 2011 at 23:11

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.