Published in

American Mathematical Society, St. Petersburg Mathematical Journal, 4(20), p. 527-551

DOI: 10.1090/s1061-0022-09-01060-7

Links

Tools

Export citation

Search in Google Scholar

$\mathrm A_2$-proof of structure theorems for Chevalley groups of type $\mathrm F_4$

Journal article published in 2009 by N. A. Vavilov, S. I. Nikolenko ORCID
This paper was not found in any repository, but could be made available legally by the author.
This paper was not found in any repository, but could be made available legally by the author.

Full text: Unavailable

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO

Abstract

In the present paper we prove the main structure theorem for Chevalley groups G=G(Φ;R) of types Φ=E 6 ,E 7 over a commutative ring R. More precisely, we describe subgroups in G normalized by the elementary subgroup E(Φ;R). This result is not new, since structure theorems are known for all Chevalley groups (see the bibliography for references). The gist of the present paper resides not in the results themselves, but rather in the method of their proof based on the geometry of exceptional groups. We believe that this method is novel and of significant interest. Actually the Schwerpunkt of the present paper abides in a new descent procedure, which enables reduction to groups of smaller rank. This procedure is both simpler and more powerful than any other method known today. Our results on the geometry of the 27-dimensional module for Chevalley groups of type E 6 and of the 56-dimensional module for Chevalley groups of type E 7 pave the way to much more general results such as description of subgroups normalized by some of elementary matrices. Groups of types E 8 and F 4 can be handled in essentially the same style, and we intend to return to these cases in our subsequent publications. However, from a technical viewpoint the proofs in these cases are noticeably more involved because these groups do not have microweight representations.