Is there a notation for the symmetric / antisymmetric subspaces of a tensor power that distinguishes them from the symmetric / exterior power? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T18:56:13Z http://mathoverflow.net/feeds/question/54698 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/54698/is-there-a-notation-for-the-symmetric-antisymmetric-subspaces-of-a-tensor-power Is there a notation for the symmetric / antisymmetric subspaces of a tensor power that distinguishes them from the symmetric / exterior power? Qiaochu Yuan 2011-02-07T21:26:34Z 2011-02-08T03:32:55Z <p>Let $V$ be a finite-dimensional vector space over a field $k$, say of characteristic $0$. The symmetric group $S_n$ acts on the tensor power $V^{\otimes n}$ in the obvious way, and this action defines two subspaces of $V^{\otimes n}$, the subspace on which $S_n$ acts via the trivial character and the subspace on which $S_n$ acts via the antisymmetric character. </p> <p><strong>Question 0:</strong> Is the construction of these subspaces functorial in $V$? If it is, are the corresponding functors naturally isomorphic to the symmetric and exterior powers, and if that's true, are the corresponding natural isomorphisms unique?</p> <p>If the answers to Question 0 turn out more or less like I suspect, we should not regard these subspaces as completely synonymous with the symmetric power $S^n V$ and the exterior power $\Lambda^n V$, respectively, since these are naturally thought of as quotients of $V^{\otimes n}$. (This issue recently came up in <a href="http://mathoverflow.net/questions/54343/is-there-a-preferable-convention-for-defining-the-wedge-product/" rel="nofollow">another MO question</a>.) </p> <p><strong>Question 1:</strong> Is there an established notation in the literature which respects this distinction?</p> http://mathoverflow.net/questions/54698/is-there-a-notation-for-the-symmetric-antisymmetric-subspaces-of-a-tensor-power/54699#54699 Answer by mt for Is there a notation for the symmetric / antisymmetric subspaces of a tensor power that distinguishes them from the symmetric / exterior power? mt 2011-02-07T21:42:48Z 2011-02-07T21:48:51Z <p>This only answers part of your question 0 unfortunatly. The construction is certainly functorial, but the two notions of symmetric/alternating power do not always agree. Let's write $\operatorname{Sym}^n (V)$ for the symmetric tensors, and $\operatorname{Alt} ^n (V)$ for the alternating tensors. I wish this were established notation, but it probably isn't. Let $p$ be the characteristic of the field. Note $V^{\otimes n}$ is a $kGL(V) - \Sigma_n$ bimodule ($\Sigma_n$ is the symmetric group). Then if $r$ is less than $p$, or if $p=0$, $\operatorname{Sym}^r (V) \cong S^r(V)$ and $\operatorname{Alt}^r (V) \cong \Lambda ^r(V)$ as $GL(V)$-modules (this is proved by writing down maps explicitly). </p> <p>If $r \geq p$ then $S^r$ and $\operatorname{Sym}^r$ are the contravariant (i.e. transpose) duals of one another as $GL$ modules. I imagine the same is true of the alternating power/antisymmetric tensors.</p> http://mathoverflow.net/questions/54698/is-there-a-notation-for-the-symmetric-antisymmetric-subspaces-of-a-tensor-power/54703#54703 Answer by Qiaochu Yuan for Is there a notation for the symmetric / antisymmetric subspaces of a tensor power that distinguishes them from the symmetric / exterior power? Qiaochu Yuan 2011-02-07T22:31:46Z 2011-02-07T22:38:17Z <p>Okay, so I think this is what's going on. The elements of $V^{\otimes n}$ are naturally identified with multilinear functions on $V^{\ast}$. Among these functions are the alternating multilinear functions on $V^{\ast}$, which are naturally identified with the elements of $\Lambda^n(V^{\ast})^{\ast}$, so this gives a natural inclusion $\Lambda^n(V^{\ast})^{\ast} \to V^{\otimes n}$. The situation is similar for symmetric tensors. I think this inclusion is what I'm looking for.</p> <p>One can compose the above inclusion with the quotient $V^{\otimes n} \to \Lambda^n(V)$, and this gives a natural map $\Lambda^n(V^{\ast})^{\ast} \to \Lambda^n(V)$. In characteristic zero this map is an isomorphism, but in positive characteristic there are problems, and in any case it behaves in a slightly unexpected way with respect to a basis of $V$ (because of the issues Greg Kuperberg brought up in the linked MO question).</p> <p>Here is what happens in the simplest nontrivial case. Let $V$ be two-dimensional with basis $e_1, e_2$. Then $V^{\otimes 2}$ inherits a natural basis $e_i \otimes e_j, 1 \le i, j \le 2$ and the image of this basis gives a basis $e_1 \wedge e_2$ of $\Lambda^2 V$. The dual $V^{\ast}$ inherits a dual basis $e_1^{\ast}, e_2^{\ast}$ giving a basis $e_1^{\ast} \wedge e_2^{\ast}$ of $\Lambda^2 V$, and dualizing one more time gives a dual basis $(e_1^{\ast} \wedge e_2^{\ast})^{\ast}$. The natural inclusion above sends $(e_1^{\ast} \wedge e_2^{\ast})^{\ast}$ to $e_1 \otimes e_2 - e_2 \otimes e_1$.</p> <p>But now the natural map $\Lambda^2(V^{\ast})^{\ast} \to \Lambda^2(V)$ sends $(e_1^{\ast} \wedge e_2^{\ast})^{\ast}$ to $2 e_1 \wedge e_2$. So natural bases do not behave in the expected way with respect to these constructions, and one must insert some factorials... </p> http://mathoverflow.net/questions/54698/is-there-a-notation-for-the-symmetric-antisymmetric-subspaces-of-a-tensor-power/54704#54704 Answer by darij grinberg for Is there a notation for the symmetric / antisymmetric subspaces of a tensor power that distinguishes them from the symmetric / exterior power? darij grinberg 2011-02-07T22:32:39Z 2011-02-08T03:23:05Z <p><strong>ad Question 0:</strong></p> <p><strong>1.</strong></p> <p>For every $k$-vector space $V$, and every $n\in\mathbb N$, the symmetric group <code>$S_n$</code> acts on the tensor power $V^{\otimes n}$ by permuting the tensorands:</p> <p><code>$\sigma\left(v_1\otimes v_2\otimes ...\otimes v_n\right) = v_{\sigma^{-1}\left(1\right)}\otimes v_{\sigma^{-1}\left(2\right)}\otimes ...\otimes v_{\sigma^{-1}\left(n\right)}$</code> for every <code>$\sigma \in S_n$</code> and <code>$v_1,v_2,...,v_n\in V$</code>.</p> <p>Let <code>$V^{\otimes n}_{\mathrm{symm}}$</code> denote the subspace of the tensor power $V^{\otimes n}$ consisting of the elements on which <code>$S_n$</code> acts trivially. Let <code>$V^{\otimes n}_{\mathrm{alt}}$</code> denote the subspace of the tensor power $V^{\otimes n}$ consisting of the elements on which <code>$S_n$</code> acts by the sign representation.</p> <p>For every $k$-linear map $f:V\to W$ between two vector spaces, its $n$-th tensor power $f^{\otimes n}:V^{\otimes n}\to W^{\otimes n}$ restricts to a $k$-linear map <code>$f^{\otimes n}_{\mathrm{symm}}:V^{\otimes n}_{\mathrm{symm}}\to W^{\otimes n}_{\mathrm{symm}}$</code> and a $k$-linear map <code>$f^{\otimes n}_{\mathrm{alt}}:V^{\otimes n}_{\mathrm{alt}}\to W^{\otimes n}_{\mathrm{alt}}$</code>, because the map $f$ commutes with the action of $S_n$ (while $f$ transforms the tensorands, the action of $S_n$ permutes the tensorands). Thus, <code>$V\mapsto V^{\otimes n}_{\mathrm{symm}};\ f\mapsto f^{\otimes n}_{\mathrm{symm}}$</code> and <code>$V\mapsto V^{\otimes n}_{\mathrm{alt}};\ f\mapsto f^{\otimes n}_{\mathrm{alt}}$</code> are functors.</p> <p><strong>2.</strong> </p> <p>If $k$ has characteristic $0$, then <code>$V\mapsto V^{\otimes n}_{\mathrm{symm}};\ f\mapsto f^{\otimes n}_{\mathrm{symm}}$</code> is isomorphic to <code>$V\mapsto \mathrm{S}^n\left(V\right);\ f\mapsto \mathrm{S}^n\left(f\right)$</code> as functors, and <code>$V\mapsto V^{\otimes n}_{\mathrm{alt}};\ f\mapsto f^{\otimes n}_{\mathrm{alt}}$</code> is isomorphic to $V\mapsto \wedge^n\left(V\right);\ f\mapsto \wedge^n\left(f\right)$ as functors. The isomorphisms are given, e. g., in <a href="http://www.amsta.leeds.ac.uk/~pmtwc/" rel="nofollow">Crawley-Boevey, <em>Lectures on representation theory and invariant theory</em></a>, §6, Lemma 1 and 3.</p> <p>Of course, multiplying such an isomorphism by a scalar $\neq 0$ yields another isomorphism. This is all the freedom we have: any two isomorphisms between the functor <code>$V\mapsto V^{\otimes n}_{\mathrm{symm}};\ f\mapsto f^{\otimes n}_{\mathrm{symm}}$</code> and the functor $V\mapsto \mathrm{S}^n\left(V\right);\ f\mapsto \mathrm{S}^n\left(f\right)$ are equal up to scalar, and similarly for the other pair of functors.</p> <p>To prove this, we let $P$ be an isomorphism from the functor <code>$V\mapsto V^{\otimes n}_{\mathrm{symm}};\ f\mapsto f^{\otimes n}_{\mathrm{symm}}$</code> to the functor $V\mapsto \mathrm{S}^n\left(V\right);\ f\mapsto \mathrm{S}^n\left(f\right)$. Let $\lambda\in k$ be defined by $P_k\left(1\otimes 1\otimes ...\otimes 1\right)=\lambda 1\cdot 1\cdot ...\cdot 1$, where $P_k$ is the isomorphism $P$ at the object $V=k$, and $\cdot$ denotes the multiplication in the symmetric algebra (because it is commutative).</p> <p>Since $k$ has characteristic $0$, the space <code>$V^{\otimes n}_{\mathrm{symm}}$</code> is generated by the tensors $v\otimes v\otimes\dots\otimes v$ for $v\in V$. (This is Lemma 7 from Crawley-Boevey's above-mentioned text, sent back to <code>$V^{\otimes n}_{\mathrm{symm}}$</code> from $\mathrm{S}^n\left(V\right)$.) We are now going to prove that $P_V\left(v\otimes v\otimes \ldots\otimes v\right)=\lambda v\cdot v\cdot \ldots\cdot v$ for every $v\in V$.`</p> <p>In order to show this, let $f:k\to V$ be a vector space homomorphism given by $f\left(1\right)=v$. The functoriality of $P$ now yields </p> <p><code>$P_V\left(f^{\otimes n}_{\mathrm{symm}}\left(1\otimes 1\otimes\ldots\otimes 1\right)\right)=\left(\mathrm{S}^n\left(f\right)\right)\left(P_k\left(1\cdot 1\cdot\ldots\cdot 1\right)\right)$</code>.</p> <p>This rewrites as <code>$P_V\left(v\otimes v\otimes \ldots\otimes v\right)=\lambda v\cdot v\cdot \ldots\cdot v$</code>, and we are done.</p> <p>This yields (since the space <code>$V^{\otimes n}_{\mathrm{symm}}$</code> is generated by the tensors $v\otimes v\otimes\ldots\otimes v$ for $v\in V$) that the map <code>$P_V$</code> is just the canonical projection from <code>$V^{\otimes n}_{\mathrm{symm}}$</code> to $\mathrm{S}^n\left(V\right)$, multiplied with the scalar $\lambda$. Since $\lambda$ does not depend on $V$, this shows us that our isomorphism $P$ from the functor <code>$V\mapsto V^{\otimes n}_{\mathrm{symm}};\ f\mapsto f^{\otimes n}_{\mathrm{symm}}$</code> to the functor <code>$V\mapsto \mathrm{S}^n\left(V\right);\ f\mapsto \mathrm{S}^n\left(f\right)$</code> is the projection isomorphism times $\lambda$. In other words, all the freedom we have to choose this isomorphism is the freedom of choosing the scalar factor to multiply with. The same argument works for the other pair of functors.</p> http://mathoverflow.net/questions/54698/is-there-a-notation-for-the-symmetric-antisymmetric-subspaces-of-a-tensor-power/54721#54721 Answer by Steven Sam for Is there a notation for the symmetric / antisymmetric subspaces of a tensor power that distinguishes them from the symmetric / exterior power? Steven Sam 2011-02-08T03:32:55Z 2011-02-08T03:32:55Z <p>The subspace of $\Sigma_n$-invariants of $V^{\otimes n}$ is called the $n$th divided power of $V$ (at least when $V$ is a free module).</p>