Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Famous Robinson Schensted Knuth correspondence gives a correspondence between the matrices with non-negative integer entries and pair of semi standard tableaux. The proof that I have seen is highly combinatorial e.g. in Knuth's paper [Permutations, matrices, and generalized young tableaux]. Does there exist a geometrical proof of this correspondence?

share|improve this question

5 Answers 5

up vote 11 down vote accepted

This depends on the meaning of the word "geometric". If you are thinking of RSK and want the geometry in the way the algorithm is presented (in the case of permutations only), Viennot's paper mentioned by PeterR is your answer. If you are thinking of geometry of flag varieties, you might like Steinberg's theorem (see van Leeuwen's thesis and his J. Algebra paper). Finally, if you want RSK to be a map between integer points in polytopes, there are several versions of that, going back to Gansner in 1981 (you can find a description of that and references in the second half of this paper of mine).

share|improve this answer
    
Thanks a lot for references. Let me look at these and find out, if I get the answer of what I am looking for. –  Pooja Jul 8 '10 at 5:21

This is more a comment on some of the answers given than an answer to the question itself (which isn't too clear in the first place: a correspondence is not something to prove, and why should one want a geometric proof of a statement (whichever) that is fundamentally combinatorial, unless it's just the right brain hemisphere that wants to join in the game?)

I have said this before, in print long ago, but since many people seem not to be aware I'll say it again: while a beautiful presentation, Viennot's description with shadows (ombres) is just a restatement of the "graph-theoretical viewpoint" that is given in Knuth's original paper (section 4), in a somewhat more geometric language. In fact I think the approach is really poset-theoretic: a permutation gives rise to a poset by embedding the $1$'s of permutation matrix into $\mathbb N^2$ with the product partial ordering. The graph that Knuth considers is basically the restricted partial ordering, viewed as a directed graph (there is a minor complication for general integer matrices instead of permutation matrices, as they give rise to points with multiplicity). Viennot's partition into shadows is just the partition of the poset into anti-chains according to the "height" of its elements: the length of the longest chain ending in the element (which description is given in the Knuth paper). Once the shadows are defined, the construction proceeds by iterative formation of derived (and ever smaller) subsets of $\mathbb N^2$/posets/digraphs in exactly the same way. Fulton's matrix-ball construction is again a reformulation of Viennot's construction, taking care to adapt to the general integer-matrix context of Knuth's paper; otherwise there is nothing new here either.

Personally I find the iterative nature of these constructions limit their transparency, even though it does not interfere with their proof of the symmetry of the RS / RSK correspondence. A similar "geometric" approach, but which really adds insight with respect to Knuth's paper is Fomin's growth-diagram approach (which can be given for the full RSK correspondence, even though it is often presented for permutations only). One has to consider all points of (the relevant part of) $\mathbb N^2$ rather than just those occurring in the poset, and one has to attach partitions to each of them according to a somewhat subtle rule, but then the construction produces in one swoop (without iteration) the full pair of tableaux.

share|improve this answer
    
You speak of "Fomin's growth-diagram approach (which can be given for the full RSK correspondence, even though it is often presented for permutations only).". Is there a good way to extend growth diagrams to the non-standard case without the (rather artificial IMHO) concept of standardization? –  darij grinberg Mar 23 '13 at 16:13
    
@darij grinberg: For the Knuth correspondence, since the matrix can have entries larger than one, the "growth" of shapes can correspondingly be by more than one square; the natural condition is growth by horizontal strips. The original reference is S. Fomin, “Schur operators and Knuth correspondences”, J. Combin. Theory, Ser. A 72,(1995), pp. 277–292, though I might unmodestly suggest that my discussion in section 2.2 of "Spin-preserving Knuth correspondences for ribbon tableaux" combinatorics.org/Volume_12/Abstracts/v12i1r10.html is maybe more accessible (you can skip section 1). –  Marc van Leeuwen Mar 26 '13 at 13:30

Do you just want a proof that some bijection exists, or do you want a proof that the RSK bijection itself is a bijection? If the former, this is equivalent to the Cauchy identity in the theory of symmetric functions, for which many proofs have been given. For instance, it is equivalent to decomposing the symmetric algebra of $V\otimes W$ (where $V$ and $W$ are finite-dimensional complex vector spaces) into irreducible representations of GL$(V)\times$ GL$(W)$, for which a direct argument is possible.

share|improve this answer

There is a generalization of Viennot's "ombres" mentioned in some of the other answers, called the matrix-ball construction, and which realizes the full RSK correspondence.

It is presented in Fulton's book "Young tableaux: with applications to representation theory and geometry", and as far as I remember was devised by Fulton itself.

share|improve this answer

See "Une forme geometrique de la correspondance de Robinson-Schensted" by Viennot if you can read French. Otherwise, if I recall correctly it is in Sagan's book on the symmetric group.

share|improve this answer
    
Thanks for the reference. I 'll check Sagan's book. –  Pooja Jul 8 '10 at 5:22

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.