No Arabic abstract
We establish the conjecture of Reiner and Yong for an explicit combinatorial formula for the expansion of a Grothendieck polynomial into the basis of Lascoux polynomials. This expansion is a subtle refinement of its symmetric function version due to Buch, Kresch, Shimozono, Tamvakis, and Yong, which gives the expansion of stable Grothendieck polynomials indexed by permutations into Grassmannian stable Grothendieck polynomials. Our expansion is the K-theoretic analogue of that of a Schubert polynomial into Demazure characters, whose symmetric analogue is the expansion of a Stanley symmetric function into Schur functions. Our expansions extend to flagged Grothendieck polynomials.
This report formulates a conjectural combinatorial rule that positively expands Grothendieck polynomials into Lascoux polynomials. It generalizes one such formula expanding Schubert polynomials into key polynomials, and refines another one expanding stable Grothendieck polynomials.
We apply down operators in the affine nilCoxeter algebra to yield explicit combinatorial expansions for certain families of non-commutative k-Schur functions. This yields a combinatorial interpretation for a new family of k-Littlewood-Richardson coefficients.
We introduce families of two-parameter multivariate polynomials indexed by pairs of partitions $v,w$ -- biaxial double $(beta,q)$-Grothendieck polynomials -- which specialize at $q=0$ and $v=1$ to double $beta$-Grothendieck polynomials from torus-equivariant connective K-theory. Initially defined recursively via divided difference operators, our main result is that these new polynomials arise as partition functions of solvable lattice models. Moreover, the associated quantum group of the solvable model for polynomials in $n$ pairs of variables is a Drinfeld twist of the $U_q(widehat{mathfrak{sl}}_{n+1})$ $R$-matrix. By leveraging the resulting Yang-Baxter equations of the lattice model, we show that these polynomials simultaneously generalize double $beta$-Grothendieck polynomials and dual double $beta$-Grothendieck polynomials for arbitrary permutations. We then use properties of the model and Yang-Baxter equations to reprove Fomin-Kirillovs Cauchy identity for $beta$-Grothendieck polynomials, generalize it to a new Cauchy identity for biaxial double $beta$-Grothendieck polynomials, and prove a new branching rule for double $beta$-Grothendieck polynomials.
We introduce a new perspective on the $K$-theory of exact categories via the notion of a CGW-category. CGW-categories are a generalization of exact categories that admit a Qullen $Q$-construction, but which also include examples such as finite sets and varieties. By analyzing Quillens proofs of devissage and localization we define ACGW-categories, an analogous generalization of abelian categories for which we prove theorems analogous to devissage and localization. In particular, although the category of varieties is not quite ACGW, the category of reduced schemes of finite type is; applying devissage and localization allows us to calculate a filtration on the $K$-theory of schemes of finite type. As an application of this theory we construct a comparison map showing that the two authors definitions of the Grothendieck spectrum of varieties are equivalent.
We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories of vector bundles over monoid schemes. Our main results are the complete description of the algebraic $K$-theory space of an integral monoid scheme $X$ in terms of its Picard group $operatorname{Pic}(X)$ and pointed monoid of regular functions $Gamma(X, mathcal{O}_X)$ and a description of the Grothendieck-Witt space of $X$ in terms of an additional involution on $operatorname{Pic}(X)$. We also prove space-level projective bundle formulae in both settings.