arXiv++ Combinatorics

We prove the combinatorial invariance of the coefficient of $q$ in Kazhdan-Lusztig polynomials for arbitrary Coxeter groups. As a result, we obtain the Combinatorial Invariance Conjecture for Bruhat intervals of length at most $6$. We also prove the Gabber-Joseph conjecture for the second-highest $\mathrm{Ext}$ group of a pair of Verma modules, as well as the combinatorial invariance of the dimension of this group.

Billey-Postnikov (BP) decompositions govern when Schubert varieties $X(w)$ decompose as bundles of smaller Schubert varieties. We further develop the theory of BP decompositions and show that, in finite type, they can be recognized by pattern conditions and are indexed by the order ideals of a poset $\mathsf{bp}(w)$ that we introduce; we conjecture that this holds in any Coxeter group. We then apply BP decompositions to show that, when $X(w)$ is rationally smooth and $W$ simply laced, the Schubert structure constants $c_{uv}^w$ satisfy a triangularity property, yielding a canonical involution on the Schubert cells of $X(w)$ respecting Poincaré duality. We also classify the rationally smooth Bruhat intervals in finite type (other than $E$) which admit generalized Lehmer codes, answering questions and conjectures of Billey-Fan-Losonczy, Bolognini-Sentinelli, and Bishop-Milićević-Thomas. Finally, we show that rationally smooth Schubert varieties in infinite type need not have Grassmannian BP decompositions, disproving conjectures of Richmond-Slofstra and Oh-Richmond.

In 2011, Dyer published a series of conjectures on the weak order of Coxeter groups. One of these conjectures stated that the inversion set of the join of two elements in a Coxeter group is equal to some "closure" of the union of their inversion sets. In this paper we show that this "closure" is in fact a preclosure, which we call the Bruhat preclosure, but is a closure whenever our underlying set is an inversion set. By performing the Bruhat preclosure an infinite number of times we obtain a closure which we call the infinite Bruhat closure. We show in a uniform way that Dyer's conjecture is true when using the infinite Bruhat closure (instead of Bruhat preclosure) if the join exists between two elements. Finally, we end by showing in type A, the Bruhat preclosure is a closure thus giving a (second) proof that Dyer's conjecture is true in type A.

Noncrossing partition posets in a Coxeter group $W$ can fail to be lattices when $W$ is not finite. When the lattice property fails for $W$ of affine type, McCammond and Sulway's construction provides a larger lattice that contains the noncrossing partition poset and that furthermore is a combinatorial Garside structure. We construct a lattice, isomorphic to McCammond and Sulway's lattice, using the representation theory of a corresponding connected tame hereditary algebra and give a representation-theoretic proof that it is a combinatorial Garside structure. To construct the lattice, we introduce para-exceptional sequences and para-exceptional subcategories in the module categories of tame hereditary algebras. Para-exceptional sequences are generalizations of exceptional sequences obtained by enlarging the set of allowed entries to include all non-homogeneous bricks. A para-exceptional subcategory is a subcategory obtained by applying a certain closure-like operator to the wide subcategory generated by a para-exceptional sequence.

In one of his papers on the weak order of Coxeter groups, Dyer formulates several conjectures. Among these, one affirms that the extended weak order forms a lattice, while another offers an algebraic-geometric description of the join of two elements in this poset. The former was recently proven for affine types by Barkley and Speyer. In this paper, we establish the latter for Coxeter groups of types $A$ and $I$. Moreover, we verified the validity of this conjecture for types $H_3$ and $F_4$ through the use of Sage.

For each finite Coxeter group $W$ and each standard Coxeter element of $W$, we construct a triangulation of the $W$-permutahedron. For particular realizations of the $W$-permutahedron, we show that this is a regular triangulation induced by a height function coming from the theory of total linear stability for Dynkin quivers. We also explore several notable combinatorial properties of these triangulations that relate the Bruhat order, the noncrossing partition lattice, and Cambrian congruences. Each triangulation gives an explicit mechanism for relating two different presentations of the corresponding braid group (the standard Artin presentation and Bessis's dual presentation). This is a step toward uniformly proving conjectural simple, explicit, and type-uniform presentations for the corresponding pure braid group.

Motivated by the analogy with the Coxeter complex on one side, and parking functions on the other side, we study the poset of parabolic cosets in a finite Coxeter group. We show that this poset is Cohen-Macaulay, and get an explicit formula for the character of its (unique) nonzero homology group in terms of the Möbius function of the intersection lattice. This homology character becomes a positive element of the parabolic Burnside ring (in its natural basis) after tensoring with the sign character. The coefficients of this character essentially encode the colored $h$-vector of the positive chamber complex (following Bastidas, Hohlweg, and Saliola, this complex is defined by taking Weyl chambers that lie on the positive side of a generic hyperplane). Roughly speaking, tensoring by the sign character on one side corresponds to the transformation going from the $f$-vector to the $h$-vector on the other side.

The weak order is a classical poset structure on a Coxeter group; it is a lattice when the group is finite but merely a meet-semilattice when the group is infinite. Motivated by problems in Kazhdan--Lusztig theory, Matthew Dyer introduced the extended weak order, a poset that contains a copy of the weak order as an order ideal, and he conjectured that the extended weak order for any Coxeter group is a lattice. We prove Dyer's conjecture for the rank 3 universal Coxeter group. This is the first non-spherical, non-affine Coxeter group for which Dyer's conjecture has been proven.

In this summary paper, we present the key ideas behind the recent proof of the $K(π, 1)$ conjecture for affine Artin groups, which states that complements of locally finite affine hyperplane arrangements with real equations and stable under orthogonal reflections are aspherical. We survey three facets of the argument: the combinatorics of noncrossing partition posets associated with Coxeter groups; the appearance of dual Artin groups and the question of their isomorphism with standard Artin groups; the topological models and their interplay in the proof.

Let $S^B_n$ be the Coxeter group of type B. We denote the set of indices where $σ\in S^B_n$ has a peak as $Peak(σ)$ and let $P^{B}(S;n)=\{σ\in S^{B}_n~|~ Peak(σ)=S\}$. In \cite{metrics}, Diaz-Lopez, Haymaker, Keough, Park and White considered metrics for unsigned permutations with the same peak set. In this paper, we generalize their result by studying Hamming, $l_{\infty}$, and the word metrics on $P^{B}(S;n)$ for all $S$. We also determine the minimum and maximum possible values that these metrics can achieve in these subsets of $S^B_n$.

The star operation, originally introduced by Kazhdan and Lusztig, was later specialized by Ernst to the so-called weak star reduction on the set of fully commutative elements of a Coxeter group. In this paper, we classify the star and weak star irreducible fully commutative elements in Coxeter groups of affine types $\widetilde{B}_{n+1}$ and $\widetilde{D}_{n+2}$. Focusing then on the case of type $\widetilde{D}_{n+2}$, we use the classification of star irreducible elements to provide a new proof of the faithfulness of a diagrammatic representation of the corresponding generalized Temperley-Lieb algebra, along with an explicit description of Lusztig's $\mathbf{a}$-function.

The goal of this paper is to better understand a family of linear degenerations of the classical Lagrangian Grassmannians $Λ(2n)$. It is the special case for $k=n$ of the varieties $X(k,2n)^{sp}$, introduced in previous joint work with Evgeny Feigin, Martina Lanini and Alexander Pütz. These varieties are obtained as isotropic subvarieties of a family of quiver Grassmannians $X(n,2n)$, and are acted on by a linear degeneration of the algebraic group $Sp_{2n}$. We prove a conjecture proposed in the paper above for this particular case, which states that the ordering on the set of orbits in $X(n,2n)^{sp}$ given by closure-inclusion coincides with a combinatorially defined order on what are called symplectic $(n,2n)$-juggling patterns, much in the same way that the $Sp_{2n}$ orbits in $Λ(2n)$ are parametrized by a type C Weyl group with the Bruhat order. The dimension of such orbits is computed via the combinatorics of bounded affine permutations, and it coincides with the length of some permutation in a Coxeter group of affine type C. Furthermore, the varieties $X(n,2n)$ are GKM, that is, they have trivial cohomology in odd degree and are equipped with the action of an algebraic torus with finitely many fixed points and 1-dimensional orbits. In this paper it is proven that $X(n,2n)^{sp}$ is also GKM, with respect to the action of a subtorus of the above torus.

We study the restriction of the absolute order on a Coxeter group $W$ to an interval $[1,w]_T$, where $w\in W$ is an involution. We characterize and classify those involutions $w$ for which $[1,w]_T$ is a lattice, using the notion of involutive parabolic subgroups.

This article examines noncrossing partitions of the unit circle in the complex plane; we call these continuous noncrossing partitions. More precisely, we focus on the degree-$d$ continuous noncrossing partitions where unit complex numbers in the same block have identical $d$-th powers. We prove that the degree-$d$ continuous noncrossing partitions form a topological poset whose uncountable set of elements can be indexed by equivalence classes of objects we call weighted linear factorizations of factors of a $d$-cycle. Moreover, the maximal elements in this poset form a subspace homeomorphic to the dual Garside classifying space for the $d$-strand braid group. The degree-$d$ continuous noncrossing partitions of the unit circle are a special case of a more general construction. For every choice of Coxeter element $c$ in any Coxeter group $W$ we define a topological poset of equivalence classes of weighted linear factorizations of factors of $c$ in $W$ whose elements we call continuous $c$-noncrossing partitions. The maximal elements in this poset form a subspace homeomorphic to the one-vertex complex whose fundamental group is the corresponding dual Artin group.

Let $H$ be the Iwahori--Hecke algebra corresponding to any Coxeter group. Deodhar's defect statistic [Geom. Dedicata 36, (1990) pp.95--119] allows one to expand products of simple Kazhdan--Lusztig basis elements of $H$ in the natural basis of $H$. Clearwater and the third author gave a type-$A$ extension [Ann. Comb. 25, no. 3 (2021) pp.757--787] of this formula which combinatorially describes the natural expansion of products of Kazhdan--Lusztig basis elements indexed by smooth elements of the symmetric group. We similarly give a type-$BC$ extension of Deodhar's result which combinatorially describes the natural expansion of Kazhdan--Lusztig basis elements indexed by hyperoctahedral group elements which are simultaneously smooth in types $B$ and $C$.

The (ordinary) representation theory of the symmetric group is fascinating and has rich connections to combinatorics, including the Frobenius correspondence to the self-dual graded Hopf algebra of symmetric functions. The $0$-Hecke algebra (of type $A$) is a deformation of the group algebra of the symmetric group, and its representation theory has an analogous correspondence to the dual graded Hopf algebras of quasisymmetric functions and noncommutative symmetric functions. Macdonald used the hook length formula for the number of standard Young tableaux of a fixed shape to determine how many irreducible representations of the symmetric group have dimensions indivisible by a prime $p$. In this paper, we study the dimensions of the projective indecomposable modules of the $0$-Hecke algebra modulo $p$; such a module is indexed by a composition and its dimension is given by a ribbon number, i.e., the cardinality of a descent class. Applying a result of Dickson on the congruence of multinomial coefficients, we count how many ribbon numbers belong to each congruence class modulo $p$. We also extend the result to other finite Coxeter groups.

Let $\mathfrak{S}(\underline{s},w)$ be the graph whose vertices are all subexpressions with target $w$ of a fixed expression $\underline{s}$ in generators of a Coxeter group and edges are the pairs of subexpressions with Hamming distance 2. We prove that $\mathfrak{S}(\underline{s},w)$ is connected and its cycle space is spanned by cycles of lengths $d+2$, where $d$ ranges over all positive divisors of all finite orders of products of at most two entries of $\underline{s}$.

We give a direct combinatorial proof that the product of two descent classes in a symmetric group is a sum of descent classes. The proof is based on the fact that the group product gives a covering map when descent classes are endowed with the graph structure coming from the weak order. The main geometric argument is valid for any Coxeter group, even infinite ones for which the descent algebra does not exist.

Double cosets appear in many contexts in combinatorics, for example in the enumeration of certain objects up to symmetries. Double cosets in a quotient of the form $H\backslash G / H$ have an inverse, and can be their own inverse. In this paper we present various formulas enumerating double cosets, and in particular self-inverse double cosets. We study double cosets in classical groups, especially the symmetric groups and the general linear groups, explaining how to obtain the informations on their conjugacy classes required to apply our formulas. We also consider double cosets of parabolic subgroups of Coxeter groups of type B.

A conjecture proposed by Gaetz and Gao asserts that the Cayley graph of any Coxeter group possesses the strong hull property. In this paper, we prove this conjecture for all affine irreducible Coxeter groups of rank 3. Our approach exploits the geometry of affine buildings to reduce the analysis of convex hulls to finitely many manageable configurations. These geometric reduction techniques offer a novel framework that may be applicable to higher-rank cases.