Normalizer of the Chevalley group of type 𝐸₇

Vavilov, N.; Luzgarev, A.

doi:10.1090/spmj/1426

Normalizer of the Chevalley group of type ${\operatorname E}_7$
HTML articles powered by AMS MathViewer

by N. A. Vavilov and A. Yu. Luzgarev
Translated by: N. A. Vavilov

St. Petersburg Math. J. 27 (2016), 899-921

DOI: https://doi.org/10.1090/spmj/1426

Published electronically: September 30, 2016

PDF | Request permission

Abstract:

The simply connected Chevalley group $G(\mathrm {E}_7,R)$ of type $\mathrm {E}_7$ is considered in the 56-dimensional representation. The main objective is to prove that the following four groups coincide: the normalizer of the elementary Chevalley group $E(\mathrm {E}_7,R)$, the normalizer of the Chevalley group $G(\mathrm {E}_7,R)$ itself, the transporter of $E(\mathrm {E}_7,R)$ into $G(\mathrm {E}_7,R)$, and the extended Chevalley group $\bar {G}(\mathrm {E}_7,R)$. This holds over an arbitrary commutative ring $R$, with all normalizers and transporters being calculated in $\mathrm {GL}(56,R)$. Moreover, $\bar {G}(\mathrm {E}_7,R)$ is characterized as the stabilizer of a system of quadrics. This last result is classically known over algebraically closed fields, here it is proved that the corresponding group scheme is smooth over $\mathbb Z$, which implies that it holds over arbitrary commutative rings. These results are a key step in a subsequent paper, devoted to overgroups of exceptional groups in minimal representations.

References

Armand Borel, Properties and linear representations of Chevalley groups, Seminar on Algebraic Groups and Related Finite Groups (The Institute for Advanced Study, Princeton, N.J., 1968/69) Lecture Notes in Mathematics, Vol. 131, Springer, Berlin, 1970, pp. 1–55. MR 0258838
E. I. Bunina, Automorphisms of Chevalley groups of types $A_l$, $D_l$, and $E_l$ over local rings with $1/2$, Fundam. Prikl. Mat. 15 (2009), no. 2, 35–59 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 167 (2010), no. 6, 749–766. MR 2744958, DOI 10.1007/s10958-010-9959-0
N. Bourbaki, Éléments de mathématique. Fasc. XXXIV. Groupes et algèbres de Lie. Chapitre IV: Groupes de Coxeter et systèmes de Tits. Chapitre V: Groupes engendrés par des réflexions. Chapitre VI: systèmes de racines, Actualités Scientifiques et Industrielles [Current Scientific and Industrial Topics], No. 1337, Hermann, Paris, 1968 (French). MR 0240238
N. A. Vavilov, Weight elements of Chevalley groups, Dokl. Akad. Nauk SSSR 298 (1988), no. 3, 524–527 (Russian); English transl., Soviet Math. Dokl. 37 (1988), no. 1, 92–95. MR 925952
N. A. Vavilov, Subgroups of Chevalley groups that contain a maximal torus, Trudy Leningrad. Mat. Obshch. 1 (1990), 64–109, 245–246 (Russian). MR 1104207
N. A. Vavilov, How is one to view the signs of structure constants?, Algebra i Analiz 19 (2007), no. 4, 34–68 (Russian, with Russian summary); English transl., St. Petersburg Math. J. 19 (2008), no. 4, 519–543. MR 2381932, DOI 10.1090/S1061-0022-08-01008-X
N. Vavilov, Weight elements of Chevalley groups, Algebra i Analiz 20 (2008), no. 1, 34–85 (Russian, with Russian summary); English transl., St. Petersburg Math. J. 20 (2009), no. 1, 23–57. MR 2411968, DOI 10.1090/S1061-0022-08-01036-4
N. A. Vavilov, Numerology of quadratic equations, Algebra i Analiz 20 (2008), no. 5, 9–40 (Russian, with Russian summary); English transl., St. Petersburg Math. J. 20 (2009), no. 5, 687–707. MR 2492358, DOI 10.1090/S1061-0022-09-01068-1
N. A. Vavilov, Some more exceptional numerology, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 375 (2010), no. Voprosy Teorii Predstavleniĭ Algebr i Grupp. 19, 23–31, 209 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 171 (2010), no. 3, 317–321. MR 2749272, DOI 10.1007/s10958-010-0136-2
N. A. Vavilov and A. Yu. Luzgarev, The normalizer of Chevalley groups of type $E_6$, Algebra i Analiz 19 (2007), no. 5, 37–64 (Russian, with Russian summary); English transl., St. Petersburg Math. J. 19 (2008), no. 5, 699–718. MR 2381940, DOI 10.1090/S1061-0022-08-01016-9
N. A. Vavilov and A. Yu. Luzgarev, A Chevalley group of type $E_7$ in the 56-dimensional representation, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 386 (2011), no. Voprosy Teorii Predstvaleniĭ Algebr i Grupp. 20, 5–99, 288 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 180 (2012), no. 3, 197–251. MR 2784131, DOI 10.1007/s10958-011-0641-y
N. A. Vavilov and E. Ya. Perel′man, Polyvector representations of $\textrm {GL}_n$, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 338 (2006), no. Vopr. Teor. Predst. Algebr. i Grupp. 14, 69–97, 261 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 145 (2007), no. 1, 4737–4750. MR 2354607, DOI 10.1007/s10958-007-0305-0
N. A. Vavilov and V. A. Petrov, On overgroups of $\textrm {Ep}(2l,R)$, Algebra i Analiz 15 (2003), no. 4, 72–114 (Russian, with Russian summary); English transl., St. Petersburg Math. J. 15 (2004), no. 4, 515–543. MR 2068980, DOI 10.1090/S1061-0022-04-00820-9
N. A. Vavilov and V. A. Petrov, On overgroups of $\textrm {EO}(n,R)$, Algebra i Analiz 19 (2007), no. 2, 10–51 (Russian, with Russian summary); English transl., St. Petersburg Math. J. 19 (2008), no. 2, 167–195. MR 2333895, DOI 10.1090/S1061-0022-08-00992-8
E. B. Dynkin, Maximal subgroups of the classical groups, Trudy Moskov. Mat. Obšč. 1 (1952), 39–166 (Russian). MR 0049903
A. Yu. Luzgarev, On overgroups of $E(E_6,R)$ and $E(E_7,R)$ in minimal representations, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 319 (2004), no. Vopr. Teor. Predst. Algebr. i Grupp. 11, 216–243, 302 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 134 (2006), no. 6, 2558–2571. MR 2117858, DOI 10.1007/s10958-006-0127-5
A. Yu. Luzgarëv, Description of the overgroups $F_4$ in $E_6$ over a commutative ring, Algebra i Analiz 20 (2008), no. 6, 148–185 (Russian); English transl., St. Petersburg Math. J. 20 (2009), no. 6, 955–981. MR 2530897, DOI 10.1090/S1061-0022-09-01080-2
—, Overgroups of exceptional groups, Kand. diss., S.-Peterburg. Univ., SPb, 2008. (Russian).
A. Yu. Luzgarev, Fourth-degree invariants for $G(\textrm {E}_7,R)$ not depending on the characteristic, Vestnik St. Petersburg Univ. Math. 46 (2013), no. 1, 29–34. MR 3087164, DOI 10.3103/S106345411301007X
James E. Humphreys, Linear algebraic groups, Graduate Texts in Mathematics, No. 21, Springer-Verlag, New York-Heidelberg, 1975. MR 0396773
C. Chevalley, Sur certains groupes simples, Tohoku Math. J. (2) 7 (1955), 14–66 (French). MR 73602, DOI 10.2748/tmj/1178245104
Michael Aschbacher, Some multilinear forms with large isometry groups, Geom. Dedicata 25 (1988), no. 1-3, 417–465. Geometries and groups (Noordwijkerhout, 1986). MR 925846, DOI 10.1007/BF00191936
Stephen Berman and Robert V. Moody, Extensions of Chevalley groups, Israel J. Math. 22 (1975), no. 1, 42–51. MR 390077, DOI 10.1007/BF02757272
Robert B. Brown, Groups of type $E_{7}$, J. Reine Angew. Math. 236 (1969), 79–102. MR 248185, DOI 10.1515/crll.1969.236.79
Bruce N. Cooperstein, The fifty-six-dimensional module for $E_7$. I. A four form for $E_7$, J. Algebra 173 (1995), no. 2, 361–389. MR 1325780, DOI 10.1006/jabr.1995.1092
John D. Dixon, Rigid embedding of simple groups in the general linear group, Canadian J. Math. 29 (1977), no. 2, 384–391. MR 435242, DOI 10.4153/CJM-1977-041-0
J. R. Faulkner and J. C. Ferrar, Exceptional Lie algebras and related algebraic and geometric structures, Bull. London Math. Soc. 9 (1977), no. 1, 1–35. MR 444729, DOI 10.1112/blms/9.1.1
Hans Freudenthal, Sur le groupe exceptionnel $E_7$, Nederl. Akad. Wetensch. Proc. Ser. A. 56=Indagationes Math. 15 (1953), 81–89 (French). MR 0054609
Hans Freudenthal, Beziehungen der $\mathfrak {E}_7$ und $\mathfrak {E}_8$ zur Oktavenebene. II, Nederl. Akad. Wetensch. Proc. Ser. A 57 (1954), 363–368 = Indag. Math. 16, 363–368 (1954) (German). MR 0068549
Stephen J. Haris, Some irreducible representations of exceptional algebraic groups, Amer. J. Math. 93 (1971), 75–106. MR 279103, DOI 10.2307/2373449
Roozbeh Hazrat and Nikolai Vavilov, $K_1$ of Chevalley groups are nilpotent, J. Pure Appl. Algebra 179 (2003), no. 1-2, 99–116. MR 1958377, DOI 10.1016/S0022-4049(02)00292-X
Nathan Jacobson, Structure and representations of Jordan algebras, American Mathematical Society Colloquium Publications, Vol. XXXIX, American Mathematical Society, Providence, R.I., 1968. MR 0251099
Woody Lichtenstein, A system of quadrics describing the orbit of the highest weight vector, Proc. Amer. Math. Soc. 84 (1982), no. 4, 605–608. MR 643758, DOI 10.1090/S0002-9939-1982-0643758-8
Martin W. Liebeck and Gary M. Seitz, On the subgroup structure of exceptional groups of Lie type, Trans. Amer. Math. Soc. 350 (1998), no. 9, 3409–3482. MR 1458329, DOI 10.1090/S0002-9947-98-02121-7
Jacob Lurie, On simply laced Lie algebras and their minuscule representations, Comment. Math. Helv. 76 (2001), no. 3, 515–575. MR 1854697, DOI 10.1007/PL00013217
A. Yu. Luzgarev, V. Petrov, and N. Vavilov, Explicit equations on orbit of the highest weight vector, (to appear)
A. Yu. Luzgarev, Equations determining the orbit of the highest weight vector in the adjoint representation, arXiv:1401.0849.
Hideya Matsumoto, Sur les sous-groupes arithmétiques des groupes semi-simples déployés, Ann. Sci. École Norm. Sup. (4) 2 (1969), 1–62 (French). MR 240214
Viktor Petrov, Overgroups of unitary groups, $K$-Theory 29 (2003), no. 3, 147–174. MR 2028500, DOI 10.1023/B:KTHE.0000006934.95243.91
Eugene Plotkin, Andrei Semenov, and Nikolai Vavilov, Visual basic representations: an atlas, Internat. J. Algebra Comput. 8 (1998), no. 1, 61–95. MR 1492062, DOI 10.1142/S0218196798000053
Gary M. Seitz, The maximal subgroups of classical algebraic groups, Mem. Amer. Math. Soc. 67 (1987), no. 365, iv+286. MR 888704, DOI 10.1090/memo/0365
Michael R. Stein, Generators, relations and coverings of Chevalley groups over commutative rings, Amer. J. Math. 93 (1971), 965–1004. MR 322073, DOI 10.2307/2373742
Michael R. Stein, Stability theorems for $K_{1}$, $K_{2}$ and related functors modeled on Chevalley groups, Japan. J. Math. (N.S.) 4 (1978), no. 1, 77–108. MR 528869, DOI 10.4099/math1924.4.77
Nikolai A. Vavilov, Structure of Chevalley groups over commutative rings, Nonassociative algebras and related topics (Hiroshima, 1990) World Sci. Publ., River Edge, NJ, 1991, pp. 219–335. MR 1150262
Nikolai Vavilov, A third look at weight diagrams, Rend. Sem. Mat. Univ. Padova 104 (2000), 201–250. MR 1809357
Nikolai Vavilov, An $A_3$-proof of structure theorems for Chevalley groups of types $E_6$ and $E_7$, Internat. J. Algebra Comput. 17 (2007), no. 5-6, 1283–1298. MR 2355697, DOI 10.1142/S0218196707003998
Nikolai Vavilov and Eugene Plotkin, Chevalley groups over commutative rings. I. Elementary calculations, Acta Appl. Math. 45 (1996), no. 1, 73–113. MR 1409655, DOI 10.1007/BF00047884
William C. Waterhouse, Automorphisms of $\textrm {det}(X_{ij})$: the group scheme approach, Adv. in Math. 65 (1987), no. 2, 171–203. MR 900267, DOI 10.1016/0001-8708(87)90021-1