Polynomial representation of the general linear group (${\rho }_{ij}\in \mathbb{C}[g_{ab}]$)

In a polynomial representation, every matrix coefficient is a polynomial in the matrix entries. The action extends to the monoid of all matrices. The scalar action splits it into homogeneous polynomial degrees; each homogeneous degree-$n$ category is the module category of the Schur algebra $S(m,n)$. Its irreducibles are the Schur modules $D_{\lambda }({\mathbb{C}}^m)$ with $\lambda ⊢n$ and at most $m$ rows.

The symmetric algebra on $V\oplus {\Lambda }^{2}V$ contains every irreducible polynomial representation of $GL(V)$ exactly once. Its torus character is ${\prod }_i(1-x_i{)}^{-1}{\prod }_{i<j}(1-x_i{x}_j{)}^{-1}$, which equals ${\sum }_{\lambda }{s}_{\lambda }(x)$ by the Schur identity. Complete reducibility and linear independence of Schur characters identify the summands. This is a formal graded identity: each fixed scalar degree is finite, so no analytic convergence is needed. Multiplicity one refers to irreducible modules, not arbitrary reducible representations.

For a partition of an integer $\lambda ⊢n$, applying a Young symmetrizer of that shape to the tensor power of each vector space gives a Schur functor. The construction respects linear maps because their tensor powers commute with place permutations. For single rows it gives symmetric powers, and for single columns exterior powers.

A Schur module is the value of a Schur functor on a vector space. Over the complex numbers it is either zero or an irreducible polynomial representation of the general linear group. Its character is the Schur polynomial $s_{\lambda }$ in the eigenvalues, and its highest weight is $\lambda$ padded with zeros.

A column of length greater than $m$ antisymmetrizes more than $m$ vectors, giving zero. When there are at most $m$ rows, place the $i$th basis vector in every tensor position of row $i$. Row symmetrization multiplies by a nonzero factorial product, and column antisymmetrization is nonzero because the vectors in every column are distinct. This proves the precise nonvanishing criterion for a Schur module.

The Schur algebra is the commutant of place permutations on a tensor power. It is the linear span of the diagonal general linear group action, by Schur–Weyl duality. Modules over $S(m,n)$ correspond to homogeneous degree-$n$ polynomial representations. Over the complex numbers it is a semisimple algebra: decompose the tensor power as a module for the semisimple group algebra $\mathbb{C}{S}_n$, and take its endomorphism algebra.

The commutant of the permutation action on $V^{\otimes n}$ identifies with the symmetric tensors in $\mathrm{End}(V{)}^{\otimes n}$. Polarization spanning of symmetric tensors spans it by $a^{\otimes n}$. Interpolating $(a+tI{)}^{\otimes n}$ at $n+1$ values where $a+tI$ is invertible expresses each such power using invertible ones. Hence the Schur algebra is the linear span of the diagonal general linear action.

The commuting actions of the symmetric group and the general linear group on a tensor power are mutual commutants. The displayed sum ranges over partitions with at most $\dim V$ rows. The Specht modules and Schur modules are the simple factors for the two actions. In particular a primitive Young symmetrizer selects one copy of the matching Schur module.

If $\sigma$ has ${\alpha }_r$ cycles of length $r$, contraction of matrix entries around its cycles gives $\mathrm{tr}(\sigma {\xi }^{\otimes n})={\prod }_r\mathrm{tr}({\xi }^r{)}^{{\alpha }_r}$. The formula holds for every endomorphism, not only diagonalizable ones. The Schur–Weyl duality decomposition equates it with a sum of products of Specht and Schur characters.

The standard-tableau right-ideal decomposition of $\mathbb{C}{S}_n$, tensored over that algebra with $V^{\otimes n}$, gives this direct sum of general linear group modules. With $e_t=h_t/H_{\lambda }$, the map $e_t\mathbb{C}{S}_n\otimes T\to e_{t}T$ is an isomorphism. Individual summands generally need not be symmetric group submodules; instead each is a Schur module for the commuting action.