arXiv++ Combinatorics

In this paper, we study $k$-parabolic arrangements, a generalization of the $k$-equal arrangement for any finite real reflection group. When $k=2$, these arrangements correspond to the well-studied Coxeter arrangements. We construct a cell complex $Perm_k(W)$ that is homotopy equivalent to the complement. We then apply discrete Morse theory to obtain a minimal cell complex for the complement. As a result, we give combinatorial interpretations for the Betti numbers, and show that the homology groups are torsion free. We also study a generalization of the Independence Complex of a graph, and show that this generalization is shellable when the graph is a forest. This result is used in studying $Perm_k(W)$ using discrete Morse theory.

Let Q be a Dynkin quiver. The bounded derived category of the path algebra of Q has an autoequivalence given by the composition of the Auslander-Reiten translate and the square of the shift functor. We study maximal Hom-free sets in the corresponding orbit category C(Q). We prove that these sets are in bijection with periodic combinatorial configurations, as introduced by Riedtmann, certain Hom<=0-configurations, studied by Buan, Reiten and Thomas, and noncrossing partitions of the Coxeter group associated to Q which are not contained in any proper standard parabolic subgroup. Note that Reading has proved that these noncrossing partitions are in bijection with positive clusters in the associated cluster algebra. Finally, we give a definition of mutations of maximal Hom-free sets in C(Q) and prove that the graph of these mutations is connected.

For any finite Coxeter group W, we introduce two new objects: its cutting poset and its biHecke monoid. The cutting poset, constructed using a generalization of the notion of blocks in permutation matrices, almost forms a lattice on W. The construction of the biHecke monoid relies on the usual combinatorial model for the 0-Hecke algebra H_0(W), that is, for the symmetric group, the algebra (or monoid) generated by the elementary bubble sort operators. The authors previously introduced the Hecke group algebra, constructed as the algebra generated simultaneously by the bubble sort and antisort operators, and described its representation theory. In this paper, we consider instead the monoid generated by these operators. We prove that it admits |W| simple and projective modules. In order to construct the simple modules, we introduce for each w in W a combinatorial module T_w whose support is the interval [1,w]_R in right weak order. This module yields an algebra, whose representation theory generalizes that of the Hecke group algebra, with the combinatorics of descents replaced by that of blocks and of the cutting poset.

The purpose of this article is to shed new light on the combinatorial structure of Kazhdan-Lusztig cells in infinite Coxeter groups $W$. Our main focus is the set $\D$ of distinguished involutions in $W$, which was introduced by Lusztig in one of his first papers on cells in affine Weyl groups. We conjecture that the set $\D$ has a simple recursive structure and can be enumerated algorithmically starting from the distinguished involutions of finite Coxeter groups. Moreover, to each element of $\D$ we assign an explicitly defined set of equivalence relations on $W$ that altogether conjecturally determine the partition of $W$ into left (right) cells. We are able to prove these conjectures only in a special case, but even from these partial results we can deduce some interesting corollaries.

We present a simple formula for the expected number of inversions in a permutation of size $n$ obtained by applying $t$ random (not necessarily adjacent) transpositions to the identity permutation. More general, for any finite irreducible Coxeter group belonging to one of the infinite families (type A, B, D, and I), an exact expression is obtained for the expected length of a product of $t$ random reflections.

Using the classification of finite Weyl groupoids we prove that crystallographic arrangements, a large subclass of the class of simplicial arrangements which was recently defined, are hereditarily inductively free. In particular, all crystallographic reflection arrangements are hereditarily inductively free, among them the arrangement of type $E_8$. With little extra work we prove that also all Coxeter arrangements are inductively free.

Let $\A$ be an irreducible Coxeter arrangement and $W$ be its Coxeter group. Then $W$ naturally acts on $\A$. A multiplicity $\bfm : \A\rightarrow \Z$ is said to be equivariant when $\bfm$ is constant on each $W$-orbit of $\A$. In this article, we prove that the multi-derivation module $D(\A, \bfm)$ is a free module whenever $\bfm$ is equivariant by explicitly constructing a basis, which generalizes the main theorem of \cite{T02}. The main tool is a primitive derivation and its covariant derivative. Moreover, we show that the $W$-invariant part $D(\A, \bfm)^{W}$ for any multiplicity $\bfm$ is a free module over the $W$-invariant subring.

Although the alternating group is an index 2 subgroup of the symmetric group, there is no generating set that gives a Coxeter structure on it. Various generating sets were suggested and studied by Bourbaki, Mitsuhashi, Regev-Roichman, Vershik-Vserminov and others. In a recent work of Brenti- Reiner-Roichman it is explained that palindromes in Mitsuhashi's generating set play a role similar to that of re ections in a Coxeter system. We study in detail the length function with respect to the set of palindromes. Results include an explicit combinatorial description, a generating function, and an interesting connection to Broder's restricted Stirling numbers.

Let $\A$ be an irreducible Coxeter arrangement and $\bfk$ be a multiplicity of $\A$. We study the derivation module $D(\A, \bfk)$. Any two-dimensional irreducible Coxeter arrangement with even number of lines is decomposed into two orbits under the action of the Coxeter group. In this paper, we will {explicitly} construct a basis for $D(\A, \bfk)$ assuming $\bfk$ is constant on each orbit. Consequently we will determine the exponents of $(\A, \bfk)$ under this assumption. For this purpose we develop a theory of universal derivations and introduce a map to deal with our exceptional cases.

Reflection groups, geometry of the discriminant and noncrossing partitions. When W is a well-generated complex reflection group, the noncrossing partition lattice NCP_W of type W is a very rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. This structure appears in several algebraic setups (dual braid monoid, cluster algebras...). Many combinatorial properties of NCP_W are proved case-by-case, using the classification of reflection groups. It is the case for Chapoton's formula, expressing the number of multichains of a given length in the lattice NCP_W, in terms of the invariant degrees of W. This thesis work is motivated by the search for a geometric explanation of this formula, which could lead to a uniform understanding of the connections between the combinatorics of NCP_W and the invariant theory of W. The starting point is to use the Lyashko-Looijenga covering (LL), based on the geometry of the discriminant of W. In the first chapter, some topological constructions of Bessis are refined, allowing to relate the fibers of LL with block factorisations of a Coxeter element. Then we prove a transitivity property for the Hurwitz action of the braid group B_n on certain factorisations. Chapter 2 is devoted to certain finite polynomial extensions, and to properties about their Jacobians and discriminants. In Chapter 3, these results are applied to the extension defined by the covering LL. We deduce --- with a case-free proof --- formulas for the number of submaximal factorisations of a Coxeter element in W, in terms of the homogeneous degrees of the irreducible components of the discriminant and Jacobian for LL.

In 1979, Norton showed that the representation theory of the 0-Hecke algebra admits a rich combinatorial description. Her constructions rely heavily on some triangularity property of the product, but do not use explicitly that the 0-Hecke algebra is a monoid algebra. The thesis of this paper is that considering the general setting of monoids admitting such a triangularity, namely J-trivial monoids, sheds further light on the topic. This is a step to use representation theory to automatically extract combinatorial structures from (monoid) algebras, often in the form of posets and lattices, both from a theoretical and computational point of view, and with an implementation in Sage. Motivated by ongoing work on related monoids associated to Coxeter systems, and building on well-known results in the semi-group community (such as the description of the simple modules or the radical), we describe how most of the data associated to the representation theory (Cartan matrix, quiver) of the algebra of any J-trivial monoid M can be expressed combinatorially by counting appropriate elements in M itself. As a consequence, this data does not depend on the ground field and can be calculated in O(n^2), if not O(nm), where n=|M| and m is the number of generators. Along the way, we construct a triangular decomposition of the identity into orthogonal idempotents, using the usual Möbius inversion formula in the semi-simple quotient (a lattice), followed by an algorithmic lifting step. Applying our results to the 0-Hecke algebra (in all finite types), we recover previously known results and additionally provide an explicit labeling of the edges of the quiver. We further explore special classes of J-trivial monoids, and in particular monoids of order preserving regressive functions on a poset, generalizing known results on the monoids of nondecreasing parking functions.

In any Coxeter group, the conjugates of elements in the standard minimal generating set are called reflections and the minimal number of reflections needed to factor a particular element is called its reflection length. In this article we prove that the reflection length function on an affine Coxeter group has a uniform upper bound. More precisely we prove that the reflection length function on an affine Coxeter group that naturally acts faithfully and cocompactly on $\R^n$ is bounded above by $2n$ and we also show that this bound is optimal. Conjecturally, spherical and affine Coxeter groups are the only Coxeter groups with a uniform bound on reflection length.

The Flag Complex Conjecture of Charney and Davis states that for a simplicial complex $S$ which triangulates a $(2n - 1)$-generalized homology sphere as a flag complex one has $(-1)^n \sum_{σ\in S} \left(\frac{-1}{2}\right)^{\dimσ+ 1} \ge 0$, where the sum runs over all simplices $σ$ of $S$ (including the empty simplex). Interpreting the $1$-skeleta of $σ\in S$ as graphs of Coxeter groups, we present a stronger version of this conjecture, and prove the equivalence of the latter to the Flag Complex Conjecture.

In this paper we consider a function $L(\vec{x})=L(a,b,c,d;e;f,g)$, which can be written as a linear combination of two Saalschützian ${}_4F_3(1)$ hypergeometric series or as a very-well-poised ${}_7F_6(1)$ hypergeometric series. We explore two-term and three-term relations satisfied by the $L$ function and put them in the framework of group theory. We prove a fundamental two-term relation satisfied by the $L$ function and show that this relation implies that the Coxeter group $W(D_5)$, which has 1920 elements, is an invariance group for $L(\vec{x})$. The invariance relations for $L(\vec{x})$ are classified into six types based on a double coset decomposition of the invariance group. The fundamental two-term relation is shown to generalize classical results about hypergeometric series. We derive Thomae's identity for ${}_3F_2(1)$ series, Bailey's identity for terminating Saalschützian ${}_4F_3(1)$ series, and Barnes' second lemma as consequences. We further explore three-term relations satisfied by $L(a,b,c,d;e;f,g)$. The group that governs the three-term relations is shown to be isomorphic to the Coxeter group $W(D_6)$, which has 23040 elements. Based on the right cosets of $W(D_5)$ in $W(D_6)$, we demonstrate the existence of 220 three-term relations satisfied by the $L$ function that fall into two families according to the notion of $L$-coherence.

The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over Z[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of ``quasiparabolic" subgroups (more generally, quasiparabolic W-sets), and show that they also inherit these properties. Our motivating example is the action of the symmetric group on fixed-point-free involutions by conjugation.

The cyclic sieving phenomenon was defined by Reiner, Stanton, and White in a 2004 paper. Let X be a finite set, C be a finite cyclic group acting on X, and f(q) be a polynomial in q with nonnegative integer coefficients. Then the triple (X,C,f(q)) exhibits the cyclic sieving phenomenon if, for all g in C, we have # X^g = f(w) where # denotes cardinality, X^g is the fixed point set of g, and w is a root of unity chosen to have the same order as g. It might seem improbable that substituting a root of unity into a polynomial with integer coefficients would have an enumerative meaning. But many instances of the cyclic sieving phenomenon have now been found. Furthermore, the proofs that this phenomenon hold often involve interesting and sometimes deep results from representation theory. We will survey the current literature on cyclic sieving, providing the necessary background about representations, Coxeter groups, and other algebraic aspects as needed.

Different ways to describe a permutation, as a sequence of integers, or a product of Coxeter generators, or a tree, give different choices to define a simple permutation. We recollect few of them, define new types of simple permutations, and analyze their interconnections and some asymptotic and geometrical properties of these classes.

We consider a bivariate polynomial that generalizes both the length and reflection length generating functions in a finite Coxeter group. In seeking a combinatorial description of the coefficients, we are led to the study of a new Mahonian statistic, which we call the sorting index. The sorting index of a permutation and its type B and type D analogues have natural combinatorial descriptions which we describe in detail.

Eulerian quasisymmetric functions were introduced by Shareshian and Wachs in order to obtain a q-analog of Euler's exponential generating function formula for the Eulerian numbers. They are defined via the symmetric group, and applying the stable and nonstable principal specializations yields formulas for joint distributions of permutation statistics. We consider the wreath product of the cyclic group with the symmetric group, also known as the group of colored permutations. We use this group to introduce colored Eulerian quasisymmetric functions, which are a generalization of Eulerian quasisymmetric functions. We derive a formula for the generating function of these colored Eulerian quasisymmetric functions, which reduces to a formula of Shareshian and Wachs for the Eulerian quasisymmetric functions. We show that applying the stable and nonstable principal specializations yields formulas for joint distributions of colored permutation statistics, which generalize the Shareshian-Wachs q-analog of Euler's formula, formulas of Foata and Han, and a formula of Chow and Gessel.

We construct and analyze an explicit basis for the homology of the boolean complex of a Coxeter system. This gives combinatorial meaning to the spheres in the wedge sum describing the homotopy type of the complex. We assign a set of derangements to any finite simple graph. For each derangement, we construct a corresponding element in the homology of the complex, and the collection of these elements forms a basis for the homology of the boolean complex. In this manner, the spheres in the wedge sum describing the homotopy type of the complex can be represented by a set of derangements. We give an explicit, closed-form description of the derangements that can be obtained from any graph, and compute this set for several families of graphs. In the cases of complete graphs and Ferrers graphs, these calculations give bijective proofs of previously obtained enumerative results.