We consider the notion of discrete Ricci curvature for graphs defined by Schmuckenschl{ä}ger \cite{shmuck} and compute its value for Bruhat graphs associated to finite Coxeter groups. To do so we work with the geometric realization of a finite Coxeter group and a classical result obtained by Dyer in \cite{Dyer}. As an application we obtain a bound for the spectral gap of the Bruhat graph of any finite Coxeter group and an isoperimetric inequality for them. Our proofs are case-free.
We develop combinatorics of parabolic double cosets in finite Coxeter groups as a follow-up of recent articles by Billey-Konvalinka-Petersen-Slofstra-Tenner and Petersen. (1) We construct a double coset system as a generalization of a two-sided analogue of a Coxeter complex and present its order structure with its local dimension function on certain connected components. As applications of double cosets to Bruhat graphs, we also prove: (2) every parabolic double coset is regular, (3) invariance of degree on Bruhat graph on lower intervals as an analogy of the one for Kazhdan-Lusztig polynomial…
We give a criterion for Bruhat order on noncrossing partitions corresponding to the Coxeter element $c=s_1 s_2\cdots s_n$. Using it we prove that the Bruhat order endows noncrossing partitions with a lattice structure. We then explain what happens if we change the Coxeter element; in that case the lattice property fails and we explain which order to consider to get the same lattice structure as for the Coxeter element $c$. In particular we get bijections between noncrossing partitions associated to distinct Coxeter elements, which fix the set of reflections.
We provide a weaker version of the generalized lifting property which holds in complete generality for all finite Coxeter groups, and we use it to show that every parabolic Bruhat interval of a finite Coxeter group is a Coxeter matroid. We also describe some combinatorial properties of the associated polytopes.
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.
We study the interplay between the discrete geometry of Bruhat poset intervals and subword complexes of finite Coxeter systems. We establish connections between the cones generated by cover labels for Bruhat intervals and of root configurations for subword complexes, culminating in the notion of brick polyhedra for general subword complexes.
We prove that the restriction of Bruhat order to noncrossing partitions in type $A_n$ for the Coxeter element $c=s_1s_2 ...s_n$ forms a distributive lattice isomorphic to the order ideals of the root poset ordered by inclusion. Motivated by the change-of-basis from the graphical basis of the Temperley-Lieb algebra to the image of the simple elements of the dual braid monoid, we extend this bijection to other Coxeter elements using certain canonical factorizations. In particular, we give new bijections---fixing the set of reflections---between noncrossing partitions associated to distinct Coxet…
In [Journal of Pure and Applied Algebra {224} (2020), no 12, 106449], V. Mazorchuk and R. Mrđen (with some help by A. Hultman) prove that, given a Weyl group, the intersection of a Bruhat interval with a parabolic coset has a unique maximal element and a unique minimal element. We show that such intersections are actually Bruhat intervals also in the case of an arbitrary Coxeter group.
In this paper, we study the decomposition of Bruhat intervals in a Coxeter group with respect to cosets of a parabolic subgroup. Our main result is that the intersection of a lower Bruhat interval with a parabolic coset contains a unique maximal element. As an application, we give a decomposition formula for the Poincaré polynomial of a Coxeter group element. We also show that the fibers of standard parabolic projection maps on Schubert varieties are themselves Schubert varieties.
We show that for the simple random walk on a Coxeter group generated by the Coxeter generators and identity, the likelihoods of being at any pair of states respect the weak Bruhat order. That is, after any number of steps, the most likely element is the identity, probabilities decrease along any geodesic from the identity, and the least likely element is the longest element, if the group is finite. The result remains true when different generators have different probabilities, so long as the identity is at least as likely as any other.
We classify all quotients $W/W_J$ up to isomorphism in Bruhat order, with $(W,S)$ a Coxeter system and $W_J$ a parabolic subgroup of $W$. In particular, the non-trivial isomorphisms fall into a small number of cases which are highly restricted; all have $W$ finite and $W_J$ a maximal parabolic. This has the immediate application of classifying dominant and antidominant blocks of category $\mathcal O$ for Kac-Moody algebras up to equivalence.
In this article, we investigate the set of $γ$-sortable elements, associated with a Coxeter group $W$ and a Coxeter element $γ\in W$, under Bruhat order, and we denote this poset by $\mathcal{B}_γ$. We show that this poset belongs to the class of SB-lattices recently introduced by Hersh and Mészáros, by proving a more general statement, namely that all join-distributive lattices are SB-lattices. The observation that $\mathcal{B}_γ$ is join-distributive is due to Armstrong. Subsequently, we investigate for which finite Coxeter groups $W$ and which Coxeter elements $γ\in W$ the lattice $\mathcal…
Applying a classical theorem of Smith, we show that the poset property of being Gorenstein$^*$ over $\mathbb{Z}_2$ is inherited by the subposet of fixed points under an involutive poset automorphism. As an application, we prove that every interval in the Bruhat order on (twisted) involutions in an arbitrary Coxeter group has this property, and we find the rank function. This implies results conjectured by F. Incitti. We also show that the Bruhat order on the fixed points of an involutive automorphism induced by a Coxeter graph automorphism is isomorphic to the Bruhat order on the fixed subgrou…
We study the Ricci curvature of the Hasse diagrams of the Bruhat order of finite irreducible Coxeter groups. For this purpose we compute the maximum degree of these graphs for types $B_n$ and $D_n$. The proof uses a new graph $Γ(π)$ defined for any element $π$ in the corresponding group.
Let $W$ be a finite coxeter group, let $W_I$, $W_J$ be standard parabolic subgroups, let $u$, $v$ be minimal double cosets representatives of double cosets in $W_I W / W_J$ and let $u'$, $v'$ be the maximal representatives of those same two cosets. We show that $u < v$ if and only if $u' < v'$ for the Bruhat order.
Let $(W,S)$ be an arbitrary Coxeter system. For each word $ω$ in the generators we define a partial order--called the {\sf $ω$-sorting order}--on the set of group elements $W_ω\subseteq W$ that occur as subwords of $ω$. We show that the $ω$-sorting order is a supersolvable join-distributive lattice and that it is strictly between the weak and Bruhat orders on the group. Moreover, the $ω$-sorting order is a "maximal lattice" in the sense that the addition of any collection of Bruhat covers results in a nonlattice. Along the way we define a class of structures called {\sf supersolvable antimatro…
In theory of Coxeter groups, bigrassmannian elements are well known as elements which have precisely one left descent and precisely one right descent. In this article, we prove formulas on enumeration of bigrassmannian permutations weakly below a permutation in Bruhat order in the symmetric groups. For the proof, we use equivalent characterizations of bigrassmannian permutations by Lascoux-Schutzenberger and Reading.
We define a class of partial orders on a Coxeter group associated with sets of reflections. In special cases, these lie between the left weak order and the Bruhat order. We prove that these posets are graded by the length function and that the projections on the right parabolic quotients are always order preserving. We also introduce the notion of $k$-Bruhat graph, $k$-absolute length and $k$-absolute order, proposing some related conjectures and problems.
We introduce two order relations on finite Coxeter groups which refine the absolute and the Bruhat order, and establish some of their main properties. In particular we study the restriction of these orders to noncrossing partitions and show that the intervals for these orders can be enumerated in terms of the cluster complex. The properties of our orders permit to revisit several results in Coxeter combinatorics, such as the Chapoton triangles and how they are related, the enumeration of reflections with full support, the bijections between clusters and noncrossing partitions.
In [E. Tsukerman and L. Williams, {\em Bruhat Interval Polytopes}, Advances in Mathematics, 285 (2015), 766-810] it is shown that every Bruhat interval of the symmetric group satisfies the so-called generalized lifting property. In this paper we show that a Coxeter group satisfies this property if and only if it is finite and simply-laced.
We derive the cluster structure on the conjugation quotient Coxeter double Bruhat cells of a simple Lie group from that on the double Bruhat cells of the corresponding adjoint Lie group given by Fock and Goncharov using the notion of amalgamation given by Fock and Goncharov, and Williams, thereby generalizing the construction developed by Gekhtman \emph{et al}. We will then use this cluster structure on the conjugation quotient Coxeter double Bruhat cells to construct generalized Bäcklund-Darboux transformations between two Coxeter-Toda systems on simple Lie groups in terms of cluster mutation…
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 correspondenc…
Special matchings are purely combinatorial objects associated with a partially ordered set, which have applications in Coxeter group theory. We provide an explicit characterization and a complete classification of all special matchings of any lower Bruhat interval. The results hold in any arbitrary Coxeter group and have also applications in the study of the corresponding parabolic Kazhdan--Lusztig polynomials.
Westwood High School（韦斯特伍德高中）；Cranbrook Kingswood Upper School（克兰布鲁克金伍兹高中部）；Oklahoma State University（俄克拉荷马州立大学）；Texas State University（德克萨斯州立大学）；West Windsor-Plainsboro High School North（西温莎-普莱恩斯伯勒北高中）；Seven Lakes High School（七湖高中）
From a combinatorial perspective, we establish three inequalities on coefficients of $R$- and Kazhdan-Lusztig polynomials for crystallographic Coxeter groups: (1) Nonnegativity of $(q-1)$-coefficients of $R$-polynomials, (2) a new criterion of rational singularities of Bruhat intervals by sum of quadratic coefficients of $R$-polynomials, (3) existence of a certain strict inequality (coefficientwise) of Kazhdan-Lusztig polynomials. Our main idea is to understand Deodhar's inequality in a connection with a sum of $R$-polynomials and edges of Bruhat graphs.
Given a Coxeter system (W,S) equipped with an involutive automorphism T, the set of twisted identities is i(T) = {T(w)^{-1}w : w \in W}. We point out how i(T) shows up in several contexts and prove that if there is no s \in S such that sT(s) is of odd order greater than 1, then the Bruhat order on i(T) is a graded poset with rank function r given by halving the Coxeter length. Under the same condition, it is shown that the order complexes of the open intervals either are PL spheres or acyclic over the integers. In the general case, contractibility is shown for certain classes of intervals. Fur…
The number of Bruhat intervals in Coxeter groups is finite, and for the first few lengths, the intervals were described up to an isomorphism by A. Hultman using the correspondence between Bruhat intervals and cell decompositions of a 2d sphere and straightforward computations. The main purpose of this paper consists of a description of the intervals in higher dimensions, as the Hultman's geometric method is hard to apply due to rapidly growing with length number of nonisomorphic intervals. We construct an invariant on subintervals in the Bruhat graphs, using their specific properties. This giv…
Let u and v be permutations on n letters, with u <= v in Bruhat order. A Bruhat interval polytope Q_{u,v} is the convex hull of all permutation vectors z = (z(1), z(2),...,z(n)) with u <= z <= v. Note that when u=e and v=w_0 are the shortest and longest elements of the symmetric group, Q_{e,w_0} is the classical permutohedron. Bruhat interval polytopes were studied recently by Kodama and the second author, in the context of the Toda lattice and the moment map on the flag variety. In this paper we study combinatorial aspects of Bruhat interval polytopes. For example, we give an inequality descr…
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 …
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 orien…
We study the projective objects in an exact category naturally associated to a Coxeter system. We discuss an analog of the Kazhdan-Lusztig conjecture and show how it follows from a "genericity" conjecture and how the latter follows from a "Hard Lefschetz" conjecture.
We express the discrete Ricci curvature of a graph as the minimal eigenvalue of a family of matrices, one for each vertex of a graph whose entries depend on the local adjaciency structure of the graph. Using this method we compute or bound the Ricci curvature of Cayley graphs of finite Coxeter groups and affine Weyl groups. As an application we obtain an isoperimetric inequality that holds for all Cayley graphs of finite Coxeter groups.
The open intervals in the Bruhat order on twisted involutions in a Coxeter group are shown to be PL spheres. This implies results conjectured by F. Incitti and sharpens the known fact that these posets are Gorenstein* over Z_2. We also introduce a Boolean cell complex which is an analogue for twisted involutions of the Coxeter complex. Several classical Coxeter complex properties are shared by our complex. When the group is finite, it is a shellable sphere, shelling orders being given by the linear extensions of the weak order on twisted involutions. Furthermore, the h-polynomial of the comple…
The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over Z[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of ``quasiparabolic" subgroups (more generally, quasiparabolic W-sets), and show that they also inherit these properties. Our motivating example is the action of the symmetric group on fixed-point-free involutions by conjugation.
We study the appearance of notable interval structures -- lattices, modular lattices, distributive lattices, and boolean lattices -- in both the Bruhat and weak orders of Coxeter groups. We collect and expand upon known results for principal order ideals, including pattern characterizations and enumerations for the symmetric group. This segues naturally into a similar analysis for arbitrary intervals, although the results are less characterizing for the Bruhat order at this generality. In counterpoint, however, we obtain a full characterization for intervals starting at rank one in the symmetr…
We construct a family of integrable Hamiltonian systems generalizing the relativistic periodic Toda lattice, which is recovered as a special case. The phase spaces of these systems are double Bruhat cells corresponding to pairs of Coxeter elements in the affine Weyl group. In the process we extend various results on double Bruhat cells in simple algebraic groups to the setting of Kac-Moody groups. We also generalize some fundamental results in Poisson-Lie theory to the setting of ind-algebraic groups, which is of interest beyond our immediate applications to integrable systems.
In certain finite posets, the expected down-degree of their elements is the same whether computed with respect to either the uniform distribution or the distribution weighting an element by the number of maximal chains passing through it. We show that this coincidence of expectations holds for Cartesian products of chains, connected minuscule posets, weak Bruhat orders on finite Coxeter groups, certain lower intervals in Young's lattice, and certain lower intervals in the weak Bruhat order below dominant permutations. Our tools involve formulas for counting nearly reduced factorizations in 0-H…
We generalize chain enumeration in graded partially ordered sets by relaxing the graded, poset and Eulerian requirements. The resulting balanced digraphs, which include the classical Eulerian posets having an $R$-labeling, imply the existence of the (non-homogeneous) ${\bf cd}$-index, a key invariant for studying inequalities for the flag vector of polytopes. Mirroring Alexander duality for Eulerian posets, we show an analogue of Alexander duality for balanced digraphs. For Bruhat graphs of Coxeter groups, an important family of balanced graphs, our theory gives elementary proofs of the existe…
Beijing International Center for Mathematical Research, Peking University（北京大学北京国际数学研究中心）；Institute for Theoretical Sciences, Westlake University（西湖大学理论科学研究所）
In this article we provide a new finite class of elements in any Coxeter system (W,S) called low elements. They are defined from Brink and Howlett's small roots, which are strongly linked to the automatic structure of (W,S). Our first main result is to show that they form a Garside shadow in (W,S), i.e., they contain S and are closed under join (for the right weak order) and by taking suffixes. These low elements are the key to prove that all finitely generated Artin-Tits groups have a finite Garside family. This result was announced in a note with P. Dehornoy (P. Dehornoy, M. Dyer, and C. Hoh…
In any Coxeter group, the set of elements whose principal order ideals are boolean forms a simplicial poset under the Bruhat order. This simplicial poset defines a cell complex, called the boolean complex. In this paper it is shown that, for any Coxeter system of rank n, the boolean complex is homotopy equivalent to a wedge of (n-1)-dimensional spheres. The number of such spheres can be computed recursively from the unlabeled Coxeter graph, and defines a new graph invariant called the boolean number. Specific calculations of the boolean number are given for all finite and affine irreducible Co…
We provide a concrete realization of the cluster algebras associated with Q-systems as amalgamations of cluster structures on double Bruhat cells in simple algebraic groups. For nonsimply-laced groups, this provides a cluster-algebraic formulation of Q-systems of twisted type. It also yields a uniform proof of the discrete integrability of these Q-systems by identifying them with the dynamics of factorization mappings on quotients of double Bruhat cells. On the double Bruhat cell itself, we find these dynamics are closely related to those of the Fomin-Zelevinsky twist map. This leads to an exp…
This survey is about combinatorial objects related to reflection groups and their applications in representation theory and arithmetic geometry. Coxeter groups and folded galleries in Coxeter complexes are introduced in detail and illustrated by examples. Further it is explained how they relate to retractions in Bruhat-Tits buildings and to the geometry of affine flag varieties and affine Grassmannians. The goal is to make these topics accessible to a wide audience.
Let (W,S) be a crystallographic Coxeter group (this includes all finite and affine Weyl groups), and J a subset of S. Let $W^J$ denote the set of minimal coset representatives modulo the parabolic subgroup $W_J$. For w in $W^J$, let $f^{w,J}_{i}$ denote the number of elements of length i below w in Bruhat order on $W^J$ (notation simplified to $f^{w}_{i}$ in the case when J=S). We show that $f^{w,J}_{i}$ is less than or equal to $f^{w,J}_{j}$ when i < j and j is less than or equal to the length of w minus i. Furthermore, we express when an initial and final interval of the f's is symmetric aro…
By a theorem of A.Björner, for every interval $[u,v]$ in the Bruhat order of a Coxeter group $W$, there exists a stratified space whose strata are labeled by the elements of $[u,v]$, adjacency is described by the Bruhat order, and each closed stratum (resp., the boundary of each stratum) has the homology of a ball (resp., of a sphere). Answering a question posed by Björner, we suggest a natural geometric realization of these stratified spaces for a Weyl group $W$ of a semisimple Lie group $G$, and prove its validity in the case of the symmetric group. Our stratified spaces arise as links in th…
For any finite Coxeter system $(W,S)$ we construct a certain noncommutative algebra, so-called {\it bracket algebra}, together with a familiy of commuting elements, so-called {\it Dunkl elements.} Dunkl elements conjecturally generate an algebra which is canonically isomorphic to the coinvariant algebra of the group $W.$ We prove this conjecture for classical Coxeter groups and $I_2(m)$. We define a ``quantization'' and a multiparameter deformation of our construction and show that for Lie groups of classical type and $G_2,$ the algebra generated by Dunkl elements in the quantized bracket alge…
