MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 added 5 characters in body

Let $W$ be a vector space of dimension $n$ containing $V$. Let $\alpha$ be an endomorphism of $V^{\otimes n}$ commuting with the action of ${\rm GL}(V)$. Suppose that $\alpha$ can be extended to an endomorphism $\beta$ of $W^{\otimes n}$ that commutes with the action of ${\rm GL}(W)$. Then, by the argument given by David Speyer in the question, there exist scalars $c_\sigma \in \mathbf{C}$ such that

$$ \beta = \sum_{\sigma \in S_n} c_\sigma \sigma $$

and this also expresses $\alpha$ as a linear combination of place permutations of the tensor factors. (As I noted in my comment, this expression is, in general, far from unique.)

Any proof that such an extension exists must use the semisimplicity of $\mathbf{C}S_n$, since otherwise we get an easy proof of general Schur-Weyl duality. If we assume that ${\rm GL}(W)$ is acts as the full ring of $S_n$-invariant endomorphisms of $W^{\otimes n}$ then a fairly short proof is possible. I think it is inevitable that it uses many of the same ideas as the double-centralizer theorem. A more direct proof would be very welcome.

Let $U$ be a simple $\mathbf{C}S_n$-module appearing in $V^{\otimes n}$. Let

$$ X = U_1 \oplus \cdots \oplus U_a \oplus U_{a+1} \oplus \cdots \oplus U_b $$

be the largest submodule of $W^{\otimes n}$ that is a direct sum of simple $\mathbf{C}S_n$-modules isomorphic to $U$. We may choose the decomposition so that $X \cap V^{\otimes n} = U_1 \oplus \cdots \oplus U_a$. Each projection map $W^{\otimes n} \rightarrow U_i$ is $S_n$-invariant, and so is induced by a suitable linear combination of elements of ${\rm GL}(W)$. Hence each $U_i$ for $1 \le i \le a$ is $\alpha$-invariant. Similarly, for each pair $i$, $j$ there is a isomorphism $U_i \cong U_j$ induced by ${\rm GL}(W)$; these isomorphisms are unique up to scalars (by Schur's Lemma). Using these isomorphisms we get a unique ${\rm GL}(W)$-invariant extension of $\alpha$ to $X$.

Finally let $W^{\otimes n} = C \oplus D$ where $C$ is the sum of all simple $\mathbf{C}S_n$-submodules of $W^{\otimes n}$ isomorphic to a submodule of $V^{\otimes n}$ and $D$ is a complementary $\mathbf{C}S_n$-submodule. The previous paragraph extends $\alpha$ to a map $\beta$ defined on $C$. The projection map $W^{\otimes n} \rightarrow D$ is $S_n$-invariant and so is induced by ${\rm GL}(W)$. Hence we can set $\beta(D) = 0$ and obtain a ${\rm GL}(W)$-invariant extension $\beta : W^{\otimes n} \rightarrow W^{\otimes n}$ of $\alpha$.

show/hide this revision's text 1

Let $W$ be a vector space of dimension $n$ containing $V$. Let $\alpha$ be an endomorphism of $V^{\otimes n}$ commuting with the action of ${\rm GL}(V)$. Suppose that $\alpha$ can be extended to an endomorphism $\beta$ of $W^{\otimes n}$ that commutes with the action of ${\rm GL}(W)$. Then, by the argument given by David Speyer in the question, there exist scalars $c_\sigma \in \mathbf{C}$ such that

$$ \beta = \sum_{\sigma \in S_n} c_\sigma \sigma $$

and this also expresses $\alpha$ as a linear combination of place permutations of the tensor factors. (As I noted in my comment, this expression is, in general, far from unique.)

Any proof that such an extension exists must use the semisimplicity of $\mathbf{C}S_n$, since otherwise we get an easy proof of general Schur-Weyl duality. If we assume that ${\rm GL}(W)$ is the full ring of $S_n$-invariant endomorphisms of $W^{\otimes n}$ then a fairly short proof is possible. I think it is inevitable that it uses many of the same ideas as the double-centralizer theorem. A more direct proof would be very welcome.

Let $U$ be a simple $\mathbf{C}S_n$-module appearing in $V^{\otimes n}$. Let

$$ X = U_1 \oplus \cdots \oplus U_a \oplus U_{a+1} \oplus \cdots \oplus U_b $$

be the largest submodule of $W^{\otimes n}$ that is a direct sum of simple $\mathbf{C}S_n$-modules isomorphic to $U$. We may choose the decomposition so that $X \cap V^{\otimes n} = U_1 \oplus \cdots \oplus U_a$. Each projection map $W^{\otimes n} \rightarrow U_i$ is $S_n$-invariant, and so is induced by a suitable linear combination of elements of ${\rm GL}(W)$. Hence each $U_i$ for $1 \le i \le a$ is $\alpha$-invariant. Similarly, for each pair $i$, $j$ there is a isomorphism $U_i \cong U_j$ induced by ${\rm GL}(W)$; these isomorphisms are unique up to scalars (by Schur's Lemma). Using these isomorphisms we get a unique ${\rm GL}(W)$-invariant extension of $\alpha$ to $X$.

Finally let $W^{\otimes n} = C \oplus D$ where $C$ is the sum of all simple $\mathbf{C}S_n$-submodules of $W^{\otimes n}$ isomorphic to a submodule of $V^{\otimes n}$ and $D$ is a complementary $\mathbf{C}S_n$-submodule. The previous paragraph extends $\alpha$ to a map $\beta$ defined on $C$. The projection map $W^{\otimes n} \rightarrow D$ is $S_n$-invariant and so is induced by ${\rm GL}(W)$. Hence we can set $\beta(D) = 0$ and obtain a ${\rm GL}(W)$-invariant extension $\beta : W^{\otimes n} \rightarrow W^{\otimes n}$ of $\alpha$.