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.

A skew Young diagram is connected when any two of its cells can be joined by a sequence of cells sharing edges; touching only at a corner does not connect them. A nonempty border strip, or rim hook, is a connected skew diagram containing no $2\times 2$ square. Its height is its number of occupied rows minus one.

For a weak composition $\alpha =({\alpha }_1,\dots ,{\alpha }_{\ell })$, a border-strip tableau of shape $\lambda /\mu$ and type $\alpha$ is a chainwhose $i$th difference is a border strip of size ${\alpha }_i$. Filling that strip with $i$ gives the equivalent weakly increasing row-and-column filling. A zero part corresponds to an empty difference and has height zero. Put $\mathrm{ht}(T)={\sum }_i\mathrm{ht}({\lambda }^{(i)}/{\lambda }^{(i-1)})$. For positive $r$, $p_r={\sum }_j{x}_j^r$; write $p_{\alpha }={\prod }_{{\alpha }_i>0}{p}_{{\alpha }_i}$. Thus zero type parts are ignored: one does not multiply by the finite-variable value $p_0=N$.

We first prove the one-strip multiplication formula using alternants. Choose $N$ sufficiently large and let ${\beta }_i={\mu }_i+N-i$ be the decreasing beta numbers of a partition. Expanding the determinant by permutations showsIndeed, in each determinant monomial every variable occurs in exactly one row factor; multiplying that variable by its $r$th power is equivalent to raising that row exponent.

A term vanishes if the new exponent equals another exponent. Otherwise suppose the changed exponent moves from position $i$ to position $j\le i$ when restored to decreasing order. Its determinant sign is $(-1{)}^{i-j}$. The resulting partition $\lambda$ hasand all other rows unchanged. The new diagram contains $\mu$, and its size increases by $r$. Between successive added rows, the overlap is exactly the single column ${\mu }_{t-1}+1$. Thus the added cells form a connected strip without a $2\times 2$ square, of height $i-j$. Conversely every added border strip has consecutive occupied rows and exactly this single-column overlap, forcing these formulas and the corresponding exponent shift. The correspondence is therefore bijective. Divide by the unchanged Vandermonde determinant and use the bialternant formula to get the power-sum border-strip multiplication identity

Apply this formula successively to each positive part of $\alpha$. Each sequence of choices is exactly a border-strip tableau, and its product of signs is $(-1{)}^{\mathrm{ht}(T)}$. ThereforeCommutativity of the power sums also shows that the resulting coefficient does not depend on the order of the positive parts of the type.

Take $\mu$ empty and restrict to $N\ge \ell (\lambda )$ variables. Multiply by $a_{\delta }$, with $\delta =(N-1,\dots ,0)$:In an alternant $a_{\nu +\delta }$, the exponents are distinct and their decreasing arrangement is $\nu +\delta$. Consequently the monomial $x^{\lambda +\delta }$ occurs only for $\nu =\lambda$, and in that determinant its coefficient is one. This proves the Frobenius alternant character formula

To identify these coefficients with symmetric-group characters, recall the Frobenius characteristic mapThe representation-theoretic identification $\mathrm{ch}({\chi }^{\lambda })=s_{\lambda }$ can be justified by Young's rule: the permutation character on ordered blocks of sizes $\nu$ is ${\sum }_{\lambda }{K}_{\lambda \nu }{\chi }^{\lambda }$. Its characteristic is $h_{\nu }$, because its fixed block decompositions allocate whole cycles to blocks, and the exponential generating series for those allocations is ${\prod }_{j}H(t_j)$. On the symmetric-function side, Hall duality and Schur orthonormality give $h_{\nu }={\sum }_{\lambda }{K}_{\lambda \nu }{s}_{\lambda }$. Inverting the unitriangular Kostka matrix establishes the identification. Thus the coefficient of $s_{\lambda }$ in $p_{\rho }$ is the irreducible character value on cycle type $\rho$. We have supplied the border-strip computation rather than assuming the character rule.

Grouping border-strip chains by their first removal of a cycle length $r$ now yields the Murnaghan–Nakayama ruleOne may choose the $r$-cycle to be last in a strip-building chain because the power sums commute. The empty-shape value on the empty type is one, providing the recursion's initial condition.

For the staircase $\delta =(m-1,m-2,\dots ,1)$, use $m$ beta numbers including its padded zero row. Its beta set isRemoving a rim hook of length $r$ lowers one beta number by $r$ into an unoccupied nonnegative position, reversing the exponent-shift description above. For a positive even $r$, this move either hits another occupied even position or goes below zero. Therefore there are no removable even-size border strips.

Under the Hall inner product of symmetric functions, the adjoint of multiplication by $p_r$ is $r\partial /\partial p_r$: this follows on the power-sum basis from $z_{\nu }/z_{\nu \setminus r}=r{m}_r(\nu )$. Taking adjoints of the one-strip multiplication rule expresses this derivative on $s_{\delta }$ as the signed sum over removable size-$r$ strips. That sum is empty for even $r$, soThe rational symmetric-function algebra is freely generated by the power sums, and its characteristic is zero. Vanishing of each of these derivatives therefore proves the staircase Schur functions use only odd power sums statement:

Finally, the cycle type of an $n$-cycle has one strip of size $n$. A straight diagram is a border strip exactly when its second row has length at most one: otherwise it contains the upper-left $2\times 2$ square; conversely the first row with a single-column tail is connected and contains none. These diagrams are exactly the hook partitions $(n-s,1^s)$, of height $s$. There is one strip filling in this case and none otherwise, giving

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.

Take $m=2$ and $\lambda =(2,1)$, so $\lambda +\delta =(3,1)$. A transposition in $S_3$ has one singleton cycle and one two-cycle. The Frobenius alternant character formula therefore givesIn the coordinate permutation representation on ${\mathbb{C}}^3$, a transposition fixes one basis vector, so its character is $1$. This representation is the direct sum of the invariant line of constant vectors and the standard representation of the symmetric group, whose vectors have coordinate sum zero. Subtracting the trivial character gives ${\chi }_V((12))=1-1=0$, as required.

For an integer tuple $\ell =({\ell }_1,\dots ,{\ell }_m)$, the monomial alternant isNegative exponents require nonzero coordinates; all exponents in the character expansion below are nonnegative. The power-sum symmetric polynomial is $s_k(x)={\sum }_{i=1}^m{x}_i^k$. Put $\delta =(m-1,m-2,\dots ,0)$, so $A_{\delta }(x)={\prod }_{i<j}(x_i-x_j)$ is the Vandermonde determinant.

Let a conjugacy class of $S_n$ have ${\alpha }_k$ cycles of length $k$, with $\sum k{\alpha }_k=n$, and put $p_{\alpha }(x)={\prod }_k{s}_k(x{)}^{{\alpha }_k}$. The product $p_{\alpha }{A}_{\delta }$ is an alternating polynomial homogeneous of degree $n+\left(\genfrac{}{}{0ex}{}{m}{2}\right)$. In an alternating polynomial, a monomial with two equal exponents has zero coefficient, since interchanging those variables fixes the monomial and reverses its sign. Grouping the remaining monomials by their permutation orbits gives a unique expansion in alternants $A_{\ell }$ with ${\ell }_1>\cdots >{\ell }_m\ge 0$.

Such tuples of the indicated total degree are exactly ${\ell }_i={\lambda }_i+m-i$ for partitions of an integer $\lambda$ of $n$ with at most $m$ parts. Define the class functionThe displayed monomial occurs with coefficient $1$ in $A_{\lambda +\delta }$ and in no other ordered alternant, soThis proves the expansion and explicitly defines its coefficients. They depend only on the cycle counts and hence are class functions. Identifying these coefficients with Specht module characters is the Frobenius alternant character formula, which the remaining parts allow us to assume.