arXiv++ Combinatorics

A nilpotent endomorphism of a quiver representation induces a linear transformation on the vector space at each vertex. Generically among all nilpotent endomorphisms, there is a well-defined Jordan form for these linear transformations, which is an interesting new invariant of a quiver representation. If $Q$ is a Dynkin quiver and $m$ is a minuscule vertex, we show that representations consisting of direct sums of indecomposable representations all including $m$ in their support, the category of which we denote by $\mathcal{C}_{Q,m}$, are determined up to isomorphism by this invariant. We use this invariant to define a bijection from isomorphism classes of representations in $\mathcal{C}_{Q,m}$ to reverse plane partitions whose shape is the minuscule poset corresponding to $Q$ and $m$. By relating the piecewise-linear promotion action on reverse plane partitions to Auslander-Reiten translation in the derived category, we give a uniform proof that the order of promotion equals the Coxeter number. In type $A_n$, we show that special cases of our bijection include the Robinson-Schensted-Knuth and Hillman-Grassl correspondences.

Let $X$ be a CAT(0) cubical complex. The growth series of $X$ at $x$ is $G_{x}(t)=\sum_{y \in Vert(X)} t^{d(x,y)}$, where $d(x,y)$ denotes $\ell_{1}$-distance between $x$ and $y$. If $X$ is cocompact, then $G_{x}$ is a rational function of $t$. In the case when $X$ is the Davis complex of a right-angled Coxeter group it is a well-known that $G_{x}(t)=1/f_{L}(-t/(1+t))$, where $f_{L}$ denotes the $f$-polynomial of the link $L$ of a vertex of $X$. We obtain a similar formula for general cocompact $X$. We also obtain a simple relation between the growth series of individual orbits and the $f$-polynomials of various links. In particular, we get a simple proof of reciprocity of these series ($G_{x}(t)=\pm G_{x}(t^{-1})$) for an Eulerian manifold $X$.

We show that any lower Bruhat interval in a Coxeter group is a disjoint union of certain two-sided cosets as a consequence of Lifting Property and Subword Property. Furthermore, we describe these details in terms of Bruhat graphs, graded posets, and two-sided quotients altogether. For this purpose, we introduce some new ideas, quotient lower intervals and quotient Bruhat graphs.

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 describe an approach, via Malle's permutation $Ψ$ on the set of irreducible characters $\text{Irr}(W)$, that gives a uniform derivation of the Chapuy-Stump formula for the enumeration of reflection factorizations of the Coxeter element. It also recovers its weighted generalization by delMas, Reiner, and Hameister, and further produces structural results for factorization formulas of arbitrary regular elements.

In this paper we introduce abstract string modules and give an explicit bijection between the submodule lattice of an abstract string module and the perfect matching lattice of the corresponding abstract snake graph. In particular, we make explicit the direct correspondence between a submodule of a string module and the perfect matching of the corresponding snake graph. For every string module, we define a Coxeter element in a symmetric group, and we establish a bijection between these lattices and the interval in the weak Bruhat order determined by the Coxeter element. Using the correspondence between string modules and snake graphs, we give a new concise formulation of snake graph calculus.

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 reformulate several known results about continued fractions in combinatorial terms. Among them the theorem of Conway and Coxeter and that of Series, both relating continued fractions and triangulations. More general polygon dissections appear when extending these theorems for elements of the modular group $PSL(2,\mathbb{Z})$. These polygon dissections are interpreted as walks in the Farey tessellation. The combinatorial model of continued fractions can be further developed to obtain a canonical presentation of elements of $PSL(2,\mathbb{Z})$.

Let $(W,S)$ be an arbitrary Coxeter system. We introduce a family of polynomials, $\{ \tilde{\mathcal{R}}_{u,\underline{v}}(t)\}$, indexed by pairs $(u,\underline{v})$ formed by an element $u\in W$ and a (non-necessarily reduced) word $\underline{v}$ in the alphabet $S$. The polynomial $\tilde{\mathcal{R}}_{u,\underline{v}}(t)$ is obtained by considering a certain subset of Libedinsky's light leaves associated to the pair $(u,\underline{v})$. Given a reduced expression $\underline{v}$ of an element $v\in W$; we show that $\tilde{\mathcal{R}}_{u,\underline{v}}(t)$ coincides with the Kazhdan-- Lusztig $\tilde{R}$-polynomial $\tilde{R}_{u,v}(t)$. Using the diagrammatic approach, we obtain some closed formulas for $\tilde{R}$- polynomials.

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.

We prove that for any infinite right-angled Coxeter or Artin group, its spherical and geodesic growth rates (with respect to the standard generating set) either take values in the set of Perron numbers, or equal $1$. Also, we compute the average number of geodesics representing an element of given word length in such groups.

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.

In a seminal work, Bessis gave a geometric interpretation of the noncrossing lattice $NC(W)$ associated to a well-generated complex reflection group $W$. Chief component of this was the trivialization theorem, a fundamental correspondence between families of chains of $NC(W)$ and the fibers of a finite quasi-homogeneous morphism, the $LL$ map. We consider a variant of the $LL$ map, prescribed by the trivialization theorem, and apply it to the study of finer enumerative and structural properties of $NC(W)$. In particular, we extend work of Bessis and Ripoll and enumerate the so-called "primitive factorizations" of the Coxeter element $c$. That is, length additive factorizations of the form $c=w\cdot t_1\cdots t_k$, where $w$ belongs to a given conjugacy class and the $t_i$'s are reflections.

We start the systematic study of extended Weyl groups, and continue the combinatorial description of thick subcategories in hereditary categories started by Ingalls-Thomas, Igusa-Schiffler-Thomas and Krause. We show that for a weighted projective line $\mathbb{X}$ there exists an order preserving bijection between the thick subcategories of $\mathrm{coh}(\mathbb{X})$ generated by an exceptional sequence and a subposet of the interval poset of a Coxeter transformation $c$ in the Weyl group of a simply-laced extended root system if the Hurwitz action is transitive on the reduced reflection factorizations of $c$ that generate the Weyl group. By using combinatorial and group theoretical tools we show that this assumption on the transitivity of the Hurwitz action is fulfilled for a weighted projective line $\mathbb{X}$ of tubular type.

The characterization of orbits of roots under the action of a Coxeter element is a fundamental tool in the study of finite root systems and their reflection groups. This paper develops the analogous tool in the affine setting, adding detail and uniformity to a result of Dlab and Ringel.

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.

We study the graph on reduced words with edges given by the Coxeter relations for the symmetric group. We define a metric on reduced words for a given permutation, analogous to Coxeter length for permutations, for which the graph becomes ranked with unique maximal element. We show this metric extends naturally to balanced tableaux, and use it to recover enumerative results of Edelman and Greene and of Reiner and Roichman.

We prove that the Hurwitz action on reflection factorizations of Coxeter elements is transitive up to certain natural constraints in the complex reflection groups G4 and G5. This affirms a more general conjecture by Lewis and Reiner in these specific cases. The proof uses induction on length of the factorization using the fact that the square of a reflection is also a reflection.