arXiv++ Combinatorics

The Schubert vanishing problem asks whether the single Schubert coefficients $c_{u,v}^w$ are zero. In this paper, we consider the non-vanishing problems of double Schubert coefficients $c_{u,v}^w(t)$ and triple Schubert coefficients $c_{u,v}^w(t;y)$. We show that the non-vanishing of $c_{u,v}^w(t;y)$ is completely determined by the non-vanishing of single Schubert coefficients. As a byproduct, we obtain the saturation property of the triple Littlewood--Richardson coefficients $c_{λ,μ}^ν(t;y)$. Moreover, we pose a conjecture asserting that the non-vanishing of $c_{u,v}^w(t)$ is also determined by the non-vanishing of single or triple Schubert coefficients. We prove a one-side inclusion of the conjecture. For the reverse inclusion, we show that the conjecture holds for the following three cases: the Pieri case, the separated descents case, and the inverse Grassmannian case.

We give a Graham-positive expansion for the product of two double Schubert polynomials indexed by two inverse Grassmannian permutations. Surprisingly, the nonzero structure constants are double Schubert polynomials in two disjoint sets of equivariant variables. We also give a positive expansion for the product of two single Schubert polynomials indexed by a $321$-avoiding permutation (e.g., a Grassmannian permutation) and an inverse Grassmannian permutation. Unexpectedly, the nonzero structure constants are Edelman--Greene coefficients.

In this paper, we provide a simple criterion for the Schubitope $\mathcal{S}_{D}$ associated to a diagram $D$ to be lattice-free. We further show that $\mathcal{S}_{D}$ is lattice-free if and only if its Ehrhart polynomial is equal to the product of Ehrhart polynomials of the Schubert matroid polytopes corresponding to each column of $D$. As applications, we obtain that the Newton polytopes of the Schubert polynomial $\mathfrak{S}_w(x)$ and the Grothendieck polynomial $\mathfrak{G}_w(x)$ are lattice-free if and only if $w$ avoids the patterns 1423, 1432, 13254, and confirm several conjectures by Mészáros, Setiabrata, and St.Dizier on the support of Grothendieck polynomials for this class of permutations.

In this paper, we establish a new geometric setting for bumpless pipe dreams and double Schubert polynomials. Building on the notion of bumpless pipe dream fragments, we define clan polynomials as their weight generating functions. It turns out that clan polynomials arise naturally in the equivariant geometry of ($GL_p\times GL_q$)-orbits over the flag variety $Fl_{p+q}$ parametrized by $(p,q)$-clans. Furthermore, we show that the coefficients in the equivariant Schubert expansion of the fundamental classes of ($GL_p\times GL_q$)-orbit closures are exactly clan polynomials, which resolves an open problem posed by Wyser and Yong.

The open projected Richardson varieties form a stratification for the partial flag variety $G/P$. We compare the Segre--MacPherson classes of open projected Richardson varieties with those of the corresponding affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. In the case of the Grassmannian $G/P=\operatorname{Gr}_k(\mathbb{C}^n)$, the open projected Richardson varieties are known as open positroid varieties. We obtain symmetric functions that represent the Segre--MacPherson classes of these open positroid varieties, constructed explicitly in terms of pipe dreams for affine permutations.

Fink, Mészáros and St.Dizier showed that the Schubert polynomial $\mathfrak{S}_w(x)$ is zero-one if and only if $w$ avoids twelve permutation patterns. In this paper, we prove that the Grothendieck polynomial $\mathfrak{G}_w(x)$ is zero-one, i.e., with coefficients either 0 or $\pm$1, if and only if $w$ avoids six patterns. As applications, we show that the normalized double Schubert polynomial $N(\mathfrak{S}_w(x;y))$ is Lorentzian when $\mathfrak{G}_w(x)$ is zero-one, partially confirming a conjecture of Huh, Matherne, Mészáros and St.Dizier. Moreover, we verify several conjectures on the support and coefficients of Grothendieck polynomials posed by Mészáros, Setiabrata and St.Dizier for the case of zero-one Grothendieck polynomials.

We prove a Pieri formula for motivic Chern classes of Schubert cells in the equivariant K-theory of Grassmannians, which is described in terms of ribbon operators on partitions. Our approach is to transform the Schubert calculus over Grassmannians to the calculation in a certain affine Hecke algebra. As a consequence, we derive a Pieri formula for Segre motivic classes of Schubert cells in Grassmannians. We apply the Pieri formulas to establish a relation between motivic Chern classes and Segre motivic classes, extending a well-known relation between the classes of structure sheaves and ideal sheaves. As another application, we find a symmetric power series representative for the class of the dualizing sheaf of a Schubert variety.

Knutson and Zinn-Justin recently found a puzzle rule for the expansion of the product $\mathfrak{G}_{u}(x,t)\cdot \mathfrak{G}_{v}(x,t)$ of two double Grothendieck polynomials indexed by permutations with separated descents. We establish its triple Schubert calculus version in the sense of Knutson and Tao, namely, a formula for expanding $\mathfrak{G}_{u}(x,y)\cdot \mathfrak{G}_{v}(x,t)$ in different secondary variables. Our rule is formulated in terms of pipe puzzles, incorporating both the structures of bumpless pipe dreams and classical puzzles. As direct applications, we recover the separated-descent puzzle formula by Knutson and Zinn-Justin (by setting $y=t$) and the bumpless pipe dream model of double Grothendieck polynomials by Weigandt (by setting $v=\operatorname{id}$ and $x=t$). Moreover, we utilize the formula to partially confirm a positivity conjecture of Kirillov about applying a skew operator to a Schubert polynomial.

We develop Pieri type as well as Murnaghan--Nakayama type formulas for equivariant Chern--Schwartz--MacPherson classes of Schubert cells in the classical flag variety. These formulas include as special cases many previously known multiplication formulas for Chern--Schwartz--MacPherson classes or Schubert classes. We apply the equivariant Murnaghan--Nakayama formula to the enumeration of rim hook tableaux.

In this paper, we give a formula for the number of lattice points in the dilations of Schubert matroid polytopes. As applications, we obtain the Ehrhart polynomials of uniform and minimal matroids as special cases, and give a recursive formula for the Ehrhart polynomials of $(a,b)$-Catalan matroids. Ferroni showed that uniform and minimal matroids are Ehrhart positive. We show that all sparse paving Schubert matroids are Ehrhart positive and their Ehrhart polynomials are coefficient-wisely bounded by those of minimal and uniform matroids. This confirms a conjecture of Ferroni for the case of sparse paving Schubert matroids. Furthermore, we introduce notched rectangle matroids, which include minimal matroids, sparse paving Schubert matroids and panhandle matroids. We show that three subfamilies of notched rectangle matroids are Ehrhart positive, and conjecture that all notched rectangle matroids are Ehrhart positive.

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.

Let $Λ$ be the set of partitions of length $\geq 0$. We introduce an $\mathbb{N}$-graded algebra $\mathbb{A}_q^d(Λ)$ associated to $Λ$, which can be viewed as a quantization of the algebra of partitions defined by Reineke. The multiplication of $\mathbb{A}^d_q(Λ)$ has some kind of quasi-commutativity, and the associativity comes from combinatorial properties of certain polynomials appeared in the quantized cohomological Hall algebra $\mathcal{H}^d_q$ of the $d$-loop quiver. It turns out that $\mathbb{A}^d_q(Λ)$ is isomorphic to $\mathcal{H}^d_q$, thus can be viewed as a combinatorial realization for $\mathcal{H}^d_q$.

Non-attacking skyline fillings were used by Haglund, Haiman and Loehr to establish a combinatorial formula for nonsymmetric Macdonald polynomials. Semistandard skyline fillings are non-attacking skyline fillings with both major index and coinversion number equal to zero, which serve as a combinatorial model for key polynomials. In this paper, we construct an involution on semistandard skyline fillings. This involution can be viewed as a vast generalization of the classical Bender--Knuth involution. As an application, we obtain that semistandard skyline fillings are compatible with the Demazure operators, offering a new combinatorial proof that nonsymmetric Macdonald polynomials specialize to key polynomials.

For each permutation $w$, we can construct a collection of hyperplanes $\mathcal{A}_w$ according to the inversions of $w$, which is called the inversion hyperplane arrangement associated to $w$. It was conjectured by Postnikov and confirmed by Hultman, Linusson, Shareshian and Sjöstrand that the number of regions of $\mathcal{A}_w$ is less than or equal to the number of permutations below $w$ in the Bruhat order, with the equality holds if and only if $w$ avoids the four patterns 4231, 35142, 42513 and 351624. In this paper, we show that the number of regions of $\mathcal{A}_w$ is greater than or equal to the number of permutations below $w$ in the weak Bruhat order, with the equality holds if and only if $w$ avoids the patterns 231 and 312.

Let $\mathfrak{S}_w(x)$ be the Schubert polynomial for a permutation $w$ of $\{1,2,\ldots,n\}$. For any given composition $μ$, we say that $x^μ\mathfrak{S}_w(x^{-1})$ is the complement of $\mathfrak{S}_w(x)$ with respect to $μ$. When each part of $μ$ is equal to $n-1$, Huh, Matherne, Mészáros and St.\,Dizier proved that the normalization of $x^μ\mathfrak{S}_w(x^{-1})$ is a Lorentzian polynomial. They further conjectured that the normalization of $\mathfrak{S}_w(x)$ is Lorentzian. It can be shown that if there exists a composition $μ$ such that $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial, then the normalization of $\mathfrak{S}_w(x)$ will be Lorentzian. This motivates us to investigate the problem of when $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial. We show that if $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial, then $μ$ must be a partition. We also consider the case when $μ$ is the staircase partition $δ_n=(n-1,\ldots, 1,0)$, and obtain that $x^{δ_n} \mathfrak{S}_w(x^{-1})$ is a Schubert polynomial if and only if $w$ avoids the patterns 132 and 312. A conjectured characterization of when $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial is proposed.

We confirm a conjecture of Monical, Tokcan and Yong on a characterization of the lattice points in the Newton polytopes of key polynomials.

Schubitopes were introduced by Monical, Tokcan and Yong as a specific family of generalized permutohedra. It was proven by Fink, Mészáros and St.$\,$Dizier that Schubitopes are the Newton polytopes of the dual characters of flagged Weyl modules. Important cases of Schubitopes include the Newton polytopes of Schubert polynomials and key polynomials. In this paper, we develop a combinatorial rule to generate the vertices of Schubitopes. As an application, we show that the vertices of the Newton polytope of a key polynomial can be generated by permutations in a lower interval in the Bruhat order, settling a conjecture of Monical, Tokcan and Yong.

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.

Buch and Rimányi proved a formula for specializations of double Grothendieck polynomials based on the Yang-Baxter equation related to the degenerate Hecke algebra. A geometric proof was found by Yong and Woo by constructing a Gröbner basis for the Kazhdan-Lusztig ideals. In this note, we give an elementary proof for this formula by using only divided difference operators.