RECORD
Crystal structures for canonical Grothendieck functions
Combinatorics · Submitted 26 Jul 2019
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim As a consequence, these generating functions are Schur positive; in particular, the canonical Grothendieck functions, which was not previously known.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
We give a $U_q(\mathfrak{sl}_n)$-crystal structure on multiset-valued tableaux, hook-valued tableaux, and valued-set tableaux, whose generating functions are the weak symmetric, canonical, and dual weak symmetric Grothendieck functions, respectively. We show the result is isomorphic to a (generally infinite) direct sum of highest weight crystals, and for multiset-valued tableaux and valued-set tableaux, we provide an explicit bijection. As a consequence, these generating functions are Schur positive; in particular, the canonical Grothendieck functions, which was not previously known. We also give an extension of Hecke insertion to express a dual stable Grothendieck function as a sum of Schur functions.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We give a $U_q(\mathfrak{sl}_n)$-crystal structure on multiset-valued tableaux, hook-valued tableaux, and valued-set tableaux, whose generating functions are the weak symmetric, canonical, and dual weak symmetric Grothendieck functions, respectively. | contribution 0.96 | 0.96 | 0.54 | asserted 1.00 |
| s1 | We show the result is isomorphic to a (generally infinite) direct sum of highest weight crystals, and for multiset-valued tableaux and valued-set tableaux, we provide an explicit bijection. | result 0.81 | 0.96 | 0.15 | asserted 1.00 |
| s2 | As a consequence, these generating functions are Schur positive; in particular, the canonical Grothendieck functions, which was not previously known. | interpretation 0.51 | 0.91 | 0.54 | asserted 1.00 |
| s3 | We also give an extension of Hecke insertion to express a dual stable Grothendieck function as a sum of Schur functions. | contribution 0.95 | 0.94 | 0.07 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
We give a $U_q(\mathfrak{sl}_n)$-crystal structure on multiset-valued tableaux, hook-valued tableaux, and valued-set tableaux, whose generating functions are the weak symmetric, canonical, and dual weak symmetric Grothendieck functions, respectively. We show the result is isomorphic to a (generally infinite) direct sum of highest weight crystals, and for multiset-valued tableaux and valued-set tableaux, we provide an explicit bijection. As a consequence, these generating functions are Schur positive; in particular, the canonical Grothendieck functions, which was not previously known. We also give an extension of Hecke insertion to express a dual stable Grothendieck function as a sum of Schur functions.
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.