Overgroups of elementary groups in polyvector representations

Abstract

We initiate the study of subgroups H of the general linear group GL ( n m ) (R) over a commutative ring R that contain the m-th exterior power of an elementary group m E n (R). Each such group H corresponds to a uniquely defined level (A 0 , . . . , A m−1 ), where A 0 , . . . , A m−1 are ideals of R with certain relations. In the crucial case of the exterior squares, we state the subgroup lattice to be standard. In other words, for 2 E n (R) all intermediate subgroups H are parametrized by a single ideal of the ring R. Moreover, we characterize m GL n (R) as the stabilizer of a system of invariant forms. This result is classically known for algebraically closed fields, here we prove the corresponding group scheme to be smooth over Z. So the last result holds over arbitrary commutative rings. 2020 Mathematics Subject Classification. 20G35.