TY - JOUR

T1 - An A2-proof of structure theorems for chevalley groups of types E6 and E7

AU - Vavilov, N. A.

AU - Gavrilovich, M. R.

N1 - Copyright: Copyright 2017 Elsevier B.V., All rights reserved.

PY - 2005

Y1 - 2005

N2 - In the present paper we prove the main structure theorem for Chevalley groups G = G(Φ, R) of types Φ = E6, E7 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 [25, 27, 28, 30], [38]–[40], and [58, 61] (see [42, 65, 34, 56] for further 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 E6 and of the 56- dimensional module for Chevalley groups of type E7 pave the way to much more general results such as description of subgroups normalized by some of elementary matrices. Groups of types E8 and F4 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.

AB - In the present paper we prove the main structure theorem for Chevalley groups G = G(Φ, R) of types Φ = E6, E7 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 [25, 27, 28, 30], [38]–[40], and [58, 61] (see [42, 65, 34, 56] for further 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 E6 and of the 56- dimensional module for Chevalley groups of type E7 pave the way to much more general results such as description of subgroups normalized by some of elementary matrices. Groups of types E8 and F4 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.

KW - Chevalley groups

KW - Decomposition of unipotents

KW - Elementary subgroups

KW - Minimal module

KW - Normal subgroups

KW - Orbit of the highest weight vector

KW - Parabolic subgroups

KW - Root elements

KW - Standard description

KW - The proof from the Book

UR - http://www.scopus.com/inward/record.url?scp=85009799145&partnerID=8YFLogxK

U2 - 10.1090/S1061-0022-05-00871-X

DO - 10.1090/S1061-0022-05-00871-X

M3 - Article

AN - SCOPUS:85009799145

VL - 16

SP - 649

EP - 672

JO - St. Petersburg Mathematical Journal

JF - St. Petersburg Mathematical Journal

SN - 1061-0022

IS - 4

ER -