Bourbaki

Remark

Tag 0APT, permanent. Cite it as [Bourbaki, Tag 0APT].

Lie Groups and Lie Algebras, chapter V, § 2. Reflections

We retain the notation of Prop. 5 and assume in addition that K=RK = \mathbf{R}. Put s=sHs = s_H and s′=sH′s' = s_{H'}. Let HnH_n be the hyperplane H+n.vH + n.v and let CnC_n be the set of points of EE of the form a+ξ.va + \xi.v with a∈Ha \in H and n<ξ<n+1n < \xi < n + 1. The CnC_n are connected open sets forming a partition of E−⋃nHnE - \bigcup_n H_n. They are therefore the chambers defined by the system H=(Hn)n∈Z\mathfrak{H} = (H_n)_{n \in \mathbf{Z}} in EE. The translation (s′s)n(s's)^n transforms the chamber C=C0C = C_0 into the chamber C2nC_{2n}, and since s(C0)=C−1s(C_0) = C_{-1}, we have (s′s)ns(C)=C2n−1(s's)^n s(C) = C_{2n-1}. It follows that the dihedral group W generated by s and s' permutes the chambers Cn simply-transitively*. Moreover, as we shall now show, if the chambers C and w(C) are on opposite sides of H (for w∈Ww \in W), we have l(sw) = l(w) - 1 (the lengths being taken with respect to S={s,s′}S = \{s, s'\} (Chap. IV, § 1, no. 1)). Indeed, we then have w(C)=Cnw(C) = C_n for some n<0n < 0. If n=−2kn = -2k, then w=(ss′)kw = (ss')^k and sw=(s′s)k−1s′sw = (s's)^{k-1}s', so l(w)=2kl(w) = 2k and l(sw)=2k−1l(sw) = 2k - 1 (Chap. IV, § 1, no. 2, Remark). If n=−2k−1n = -2k - 1, then w=(ss′)ksw = (ss')^k s and sw=(s′s)ksw = (s's)^k, so l(w)=2k+1l(w) = 2k + 1 and l(sw)=2kl(sw) = 2k.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.