arXiv++ Combinatorics

We show that the conflated expression graph for an arbitrary permutation has a unique minimal element and a unique maximal element, and every reduced expression sits on a maximal chain from the source to the sink. This generalizes the work of Manin-Schechtman regarding higher Bruhat orders, and gives an independent and self-contained proof of certain results in Hothem. In addition, we give explicit algorithms for elements in the top and bottom commutation classes. Given any reduced expression $ρ$, we give an explicit method for producing a maximal chain containing $ρ$.

In this article, we investigate the toric Schubert varieties in partial flag varieties $G/P$ for a connected semisimple algebraic group $G$. Using Deodhar's decomposition of Richardson varieties and the work of Pasquier, we give an explicit description of the fan of a toric Schubert variety, leading to a combinatorial model for its cones. As an application, we obtain necessary and sufficient conditions for smoothness of toric Schubert varieties in terms of the Cartan integers associated to a reduced expression. Furthermore, we prove that for a Coxeter-type element $w \in W^P$, the interval $[e,w]_{W^P}$ is a supersolvable join-distributive lattice. Finally, we apply these results to the study of spherical and horospherical Schubert varieties, providing a combinatorial method for checking the smoothness via the associated toric Schubert varieties.

We construct a family of polytopes, which we call Chevalley polytopes, associated to homogeneous spaces $X=G/P$ in their projective embeddings $X\hookrightarrow \mathbb{P}(V_{\varpi})$ together with a choice of reduced expression for the minimal coset representative $w^P$ of $w_0$ in $W/W_P$. When $X$ is minuscule in its minimal embedding, we describe our construction in terms of order polytopes of minuscule posets and use the associated combinatorics to show that minuscule Chevalley polytopes are Newton-Okounkov bodies for $X$ and that the Plücker coordinates on $X$ form a Khovanskii basis for $\mathbb{C}[X]$. We conjecture similar properties for general $X$ and general embeddings $X\hookrightarrow\mathbb{P}(V_\varpi)$, along with a remarkable decomposition property which we consider as a polytopal shadow of the Littlewood-Richardson rule. We highlight a connection between Chevalley polytopes and string polytopes and give examples where Chevalley polytopes possess better combinatorial properties than string polytopes. We conclude with several examples further illustrating and supporting our conjectures.

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.

The reflections in a Coxeter group are defined as conjugates of a single generator, and thus admit palindromic expressions as products of generators. Our main result gives closed formulas providing a palindromic reduced expression for each reflection in any finite Weyl group. There exist algorithmic methods for determining such reduced expressions, but explicit formulas have not been recorded outside of well-known special cases.

The notion of a reduced expression for a double coset in a Coxeter group was introduced by Williamson, and recent work of Elias and Ko has made this theory more accessible and combinatorial. One result of Elias-Ko is that any coset admits a reduced expression which factors through a reduced expression for a related coset called its core. In this paper we define a class of cosets called atomic cosets, and prove that every core coset admits a reduced expression as a composition of atomic cosets. This leads to an algorithmic construction of a reduced expression for any coset. In types $A$ and $B$ we prove that the combinatorics of compositions of atomic cosets matches the combinatorics of ordinary expressions in a smaller group. In other types the combinatorics is new, as explored in a sequel by Ko.

Let $(W,S)$ be a Coxeter system, and write $S=\{s_i:i\in I\}$, where $I$ is a finite index set. Fix a nonempty convex subset $\mathscr{L}$ of $W$. If $W$ is of type $A$, then $\mathscr{L}$ is the set of linear extensions of a poset, and there are important Bender--Knuth involutions $\mathrm{BK}_i\colon\mathscr{L}\to\mathscr{L}$ indexed by elements of $I$. For arbitrary $W$ and for each $i\in I$, we introduce an operator $τ_i\colon W\to W$ (depending on $\mathscr{L}$) that we call a noninvertible Bender--Knuth toggle; this operator restricts to an involution on $\mathscr{L}$ that coincides with $\mathrm{BK}_i$ in type $A$. Given a Coxeter element $c=s_{i_n}\cdots s_{i_1}$, we consider the operator $\mathrm{Pro}_c=τ_{i_n}\cdotsτ_{i_1}$. We say $W$ is futuristic if for every nonempty finite convex set $\mathscr{L}$, every Coxeter element $c$, and every $u\in W$, there exists an integer $K\geq 0$ such that $\mathrm{Pro}_c^K(u)\in\mathscr{L}$. We prove that finite Coxeter groups, right-angled Coxeter groups, rank-3 Coxeter groups, affine Coxeter groups of types $\widetilde A$ and $\widetilde C$, and Coxeter groups whose Coxeter graphs are complete are all futuristic. When $W$ is finite, we actually prove that if $s_{i_N}\cdots s_{i_1}$ is a reduced expression for the long element of $W$, then $τ_{i_N}\cdotsτ_{i_1}(W)=\mathscr{L}$; this allows us to determine the smallest integer $\mathrm{M}(c)$ such that $\mathrm{Pro}_c^{\mathrm{M}(c)}(W)=\mathscr{L}$ for all $\mathscr{L}$. We also exhibit infinitely many non-futuristic Coxeter groups, including all irreducible affine Coxeter groups that are not of type $\widetilde A$, $\widetilde C$, or $\widetilde G_2$.

The Bruhat order on a Coxeter group is often described by examining subexpressions of a reduced expression. We prove that an analogous description applies to the Bruhat order on double cosets. This establishes the compatibility of the Bruhat order on double cosets with concatenation, leading to compatibility between the monoidal structure and the ideal of lower terms in the singular Hecke 2-category. We also prove other fundamental properties of this ideal of lower terms.

Let $\mathfrak{g}$ be an untwisted affine Lie algebra with associated Weyl group $W_a$. To any level 0 weight $γ$ we associate a weighted graph $Γ_γ$ that encodes the orbit of $γ$ under the action $W_a$. We show that the graph $Γ_γ$ encodes the periodic orientation of certain subsets of alcoves in $W_a$ and therefore can be interpreted as an automaton determining the reduced expressions in these subsets. Then, by using some relevant quotients of the homology ring of affine Grassmannians, we show that $Γ_γ$ is positively multiplicative. This allows us in particular to compute the structure constants of the homology rings using elementary linear algebra on multiplicative graphs. In another direction, the positivity of $Γ_γ$ yields the key ingredients to study a large class of central random walks on alcoves.

Nakada's colored hook formula is a vast generalization of many important formulae in combinatorics, such as the classical hook length formula and the Peterson's formula for the number of reduced expressions of minuscule Weyl group elements. In this paper, we utilize cohomological properties of Segre-MacPherson classes of Schubert cells and varieties to prove a generalization of a cohomological version of Nakada's formula, in terms of smoothness properties of Schubert varieties. A key ingredient in the proof is the study of a decorated version of the Bruhat graph. Summing over weighted paths of this graph give the terms in the generalized Nakada's formula, and also provide algorithms to calculate structure constants of multiplications of Segre-MacPherson classes of Schubert cells. For simply laced Weyl groups, we also show the equality of `skew' and `straight' Nakada's formulae. This utilizes a criterion for smoothness in terms of excited diagrams of heaps of minuscule elements, which might be of independent interest.

We enlarge a Coxeter group into a category, with one object for each finite parabolic subgroup, encoding the combinatorics of double cosets. This category, the singular Coxeter monoid, is connected to the geometry of partial flag varieties. Our main result is a presentation of this category by generators and relations. We also provide a new description of reduced expressions for double cosets. We describe all the braid relations between such reduced expressions, and prove an analogue of Matsumoto's theorem. This gives a proper development of ideas first introduced by Geordie Williamson. In type A we also equip the singular Coxeter monoid with a diagrammatic presentation using webs.

In this paper, we study the structure of braid graphs in simply-laced Coxeter systems. We prove that every reduced expression has a unique factorization as a product of so-called links, which in turn induces a decomposition of the braid graph into a box product of the braid graphs for each link factor. When the Coxeter graph has no three-cycles, we use the decomposition to prove that braid graphs are partial cubes, i.e., can be isometrically embedded into a hypercube. For a special class of links, called Fibonacci links, we prove that the corresponding braid graphs are Fibonacci cubes.

For a Coxeter element $c$ of a finite Coxeter group, we consider a family of subword complexes parameterized by reduced expressions of the longest element. This family generalizes $c-$cluster complexes. We describe vertices of these complexes in terms of roots of the corresponding root system. We prove that dual polytopes of all such complexes are combinatorial 2-truncated cubes.

We show that $w\in W$ is boolean if and only if it avoids a set of Billey-Postnikov patterns, which we describe explicitly. Our proof is based on an analysis of inversion sets, and it is in large part type-uniform. We also introduce the notion of linear pattern avoidance, and show that boolean elements are characterized by avoiding just the $3$ linear patterns $s_1 s_2 s_1 \in W(A_2)$, $s_2 s_1 s_3 s_2 \in W(A_3)$, and $s_2 s_1 s_3 s_4 s_2 \in W(D_4)$. We also consider the more general case of $k$-boolean Weyl group elements. We say that $w\in W$ is $k$-boolean if every reduced expression for $w$ contains at most $k$ copies of each generator. We show that the $2$-boolean elements of the symmetric group $S_n$ are characterized by avoiding the patterns $3421,4312,4321,$ and $456123$, and give a rational generating function for the number of $2$-boolean elements of $S_n$.

Generalizing stack sorting and $c$-sorting for permutations, we define the permutree sorting algorithm. Given two disjoint subsets $U$ and $D$ of $\{2, \dots, n-1\}$, the $(U,D)$-permutree sorting tries to sort the permutation $π\in \mathfrak{S}_n$ and fails if and only if there are $1 \le i < j < k \le n$ such that $π$ contains the subword $jki$ if $j \in U$ and $kij$ if $j \in D$. This algorithm is seen as a way to explore an automaton which either rejects all reduced expressions of $π$, or accepts those reduced expressions for $π$ whose prefixes are all $(U,D)$-permutree sortable.

We describe the embedding from the crystal of Kashiwara-Nakashima tableaux in type $D$ of an arbitrary shape into that of $\mathbf{i}$-Lusztig data associated to a family of reduced expressions $\mathbf{i}$ which are compatible with the maximal Levi subalgebra of type $A$. The embedding is described explicitly in terms of well-known combinatorics of type $A$ including the Schützenberger's jeu de taquin and an analog of RSK algorithm.

Let $G=PSO(2n+1, \mathbb{C}) (n \ge 3)$ and $B$ be the Borel subgroup of $G$ containing maximal torus $T$ of $G.$ Let $w$ be an element of Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w.$ Let $Z(w, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of $X(w)$) corresponding to a reduced expression $\underline{i}$ of $w.$ In this article, we study the cohomology modules of the tangent bundle on $Z(w_{0}, \underline{i}),$ where $w_{0}$ is the longest element of the Weyl group $W.$ We describe all the reduced expressions of $w_{0}$ in terms of a Coxeter element such that all the higher cohomology modules of the tangent bundle on $Z(w_{0}, \underline{i})$ vanish (see Theorem \ref{theorem 8.1}).

Let $G$ be a simple algebraic group of adjoint type over $\mathbb{C},$ whose root system is of type $F_{4}.$ Let $T$ be a maximal torus of $G$ and $B$ be a Borel subgroup of $G$ containing $T.$ Let $w$ be an element of Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w.$ Let $Z(w, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of $X(w)$) corresponding to a reduced expression $\underline{i}$ of $w.$ In this article, we study the cohomology modules of the tangent bundle on $Z(w_{0}, \underline{i}),$ where $w_{0}$ is the longest element of the Weyl group $W.$ We describe all the reduced expressions of $w_{0}$ in terms of a Coxeter element such that $Z(w_{0}, \underline{i})$ is rigid (see Theorem 8.1). Further, if $G$ is of type $G_{2},$ there is no reduced expression $\underline{i}$ of $w_{0}$ for which $Z(w_{0}, \underline{i})$ is rigid (see Theorem 8.2).

In this article we explain how the coordinate ring of each (open) Schubert variety in the Grassmannian can be identified with a cluster algebra, whose combinatorial structure is encoded using (target labelings of) Postnikov's plabic graphs. This result generalizes a theorem of Scott (Scott 2006) for the Grassmannian, and proves a folklore conjecture for Schubert varieties that has been believed by experts since (Scott 2006), though the statement was not formally written down until Müller-Speyer explicitly conjectured it (Müller-Speyer 2016). To prove this conjecture we use a result of Leclerc (Leclerc 2016), who used the module category of the preprojective algebra to prove that coordinate rings of many Richardson varieties in the complete flag variety can be identified with cluster algebras. Our proof also uses a construction of Karpman (Karpman 2016) to build plabic graphs associated to reduced expressions. We additionally generalize our result to the setting of skew Schubert varieties; the latter result uses generalized plabic graphs, i.e. plabic graphs whose boundary vertices need not be labeled in cyclic order.

We give an explicit combinatorial description of cluster structures in Schubert varieties of the Grassmannian in terms of (target labelings of) Postnikov's plabic graphs. This description is a natural generalization of the description given by (Scott 2006) for the Grassmannian and has been believed by experts essentially since (Scott 2006), though the statement was not formally written down until (Müller-Speyer 2016). To prove this conjecture we use a result of (Leclerc 2016), who used the module category of the preprojective algebra to prove that coordinate rings of many Richardson varieties in the complete flag variety admit cluster structures. We also adapt a construction of (Karpman 2016) to build cluster seeds associated to reduced expressions. Further, we explicitly describe cluster structures in skew Schubert varieties using plabic graphs whose boundary vertices need not be labeled in cyclic order.