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

Abstract

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{Lie}(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{GL}}_n$, $n\le 5$.

17 pages, 3 tables, this version contains a stronger restriction on the characteristic, an improved exposition of section 3, and new proofs of Theorem 1.3 and Proposition 4.4

References in corpus (1)

• Optimal SL(2)-homomorphisms

Cited by in corpus (2)

• Varieties of elementary subalgebras of submaximal rank in type A
• Varieties of Elementary Abelian Lie Algebras and Degrees of Modules