Past exam of the mathematics course of the University of Cambridge / 2012 / iii / Paper 3 (Representation Theory and Invariant Theory)

A partition of an integer $n$ is a finite sequence ${\lambda }_1\ge \cdots \ge {\lambda }_{\ell }>0$ with sum $n$; append zeros when comparing lengths. Its Young diagram has cells $(i,j)$ with $1\le j\le {\lambda }_i$. A Young tableau is a bijective filling of these cells by $1,\dots ,n$. Write $R_t,C_t$ for its row and column stabilizers, and fix the conventionPermutations act on entries on the left, with the rightmost factor acting first. This defines the Young symmetrizer used throughout. In the dictionary order on integer partitions, $\lambda >\mu$ means that at the first differing part ${\lambda }_i>{\mu }_i$; equality is allowed in $\ge$.

Suppose there is no row-column collision between $t$ of shape $\lambda$ and $u$ of shape $\mu$. Each column of $u$ contains at most one entry from each row of $t$. The first $k$ rows of $t$ therefore contain at mostentries, where ${\mu }_j^{\prime }$ is a column length. Thus ${\sum }_{i\le k}{\lambda }_i\le {\sum }_{i\le k}{\mu }_i$ for every $k$: $\mu$ dominates $\lambda$ in dominance order on partitions. If $\lambda \ge \mu$ in dictionary order on integer partitions, a first strictly larger part would contradict the corresponding prefix inequality. Hence $\lambda =\mu$.

All the bounds must now be equalities. Every column $j$ of $u$ contains exactly one entry from row $i$ of $t$ whenever $i\le {\lambda }_j^{\prime }$. Choose $r_0\in R_t$ sending that entry to the entry of $t$ in cell $(i,j)$. These prescriptions are bijections within the rows. The columns of $r_{0}u$ then have exactly the same sets of entries as the columns of $t$, so $r_{0}u=c_{0}t$ for some $c_0\in C_t$. ConsequentlyIf a collision was present instead, its two entries supply the first alternative. This proves the row-column collision lemma, including the prescribed order of the two stabilizer factors.

We next prove the Specht module classification. By Maschke's theorem, the group algebra $A=\mathbb{C}{S}_n$ is a semisimple algebra. Use the permitted basic quasi-idempotence of a Young symmetrizer,and put $e_t=h_t/H_{\lambda }$. The coefficient of $1$ in $h_t$ is one, because $R_t\cap C_t=\{1\}$, so $e_t\ne 0$.

For $\pi \in S_n$, consider $r_t\pi c_t$. A collision between the rows of $t$ and the columns of $\pi t$ gives a transposition $\tau \in R_t\cap \pi C_t{\pi }^{-1}$. Row symmetrization fixes $\tau$, whereas column antisymmetrization changes its sign, so $r_t\pi c_t=0$. If there is no collision, the proved lemma gives $\pi =rc$ with $r\in R_t,c\in C_t$, andIt follows that $h_t\pi h_t$ is zero or $\mathrm{sgn}(c)H_{\lambda }{h}_t$. Since permutations span $A$, $e_{t}A{e}_t=\mathbb{C}{e}_t$. In a semisimple algebra this means that $e_t$ is a primitive idempotent, so $A{e}_t=A{h}_t$ is an irreducible left module.

If $\lambda >\mu$ in dictionary order on integer partitions, the collision lemma applied to every $\pi u$ gives $r_{t}A{c}_u=0$, and therefore $h_{t}A{h}_u=0$. Sincethe two simple modules cannot be isomorphic. Conversely, Young tableaux of the same shape are related by a permutation, which conjugates their Young symmetrizers and gives isomorphic left ideals. Finally, the center of $\mathbb{C}{S}_n$ has the conjugacy-class sums as a basis. Conjugacy classes are indexed by cycle-type partitions, so its dimension is the number of partitions of $n$. The Artin–Wedderburn theorem gives exactly that many simple-module isomorphism classes. We have already produced one for each partition. Thus the $A{h}_{\lambda }$ form a complete set of pairwise nonisomorphic irreducible modules.

A standard Young tableau has its entries increasing from left to right in each row and from top to bottom in each column. For the convention $h_t=c_t{r}_t$, use column-reading order of standard Young tableaux: read columns from left to right, each from top to bottom, and compare the resulting words lexicographically. This makes the requested product direction explicit. The order and the symmetrizer multiplication convention must be chosen together.

We prove the vanishing claim. Suppose the rows of $t$ and the columns of $u$ have no collision. The argument in Question 1 shows that every column of $u$ contains one entry from each eligible row of $t$. Its first column thus selects one entry from every row. Each selected entry is at least the first entry of that row in $t$. Sorting the selected entries, as the standard tableau $u$ does, gives a column componentwise at least the first column of $t$: increasing individual entries cannot decrease any order statistic. If the columns are equal, equality of their sums forces every selected entry to be that row's first entry. Delete this common column and repeat. At the first differing column, its first differing entry in $u$ is therefore larger; otherwise $u=t$. Thus absence of a collision implies $u\ge t$ in column-reading order of standard Young tableaux.

If $t>u$, there must instead be a transposition in $R_t\cap C_u$. It fixes $r_t$ and negates $c_u$, giving $r_t{c}_u=0$. HenceThis is triangular vanishing of Young-symmetrizer products; it does not assert vanishing in the opposite order.

Normalize to $e_t=h_t/H_{\lambda }$. List all standard tableaux in increasing shape dictionary order on integer partitions, and within each shape in increasing column-reading order of standard Young tableaux. Then $e_i{e}_j=0$ for $i>j$, using Question 1 between different shapes and the result above within a shape. The left ideals $A{e}_i$ have an internal direct sum: if ${\sum }_i{z}_i=0$ with $z_i\in A{e}_i$, multiply on the right by $e_1$ to get $z_1=0$, since $z_1{e}_1=z_1$ and every later $z_i{e}_1=0$. Repeat with $e_2,e_3,\dots$. This proves directness without incorrectly treating all the idempotents as mutually orthogonal.

Let $f_{\lambda }$ count the standard tableaux of shape $\lambda$ and let $d_{\lambda }=\dim S^{\lambda }$. In the regular representation a simple module of dimension $d_{\lambda }$ occurs $d_{\lambda }$ times, by the Artin–Wedderburn theorem. The direct sum just constructed contains $f_{\lambda }$ copies of $S^{\lambda }$, so $f_{\lambda }\le d_{\lambda }$ for every shape. We supply the needed counting identity independently of the dimension conclusion.

The Robinson–Schensted correspondence bijects permutations with pairs of standard tableaux of the same shape. Here is its row insertion construction and inverse. Insert the successive permutation entries into an increasing row by replacing its first entry larger than the incoming entry, bumping that replaced entry into the next row; if no entry is larger, append at the row end. Continue until a new cell is created. Record the insertion time in that cell of a second tableau. For completeness, the successive bumped entries strictly increase, and their column indices weakly decrease: an entry below a bumped entry was originally larger, so the next replacement occurs no farther right. The entry newly placed in each row is smaller than the entry removed and larger than the entry above it. At a strictly earlier column, that last inequality follows from row increase in the preceding row; at the same column, it follows from the preceding bump. Hence the insertion tableau keeps increasing rows and columns. If a new cell is appended below the first row, the preceding bump guarantees that the row above reaches that column, so the shape stays a Young diagram. Recording times also increase in rows and columns, since every new cell is an outer corner of the current diagram. Thus both tableaux are standard at the end. Conversely, remove the cell with the largest recording label. Reverse its bumping path upward, replacing in each preceding row the rightmost entry smaller than the moving entry and moving the displaced entry upward. This recovers the last inserted letter; iterating recovers the entire permutation. The two rules undo one another at each row. ThusSemisimplicity also gives $n!={\sum }_{\lambda }{d}_{\lambda }^2$. Since $0\le f_{\lambda }\le d_{\lambda }$ termwise, equality of these sums forces $f_{\lambda }=d_{\lambda }$ for every shape. The internal direct sum has dimension $n!$ and hence fills $A$:There is also a useful numerical form. Right multiplication by $e_t$ is an idempotent with image $A{e}_t$. In the permutation basis of $A$, each diagonal coefficient is the coefficient of $1$ in $e_t$, namely $1/H_{\lambda }$. Its trace equals its rank, so $\dim S^{\lambda }=n!/H_{\lambda }$. Together with the count just obtained this recovers the hook-length formula.

On $T=V^{\otimes n}$, define the permutation and diagonal actions byThe inverse in the first formula gives a left action. Applying $g$ to every tensor factor and then reordering produces the same tensor as reordering and then applying $g$. Thus the two actions commute. The Schur algebra isIt is the commutant of an operator algebra of the permutation action.

To identify this commutant, use the multilinear isomorphismConjugation by a permutation reorders the factors on the right. Therefore the invariant subspace is the space of symmetric tensors of degree $n$ in $\mathrm{End}(V)$. It is spanned by $a^{\otimes n}$. Indeed, the polarization identityexpresses every symmetrized elementary tensor as a linear combination of pure powers. Those symmetrized elementary tensors span the invariant subspace in characteristic zero.

One may restrict $a$ to invertible endomorphisms without changing the span. For fixed $a$, the vector-valued polynomial $(a+tI{)}^{\otimes n}$ has degree at most $n$. Choose $n+1$ distinct values of $t$ away from the finitely many roots of $\det (a+tI)$. Polynomial interpolation expresses its constant term $a^{\otimes n}$ as a linear combination of those invertible tensor powers. ConsequentlyThe span is an algebra, since products are $(gh{)}^{\otimes n}$.

The image $A_T$ of $\mathbb{C}{S}_n$ is semisimple, as a quotient of a semisimple algebra. The double-centralizer theorem for semisimple operator algebras gives $A_T^{\prime \prime }=A_T$. Since the preceding computation says that $A_T^{\prime }$ is the span of the general linear action, the two actions are mutual commutants. More explicitly, semisimple module decomposition givesHere $D_{\lambda }(V)={\mathrm{Hom}}_{S_n}(S^{\lambda },T)$ is the multiplicity space, with its natural general linear action. The commutant algebra is the product of the full endomorphism algebras of these multiplicity spaces. Hence each nonzero $D_{\lambda }$ is irreducible, and distinct spaces have nonisomorphic general linear representations, because the operators $g^{\otimes n}$ span that commutant. A primitive $e_t$ picks a one-dimensional factor from $S^{\lambda }$, so $e_{t}T$ is an equivalent realization of $D_{\lambda }$ as a Schur module.

The range of shapes is exact. If $\lambda$ has more than $m$ rows, a column antisymmetrizes more than $m$ vectors and its action vanishes by ${\Lambda }^{m+1}V=0$. Conversely, for at most $m$ rows place the $i$th basis vector in every tensor position belonging to row $i$ of $t$. Row symmetrization multiplies this tensor by ${\prod }_i{\lambda }_i!$. Column antisymmetrization is nonzero, because all vectors within each column are distinct, and its different permutations give distinct basis tensors. Thus $h_{t}T\ne 0$. This proves the length bound for a Schur module and the stated Schur–Weyl duality. For $n=0$, the empty partition and $V^{\otimes 0}=\mathbb{C}$ give the trivial version.

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.

The coordinate ring is $\mathbb{C}[W]=\mathrm{Sym}(W^{\ast })$. The induced action is contragredient on functions:It is a group action by degree-preserving algebra automorphisms, extending the dual action on linear polynomial functions. Its polynomial invariant ring isFor a monic polynomial $f(t)={\prod }_{i=1}^d(t-r_i)$, its polynomial discriminant is $\mathrm{disc}(f)={\prod }_{i<j}(r_i-r_j{)}^2$. This is symmetric in the roots, hence polynomial in the coefficients, and is zero exactly when a root is repeated.

For the alternating group action, let $e_1,\dots ,e_n$ be the elementary symmetric polynomials and put $\Delta ={\prod }_{i<j}(X_i-X_j)$. If $p$ is $A_n$-invariant and $\tau$ is any transposition, decomposeNormality and index two of $A_n$ show that $p_{+}$ is symmetric and $p_{-}$ transforms by the sign character of $S_n$. Any alternating polynomial vanishes when $X_i=X_j$, so every $X_i-X_j$ divides it. These pairwise nonassociate prime factors have product $\Delta$, so $p_{-}=\Delta q$ with $q$ symmetric. The Fundamental theorem of symmetric polynomials yieldsThe sum is direct, since a polynomial that is both symmetric and alternating is zero in characteristic zero. Also ${\Delta }^2=D(e_1,\dots ,e_n)$, where $D$ is the discriminant polynomial ofThus, more precisely than the requested quotient assertion,Surjectivity follows from the direct-sum expression. Divide any putative kernel element by the monic quadratic in $Z$; its remainder is $a(T)+Zb(T)$. The direct sum forces $a(e)=b(e)=0$, and algebraic independence of the $e_i$ gives $a=b=0$. Hence the displayed relation is the entire kernel. The argument also covers $n=2$, where $A_2$ is trivial.

Now let $G$ be finite with no nontrivial linear characters, and write $R=\mathbb{C}[W]$, $S=R^G$. The polynomial ring $R$ is a unique factorization domain. Factor a nonzero invariant $f$ in $R$; invariance permutes the associate classes of its irreducible factors and makes their exponents constant on each orbit. For an orbit $\mathcal{O}$, choose representatives and form its orbit product of polynomial factorsFor every $g$, $g\cdot q_{\mathcal{O}}=\theta (g)q_{\mathcal{O}}$ for a nonzero scalar $\theta (g)$. Applying two group elements proves that $\theta :G\to {\mathbb{C}}^{\times }$ is a homomorphism. The hypothesis forces $\theta =1$, so $q_{\mathcal{O}}\in S$.

This orbit product is prime in $S$. If it divides $ab$ with $a,b\in S$, one factor $p\in \mathcal{O}$ divides $a$ or $b$ in $R$. Invariance of that chosen polynomial makes every factor in the orbit divide it. Their product therefore divides it in $R$, and the quotient is invariant because numerator and denominator are invariant and cancellation is valid in the integral domain $R$. Thus $q_{\mathcal{O}}$ divides $a$ or $b$ in $S$. Every nonzero $f\in S$ is a scalar times a product of these prime orbit products, and the only units of $S$ are nonzero constants, as they are units in $R$. Therefore $\mathbb{C}[W{]}^G$ is a unique factorization domain. This gives a direct proof, without assuming a divisor-class-group theorem.

For a failure in characteristic zero, let the cyclic group of order two act on ${\mathbb{C}}^2$ by $-I$. Its coordinate invariants areEvery invariant monomial has even total degree: its exponents are either both even, or both odd, giving the indicated generators. Reducing powers of $b$ to at most one shows that $ac-b^2$ is the only relation, since $a^i{c}^j$ and $b{a}^i{c}^j$ map to distinct monomials. The three quadratic invariants are irreducible in $S$: each nonconstant invariant has degree at least two, so a product of two nonunits has degree at least four. They are pairwise nonassociate, butgives two different irreducible factorizations. Hence this invariant ring is not a unique factorization domain. The nontrivial sign character is precisely the kind of character excluded in the preceding theorem.