## Lectures in Representation Theory

Last update: 28 August 2013

## Lecture 22

Recall our setting from last time. Suppose $A$ and $B$ are algebras and $V$ is a completely decomposable $A\text{-module,}$ with decomposition $V={\sum }_{\lambda \in \stackrel{ˆ}{V}}{m}_{\lambda }{V}^{\lambda }\text{.}$ Suppose that $V$ is also a module for $B$ and that $V\left(B\right)=\stackrel{‾}{V\left(A\right)}\text{.}$

We showed that $B$ has certain irreducible modules ${W}^{\lambda }$ (called ${C}^{\lambda }$ last time), each of dimension ${m}_{\lambda }$ for $\lambda \in \stackrel{ˆ}{V}\text{.}$ The module $V$ is a completely decomposable $B\otimes A$ module, with decomposition into irreducible $B\otimes A$ modules $V≅∑λ∈Vˆ Wλ⊗Vλ.$

Corollary 3.22 Let ${\chi }_{B}^{\lambda }$ be the character of ${W}^{\lambda },$ and let ${\chi }_{A}^{\lambda }$ be the character of ${V}^{\lambda }\text{.}$ Then for $b\in B$ and $a\in A$ $trV(b⊗a)= ∑λ∈Vˆ χBλ(b) χAλ(a)$

 Proof. Let ${\left\{{w}_{i}^{\lambda }\right\}}_{1\le i\le {m}_{\lambda }}$ be a basis for each ${W}^{\lambda }$ and similarly choose bases ${\left\{{v}_{j}^{\lambda }\right\}}_{1\le j\le {d}_{\lambda }}$ for the ${V}^{\lambda }\text{.}$ Then by the above decomposition, the set ${ wiλ⊗vjλ | 1≤i≤mλ ,1≤j≤dλ,λ ∈Vˆ }$ forms a basis for $V\text{.}$ Thus $trV(b⊗a) = ∑λ∈Vˆ ∑i=1mλ ∑j=1dλ ( (b⊗a) (wiλ⊗vjλ) ) |wiλ⊗vjλ = ∑λ∈Vˆ ∑i=1mλ ∑j=1dλ ( (bwiλ)⊗ (avjλ) ) |wiλ⊗vjλ = ∑λ∈Vˆ ∑i=1mλ ∑j=1dλ (bwiλ) |wiλ (avjλ) |vjλ = ∑λ∈Vˆ ( ∑i=1mλ (bwiλ) |wiλ ) ( ∑j=1dλ (avjλ) |vjλ ) = ∑λ∈Vˆ χBλ(b) χAλ(a)$ since ${\chi }_{B}^{\lambda }={\text{tr}}_{{W}^{\lambda }}$ and ${\chi }_{A}^{\lambda }={\text{tr}}_{{V}^{\lambda }}\text{.}$ $\square$

Consider the regular representation ${L}_{A}:A\to {M}_{d}\left(ℂ\right)$ $\left(d=\text{dim} A\right)$ of an algebra $A$ defined by $a↦{L}_{a},$ the transformation defined by left multiplication by $a\text{.}$ Recall that we often denoted this action by ${a}_{1}·\stackrel{\to }{{a}_{2}}=\stackrel{‾}{{a}_{1}}\stackrel{\to }{{a}_{2}},$ using the vector notation to distinguish elements of the vector space $\stackrel{\to }{A}$ from transformations in $A\text{.}$

We showed that $\stackrel{‾}{A}={R}_{A},$ that is, those transformations which commute with all left multiplications consist precisely of the right multiplications by elements of $A\text{.}$ Let $B={A}^{\text{op}},$ the opposite algebra of $A\text{.}$ The algebra ${A}^{\text{op}}$ is defined to have $\stackrel{\to }{A}$ as the underlying vector space, but with multiplication defined by $a1∘a2= a2a1$ where the multiplication of the right hand side is the usual multiplication in $A\text{.}$

The algebra $B={A}^{\text{op}}$ acts on $\stackrel{\to }{A}$ by right multiplication: for $b\in B$ and $a\in A$ $ba→= ab→$

Problem 3.23 Verify that this defines a module action of ${A}^{\text{op}}$ on $\stackrel{\to }{A}\text{.}$

Then $B$ acts as ${R}_{A}=\stackrel{‾}{\stackrel{\to }{A}\left(A\right)},$ as in the statement of the theorem. If $\stackrel{\to }{A}$ is completely decomposable as an $A\text{-module}$ (i.e. if $A$ is a semisimple algebra), then as a $B\otimes A$ module, $A→≅⨁λ∈Aˆ Bλ⊗Aλ$ where ${B}^{\lambda }$ and ${A}^{\lambda }$ are the irreducible $B$ and $A$ modules respectively. Note that in this case, each irreducible $A\text{-module}$ appears in the decomposition of $V=\stackrel{\to }{A}\text{.}$

We knew this already, however. If $A$ is semisimple, then $A\cong {\oplus }_{\lambda }{M}_{{d}_{\lambda }}\left(ℂ\right),$ and the irreducible (left) $A\text{-modules}$ are the column spaces of dimension ${d}_{\lambda }$ for each simple component. Then, by taking transposes, we see that the irreducible ${A}^{\text{op}}$ modules are the row vectors for each simple component (Note that they have the same dimension as the corresponding $A\text{-module).}$ Then ${M}_{{d}_{\lambda }}\left(ℂ\right)\cong {B}^{\lambda }\otimes {A}^{\lambda }$ and we have the above decomposition.

We do get one useful piece of information from this situation, however. Continuing with $A$ semisimple, suppose ${A}^{\lambda }$ has character ${\chi }^{\lambda },$ and denote the representation ${A}^{\lambda }:A\to {M}_{{d}_{\lambda }}\left(ℂ\right)$ by $a↦{A}^{\lambda }\left(a\right)\text{.}$ Then the irreducible modules for the opposite algebra ${B}^{\lambda }:B\to {M}_{{d}_{\lambda }}\left(ℂ\right)$ are defined by ${B}^{\lambda }\left(b\right)={\left({A}^{\lambda }\left(b\right)\right)}^{t}\text{.}$ Thus, $χBλ(b) = tr(Bλ(b)) = tr(Aλ(b)t) = tr(Aλ(b)) = χAλ(b)$

Applying the corollary, $trA→(b⊗a)= ∑λ∈Aˆ χBλ(b) χAλ(a)= ∑λ∈Aˆ χAλ(b) χAλ(a).$

We next evaluate this trace in another way. Choose a basis $ℬ={\left\{{g}_{i}\right\}}_{1\le i\le \text{dim} A}$ and a nondegenerate trace $\stackrel{\to }{t}=\left({t}_{\lambda }\right)\text{.}$ Recall that $⟨b,a⟩=\stackrel{\to }{t}\left(ba\right)$ is then a non-degenerate symmetric bilinear form on $A,$ so we may choose a dual basis ${ℬ}^{*}=\left\{{g}_{j}^{*}\right\}$ with respect to this form.

We defined $\left[a\right]={\sum }_{i=1}^{\text{dim} A}{g}_{i}a{g}_{i}^{*}\text{.}$ Evaluating the trace above, $trA→(b⊗a) = ∑i(b⊗a) gi|gi = ∑i (agib) |gi = ∑i ⟨agib,gi*⟩ = ∑itr (agibgi*) = tr(a∑igibgi*) = ⟨a,[b]⟩.$ We have shown previously that the $\left[·\right]$ mapping is an adjoint map with respect to this form, hence ${\text{tr}}_{\stackrel{\to }{A}}\left(b\otimes a\right)=⟨\left[a\right],b⟩\text{.}$ Combining these two calculations,

Proposition 3.24 Let $A$ be a semisimple algebra with irreducible representations ${A}^{\lambda }$ indexed by $\lambda \in \stackrel{ˆ}{A},$ and denote the character of ${A}^{\lambda }$ by ${\chi }^{\lambda }\text{.}$ Then $∑λ∈Aˆ χλ(b) χλ(a)= ⟨[a],b⟩= ⟨a,[b]⟩.$

Example 3.25 Let $G$ be a finite group, and let $A=ℂG$ be the group algebra over $ℂ\text{.}$ By Maschke’s theorem, $A$ is semisimple. By definition, the elements of the group $G$ form a basis for $A\text{.}$ We have shown that the linear function $\stackrel{\to }{t}:A\to ℂ$ defined by $t→(a)=a|1$ is a nondegenerate trace on $A,$ and that the dual basis with respect to the associated bilinear form is $\left\{{g}^{-1} | g\in G\right\}\text{.}$ Recall also that if $h\in G$ then $[h]=∑g∈G ghg-1=sh ∑g∈𝒞hg$ where ${s}_{k}$ is the order of the stabilizer of $h$ under conjugation, and ${𝒞}_{h}$ is the conjugacy class of $h$ (so ${s}_{k}=|G|}{|{𝒞}_{h}|}\text{).}$ Applying the proposition in this context yields:

Proposition 3.26 (Second Orthogonality Condition) Let $G$ be a finite group. If $g,h\in G,$ then $∑λ∈Aˆ χλ(g) χλ(h-1)= ⟨[g],h-1⟩= { sg if h∈𝒞g 0 otherwise$

### 3.1$\phantom{\rule{1em}{0ex}}$Schur-Weyl Duality

Let ${v}_{1},{v}_{2},\dots ,{v}_{n}$ be non-commuting variables and let $V$ be the $ℂ$ vector space with basis $\left\{{v}_{i}\right\}\text{.}$ Let ${V}^{\otimes m}$ be the vector space with basis $\left\{{v}_{{i}_{1}}{v}_{{i}_{2}}\cdots {v}_{{i}_{m}} | 1\le {i}_{j}\le m\right\}\text{.}$ Then ${𝒮}_{m}$ acts on ${V}^{\otimes m}$ by permuting the subscripts of the basis vectors $σ·vi1vi2 ⋯vim= viσ(1) viσ(2)⋯ viσ(m).$

What is $\stackrel{‾}{{V}^{\otimes m}\left(ℂ{𝒮}_{m}\right)}\text{?}$ We know that $ℂ{𝒮}_{m}$ is semisimple by Maschke’s theorem, so ${V}^{\otimes m}$ is completely decomposable. To use the theorems of the last few classes, we’d like to find an algebra $B$ acting on ${V}^{\otimes m}$ such that ${V}^{\otimes m}\left(B\right)=\stackrel{‾}{{V}^{\otimes m}\left(ℂ{𝒮}_{m}\right)}\text{.}$ Then, $V⊗m= ⨁λ⊢mℓ(λ)≤n Sλ⊗Vλ$ where ${S}_{\lambda }$ are the irreducible $ℂ{𝒮}_{m}$ modules and ${V}^{\lambda }$ are the irreducible modules for $B\text{.}$

Of course, there is a natural action of the general linear group $\text{GL}\left(n\right),$ the set of all $n×n$ invertible matrices, on $V$ given by $g·vi= ∑j=1n vjgj,i$ where $g=\left({g}_{i,j}\right)\text{.}$ We may extend this action to ${V}^{\otimes m}$ as the linear extension of $g· vi1 vi2⋯ vim= (gvi1) (gvi2)⋯ (gvim).$ This is a group representation, so we may consider the representation of the group algebra $ℂ\text{GL}\left(n\right)\text{.}$ A word of caution is necessary: since this is a group algebra, the invertible matrices form a basis and the addition operation is formal addition which differs from the usual addition of matrices.

It is easy to see that ${V}^{\otimes m}\left(ℂ\text{GL}\left(n\right)\right)\subseteq \stackrel{‾}{V\left(ℂ{𝒮}_{m}\right)},$ that is, the action of $\text{GL}\left(n\right)$ commutes with the action of ${𝒮}_{m}$ on ${V}^{\otimes m}$ (we shall prove it). That the reverse inclusion holds is as surprising as it is beautiful.

Theorem 3.27 (Schur-Weyl Duality) With the above notation $V⊗m (ℂGL(n))= V⊗m(ℂ𝒮m)‾ .$ This is equivalent to the classical Fundamental Theorem of Invariant Theory.

Lemma 3.28 ${V}^{\otimes m}\left(ℂ\text{GL}\left(n\right)\right)\subseteq \stackrel{‾}{{V}^{\otimes m}\left(ℂ{𝒮}_{m}\right)}\text{.}$

 Proof. Let $g=\left({g}_{i,j}\right)\in \text{GL}\left(n\right)$ and suppose $w={v}_{{i}_{1}}{v}_{{i}_{2}}\cdots {v}_{{i}_{m}}$ is a basis word in ${V}^{\otimes m}\text{.}$ Then $g·w = (gvi1)⋯ (gvim) = ∑1≤j1,j2,…,jm≤n vj1vj2⋯ vjmgj1,i1 gj2,i2⋯ gjm,im$ Then $gσ·w = g·viσ(1) ⋯viσ(m) = ∑1≤j1,j2,…,jm≤n vj1vj2⋯vjm gj1,iσ(1) gj2,iσ(2)⋯ gjm,iσ(m)$ Acting by $\sigma \in {𝒮}_{m},$ we have $σg·w = σ· ∑1≤j1,j2,…,jm≤n vj1vj2⋯vjm gj1,i1 gj2,i2⋯ gjm,im = σ· ∑1≤j1,j2,…,jm≤n vjσ-1(1) vjσ-1(2)⋯ vjσ-1(m) gjσ-1(1),i1 gjσ-1(2),i2⋯ gjσ-1(m),im$ after replacing ${j}_{k}$ with ${j}_{{\sigma }^{-1}\left(k\right)}\text{.}$ Acting by sigma, we obtain $σg·w = ∑1≤j1,j2,…,jm≤n vj1vj2⋯vjm gjσ-1(1),i1 gjσ-1(2),i2⋯ gjσ-1(m),im = ∑1≤j1,j2,…,jm≤n vj1vj2⋯vjm gj1,iσ(1) gj2,iσ(2)⋯ gjm,iσ(m) = gσ·w$ Hence ${V}^{\otimes m}\left(ℂ\text{GL}\left(n\right)\right)\subseteq \stackrel{‾}{{V}^{\otimes m}\left(ℂ{𝒮}_{m}\right)}\text{.}$ $\square$

The remaining direction of the theorem will take some work. Although we have not yet proven that $\text{GL}\left(n\right)$ generates the full centralizer of $ℂ{𝒮}_{m}$ on ${V}^{\otimes m},$ we do know that the actions of $\text{GL}\left(n\right)$ and ${𝒮}_{m}$ commute, hence, we may view ${V}^{\otimes m}$ as a $ℂ\text{GL}\left(n\right)\otimes ℂ{𝒮}_{m}$ bimodule. Here the action is given by $g⊗σ· vi1⋯vim= gσ(vi1⋯vim).$

Let us compute the trace of $g\otimes \sigma$ on ${V}^{\otimes m},$ $tr(g⊗σ)= ∑1≤i1,i2,⋯,im≤m (gσ(vi1vi2⋯vim)) |vi1⋯vim.$ For $\pi \in {𝒮}_{m}$ and $A\in \text{GL}\left(n\right),$ we have $tr(AgA-1⊗πσπ-1) = tr(AgA-1πσπ-1) = tr(Agπσπ-1A-1) Actions Commute = tr(A-1Agπσπ-1) Trace Prop. = tr(πgσπ-1) Actions Commute = tr(gσπ-1π) Trace Prop. = tr(g⊗σ).$ Thus we may choose to calculate using convenient conjugates of $g$ and $\sigma \text{.}$ For $\sigma \in {𝒮}_{m},$ there exists $\pi \in {𝒮}_{m}$ such that $πσπ-1 =γμ$ where $\mu$ is the cycle type of $\sigma \text{.}$ Moreover, there exists $S\in \text{GL}\left(n\right)$ such that $A=Sg{S}^{-1}$ is in Jordan Canonical Form. In particular, the eigenvalues ${x}_{1},\dots ,{x}_{n}$ lie along the diagonal. These are nonzero, since $g$ is invertible.

We have $\text{tr}\left(\sigma \otimes g\right)=\text{tr}\left({\gamma }_{\mu }\otimes A\right)\text{.}$

Homework Problem 3.29 Let $\mu =\left({\mu }_{1},{\mu }_{2},\dots ,{\mu }_{k}\right)⊢m\text{.}$ Then $tr(γμ⊗A)= ∏i=1ktr (γμiA)$

So we need only compute $\text{tr}\left({\gamma }_{r}\otimes A\right)$ on ${V}^{\otimes m},$ with $A$ in Jordan Canonical Form. Write $A=\left({a}_{i,j}\right)$ so ${a}_{i,i}={x}_{i}$ and ${a}_{i,j}=0$ for $j>i\text{.}$ Then $tr(γr⊗A) = ∑1≤i1,i2,⋯,ir≤n (γrA(vi1vi2⋯vir)) |vi1vi2⋯vir = ∑1≤i1,i2,⋯,ir≤n γr ∑1≤j1,j2,⋯,jr≤n vj1⋯vjr aj1,i1⋯ ajr,ir |vi1vi2⋯vir = ∑i→,j→ vjrvj1 vj2⋯vjr-1 aj1,i1 aj2,i2⋯ ajr,ir |vi1vi2⋯vir = ∑i→ ∑jk vjrvj1⋯ vjr-1 aj1,i1 aj2,i2⋯ ajr,ir |vi1⋯vir = ∑i→ ai2,i1 ai3,i2⋯ air,ir-1 ai1,ir$ Note that the terms in the last summation are zero unless $i1≤ir≤ ir-1≤⋯≤ i3≤i2≤i1.$ Hence $\text{tr}\left({\gamma }_{r}\otimes A\right)={\sum }_{i=1}^{n}{a}_{i,i}^{r}={\sum }_{i=1}^{n}{x}_{i}^{r}$ is a symmetric function in the eigenvalues ${x}_{i}$ (called the $r\text{th}$ power symmetric function ${p}_{r}\left({x}_{1},\dots ,{x}_{n}\right)\text{).}$ To summarize,

Proposition 3.30 If $\sigma \in {𝒮}_{m}$ has cycle type $\mu$ and $g\in \text{GL}\left(n\right)$ has eigenvalues ${x}_{1},{x}_{2},\dots ,{x}_{n},$ then

• $\text{tr}\left(\sigma \otimes g\right)$ depends only on $\mu$ and the ${x}_{i}\text{.}$
• $\text{tr}\left({\gamma }_{\mu }\otimes g\right)={p}_{\mu }\left({x}_{1},{x}_{2},\dots ,{x}_{n}\right),$ the $\mu \text{-power}$ symmetric function.
Recall that can write $pμ(x1,…,xn) =∑λ⊢mℓ(λ)≤n χλ(μ)sλ (x1,…,xn)$ where ${s}_{\lambda }$ is the Schur function and ${\chi }^{\lambda }$ is the character of $ℂ{𝒮}_{m}$ labeled by $\lambda \text{.}$

Aside. Note that not all characters of $\text{GL}\left(n\right)$ are rational functions of the eigenvalues. Let $V:\text{GL}\left(n\right)\to {M}_{2}\left(ℂ\right)$ be the representation defined by $V(g)= ( 1log |det(g)| 01 )$ whose character has constant value 2.

Representations of $\text{GL}\left(n\right)$ in which the matrix $V\left(g\right)$ is a rational function of the entries of $g$ are called rational representations. If the entries of $V\left(G\right)$ are, in fact, polynomial functions in the entries of $g,$ the representation $V$ is said to be a polynomial representation. Since $\text{tr}\left(·\right)$ is a polynomial in the entries of $V\left(g\right),$ one can equally refer to rational or polynomial characters. Of course, the polynomial representations are a subset of the rational representations.

The proof of the fundamental theorem via symmetric functions, as suggested last time, can be found in paper 59 of Schur’s collected works. The proof we offer here is due to Curtis and Reiner [CR62].

Theorem 3.31 Fundamental Theorem of Invariant Theory. $V⊗m (ℂ[GLn])= Endℂ[Sm] (V⊗m).$

Proof.

We know that ${V}^{\otimes m}\left(ℂ\left[{\text{GL}}_{n}\right]\right)\subseteq {\text{End}}_{ℂ\left[{S}_{m}\right]}\left({V}^{\otimes m}\right),$ so we show the reverse inclusion. Let $c\in {\text{End}}_{ℂ}\left({V}^{\otimes m}\right),$ Then the action of $c$ on a word ${v}_{{i}_{1}}{v}_{{i}_{2}}\cdots {v}_{{i}_{m}}\in {V}^{\otimes m}$ is $c·vi1vi2 ⋯vim= ∑1≤j1,…,jm≤n vj1 vj2⋯ vjm cj→,i→,$ where $\stackrel{\to }{j}$ denotes the sequence ${j}_{1},\dots ,{j}_{m},$ $\stackrel{\to }{i}$ denotes the sequence ${i}_{1},\dots ,{i}_{m},$ and ${c}_{\stackrel{\to }{j},\stackrel{\to }{i}}\in ℂ\text{.}$ If $c\in {\text{End}}_{ℂ\left[{S}_{m}\right]}\left({V}^{\otimes m}\right),$ then for any $\sigma \in {S}_{m},$ we have $c·vi1vi2 ⋯vim=σ-1 cσ·vi1 vi2⋯vim.$ Therefore, $∑j→ vj1⋯ vjm cj→,i→ = c·vi1 vi2⋯ vim = σ-1cσ· vi1vi2 ⋯vim = σ-1c· viσ(1) viσ(2)⋯ viσ(m) = σ-1∑j→ vj1⋯vjm cj→,σ(i→) = ∑j→ vjσ-1(1)⋯ vjσ-1(m) cj→,σ(i→) = ∑j→ vj1⋯ vjm cσ(j→),σ(i→)$ Thus, we conclude that $c∈Endℂ[Sm] (V⊗m)⇔ cj→,i→= cσ(j→),σ(i→)$ for all sequences $\stackrel{\to }{i}$ and $\stackrel{\to }{j}$ and all $\sigma \in {S}_{m}\text{.}$

Let $\Omega$ be the set of pairs of sequences $\left(\stackrel{\to }{j},\stackrel{\to }{i}\right)m$ which we view as a two line array $(i→,j→)= ( j1⋯jm i1⋯im ) ,$ satisfying

 (1) $1\le {i}_{k}\le n,$ (2) $1\le {j}_{1}\le {j}_{2}\le \cdots \le {j}_{n}\le n,$ (3) if ${j}_{k}={j}_{k+1}$ then ${i}_{k}\le {i}_{k+1}\text{.}$
Then if $c\in {\text{End}}_{ℂ\left[{S}_{m}\right]}\left({V}^{\otimes m}\right),$ then $c$ depends only on the values ${c}_{\stackrel{\to }{j},\stackrel{\to }{i}}$ for pairs $\left(\stackrel{\to }{j},\stackrel{\to }{i}\right)\in \Omega \text{.}$

We define a basis of ${\text{End}}_{ℂ\left[{S}_{m}\right]}\left({V}^{\otimes m}\right)$ as follows: for each pair $\left(\stackrel{\to }{j},\stackrel{\to }{i}\right)\in \Omega ,$ let ${c}^{\stackrel{\to }{j},\stackrel{\to }{i}}\in {\text{End}}_{C\left[{S}_{m}\right]}\left({V}^{\otimes m}\right)$ be defined by $cj→,i→· vk1⋯ vkm= vjσ(1),⋯, vjσ(m)$ if $\left({k}_{1},\dots ,{k}_{m}\right)=\left({v}_{{i}_{\sigma \left(1\right)}},\dots ,{v}_{{i}_{\sigma \left(m\right)}}\right)$ for some $\sigma \in {S}_{m},$ and by $cj→,i→· vk1⋯vkm=0$ if $\left({k}_{1},\dots ,{k}_{m}\right)\ne \left({v}_{{i}_{\sigma \left(1\right)}},\dots ,{v}_{{i}_{\sigma \left(m\right)}}\right)$ for any $\sigma \in {S}_{m}\text{.}$ Then ${c}^{\stackrel{\to }{j}\stackrel{\to }{i}}\in {\text{End}}_{ℂ\left[{S}_{m}\right]}\left({V}^{\otimes m}\right)$ and every element $p\in {\text{End}}_{ℂ\left[{S}_{m}\right]}\left({V}^{\otimes m}\right)$ can be written as $p=∑(j→,i→) pj→i→ cj→i→$ for ${p}_{\stackrel{\to }{j}\stackrel{\to }{i}}\in ℂ\text{.}$

Homework Problem 3.32 Show that $\text{dim} {\text{End}}_{ℂ\left[{S}_{m}\right]}\left({V}^{\otimes m}\right)=\left(\begin{array}{c}{n}^{2}+m-1\\ m\end{array}\right)\text{.}$

In particular, if $g\in {\text{GL}}_{n},$ and $g$ acts on ${V}^{\otimes m}$ as the transformation ${g}^{\otimes m},$ then $g⊗m (vi1⋯vim)= ∑j1,…,jm vj1⋯vjm (gj1,i1⋯gjm,im),$ and ${g}^{\otimes m}\in {\text{End}}_{ℂ\left[{S}_{m}\right]}\left({V}^{\otimes m}\right)$ so $g⊗m= ∑(j→,i→)∈Ω gj→,i→ cj→,i→= ∑(j→,i→)∈Ω gj1,i1⋯ gjm,im cj→,i→.$ Therefore, ${V}^{\otimes m}\left(ℂ\left[{\text{GL}}_{n}\right]\right)=\text{span}\left\{{g}^{\otimes m} | g\in {\text{GL}}_{n}\right\}\subseteq {\text{End}}_{ℂ\left[{S}_{m}\right]}\left({V}^{\otimes m}\right)\text{.}$ Now define an inner product on ${\text{End}}_{ℂ\left[{S}_{m}\right]}\left({V}^{\otimes m}\right)$ by $⟨ cj→,i→ cj→′,i→′ ⟩ = { 0 unless j→′= j→ and i→′= i→, 1 if j→′= j→ and i→′= i→,$ for all $\left(\stackrel{\to }{j},\stackrel{\to }{i}\right),\left(\stackrel{\to }{j},\stackrel{\to }{i}\right)\in \Omega \text{.}$ This makes the basis of ${c}^{\stackrel{\to }{j},\stackrel{\to }{i}}$ orthonormal with respect to $⟨\text{.},\text{.}⟩\text{.}$ Now consider $p\in {V}^{\otimes m}{\left({\text{GL}}_{n}\right)}^{\perp }$ where $V⊗m (GLn)⊥= { p∈Endℂ[Sm](V⊗m) | ⟨p,g⊗m⟩ =0 for all g∈GLn } .$ Then we write $p$ and $g\in {\text{GL}}_{n}$ in terms of the basis of ${c}^{\stackrel{\to }{j},\stackrel{\to }{i}}$ as $p = ∑(j→,i→)∈Ω pj→,i→ cj→,i→ g = ∑(j→′,i→′)∈Ω gj→′,i→′ cj→′,i→′$ and we have $0=⟨p,g⊗m⟩= ⟨ ∑(j→,i→)∈Ω pj→,i→ cj→,i→, ∑(j→′,i→′)∈Ω gj→′,i→′ cj→′,i→′ ⟩ = ∑(j→,i→)∈Ω pj→,i→ gj→′,i→′.$ Thus $p\in {V}^{\otimes m}{\left({\text{GL}}_{n}\right)}^{\perp }$ if $∑(j→,i→)∈Ω pj→,i→ gj1,i1⋯ gjm,im=0$ for all $g=\left({g}_{ij}\right)\in {\text{GL}}_{n}\text{.}$ In other words, we must have $∑(j→,i→)∈Ω pj→,i→ gj1,i1⋯ gjm,im=0$ for all choices of ${g}_{i,j}\in ℂ$ for which $det(g)= ∑τ∈Snε (τ)g1,τ(1) ⋯gn,τ(n)≠0.$ Let ${x}_{1,1},{x}_{1,2},\dots ,{x}_{n,n}$ be commuting variables, and define polynomials $P(xij)= ∑(j→,i→)∈Ω Pj→,i→ xj1,i1⋯ xjm,im∈ℂ [x1,1,…,xn,n]$ and $det(xij)= ∑τ∈Sn ε(τ) x1,τ(1)⋯ xn,τ(n)∈ℂ [x1,1,…,xn,n].$ Then the product $P\left({x}_{ij}\right)\text{det}\left({x}_{ij}\right)$ is zero when evaluated at all ${\alpha }_{ij}\in ℂ,$ so, by the fundamental theorem of algebra, $P\left({x}_{ij}\right)\text{det}\left({x}_{ij}\right)=0\text{.}$ But $\text{det}\left({x}_{ij}\right)\ne 0$ in $ℂ\left[{x}_{1,1},\dots ,{x}_{n,n}\right],$ and $ℂ\left[{x}_{1,1},\dots ,{x}_{n,n}\right]$ is an integral domain, so $P\left({x}_{ij}\right)=0\text{.}$ Moreover, for $\left(\stackrel{\to }{j},\stackrel{\to }{i}\right)\in \Omega ,$ the monomials ${x}_{{j}_{1},{i}_{1}}\cdots {x}_{{j}_{m},{i}_{m}}$ are distinct, since we ordered them. Thus ${p}_{\stackrel{\to }{j},\stackrel{\to }{i}}=0$ for all $\left(\stackrel{\to }{j},\stackrel{\to }{i}\right)\in \Omega$ implying that $p=0,$ and therefore, ${V}^{\otimes m}\left({\text{GL}}_{n}\right)={\text{End}}_{ℂ\left[{S}_{m}\right]}\left({V}^{\otimes m}\right)\text{.}$

$\square$

Now let $A=ℂ\left[{S}_{m}\right]$ and $B=ℂ\left[{\text{GL}}_{r}\right]\text{.}$ Then ${V}^{\otimes m}$ is a module for both $A$ and $B$ with the property that $V⊗m(B)= V⊗m(A)‾ .$ Moreover, ${V}^{\otimes m}$ is completely decomposable as an $A\text{-module}$ (by Maschke’s theorem), so $B\otimes A$ acts on ${V}^{\otimes m},$ and we have the decomposition $V⊗m≅ ⨁λ∈Vˆ⊗m Sλ⊗mVλ,$ where ${S}_{\lambda }$ is an irreducible $ℂ\left[{S}_{m}\right]\text{-module}$ and ${V}^{\lambda }$ is an irreducible $ℂ\left[{\text{GL}}_{n}\right]\text{-module.}$ We showed that if $\sigma \in {S}_{m}$ with cycle type $\mu$ and $g\in {\text{GL}}_{n}$ with eigenvalues ${x}_{1},\dots ,{x}_{n},$ then $Tr(σg)=pμ (x1,…,xr)= ∑λ⊢mℓ(λ)≤n χλ(μ)sλ (x1,…,xn),$ where ${\chi }^{\lambda }\left(\mu \right)$ is the irreducible character of ${S}_{m}$ evaluated on the conjugacy class labeled by $\mu$ and ${s}_{\lambda }$ is the Schur function corresponding to $\lambda \text{.}$ It follows that:

Corollary 3.33

 (1) ${\text{GL}}_{n}$ has some irreducible representations that can be indexed by the partitions $\lambda$ having $\ell \left(\lambda \right)\le n\text{.}$ (2) The character ${\eta }^{\lambda }\left(g\right)$ of the ${\text{GL}}_{r}\text{-representation}$ indexed by $\lambda$ can be given by ${\eta }^{\lambda }\left(g\right)={s}_{\lambda }\left({x}_{1},\dots ,{x}_{n}\right)\text{.}$

## Notes and References

This is a copy of lectures in Representation Theory given by Arun Ram, compiled by Tom Halverson, Rob Leduc and Mark McKinzie.