Skip to main content
1 of 2
Ben
  • 113
  • 3

Dual of a Specht module

For a partition $\mu$ of $n$, let $S^{\mu}$ be the associated Specht module, defined over $\mathbb{Z}$. For any field $k$, we can tensor $S^{\mu}$ with $k$ to get a representation $S^{\mu}_k$ of the symmetric group $S_n$ over $k$. Finally, let $A_n \cong \mathbb{Z}$ be the sign representation of $S_n$ over $\mathbb{Z}$ and let $A_{n,k} \cong k$ be the sign representation over $k$.

In James's book on the representation theory of the symmetric group, he proves that $S^{\mu}_k \otimes A_{n,k} \cong (S^{\mu'}_k)^{\ast}$, where $\mu'$ is the conjugate partition and the $\ast$ indicates that we are taking the dual. My question is whether this is true over $\mathbb{Z}$ in the sense that there is a nondegenerate bilinear pairing $$\omega : S^{\mu} \times S^{\mu'} \rightarrow \mathbb{Z},$$ and assuming this is true, how can we calculate $\omega(e_t,e_s)$, where $t$ (resp. $s$) is a tableau of shape $\mu$ (resp. $\mu'$) and $e_t$ (resp. $e_s$) is the associated polytabloid.

If the above is false, I'm still interested in explicit pairings $$S^{\mu}_k \times S^{\mu'}_k \rightarrow k.$$ I've had trouble extracting them from James's book.

Ben
  • 113
  • 3