arXiv++ Combinatorics

We give a presentation of refined (dual) canonical Grothendieck polynomials and their skew versions using free-fermions. Using this, we derive a number of identities, including the skew Cauchy identities, branching rules, expansion formulas, and integral formulas.

The purpose of this paper is to prove a Pieri-type multiplication formula for quantum Grothendieck polynomials, which was conjectured by Lenart-Maeno. This formula would enable us to compute explicitly the quantum product of two arbitrary (opposite) Schubert classes in the (small) quantum $K$-theory ring $QK(Fl_{n})$ of the (full) flag manifold $Fl_{n}$ of type $A_{n-1}$ on the basis of the fact that quantum Grothendieck polynomials represent (opposite) Schubert classes in $QK(Fl_{n})$.

The $K$-theoretic Schur $P$- and $Q$-functions $GP_λ$ and $GQ_λ$ may be concretely defined as weight generating functions for semistandard shifted set-valued tableaux. These symmetric functions are the shifted analogues of stable Grothendieck polynomials, and were introduced by Ikeda and Naruse for applications in geometry. Nakagawa and Naruse specified families of dual $K$-theoretic Schur $P$- and $Q$-functions $gp_λ$ and $gq_λ$ via a Cauchy identity involving $GP_λ$ and $GQ_λ$. They conjectured that the dual power series are weight generating functions for certain shifted plane partitions. We prove this conjecture. We also derive a related generating function formula for the images of $gp_λ$ and $gq_λ$ under the $ω$ involution of the ring of symmetric functions. This confirms a conjecture of Chiu and the second author. Using these results, we verify a conjecture of Ikeda and Naruse that the $GQ$-functions are a basis for a ring.

A beautiful degree formula for the Grothendieck polynomials was recently given by Pechenik, Speyer, and Weigandt (2021). We provide an alternative proof of their degree formula, utilizing the climbing chain model for Grothendieck polynomials introduced by Lenart, Robinson, and Sottile (2006). Moreover, for any term order satisfying $x_1<x_2<\cdots<x_n$ we present the leading monomial of each homogeneous components of the Grothendieck polynomial $\mathfrak{G}_w(x_1,\ldots,x_n)$, confirming a conjecture of Hafner (2022). We conclude with a conjecture for the leading monomials of the homogenegous components of $\mathfrak{G}_w(x_1,\ldots,x_n)$ in any term order satisfying $x_1>x_2>\cdots>x_n$.

We prove a `Whitney' presentation, and a `Coulomb branch' presentation, for the torus equivariant quantum K theory of the Grassmann manifold $\mathrm{Gr}(k;n)$, inspired from physics, and stated in an earlier paper. The first presentation is obtained by quantum deforming the product of the Hirzebruch $λ_y$ classes of the tautological bundles. In physics, the $λ_y$ classes arise as certain Wilson line operators. The second presentation is obtained from the Coulomb branch equations involving the partial derivatives of a twisted superpotential from supersymmetric gauge theory. This is closest to a presentation obtained by Gorbounov and Korff, utilizing integrable systems techniques. Algebraically, we relate the Coulomb and Whitney presentations utilizing transition matrices from the (equivariant) Grothendieck polynomials to the (equivariant) complete homogeneous symmetric polynomials. Along the way, we calculate K-theoretic Gromov-Witten invariants of wedge powers of the tautological bundles on $\mathrm{Gr}(k;n)$, using the `quantum=classical' statement.

An element of a Weyl group of classical type is skew if it is the left factor in a reduced factorization of a Grassmannian element. The skew Grothendieck polynomials are those which are indexed by skew elements of the Weyl group. We define set-valued tableaux which are fillings of the associated skew Young diagrams and use them to prove tableau formulas for the skew double Grothendieck polynomials in all four classical Lie types. We deduce tableau formulas for the Grassmannian Grothendieck polynomials and the K-theoretic analogues of the (double mixed) skew Stanley functions in the respective Lie types.

There has been recent interest in lower bounds for the principal specializations of Schubert polynomials $ν_w := \mathfrak S_w(1,\dots,1)$. We prove a conjecture of Yibo Gao in the setting of $1243$-avoiding permutations that gives a lower bound for $ν_w$ in terms of the permutation patterns contained in $w$. We extended this result to principal specializations of $β$-Grothendieck polynomials $ν^{(β)}_w := \mathfrak G^{(β)}_w(1,\dots,1)$ by restricting to the class of vexillary $1243$-avoiding permutations. Our methods are bijective, offering a combinatorial interpretation of the coefficients $c_w$ and $c^{(β)}_w$ appearing in these conjectures.

In this paper, we introduce the concept of the weighted (harmonic) chromatic polynomials of graphs and discuss some of its properties. We also present the notion of the weighted (harmonic) Tutte--Grothendieck polynomials of graphs and give a generalization of the recipe theorem between the harmonic Tutte--Grothendieck polynomials graphs and the harmonic Tutte polynomials of matroids. Moreover, we give some constructions of the weighted (harmonic) Tutte--Grothendieck invariants for graphs and the weighted (harmonic) Tutte invariants for matroids. Finally, we give a remark on the categorification of the harmonic chromatic polynomials of graphs and harmonic Tutte polynomials of matroids.

We give degree formulas for Grothendieck polynomials indexed by vexillary permutations and $1432$-avoiding permutations via tableau combinatorics. These formulas generalize a formula for degrees of symmetric Grothendieck polynomials which appeared in previous joint work of the authors with Y. Ren and A. St. Dizier. We apply our formulas to compute Castelnuovo-Mumford regularity of classes of generalized determinantal ideals. In particular, we give combinatorial formulas for the regularities of all one-sided mixed ladder determinantal ideals. We also derive formulas for the regularities of certain Kazhdan-Lusztig ideals, including those coming from open patches of Schubert varieties in Grassmannians. This provides a correction to a conjecture of Kummini-Lakshmibai-Sastry-Seshadri (2015).

Schubert polynomials $\mathfrak{S}_w$ are polynomial representatives for cohomology classes of Schubert varieties in a complete flag variety, while Grothendieck polynomials $\mathfrak{G}_w$ are analogous representatives for the $K$-theory classes of the structure sheaves of Schubert varieties. In the special case that $\mathfrak{S}_w$ is a multiplicity-free sum of monomials, K. Mészáros, L. Setiabrata, and A. St. Dizier conjectured that $\mathfrak{G}_w$ can be easily computed from $\mathfrak{S}_w$ via Möbius inversion on a certain poset. We prove this conjecture.

We study the effect of linear transformations on quantum fields with applications to vertex operator presentations of symmetric functions. Properties of linearly transformed quantum fields and corresponding transformations of Hall-Littlewood polynomials are described, including preservation of commutation relations, stability, explicit combinatorial formulas and generating functions. We prove that specializations of linearly transformed Hall-Littlewood polynomials describe all polynomial tau functions of the KP and the BKP hierarchy. Examples of linear transformations are related to multiparameter symmetric functions, Grothendieck polynomials, deformations by cyclotomic polynomials, and some other variations of Schur symmetric functions that exist in the literature.

Recent work of Pechenik, Speyer, and Weigandt proved a formula for the degree of any Grothendieck polynomial. A distinct formula for the degree of vexillary Grothendieck polynomials was proven by Rajchgot, Robichaux, and Weigandt. We give a new proof of Pechenik, Speyer, and Weigandt's formula in the special case of vexillary permutations and characterize the set of bumpless pipe dreams which contribute maximal degree terms to the Grothendieck polynomial in this case. Furthermore, we use this characterization to draw connections between the Pechenik-Speyer-Weigandt and Rajchgot-Robichaux-Weigandt formulas. We also use bumpless pipe dreams to prove new results about the support of vexillary Grothendieck polynomials, addressing special cases of conjectures of Mészáros, Setiabrata, and St. Dizier.

Grothendieck polynomials $\mathfrak{G}_w$ of permutations $w\in S_n$ were introduced by Lascoux and Schützenberger in 1982 as a set of distinguished representatives for the K-theoretic classes of Schubert cycles in the K-theory of the flag variety of $\mathbb{C}^n$. We conjecture that the exponents of nonzero terms of the Grothendieck polynomial $\mathfrak{G}_w$ form a poset under componentwise comparison that is isomorphic to an induced subposet of $\mathbb{Z}^n$. When $w\in S_n$ avoids a certain set of patterns, we conjecturally connect the coefficients of $\mathfrak{G}_w$ with the Möbius function values of the aforementioned poset with $\hat{0}$ appended. We prove special cases of our conjectures for Grassmannian and fireworks permutations.

Matrix Schubert varieties are affine varieties arising in the Schubert calculus of the complete flag variety. We give a formula for the Castelnuovo-Mumford regularity of matrix Schubert varieties, answering a question of Jenna Rajchgot. We follow her proposed strategy of studying the highest-degree homogeneous parts of Grothendieck polynomials, which we call Castelnuovo-Mumford polynomials. In addition to the regularity formula, we obtain formulas for the degrees of all Castelnuovo-Mumford polynomials and for their leading terms, as well as a complete description of when two Castelnuovo-Mumford polynomials agree up to scalar multiple. The degree of the Grothendieck polynomial is a new permutation statistic which we call the Rajchgot index; we develop the properties of Rajchgot index and relate it to major index and to weak order.

We derive several identities involving Ikeda and Naruse's $K$-theoretic Schur $P$- and $Q$-functions. Our main result is a formula conjectured by Lewis and the second author which expands each $K$-theoretic Schur $Q$-function in terms of $K$-theoretic Schur $P$-functions. This formula extends to some more general identities relating the skew and dual versions of both power series. We also prove a shifted version of Yeliussizov's skew Cauchy identity for symmetric Grothendieck polynomials. Finally, we discuss some conjectural formulas for the dual $K$-theoretic Schur $P$- and $Q$-functions of Nakagawa and Naruse. We show that one such formula would imply a basis property expected of the $K$-theoretic Schur $Q$-functions.

We consider the Grothendieck polynomials appearing in the K-theory of Grassmannians, which are analogs of Schur polynomials. This paper aims to establish a version of the Murnaghan-Nakayama rule for Grothendieck polynomials of the Grassmannian type. This rule allows us to express the product of a Grothendieck polynomial with a power sum symmetric polynomial into a linear combination of other Grothendieck polynomials.

Lascoux polynomials generalize Grassmannian stable Grothendieck polynomials and may be viewed as K-theoretic analogs of key polynomials. The latter two polynomials have combinatorial formulas involving tableaux: Lascoux and Schützenberger gave a combinatorial formula for key polynomials using right keys; Buch gave a set-valued tableau formula for Grassmannian stable Grothendieck polynomials. We establish a novel combinatorial rule for Lascoux polynomials involving right keys and set-valued tableaux. Our rule recovers the tableaux formulas of key polynomials and Grassmannian stable Grothendieck polynomials. To prove our rule, we construct a new abstract Kashiwara crystal structure on set-valued tableaux. This construction answers an open problem of Monical, Pechenik and Scrimshaw in the context of abstract Kashiwara crystal.

We present a new family of hook-length formulas for the number of standard increasing tableaux which arise in the study of factorial Grothendieck polynomials. In the case of straight shapes our formulas generalize the classical hook-length formula and Stanley's formula. For skew shapes, our formulas generalize the Naruse hook-length formula and its $q$-analogues, which were studied in previous papers of the series.

We study the back stable $K$-theory Schubert calculus of the infinite flag variety. We define back stable (double) Grothendieck polynomials and double $K$-Stanley functions and establish coproduct expansion formulae. Applying work of Weigandt, we extend our previous results on bumpless pipedreams from cohomology to $K$-theory. We study finiteness and positivity properties of the ring of back stable Grothendieck polynomials, and divided difference operators in $K$-homology.

We give combinatorial proofs of two types of duality for Grothendieck polynomials by constructing a unified combinatorial framework incorporating set-valued tableaux, musltiset-valued tableaux, reverse plane partitions and valued-set tableaux. Importantly, our proofs extend to proofs of these dualities for the refined Grothendieck polynomials. The second of these dualities was formerly unknown for the refined case.