Schur-Weyl duality over finite fields. (Q1042434)

Let \(k\) be a finite field and \(V\) a finite dimensional vector space over \(k\). Then \(G=\text{GL}(V)\) is a finite group. Let \(\mathfrak S_r\) denote the symmetric group on \(r\) symbols. It is shown that if \(\dim(V)>r\), the natural map \(k\mathfrak S_r\to\text{End}_G(V^{\otimes r})\) is an isomorphism. The isomorphism may fail when \(\dim(V)\leq r\). The other main result is that if \(k\) has at least \(r+1\) elements, then both \(kG\to\text{End}_{\mathfrak S_r}(V^{\otimes r})\) and \(k\mathfrak S_r\to\text{End}_G(V^{\otimes r})\) are surjective. This also works when \(G=\text{SL}(V)\). A basic tool in the proofs is the explicit way the Kostant \(\mathbb{Z}\)-form acts on \(V^{\otimes r}\) in the Chevalley group construction.