5
$\begingroup$

I begin by briefly recalling some basic facts in order to pose my question in context.

According to the classification, the finite simple groups are cyclic of prime order, are alternating on $n \geq 5$ letters, are of so-called Lie-type, or belong to a family of $26$ sporadic groups that cannot be squeezed into any of the previous families.

According to Chevalley and co., the finite simple groups of Lie-type can (roughly) be constructed as follows. We first consider the classification of the finite-dimensional simple Lie algebras over the complex numbers. We can then define (in a natural way) analogues $L$ of these Lie algebras in prime characteristic $p$. Finally, we consider some well-chosen subgroups of the automorphism group of $L$.

However, the above Lie algebras $L$ do not exhaust all simple Lie algebras in characteristic $p$. According to the classification of the finite-dimensional simple Lie algebras over an algebraically-closed field of characteristic $p>5$, the remaining simple Lie algebras belong to one of four additional families (of so-called Cartan-type): the algebras of Witt-type, of Special-type, of Hamiltonian-type, and of Contact-type. In characteristic $p = 5$, there is exactly one more family, namely that of Melikyan-type.

Roughly speaking, I want to ask whether Chevalley's programme has been extended to the simple Lie algebras that are not of classical type. More precisely:

Question: Have there been any systematic efforts to realize/construct finite simple groups as subgroups of the automorphism groups of non-classical simple Lie algebras (of finite dimension over a suitable field of prime characteristic)?

I understand that, in view of the CFSG and Chevalley's programme, there is no strict need to perform such work: we already know of at least one way to obtain the simple groups of Lie-type. I also understand that the simple groups of Lie-type can even be obtained in a second way, using the theory of algebraic groups with Frobenius automorphisms. But I would argue that it would still be interesting to know exactly which finite simple groups naturally appear as automorphism groups of simple Lie algebras that are not considered classical.

I also acknowledge that I have used the word "natural" in a rather imprecise way.

Caveat: In the modular case, the simple Lie algebras have only been classified over algebraically-closed fields. And their forms over finite subfields may have different automorphism groups. So, unlike in the classification over the complex numbers, it may not immediately be clear which forms to choose when trying to extend Chevalley's programme as outlined above.

$\endgroup$
7
  • $\begingroup$ Simple Lie algebras have been classified over many non-algebraically closed fields. In particuar the forms of Lie algebras (of the classification: ABCDEFG) over finite subfields are completely classified. $\endgroup$ Commented Jun 28, 2021 at 7:54
  • $\begingroup$ Hi, Yves. Thanks for the quick comment. But my question is specifically about the simple Lie algebras of non-classical type. $\endgroup$ Commented Jun 28, 2021 at 8:01
  • $\begingroup$ "non-classical" is ambiguous in this context. Do you view types EFG as classical? Or do you mean modular simple Lie algebras, meaning the exceptional cases that occur in small characteristic with respect to the dimension? $\endgroup$ Commented Jun 28, 2021 at 8:14
  • $\begingroup$ Yves, I am not sure I understand the ambiguity in the context of this post. My question is specifically about the Lie algebras that are not the natural analogues in prime characteristic of the Lie algebras that come out of the classification over the complex numbers via the method of Chevalley. To wit: I am asking what happens if we replace the Lie algebras of A-G-type with the simple Lie algebras in characteristic $p>3$ of Witt-type, of Special-type, of Hamiltonian-type, of Contact-type and, if the characteristic is $5$, of Melikyan-type. $\endgroup$ Commented Jun 28, 2021 at 8:27
  • 2
    $\begingroup$ Maybe the following paper is useful: "A. Premet, Algebraic groups associated with Lie p-algebras of Cartan type. Mat. Sb. (N.S.) 122(164) (1983), no. 1, 82–96." MR0715836 $\endgroup$ Commented Jun 28, 2021 at 8:34

0

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.