arXiv++ Combinatorics

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.

In their work on the infinite flag variety, Lam, Lee, and Shimozono (2018) introduced objects called bumpless pipe dreams and used them to give a formula for double Schubert polynomials. We extend this formula to the setting of K-theory, giving an expression for double Grothendieck polynomials as a sum over a larger class of bumpless pipe dreams. Our proof relies on techniques found in an unpublished manuscript of Lascoux (2002). Lascoux showed how to write double Grothendieck polynomials as a sum over alternating sign matrices. We explain how to view the Lam-Lee-Shimozono formula as a disguised special case of Lascoux's alternating sign matrix formula. Knutson, Miller, and Yong (2009) gave a tableau formula for vexillary Grothendieck polynomials. We recover this formula by showing vexillary marked bumpless pipe dreams and flagged set-valued tableaux are in weight preserving bijection. Finally, we give a bijection between Hecke bumpless pipe dreams and decreasing tableaux. The restriction of this bijection to Edelman-Greene bumpless pipe dreams solves a problem of Lam, Lee, and Shimozono.

We give a new proof that three families of polynomials coincide: the double Schubert polynomials of Lascoux and Schützenberger defined by divided difference operators, the pipe dream polynomials of Bergeron and Billey, and the equivariant cohomology classes of matrix Schubert varieties. All three families are shown to satisfy a "co-transition formula" which we explain to be some extent projectively dual to Lascoux' transition formula. We comment on the K-theoretic extensions.

Ikeda-Mihalcea-Naruse's double Schubert polynomials represent the equivariant cohomology classes of Schubert varieties in the type C flag varieties. The goal of this paper is to obtain a new tableau formula of these polynomials associated to vexillary signed permutations introduced by Anderson-Fulton. To achieve that goal, we introduce flagged factorial (Schur) $Q$-functions, combinatorially defined in terms of (flagged) marked shifted tableaux for flagged strict partitions, and prove their Schur-Pfaffian formula. As an application, we also obtain a new combinatorial formula of factorial $Q$-functions of Ivanov in which monomials bijectively correspond to flagged marked shifted tableaux.

We study the back stable Schubert calculus of the infinite flag variety. Our main results are: 1) a formula for back stable (double) Schubert classes expressing them in terms of a symmetric function part and a finite part; 2) a novel definition of double and triple Stanley symmetric functions; 3) a proof of the positivity of double Edelman-Greene coefficients generalizing the results of Edelman-Greene and Lascoux-Schutzenberger; 4) the definition of a new class of bumpless pipedreams, giving new formulae for double Schubert polynomials, back stable double Schubert polynomials, and a new form of the Edelman-Greene insertion algorithm; 5) the construction of the Peterson subalgebra of the infinite nilHecke algebra, extending work of Peterson in the affine case; 6) equivariant Pieri rules for the homology of the infinite Grassmannian; 7) homology divided difference operators that create the equivariant homology Schubert classes of the infinite Grassmannian.

We describe the torus-equivariant cohomology of weighted partial flag orbifolds ${\mathrm{w}}Σ$ of type $A$. We establish counterparts of several results known for the partial flag variety that collectively constitute what we refer to as ``Schubert Calculus on ${\mathrm{w}}Σ$''. For the weighed Schubert classes in ${\mathrm{w}}Σ$, we give the Chevalley's formula. In addition, we define the weighted analogue of double Schubert polynomials and give the corresponding Chevalley--Monk's formula.

We examine the relationship between the (double) Schubert polynomials of Billey-Haiman and Ikeda-Mihalcea-Naruse and the (double) theta and eta polynomials of Buch-Kresch-Tamvakis and Wilson from the perspective of Weyl group invariants. We obtain generators for the kernel of the natural map from the corresponding ring of Schubert polynomials to the (equivariant) cohomology ring of symplectic and orthogonal flag manifolds.

In our previous work arXiv:1305.3543, we employed the approach to Schubert polynomials by Fomin, Stanley, and Kirillov to obtain simple, uniform proofs that the double Schubert polynomials of Lascoux and Schutzenberger and Ikeda, Mihalcea, and Naruse represent degeneracy loci for the classical groups in the sense of Fulton. Using this as our starting point, and purely combinatorial methods, we obtain a new proof of the general formulas of arXiv:0908.3628, which represent the degeneracy loci coming from any isotropic partial flag variety. Along the way, we also find several new formulas and elucidate the connections between some earlier ones.

We give an algebra-combinatorial constructions of (noncommutative) generating functions of double Schubert and double $β$-Grothendieck polynomials corresponding to the full flag varieties associated to the Lie groups of classical types $A,B, C$ and $D$. Our approach is based on the decomposition of certain `` transfer matrices `` corresponding to the exponential solution to the quantum Yang--Baxter equations associated with either NiCoxeter or IdCoxeter algebras of classical types. The "triple"~$β$-Grothendieck polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ we have introduced, satisfy, among other things, the coherency and (generalized) vanishing conditions. Their generating function has a nice factorization in the algebra $Id_βCoxeter(W)$, and as a consequence, the polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ admit a combinatorial description in terms of $W$-type pipe dreams.

We introduce common generalization of (double) Schubert, Grothendieck, Demazure, dual and stable Grothendieck polynomials, and Di Francesco-Zinn-Justin polynomials. Our approach is based on the study of algebraic and combinatorial properties of the reduced rectangular plactic algebra and associated Cauchy kernels.

We define a notion of vexillary signed permutation in types B, C, and D, corresponding to natural degeneracy loci for vector bundles with symmetries of those types. We show that the classes of these loci are given by explicit Pfaffian formulas. The Grassmannian formulas of Kazarian are important special cases, and the corresponding double Schubert polynomials of Ikeda, Mihalcea, and Naruse are shown to be equal to these Pfaffians.

We have developed a patch implementing multivariate polynomials seen as a multi-base algebra. The patch is to be released into the software Sage and can already be found within the Sage-Combinat distribution. One can use our patch to define a polynomial in a set of indexed variables and expand it into a linear basis of the multivariate polynomials. So far, we have the Schubert polynomials, the Key polynomials of types A, B, C, or D, the Grothendieck polynomials and the non-symmetric Macdonald polynomials. One can also use a double set of variables and work with specific double-linear bases like the double Schubert polynomials or double Grothendieck polynomials. Our implementation is based on a definition of the basis using divided difference operators and one can also define new bases using these operators.

We establish an equivariant quantum Giambelli formula for partial flag varieties. The answer is given in terms of a specialization of universal double Schubert polynomials. Along the way, we give new proofs of the presentation of the equivariant quantum cohomology ring, as well as Graham-positivity of the structure constants in equivariant quantum Schubert calculus.

We show that the k-double Schur functions defined by the authors, and the quantum double Schubert polynomials studied by Kirillov and Maeno and by Ciocan-Fontanine and Fulton, can be obtained from each other by an explicit rational substitution. The main new ingredient is an explicit computation of Kostant's solution to the Toda lattice in terms of equivariant Schubert classes.

The quantum double Schubert polynomials studied by Kirillov and Maeno, and by Ciocan-Fontanine and Fulton, are shown to represent Schubert classes in Kim's presentation of the equivariant quantum cohomology of the flag variety. We define parabolic analogues of quantum double Schubert polynomials, and show that they represent Schubert classes in the equivariant quantum cohomology of partial flag varieties. For complete flags Anderson and Chen have announced a proof with different methods.

For each infinite series of the classical Lie groups of type B,C or D, we introduce a family of polynomials parametrized by the elements of the corresponding Weyl group of infinite rank. These polynomials represent the Schubert classes in the equivariant cohomology of the appropriate flag variety. They satisfy a stability property, and are a natural extension of the (single) Schubert polynomials of Billey and Haiman, which represent non-equivariant Schubert classes. They are also positive in a certain sense, and when indexed by maximal Grassmannian elements, or by the longest element in a finite Weyl group, these polynomials can be expressed in terms of the factorial analogues of Schur's Q- or P-functions defined earlier by Ivanov.

Regular semisimple Hessenberg varieties are a family of subvarieties of the flag variety that arise in number theory, numerical analysis, representation theory, algebraic geometry, and combinatorics. We give a "Giambelli formula" expressing the classes of regular semisimple Hessenberg varieties in terms of Chern classes. In fact, we show that the cohomology class of each regular semisimple Hessenberg variety is the specialization of a certain double Schubert polynomial, giving a natural geometric interpretation to such specializations. We also decompose such classes in terms of the Schubert basis for the cohomology ring of the flag variety. The coefficients obtained are nonnegative, and we give closed combinatorial formulas for the coefficients in many cases. We introduce a closely related family of schemes called regular nilpotent Hessenberg schemes, and use our results to determine when such schemes are reduced.

Our main theorems provide a single geometric setting in which polynomial representatives for Schubert classes in the integral cohomology ring of the flag manifold are determined uniquely, and have positive coefficients for geometric reasons. This results in a geometric explanation for the naturality of Schubert polynomials and their associated combinatorics. Given a permutation w in S_n, we consider a determinantal ideal I_w whose generators are certain minors in the generic n x n matrix (filled with independent variables). Using `multidegrees' as simple algebraic substitutes for torus-equivariant cohomology classes on vector spaces, our main theorems describe, for each ideal I_w: - variously graded multidegrees and Hilbert series in terms of ordinary and double Schubert and Grothendieck polynomials; - a Gröbner basis consisting of minors in the generic n x n matrix; - the Stanley-Reisner complex of the initial ideal in terms of known combinatorial diagrams associated to permutations in S_n; and - a procedure inductive on weak Bruhat order for listing the facets of this complex, thereby generating the coefficients of Schubert polynomials by a positive recursion on combinatorial diagrams. We show that the initial ideal is Cohen-Macaulay, by identifying the Stanley-Reisner complex as a special kind of ``subword complex in S_n'', which we define generally for arbitrary Coxeter groups, and prove to be shellable by giving an explicit vertex decomposition. We also prove geometrically a general positivity statement for multidegrees of subschemes.

We propose a theory of double Schubert polynomials P_w(X,Y) for the Lie types B, C, D which naturally extends the family of Lascoux of Schutzenberger in type A. These polynomials satisfy positivity, orthogonality, and stability properties, and represent the classes of Schubert varieties and degeneracy loci of vector bundles. When w is a maximal Grassmannian element of the Weyl group, P_w(X,Y) can be expressed in terms of Schur-type determinants and Pfaffians, in analogy with the type A formula of Kempf and Laksov. An example, motivated by quantum cohomology, shows that there are no Chern class formulas for degeneracy loci of ``isotropic morphisms'' of bundles.

We prove an explicit combinatorial formula for certain structure constants of the T-equivariant cohomology of the flag manifold SLn/B. Our result generalizes the Pieri-type formula in ordinary cohomology proved by Sottile in 1996. Our result also gives a Pieri-type formula for the double Schubert polynomials introduced by Lascoux and Schutzenberger.