Skip to main content
2 of 3
added 95 characters in body

The Representation of $\mathrm{Sp}_{2n}$ of Dimension $2^n$ in characteristic 2

Let $G:=\mathrm{Sp}_{2n}$ be the simple algebraic group of simply connected type with root-system $C_n$. Is there a way, to explicitly construct the highest weight representation $\mathrm{L}(\lambda)$, where $\lambda \in X(T)$ is the fundamental dominant weight corresponding to the shortest root in the Basis?

This should be the highest weight module of dimension $\dim{\mathrm{L}(\lambda)}=2^n$, where $n$ is the rank of the group.

So I'm looking for a construction of the corresponding matrix-representation of the finte group $G(\mathbb{F}_2)$, which could be implemented in an computer-algebra system (e.g. GAP) for arbitrary $n \geq 2$.

I need these matrices in particular for $n\geq 7$ for some computations.