arXiv++ Combinatorics

The tensor powers of the vector representation associated to an infinite rank quantum group decompose into irreducible components with multiplicities independant of the infinite root system considered. Although the irreducible modules obtained in this way are not of highest weight, they admit a crystal basis and a canonical basis. This permits in particular to obtain for each familly of classical Lie algebras a Robinson-Schensted correspondence on biwords defined on infinite alphabets. We then depict a structure of bi-crystal on these bi-words. This RS-correspondence yields also a plactic algebra and plactic Schur functions distinct for each infinite root system. Surprisingly, the algebras spanned by these plactic Schur functions are all isomorphic to the algebra of symmetric functions.

We describe a relationship between Robinson-Schensted algorithms defined for standard domino tableaux of unequal rank. The principal idea is the moving-through operation defined on standard domino tableaux by D. Garfinkle. When restricted to involutions, this answers a question posed by M.A.A. van Leeuwen.

Let A and B be two central simple algebras of a prime degree n over a field F generating the same subgroup in the Brauer group. We show that the Chow motive of a Severi-Brauer variety SB(A) is a direct summand of the motive of a generalized Severi-Brauer variety SB_d(B) if and only if [A]=d[B] or [A]=-d[B] in the Brauer group. The proof uses methods of Schubert calculus and combinatorial properties of Young tableaux, e.g., Robinson-Schensted correspondence.

We formulate a nonrecursive combinatorial rule for the expansion of the stable Grothendieck polynomials of [Fomin-Kirillov '94] in the basis of stable Grothendieck polynomials for partitions. This gives a common generalization, as well as new proofs of the rule of [Fomin-Greene '98] for the expansion of the stable Schubert polynomials into Schur polynomials, and the K-theoretic Grassmannian Littlewood-Richardson rule of [Buch '02]. The proof is based on a generalization of the Robinson-Schensted and Edelman-Greene insertion algorithms. Our results are applied to prove a number of new formulas and properties for K-theoretic quiver polynomials, and the Grothendieck polynomials of [Lascoux-Schutzenberger '82]. In particular, we provide the first $K$-theoretic analogue of the factor sequence formula of [Buch-Fulton '99] for the cohomological quiver polynomials.

Let the sign of a skew standard Young tableau be the sign of the permutation you get by reading it row by row from left to right, like a book. We examine how the sign property is transferred by the skew Robinson-Schensted correspondence invented by Sagan and Stanley. The result is a remarkably simple generalization of the ordinary non-skew formula. The sum of the signs of all standard tableaux on a given skew shape is the sign-imbalance of that shape. We generalize previous results on the sign-imbalance of ordinary partition shapes to skew ones.

We propose an analogue of Solomon's descent theory for the case of a wreath product G ~ S_n, where G is a finite abelian group. Our construction mixes a number of ingredients: Mantaci-Reutenauer algebras, Specht's theory for the representations of wreath products, Okada's extension to wreath products of the Robinson-Schensted correspondence, Poirier's quasisymmetric functions. We insist on the functorial aspect of our definitions and explain the relation of our results with previous work concerning the hyperoctaedral group.

We give the first two-dimensional pictorial presentation of Berele's correspondence \cite{Berele}, an analogue of the Robinson-Schensted (R-S) correspondence \cite{Robinson, Schensted} for the symplectic group $Sp(2n, \Cpx )$. From the standpoint of representation theory, the R-S correspondence combinatorially describes the irreducible decomposition of the tensor powers of the natural representation of $GL(n,\Cpx)$. Berele's insertion algorithm gives the bijection that describes the irreducible decomposition of the tensor powers of the natural representation of $Sp(2n, \Cpx)$. Two-dimensional pictorial presentations of the R-S correspondence via local rules (first given by S. Fomin \cite{Fomin,FominGen}) and its many variants have proven very useful in understanding their properties and creating new generalizations. We hope our new presentation will be similarly useful.

We introduce a monoid structure on the set of binary search trees, by a process very similar to the construction of the plactic monoid, the Robinson-Schensted insertion being replaced by the binary search tree insertion. This leads to a new construction of the algebra of Planar Binary Trees of Loday-Ronco, defining it in the same way as Non-Commutative Symmetric Functions and Free Symmetric Functions. We briefly explain how the main known properties of the Loday-Ronco algebra can be described and proved with this combinatorial point of view, and then discuss it from a representation theoretical point of view, which in turns leads to new combinatorial properties of binary trees.

We consider two partial orders on standard Young tableaux. The first one is induced from the weak right Bruhat order on symmetric group by Robinson-Schensted algorithm. The second one is induced from the order on Young diagrams by considering a Young tableau as a chain of Young diagrams. We show that these two orders of completely different nature coincide on the subset of Young tableaux with 2 columns or with 2 rows. This fact has very interesting geometric implications for orbital varieties of nilpotent order 2 in sl(n).

The RSK correspondence generalises the Robinson-Schensted correspondence by replacing permutation matrices by matrices with entries in ${\bf N}$, and standard Young tableaux by semistandard ones. For $r>0$, the Robinson-Schensted correspondence can be trivially extended, using the $r$-quotient map, to one between coloured permutations and pairs of standard $r$-ribbon tableaux built on a fixed $r$-core (the Stanton-White correspondence). This correspondence can also be generalised to arbitrary matrices with entries in ${\bf N}^r$ and pairs of semistandard $r$-ribbon tableaux built on a fixed $r$-core; the generalisation is derived from the RSK correspondence, again using the $r$-quotient map. Shimozono and White recently defined a more interesting generalisation of the Robinson-Schensted correspondence to coloured permutations and standard $r$-ribbon tableaux, one that (unlike the Stanton-White correspondence) respects the spin statistic (total height of ribbons) on standard $r$-ribbon tableaux, relating it directly to the colours of the coloured permutation. We define a construction establishing a bijective correspondence between general matrices with entries in ${\bf N}^r$ and pairs of semistandard $r$-ribbon tableaux built on a fixed $r$-core, which respects the spin statistic on those tableaux in a similar manner, relating it directly to the matrix entries. We also define a similar generalisation of the asymmetric RSK correspondence, in which case the matrix entries are taken from $\{0,1\}^r$.

Let the sign of a standard Young tableau be the sign of the permutation you get by reading it row by row from left to right, like a book. A conjecture by Richard Stanley says that the sum of the signs of all SYTs with n squares is 2^[n/2]. We present a stronger theorem with a purely combinatorial proof using the Robinson-Schensted correspondence and a new concept called chess tableaux. We also prove a sharpening of another conjecture by Stanley concerning weighted sums of squares of sign-imbalances. The proof is built on a remarkably simple relation between the sign of a permutation and the signs of its RS-corresponding tableaux.

In symmetric groups, a two-sided cell is the set of all permutations which are mapped by the Robinson-Schensted correspondence on a pair of tableaux of the same shape. In this article, we show that the set of permutations in a two-sided cell which have a minimal number of inversions is the set of permutations which have a maximal number of inversions in conjugated Young subgroups. We also give an interpretation of these sets with particular tableaux, called reading tableaux. As corollary, we give the set of elements in a two-sided cell which have a maximal number of inversions.

In [O'Connell and Yor (2002)] a path-transformation G was introduced with the property that, for X belonging to a certain class of random walks on the integer lattice, the transformed walk G(X) has the same law as that of the original walk conditioned never to exit a type-A Weyl chamber. In this paper, we show that G is closely related to the Robinson-Schensted algorithm, and use this connection to give a new proof of the above representation theorem. The new proof is valid for a larger class of random walks and yields additional information about the joint law of X and G(X). The corresponding results for the Brownian model are recovered by Donsker's theorem. These are connected with Hermitian Brownian motion and the Gaussian Unitary Ensemble of random matrix theory. The connection we make between the path-transformation G and the RS algorithm also provides a new formula and interpretation for the latter. This can be used to study properties of the RS algorithm and, moreover, extends easily to a continuous setting.

We study the structure of hypersurface orbital varieties of sl(N,C) (those that are hypersurfaces in the nilradical of some parabolic subalgebra) and how information about this structure is encoded in the standard Young tableau associated to it by the Robinson-Schensted algorithm. We present a conjecture for the exact form of the unique non-linear defining equations of hypersurface orbital varieties and proofs of the conjecture in certain cases.

Although the Robinson-Schensted-Knuth correspondence is a classical subject, its study is still active because of new development in last two decades. In this field, fundamental results are sometimes proved by using machineries which may be bypassed. Hence we still feel a lack of good source for these elementary materials. This paper is intended to fill in this lack about the RSK correspondence and the left cells of the symmetric group. It is mostly survey-like, but shows the variety of fields the RSK correspondence is related to.

We define a number of new combinatorial operations on skew semistandard domino tableaux, which together with constructions introduced earlier by C. Carre and B. Leclerc, define an elegant structure on the set of these tableaux, that closely parallels the structure defined in [math.CO/9908099] for ordinary skew semistandard tableaux, that is related to the Littlewood-Richardson rule. These operations are: (1) a bijection between semistandard domino tableaux and certain pairs of ordinary tableaux of the same weight that together fill the same shape; (2) a weight preserving transformation of domino tableaux to ordinary tableaux of a related shape (the correspondence involves 2-quotients) with the property that Yamanouchi domino tableaux correspond precisely to Littlewood-Richardson tableaux; (3) a correspondence between Yamanouchi domino tableaux of shape $λ$ and weight $μ$ and Yamanouchi domino tableaux of shape $μ'$ and weight $λ$, where $μ'$ is $μ$ scaled by a factor 2. The property at the heart of the structure so defined is that operations (1) and (2) commute with the coplactic operations (implicitly) defined by Carre and Leclerc. (1) elucidates their bijection analogous to that of Robinson (a.k.a. the Robinson-Schensted correspondence), while the operation of moving chains in domino tableaux underlying (2) is very similar to jeu de taquin.

The conjugacy classes of nilpotent $n\times n$ matrices can be parametrised by partitions $λ$ of $n$, and for a nilpotent $η$ in the class parametrised by $λ$, the variety $F_η$ of $η$-stable flags has its irreducible components parametrised by the standard Young tableaux of shape $λ$. We indicate how several algorithmic constructions defined for Young tableaux have significance in this context, thus extending Steinberg's result that the relative position of flags generically chosen in the irreducible components of $F_η$ parametrised by tableaux $P$ and $Q$, is the permutation associated to $(P,Q)$ under the Robinson-Schensted correspondence. Other constructions for which we give interpretations are Schützenberger's involution of the set of Young tableaux, jeu de taquin (leading also to an interpretation of Littlewood-Richardson coefficients), and the transpose Robinson-Schensted correspondence (defined using column insertion). In each case we use a doubly indexed family of partitions, defined in terms of the flag (or pair of flags) determined by a point chosen in the variety under consideration. We show that for generic choices, the family satisfies certain combinatorial relations, whence the family describes the computation of the algorithmic operation being interpreted, as we described in a previous publication.

We give a new proof of Chung and Graham's ``G-descent expansion'' of the classical chromatic polynomial, as well as a special case of the quasi-symmetric function expansion of the path-cycle symmetric function Xi_D. Both proofs rely on Stanley's quasi-symmetric function expansion of the chromatic symmetric function X_G. We also show that Stanley's expansion suggests that a Robinson-Schensted algorithm for (3+1)-free posets---something that has been sought for unsuccessfully for some time---ought to ``respect descents'' in a certain precise sense.