arXiv++ Combinatorics

Characterizations of lower and upper bounds for dual characters of flagged Weyl modules have attracted considerable interest. In this paper, we establish explicit pattern avoidance characterizations for lower and upper bounds of Schur characters, namely, the dual characters of Weyl modules associated with arbitrary diagrams. This setting extends the corresponding extremal problems for dual characters of flagged Weyl modules and includes skew Schur polynomials and, through Rothe diagrams, Stanley symmetric functions. Specifically, for a permutation $w$, we show that the Stanley symmetric function $F_w$ attains the lower bound if and only if $w$ avoids $321,2143,2413,3142$, and $3412$, and attains the upper bound if and only if $w$ avoids $312$ and $321$.

We use perfect matchings and labelled Fano planes to construct and study the $2025$ orthogonal bases of positive roots in the $E_8$ root system. The set of these bases forms a highly structured, Bruhat-like graded poset $(Ω, \leq_Q)$ whose rank function can be computed from the cardinalities of so-called generalized Rothe diagrams. We give combinatorial characterizations of these diagrams in terms of matchings and Fano planes, and we explain how to compute the ranks of the elements of $Ω$ using suitable combinatorial statistics such as the weights of perfect matchings. We establish simple formulas for the rank generating functions of $Ω$ and of its 50 congruence classes under a natural order congruence relation. Our derivation of the generating functions contains some intermediate results on general perfect matchings and labelled Fano planes that can be stated without mentioning root systems and may be of independent interest.

In this paper, we study when a real matrix Schubert variety is stationary with respect to the first variation. We first show that a necessary condition for its open dense regular part to be a minimal submanifold is that the corresponding partial permutation is vexillary. Among vexillary partial permutations, we establish minimality by a geometric argument when the Rothe diagram is of Grassmannian type and has at most two connected components. We further obtain, as a corollary, the minimality of those varieties that decompose as products of this type. These varieties include all determinantal varieties as well as some new minimal cones.

Let $U$ be a set of positive roots of type $ADE$, and let $Ω_U$ be the set of all maximum cardinality orthogonal subsets of $U$. For each element $R \in Ω_U$, we define a generalized Rothe diagram whose cardinality we call the level, $ρ(R)$, of $R$. We define the generalized quantum Hafnian of $U$ to be the generating function of $ρ$, regarded as a $q$-polynomial in $U$. Several widely studied algebraic and combinatorial objects arise as special cases of these constructions, and in many cases, $Ω_U$ has the structure of a graded partially ordered set with rank function $ρ$. A motivating example of the construction involves a certain set of $k^2$ roots in type $D_{2k}$, where the elements of $Ω_U$ correspond to permutations in $S_k$, the generalized Rothe diagrams are the traditional Rothe diagrams associated to permutations, the level of a permutation is its length, the generalized quantum Hafnian is the $q$-permanent, and the partial order is the Bruhat order. We exhibit many other natural examples of this construction, including one involving perfect matchings, two involving labelled Fano planes, and one involving the invariant cubic form in type $E_6$.

We study the set of networks, which consist of sources, sinks and neutral points, bijective to the permutations. The set of directed edges, which characterizes a network, is constructed from a polyomino or a Rothe diagram of a permutation through a Dyck tiling on a ribbon. We introduce a new combinatorial object similar to a tree-like tableau, which we call a forest. A forest is shown to give a permutation, and be bijective to a network corresponding to the inverse of the permutation. We show that the poset of networks is a finite graded lattice and admits an $EL$-labeling. By use of this $EL$-labeling, we show the lattice is supersolvable and compute the Möbius function of an interval of the poset.

For a subset $D$ of boxes in an $n\times n$ square grid, let $χ_{D}(x)$ denote the dual character of the flagged Weyl module associated to $D$. It is known that $χ_{D}(x)$ specifies to a Schubert polynomial (resp., a key polynomial) in the case when $D$ is the Rothe diagram of a permutation (resp., the skyline diagram of a composition). One can naturally define a lower and an upper bound of $χ_{D}(x)$. M{é}sz{á}ros, St. Dizier and Tanjaya conjectured that $χ_{D}(x)$ attains the upper bound if and only if $D$ avoids a certain subdiagram. We provide a proof of this conjecture.

Rothe diagrams are diagrams which track inversions of a permutation. We define six main properties that Rothe diagrams fulfill: the southwest, dot, popping, numbering, step-out avoiding, and empty cell gap rules. We prove that -- given an arbitrary bubble diagram -- four different subsets of these properties provide sufficient criteria for the diagram to be a Rothe diagram. We also prove that when a set of ordered, freely floating, non-empty columns satisfy the numbering and step-out avoiding rules, then they can be arranged into a Rothe diagram.

The Castelnuovo-Mumford polynomial $\widehat{\mathfrak{G}}_w$ with $w \in S_n$ is the highest homogeneous component of the Grothendieck polynomial $\mathfrak{G}_w$. Pechenik, Speyer and Weigandt define a statistic $\mathsf{rajcode}(\cdot)$ on $S_n$ that gives the leading monomial of $\widehat{\mathfrak{G}}_w$. We introduce a statistic $\mathsf{rajcode}(\cdot)$ on any diagram $D$ through a combinatorial construction ``snow diagram'' that augments and decorates $D$. When $D$ is the Rothe diagram of a permutation $w$, $\mathsf{rajcode}(D)$ agrees with the aforementioned $\mathsf{rajcode}(w)$. When $D$ is the key diagram of a weak composition $α$, $\mathsf{rajcode}(D)$ yields the leading monomial of $\widehat{\mathfrak{L}}_α$, the highest homogeneous component of the Lascoux polynomials $\mathfrak{L}_α$. We use $\widehat{\mathfrak{L}}_α$ to construct a basis of $\widehat{V}_n$, the span of $\widehat{\mathfrak{G}}_w$ with $w \in S_n$. Then we show $\widehat{V}_n$ gives a natural algebraic interpretation of a classical $q$-analogue of Bell numbers.

Kohnert proposed the first monomial positive formula for Schubert polynomials as the generating polynomial for certain unit cell diagrams obtained from the Rothe diagram of a permutation. Billey, Jockusch and Stanley gave the first proven formula for Schubert polynomials as the generating polynomial for compatible sequences of reduced words of a permutation. In this paper, we give an explicit bijection between these two models, thereby definitively proving Kohnert's rule for Schubert polynomials.

For a given permutation $π\in S_N$, Fulton proves that the matrix Schubert variety $\overline{X_π} \cong Y_π \times \mathbb{C}^q$ can be defined via certain rank conditions encoded in the Rothe diagram of $π$. In the case where $Y_π:=\text{TV}(σ_π)$ is toric (with respect to a $(\mathbb{C}^*)^{2N-1}$ action), we show that it can be described as an edge ideal of a bipartite graph $G^π$. We characterize the lower dimensional faces of the associated so-called edge cone $σ_π$ explicitly in terms of subgraphs of $G^π$ and present a combinatorial study for the first order deformations of $Y_π$. We prove that $Y_π$ is rigid if and only if the three-dimensional faces of $σ_π$ are all simplicial. Moreover, we reformulate this result in terms of Rothe diagram of $π$.

Let $w$ be a permutation of $\{1,2,\ldots,n \}$, and let $D(w)$ be the Rothe diagram of $w$. The Schubert polynomial $\mathfrak{S}_w(x)$ can be realized as the dual character of the flagged Weyl module associated to $D(w)$. This implies a coefficient-wise inequality \[\mathrm{Min}_w(x)\leq \mathfrak{S}_w(x)\leq \mathrm{Max}_w(x),\] where both $\mathrm{Min}_w(x)$ and $\mathrm{Max}_w(x)$ are polynomials determined by $D(w)$. Fink, Mészáros and St.$\,$Dizier found that $\mathfrak{S}_w(x)$ equals the lower bound $\mathrm{Min}_w(x)$ if and only if $w$ avoids twelve permutation patterns. In this paper, we show that $\mathfrak{S}_w(x)$ reaches the upper bound $\mathrm{Max}_w(x)$ if and only if $w$ avoids two permutation patterns 1432 and 1423. Similarly, for any given composition $α\in \mathbb{Z}_{\geq 0}^n$, one can define a lower bound $\mathrm{Min}_α(x)$ and an upper bound $\mathrm{Max}_α(x)$ for the key polynomial $κ_α(x)$. Hodges and Yong established that $κ_α(x)$ equals $\mathrm{Min}_α(x)$ if and only if $α$ avoids five composition patterns. We show that $κ_α(x)$ equals $\mathrm{Max}_α(x)$ if and only if $α$ avoids a single composition pattern $(0,2)$. As an application, we obtain that when $α$ avoids $(0,2)$, the key polynomial $κ_α(x)$ is Lorentzian, partially verifying a conjecture of Huh, Matherne, Mészáros and St.$\,$Dizier.

The notion of set-valued Young tableaux was introduced by Buch in his study of the Littlewood-Richardson rule for stable Grothendieck polynomials. Knutson, Miller and Yong showed that the double Grothendieck polynomials of 2143-avoiding permutations can be generated by set-valued Young tableaux. In this paper, we introduce the structure of set-valued Rothe tableaux of permutations. Given the Rothe diagram $D(w)$ of a permutation $w$, a set-valued Rothe tableau of shape $D(w)$ is a filling of finite nonempty subsets of positive integers into the squares of $D(w)$ such that the rows are weakly decreasing and the columns are strictly increasing. We show that the double Grothendieck polynomials of 1432-avoiding permutations can be generated by set-valued Rothe tableaux. When restricted to 321-avoiding permutations, our formula specializes to the tableau formula for double Grothendieck polynomials due to Matsumura. Employing the properties of tableau complexes given by Knutson, Miller and Yong, we obtain two alternative tableau formulas for the double Grothendieck polynomials of 1432-avoiding permutations.

Gelfand-Tsetlin polytopes are classical objects in algebraic combinatorics arising in the representation theory of $\mathfrak{gl}_n(\mathbb{C})$. The integer point transform of the Gelfand-Tsetlin polytope $\mathrm{GT}(λ)$ projects to the Schur function $s_λ$. Schur functions form a distinguished basis of the ring of symmetric functions; they are also special cases of Schubert polynomials $\mathfrak{S}_{w}$ corresponding to Grassmannian permutations. For any permutation $w \in S_n$ with column-convex Rothe diagram, we construct a polytope $\mathcal{P}_{w}$ whose integer point transform projects to the Schubert polynomial $\mathfrak{S}_{w}$. Such a construction has been sought after at least since the construction of twisted cubes by Grossberg and Karshon in 1994, whose integer point transforms project to Schubert polynomials $\mathfrak{S}_{w}$ for all $w \in S_n$. However, twisted cubes are not honest polytopes; rather one can think of them as signed polytopal complexes. Our polytope $\mathcal{P}_{w}$ is a convex polytope. We also show that $\mathcal{P}_{w}$ is a Minkowski sum of Gelfand-Tsetlin polytopes of varying sizes. When the permutation $w$ is Grassmannian, the Gelfand-Tsetlin polytope is recovered. We conclude by showing that the Gelfand-Tsetlin polytope is a flow polytope.

Theta-vexillary signed permutations are elements in the hyperoctahedral group that index certain classes of degeneracy loci of type B and C. These permutations are described using triples of $s$-tuples of integers subject to specific conditions. The objective of this work is to present different characterizations of theta-vexillary signed permutations, describing them in terms of corners in the Rothe diagram and pattern avoidance.

Edelman and Greene constructed a correspondence between reduced words of the reverse permutation and standard Young tableaux. We prove that for any reduced word the shape of the region of the insertion tableau containing the smallest possible entries evolves exactly as the upper-left component of the permutation's (Rothe) diagram. Properties of the Edelman-Greene bijection restricted to 132-avoiding and 2143-avoiding permutations are presented. We also consider the Edelman-Greene bijection applied to non-reduced words.

Edelman and Greene constructed a bijection between the set of standard Young tableaux and the set of balanced Young tableaux of the same shape. Fomin, Greene, Reiner and Shimozono introduced the notion of balanced Rothe tableaux of a permutation $w$, and established a bijection between the set of balanced Rothe tableaux of $w$ and the set of reduced words of $w$. In this paper, we introduce the notion of standard Rothe tableaux of $w$, which are tableaux obtained by labelling the cells of the Rothe diagram of $w$ such that each row and each column is increasing. We show that the number of standard Rothe tableaux of $w$ is smaller than or equal to the number of balanced Rothe tableaux of $w$, with equality if and only if $w$ avoids the four patterns 2413, 2431, 3142 and 4132. When $w$ is a dominant permutation, i.e., 132-avoiding, the Rothe diagram of $w$ is a Young diagram, so this reduces to the result of Edelman and Greene.

Involution words are variations of reduced words for involutions in Coxeter groups, first studied under the name of "admissible sequences" by Richardson and Springer. They are maximal chains in Richardson and Springer's weak order on involutions. This article is the first in a series of papers on involution words, and focuses on their enumerative properties. We define involution analogues of several objects associated to permutations, including Rothe diagrams, the essential set, Schubert polynomials, and Stanley symmetric functions. These definitions have geometric interpretations for certain intervals in the weak order on involutions. In particular, our definition of "involution Schubert polynomials" can be viewed as a Billey-Jockusch-Stanley type formula for cohomology class representatives of $\mathrm{O}_n$- and $\mathrm{Sp}_{2n}$-orbit closures in the flag variety, defined inductively in recent work of Wyser and Yong. As a special case of a more general theorem, we show that the involution Stanley symmetric function for the longest element of a finite symmetric group is a product of staircase-shaped Schur functions. This implies that the number of involution words for the longest element of a finite symmetric group is equal to the dimension of a certain irreducible representation of a Weyl group of type $B$.

We consider the problem of finding the number of matrices over a finite field with a certain rank and with support that avoids a subset of the entries. These matrices are a q-analogue of permutations with restricted positions (i.e., rook placements). For general sets of entries these numbers of matrices are not polynomials in q (Stembridge 98); however, when the set of entries is a Young diagram, the numbers, up to a power of q-1, are polynomials with nonnegative coefficients (Haglund 98). In this paper, we give a number of conditions under which these numbers are polynomials in q, or even polynomials with nonnegative integer coefficients. We extend Haglund's result to complements of skew Young diagrams, and we apply this result to the case when the set of entries is the Rothe diagram of a permutation. In particular, we give a necessary and sufficient condition on the permutation for its Rothe diagram to be the complement of a skew Young diagram up to rearrangement of rows and columns. We end by giving conjectures connecting invertible matrices whose support avoids a Rothe diagram and Poincaré polynomials of the strong Bruhat order.

Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A flag variety. Our main result is a Grobner basis for these ideals. This provides a single geometric setting to transparently explain the naturality of pipe dreams on the Rothe diagram of a permutation, and their appearance in: * combinatorial formulas [Fomin-Kirillov '94] for Schubert and Grothendieck polynomials of [Lascoux-Schutzenberger '82]; * the equivariant K-theory specialization formula of [Buch-Rimanyi '04]; and * a positive combinatorial formula for multiplicities of Schubert varieties in good cases, including those for which the associated Kazhdan-Lusztig ideal is homogeneous under the standard grading. Our results generalize (with alternate proofs) [Knutson-Miller '05]'s Grobner basis theorem for Schubert determinantal ideals and their geometric interpretation of the monomial positivity of Schubert polynomials. We also complement recent work of [Knutson '08,'09] on degenerations of Kazhdan-Lusztig varieties in general Lie type, as well as work of [Goldin '01] on equivariant localization and of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], and [Krattenthaler '01] on Grassmannian multiplicity formulas.