arXiv++ Combinatorics

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).

Coxeter matroids generalize matroids just as flag varieties of Lie groups generalize Grassmannians. Valuations of Coxeter matroids are functions that behave well with respect to subdivisions of a Coxeter matroid into smaller ones. We compute the universal valuative invariant of Coxeter matroids. A key ingredient is the family of Coxeter Schubert matroids, which correspond to the Bruhat cells of flag varieties. In the process, we compute the universal valuation of generalized Coxeter permutohedra, a larger family of polyhedra that model Coxeter analogues of combinatorial objects such as matroids, clusters, and posets.

A partial flag variety ${\mathcal {P}}_K$ of a Kac-Moody group $G$ has a natural stratification into projected Richardson varieties. When $G$ is a connected reductive group, a Bruhat atlas for ${\mathcal {P}}_K$ was constructed by He, Knutson and Lu: ${\mathcal {P}}_K$ is locally modeled with Schubert varieties in some Kac-Moody flag variety as stratified spaces. The existence of Bruaht atlases implies some nice combinatorial and geometric properties on the partial flag varieties and the decomposition into projected Richardson varieties. A Bruhat atlas does not exist for partial flag varieties of an arbitrary Kac-Moody group due to combinatorial and geometric reasons. To overcome obstructions, we introduce the notion of Birkhoff-Bruhat atlas. Instead of the Schubert varieties used in a Bruhat atlas, we use the $J$-Schubert varieties for a Birkhoff-Bruhat atlas. The notion of the $J$-Schubert varieties interpolates Birkhoff decomposition and Bruhat decomposition of the full flag variety (of a larger Kac-Moody group). The main result of this paper is the construction of a Birkhoff-Bruhat atlas for any partial flag variety ${\mathcal {P}}_K$ of a Kac-Moody group. We also construct a combinatorial atlas for the index set $Q_K$ of the projected Richardson varieties in ${\mathcal {P}}_K$. As a consequence, we show that $Q_K$ has some nice combinatorial properties. This gives a new proof and generalizes the work of Williams in the case where the group $G$ is a connected reductive group.

For a finite Coxeter system and a subset of its diagram nodes, we define spherical elements (a generalization of Coxeter elements). Conjecturally, for Weyl groups, spherical elements index Schubert varieties in a flag manifold G/B that are spherical for the action of a Levi subgroup. We evidence the conjecture, employing the combinatorics of Demazure modules, and work of R. Avdeev-A. Petukhov, M. Can-R. Hodges, R. Hodges-V. Lakshmibai, P. Karuppuchamy, P. Magyar-J. Weyman-A. Zelevinsky, N. Perrin, J. Stembridge, and B. Tenner. In type A, we establish connections with the key polynomials of A. Lascoux- M.-P. Schützenberger, multiplicity-freeness, and split-symmetry in algebraic combinatorics. Thereby, we invoke theorems of A. Kohnert, V. Reiner-M. Shimozono, and C. Ross-A. Yong.

We construct an integrable colored six-vertex model whose partition function is a double Grothendieck polynomial. This gives an integrable systems interpretation of bumpless pipe dreams and recent results of Weigandt [arXiv:2003.07342] relating double Grothendieck polynomias with bumpless pipe dreams. For vexillary permutations, we then construct a new model that we call the semidual version model. We use our semidual model and the five-vertex model of Motegi and Sakai to given a new proof that double Grothendieck polynomials for vexillary permutations are equal to flagged factorial Grothendieck polynomials. Taking the stable limit of double Grothendieck polynomials, we obtain a new proof that the stable limit is a factorial Grothendieck polynomial as defined by McNamara. The states of our semidual model naturally correspond to families of nonintersecting lattice paths, where we can then use the Lindström-Gessel-Viennot lemma to give a determinant formula for double Schubert polynomials corresponding to vexillary permutations.

Catalan functions, the graded Euler characteristics of certain vector bundles on the flag variety, are a rich class of symmetric functions which include $k$-Schur functions and parabolic Hall-Littlewood polynomials. We prove that Catalan functions indexed by partition weight are the characters of $U_q(\widehat{\mathfrak{sl}}_\ell)$-generalized Demazure crystals as studied by Lakshmibai-Littelmann-Magyar and Naoi. We obtain Schur positive formulas for these functions, settling conjectures of Chen-Haiman and Shimozono-Weyman. Our approach more generally gives key positive formulas for graded Euler characteristics of certain vector bundles on Schubert varieties by matching them to characters of generalized Demazure crystals.