arXiv++ Combinatorics

The quantum cohomology ring of the Grassmannian is determined by the quantum Pieri rule for multiplying by Schubert classes indexed by row or column-shaped partitions. We provide a direct equivariant generalization of Postnikov's quantum Pieri rule for the Grassmannian in terms of cylindric shapes, complementing related work of Gorbounov and Korff in quantum integrable systems. The equivariant terms in our Graham-positive rule simply encode the positions of all possible addable boxes within one cylindric skew diagram. As such, unlike the earlier equivariant quantum Pieri rule of Huang and Li and known equivariant quantum Littlewood-Richardson rules, our formula does not require any calculations in a different Grassmannian or two-step flag variety.

In this article, the comodule structure of Chow rings of Flag manifolds $\operatorname{CH}(G/B)$ is described by Schubert cells. Its equivariant version gives rise to a Hopf structure of the equivariant cohomology of flag manifolds $H^*_B(G/B)$. We get two identities of generalized Schubert polynomials as explanations of the geometric facts.

We give bijective proofs of Monk's rule for Schubert and double Schubert polynomials computed with bumpless pipe dreams. In particular, they specialize to bijective proofs of transition and cotransition formulas of Schubert and double Schubert polynomials, which can be used to establish bijections with ordinary pipe dreams.

We connect generalized permutahedra with Schubert calculus. Thereby, we give sufficient vanishing criteria for Schubert intersection numbers of the flag variety. Our argument utilizes recent developments in the study of Schubitopes, which are Newton polytopes of Schubert polynomials. The resulting tableau test executes in polynomial time.

We study the Steinberg variety associated to matrix Schubert varieties, and develop a Robinson-Schensted type correspondence, $τ\leftrightarrow(Λ,\mathsf Q,\mathsf P)$. Here $τ$ is a partial permutation of size $p\times q$, $Λ$ an admissible signed Young diagram of size $p+q$, and $\mathsf P$ (resp. $\mathsf Q$) a standard Young tableau of size $p$ (resp. $q$) whose shape is determined by $Λ$. By embedding the matrix Schubert variety into a Schubert variety, we find a close relationship between the combinatorics of the classical Robinson-Schensted-Knuth correspondence and our bijection. We also show that an involution $(Λ,\mathsf Q,\mathsf P)\mapsto(Λ^\vee,\mathsf P,\mathsf Q)$ corresponds to projective duality on matrix Schubert varieties.

We give a Chevalley formula for an arbitrary weight for the torus-equivariant $K$-group of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for an anti-dominant fundamental weight for the (small) torus-equivariant quantum $K$-theory $QK_{T}(G/B)$ of an (ordinary) flag manifold $G/B$; this has been a longstanding conjecture about the multiplicative structure of $QK_{T}(G/B)$. In type $A_{n-1}$, we prove that the so-called quantum Grothendieck polynomials indeed represent (opposite) Schubert classes in the (non-equivariant) quantum $K$-theory $QK(SL_{n}/B)$; we also obtain very explicit information about the coefficients in the respective Chevalley formula.

We prove that the $K$-$k$-Schur functions are part of a family of inhomogenous symmetric functions whose top homogeneous components are Catalan functions, the Euler characteristics of certain vector bundles on the flag variety. Lam-Schilling-Shimozono identified the $K$-$k$-Schur functions as Schubert representatives for $K$-homology of the affine Grassmannian for SL$_{k+1}$. Our perspective reveals that the $K$-$k$-Schur functions satisfy a shift invariance property, and we deduce positivity of their branching coefficients from a positivity result of Baldwin and Kumar. We further show that a slight adjustment of our formulation for $K$-$k$-Schur functions produces a second shift-invariant basis which conjecturally has both positive branching and a rectangle factorization property. Building on work of Ikeda-Iwao-Maeno, we conjecture that this second basis gives the images of the Lenart-Maeno quantum Grothendieck polynomials under a $K$-theoretic analog of the Peterson isomorphism.

Matrix Schubert varieties are the closures of the orbits of $B\times B$ acting on all $n\times n$ matrices, where $B$ is the group of invertible lower triangular matrices. Extending work of Fulton, Knutson and Miller identified a Gröbner basis for the prime ideals of these varieties. They also showed that the corresponding initial ideals are Stanley-Reisner ideals of shellable simplicial complexes, and derived a related primary decomposition in terms of reduced pipe dreams. These results lead to a geometric proof of the Billey-Jockusch-Stanley formula for a Schubert polynomial, among many other applications. We define skew-symmetric matrix Schubert varieties to be the nonempty intersections of matrix Schubert varieties with the subspace of skew-symmetric matrices. In analogy with Knutson and Miller's work, we describe a natural generating set for the prime ideals of these varieties. We then compute a related Gröbner basis. Using these results, we identify a primary decomposition for the corresponding initial ideals involving certain fpf-involution pipe dreams. We show that these initial ideals are likewise the Stanley-Reisner ideals of shellable simplicial complexes. As an application, we give a geometric proof of an explicit generating function for symplectic Grothendieck polynomials. Our methods differ from Knutson and Miller's and can be used to give new proofs of some of their results, as we explain at the end of this article.

Schubert polynomials for the classical groups were defined by S.Billey and M.Haiman in 1995; they are polynomial representatives of Schubert classes in a full flag variety of a classical group. We provide a combinatorial description for these polynomials, as well as their double versions, by introducing analogues of pipe dreams, or RC-graphs, for the Weyl groups of the classical types.

We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology, we show that if the Schubert variety is smooth, then the class it determines coincides with the class of the Kazhdan-Lusztig basis; this was known as the Smoothness Conjecture. For Grassmannians, we prove that the classes of the Kazhdan-Lusztig basis coincide with the classes determined by Zelevinsky's small resolutions. These properties of the so-called KL-Schubert basis show that it is the closest existing analogue to the Schubert basis for hyperbolic cohomology; the latter is a very useful testbed for more general elliptic cohomologies.

Schubert polynomials are refined by the key polynomials of Lascoux-Schützenberger, which in turn are refined by the fundamental slide polynomials of Assaf-Searles. In this paper we determine which fundamental slide polynomial refinements of key polynomials, indexed by strong compositions, are multiplicity free. We also give a recursive algorithm to determine all terms in the fundamental slide polynomial refinement of a key polynomial indexed by a strong composition. From here, we apply our results to begin to classify which fundamental slide polynomial refinements, indexed by weak compositions, are multiplicity free. We completely resolve the cases when the weak composition has at most two nonzero parts or the sum has at most two nonzero terms.

We study toric degenerations of opposite Schubert and Richardson varieties inside degenerations of Grassmannians and flag varieties. These degenerations are parametrized by matching fields in the sense of Sturmfels and Zelevinsky. We construct so-called restricted matching field ideals whose generating sets are understood combinatorially through tableaux. We determine when these ideals are toric and coincide with Gröbner degenerations of Richardson varieties using the well established standard monomial theory for Grassmannians and flag varieties.

We study Gröbner degenerations of Schubert varieties inside flag varieties. We consider toric degenerations of flag varieties induced by matching fields and semi-standard Young tableaux. We describe an analogue of matching field ideals for Schubert varieties inside the flag variety and give a complete characterization of toric ideals among them. We use a combinatorial approach to standard monomial theory to show that block diagonal matching fields give rise to toric degenerations. Our methods and results use the combinatorics of permutations associated to Schubert varieties, matching fields and their corresponding tableaux.

Let $B$ be a Borel subgroup of $\mathrm{GL}_n(\mathbb{C})$ and $\mathbb{T}$ a maximal torus contained in $B$. Then $\mathbb{T}$ acts on $\mathrm{GL}_{n}(\mathbb{C})/B$ and every Schubert variety is $\mathbb{T}$-invariant. We say that a Schubert variety is of complexity $k$ if a maximal $\mathbb{T}$-orbit in $X_w$ has codimension $k$. In this paper, we discuss topology, geometry, and combinatorics related to Schubert varieties of complexity one.

We describe the fermionic and bosonic Fock representation of the Lie super-algebra of endomorphisms of the exterior algebra of the ${\mathbb Q}$-vector space of infinite countable dimension, vanishing at all but finitely many basis elements. We achieve the goal by exploiting the extension of the Schubert derivations to the Fermionic Fock space.

We study the Demazure-Lusztig operators induced by the left multiplication on partial flag manifolds $G/P$. We prove that they generate the Chern-Schwartz-MacPherson classes of Schubert cells (in equivariant cohomology), respectively their motivic Chern classes (in equivariant K theory), in any partial flag manifold. Along the way we advertise many properties of the left and right divided difference operators in cohomology and K theory, and their actions on Schubert classes. We apply this to construct left divided difference operators in equivariant quantum cohomology, and equivariant quantum K theory, generating Schubert classes, and satisfying a Leibniz rule compatible with the quantum product.

We prove an explicit inverse Chevalley formula in the equivariant $K$-theory of semi-infinite flag manifolds of simply-laced type. By an inverse Chevalley formula, we mean a formula for the product of an equivariant scalar with a Schubert class, expressed as a $\mathbb{Z}[q^{\pm 1}]$-linear combination of Schubert classes twisted by equivariant line bundles. Our formula applies to arbitrary Schubert classes in semi-infinite flag manifolds of simply-laced type and equivariant scalars $e^λ$, where $λ$ is an arbitrary minuscule weight. By a result of Stembridge, our formula completely determines the inverse Chevalley formula for arbitrary weights in simply-laced type, except for type $E_8$. The combinatorics of our formula is governed by the quantum Bruhat graph, and the proof is based on a limit from the double affine Hecke algebra. As such, our formula also provides an explicit determination of all nonsymmetric $q$-Toda operators for minuscule weights in ADE type.

The skew Schubert polynomials are those which are indexed by skew elements of the Weyl group, in the sense of arXiv:0812.0639. We obtain tableau formulas for the double versions of these polynomials in all four classical Lie types, where the tableaux used are fillings of the associated skew Young diagram. These are the first such theorems for symplectic and orthogonal Schubert polynomials, even in the single case. We also deduce tableau formulas for double Schur, double theta, and double eta polynomials, in their specializations as double Grassmannian Schubert polynomials. The latter results generalize the tableau formulas for symmetric (and single) Schubert polynomials due to Littlewood (in type A) and the author (in types B, C, and D).

One approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Through an identification of the cohomology ring of the type A full flag variety with the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced (dual) Kogan faces. In this paper, we explicitly describe string parametrizations of opposite Demazure crystals, which give a natural generalization of reduced dual Kogan faces. We also relate reduced Kogan faces with Demazure crystals using the theory of mitosis operators, and apply these observations to develop the theory of Schubert calculus on symplectic Gelfand-Tsetlin polytopes.

Knutson and Miller (2005) established a connection between the anti-diagonal Gröbner degenerations of matrix Schubert varieties and the pre-existing combinatorics of pipe dreams. They used this correspondence to give a geometrically-natural explanation for the appearance of the combinatorially-defined Schubert polynomials as representatives of Schubert classes. Recently, Hamaker, Pechenik, and Weigandt (2022) proposed a similar connection between diagonal degenerations of matrix Schubert varieties and bumpless pipe dreams, newer combinatorial objects introduced by Lam, Lee, and Shimozono (2021). Hamaker, Pechenik, and Weigandt described new generating sets of the defining ideals of matrix Schubert varieties and conjectured a characterization of permutations for which these generating sets form diagonal Gröbner bases. They proved special cases of this conjecture and described diagonal degenerations of matrix Schubert varieties in terms of bumpless pipe dreams in these cases. The purpose of this paper is to prove the conjecture in full generality. The proof uses a connection between liaison and geometric vertex decomposition established in earlier work with Rajchgot (2021).