arXiv++ Combinatorics

For any Coxeter system $(W,S)$ of rank $n$, we introduce an abstract boolean complex (simplicial poset) of dimension $2n-1$ that contains the Coxeter complex as a relative subcomplex. Faces are indexed by triples $(I,w,J)$, where $I$ and $J$ are subsets of the set $S$ of simple generators, and $w$ is a minimal length representative for the parabolic double coset $W_I w W_J$. There is exactly one maximal face for each element of the group $W$. The complex is shellable and thin, which implies the complex is a sphere for the finite Coxeter groups. In this case, a natural refinement of the $h$-polynomial is given by the "two-sided" $W$-Eulerian polynomial, i.e., the generating function for the joint distribution of left and right descents in $W$.

We consider zigzags in thin complexes. The main result states that the sum of the lengths of all zigzags in an $n$-complexe is equal to the sum of the lengths of all zigzags in all $(n-1)$-faces of this complex, and this sum also is the twice of the sum of the lengths of all zigzags in all $(n-2)$-faces. For simplicial and cubical $n$-complexes, the sum depends on the rank $n$ and the number of $(n-1)$-faces only. We also describe the sum of the lengths of all generalized zigzags, it depends on the rank and the number of flags. As an application, we find the number of zigzags in Coxeter complexes.

Zigzags and generalized zigzags in thin chamber complexes are investigated, in particular, all zigzags in the Coxeter complexes are described. Using this description, we show that the lengths of all generalized zigzags in the simplex $α_{n}$, the cross-polytope $β_{n}$, the $24$-cell, the icosahedron and the $600$-cell are equal to the Coxeter numbers of $A_{n}$, $B_{n}=C_{n}$, $F_{4}$ and $H_{i}$, $i=3,4$, respectively. Also, we discuss the following problem: in which cases two faces in a thin chamber complex can be connected by a zigzag?

Associated to each irreducible crystallographic root system $Φ$, there is a certain cell complex structure on the torus obtained as the quotient of the ambient space by the coroot lattice of $Φ$. This is the Steinberg torus. A main goal of this paper is to exhibit a module structure on (the set of faces of) this complex over the (set of faces of the) Coxeter complex of $Φ$. The latter is a monoid under the Tits product of faces. The module structure is obtained from geometric considerations involving affine hyperplane arrangements. As a consequence, a module structure is obtained on the space spanned by affine descent classes of a Weyl group, over the space spanned by ordinary descent classes. The latter constitute a subalgebra of the group algebra, the classical descent algebra of Solomon. We provide combinatorial models for the module of faces when $Φ$ is of type $A$ or $C$.

In the recent study of infinite root systems, fractal patterns of ball packings were observed while visualizing roots in affine space. In this paper, we show that the observed fractals are exactly the ball packings described by Boyd and Maxwell. This correspondence is a corollary of a more fundamental result: Given a geometric representation of a Coxeter group in a Lorentz space, the set of limit directions of weights equals the set of limit roots. Additionally, we use Coxeter complexes to describe tangency graphs of the corresponding Boyd--Maxwell ball packings. Finally, we enumerate all the Coxeter systems that generate Boyd-Maxwell ball packings.

In this paper we consider the gamma-vectors of the types A and B Coxeter complexes as well as the gamma-vectors of the types A and B associahedrons. We show that these gamma-vectors can be obtained by using derivative polynomials of the tangent and secant functions. A grammatical description for these gamma-vectors is discussed. Moreover, we also present a grammatical description for the well known Legendre polynomials and Chebyshev polynomials of both kinds.

We extend properties of the weak order on finite Coxeter groups to Weyl groupoids admitting a finite root system. In particular, we determine the topological structure of intervals with respect to weak order, and show that the set of morphisms with fixed target object forms an ortho-complemented meet semilattice. We define the Coxeter complex of a Weyl groupoid with finite root system and show that it coincides with the triangulation of a sphere cut out by a simplicial hyperplane arrangement. As a consequence, one obtains an algebraic interpretation of many hyperplane arrangements that are not reflection arrangements.

We present examples of flag homology spheres whose $γ$-vectors satisfy the Kruskal-Katona inequalities. This includes several families of well-studied simplicial complexes, including Coxeter complexes and the simplicial complexes dual to the associahedron and to the cyclohedron. In these cases, we construct explicit simplicial complexes whose $f$-vectors are the $γ$-vectors in question. In another direction, we show that if a flag $(d-1)$-sphere has at most $2d+2$ vertices its $γ$-vector satisfies the Kruskal-Katona inequalities. We conjecture that if $Δ$ is a flag homology sphere then $γ(Δ)$ satisfies the Kruskal-Katona inequalities. This conjecture is a significant refinement of Gal's conjecture, which asserts that such $γ$-vectors are nonnegative.

Let Δbe a finite building (or, more generally, a thick spherical and locally finite building). The chamber graph G(Δ), whose edges are the pairs of adjacent chambers in Δ, is known to be q-regular for a certain number q=q(Δ). Our main result is that G(Δ) is q-connected in the sense of graph theory. Similar results are proved for the chamber graphs of Coxeter complexes and for order complexes of geometric lattices.

We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which specialize to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising $q$-analog of a classical formula of Euler for the exponential generating function of the Eulerian polynomials. This $q$-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain $q$-analogs, $(q,p)$-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts including MacMahon's study of multiset derangements, work of Procesi and Stanley on toric varieties of Coxeter complexes, Stanley's work on chromatic symmetric functions, and the work of the authors on the homology of a certain poset introduced by Björner and Welker.

We develop the homology theory of the algebra of a regular semigroup, which is a particularly nice case of a quasi-hereditary algebra in good characteristic. Directedness is characterized for these algebras, generalizing the case of semisimple algebras studied by Munn and Ponizovksy. We then apply homological methods to compute (modulo group theory) the quiver of a right regular band of groups, generalizing Saliola's results for a right regular band. Right regular bands of groups come up in the representation theory of wreath products with symmetric groups in much the same way that right regular bands appear in the representation theory of finite Coxeter groups via the Solomon-Tits algebra of its Coxeter complex. In particular, we compute the quiver of Hsiao's algebra, which is related to the Mantaci-Reutenauer descent algebra.

In their work on `Coxeter-like complexes', Babson and Reiner introduced a simplicial complex $Δ_T$ associated to each tree $T$ on $n$ nodes, generalizing chessboard complexes and type A Coxeter complexes. They conjectured that $Δ_T$ is $(n-b-1)$-connected when the tree has $b$ leaves. We provide a shelling for the $(n-b)$-skeleton of $Δ_T$, thereby proving this conjecture. In the process, we introduce notions of weak order and inversion functions on the labellings of a tree $T$ which imply shellability of $Δ_T$, and we construct such inversion functions for a large enough class of trees to deduce the aforementioned conjecture and also recover the shellability of chessboard complexes $M_{m,n}$ with $n \ge 2m-1$. We also prove that the existence or nonexistence of an inversion function for a fixed tree governs which networks with a tree structure admit greedy sorting algorithms by inversion elimination and provide an inversion function for trees where each vertex has capacity at least its degree minus one.

We show that, if a building is endowed with its complete system of apartments, and if each panel is contained in at least four chambers, then the intersection of two apartments can be any convex subcomplex contained in an apartment. This combinatorial result is particularly interesting for lower dimensional convex subcomplexes of apartments, where we definitely need the assumption on the four chambers per panel in the building. The corresponding statement is not true anymore for arbitrary systems of apartments, and counter-examples for infinite convex subcomplexes exist for any type of buildings. However, when we restrict to finite convex subcomplexes, the above remains true for arbitrary systems of apartments if and only if every finite subset of chambers of the standard Coxeter complex is contained in the convex hull of two chambers.

We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which have the property of specializing to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising $q$-analog of a classical formula for the exponential generating function of the Eulerian polynomials. This $q$-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain $q$-analogs, $(q,p)$-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts such as in MacMahon's study of multiset derangements, in work of Procesi and Stanley on toric varieties of Coxeter complexes and in Stanley's work on symmetric chromatic polynomials. Here we present yet another occurence in connection with the homology of a poset introduced by Björner and Welker.

Let $W\ltimes L$ be an irreducible affine Weyl group with Coxeter complex $Σ$, where $W$ denotes the associated finite Weyl group and $L$ the translation subgroup. The Steinberg torus is the Boolean cell complex obtained by taking the quotient of $Σ$ by the lattice $L$. We show that the ordinary and flag $h$-polynomials of the Steinberg torus (with the empty face deleted) are generating functions over $W$ for a descent-like statistic first studied by Cellini. We also show that the ordinary $h$-polynomial has a nonnegative $γ$-vector, and hence, symmetric and unimodal coefficients. In the classical cases, we also provide expansions, identities, and generating functions for the $h$-polynomials of Steinberg tori.

In this research announcement we present a new q-analog of a classical formula for the exponential generating function of the Eulerian polynomials. The Eulerian polynomials enumerate permutations according to their number of descents or their number of excedances. Our q-Eulerian polynomials are the enumerators for the joint distribution of the excedance statistic and the major index. There is a vast literature on q-Eulerian polynomials which involve other combinations of Mahonian and Eulerian permutation statistics, but the combination of major index and excedance number seems to have been completely overlooked until now. We use symmetric function theory to prove our formula. In particular, we prove a symmetric function version of our formula, which involves an intriguing new class of symmetric functions. We also present connections with representations of the symmetric group on the homology of a poset recently introduced by Björner and Welker and on the cohomology of the toric variety associated with the Coxeter complex of the symmetric group, studied by Procesi, Stanley, Stembridge, Dolgachev and Lunts.

The open intervals in the Bruhat order on twisted involutions in a Coxeter group are shown to be PL spheres. This implies results conjectured by F. Incitti and sharpens the known fact that these posets are Gorenstein* over Z_2. We also introduce a Boolean cell complex which is an analogue for twisted involutions of the Coxeter complex. Several classical Coxeter complex properties are shared by our complex. When the group is finite, it is a shellable sphere, shelling orders being given by the linear extensions of the weak order on twisted involutions. Furthermore, the h-polynomial of the complex coincides with the polynomial counting twisted involutions by descents. In particular, this gives a type independent proof that the latter is symmetric.

Given a graph G, we construct a simple, convex polytope whose face poset is based on the connected subgraphs of G. This provides a natural generalization of the Stasheff associahedron and the Bott-Taubes cyclohedron. Moreover, we show that for any simplicial Coxeter system, the minimal blow-ups of its associated Coxeter complex has a tiling by graph-associahedra. The geometric and combinatorial properties of the complex as well as of the polyhedra are given. These spaces are natural generalizations of the Deligne-Knudsen-Mumford compactification of the real moduli space of curves.

We give an interpretation of the path model of a representation \cite{Lit1} of a complex semisimple algebraic group $G$ in terms of the geometry of its affine Grassmannian. In this setting, the paths are replaced by LS--galleries in the affine Coxeter complex associated to the Weyl group of $G$. To explain the connection with geometry, consider a Demazure--Hansen--Bott--Samelson desingularization $\hatΣ(\lam)$ of the closure of an orbit $G(\bc[[t]]).\lam$ in the affine Grassmannian. The homology of $\hatΣ(\lam)$ has a basis given by Białynicki--Birula cell's, which are indexed by the $T$--fixed points in $\hatΣ(\lam)$. Now the points of $\hatΣ(\lam)$ can be identified with galleries of a fixed type in the affine Tits building associated to $G$, and the $T$--fixed points correspond in this language to combinatorial galleries of a fixed type in the affine Coxeter complex. We determine those galleries such that the associated cell has a non-empty intersection with $G(\bc[[t]]).\lam$ (identified with an open subset of $\hatΣ(\lam)$), and we show that the closures of the strata associated to LS-galleries are exactly the MV--cycles \cite{MV}, which form a basis of the representation $V(\lam)$ for the Langland's dual group $G^\vee$.