${\mathbb{F}}_p$-expressible subalgebras and orbits of $\mathbb{E}(r,\mathfrak{g})$

For $G$ a connected, reductive group over an algebraically closed field $k$ of large characteristic, we use the canonical Springer isomorphism between the nilpotent variety of $\mathfrak{g}:=\mathrm{L}\mathrm{i}\mathrm{e}(G)$ and the unipotent variety of $G$ to study the projective variety of elementary subalgebras of rank $r$, denoted $\mathbb{E}(r,\mathfrak{g})$. In the case that $G$ is defined over ${\mathbb{F}}_p$, we define the category of ${\mathbb{F}}_p$-expressible subalgebras of $\mathfrak{g}$, and prove that this category is isomorphic to Quillen’s category of elementary abelian subgroups of the finite Chevalley group $G({\mathbb{F}}_p)$. This isomorphism of categories leads to a correspondence between $G$-orbits of $\mathbb{E}(r,\mathfrak{g})$ defined over ${\mathbb{F}}_p$ and $G$-conjugacy classes of elementary abelian subgroups of rank $r$ in $G({\mathbb{F}}_p)$. We use Magma to compute examples for $G={\mathrm{G}\mathrm{L}}_n$, $n\le 5$.