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 semi-simple Lie group, a semi-simple Lie algebra, a semi-simple 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 non-zero vector v divides the Euclidean space into two half-spaces 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 A2, 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 xi is of order two, and the relations other than xi2 are of the form (xixj)mij. The generators are the reflections given by simple roots, and mij 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, Sn. The action can be realized as follows. If is the Cartan subalgebra of all diagonal matrices with trace zero, then Sn 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) = NG(T) by the centralizer of the torus Z = Z(T) = ZG(T),
The group W is finite – Z is of finite index in N. If T = T0 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 non-zero 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 = T0 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 top-dimensional 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 q-factorial ; 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 non-abelian 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 2-group (); 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 978-3-319-13466-6
- 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 4-6, Elements of Mathematics, Springer, ISBN 978-3-540-42650-9, Zbl 0983.17001
- Björner, Anders; Brenti, Francesco (2005), Combinatorics of Coxeter Groups, Graduate Texts in Mathematics 231, Springer, ISBN 978-3-540-27596-1, 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/s1-10.37.21
- Davis, Michael W. (2007), The Geometry and Topology of Coxeter Groups (PDF), ISBN 978-0-691-13138-2, Zbl 1142.20020
- Grove, Larry C.; Benson, Clark T. (1985), Finite Reflection Groups, Graduate texts in mathematics 99, Springer, ISBN 978-0-387-96082-1
- Hiller, Howard (1982), Geometry of Coxeter groups, Research Notes in Mathematics 54, Pitman, ISBN 978-0-273-08517-1, 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/s2-38.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 978-0-521-43613-7, Zbl 0725.20028
- Ihara, S.; Yokonuma, Takeo (1965), "On the second cohomology groups (Schur-multipliers) 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 978-0-387-98979-2, 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 (Schur-multipliers) 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 978-1-55608-010-4
- Weisstein, Eric W., "Coxeter group", MathWorld.
- Jenn software for visualizing the Cayley graphs of finite Coxeter groups on up to four generators