An 𝐴₂-proof of structure theorems for Chevalley groups of types 𝐸₆ and 𝐸₇

Vavilov, N.; Gavrilovich, M.

doi:10.1090/S1061-0022-05-00871-X

An $\mathrm {A}_2$-proof of structure theorems for Chevalley groups of types $\mathrm {E}_6$ and $\mathrm {E}_7$
HTML articles powered by AMS MathViewer

by N. A. Vavilov and M. R. Gavrilovich
Translated by: N. A. Vavilov

St. Petersburg Math. J. 16 (2005), 649-672

DOI: https://doi.org/10.1090/S1061-0022-05-00871-X

Published electronically: June 21, 2005

PDF | Request permission

References

Hyman Bass, Algebraic $K$-theory, W. A. Benjamin, Inc., New York-Amsterdam, 1968. MR 0249491
H. Bass, J. Milnor, and J.-P. Serre, Solution of the congruence subgroup problem for $\textrm {SL}_{n}\,(n\geq 3)$ and $\textrm {Sp}_{2n}\,(n\geq 2)$, Inst. Hautes Études Sci. Publ. Math. 33 (1967), 59–137. MR 244257
Z. I. Borevich and N. A. Vavilov, Arrangement of subgroups in the general linear group over a commutative ring, Trudy Mat. Inst. Steklov. 165 (1984), 24–42 (Russian). Algebraic geometry and its applications. MR 752930
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
N. Bourbaki, Éléments de mathématique. Fasc. XXVI. Groupes et algèbres de Lie. Chapitre I: Algèbres de Lie, Actualités Scientifiques et Industrielles [Current Scientific and Industrial Topics], No. 1285, Hermann, Paris, 1971 (French). Seconde édition. MR 0271276
N. Bourbaki, Éléments de mathématique. Fasc. XXXVIII: Groupes et algèbres de Lie. Chapitre VII: Sous-algèbres de Cartan, éléments réguliers. Chapitre VIII: Algèbres de Lie semi-simples déployées, Actualités Scientifiques et Industrielles [Current Scientific and Industrial Topics], No. 1364, Hermann, Paris, 1975 (French). MR 0453824
N. A. Vavilov, Parabolic subgroups of the Chevalley group over a commutative ring, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 116 (1982), 20–43, 161 (Russian). Integral lattices and finite linear groups. MR 687837
—, Subgroups of split classical groups, Doctor’s Thesis, Leningrad. Gos. Univ., Leningrad, 1987. (Russian)
N. A. Vavilov, The structure of split classical groups over a commutative ring, Dokl. Akad. Nauk SSSR 299 (1988), no. 6, 1300–1303 (Russian); English transl., Soviet Math. Dokl. 37 (1988), no. 2, 550–553. MR 947412
N. A. Vavilov, Subgroups of split orthogonal groups over a ring, Sibirsk. Mat. Zh. 29 (1988), no. 4, 31–43, 222 (Russian); English transl., Siberian Math. J. 29 (1988), no. 4, 537–547 (1989). MR 969101, DOI 10.1007/BF00969861
N. A. Vavilov, Subgroups of splittable classical groups, Trudy Mat. Inst. Steklov. 183 (1990), 29–42, 223 (Russian). Translated in Proc. Steklov Inst. Math. 1991, no. 4, 27–41; Galois theory, rings, algebraic groups and their applications (Russian). MR 1092012
N. A. Vavilov, On subgroups of the general symplectic group over a commutative ring, Rings and modules. Limit theorems of probability theory, No. 3 (Russian), Izd. St.-Peterbg. Univ., St. Petersburg, 1993, pp. 16–38, 256 (Russian, with Russian summary). MR 1351048
N. A. Vavilov, Subgroups of split orthogonal groups over a commutative ring, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 281 (2001), no. Vopr. Teor. Predst. Algebr. i Grupp. 8, 35–59, 280 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 120 (2004), no. 4, 1501–1512. MR 1875717, DOI 10.1023/B:JOTH.0000017881.22871.49
—, How to see the signs of structure constants (in preparation).
N. A. Vavilov, E. B. Plotkin, and A. V. Stepanov, Calculations in Chevalley groups over commutative rings, Dokl. Akad. Nauk SSSR 307 (1989), no. 4, 788–791 (Russian); English transl., Soviet Math. Dokl. 40 (1990), no. 1, 145–147. MR 1020667
L. N. Vaseršteĭn and A. A. Suslin, Serre’s problem on projective modules over polynomial rings, and algebraic $K$-theory, Izv. Akad. Nauk SSSR Ser. Mat. 40 (1976), no. 5, 993–1054, 1199 (Russian). MR 0447245
I. Z. Golubčik, The full linear group over an associative ring, Uspehi Mat. Nauk 28 (1973), no. 3(171), 179–180 (Russian). MR 0396783
—, On normal subgroups of the orthogonal group over an associative ring with involution, Uspekhi Mat. Nauk 30 (1975), no. 6, 165. (Russian)
I. Z. Golubchik, Normal subgroups of the linear and unitary groups over associative rings, Spaces over algebras, and some problems in the theory of nets (Russian), Bashkir. Gos. Ped. Inst., Ufa, 1985, pp. 122–142 (Russian). MR 975035
V. I. Kopeĭko, Stabilization of symplectic groups over a ring of polynomials, Mat. Sb. (N.S.) 106(148) (1978), no. 1, 94–107, 144 (Russian). MR 497932
Robert Steinberg, Lectures on Chevalley groups, Yale University, New Haven, Conn., 1968. Notes prepared by John Faulkner and Robert Wilson. MR 0466335
A. V. Stepanov, Stability conditions in the theory of linear groups over rings, Ph. D. Thesis, Leningrad. Gos. Univ., Leningrad, 1987. (Russian)
A. A. Suslin, The structure of the special linear group over rings of polynomials, Izv. Akad. Nauk SSSR Ser. Mat. 41 (1977), no. 2, 235–252, 477 (Russian). MR 0472792
A. A. Suslin and V. I. Kopeĭko, Quadratic modules and the orthogonal group over polynomial rings, Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 71 (1977), 216–250, 287 (Russian). Modules and representations. MR 0469914
Eiichi Abe, Chevalley groups over local rings, Tohoku Math. J. (2) 21 (1969), 474–494. MR 258837, DOI 10.2748/tmj/1178242958
Eiichi Abe, Whitehead groups of Chevalley groups over polynomial rings, Comm. Algebra 11 (1983), no. 12, 1271–1307. MR 697617, DOI 10.1080/00927878308822906
Eiichi Abe, Chevalley groups over commutative rings, Radical theory (Sendai, 1988) Uchida Rokakuho, Tokyo, 1989, pp. 1–23. MR 999577
Eiichi Abe, Normal subgroups of Chevalley groups over commutative rings, Algebraic $K$-theory and algebraic number theory (Honolulu, HI, 1987) Contemp. Math., vol. 83, Amer. Math. Soc., Providence, RI, 1989, pp. 1–17. MR 991973, DOI 10.1090/conm/083/991973
Eiichi Abe and James F. Hurley, Centers of Chevalley groups over commutative rings, Comm. Algebra 16 (1988), no. 1, 57–74. MR 921942, DOI 10.1080/00927878808823561
Eiichi Abe and Kazuo Suzuki, On normal subgroups of Chevalley groups over commutative rings, Tohoku Math. J. (2) 28 (1976), no. 2, 185–198. MR 439947, DOI 10.2748/tmj/1178240833
H. Azad, M. Barry, and G. Seitz, On the structure of parabolic subgroups, Comm. Algebra 18 (1990), no. 2, 551–562. MR 1047327, DOI 10.1080/00927879008823931
A. Bak, The stable structure of quadratic modules, Thesis, Columbia Univ., 1969.
Anthony Bak and Nikolai Vavilov, Normality for elementary subgroup functors, Math. Proc. Cambridge Philos. Soc. 118 (1995), no. 1, 35–47. MR 1329456, DOI 10.1017/S0305004100073436
Anthony Bak and Nikolai Vavilov, Structure of hyperbolic unitary groups. I. Elementary subgroups, Algebra Colloq. 7 (2000), no. 2, 159–196. MR 1810843, DOI 10.1007/s100110050017
H. Bass, $K$-theory and stable algebra, Inst. Hautes Études Sci. Publ. Math. 22 (1964), 5–60. MR 174604
Hyman Bass, Unitary algebraic $K$-theory, Algebraic $K$-theory, III: Hermitian $K$-theory and geometric applications (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972) Lecture Notes in Math., Vol. 343, Springer, Berlin, 1973, pp. 57–265. MR 0371994
Roger W. Carter, Simple groups of Lie type, Pure and Applied Mathematics, Vol. 28, John Wiley & Sons, London-New York-Sydney, 1972. MR 0407163
Douglas L. Costa and Gordon E. Keller, The $E(2,A)$ sections of $\textrm {SL}(2,A)$, Ann. of Math. (2) 134 (1991), no. 1, 159–188. MR 1114610, DOI 10.2307/2944335
Douglas L. Costa and Gordon E. Keller, Radix redux: normal subgroups of symplectic groups, J. Reine Angew. Math. 427 (1992), 51–105. MR 1162432
Douglas L. Costa and Gordon E. Keller, On the normal subgroups of $G_2(A)$, Trans. Amer. Math. Soc. 351 (1999), no. 12, 5051–5088. MR 1487611, DOI 10.1090/S0002-9947-99-02231-X
M. Gavrilovich and N. Vavilov, Structure of Chevalley groups: the proof from the Book (in preparation).
Alexander J. Hahn and O. Timothy O’Meara, The classical groups and $K$-theory, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 291, Springer-Verlag, Berlin, 1989. With a foreword by J. Dieudonné. MR 1007302, DOI 10.1007/978-3-662-13152-7
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
Fu An Li, The structure of symplectic groups over arbitrary commutative rings, Acta Math. Sinica (N.S.) 3 (1987), no. 3, 247–255. MR 916269, DOI 10.1007/BF02560038
Fu An Li, The structure of orthogonal groups over arbitrary commutative rings, Chinese Ann. Math. Ser. B 10 (1989), no. 3, 341–350. A Chinese summary appears in Chinese Ann. Math. Ser. A 10 (1989), no. 4, 520. MR 1027673
Martin W. Liebeck and Gary M. Seitz, Subgroups generated by root elements in groups of Lie type, Ann. of Math. (2) 139 (1994), no. 2, 293–361. MR 1274094, DOI 10.2307/2946583
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
Eugene Plotkin, On the stability of the $K_1$-functor for Chevalley groups of type $E_7$, J. Algebra 210 (1998), no. 1, 67–85. MR 1656415, DOI 10.1006/jabr.1998.7535
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
Roger Richardson, Gerhard Röhrle, and Robert Steinberg, Parabolic subgroups with abelian unipotent radical, Invent. Math. 110 (1992), no. 3, 649–671. MR 1189494, DOI 10.1007/BF01231348
Gerhard Röhrle, Orbits in internal Chevalley modules, Groups, combinatorics & geometry (Durham, 1990) London Math. Soc. Lecture Note Ser., vol. 165, Cambridge Univ. Press, Cambridge, 1992, pp. 311–315. MR 1200268, DOI 10.1017/CBO9780511629259.026
Gerhard E. Röhrle, On the structure of parabolic subgroups in algebraic groups, J. Algebra 157 (1993), no. 1, 80–115. MR 1219660, DOI 10.1006/jabr.1993.1092
Gerhard E. Röhrle, On extraspecial parabolic subgroups, Linear algebraic groups and their representations (Los Angeles, CA, 1992) Contemp. Math., vol. 153, Amer. Math. Soc., Providence, RI, 1993, pp. 143–155. MR 1247502, DOI 10.1090/conm/153/01310
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
Alexei Stepanov and Nikolai Vavilov, Decomposition of transvections: a theme with variations, $K$-Theory 19 (2000), no. 2, 109–153. MR 1740757, DOI 10.1023/A:1007853629389
Kazuo Suzuki, Normality of the elementary subgroups of twisted Chevalley groups over commutative rings, J. Algebra 175 (1995), no. 2, 526–536. MR 1339654, DOI 10.1006/jabr.1995.1199
Giovanni Taddei, Normalité des groupes élémentaires dans les groupes de Chevalley sur un anneau, Applications of algebraic $K$-theory to algebraic geometry and number theory, Part I, II (Boulder, Colo., 1983) Contemp. Math., vol. 55, Amer. Math. Soc., Providence, RI, 1986, pp. 693–710 (French). MR 862660, DOI 10.1090/conm/055.2/1862660
Jacques Tits, Systèmes générateurs de groupes de congruence, C. R. Acad. Sci. Paris Sér. A-B 283 (1976), no. 9, Ai, A693–A695 (French, with English summary). MR 424966
L. N. Vaserstein, On the normal subgroups of $\textrm {GL}_{n}$ over a ring, Algebraic $K$-theory, Evanston 1980 (Proc. Conf., Northwestern Univ., Evanston, Ill., 1980) Lecture Notes in Math., vol. 854, Springer, Berlin, 1981, pp. 456–465. MR 618316, DOI 10.1007/BFb0089533
Leonid N. Vaserstein, On normal subgroups of Chevalley groups over commutative rings, Tohoku Math. J. (2) 38 (1986), no. 2, 219–230. MR 843808, DOI 10.2748/tmj/1178228489
L. N. Vaserstein, Normal subgroups of orthogonal groups over commutative rings, Amer. J. Math. 110 (1988), no. 5, 955–973. MR 961501, DOI 10.2307/2374699
L. N. Vaserstein, Normal subgroups of symplectic groups over rings, Proceedings of Research Symposium on $K$-Theory and its Applications (Ibadan, 1987), 1989, pp. 647–673. MR 999398, DOI 10.1007/BF00535050
Leonid N. Vaserstein and Hong You, Normal subgroups of classical groups over rings, J. Pure Appl. Algebra 105 (1995), no. 1, 93–105. MR 1364152, DOI 10.1016/0022-4049(94)00144-8
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, Intermediate subgroups in Chevalley groups, Groups of Lie type and their geometries (Como, 1993) London Math. Soc. Lecture Note Ser., vol. 207, Cambridge Univ. Press, Cambridge, 1995, pp. 233–280. MR 1320525, DOI 10.1017/CBO9780511565823.018
Nikolai Vavilov, A third look at weight diagrams, Rend. Sem. Mat. Univ. Padova 104 (2000), 201–250. MR 1809357
N. A. Vavilov, Do it yourself structure constants for Lie algebras of types $E_l$, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 281 (2001), no. Vopr. Teor. Predst. Algebr. i Grupp. 8, 60–104, 281 (English, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 120 (2004), no. 4, 1513–1548. MR 1875718, DOI 10.1023/B:JOTH.0000017882.04464.97
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, Introduction to affine group schemes, Graduate Texts in Mathematics, vol. 66, Springer-Verlag, New York-Berlin, 1979. MR 547117
J. S. Wilson, The normal and subnormal structure of general linear groups, Proc. Cambridge Philos. Soc. 71 (1972), 163–177. MR 291304, DOI 10.1017/s0305004100050416