Schur–Weyl duality is a mathematical theorem in representation theory that relates irreducible finite-dimensional representations of the general linear and symmetric groups. Schur–Weyl duality forms an archetypical situation in representation theory involving two kinds of symmetry that determine each other. It is named after two pioneers of representation theory of Lie groups, Issai Schur, who discovered the phenomenon, and Hermann Weyl, who popularized it in his books on quantum mechanics and classical groups as a way of classifying representations of unitary and general linear groups. Schur–Weyl duality can be proven using the double centralizer theorem.
Statement of the theorem Consider the tensor space
C n ⊗ C n ⊗ ⋯ ⊗ C n {\displaystyle \mathbb {C} ^{n}\otimes \mathbb {C} ^{n}\otimes \cdots \otimes \mathbb {C} ^{n}} with k factors. The symmetric group Sk on k letters acts on this space (on the left) by permuting the factors,
σ ( v 1 ⊗ v 2 ⊗ ⋯ ⊗ v k ) = v σ − 1 ( 1 ) ⊗ v σ − 1 ( 2 ) ⊗ ⋯ ⊗ v σ − 1 ( k ) . {\displaystyle \sigma (v_{1}\otimes v_{2}\otimes \cdots \otimes v_{k})=v_{\sigma ^{-1}(1)}\otimes v_{\sigma ^{-1}(2)}\otimes \cdots \otimes v_{\sigma ^{-1}(k)}.}
The general linear group GLn of invertible n×n matrices acts on it by the simultaneous matrix multiplication,
g ( v 1 ⊗ v 2 ⊗ ⋯ ⊗ v k ) = g v 1 ⊗ g v 2 ⊗ ⋯ ⊗ g v k , g ∈ GL n . {\displaystyle g(v_{1}\otimes v_{2}\otimes \cdots \otimes v_{k})=gv_{1}\otimes gv_{2}\otimes \cdots \otimes gv_{k},\quad g\in {\text{GL}}_{n}.}
These two actions commute, and in its concrete form, the Schur–Weyl duality asserts that under the joint action of the groups Sk and GLn, the tensor space decomposes into a direct sum of tensor products of irreducible modules (for these two groups) that actually determine each other,
C n ⊗ C n ⊗ ⋯ ⊗ C n = ⨁ D π k D ⊗ ρ n D . {\displaystyle \mathbb {C} ^{n}\otimes \mathbb {C} ^{n}\otimes \cdots \otimes \mathbb {C} ^{n}=\bigoplus _{D}\pi _{k}^{D}\otimes \rho _{n}^{D}.}
The summands are indexed by the Young diagrams D with k boxes and at most n rows, and representations π k D {\displaystyle \pi _{k}^{D}} of Sk with different D are mutually non-isomorphic, and the same is true for representations ρ n D {\displaystyle \rho _{n}^{D}} of GLn. The abstract form of the Schur–Weyl duality asserts that two algebras of operators on the tensor space generated by the actions of GLn and Sk are the full mutual centralizers in the algebra of the endomorphisms E n d C ( C n ⊗ C n ⊗ ⋯ ⊗ C n ) . {\displaystyle \mathrm {End} _{\mathbb {C} }(\mathbb {C} ^{n}\otimes \mathbb {C} ^{n}\otimes \cdots \otimes \mathbb {C} ^{n}).}
Example Suppose that k = 2 and n is greater than one. Then the Schur–Weyl duality is the statement that the space of two-tensors decomposes into symmetric and antisymmetric parts, each of which is an irreducible module for GLn:
… excerpt ends here. Continue reading the full article.
