Subgroups of Chevalley groups of types 𝐵_{𝑙} and 𝐶_{𝑙} containing the group over a subring, and corresponding carpets

Nuzhin, Ya.; Stepanov, A.

doi:10.1090/spmj/1620

Subgroups of Chevalley groups of types $B_l$ and $C_l$ containing the group over a subring, and corresponding carpets
HTML articles powered by AMS MathViewer

by Ya. N. Nuzhin and A. V. Stepanov
Translated by: the author

St. Petersburg Math. J. 31 (2020), 719-737

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

Published electronically: June 11, 2020

PDF | Request permission

Abstract:

This is a continuation of the study of subgroups of the Chevalley group $G_P(\Phi ,R)$ over a ring $R$ with root system $\Phi$ and weight lattice $P$ that contain the elementary subgroup $E_P(\Phi ,K)$ over a subring $K$ of $R$. A. Bak and A. V. Stepanov considered recently the case of the symplectic group (simply connected group with root system $\Phi =C_l$) in characteristic 2. In the current article, that result is extended to the case of $\Phi =B_l$ and for the groups with other weight lattices. Like in the Ya. N. Nuzhin’s work on the case where $R$ is an algebraic extension of a nonperfect field $K$ and $\Phi$ is not simply laced, the description involves carpet subgroups parametrized by two additive subgroups. In the second part of the article, the Bruhat decomposition is established for these carpet subgroups and it is proved that they have a split saturated Tits system. As a corollary, it is shown that they are simple as abstract groups.

References

E. L. Bashkirov, On subgroups of the special linear group of degree $2$ over an infinite field, Mat. Sb. 187 (1996), no. 2, 19–36 (Russian, with Russian summary); English transl., Sb. Math. 187 (1996), no. 2, 175–192. MR 1392840, DOI 10.1070/SM1996v187n02ABEH000107
Z. I. Borevič, Parabolic subgroups in linear groups over a semilocal ring, Vestnik Leningrad. Univ. 13 Mat. Meh. Astronom. vyp. 3 (1976), 16–24, 184 (Russian, with English summary). MR 0466337
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 and E. B. Plotkin, Net subgroups of Chevalley groups, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 94 (1979), 40–49, 150 (Russian). Rings and modules, 2. MR 571514
N. A. Vavilov and E. B. Plotkin, Net subgroups of Chevalley groups. II. Gaussian decomposition, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 114 (1982), 62–76, 218–219 (Russian). Modules and algebraic groups. MR 669560
Daniel Gorenstein, Finite simple groups, University Series in Mathematics, Plenum Publishing Corp., New York, 1982. An introduction to their classification. MR 698782
J. McKay, Graphs, singularities and finite groups, Uspekhi Mat. Nauk 38 (1983), no. 3(231), 159–162 (Russian). Translated from the English by S. A. Syskin. MR 704640
V. M. Levchuk, A remark on a theorem of L. Dickson, Algebra i Logika 22 (1983), no. 4, 421–434 (Russian). MR 758670
V. M. Levchuk, Parabolic subgroups of some $ABA$-groups, Mat. Zametki 31 (1982), no. 4, 509–525, 653 (Russian). MR 657713
Ya. N. Nuzhin, Groups contained between groups of Lie type over different fields, Algebra i Logika 22 (1983), no. 5, 526–541 (Russian). MR 759404
Ya. N. Nuzhin, Groups lying between Steinberg groups over non-perfect fields of characteristic 2 and 3, Tr. Inst. Mat. Mekh. 19 (2013), no. 3, 244–250 (Russian, with English and Russian summaries); English transl., Proc. Steklov Inst. Math. 285 (2014), no. suppl. 1, S146–S152. MR 3363317, DOI 10.1134/s0081543814050162
Ya. N. Nuzhin, Intermediate groups of Chevalley groups of type $B_l,\ C_l,\ F_4$, and $G_2$ over nonperfect fields of characteristic 2 and 3, Sibirsk. Mat. Zh. 54 (2013), no. 1, 157–162 (Russian, with Russian summary); English transl., Sib. Math. J. 54 (2013), no. 1, 119–123. MR 3089335, DOI 10.1134/S0037446613010151
Ya. N. Nuzhin, Levi decomposition for carpet subgroups of Chevalley groups over a field, Algebra Logika 55 (2016), no. 5, 558–570 (Russian); English transl., Algebra Logic 55 (2016), no. 5, 367–375. MR 3716953, DOI 10.1007/s10469-016-9408-3
Ya. N. Nuzhin and A. V. Yakushevich, Intermediate subgroups of Chevalley groups over the field of quotients of a principal ideal ring, Algebra Log. 39 (2000), no. 3, 347–358, 374 (Russian, with Russian summary); English transl., Algebra and Logic 39 (2000), no. 3, 199–206. MR 1782328, DOI 10.1007/BF02681763
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, On the arrangement of subgroups normalized by a fixed subgroup, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 198 (1991), no. Voprosy Teor. Predstav. Algebr Grupp. 2, 92–102, 113 (Russian); English transl., J. Soviet Math. 64 (1993), no. 1, 769–776. MR 1164862, DOI 10.1007/BF02988482
A. V. Stepanov, On the normal structure of the general linear group over a ring, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 236 (1997), no. Vopr. Teor. Predst. Algebr i Grupp. 5, 166–182, 220 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (New York) 95 (1999), no. 2, 2146–2155. MR 1754458, DOI 10.1007/BF02169976
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 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
Anthony Bak, $K$-theory of forms, Annals of Mathematics Studies, No. 98, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1981. MR 632404
A. Bak and A. Stepanov, Subring subgroups of symplectic groups in characteristic 2, Algebra i Analiz 28 (2016), no. 4, 47–61; English transl., St. Petersburg Math. J. 28 (2017), no. 4, 465–475. MR 3604296, DOI 10.1090/spmj/1459
Roger W. Carter, Simple groups of Lie type, Pure and Applied Mathematics, Vol. 28, John Wiley & Sons, London-New York-Sydney, 1972. MR 0407163
Michel Demazure and Peter Gabriel, Introduction to algebraic geometry and algebraic groups, North-Holland Mathematics Studies, vol. 39, North-Holland Publishing Co., Amsterdam-New York, 1980. Translated from the French by J. Bell. MR 563524
L. E. Dickson, Linear groups with an exposition of the Galois fields theory, Teubner, Leipzig, 1901.
Daniel Gorenstein, Finite groups, Harper & Row, Publishers, New York-London, 1968. MR 0231903
Jens Carsten Jantzen, Representations of algebraic groups, 2nd ed., Mathematical Surveys and Monographs, vol. 107, American Mathematical Society, Providence, RI, 2003. MR 2015057
W. van der Kallen, Another presentation for Steinberg groups, Indag. Math. 39 (1977), no. 4, 304–312. Nederl. Akad. Wetensch. Proc. Ser. A 80. MR 0463263
Andrei Lavrenov, Another presentation for symplectic Steinberg groups, J. Pure Appl. Algebra 219 (2015), no. 9, 3755–3780. MR 3335982, DOI 10.1016/j.jpaa.2014.12.021
Andrei Lavrenov and Sergey Sinchuk, On centrality of even orthogonal $\textrm {K}_2$, J. Pure Appl. Algebra 221 (2017), no. 5, 1134–1145. MR 3582720, DOI 10.1016/j.jpaa.2016.09.004
T. V. Moiseenkova and Ya. N. Nuzhin, The Iwasava decomposition and intermediate subgroups of the Steinberg groups over the field of fractions of a principal ideal ring, Sci. China Ser. A 52 (2009), no. 2, 318–322. MR 2491732, DOI 10.1007/s11425-009-0026-6
Sergey Sinchuk, On centrality of $\rm K_2$ for Chevalley groups of type $\mathsf {E}_\ell$, J. Pure Appl. Algebra 220 (2016), no. 2, 857–875. MR 3399394, DOI 10.1016/j.jpaa.2015.08.003
Andrei Smolensky, Suzuki-Ree groups and Tits mixed groups over rings, Comm. Algebra 48 (2020), no. 2, 815–825. MR 4068914, DOI 10.1080/00927872.2019.1662913
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
Alexei Stepanov, Sandwich classification theorem, Int. J. Group Theory 4 (2015), no. 3, 7–12. MR 3395247
Alexei Stepanov, Non-standard subgroups between $E_n(R)$ and $\textrm {GL}_n(A)$, Algebra Colloq. 11 (2004), no. 3, 321–334. MR 2081191
Alexei Stepanov, Free product subgroups between Chevalley groups $\textrm {G}(\Phi ,F)$ and $\textrm {G}(\Phi ,F[t])$, J. Algebra 324 (2010), no. 7, 1549–1557. MR 2673750, DOI 10.1016/j.jalgebra.2010.06.015
Alexei Stepanov, Subring subgroups in Chevalley groups with doubly laced root systems, J. Algebra 362 (2012), 12–29. MR 2921626, DOI 10.1016/j.jalgebra.2012.04.007
Kazuo Suzuki, On parabolic subgroups of Chevalley groups over local rings, Tohoku Math. J. (2) 28 (1976), no. 1, 57–66. MR 404472, DOI 10.2748/tmj/1178240878
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
F. G. Timmesfeld, Abstract root subgroups and quadratic action, Adv. Math. 142 (1999), no. 1, 1–150. With an appendix by A. E. Zalesskii. MR 1671440, DOI 10.1006/aima.1998.1779