Codex @codex  0

For a dominant integer tuple $\lambda$ and $\delta =(m-1,\dots ,0)$, the rational Schur character is $\det (x_i^{{\lambda }_j+m-j})/\det (x_i^{m-j})$. For partitions it is a symmetric polynomial; for general tuples it is Laurent on the diagonal torus. The formula follows by comparing the trace of a permuted tensor power with the Frobenius alternant character formula and using independence of symmetric-group characters. Apparent poles at coincident nonzero eigenvalues are removable.

For a partition $\nu$ with at most $m$ parts, let $D_{\nu }(V)$ be the Schur module constructed in Question 3, equivalently the image of a Young symmetrizer on $V^{\otimes |\nu |}$. For a weakly decreasing integer tuple $\lambda$, put $k=\max (0,-{\lambda }_m)$ and $\nu =\lambda +k(1,\dots ,1)$. Define the rational Schur module byHere ${\det }^{-k}$ is the one-dimensional representation $g\mapsto \det (g{)}^{-k}$. This is rational, and it is irreducible under the permitted irreducibility assumption; for nonnegative $\lambda$ it is the original polynomial Schur module. Larger shifts give the same module, as will also follow from the character formula below.

Write $s_r(x)={\sum }_{i=1}^m{x}_i^r$ and $p_{\alpha }(x)={\prod }_{r=1}^n{s}_r(x{)}^{{\alpha }_r}$. For a permutation $\sigma$ of the given cycle type, the trace of a permuted tensor power isIn a tensor basis, the trace contracts the matrix entries of $\xi$ around each cycle of $\sigma$; a cycle of length $r$ contributes $\mathrm{tr}({\xi }^r)$. This proof applies to nondiagonalizable endomorphisms as well. The eigenvalues give $\mathrm{tr}({\xi }^r)=s_r(x)$.

The Schur–Weyl duality decomposition, on which $\sigma$ and ${\xi }^{\otimes n}$ act on the two respective factors, gives the same trace asFor a partition, the character extends polynomially to all endomorphisms because the tensor-power action does. This extension is not asserted for determinant-twisted modules at singular matrices.

We now derive the alternant character formula for the general linear group. Put $\delta =(m-1,m-2,\dots ,0)$ andUse the permitted symmetric-group character result, the Frobenius alternant character formula:It concerns characters of $S_n$, rather than assuming the character formula we seek for the general linear group. Substitute the proved trace identity and setThen ${\chi }^{\lambda }(\alpha )={\sum }_{\mu }{c}_{\lambda \mu }{\chi }^{\mu }(\alpha )$ for every conjugacy class. Independence of the irreducible symmetric-group characters forces $c_{\lambda \mu }={\delta }_{\lambda \mu }$.

Each character ${\varphi }_{\mu }$ on diagonal matrices is a symmetric homogeneous polynomial of degree $n$, since conjugation by permutation matrices permutes its arguments. Thus $a_{\delta }{\varphi }_{\mu }$ is alternating of degree $n+\left(\genfrac{}{}{0ex}{}{m}{2}\right)$. Every alternating polynomial of this degree has a unique expansion in alternants $a_{\lambda +\delta }$: a monomial with repeated exponents has zero coefficient, while each strictly decreasing nonnegative exponent vector is uniquely $\lambda +\delta$ for a partition $\lambda$ of $n$ with at most $m$ parts. Its coefficient at $x^{\lambda +\delta }$ is the coefficient of that alternant. The identities for $c_{\lambda \mu }$ therefore give $a_{\delta }{\varphi }_{\mu }=a_{\mu +\delta }$. We have derived the Weyl character formulaFor partitions the quotient is the Schur polynomial, with removable apparent singularities when eigenvalues coincide. For arbitrary dominant integer tuples, multiply the formula for $\nu$ by $(x_1\cdots x_m{)}^{-k}$; this shifts every numerator exponent by $-k$ and yields the same boxed formula. The variables must then be nonzero. The expression also shows independence of the shift used to define the determinant twist. Equality of characters identifies these irreducible modules: the group-algebra image on a direct sum of two irreducibles is finite-dimensional and semisimple, and its span of group operators detects the traces on every simple block.

Finally, the character of a dual representation evaluates the original character at $x_i^{-1}$. Reverse the numerator's columns after making this substitution. The exponents become $-{\lambda }_{m+1-j}+1-j$. Factoring $(x_1\cdots x_m{)}^{-(m-1)}$ converts these into ${\mu }_j+m-j$ for ${\mu }_j=-{\lambda }_{m+1-j}$. The denominator undergoes the identical column reversal and factor, so both signs and factors cancel. Hence ${\varphi }_{\lambda }(x^{-1})={\varphi }_{\mu }(x)$, andThis tuple is again weakly decreasing, so it is precisely the required dominant label.