18
$\begingroup$

The Lie algebra $\mathfrak{e}_8$ has (at least) two ways to be written as a direct sum of $31$ Cartan subalgebras.

First, Thompson and Smith showed that the (compact or complex) Lie group $\mathrm{E}_8$ contains a maximal abelian subgroup which is finite of order $2^5$, with normalizer the nonsplit "Dempwolff" extension $2^5 \cdot \mathrm{SL}_5(\mathbb{F}_2)$. Being maximal abelian, this $2^5$ group has no fixed points in the adjoint representation $\mathfrak{e}_8$. The other $31$ characters of $2^5$ are permuted by $\mathrm{SL}_5(\mathbb{F}_2)$, and so the corresponding eigenspaces inside $\mathfrak{e}_8$ are all of the same dimension and decompose $\mathfrak{e}_8$ as a direct sum of $31$ eight-dimensional subspaces. In fact, each of these eight-dimensional eigenspaces is a Cartan in $\mathfrak{e}_8$, since the bracket must add eigenvalues. All together this writes $\mathfrak{e}_8$ as a direct sum of $31$ Cartans indexed by the nontrivial points in $\mathbb{F}_2^5$.

Second, $\mathrm{E}_8$ contains a maximal abelian subgroup of order $5^3$, which might have been discovered by Serre but I'm not sure. Its normalizer is the nonsplit extension $5^3 \cdot \mathrm{SL}_3(\mathbb{F}_5)$. Again since $5^3$ is maximal abelian it has no fixed points in $\mathfrak{e}_8$, and the other eigenspaces are permuted by $\mathrm{SL}_3(\mathbb{F}_5)$ and so of equal dimension $2 = 248 / (5^3-1)$. Take any line through the origin in $5^3$. The corresponding four two-dimensional eigenspaces all commute (although I do not have a one-line proof of this fact) and sum to a Cartan subalgebra. All together this writes $\mathfrak{e}_8$ as a direct sum of $31$ Cartans indexed by the points in the projective plane over $\mathbb{F}_5$.

These two direct sum decompositions are not conjugate: if they were, then $2^5$ would commute with (a conjugate of) $5^3$, but these subgroups are each maximal abelian. Are they related in some other way? Is there some exceptional combinatorics that encompasses and explains both decompositions simultaneously?

$\endgroup$
4
  • $\begingroup$ Are these both "orthogonal decompositions" in the sense of the book "Orthogonal decompositions and integral lattices" by Kostrikin and Tiep? $\endgroup$ Commented Aug 28, 2019 at 19:38
  • $\begingroup$ @SamHopkins I believe so, but I don't know an easy way to check. I hadn't known the work of Kostrikin and Tiep. $\endgroup$ Commented Aug 28, 2019 at 20:06
  • $\begingroup$ In particular, the book of Kostrikin and Tiep answers another question I was going to ask on MO. $\endgroup$ Commented Aug 28, 2019 at 20:10
  • 2
    $\begingroup$ Come to think of it, of course it is an orthogonal direct sum, simply because eigenspaces of an orthogonal matrix of non-inverse eigenvalue are orthogonal. $\endgroup$ Commented Aug 28, 2019 at 22:07

1 Answer 1

1
$\begingroup$

The decompositions are not conjugate. Pick (any) two Cartans in the direct sum decomposition. For the decomposition coming from $2^8 \subset E_8$, two Cartans together generate a subalgebra isomorphic to $\mathfrak{su}(2)^8$. For the decomposition coming from $5^3$, two Cartans together generate a subalgebra isomorphic to $\mathfrak{su}(5)^2$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .