0
$\begingroup$

By the answer of the question, the set of reflections of a Coxeter system $(W,S)$ is given by $R = \{ wsw^{-1} : w \in W, s \in S\}$.

Do we have a one to one correspondence between positive roots and reflections in a Coxeter group?

Thank you very much.

$\endgroup$
  • $\begingroup$ Yes, as long as the root system is reduced. See Proposition 1.14 of Humphrey's "Reflection groups and Coxeter groups". $\endgroup$ – LSpice Dec 1 '16 at 14:03
  • 2
    $\begingroup$ This "yes" only applies to finite Coxeter groups, I believe. $\endgroup$ – Christian Stump Dec 1 '16 at 14:35
  • $\begingroup$ @ChristianStump, yes, you are right, although your answer shows that it's true in general. $\endgroup$ – LSpice Dec 7 '16 at 20:15
3
$\begingroup$

I suggest, you really look carefully into the reference "Humphreys, Reflection and Coxeter groups" (link behind paywall), as you again find the answer there. Please look into the reference for details below. In case, you have no access to it, you might be lucky searching for it on the web (you can also drop me a line).

First, one has to define a root system for $W$ (done in Section 5.4) as $\Phi = \{w(\alpha_s) : w \in W, s \in S\}$. Then there is a decomposition $\Phi = \Phi^+ \sqcup -\Phi^+$ with $\Phi^+ = \Phi \cap \mathbb{R}_{\geq 0}\Delta$ for $\Delta = \{\alpha_s : s \in S\}$. And finally, by construction, $R = \{ s_\beta : \beta \in \Phi^+\}$ and this is a bijective correspondence. So the answer to your question is yes.

| cite | improve this answer | |
$\endgroup$
  • 1
    $\begingroup$ Note that the definition of "reflection" here is pretty far from any specific kind of geometry, but within the abstract theory of Coxeter groups it works surprisingly well as a generalization of the usual notion for finite real reflection groups acting on a euclidean space. $\endgroup$ – Jim Humphreys Dec 1 '16 at 18:38

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.