arXiv++ Combinatorics

As a generalization of weak Bruhat orders on permutations, in 1989 Manin and Schechtman introduced the notion of a higher Bruhat order on the $d$-element subsets of a set $[n]=\{1,2,\ldots,n\}$. Among other results in this field, they proved that the set of such orders for $n,d$ fixed, endowed with natural local transformations, constitutes a poset with one minimal and one maximal elements. In this paper we consider a wider model, involving the so-called convex order on certain path systems in an acyclic directed graph, introduce local transformations, or flips, on such orders and prove that the resulting structure gives a poset with one minimal and one maximal elements as well, yielding a generalization of the above-mentioned classical result.

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.

Single-peaked preferences and domains are extensively researched in social science and economics. In this study, we examine the interval property as well as combinatorial structure of single-peaked preferences on a fixed Left-Right social axis. We introduce a sign representation of single-peaked preferences; consequently, some cardinalities of single-peaked domains are easily obtained. Basic operations on the sign representation, which completely define the Bruhat poset, are also provided. The applications to known results and an isomorphic relation with associated rhombus tiling are given. Finally, we some discussions of related topics.

We characterize the quotients among lattice path matroids (LPMs) in terms of their diagrams. This characterization allows us to show that ordering LPMs by quotients yields a graded poset, whose rank polynomial has the Narayana numbers as coefficients. Furthermore, we study full lattice path flag matroids and show that -- contrary to arbitrary positroid flag matroids -- they correspond to points in the nonnegative flag variety. At the basis of this result lies an identification of certain intervals of the strong Bruhat order with lattice path flag matroids. A recent conjecture of Mcalmon, Oh, and Xiang states a characterization of quotients of positroids. We use our results to prove this conjecture in the case of LPMs.

Chow rings of flag varieties have bases of Schubert cycles $σ_u$, indexed by permutations. A major problem of algebraic combinatorics is to give a positive combinatorial formula for the structure constants of this basis. The celebrated Littlewood-Richardson rules solve this problem for special products $σ_u \cdot σ_v$ where $u$ and $v$ are $p$-Grassmannian permutations. Building on work of Wyser, we introduce backstable clans to prove such a rule for the problem of computing the product $σ_u \cdot σ_v$ when $u$ is $p$-inverse Grassmannian and $v$ is $q$-inverse Grassmannian. By establishing several new families of linear relations among structure constants, we further extend this result to obtain a positive combinatorial rule for $σ_u \cdot σ_v$ in the case that $u$ is covered in weak Bruhat order by a $p$-inverse Grassmannian permutation and $v$ is a $q$-inverse Grassmannian permutation.

We study the restriction of depth index statistic on the set of perfect matchings. In particular, we provide additional combinatorial description of the statistic for perfect matchings and calculate the generating polynomial. The main result of the present short paper is that the depth index on perfect matchings is equidistributed with the rank function of the Bruhat order.

Lehmer's code defines a bijection between the symmetric group and the set of staircase compositions. In this paper, we characterize a poset structure on these compositions that is equivalent to the strong Bruhat order on the symmetric group. This construction is intrinsic and does not require any reference to the associated permutations.

It is well-known that the $T$-fixed points of a Schubert variety in the flag variety $GL_n(\mathbb{C})/B$ can be characterized purely combinatorially in terms of Bruhat order on the symmetric group $\mathfrak{S}_n$. In a recent preprint, Cho, Hong, and Lee give a combinatorial description of the $T$-fixed points of Hessenberg analogues of Schubert varieties (which we call Hessenberg Schubert varieties) in a regular semisimple Hessenberg variety. This note gives an interpretation of their result in terms of Bruhat order by making use of a partition of the symmetric group defined using so-called subsets of Weyl type. The Appendix, written by Michael Zeng, proves a lemma concerning subsets of Weyl type which is required in our arguments.

Using Grothendieck's "functor of points" approach to algebraic geometry, we define a new infinite-dimensional algebro-geometric flag space as a $k$-functor (for $k$ a ring) which maps a $k$-algebra $R$ to the set of certain well-ordered chains of submodules of an infinite rank free $R$-module. This generalizes the well known construction of a $k$-functor that is represented by the classical (i.e. finite-dimensional) full flag scheme. We prove that as in the finite-dimensional case, there is an action of a general linear group on our flag space, that the stabilizer of the standard flag is the subgroup $B$ of upper triangular matrices, and that the Bruhat decomposition holds, meaning that our space is covered by the disjoint Schubert cells $\text{sh}(B σB) / B$ indexed by permutations $σ$ of an infinite set. Finally, in the case of flags indexed by the ordinal $ω+ 1$, we define an analog of the Bruhat order on this infinite permutation group and prove that when $k$ is a domain, Ehresmann's closure relations still hold, i.e. that the closure $\overline{\text{sh}(B σB) / B}$ is covered by the Schubert cells indexed by permutations smaller than $σ$ in the infinite Bruhat order.

A permutation is called smooth if the corresponding Schubert variety is smooth. Gilboa and Lapid prove that in the symmetric group, multiplying the reflections below a smooth element $w$ in Bruhat order in a compatible order yields back the element $w$. We strengthen this result by showing that such a product in fact determines a saturated chain $e \to w$ in Bruhat order, and that this property characterizes smooth elements.

An odd diagram class is a set of permutations with the same odd diagram. Brenti, Carnevale and Tenner showed that each odd diagram class is an interval in the Bruhat order. They conjectured that such intervals are rank-symmetric. In this paper, we present an algorithm to partition an odd diagram class in a uniform manner. As an application, we obtain that the Poincaré polynomial of an odd diagram class factors into polynomials of the form $1+t+\cdots+t^m$. This in particular resolves the conjecture of Brenti, Carnevale and Tenner.

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 gives us a method of comparing two Bruhat interval, that is faster than the general algorithm for checking if two graphs are isomorphic. This construction is inductive, and thus, can be easily applied for any interval length and Weyl group.

A Coxeter group is said to be \emph{$\mathbf{a}(2)$-finite} if it has finitely many elements of $\mathbf{a}$-value 2 in the sense of Lusztig. In this paper, we give explicit combinatorial descriptions of the left, right, and two-sided Kazhdan--Lusztig cells of $\mathbf{a}$-value 2 in an irreducible $\mathbf{a}(2)$-finite Coxeter group. In particular, we introduce elements we call \emph{stubs} to parameterize the one-sided cells and we characterize the one-sided cells via both star operations and weak Bruhat orders. We also compute the cardinalities of all the one-sided and two-sided cells.

We observe that the join operation for the Bruhat order on a Weyl group agrees with the intersections of Verma modules in type $A$. The statement is not true in other types, and we propose a conjectural statement of a weaker correspondence. Namely, we introduce distinguished subsets of the Weyl group on which the join operation conjecturally agrees with the intersections of Verma modules. We also relate our conjecture with a statement about the socles of the cokernels of inclusions between Verma modules. The latter determines the first Ext spaces between a simple module and a Verma module. We give a conjectural complete description of such socles, which we verify in a number of cases. Along the way, we determine the poset structure of the join-irreducible elements in Weyl groups and obtain closed formulae for certain families of Kazhdan-Lusztig polynomials.

We show that the poset of alternating sign matrices, with Bruhat order, is isomorphic to the poset of certain submodules of the dominant Verma module for the special linear Lie algebra $\frak{sl}_n$. The latter poset consists of the intersections of Verma submodules and can also be defined in terms of a Kazhdan-Lusztig cell.

The totally nonnegative Grassmannian $\mathrm{Gr}(k,n)_{\geq0}$ is the subset of the real Grassmannian $\mathrm{Gr}(k,n)$ consisting of points with all nonnegative Plücker coordinates. The circular Bruhat order is a poset isomorphic to the face poset of A. Postnikov's (2005) positroid cell decomposition of $\mathrm{Gr}(k,n)_{\geq0}$. We provide a closed formula for the sum of its weighted chains in the spirit of J. Stembridge (2002).

Motivated by recent work with Mazorchuk, we characterize the conditions under which the intersection of two principal order ideals in the Bruhat order is boolean. That characterization is presented in three versions: in terms of reduced words, in terms of permutation patterns, and in terms of permutation support. The equivalence of these properties follows from an analysis of what it means to have a specific letter repeated in a permutation's reduced words; namely, that a specific 321-pattern appears.

To any saturated chain in the affine Weyl group whose translation parts are sufficiently regular, we associate a near path and a far path in the quantum Bruhat graph. Using this, working in the Bruhat order on the minimal-length representatives of the cosets in the affine Weyl group with respect to the finite Weyl group, we characterize the pairs of elements for which the Möbius function is nonzero. This is applied to obtain explicit expansions in the $K$-theory of affine Grassmannians, of the basis of ideal sheaves into the basis of structure sheaves of Schubert varieties.

We propose versions of higher Bruhat orders for types $B$ and $C$. This is based on a theory of higher Bruhat orders of type~A and their geometric interpretations (due to Manin--Shekhtman, Voevodskii--Kapranov, and Ziegler), and on our study of the so-called symmetric cubillages of cyclic zonotopes.

We prove that the grades of simple modules indexed by boolean permutations, over the incidence algebra of the symmetric group with respect to the Bruhat order, are given by Lusztig's a-function. Our arguments are combinatorial, and include a description of the intersection of two principal order ideals when at least one permutation is boolean. An important object in our work is a reduced word written as minimally many runs of consecutive integers, and one step of our argument shows that this minimal quantity is equal to the length of the second row in the permutation's shape under the Robinson-Schensted correspondence. We also prove that a simple module over the above-mentioned incidence algebra is perfect if and only if its index is the longest element of a parabolic subgroup.