×

Boundaries of Coxeter matroids. (English) Zbl 0858.05025

The paper is concerned with geometric properties of Coxeter matroids. A Coxeter matroid, also called WP-matroid, is a subset \(M\) of the set of cosets \(W/P\) of a Coxeter group \(W\) modulo a parabolic subgroup \(P\) such that \(M\) satisfies a certain maximality condition. More precisely, for each \(w\in W\) there is an element \(x\in M\) such that for all \(y\in M\) the element \(w^{-1}y\) precedes or equals \(w^{-1}x\) in the strong Bruhat order. The first main result of the paper provides an equivalent geometric version of this algebraic definition of a Coxeter matroid \(M\). For that \(M\) is interpreted as the set of faces of the generalized permutahedron associated to \(W\). The generalized permutahedron of \(W\) is given as the polytope realizing the cellular complex dual to the simplicial complex cut out by the reflection hyperplanes of \(W\) on the unit sphere \(S^{n-1}\) (here we assume that \(W\) is of rank \(n\) and realized in the canonical way as a group generated by reflections in real \(n\)-space). The second main result shows that the boundary components of \(M\) of a fixed type form a Coxeter matroid as well. This then allows to define a map \(\partial\) on the graded (by the rank of the Coxeter matroid) free \(\mathbb{Z}/2\mathbb{Z}\)-module generated by all Coxeter matroids of a Coxeter group \(W\). The third theorem of the paper then verifies the assertion that \(\partial\) is indeed a differential.
Reviewer: V.Welker (Essen)

MSC:

05B35 Combinatorial aspects of matroids and geometric lattices
20F55 Reflection and Coxeter groups (group-theoretic aspects)
52B40 Matroids in convex geometry (realizations in the context of convex polytopes, convexity in combinatorial structures, etc.)
Full Text: DOI