In mathematics, the Bruhat order (also called strong order or strong Bruhat order or Chevalley order or Bruhat–Chevalley order or Chevalley–Bruhat order) is a partial order on the elements of a Coxeter group, that corresponds to the inclusion order on Schubert varieties.
Contents
History
The Bruhat order on the Schubert varieties of a flag manifold or Grassmannian was first studied by Ehresmann (1934), and the analogue for more general semisimple algebraic groups was studied by Chevalley (1958). Verma (1968) started the combinatorial study of the Bruhat order on the Weyl group, and introduced the name "Bruhat order" because of the relation to the Bruhat decomposition introduced by François Bruhat.
The left and right weak Bruhat orderings were studied by Björner (1984).
Definition
If (W,S) is a Coxeter system with generators S, then the Bruhat order is a partial order on the group W. Recall that a reduced word for an element w of W is a minimal length expression of w as a product of elements of S, and the length l(w) of w is the length of a reduced word.
(Note that here a substring is not necessarily a consecutive substring.)
For more on the weak orders, see the article weak order of permutations.
Bruhat graph
The Bruhat graph is a directed graph related to the (strong) Bruhat order. The vertex set is the set of elements of the Coxeter group and the edge set consists of directed edges (u, v) whenever u = t v for some reflection t and l(u) < l(v). One may view the graph as an edge-labeled directed graph with edge labels coming from the set of reflections. (One could also define the Bruhat graph using multiplication on the right; as graphs, the resulting objects are isomorphic, but the edge labelings are different.)
The strong Bruhat order on the symmetric group (permutations) has Möbius function given by