arXiv++ Combinatorics

The goal of this paper is twofold. Firstly, we provide a type-uniform formula for the torus complexity of the usual torus action on a Richardson variety, by developing the notion of algebraic dimensions of Bruhat intervals, strengthening a type $A$ result by Donten-Bury, Escobar and Portakal. In the process, we give an explicit description of the torus action on any Deodhar component as well as describe the root subgroups that comprise the component. Secondly, when a Levi subgroup in a reductive algebraic group acts on a Schubert variety, we exhibit a codimension preserving bijection between the Levi-Borel subgroup (a Borel subgroup in the Levi subgroup) orbits in the big open cell of that Schubert variety and torus orbits in the big open cell of a distinguished Schubert subvariety. This bijection has many applications including a type-uniform formula for the Levi-Borel complexity of the usual Levi-Borel subgroup action on a Schubert variety. We conclude by extending the Levi-Borel complexity results to a large class of Schubert varieties in the partial flag variety.

We define a partial order $\mathcal{P}_n$ on permutations of any given size $n$, which is the image of a natural partial order on inversion sequences. We call this the ``middle order''. We demonstrate that the poset $\mathcal{P}_n$ refines the weak order on permutations and admits the Bruhat order as a refinement, justifying the terminology. These middle orders are distributive lattices and we establish some of their combinatorial properties, including characterization and enumeration of intervals and boolean intervals (in general, or of any given rank), and a combinatorial interpretation of their Euler characteristic. We further study the (not so well-behaved) restriction of this poset to involutions, obtaining a simple formula for the Möbius function of principal order ideals there. Finally, we offer further directions of research, initiating the study of the canonical Heyting algebra associated with $\mathcal{P}_n$, and defining a parking function analogue of $\mathcal{P}_n$.

Rectangulations are decompositions of a square into finitely many axis-aligned rectangles. We describe realizations of $(n-1)$-dimensional polytopes associated with two combinatorial families of rectangulations composed of $n$ rectangles. They are defined as quotientopes of natural lattice congruences on the weak Bruhat order on permutations in $\mathfrak{S}_n$, and their skeleta are flip graphs on rectangulations. We give simple vertex and facet descriptions of these polytopes, in particular elementary formulas for computing the coordinates of the vertex corresponding to each rectangulation, in the spirit of J.-L. Loday's realization of the associahedron.

We show that the Combinatorial Invariance Conjecture for Kazhdan-Lusztig polynomials due to Lusztig and to Dyer, its parabolic analog due to Marietti, and a refined parabolic version that we introduce, are equivalent. We use this to give a new proof of Marietti's conjecture in the case of lower Bruhat intervals and to prove several new cases of the parabolic conjectures.

For an untwisted affine Kac-Moody Lie algebra $\mathfrak{g}$ with Cartan and Borel subalgebras $\mathfrak{h} \subset \mathfrak{b} \subset \mathfrak{g}$, affine Demazure modules are certain $U(\mathfrak{b})$-submodules of the irreducible highest-weight representations of $\mathfrak{g}$. We introduce here the associated affine Demazure weight polytopes, given by the convex hull of the $\mathfrak{h}$-weights of such a module. Using methods of geometric invariant theory, we determine inequalities which define these polytopes; these inequalities come in three distinct flavors, specified by the standard, opposite, or semi-infinite Bruhat orders. We also give a combinatorial characterization of the vertices of these polytopes lying on an arbitrary face, utilizing the more general class of twisted Bruhat orders.

Given a Coxeter group $W$ with Coxeter system $(W,S)$, where $S$ is finite. We provide a complete characterization of Boolean intervals in the weak order of $W$ uniformly for all Coxeter groups in terms of independent sets of the Coxeter graph. Moreover, we establish that the number of Boolean intervals of rank $k$ in the weak order of $W$ is ${i_k(Γ_W)\cdot|W|}\,/\,2^{k}$, where $Γ_W$ is the Coxeter graph of $W$ and $i_k(Γ_W)$ is the number of independent sets of size $k$ of $Γ_W$ when $W$ is finite. Specializing to $A_n$, we recover the characterizations and enumerations of Boolean intervals in the weak order of $A_n$ given in arXiv:2306.14734. We provide the analogous results for types $C_n$ and $D_n$, including the related generating functions and additional connections to well-known integer sequences.

The existence of acyclic complete matchings on the face poset of a regular CW complex implies that the underlying topological space of the CW complex is contractible by discrete Morse theory. In this paper, we construct explicitly acyclic complete matchings on any non-trivial Bruhat interval $[v,w]$ based on any reflection order on the Coxeter group $W$. We then apply this combinatorial result to regular CW complexes arising from the theory of total positivity. As an application, we show that the totally nonnegative Springer fibers are contractible. This verifies a conjecture of Lusztig. As another application, we show that the totally nonnegative fibers of the natural projection from full flag varieties to partial flag varieties are contractible. This leads to a much simplified proof of the regularity property on totally nonnegative partial flag varieties compared to the proofs by Galashin-Karp-Lam and in our earlier work.

Let $\mathcal{A}(R,S)$ denote the class of all matrices of zeros and ones with row sum vector $R$ and column sum vector~$S$. We introduce the notion of an inversion in a $(0,1)$--matrix. This definition extends the standard notion of an inversion of a permutation, in the sense that both notions agree on the class of permutation matrices. We prove that the number of inversions in a $(0,1)$--matrix is monotonic with respect to the secondary Bruhat order of the class $\mathcal{A}(R,S)$. We apply this result in establishing the maximum length of a chain in the Bruhat order of the class $\mathcal{A}(n,2)$ of $(0,1)$--matrices of order $n$ in which every row and every column has a sum of~$2$. We give algorithmic constructions of chains of maximum length in the Bruhat order of $\mathcal{A}(n,2)$.

An inversion in a matrix of zeros and ones consists of two entries both of which equal $1$, and one of which is located to the top-right of the other. It is known that in the class $\mathcal{A}(R,S)$ of $(0,1)$--matrices with row sum vector $R$ and column sum vector $S$, the number of inversions in a matrix is monotonic with respect to the secondary Bruhat order. Hence any two matrices in the same class $\mathcal{A}(R,S)$ having the same number of inversions, are incomparable in the secondary Bruhat order. We use this fact to construct antichains in the Bruhat order of $\mathcal{A}(n,2)$, the class of all $n\times n$ binary matrices with common row and column sum~$2$. A product construction of antichains in the Bruhat order of $\mathcal{A}(R,S)$ is given. This product construction is applied in finding antichains in the Bruhat order of the class $\mathcal{A}(2k,k)$ of square $(0,1)$--matrices of order $2k$ and common row and column sum~$k$.

We present a comprehensive study of the degeneracy loci of the full flag varieties of all complex semisimple Lie groups equipped with the standard Poisson structures. The reduced Poisson degeneracy loci are shown to stratify under the action of the canonical maximal torus into open Richardson varieties $\mathcal{R}_v^w$ for pairs of Weyl group elements $v \leq w$ that extend the covering relation of the Bruhat order. Four different combinatorial descriptions of those pairs are given, and it is shown that their Bruhat intervals are power sets. The corresponding closed Richardson varieties $\overline{\mathcal{R}_v^m}$ are shown to be isomorphic to $(\mathbb{C}\mathbb{P}^1)^d$ for $d \geq 0$ in a compatible way with the stratification. As a consequence, we obtain that the reduced Poisson degeneracy loci of all full flag varieties are connected, and all of their irreducible components are isomorphic to $(\mathbb{C}\mathbb{P}^1)^n$ for some $n \geq 0$; they are not equidimensional in general. Using the framework of projected Richardson varieties, these results are extended to all partial flag varieties. The top dimension of irreducible components of the reduced Poisson degeneracy locus in the full flag case is proved to be equal to the cardinality of Kostant's cascade of roots and the reflective length of the longest Weyl group element. It is shown that the Poisson degeneracy loci of flag varieties are not reduced in general.

We introduce the class of linearly shellable pure simplicial complexes. The characterizing property is the existence of a labeling of their vertices such that all linear extensions of the Bruhat order on the set of facets are shelling orders. Coxeter complexes of weak intervals and lower Bruhat intervals of parabolic right quotients, as type-selected Coxeter complexes of lower Bruhat intervals of parabolic left quotients, are proved to be linearly shellable. We also introduce the notion of linear strong shellability.

We study parabolic double cosets in a Coxeter system by decomposing them into atom(ic coset)s, a generalization of simple reflections introduced in a joint work with Elias, Libedinsky, Patimo. We define and classify braid relations between compositions of atoms and prove a Matsumoto theorem. Together with a quadratic relation, our braid relations give a presentation of nilCoxeter algebroids similar to Demazure's presentation of nilCoxeter algebras. Our consideration of reduced compositions of atoms gives rise to a new combinatorial structure, which is equipped with a length function and a Bruhat order and is realized as Tits cone intersections in the sense of Iyama-Wemyss.

In this paper, we show that the Bruhat order on any sect of a symmetric variety of type $AIII$ is lexicographically shellable. Our proof proceeds from a description of these posets as rook placements in a partition shape which fits in a $p \times q$ rectangle. This allows us to extend an EL-labeling of the rook monoid given by Can to an arbitrary sect. As a special case, our result implies that the Bruhat order on matrix Schubert varieties is lexicographically shellable.

A barcode is a finite multiset of intervals on the real line. Jaramillo-Rodriguez (2023) previously defined a map from the space of barcodes with a fixed number of bars to a set of multipermutations, which presented new combinatorial invariants on the space of barcodes. A partial order can be defined on these multipermutations, resulting in a class of posets known as combinatorial barcode lattices. In this paper, we provide a number of equivalent definitions for the combinatorial barcode lattice, show that its Möbius function is a restriction of the Möbius function of the symmetric group under the weak Bruhat order, and show its ground set is the Jordan-Hölder set of a labeled poset. Furthermore, we obtain formulas for the number of join-irreducible elements, the rank-generating function, and the number of maximal chains of combinatorial barcode lattices. Lastly, we make connections between intervals in the combinatorial barcode lattice and certain classes of matchings.

Motivated by classical combinatorial Schubert calculus on the Grassmannian, Huang--Pylyavskyy introduced a generalized theory of Robinson-Schensted-Knuth (RSK) correspondence for studying Schubert calculus on the complete flag variety via insertion algorithms. The inputs of the correspondence are certain biwords, the insertion objects are bumpless pipe dreams, and the recording objects are certain chains in Bruhat order. In particular, they defined plactic biwords and showed that classical Knuth relations can be generalized to plactic biwords. In this paper, we give an analogue of Fomin's growth diagrams for this generalized RSK correspondence on plactic biwords. We show that this growth diagram recovers the bijection between pipe dreams and bumpless pipe dreams of Gao--Huang.

Björner and Ekedahl [Ann. of Math. (2), 170.2(2009), pp. 799--817] pioneered the study of length-counting sequences associated with parabolic lower Bruhat intervals in crystallographic Coxeter groups. In this paper, we study the asymptotic behavior of these sequences in affine Weyl groups. Let $W$ be an affine Weyl group with corresponding Weyl group $W_f$ and ${}^{f}{W}$ be the set of minimal representatives for the right cosets $W_f \backslash W$. Let $t_λ$ be the translation by a dominant coroot lattice element $λ$ and ${}^{f}{b}_i^{t_λ}$ be the number of elements of length $i$ below $t_λ$ in the Bruhat order on ${}^{f}{W}$. We show that the sequence $({}^{f}{b}_i^{t_λ})_i$ is ''asymptotically log-concave'' in the following sense: The sequence of discrete measures $(\mathfrak{m}_k)_k$ constructed from the $k$-fold dilated sequence $({}^{f}{b}_i^{t_{kλ}})_i$, as $k$ tends to infinity, converges weakly to a continuous measure obtained from a polytope $P^λ$. Moreover, the sequence of step functions $(S_k)_k$ of $({}^{f}{b}_i^{t_{kλ}})_i$ converges uniformly to the density function of this continuous measure. By Brunn--Minkowski inequality, this density is log-concave.

We give a combinatorial proof that Postnikov and Stanley's formula for dual Schubert polynomials in terms of weighted chains in Bruhat order is equivalent to a classical Cauchy identity for polynomials. This gives a natural interpretation of Huang and Pylyavskyy's recent insertion algorithms.

Mirković-Vilonen (MV) polytopes are a class of generalized permutahedra originating from geometric representation theory. In this paper we study MV polytopes coming from matroid polytopes, flag matroid polytopes, Bruhat interval polytopes, and Schubitopes. We give classifications and combinatorial conditions for when these polytopes are MV polytopes. We also describe how the crystal structure on MV polytopes manifests combinatorially in these situations. As a special case, we show that the Newton polytopes of Schubert polynomials and key polynomials are MV polytopes.

We extend the recently-introduced weak Bruhat interval modules of the type A $0$-Hecke algebra to all finite Coxeter types. We determine, in a type-independent manner, structural properties for certain general families of these modules, with a primary focus on projective covers and injective hulls. We apply this approach to recover a number of results on type A $0$-Hecke modules in a uniform way, and obtain some additional results on recently-introduced families of type A $0$-Hecke modules.

We study the restriction of the strong Bruhat order on an arbitrary Coxeter group $W$ to cosets $x W_L^θ$, where $x$ is an element of $W$ and $W_L^θ$ the subgroup of fixed points of an automorphism $θ$ of order at most two of a standard parabolic subgroup $W_L$ of $W$. When $θ\neq\mathrm{id}$, there is in general more than one element of minimal length in a given coset, and we explain how to relate elements of minimal length. We also show that elements of minimal length in cosets are exactly those elements which are minimal for the restriction of the Bruhat order.