4
$\begingroup$

Let $(W,S)$ be a Coxeter system and $\beta$ a positive root in it. Is there a good way to compute a reduced expression for the reflection across the hyperplane with normal $\beta$? References please.

$\endgroup$
8
$\begingroup$

Depending on what you mean by a "good way", maybe there is and maybe there isn't. If you want to do this all in terms of the combinatorics of reduced words, probably the following is the best you can do:

Since $\beta$ is a root, there is an element $w\in W$ and a simple root $\alpha$ such that $\beta=w\alpha$. If $s_\alpha$ is the simple reflection for $\alpha$ and $s_1\cdots s_k$ is a word for $w$, then $s_1\cdots s_k s_\alpha s_k\cdots s_1$ is a word for the reflection for $\beta$. (Call this reflection $t$.) Now, of course you would start with a reduced word for $w$, but even so, there is no guarantee that $s_1\cdots s_k s_\alpha s_k\cdots s_1$ is reduced. You have to just reduce it using some standard technique for reducing words. You do have one nice fact, and that is that you can reduce it while maintaining the palindromic property (i.e. you can do symmetric pairs of braid moves and nil moves).

If you're willing to leave the combinatorics of reduced words and use geometry, then there is a good way to do this computationally. You need to have constructed the usual geometric realization of $(W,S)$ by reflections.

Start with a vector $v$ in the interior of the fundamental chamber and compute the vector $v'=t(v)$. For each simple root $\alpha$, you can check which side of the hyperplane $\alpha^\perp$ the vector $v'$ sits on by pairing $\alpha$ and $v'$ using the symmetric bilinear form that defines your reflection representation, and seeing if you get a positive or negative result. If $v'$ is on the side of $\alpha^\perp$ opposite the fundamental chamber, then apply $s_\alpha$ to $v'$. Repeat with the new vector and continue until the vector is on the same side of $\alpha^\perp$ as the fundamental chamber for all simple roots $\alpha$. If you keep track of the sequence of simple reflections you did, that is a reduced word.

This is very efficient to do computationally (or at least, I suspect it is optimally efficient for the problem). It's super-easy to implement in finite type using Stembridge's coxeter/weyl Maple packages, because he already has the reflection representations for all finite-type Coxeter groups and already has a function "vec2fc" that computes the word as explained in the previous paragraph.

$\endgroup$
  • $\begingroup$ By the way, I should mention that the method described in the next-to-last paragraph will give a reduced word for any element $w$, as long as you know how to describe $w$ as a linear transformation in the reflection representation. Compute $w(v)$ and then follow the procedure described. You have to be careful of which order to write your sequence of simple reflections...one order will give you a reduced word for $w$ and the other will give you a reduced word for $w^{-1}$. For a reflection $t$, of course, it makes no difference. $\endgroup$ – Nathan Reading Aug 6 at 13:58
  • $\begingroup$ If you take the geometric approach but still want to get a pallindromic reduced word, that is easy using Lemma 1.7 of Bonnafé and Dyer's paper "Semidirect product decomposition of Coxeter groups". arxiv.org/pdf/0805.4100.pdf $\endgroup$ – Nathan Reading Aug 6 at 14:10
  • $\begingroup$ Thank you very much. The explanation and the comments are very useful for me. $\endgroup$ – OldBeginner Aug 6 at 20:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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