×

Saint Petersburg school of the theory of linear groups. I: Prehistory. (English. Russian original) Zbl 1526.01024

Vestn. St. Petersbg. Univ., Math. 56, No. 3, 273-288 (2023); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 10(68), No. 3, 381-405 (2023).
This article marks the initial part in a captivating series of four survey articles chronicling the history of the St. Petersburg school of the theory of linear groups. The author outlines the plan as follows: “This survey is subdivided into four parts. Part 1 is generic, it describes the prehistory and the pedigree of our algebra school. Part 2 is dedicated to the pioneering works of Andrei Suslin and his students of 1974–1982 on the structure theory of classical groups over rings, and their role in forming a more general context of this area. Part 3 discusses the works of Zenon Ivanovich Borewicz and his students of the same period, dedicated to the description of subgroups in classical groups and related problems. Finally, in Part 4 we briefly outline the subsequent development and state some of the most striking results in this area obtained in St. Petersburg in the recent decades.”
The opening installment of this planned survey explores the school’s “prehistory” delving into its origins and tells about the visionary founders who shaped it. Regrettably, we must announce the passing of the author, a greatly esteemed authority in this field, on September 14, 2023.

MSC:

01A72 Schools of mathematics
01A73 History of mathematics at specific universities
20-03 History of group theory
Full Text: DOI

References:

[1] Parshin, A. N., Mathematics in Moscow: We had a great epoque once, Eur. Math. Soc. Newsl., 88, 42-49 (2013) · Zbl 1278.01028
[2] Suslin, A. A., Algebraic K -theory, J. Sov. Math., 28, 870-923 (1985) · Zbl 0559.18007 · doi:10.1007/BF02105457
[3] Suslin, A. A., Algebraic K-theory, Proc. Steklov Inst. Math., 168, 161-177 (1986) · Zbl 0602.13005
[4] Suslin, A. A., Algebraic K-theory and the norm residue homomorphism, J. Sov. Math., 30, 2556-2611 (1985) · Zbl 0566.12016 · doi:10.1007/BF02249123
[5] N. Vavilov, “Structure of Chevalley groups over commutative rings. International symposium on nonassociative algebras and related topics,” in Proc. Int. Symp. on Nonassociative Algebras and Related Topics, Hiroshima, Japan, Aug. 30 - Sept. 1,1990 (World Sci., London, 1991), pp. 219-335. · Zbl 0799.20042
[6] Hazrat, R.; Vavilov, N., Bak’s work on K-theory of rings (with an appendix by M. Karoubi), J. K-Theory, 4, 1-65 (2009) · Zbl 1183.19001 · doi:10.1017/is008008012jkt087
[7] Vavilov, N. A., On subgroups of split classical groups, Proc. Steklov Inst. Math, 183, 27-41 (1991) · Zbl 0741.20034
[8] Vavilov, N. A., “Subgroups of Chevalley groups containing a maximal torus,” Am. Math. Soc, Transl., Ser. 2, 155, 59-100 (1993) · Zbl 0796.20034
[9] N. Vavilov, “Intermediate subgroups in Chevalley groups,” in Proc. Conf. Groups Of Lie Type And Their Geometries, Como, 1993 (Cambridge University Press, Cambridge, 1995), pp. 233-280. · Zbl 0879.20020
[10] N. A. Vavilov and A. V. Stepanov, “Overgroups of semisimple groups,” Vestn. Samar. Univ., Estestvennonauchn. Ser. 3, 51-95 (2008). · Zbl 1322.20040
[11] Borewicz, Z. I.; Rosenbaum, K., “Zwischengruppenverbände,” Sitzungsber. Akad. Gemein. Wiss. Erfurt. Math.-, Natur. Kl., 11, 1-80 (2001)
[12] Suslin, A. A.; Tulenbaev, M. S., Stabilization theorem for the Milnor K_2-functor, J. Sov. Math., 17, 1804-1819 (1981) · Zbl 0461.18008 · doi:10.1007/BF01091768
[13] Euler, L., Formulae generales pro translatione quacunque corporum rigidorum, Novi Comm. Acad. Sci. Petrop., 20, 189-207 (1776)
[14] Korkine, A.; Zolotareff, G., Sur les formes quadratiques, Math. Ann., 6, 366-389 (1873) · JFM 05.0109.01 · doi:10.1007/BF01442795
[15] E. I. Zolotarev, Collected Works, 2 vols. (Akad. Nauk SSSR, Leningrad, 1931-1932) [in Russian].
[16] J. W. Milnor and D. H. Husemoller, Symmetric Bilinear Forms (Springer-Verlag, Berlin, 1973; Mir, Moscow, 1986), in Ser.: Ergebnisse der Mathematik und Ihrer Grenzgebiete, Vol. 73. · Zbl 0292.10016
[17] J. H. Conway, The Sensual (Quadratic) Form, The Carus Mathematical Monographs (Math. Assoc. of America, Washington, DC, 2015), Vol. 26. · Zbl 1310.11001
[18] J. H. Conway, N. J. A. Sloane, Sphere Packings, Lattices and Groups. With Additional Contributions by E.Bannai, R. E. Borcherds, J. Leech, S.P. Norton, A. M. Odlyzko, R. A.Parker, L. Queen and B. B.Venkov, 3rd ed. (Springer, New York, 1999). · Zbl 0915.52003
[19] J. Conway and D. Smith, On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry (A. K. Peters, Natick, Mass., 2003; MTsNMO, Moscow, 2009). · Zbl 1098.17001
[20] Plotkin, E.; Semenov, A.; Vavilov, N., Visual basic representations: An atlas, Int. J. Algebra Comput., 8, 61-95 (1998) · Zbl 0957.17006 · doi:10.1142/S0218196798000053
[21] Vavilov, N. A., Can one see the signs of structure constants?, Algebra Anal., 19, 34-68 (2007) · Zbl 1203.20041
[22] Venkov, B. B., On the classification of integral even unimodular 24-dimensional quadratic forms, Proc. Steklov Inst. Math., 148, 63-74 (1980) · Zbl 0443.10021
[23] H. J. S. Smith, “On the orders and genera of quadratic forms containing more than three indeterminates,” Proc. R. Soc. 16, 197-208 (1867). · JFM 01.0054.03
[24] Gosset, Th., On the regular and semi-regular figures in space of n dimensions, Messenger Math., 29, 43-48 (1900) · JFM 30.0494.02
[25] Coxeter, H. S. M., Integral Cayley numbers, Duke Math. J., 13, 561-578 (1946) · Zbl 0063.01004 · doi:10.1215/S0012-7094-46-01347-6
[26] N. Bourbaki, “Groupes de Coxeter et systèmes de Tits. Groupes engendrés par des réflexions. Systèmes de racines,” in Éléments de Mathématique, Vol. 34: Groupes et Algèbres de Lie (Hermann & Cie, Paris, 1968; Mir, Moscow, 1972), Ch. 4-6. · Zbl 0186.33001
[27] Yu. I. Manin, Cubic Forms. Algebra, Geometry, Arithmetic (Nauka, Moscow, 1972; North-Holland, Amsterdam, 1986). · Zbl 0255.14002
[28] Korkine, A.; Zolotareff, G., Sur les formes quadratiques positives quaternaires, Math. Ann., 5, 581-583 (1872) · JFM 04.0081.03 · doi:10.1007/BF01442912
[29] Korkine, A.; Zolotareff, G., Sur les formes quadratiques positives, Math. Ann., 11, 242-292 (1877) · JFM 09.0139.01 · doi:10.1007/BF01442667
[30] Blichfeldt, H. F., The minimum values of positive quadratic forms in six, seven and eight variables, Math. Z., 39, 1-15 (1934) · Zbl 0009.24403 · doi:10.1007/BF01201341
[31] Barnes, E. S., The complete enumeration of extreme senary forms, Philos. Trans. R. Soc. London, 249, 461-506 (1957) · Zbl 0077.26601 · doi:10.1098/rsta.1957.0005
[32] Watson, G. L., On the minimum of a positive quadratic form in n (≤ 8) variables (verification of Blichfeldt’s calculations), Proc. Cambridge Phil. Soc., 62, 719 (1966) · Zbl 0178.37801 · doi:10.1017/S030500410004041X
[33] Vetchinkin, H. M., Uniqueness of classes of positive quadratic forms, on which values of Hermite constants are reached for 6 ≤ \(n\) ≤ 8, Proc. Steklov Inst. Math., 152, 37-95 (1982) · Zbl 0501.10031
[34] Viazovska, M. S., The sphere packing problem in dimension 8, Ann. Math., 185, 991-1015 (2017) · Zbl 1373.52025 · doi:10.4007/annals.2017.185.3.7
[35] A. Okounkov, “The magic of 8 and 24,” in Proc. Int. Congr. on Mathematics 2022 (ICM 2022), Virtual Event, July 6-14,2022 (International Mathematical Union, 2022), Vol. 1.
[36] Calderbank, A. R., The mathematics of modems, Math. Intell., 13, 56-65 (1991) · Zbl 0729.94504 · doi:10.1007/BF03023836
[37] Baez, J. C., The octonions, Bull. Am. Math. Soc., 39, 145-205 (2002) · Zbl 1026.17001 · doi:10.1090/S0273-0979-01-00934-X
[38] Garibaldi, S., E8, the most exceptional group, Bull. Am. Math. Soc., 53, 643-671 (2016) · Zbl 1398.20062 · doi:10.1090/bull/1540
[39] V. I. Arnold, “Polymathematics, is Mathematics a single Science or a set of Arts?” (2000). · Zbl 0980.00004
[40] Fedorov, E. S., Symmetry and Structure of Crystals. Principal Works (1949), Moscow: Akad. Nauk SSSR, Moscow
[41] E. S. Fedorov, Regular Partition of the Plane and the Space (Nauka, Leningrad,1979) [in Russian]. · Zbl 0466.51012
[42] Fedorov, E. S., “Symmetry on the plane,” Zap. Imper. S.-Peterb. Mineral, O-va., 28, 345-390 (1891)
[43] Pólya, G., Über die Analogie der Kristallsymmetrie in der Ebene, Z. Kristallographie, 60, 278-282 (1924) · Zbl 1296.20047
[44] Brown, H.; Bülow, R.; Neubüser, J.; Wondratschek, H.; Zassenhaus, H., Crystallographic Groups of Four-Dimensional Space (1978), New York: Wiley, New York · Zbl 0381.20002
[45] Neubüser, J.; Souvignier, B.; Wondratschek, H., Corrections to “Crystallographic groups of four-dimensional space” by Brown et al. (1978), Acta Crystallogr., 58, 301 (2002) · Zbl 1370.20042 · doi:10.1107/S0108767302001368
[46] J. Conway, P. Doyle, J. Gilman, and B. Thurston, “Geometry and the imagination” (2010). https://math.dartmouth.edu/doyle/docs/gi/gi.pdf.
[47] Conway, J. H.; Burgiel, H.; Goodman-Strauss, Ch., The Symmetries of Things (2008), Wellesley: A. K. Peters/CRC, Wellesley · Zbl 1173.00001 · doi:10.1201/b21368
[48] Delone, B. N.; Padurov, N. N.; Aleksandrov, A. D., Mathematical Foundations of Crystal Structure Analysis and the Determination of the Elementary Parallelepiped using X-rays (1934), Leningrad: ONTI-GTTI, Leningrad
[49] D. K. Faddeev, Tables of the Principal Unitary Representations of Fedorov Groups (Pergamon, Oxford, 1964), in Ser.: The Mathematical Tables Series, Vol. 34. · Zbl 0124.26803
[50] Chebyshev, P. L., Higher Algebra. 1856-1857 Lectures According to the Notes of M. P. Avenarius and an Unknown Student (1936), Moscow: Akad. Nauk SSSR, Moscow
[51] B. N. Delone, The St. Petersburg School of Number Theory (Akad. Nauk SSSR, Moscow, 1947; American Mathematical Society, Providence, R.I., 2005). · Zbl 0033.10403
[52] Grave, D. A., “Autobiographical memoirs of D. A. Grave. Publication and notes of A. N. Bogolyubov,” Istor.-, Mat. Issled., 34, 219-246 (1993) · Zbl 0807.01022
[53] Faddeev, D. K., Mathematics at the Petersburg-Leningrad University (1970), Leningrad: Leningr. Gos. Univ., Leningrad
[54] S. S. Demidov, “World War I and mathematics in “the Russian world”,” Czas. Tech. (2013-) 112, 77-92 (2015).
[55] Šafarevič, I. R., Dmitry Konstantinovich Faddeev, Leningr. Math. J., 2, 1159-1164 (1991) · Zbl 0744.01027
[56] Yakovlev, A. V., D. K. Faddeev and St. Petersburg algebraic school, Vestn. St. Petersburg Univ.: Math., 41, 1-4 (2008) · Zbl 1207.01035 · doi:10.3103/S1063454108010019
[57] Vostokov, S. V.; Šafarevič, I. R., Harmony in algebra (on the centenary of the birth of Dmitrii Konstantinovich Faddeev, corresponding member of the Academy of Sciences of the USSR), Vladikavk. Mat. Zh., 10, 3-9 (2008) · Zbl 1324.01025
[58] P. Diaconis and S. Zabell, “In praise (and search) of J. V. Uspensky,” (2022). arXiv 2201.13417v1 [math.HO] · Zbl 07654783
[59] Linnik, Yu. V.; Lyapin, E. S.; Yakubovich, V. A., Vladimir Abramovich Tartakovskii (on his 60th birthday), Usp. Mat. Nauk, 16, 225-230 (1961) · Zbl 0100.00801
[60] Borovkov, A. A.; Golovanov, P. N.; Kozlov, V. Ya.; Kostrikin, A. I.; Linnik, Yu. V.; Novikov, P. S.; Faddeev, D. K.; Chentsov, N. N., Ivan Nikolaevich Sanov (obituary), Russ. Math. Surv., 24, 159-161 (1969) · Zbl 0199.29407 · doi:10.1070/RM1969v024n04ABEH001354
[61] Sanov, I. N., A property of one representation of the free group, Dokl. Akad. Nauk SSSR, 57, 657-659 (1947) · Zbl 0029.00404
[62] N. A. Vavilov, “Computers as novel mathematical reality: IV. Goldbach problem,” Komp’yut. Instrum. Obraz., No. 4, 5-72 (2021).
[63] Yakovlev, A. V., Zenon Ivanovich Borevich, J. Math. Sci. (N. Y.), 95, 2049-2050 (1999) · Zbl 0924.00009 · doi:10.1007/BF02169957
[64] Borewicz, Z. I.; Faddeev, D. K., Homology theory in groups. I, Vestn. Leningr. Univ., 11, 3-39 (1956) · Zbl 0075.24102
[65] Borewicz, Z. I.; Faddeev, D. K., Homology theory in groups. II, Vestn. Leningr. Univ., 14, 72-87 (1959) · Zbl 0171.28301
[66] Z. I. Borewicz and I. R. Šafarevič, Zahlentheorie, 3rd ed. (Birkhäuser, Basel, 1966; Nauka, Moscow, 1985), in Ser.: Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften. Mathematische Reihe, Vol. 32. · Zbl 0134.27303
[67] Andrianov, A. N., Euler products corresponding to Siegel modular forms of genus 2, Russ. Math. Surv., 29, 45-116 (1974) · Zbl 0304.10021 · doi:10.1070/RM1974v029n03ABEH001285
[68] P. S. Kazimirskii, Factorisation of Matrix Polynomials, Doctoral Dissertation in Mathematics and Physics (Lvov, 1974).
[69] Yakubovich, V. A., “Factorization of symmetric matrix polynomials,” Sov. Math, Dokl., 11, 1261-1264 (1970) · Zbl 0264.15009
[70] Lyubachevskii, B. D., Factorization of symmetric matrices with elements belonging to a ring with involution. I, Sib. Math. J., 14, 233-246 (1973) · Zbl 0273.15010 · doi:10.1007/BF00967950
[71] Lyubachevskii, B. D., Factorization of symmetric matrices with elements belonging to a ring with involution. I, Sib. Math. J., 14, 423-433 (1973) · Zbl 0283.15010 · doi:10.1007/BF00967619
[72] M. Newman, Integral Matrices (Academic, New York, 1972), in Ser.: Pure and Applied Mathematics, Vol. 45. · Zbl 0254.15009
[73] Borevich, Z. I., On parabolic subgroups in linear groups over a semilocal ring, Vestn. Leningr. Univ.: Math., 9, 187-196 (1981) · Zbl 0461.20029
[74] Borevich, Z. I., On the parabolic subgroups in the special linear group over a semilocal ring, Vestn. Leningr. Univ.: Math., 9, 245-251 (1981) · Zbl 0461.20028
[75] Borevich, Z. I., A description of the subgroups of the complete linear group that contain the group of diagonal matrices, J. Sov. Math., 17, 1718-1730 (1981) · Zbl 0461.20027 · doi:10.1007/BF01091757
[76] Borevich, Z. I.; Vavilov, N. A., Subgroups of the general linear group over a semilocal ring, containing the group of diagonal matrices, Proc. Steklov Inst. Math., 148, 41-54 (1980) · Zbl 0453.20040
[77] Borevich, Z. I.; Vavilov, N. A., Arrangement of subgroups in the general linear group over a commutative ring, Proc. Steklov Inst. Math., 165, 27-46 (1985) · Zbl 0653.20048
[78] Bass, H., “K-theory and stable algebra,” Publ. Math, Inst. Hautes Etud. Sci., 22, 489-544 (1964) · Zbl 0248.18025
[79] H. Bass, Algebraic K-Theory, Mathematics Lecture Note Series (Benjamin, New York, 1968). · Zbl 0174.30302
[80] Zh. Dieudonné, La Géométrie des Groupes Classiques (Springer-Verlag, Berlin, 1971; Mir, Moscow, 1974), in Ser.: Ergebnisse der Mathematik und Ihrer Grenzgebiete, Vol. 5. · Zbl 0221.20056
[81] J. W. Milnor, Introduction to Algebraic K-Theory (Princeton Univ. Press and Univ. of Tokyo Press, Princeton, N.J., 1971; Mir, Moscow, 1974), in Ser.: Annals of Mathematics Studies, Vol. 72. · Zbl 0237.18005
[82] D. A. Suprunenko, Matrix Groups (Nauka, Moscow, 1973; American Mathematical Society, Providence, R.I., 1976), in Ser.: Translations of Mathematical Monographs, Vol. 45.
[83] Proc. Seminar on Algebraic Groups and Related Finite Groups, Princeton. N.J., 1968-69 (Springer-Verlag, Berlin, 1970; Mir, Moscow, 1973), in Ser.: Lecture Notes in Mathematics, Vol. 131.
[84] R. Steinberg, Lectures on Chevalley Groups (American Mathematical Society, Providence, R.I., 2016; Mir, Moscow, 1975), in Ser.: University Lecture Series, Vol. 66. · Zbl 0307.22001
[85] Tits, J., Théorème de Bruhat et sous-groupes paraboliques, C. R. Acad. Sci. Paris, 254, 2910-2912 (1962) · Zbl 0105.02201
[86] Merzlyakov, Yu. I., Central series and derived series of matrix groups, Algebra Logika, 3, 49-53 (1964)
[87] M. I. Kargapolov and Yu. I. Merzlyakov, Fundamentals of the Theory of Groups (Nauka, Moscow, 1982; Springer-Verlag, New York, 1979), in Ser.: Graduate Texts in Mathematics, vol. 62. · Zbl 0549.20001
[88] Romanovskii, N. S., On subgroups of the general an special linear groups over a ring, Mat. Zametki, 9, 699-708 (1971)
[89] Zalesskii, A. E., Linear groups, Russ. Math. Surv., 36, 63-128 (1981) · Zbl 0501.20024 · doi:10.1070/RM1981v036n05ABEH003030
[90] Zalesskii, A. E., Linear groups, J. Sov. Math., 31, 2974-3004 (1985) · Zbl 0573.20045 · doi:10.1007/BF02106807
[91] Zalesskii, A. E., Infinite groups, linear group, Encycl. Math. Sci., 37, 97-196 (1993)
[92] Friedlander, E. M.; Merkurjev, A.; Beilinson, A.; Haesemeyer, Ch.; Levine, M.; Panin, I.; Parimala, R.; Soulé, Ch.; Weibel, Ch.; Yagunov, S., In memoriam: Andrei Suslin, Not. Am. Math. Soc., 67, 832-841 (2020) · Zbl 1454.01043
[93] Lam, C. W. H.; Thiel, L.; Swiercz, S., The non-existence of finite projective planes of order 10, Can. J. Math., 41, 1117-1123 (1989) · Zbl 0691.51003 · doi:10.4153/CJM-1989-049-4
[94] Yu. I. Manin, “Affine schemes,” in Introduction to the Theory of Schemes (Mosk. Gos. Univ., Moscow, 1970; Springer-Verlag, Cham, 2019), in Ser.: Moscow Lectures, pp. 1-105.
[95] T. Y. Lam, Serre’s Problem on Projective Modules (Springer-Verlag, Berlin, 2006), in Ser.: Springer Monographs in Mathematics.
[96] S. Lang, Algebra, 3rd ed. (Springer-Verlag, New York, 2002; Mir, Moscow, 1968), in Ser.: Graduate Texts in Mathematics, Vol. 211.
[97] Vavilov, N. A.; Stepanov, A. V., Linear groups over general rings. I. Generalities, J. Math. Sci. (N. Y.), 188, 490-550 (2013) · Zbl 1278.20066 · doi:10.1007/s10958-013-1146-7
[98] Vasershtein, L. N.; Suslin, A. A., “Serre’s problem on projective modules over polynomial rings, and algebraic K-theory,” Math, USSR-Izv., 10, 937-1001 (1976) · Zbl 0379.13009 · doi:10.1070/IM1976v010n05ABEH001822
[99] A. Hahn and O. T. O’Meara, The Classical Groups and K-Theory (Springer-Verlag, Berlin, 1989), in Ser.: Grundlehren der Mathematischen Wissenschaften, Vol. 291. · Zbl 0683.20033
[100] Friedlander, E. M.; Merkurjev, A. S., “The mathematics of Andrei Suslin,” Bull. Am. Math. Soc, New Ser., 57, 1-22 (2020) · Zbl 1447.20015 · doi:10.1090/bull/1680
[101] Suslin, A. A., “On the structure of the special linear group over polynomial rings,” Math, USSR-Izv., 11, 221-238 (1977) · Zbl 0378.13002 · doi:10.1070/IM1977v011n02ABEH001709
[102] Bak, A., Nonabelian K-theory: The nilpotent class of K1 and general stability, K-Theory, 4, 363-397 (1991) · Zbl 0741.19001 · doi:10.1007/BF00533991
[103] Stepanov, A., Structure of Chevalley groups over rings via universal localization, J. Algebra, 450, 522-548 (2016) · Zbl 1337.20057 · doi:10.1016/j.jalgebra.2015.11.031
[104] Stepanov, A.; Vavilov, N., Decomposition of transvections: A theme with variations, K-Theory, 19, 109-153 (2000) · Zbl 0944.20031 · doi:10.1023/A:1007853629389
[105] Suslin, A. A., “On stably free modules,” Math, USSR-Sb., 31, 479-491 (1977) · Zbl 0389.13002 · doi:10.1070/SM1977v031n04ABEH003717
[106] Kopeiko, V. I., “The stabilization of symplectic groups over a polynomial ring,” Math, USSR-Sb., 34, 655-669 (1978) · Zbl 0414.20037 · doi:10.1070/SM1978v034n05ABEH001337
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.