arXiv++ Combinatorics

Let $(W,S)$ be a Coxeter system and let $J\subseteq S$. The right $J$-ascent set $$ A_R^J(w)=\{s\in S\mid ws\in{}^JW,\ \ell(ws)=\ell(w)+1\} $$ is a natural refinement of the classical ascent set adapted to the parabolic quotient ${}^JW$. We establish a local transition formula describing the behaviour of $J$-ascent sets under right multiplication by a simple reflection. As a consequence, for every $w\in{}^JW$ and every $s\in A_R^J(w)$, we prove that $$ \Bigl||A_R^J(w)|-|A_R^J(ws)|\Bigr| \leq \max\{1,\text{deg}(s)-1\}. $$

For a Coxeter system $(W,S)$ of finite rank and an involutive automorphism $\ast:W\to W$ which preserves $S$, we prove that the length-generating function $\sum_{z\in\mathbf{I}_{W,\ast}}q^{\ell(z)}$ of the set of $\ast$-twisted involutions is rational. We derive recurrence relations analogous to the well-known recurrence relations expressing the growth series $W(q):=\sum_{w\in W}q^{\ell(w)}$ in terms of the growth series $W_I(q)$ of the parabolic subgroups of $W$. Our result extends to any subset $\mathcal{C}$ of $\ast$-twisted involutions that is closed under $\ast$-twisted conjugation. We use these recurrence relations to give an alternative proof of a power-series identity for twisted involutions due to Lusztig.

Let $(W,S)$ be a finite Coxeter system and let $\mathcal K\subseteq 2^S$ be a simplicial complex. We define a parabolic bar complex ${\mathcal B}_{\mathcal K}(W)$ and prove a decomposition indexed by $w\in W$ in which the $w$-summand is a relative order-complex chain complex determined by the right descent set ${\operatorname{Des}_{R}}(w)$. An explicit integral Morse reduction identifies this summand, up to the Schubert shift $2\ell(w)+1$, with the augmented chains of the induced subcomplex $\mathcal K_{{\operatorname{Des}_{R}}(w)}$. For Weyl groups the complex is the cellular chain complex of \[ {X_{\mathcal K}}(G)={\operatorname*{hocolim}}_{I\in\mathcal K} G/G_I, \] so its homology is a descent-weighted Hochster decomposition. We prove functoriality and a homotopy-detection theorem for inclusions of indexing complexes, an Alexander-duality symmetry for generalized homology spheres, and, for simple $G$, a rigidity theorem characterizing the boundary simplex among the homology-sphere members of the family. For $G=(SU(2))^r$ the construction agrees up to homotopy with $(D^3,S^2)^{\mathcal K}$, and matroid independence complexes give a Tutte-polynomial specialization. The boundary-simplex case recovers the two-generator integral Morse model of the unit adjoint sphere.

For every finite-rank crystallographic affine Coxeter system $(W,S)$ and Coxeter element $c$, we construct a minimal linear graded free resolution of the trivial module over $k[M([1,c]_T)]$ supported on a rectified exceptional cluster complex. Hence the affine dual braid monoid algebra is Koszul over every field $k$. The exceptional complex is introduced to recover the principal-fibre topology missing from the direct Reading--Stella labelling. Half-orbit rectification replaces the transjective root labels by ordinary exceptional modules, so that a face $F$ determines an exceptional wide subcategory and the intrinsic weight \[ ω(F)=\operatorname{cox}(\operatorname{wide}\langle F\rangle). \] The resulting principal fibres are induced subcomplexes and split canonically as joins of subcomplexes attached to connected Dynkin and affine blocks; these subcomplexes are contractible. Affine non-lattice divisibility creates the genuinely nonprincipal case. The McCammond--Sulway completion shows that whenever no greatest interval right divisor exists, all maximal interval right divisors share a common nontrivial complete finite Coxeter component. In the associated exceptional-wide decompositions, this common Coxeter component is the Coxeter element of a Dynkin block, and the subcomplex attached to that block occurs as a common contractible join factor. Thus every nonidentity fibre is contractible, and the weighted-face complex is exact, minimal and linear. In particular, $\operatorname{Tor}^{A_c}_q(k,k)$ is indexed by $q$-vertex exceptional cluster faces in internal degree $q$, and $\operatorname{pd}_{A_c}k=|S|$.

In this paper, we construct a Lagrange-type basis for the Aomoto space $AO(\mathcal A)$, naturally indexed by the chambers of the hyperplane arrangement $\mathcal A$. The construction relies on a dimension theorem of Orlik and Terao and yields an interpolation formula for elements of $AO(\mathcal A)$. We use this formula to characterize the extremal configurations in the strong polarization inequality as those arising from finite Coxeter reflection systems. We further show that the interpolation formula gives rise to a family of \emph{chamber identities}, including identities that were central to our earlier proof of the strong polarization problem and the Gaussian product inequality. Finally, we adapt the recent breakthrough of Ouimet and Greaves to prove a generalized Gaussian Product Inequality for completely monotone functions.

A binary Coxeter code associated with a finite Coxeter system $(W,S)$ is an ${\mathbb F}_2$-linear span of indicators of standard cosets of a fixed rank. Coxeter codes, introduced in a recent paper by N. Coble and A. Barg, are a generalization of Reed--Muller codes which arise when $W={\mathbb Z}_2^m$ is the Coxeter group of type $mA_1$. In that paper, the authors proposed a conjectural value for the minimum distance of a general Coxeter code. This conjecture is proved in the present work. As a consequence, we obtain a Coxeter-theoretic generalization of Reed's majority-logic decoding algorithm for Reed--Muller codes.

Combinatorial curve neighborhoods are somewhat foundational when setting up the quantum Schubert calculus for affine flag manifolds. In the specific case of type $A_1^{(1)}$, you can encode these neighborhoods entirely within the moment graph of the infinite dihedral group $D_\infty$. Building on the framework developed by Mihalcea and Norton, this paper presents a complete, axiom-free formalization of these combinatorial curve neighborhoods in Lean 4. Rather than just wrapping mathematical statements, we formalized $D_\infty$ directly as a Coxeter system to explicitly compute length functions and degree maps. Reachable sets are defined through edge chains bounded by specific degrees, and we ultimately characterize the curve neighborhood by the maximal vertices inside these sets. The core effort here lies in formally verifying the explicit combinatorial formulas for curve neighborhoods of arbitrary elements. Interestingly, by restricting our search space to finite sets, we also managed to extract a fully computable version of these neighborhoods.

In this article, we propose to initiate the general study of involution systems. An {\em involution system}, that is, a group $W$ generated by a set of involutions $S$, is naturally endowed with a {\em weak order} arising from orienting the Cayley graph of $(W,S)$. In the case of a Coxeter system $(W,S)$, Björner showed that the weak order is a complete meet-semilattice. This fact has many important consequences for Coxeter systems and their related structures. In this article, we discuss the following question: For which involution systems is the weak order a complete meet-semilattice? The class of involution systems that satisfies this condition is larger than the class of Coxeter systems (it contains, for instance, Cactus groups). In the case of an involution system with sign character, we provide a finite presentation by generators and relations and a classification in rank 3. We also obtain new characterizations of Coxeter systems in terms of the weak order, and prove a number of results on certain subclasses of these involution systems. Finally, we discuss further works and open problems in relation to biautomatic structures, geometric representations, mediangle graphs, and more.

A root lattice is a finite rank $\mathbb{Z}$-lattice generated by elements $x$ satisfying $x\cdot x=2$. It is well-known that the root lattices have an $ADE$ classification and they play a prominent role in the study of even unimodular lattices. The notion of root lattices can be naturally generalized to lattices over the ring of integers $\mathcal{O}$ of a totally real field $K$. In the case where $K$ is a real quadratic field, such lattices were classified by Mimura in 1979, and this classification has been used by several researchers in the study of even unimodular $\mathcal{O}$-lattices. In this paper, we extend this classification to arbitrary totally real fields. The irreducible root lattices of rank greater than $2$ are indexed by finite Coxeter systems. All the rank $2$ root lattices are realized as orders in quadratic extensions of $K$ and their classification requires some technique from algebraic number theory.

Let $\mathcal{H} = \mathcal{H}(W,S)$ be the Hecke algebra of the Coxeter system $(W,S)$ over $\mathbb{Z}[q^{\pm1}]$, where $W$ is the Weyl group of a symmetrizable Kac-Moody algebra. In this paper, we show that the matrix of Kazhdan-Lusztig polynomials of $\mathcal{H}$ factorizes into a product of $|S|$ many matrices, each of which has entries as polynomials in $q$ with nonnegative coefficients. To achieve this goal, we use hybrid basis $TC^J$ for $J\subseteq S$ of $\mathcal{H}$, defined by Grojnowski-Haiman. The intermediate matrices in the aforementioned factorization turn out to be the transition matrices from $TC^J$-basis to $TC^I$-basis for $I\subset J$. Equivalently, these coefficients can be computed using a natural restriction map from $\mathcal{H}$ to the parabolic Hecke algebra $\mathcal{H}_J$. Moreover, following the ideas from Grojnowski-Haiman, we also give a geometric proof of the positivity of these coefficients.

In this article, we study two combinatorial problems concerning the set of reflections of a Coxeter system. The first problem asks whether the language of palindromic reduced words for reflections is regular, and the second is about finding formulas for the Poincaré series of reflections, namely the generating function of reflection lengths. These two problems were inspired by a conjecture of Stembridge stating that the Poincaré series of reflections is rational and by the solution provided by de Man. To address the first problem, we introduce reflection-prefixes, arising naturally from palindromic reduced words. We study their connections with the root poset, dominance order on roots, and dihedral reflection subgroups. Using $m$-canonical automata associated with $m$-Shi arrangements, we prove that the language of reduced words for reflection-prefixes is regular. For the second problem, we focus on affine Coxeter groups. In this case, we derive a simple formula for the Poincaré series using symmetries of the Hasse diagram of the root poset.

Genevois introduced and investigated mediangle graphs as a common generalization of median graphs (1-sekeleta of CAT(0) cube complexes) and Coxeter graphs (Cayley graphs of Coxeter systems) and studied groups acting on them. He asked if mediangle graphs can be endowed with the structure of a contractible cell complex. We answer this in the affirmative by proving that bipartite mediangle graphs are tope graphs of finitary Complexes of Oriented Matroids (COMs). We also show that the oriented matroids (OMs) constituting the cells of COMs arising from bipartite mediangle graphs are exactly the simplicial OMs.

Let $(W,S)$ be a Coxeter system whose graph is connected, with no infinite edges. A self-map $τ$ of $W$ such that $τ_{σθ}\in \{τ_θ,\ στ_θ\}$ for all $θ\in W$ and all reflections $σ$ (analogous to being 1-Lipschitz with respect to the Bruhat order on $W$) is either constant or a right translation. A somewhat stronger version holds for $S_n$, where it suffices that $σ$ range over smaller, $θ$-dependent sets of reflections. These combinatorial results have a number of consequences concerning continuous spectrum- and commutativity-preserving maps $\mathrm{SU}(n)\to M_n$ defined on special unitary groups: every such map is a conjugation composed with (a) the identity; (b) transposition, or (c) a continuous diagonal spectrum selection. This parallels and recovers Petek's analogous statement for self-maps of the space $H_n\le M_n$ of self-adjoint matrices, strengthening it slightly by expanding the codomain to $M_n$.

Let $ (W,S)$ be a Coxeter system. We investigate the equation $ w(Φ_{x}) = Φ_{y}$ where $ w,x,y\in W$ and $ Φ_{x}$, $Φ_{y}$ denote the left inversion sets of $ x$ and $ y$. We then define a commutative square diagram called a Coxeter square which describes the relationship between 4 non-identity elements of the Coxeter group $ W$ and the equation $ w(Φ_{x}) = Φ_{y}$. Coxeter squares were first introduced by Dyer, Wang in \cite{dyer2011groupoids2} and \cite{dyer2019characterization}. Coxeter squares can be \textquotedblleft glued" together by compatible edges to form commutative diagrams in the shape of higher dimensional cubes called Coxeter $n$-cubes, which were first defined by Dyer in Example 12.5 of \cite{dyer2011groupoids2}. When $ |W| < \infty$ and $ |S| = n$, we show that Coxeter $n$-cubes must exist within $ (W,S)$. We then prove results about Coxeter $n$-cubes in the $A_{n}$ Coxeter system. We establish an explicit bijection between Coxeter $n$-cubes (modulo orientation) in $ A_{n}$ and binary trees with $n+1$ leaves. We also show that an element $x$ of $ A_{n}$ appears as the edge of some Coxeter $n$-cube if and only if $ x$ is a bigrassmannian permutation.

For $(W,S)$ an arbitrary Coxeter system and any $y \in W$, we investigate the relationship between the condition that the Kazhdan-Lusztig polynomial $P_{x,y}$ is trivial for all $x \leq y$, and the condition that the Bruhat graph for the interval $[1,y]$ can be cubulated, meaning roughly that this graph can be spanned by a product of subintervals of $\mathbb{Z}$. In one direction, we combine results of Carrell-Peterson and Elias-Williamson to prove that if $[1,y]$ can be cubulated, then $P_{x,y} = 1$ for all $x \leq y$. We then investigate the converse of this statement. For $(W,S)$ finite and $w_0$ the longest element in $W$, so that $P_{x,w_0} = 1$ for all $x \in W$, we construct cubulations of $[1,w_0]$ in types $A$ and $B/C$. However, in some exceptional types, we determine elements $y \in W$ such that $P_{1,y} = 1$ but $[1,y]$ cannot be cubulated. We then prove that if there are infinitely many $y \in W$ such that $[1,y]$ can be cubulated, then $(W,S)$ must be of type $\tilde{A}_n$ for some $n \geq 1$. Finally, for $(W,S)$ of type $\tilde{A}_2$, we exhibit a cubulation of $[1,y]$ for each of the infinitely many $y \in W$ such that $P_{x,y} = 1$ for all $x \leq y$.

In this article, we discuss the notion of partition of elements in an arbitrary Coxeter system $(W,S)$: a partition of an element $w$ is a subset $\mathcal P\subseteq W$ such that the left inversion set of $w$ is the disjoint union of the left inversion set of the elements in $\mathcal P$. Partitions of elements of $W$ arises in the study of the Belkale-Kumar product on the cohomology $H^*(X,\mathbb Z)$, where $X$ is the complete flag variety of any complex semi-simple algebraic group. Partitions of elements in the symmetric group $\mathcal S_n$ are also related to the {\em Babington-Smith model} in algebraic statistics or to the simplicial faces of the Littlewood-Richardson cone. We state the conjecture that the number of right descents of $w$ is the sum of the number of right descents of the elements of $\mathcal P$ and prove that this conjecture holds in the cases of symmetric groups (type $A$) and hyperoctahedral groups (type $B$).

Given a Coxeter system with a fixed Coxeter element, there is a surjective group morphism $Ψ$ from the standard to the dual Artin groups. We give conditions that are sufficient, necessary or equivalent to $Ψ$ being an isomorphism. In particular, we prove that if the Hurwitz action on the reduced words of any element in the noncrossing partition poset is transitive, and if the Hurwitz action on the reduced words of the Coxeter element has the same stabilizer as essentially the same action viewed in the standard Artin group, then $Ψ$ is an isomorphism. Both of those conditions are already known in some cases, notably in spherical and affine types. We then prove that taking the free (or direct) product of groups that satisfy those two conditions yields another group that, with a suitable Coxeter element, also satisfies them.

Hopf algebroids are generalizations of Hopf algebras to less commutative settings. We show how the comultiplication defined by Kostant and Kumar turns the affine nil Hecke algebra associated to a Coxeter system into a Hopf algebroid without an antipode. The proof relies on mixed dihedral braid relations between Demazure operators and simple reflections. For researchers new to Hopf algebroids we include additional examples from ring theory, representation theory, and algebraic geometry.

Any two reduced expressions for the same Coxeter group element are related by a sequence of commutation and braid moves. Two reduced expressions are said to be braid equivalent if they are related via a sequence of braid moves. Braid equivalence is an equivalence relation and the corresponding equivalence classes are called braid classes. Each braid class can be encoded in terms of a braid graph in a natural way. In a recent paper, Awik et al.~proved that when a Coxeter system is simply laced and triangle free (i.e., the corresponding Coxeter graph has no three-cycles), the braid graph for a reduced expression is a partial cube (i.e., isometric to a subgraph of a hypercube). In this paper, we will provide an alternate proof of this fact, as well as determine the minimal dimension hypercube into which a braid graph can be isometrically embedded, which addresses an open question posed by Awik et al. For our main result, we prove that braid graphs in simply-laced triangle-free Coxeter systems are median, which is a strengthening of previous results.

We study the cohomology ring of the Bott--Samelson variety. We compute an explicit presentation of this ring via Soergel's result, which implies that it is a purely combinatorial invariant. We use the presentation to introduce the Bott--Samelson ring associated with a word in arbitrary Coxeter system by generators and relations. In general, it is a split quadratic complete intersection algebra with a triangular pattern of relations. By a result of Tate, it follows that it is a Koszul algebra and we provide a quadratic (reduced) Gr{ö}bner basis. Furthermore, we prove that it satisfies the whole Kähler package, including the Poincaré duality, the hard Lefschetz theorem, and the Hodge--Riemann bilinear relations.