most recent 30 from http://mathoverflow.net 2013-05-19T22:25:48Z http://mathoverflow.net/feeds/question/97203 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/97203/question-about-decomposition-of-exterior-product Jesko Hüttenhain 2012-05-17T09:02:23Z 2012-05-17T16:55:14Z

<p>In their paper "<a href="http://arxiv.org/abs/1112.6007" rel="nofollow">New lower bounds for the border rank of matrix multiplication</a>", Landsberg and Ottaviani make use of the fact that </p> <p><code>$$\tag{$\dagger$} {\textstyle\bigwedge}^p(V\otimes W) \cong \bigoplus\nolimits_{\substack{\lambda\vdash p\\\\\ell(\lambda)\le n\\\\\lambda_1\le m }} \mathbb{S}_\lambda V \otimes \mathbb{S}_{\bar\lambda}W$$</code></p> <p>where $\bar\lambda$ denotes the conjugate partition of $\lambda$. This isomorphism is basically Exercise 6.11 in Fulton &amp; Harris, so there is no doubt about it. However, from what I gather, in Lemma 3.1 of the paper, they use the fact that the above isomorphism is given by the map</p> <p>$$ (v_1\otimes w_1)\wedge\ldots\wedge(v_p\otimes w_p) \longmapsto \sum\nolimits_{\substack{\lambda\vdash p\\\ell(\lambda)\le n\\\lambda_1\le m }} c_\lambda(v_1\otimes\ldots\otimes v_p) \otimes c_{\bar\lambda}(w_1\otimes\ldots\otimes w_p), $$</p> <p>where $c_\lambda$ denotes the Young symmetrizer corresponding to the partition $\lambda$. I cannot find a proof for this. Can someone explain to me why the above map defines </p> <p>&nbsp;&nbsp; <b>a)</b> a morphism of $\mathfrak{S}_p$-modules and <br> &nbsp;&nbsp; <b>b)</b> a bijection? </p> <p>Since all vector spaces involved are of finite dimension and by $(\dagger)$, it would certainly suffice to show that it is either injective or surjective. </p> <p>Also, if I misunderstood the proof of Lemma 3.1 and the isomorphism is given by another elementary rule, please tell me what it is.</p>

http://mathoverflow.net/questions/97203/question-about-decomposition-of-exterior-product/97209#97209 Bruce Westbury 2012-05-17T10:25:48Z 2012-05-17T10:25:48Z

<p>This is well-known in the theory of symmetric functions and is one of two Cauchy identities. You can find this in most books, for example, MacDonald Chapter I, Section 4. Orthogonality equation (4.3').</p> <p>Knuth's extension of the Robinson-Schensted correspondence gives bijective proofs of both Cauchy identities, for example see Stanley Enumerative Combinatorics 7.14.3 Theorem.</p>