arXiv++ Combinatorics

Every irreducible odd dimensional representation of the $n$'th symmetric or hyperoctahedral group, when restricted to the $(n-1)$'th, has a unique irreducible odd-dimensional constituent. Furthermore, the subgraph induced by odd-dimensional representations in the Bratteli diagram of symmetric and hyperoctahedral groups is a binary tree with a simple recursive description. We survey the description of this tree, known as the Macdonald tree, for symmetric groups, from our earlier work. We describe analogous results for hyperoctahedral groups. A partition $λ$ of $n$ is said to be chiral if the corresponding irreducible representation $V_λ$ of $S_n$ has non-trivial determinant. We review our previous results on the structure and enumeration of chiral partitions, and subsequent extension to all Coxeter groups by Ghosh and Spallone. Finally we show that the numbers of odd and chiral partitions track each other closely.

We introduce shortcut graphs and groups. Shortcut graphs are graphs in which cycles cannot embed without metric distortion. Shortcut groups are groups which act properly and cocompactly on shortcut graphs. These notions unify a surprisingly broad family of graphs and groups of interest in geometric group theory and metric graph theory, including: the 1-skeletons of systolic and quadric complexes (in particular finitely presented C(6) and C(4)-T(4) small cancellation groups), 1-skeletons of finite dimensional CAT(0) cube complexes, hyperbolic graphs, standard Cayley graphs of finitely generated Coxeter groups and the standard Cayley graph of the Baumslag-Solitar group BS(1,2). Most of these examples satisfy a strong form of the shortcut property. The shortcut properties also have important geometric group theoretic consequences. We show that shortcut groups are finitely presented and have exponential isoperimetric and isodiametric functions. We show that groups satisfying the strong form of the shortcut property have polynomial isoperimetric and isodiametric functions.

Each quiver appearing in a seed of a cluster algebra determines a corresponding group, which we call a cluster group, which is defined via a presentation. Grant and Marsh showed that, for quivers appearing in seeds of cluster algebras of finite type, the associated cluster groups are isomorphic to finite reflection groups. As for finite Coxeter groups, we can consider parabolic subgroups of cluster groups. We prove that, in the type $A_{n}$ case, there exists an isomorphism between the lattice of subsets of the defining generators of the cluster group and the lattice of its parabolic subgroups. Moreover, each parabolic subgroup has a presentation given by restricting the presentation of the whole group.

We refine Brieskorn's study of the cohomology of the complement of the reflection arrangement of a finite Coxeter group $W$. As a result we complete the verification of a conjecture by Felder and Veselov that gives an explicit basis of the space of $W$-invariants in this cohomology ring.

The Lucas sequence is a sequence of polynomials in s, and t defined recursively by {0}=0, {1}=1, and {n}=s{n-1}+t{n-2} for n >= 2. On specialization of s and t one can recover the Fibonacci numbers, the nonnegative integers, and the q-integers [n]_q. Given a quantity which is expressed in terms of products and quotients of nonnegative integers, one obtains a Lucas analogue by replacing each factor of n in the expression with {n}. It is then natural to ask if the resulting rational function is actually a polynomial in s and t with nonnegative integer coefficients and, if so, what it counts. The first simple combinatorial interpretation for this polynomial analogue of the binomial coefficients was given by Sagan and Savage, although their model resisted being used to prove identities for these Lucasnomials or extending their ideas to other combinatorial sequences. The purpose of this paper is to give a new, even more natural model for these Lucasnomials using lattice paths which can be used to prove various equalities as well as extending to Catalan numbers and their relatives, such as those for finite Coxeter groups.

We extend the usual notion of fully commutative elements from the Coxeter groups to the complex reflection groups. Then we decompose the sets of fully commutative elements into natural subsets according to their combinatorial properties, and investigate the structure of these decompositions. As a consequence, we enumerate and describe the form of these elements in the complex reflection groups.

In this doctoral thesis, we will determine the image of Artin groups associated to all finite irreducible Coxeter groups inside their associated finite Iwahori-Hecke algebra. This was done in type $A$ by Brunat, Magaard and Marin. The Zariski closure of the image was determined in the generic case by Marin. It is suggested by strong approximation that the results should be similar in the finite case. However, the conditions required to use are much too strong and would only provide a portion of the results. We show in this thesis that they are but that new phenomena arise from the different field factorizations. The techniques used in the finite case are very different from the ones in the generic case. The main arguments come from finite group theory. In high dimension, we will use a theorem by Guralnick-Saxl which uses the classification of finite simple groups to give a condition for subgroups of linear groups to be classical groups in a natural representation. In low dimension, we will mainly use the classification of maximal subgroups of classical groups determined by Bray, Holt and Roney-Dougal for the complicated cases. We find some new $W$-graphs in types $H_4$, $E_6$ and $E_8$ which provide different information from the usual ones. They are all associated in a natural way to a bilinear form which is very complicated to obtain in the previous models. In this model, the bilinear form is obtained using only the two-colorability and its matrix in a well chosen basis is anti-diagonal. The uniqueness properties can probably be extended in a more general setting and understanding which setting this is may be worth considering.

For a given $w$ in a Coxeter group $W$ the elements $u$ smaller than $w$ in Bruhat order can be seen as the end-alcoves of stammering galleries of type $w$ in the Coxeter complex $Σ$. We generalize this notion and consider sets of end-alcoves of galleries that are positively folded with respect to certain orientation $φ$ of $Σ$. We call these sets shadows. Positively folded galleries are closely related to the geometric study of affine Deligne-Lusztig varieties, MV polytopes, Hall-Littlewood polynomials and many more agebraic structures. In this paper we will introduce various notions of orientations and hence shadows and study some of their algorithmic properties.

The aim of this work is to prove a conjecture related to the Combinatorial Invariance Conjecture of Kazhdan-Lusztig polynomials, in the parabolic setting, for lower intervals in every arbitrary Coxeter group. This result improves and generalizes, among other results, the main results of [Advances in Math. {202} (2006), 555-601], [Trans. Amer. Math. Soc. {368} (2016), no. 7, 5247--5269].

An involution in a Coxeter group has an associated set of involution words, a variation on reduced words. These words are saturated chains in a partial order first considered by Richardson and Springer in their study of symmetric varieties. In the symmetric group, involution words can be enumerated in terms of tableaux using appropriate analogues of the symmetric functions introduced by Stanley to accomplish the same task for reduced words. We adapt this approach to the group of signed permutations. We show that involution words for the longest element in the Coxeter group $C_n$ are in bijection with reduced words for the longest element in $A_n = S_{n+1}$, which are known to be in bijection with standard tableaux of shape $(n, n-1, \ldots, 2, 1)$.

We determine the asymptotic number of index $n$ subgroups in virtually cyclic right-angled Coxeter groups and their free products as $n\to\infty$.

Clans are combinatorial objects indexing the orbits of $GL(\mathbb{C}^p) \times GL(\mathbb{C}^q)$ on the variety of flags in $\mathbb{C}^{p+q}$. This geometry leads to a partial order on the set of clans analogous to weak Bruhat order on the symmetric group, and we study the saturated chains in this order. We prove an analogue of the Matsumoto-Tits theorem on reduced words in a Coxeter group. We also obtain enumerations of reduced word sets for particular clans in terms of standard tableaux and shifted standard tableaux.

We consider Lusztig's $\mathbf{a}$-function on Coxeter groups (in the equal parameter case) and classify all Coxeter groups with finitely many elements of $\mathbf{a}$-value 2 in terms of Coxeter diagrams.

Given a function defined over a parabolic subgroup of a Coxeter group, equidistributed with the length, we give a procedure to construct a function over the entire group, equidistributed with the length. Such a procedure permits to define functions equidistributed with the length in all the finite Coxeter groups. We can establish our results in the general setting of graded posets which satisfy some properties. These results apply to some known functions arising in Coxeter groups as the major index, the negative major index and the D-negative major index defined in type $A$, $B$ and $D$ respectively.

We define a natural lattice structure on all subsets of a finite root system that extends the weak order on the elements of the corresponding Coxeter group. For crystallographic root systems, we show that the subposet of this lattice induced by antisymmetric closed subsets of roots is again a lattice. We then study further subposets of this lattice which naturally correspond to the elements, the intervals and the faces of the permutahedron and the generalized associahedra of the corresponding Weyl group. These results extend to arbitrary finite crystallographic root systems the recent results of G. Chatel, V. Pilaud and V. Pons on the weak order on posets and its induced subposets.

Let $(W,S)$ be a finite Coxeter system with root system $R$ and with set of positive roots $R^+$. For $α\in R$, $v,w\in W$, we denote by $\partial_α$, $\partial_w$ and $\partial_{w/v}$ the divided difference operators and skew divided difference operators acting on the coinvariant algebra of $W$. Generalizing the work of Liu, we prove that $\partial_{w/v}$ can be written as a polynomial with nonnegative coefficients in $\partial_α$ where $α\in R^+$. In fact, we prove the stronger and analogous statement in the Nichols-Woronowicz algebra model for Schubert calculus on $W$ after Bazlov. We draw consequences of this theorem on saturated chains in the Bruhat order, and partially treat the question when $\partial_{w/v}$ can be written as a monomial in $\partial_α$ where $α\in R^+$. In an appendix, we study related combinatorics on shuffle elements and Bruhat intervals of length two.

We generalize the Tamari lattice by extending the notions of $231$-avoiding permutations, noncrossing set partitions, and nonnesting set partitions to parabolic quotients of the symmetric group $\mathfrak{S}_{n}$. We show bijectively that these three objects are equinumerous. We show how to extend these constructions to parabolic quotients of any finite Coxeter group. The main ingredient is a certain aligned condition of inversion sets; a concept which can in fact be generalized to any reduced expression of any element in any (not necessarily finite) Coxeter group.

Given any Coxeter group, we define rigid reflections and rigid roots using non-self-intersecting curves on a Riemann surface with labeled curves. When the Coxeter group arises from an acyclic quiver, they are related to the rigid representations of the quiver. For a family of rank 3 Coxeter groups, we show that there is a surjective map from the set of reduced positive roots of a rank 2 Kac--Moody algebra onto the set of rigid reflections. We conjecture that this map is bijective.

In this expository note, I showcase the relevance of Coxeter groups to quiver representations. I discuss (1) real and imaginary roots, (2) reflection functors, and (3) torsion free classes and c-sortable elements. The first two topics are classical, while the third is a more recent development. I show that torsion free classes in rep Q containing finitely many indecomposables correspond bijectively to c-sortable elements in the corresponding Weyl group. This was first established in Dynkin type by Ingalls and Thomas; it was shown in general by Amiot, Iyama, Reiten, and Todorov. The proof in this note is elementary, essentially following the argument of Ingalls and Thomas, but without the assumption that Q is Dynkin.

In this paper, we establish a bijection between the infinite reduced words of an affine Weyl group and certain biclosed sets of its positive system and determine all finitely generated biclosed sets in the positive system of an affine Weyl group. Using these results, we show first that the biclosed sets in the standard positive system of rank 3 affine Weyl groups when ordered by inclusion form a complete algebraic ortholattice and secondly that the (generalized) braid graphs of those Coxeter groups are connected, which can be thought of as an infinite version of Tit's solution to the word problem.