Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 3 / 1

Let $\lambda =({\lambda }_1\ge {\lambda }_2\ge \cdots )$ be a partition of an integer $n$. Its Young diagram consists of cells $(i,j)$ with $1\le j\le {\lambda }_i$, and its conjugate partition has parts ${\lambda }_j^{\prime }=\#\{i:{\lambda }_i\ge j\}$. A numbered Young tableau fills these cells bijectively with $1,\dots ,n$. Its row and column stabilizers $R_t,C_t$ permute entries within each row and each column respectively. A tabloid $\{t\}$ remembers the sets in the ordered rows, forgetting their internal order. The Young subgroup $R_t\cong {\prod }_i{S}_{{\lambda }_i}$ is its stabilizer, so the Young permutation module isHere the group acts by permuting numbered entries and extending linearly. A submodule is an invariant linear subspace. Give the tabloid basis its orthonormal symmetric bilinear form, denoted $⟨,⟩$. This form is nondegenerate and invariant under the group. Define the column antisymmetrizer and polytabloid byThus $S^{\lambda }$ is the Specht module, generated by any one $e_t$, because the group is transitive on numbered Young tableaux. The orthogonal complement $(S^{\lambda }{)}^{\perp }$ consists of vectors pairing to zero with every polytabloid.

The key calculation isTo prove it, first take $v=\{u\}$. If two entries of one column of $t$ occur in one row of $u$, their transposition $s$ fixes $\{u\}$; pairing the terms indexed by $g$ and $gs$ cancels $b_t\{u\}$. This also works in characteristic two, where the paired equal terms have sum zero. Otherwise each row of $u$ contains at most one entry from each column of $t$. The first row has ${\lambda }_1$ entries and there are ${\lambda }_1$ columns, so it uses every column once. Removing those entries, the second row must use exactly the columns of remaining positive height, and induction does the same for all rows. Consequently there is a unique $h\in C_t$ with $\{u\}=\{ht\}$. Uniqueness follows from $R_t\cap C_t=1$. In that caseLinearity proves the identity.

Now let $U\le M^{\lambda }$ be a submodule. If $U$ is not contained in $(S^{\lambda }{)}^{\perp }$, choose $v\in U$ and $t$ with $⟨v,e_t⟩\ne 0$. The displayed identity puts $e_t$ in $U$, so its group translates put all of $S^{\lambda }$ in $U$. This proves the James submodule theorem without a semisimplicity assumption.

Put $R=S^{\lambda }\cap (S^{\lambda }{)}^{\perp }$. If $R\ne S^{\lambda }$, every proper submodule of $S^{\lambda }$ lies in $R$, by the same theorem. Hence $R$ is its unique maximal submodule, and $D^{\lambda }=S^{\lambda }/R$ is irreducible. If $R=S^{\lambda }$, the quotient is zero. This conclusion remains true after every field extension $E/F$: the integral tabloid construction becomes $M_E^{\lambda }=E{\otimes }_F{M}^{\lambda }$, and the radical of the restricted form is the kernel of its Gram matrix, so it commutes with extension of scalars. A nonzero Gram entry stays nonzero in $E$. Applying the theorem over $E$ makes $E{\otimes }_F{D}^{\lambda }$ irreducible. Thus a nonzero quotient is absolutely irreducible.

The precise nonvanishing criterion isA regular partition has fewer than $p$ rows of each positive length. Here is the integral pairing argument behind this condition. Write $m_j$ for the number of rows of length $j$. Expanding two polytabloids into tabloids, simultaneous permutations of equal-length rows partition of an integer all contributions to their pairing into free orbits of size ${\prod }_j{m}_j!$; the signs agree within each orbit because the same row permutation is applied in every relevant column on both sides. Therefore every pairing is divisible by ${\prod }_j{m}_j!$. If some $m_j\ge p$, the entire restricted form is zero modulo $p$. Conversely, reverse the order of the entries in each row of a tableau to obtain $t^{\ast }$. Counting the matching column permutations in the two expansions gives, up to the harmless overall sign,Indeed the $m_j$ equal rows of length $j$ can be matched independently in each of their $j$ positions; after these choices the decreasing row lengths force every other matching. For a regular partition this integer is nonzero modulo $p$, so the form and its radical quotient are nonzero. In characteristic zero it is nonzero for every shape. This supplies the requested justification of the criterion.