Weyl group
Group theory → Lie groups Lie groups 


In mathematics, in particular the theory of Lie algebras, the Weyl group of a root system Φ is a subgroup of the isometry group of the root system. Specifically, it is the subgroup which is generated by reflections through the hyperplanes orthogonal to the roots, and as such is a finite reflection group. Abstractly, Weyl groups are finite Coxeter groups, and are important examples of these.
The Weyl group of a semisimple Lie group, a semisimple Lie algebra, a semisimple linear algebraic group, etc. is the Weyl group of the root system of that group or algebra.
It is named after Hermann Weyl.
Weyl chambers
Removing the hyperplanes defined by the roots of Φ cuts up Euclidean space into a finite number of open regions, called Weyl chambers. These are permuted by the action of the Weyl group, and it is a theorem that this action is simply transitive.^{[1]} In particular, the number of Weyl chambers equals the order of the Weyl group. Any nonzero vector v divides the Euclidean space into two halfspaces bounding the hyperplane v^{∧} orthogonal to v, namely v^{+} and v^{−}. If v belongs to some Weyl chamber, no root lies in v^{∧}, so every root lies in v^{+} or v^{−}, and if α lies in one then −α lies in the other. Thus Φ^{+} := Φ∩v^{+} consists of exactly half of the roots of Φ. Of course, Φ^{+} depends on v, but it does not change if v stays in the same Weyl chamber. The base of the root system with respect to the choice Φ^{+} is the set of simple roots in Φ^{+}, i.e., roots which cannot be written as a sum of two roots in Φ^{+}. Thus, the Weyl chambers, the set Φ^{+}, and the base determine one another, and the Weyl group acts simply transitively in each case. The following illustration shows the six Weyl chambers of the root system A_{2}, a choice of v, the hyperplane v^{∧} (indicated by a dotted line), and positive roots α, β, and γ. The base in this case is {α,γ}.
Coxeter group structure
Weyl groups are examples of finite reflection groups, as they are generated by reflections; the abstract groups (not considered as subgroups of a linear group) are accordingly finite Coxeter groups, which allows them to be classified by their Coxeter–Dynkin diagram.
Concretely, being a Coxeter group means that a Weyl group has a special kind of presentation in which each generator x_{i} is of order two, and the relations other than x_{i}^{2} are of the form (x_{i}x_{j})^{mij}. The generators are the reflections given by simple roots, and m_{ij} is 2, 3, 4, or 6 depending on whether roots i and j make an angle of 90, 120, 135, or 150 degrees, i.e., whether in the Dynkin diagram they are unconnected, connected by a simple edge, connected by a double edge, or connected by a triple edge.
Weyl groups have a Bruhat order and length function in terms of this presentation: the length of a Weyl group element is the length of the shortest word representing that element in terms of these standard generators. There is a unique longest element of a Coxeter group, which is opposite to the identity in the Bruhat order.
Example
The Weyl group of the Lie algebra is the symmetric group on n elements, S_{n}. The action can be realized as follows. If is the Cartan subalgebra of all diagonal matrices with trace zero, then S_{n} acts on via conjugation by permutation matrices. This action induces an action on the dual space , which is the required Weyl group action.
Definition
The Weyl group can be defined in various ways, depending on context (Lie algebra, Lie group, symmetric space, etc.), and a specific realization depends on a choice – of Cartan subalgebra for a Lie algebra, of maximal torus for a Lie group.^{[2]} The Weyl groups of a Lie group and its corresponding Lie algebra are isomorphic, and indeed a choice of maximal torus gives a choice of Cartan subalgebra.
For a Lie algebra, the Weyl group is the reflection group generated by reflections in the roots – the specific realization of the root system depending on a choice of Cartan subalgebra (maximal abelian).
For a Lie group G satisfying certain conditions,^{[note 1]} given a torus T < G (which need not be maximal), the Weyl group with respect to that torus is defined as the quotient of the normalizer of the torus N = N(T) = N_{G}(T) by the centralizer of the torus Z = Z(T) = Z_{G}(T),
The group W is finite – Z is of finite index in N. If T = T_{0} is a maximal torus (so it equals its own centralizer: ) then the resulting quotient N/Z = N/T is called the Weyl group of G, and denoted W(G). Note that the specific quotient set depends on a choice of maximal torus, but the resulting groups are all isomorphic (by an inner automorphism of G), since maximal tori are conjugate.
If G is compact and connected, then the Weyl group of G is isomorphic to the Weyl group of its Lie algebra.^{[3]}
For example, for the general linear group GL, a maximal torus is the subgroup D of invertible diagonal matrices, whose normalizer is the generalized permutation matrices (matrices in the form of permutation matrices, but with any nonzero numbers in place of the '1's), and whose Weyl group is the symmetric group. In this case the quotient map N → N/T splits (via the permutation matrices), so the normalizer N is a semidirect product of the torus and the Weyl group, and the Weyl group can be expressed as a subgroup of G. In general this is not always the case – the quotient does not always split, the normalizer N is not always the semidirect product of N and Z, and the Weyl group cannot always be realized as a subgroup of G.^{[2]}
Bruhat decomposition
If B is a Borel subgroup of G, i.e., a maximal connected solvable subgroup and a maximal torus T = T_{0} is chosen to lie in B, then we obtain the Bruhat decomposition
which gives rise to the decomposition of the flag variety G/B into Schubert cells (see Grassmannian).
The structure of the Hasse diagram of the group is related geometrically to the cohomology of the manifold (rather, of the real and complex forms of the group), which is constrained by Poincaré duality. Thus algebraic properties of the Weyl group correspond to general topological properties of manifolds. For instance, Poincaré duality gives a pairing between cells in dimension k and in dimension n  k (where n is the dimension of a manifold): the bottom (0) dimensional cell corresponds to the identity element of the Weyl group, and the dual topdimensional cell corresponds to the longest element of a Coxeter group.
Analogy with algebraic groups
There are a number of analogies between algebraic groups and Weyl groups – for instance, the number of elements of the symmetric group is n!, and the number of elements of the general linear group over a finite field is related to the qfactorial ; thus the symmetric group behaves as though it were a linear group over "the field with one element". This is formalized by the field with one element, which considers Weyl groups to be simple algebraic groups over the field with one element.
Cohomology
For a nonabelian connected compact Lie group G, the first group cohomology of the Weyl group W with coefficients in the maximal torus T used to define it,^{[note 2]} is related to the outer automorphism group of the normalizer as:^{[4]}
The outer automorphisms of the group Out(G) are essentially the diagram automorphisms of the Dynkin diagram, while the group cohomology is computed in Hämmerli, Matthey & Suter 2004 and is a finite elementary abelian 2group (); for simple Lie groups it has order 1, 2, or 4. The 0th and 2nd group cohomology are also closely related to the normalizer.^{[4]}
See also
Footnotes
Notes
 ↑ Different conditions are sufficient – most simply if G is connected and either compact, or an affine algebraic group. The definition is simpler for a semisimple (or more generally reductive) Lie group over an algebraically closed field, but a relative Weyl group can be defined for a split Lie group.
 ↑ W acts on T – that is how it is defined – and the group means "with respect to this action".
Citations
 ↑ Hall 2015 Propositions 8.23 and 8.27
 1 2 Popov & Fedenko 2001
 ↑ Hall 2015 Theorem 11.36
 1 2 Hämmerli, Matthey & Suter 2004
References
 Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer, ISBN 9783319134666
 Popov, V.L.; Fedenko, A.S. (2001), "Weyl group", Encyclopaedia of Mathematics, SpringerLink
 Hämmerli, J.F.; Matthey, M.; Suter, U. (2004), "Automorphisms of Normalizers of Maximal Tori and First Cohomology of Weyl Groups" (PDF), Journal of Lie Theory, Heldermann Verlag, 14: 583–617, Zbl 1092.22004
Further reading
 Bourbaki, Nicolas (2002), Lie Groups and Lie Algebras: Chapters 46, Elements of Mathematics, Springer, ISBN 9783540426509, Zbl 0983.17001
 Björner, Anders; Brenti, Francesco (2005), Combinatorics of Coxeter Groups, Graduate Texts in Mathematics, 231, Springer, ISBN 9783540275961, Zbl 1110.05001
 Coxeter, H. S. M. (1934), "Discrete groups generated by reflections", Ann. of Math., 35 (3): 588–621, JSTOR 1968753
 Coxeter, H. S. M. (1935), "The complete enumeration of finite groups of the form ", J. London Math. Soc., 1, 10 (1): 21–25, doi:10.1112/jlms/s110.37.21
 Davis, Michael W. (2007), The Geometry and Topology of Coxeter Groups (PDF), ISBN 9780691131382, Zbl 1142.20020
 Grove, Larry C.; Benson, Clark T. (1985), Finite Reflection Groups, Graduate texts in mathematics, 99, Springer, ISBN 9780387960821
 Hiller, Howard (1982), Geometry of Coxeter groups, Research Notes in Mathematics, 54, Pitman, ISBN 9780273085171, Zbl 0483.57002
 Howlett, Robert B. (1988), "On the Schur Multipliers of Coxeter Groups", J. London Math. Soc., 2, 38 (2): 263–276, doi:10.1112/jlms/s238.2.263, Zbl 0627.20019
 Humphreys, James E. (1992) [1990], Reflection Groups and Coxeter Groups, Cambridge Studies in Advanced Mathematics, 29, Cambridge University Press, ISBN 9780521436137, Zbl 0725.20028
 Ihara, S.; Yokonuma, Takeo (1965), "On the second cohomology groups (Schurmultipliers) of finite reflection groups" (PDF), Jour. Fac. Sci. Univ. Tokyo, Sect. 1, 11: 155–171, Zbl 0136.28802
 Kane, Richard (2001), Reflection Groups and Invariant Theory, CMS Books in Mathematics, Springer, ISBN 9780387989792, Zbl 0986.20038
 Vinberg, E. B. (1984), "Absence of crystallographic groups of reflections in Lobachevski spaces of large dimension", Trudy Moskov. Mat. Obshch., 47
 Yokonuma, Takeo (1965), "On the second cohomology groups (Schurmultipliers) of infinite discrete reflection groups", Jour. Fac. Sci. Univ. Tokyo, Sect. 1, 11: 173–186, Zbl 0136.28803
External links
 Hazewinkel, Michiel, ed. (2001), "Coxeter group", Encyclopedia of Mathematics, Springer, ISBN 9781556080104
 Weisstein, Eric W. "Coxeter group". MathWorld.