Set-valued Tableaux Research Articles

Set-valued tableaux rule for Lascoux 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 description for Lascoux polynomials involving right keys and set-valued tableaux. Our description generalizes the tableaux formulas of key polynomials and Grassmannian stable Grothendieck polynomials. To prove our description, we construct a new abstract Kashiwara crystal structure on set-valued tableaux. This construction answers an open problem of Monical, Pechenik and Scrimshaw.Mathematics Subject Classifications: 05E05Keywords: Lascoux polynomials, set-valued tableaux, crystal operators

Uncrowding Algorithm for Hook-Valued Tableaux

Whereas set-valued tableaux are the combinatorial objects associated to stable Grothendieck polynomials, hook-valued tableaux are associated with stable canonical Grothendieck polynomials. In this paper, we define a novel uncrowding algorithm for hook-valued tableaux. The algorithm “uncrowds” the entries in the arm of the hooks, and yields a set-valued tableau and a column-flagged increasing tableau. We prove that our uncrowding algorithm intertwines with crystal operators. An alternative uncrowding algorithm that “uncrowds” the entries in the leg instead of the arm of the hooks is also given. As an application of uncrowding, we obtain various expansions of the canonical Grothendieck polynomials.

A Crystal on Decreasing Factorizations in the 0-Hecke Monoid

We introduce a type $A$ crystal structure on decreasing factorizations of fully-commu\-tative elements in the 0-Hecke monoid which we call $\star$-crystal. This crystal is a $K$-theoretic generalization of the crystal on decreasing factorizations in the symmetric group of the first and last author. We prove that under the residue map the $\star$-crystal intertwines with the crystal on set-valued tableaux recently introduced by Monical, Pechenik and Scrimshaw. We also define a new insertion from decreasing factorization to pairs of semistandard Young tableaux and prove several properties, such as its relation to the Hecke insertion and the uncrowding algorithm. The new insertion also intertwines with the crystal operators.

Antipode Formulas for some Combinatorial Hopf Algebras

Motivated by work of Buch on set-valued tableaux in relation to the K-theory of the Grassmannian, Lam and Pylyavskyy studied six combinatorial Hopf algebras that can be thought of as K-theoretic analogues of the Hopf algebras of symmetric functions, quasisymmetric functions, noncommutative symmetric functions, and of the Malvenuto-Reutenauer Hopf algebra of permutations. They described the bialgebra structure in all cases that were not yet known but left open the question of finding explicit formulas for the antipode maps. We give combinatorial formulas for the antipode map for the K-theoretic analogues of the symmetric functions, quasisymmetric functions, and noncommutative symmetric functions.

Excited Young diagrams, equivariant $K$-theory, and Schubert varieties

We give combinatorial descriptions of the restrictions to T-fixed points of the classes of structure sheaves of Schubert varieties in the T-equivariant K-theory of Grassmannians and of maximal isotropic Grassmannians of orthogonal and symplectic types. We also give formulas, based on these descriptions, for the Hilbert series and Hilbert polynomials at T-fixed points of the corresponding Schubert varieties. These descriptions and formulas are given in terms of two equivalent combinatorial models: excited Young diagrams and set-valued tableaux. The restriction fomulas are positive, in that for a Schubert variety of codimension d, the formula equals (-1)^d times a sum, with nonnegative coefficients, of monomials in the expressions (e^{-\alpha}-1), as \alpha runs over the positive roots. In types A_n and C_n the restriction formulas had been proved earlier by [Kreiman 05], [Kreiman 06] by a different method. In type A_n, the formula for the Hilbert series had been proved earlier by [Li-Yong 12]. The method of this paper, which relies on a restriction formula of [Graham 02] and [Willems 06], is based on the method used by [Ikeda-Naruse 09] to obtain the analogous formulas in equivariant cohomology. The formulas we give differ from the K-theoretic restriction formulas given by [Ikeda-Naruse 11], which use different versions of excited Young diagrams and set-valued tableaux. We also give Hilbert series and Hilbert polynomial formulas which are valid for Schubert varieties in any cominuscule flag variety, in terms of the 0-Hecke algebra.