Double crystals of binary and integral matrices

MaRDI QIDQ870001zbMATH OpenFDO

Authors Marc van Leeuwen

Publication date 12 March 2007

Published in The Electronic Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0605420, https://eudml.org/doc/127571, http://www.emis.de/journals/EJC/Volume_13/Abstracts/v13i1r86.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

crystal graphcrystal operations on matricesjeu de taquinKnuth transformationsRobinson-Schensted correspondenceRSK correspondenceSchützenberger involutiontableaux

Mathematics Subject Classification ID

Combinatorial aspects of representation theory (05E10)

Abstract: We define a set of operations called crystal operations on matrices with entries either in {0,1} or in N. There are horizontal and vertical crystal operations, giving rise to two commuting structures of a crystal graph on these matrices. They provide a new perspective on many aspects of the RSK correspondence and its dual, and related constructions. Under a straightforward encoding of semistandard tableaux by matrices, the operations correspond to crystal operations on tableaux, respectively to individual moves occurring during a jeu de taquin slide. We show that the (dual) RSK correspondence and the Burge correspondence arise as decompositions: a matrix M can be transformed by crystal operations into each of the matrices encoding P and Q symbol associated to M under these correspondences, and it can be reconstructed from P and Q. These decomposition can also be interpreted as computing Robinson's correspondence, or as the Robinson-Schensted correspondence for pictures. From a particular way of applying crystal operations, the computation of these decompositions by growth diagrams can be deduced, as well as the local rules that are to be used. We show that that crystal operations leave a version of Greene's poset invariant defined for matrices unchanged, so that for such questions in the setting of matrices they can take the place of elementary Knuth transformations on words.

Review text

Summary: We introduce a set of operations that we call crystal operations on matrices with entries either in \(\{0,1\}\) or in \(\mathbf N\). There are horizontal and vertical forms of these operations, which commute with each other, and they give rise to two different structures of a crystal graph of type \(A\) on these sets of matrices. They provide a new perspective on many aspects of the RSK correspondence and its dual, and related constructions. Under a straightforward encoding of semistandard tableaux by matrices, the operations in one direction correspond to crystal operations applied to tableaux, while the operations in the other direction correspond to individual moves occurring during a jeu de taquin slide. For the (dual) RSK correspondence, or its variant the Burge correspondence, a matrix \(M\) can be transformed by horizontal respectively vertical crystal operations into each of the matrices encoding the tableaux of the pair associated to \(M\), and the inverse of this decomposition can be computed using crystal operations too. This decomposition can also be interpreted as computing Robinson's correspondence, as well as the Robinson-Schensted correspondence for pictures. Crystal operations shed new light on the method of growth diagrams for describing the RSK and related correspondences: organising the crystal operations in a particular way to determine the decomposition of matrices, one finds growth diagrams as a method of computation, and their local rules can be deduced from the definition of crystal operations. The Schützenberger involution and its relation to the other correspondences arise naturally in this context. Finally we define a version of Greene's poset invariant for both of the types of matrices considered, and show directly that crystal operations leave it unchanged, so that for such questions in the setting of matrices they can take play the role that elementary Knuth transformations play for words.

Recommendations

• Crystal bases of modified quantized enveloping algebras and a double RSK correspondence
• The Burge correspondence and crystal graphs
• Demazure crystals of generalized Verma modules and a flagged RSK correspondence
• Crystals and trees: quasi-Kashiwara operators, monoids of binary trees, and Robinson-Schensted-type correspondences
• Kronecker products and the RSK correspondence.

Cited in

(16)

• Lakshmibai-Seshadri paths and non-symmetric Cauchy identity
• The Burge correspondence and crystal graphs
• Crystal bases and combinatorics of infinite rank quantum groups
• scientific article; zbMATH DE number 2012463 (Why is no real title available?)
• Duality and bicrystals on infinite binary matrices
• Skew RSK dynamics: Greene invariants, affine crystals and applications toq-Whittaker polynomials
• Perforated tableaux: a combinatorial model for crystal graphs in type \(A_{n - 1}\)
• Skew Howe duality and limit shapes of Young diagrams
• Nonsymmetric Cauchy Kernel, crystals and last passage percolation
• Perforated tableaux in type \(A_{n-1}\) crystal graphs and the RSK correspondence
• Macdonald polynomials at t = 0 through twisted multiline queues
• Crystal invariant theory. I: Geometric RSK
• Affine RSK correspondence and crystals of level zero extremal weight modules
• Demazure crystals of generalized Verma modules and a flagged RSK correspondence
• Charge formulas for Macdonald polynomials at t= 0 from multiline queues and diagrams
• Crystal structures for double Stanley symmetric functions

This page was built for publication: Double crystals of binary and integral matrices

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