A mutual centralizer relationship between the actions of the symmetric group S_n and the general linear group GL(V) on the tensor power V^{⊗ n}: each action is the full commutant of the other in End(V^{⊗ n}), yielding a decomposition of the tensor power into a sum of simple bimodules indexed by partition data.

Principle

The organizing idea is the double-commutant phenomenon: when two algebras act on the same space and each is the full centralizer of the other, representations decompose simultaneously according to the combined symmetry, allowing classification by compatible indexing structures (e.g., Young diagrams).

Demonstration

Over a field of characteristic zero, take V = C^d and consider V^{⊗ n} with the natural action of GL(V) and the permutation action of S_n. Schur–Weyl duality gives the decomposition V^{⊗ n} ≅ ⊕_λ V_λ ⊗ S_λ where λ ranges over partitions with ≤d parts, V_λ are irreducible GL(V)-modules and S_λ are Specht modules of S_n. This concretely links polynomial representations and symmetric-group combinatorics.

Misapplication

Blindly applying the characteristic-zero decomposition in small or bad positive characteristic, or expecting exact multiplicity-free decompositions in contexts without semisimplicity. Treating the duality as an isomorphism of groups rather than of mutual centralizer algebras can also mislead.

Consequence

Schur–Weyl duality provides an explicit bridge between linear and symmetric representation theory: it yields multiplicity formulas, explains occurrences of combinatorial indexing (Young diagrams), and underlies constructions in invariant theory and quantum algebra. It also suggests generalizations (Howe duality, q-deformations) when hypotheses change.

Reversal

Viewed in reverse, understanding one side’s decomposition (e.g., S_n-modules) recovers information about the other side’s representation category (GL(V)-modules); reversing highlights dual problems such as recovering dimension-dependent restrictions from combinatorial data.

Boundary

Holds most cleanly over fields where the representation categories are semisimple (characteristic zero or large enough characteristic relative to n and dim V). Deformations (quantum groups, Hecke algebras) alter the statement; infinite-dimensional V or non-semisimple settings require modified notions of centralizers and filtered decompositions.

Semantic Tension

Tension exists between Schur–Weyl duality and related dualities (Howe duality, local and affine versions): all connect commuting actions but differ in pairs of groups/algebras and in semisimplicity hypotheses. There is also a practical tension between algebraic statements and combinatorial indexing conventions.

Synthesis

Schur–Weyl duality asserts that GL(V) and S_n acting on V^{⊗ n} are mutual centralizers, producing a simultaneous decomposition indexed by partitions; this unites linear and symmetric representation theory, with precise validity contingent on semisimplicity and base-field hypotheses.