K-theoretic crystals for set-valued tableaux of rectangular shapes

MaRDI QIDQ5918946zbMATH OpenFDO

Authors Oliver Pechenik, Travis Scrimshaw

Publication date 14 September 2020

Published in Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1904.09674, http://www.mat.univie.ac.at/~slc/wpapers/FPSAC2020//19.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

crystalKohnert diagramLascoux polynomialskyline tableau

Mathematics Subject Classification ID

Combinatorial aspects of representation theory (05E10)

Abstract: In earlier work with C.~Monical, we introduced the notion of a K-crystal, with applications to K-theoretic Schubert calculus and the study of Lascoux polynomials. We conjectured that such a K-crystal structure existed on the set of semistandard set-valued tableaux of any fixed rectangular shape. Here, we establish this conjecture by explicitly constructing the K-crystal operators. As a consequence, we establish the first combinatorial formula for Lascoux polynomials $L_{wlambda}$ when $lambda$ is a multiple of a fundamental weight as the sum over flagged set-valued tableaux. Using this result, we then prove corresponding cases of conjectures of Ross--Yong (2015) and Monical (2016) by constructing bijections with the respective combinatorial objects.

Review text

The authors and \textit{C. Monical} [Sémin. Lothar. Comb. 82B, 82B.27, 12 p. (2019; Zbl 1436.05131)] introduced the notion of \(K\)-crystals, which are \(K\)-theory analogs of crystals with the enriched property that their associated Lascoux polynomials appear as the characters of a \(K\)-theoretic analogs of Demazure subcrystals. In [loc. cit.], it was conjectured \(K\)-crystals exist for all rectangular shapes and this article proves that result. In proving this conjecture, the authors provide the first combinatorial formula for the Lascoux polynomials that arise. In particular, their formula is a sum over flagged set-valued tableaux, which are indexed by a weight in the Weyl group orbit of a multiple of a fundamental weight, i.e., a rectangular shape partition. Additionally, the authors use their formula to prove conjectures by \textit{C. Ross} and \textit{A. Yong} [Sémin. Lothar. Comb. 74, B74a, 11 p. (2015; Zbl 1328.05200)] and \textit{C. Monical} [Sémin. Lothar. Comb. 78B, 78B.35, 12 p. (2017; Zbl 1384.05160)], which present combinatorial interpretation of Lascoux polynomials for rectangular shapes.

Recommendations

• K-theoretic crystals for set-valued tableaux of rectangular shapes
• Set-valued tableaux rule for Lascoux polynomials
• Crystal structures for symmetric Grothendieck polynomials
• Crystal structures for symmetric Grothendieck polynomials
• Demazure crystals for Kohnert polynomials

Cites work

• \(K\)-theoretic polynomials
• A Littlewood-Richardson rule for the \(K\)-theory of Grassmannians.
• Combinatorial rules for three bases of polynomials
• Crystal bases. Representations and combinatorics
• Crystal structures for symmetric Grothendieck polynomials
• Flagged Grothendieck polynomials
• scientific article; zbMATH DE number 3861335 (Why is no real title available?)
• scientific article; zbMATH DE number 3861336 (Why is no real title available?)
• scientific article; zbMATH DE number 15435 (Why is no real title available?)
• scientific article; zbMATH DE number 16115 (Why is no real title available?)
• Notes on Schubert, Grothendieck and key polynomials
• The crystal base and Littelmann's refined Demazure character formula
• Towards generalized cohomology Schubert calculus via formal root polynomials
• Transition of Grothendieck polynomials.

Cited in

(6)

• Axioms for shifted tableau crystals
• Asymmetric function theory
• Set-valued tableaux rule for Lascoux polynomials
• K-theoretic crystals for set-valued tableaux of rectangular shapes
• Crystal structures for symmetric Grothendieck polynomials
• A bijection between \(K\)-Kohnert diagrams and reverse set-valued tableaux

Describes a project that uses

Uses Software

• SageMath

This page was built for publication: K-theoretic crystals for set-valued tableaux of rectangular shapes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5918946)