The article contains a survey of the recent author’s results on the structure of a Chevalley group G(R) over a ring R. They generalize and improve previously known results on: (1) the relative local-global principle; (2) generators of a relative elementary group; (3) relative multicommutator formulas; (4) the nilpotent structure of a relative K1; (5) the bounded length of commutators. The proof of the first two items is based on computations with generators of the elementary group translated into the language of parabolic subgroups. The other results are proved by means of enlarging a relative elementary group, constructing a generic element, and using the localization procedure in the universal ring.
Similar content being viewed by others
References
Z. I. Borevich and N. A. Vavilov, “Arrangement of subgroups in the general linear group over a commutative ring,” Trudy Steklov. Mat. Inst., 165, 24–42 (1984).
N. A. Vavilov and A. V. Stepanov, “Standard commutator formula,” Vestn. St.Peterbg. Univ., Ser. I, Mat. Mekh. Astron., No. 1, 9–14 (2008).
N. A. Vavilov and A. V. Stepanov, “Standard commutator formula, revisited,” Vestn. St.Peterbg. Univ., Ser. I, Mat. Mekh. Astron., 43, No. 1, 16–22 (2010).
L. N. Vaserstein and A. A. Suslin, “Serre’s problem on projective modules over polynomial rings and algebraic K-theory,” Izv. Akad. Nauk SSSR, Ser. Mat., 40, No. 5, 993–1054 (1976).
V. I. Kopeiko, “The stabilization of symplectic groups over a polynomial ring,” Mat. Sb., 106, No. 1, 94–107 (1978).
V. I. Kopeiko and A. A. Suslin, “Quadratic modules over polynomial rings,” Zap. Nauchn. Semin. LOMI, 86, 114–124 (1979).
V. A. Petrov and A. K. Stavrova, “Elementary subgroups of isotropic reductive groups,” Algebra Analiz, 20, No. 4, 160–188 (2008).
A. A. Suslin, “On the structure of the special linear group over polynomial rings,” Izv. Akad. Nauk SSSR, Ser. Mat., 41, No. 2, 235–252 (1977).
A. A. Suslin and V. I. Kopeiko, “Quadratic modules and the orthogonal group over polynomial rings,” Zap. Nauchn. Semin. LOMI, 71, 216–250 (1977).
M. S. Tulenbaev, “Schur multiplier of a group of elementary matrices of finite order,” Zap. Nauchn. Semin. LOMI, 86, 162–169 (1979).
S. G. Khlebutin, “Sufficient conditions for the normality of the subgroup of elementary matrices,” Usp. Mat. Nauk, 39, No. 3, 245–246 (1984).
E. Abe, “Whitehead groups of Chevalley groups over polynomial rings,” Comm. Algebra, 11, No. 12, 1271–1307 (1983).
E. Abe, “Normal subgroups of Chevalley groups over commutative rings,” Contemp. Math., 83, 1–17 (1989).
H. Apte, P. Chattopadhyay, and R. Rao, “A local global theorem for extended ideals,” J. Ramanujan Math. Soc., 27, No. 1, 17–30 (2012).
H. Apte and A. Stepanov, “A local global theorem for extended ideals,” Cent. Eur. J. Math. (to appear). Preprint: http://arxiv.org/abs/1211.3575 (2014).
A. Bak, “Nonabelian K-theory: the nilpotent class of K1 and general stability,” K-Theory, 4, 363–397 (1991).
A. Bak, “Lectures on dimension theory, group valued functors, and nonstable K-theory,” Preprint, Buenos Aires (1995).
A. Bak, R. Hazrat, and N. Vavilov, “Localization-completion strikes again: relative K 1 is nilpotent,” J. Pure Appl. Algebra, 213, 1075–1085 (2009).
A. Bak and A. V. Stepanov, “Dimension theory and nonstable K-theory for net groups,” Rend. Semin. Mat. Univ. Padova, 106, 207–253 (2001).
A. Bak and N. A. Vavilov, “Normality for elementary subgroup functors,” Math. Proc. Cambridge Philos. Soc., 118, No. 1, 35–47 (1995).
A. Bak and N. A. Vavilov, “Structure of hyperbolic unitary groups. I: elementary subgroups,” Algebra Colloq., 7, No. 2, 159–196 (2000).
F. Grunewald, J. Mennicke, and L. Vaserstein, “On symplectic groups over polynomial rings,” Math. Z., 206, 35–56 (1991).
R. Hazrat, “Dimension theory and nonstable K 1 of quadratic modules,” K-Theory, 27, No. 4, 293–328 (2002).
R. Hazrat and N. Vavilov, “K 1 of Chevalley groups are nilpotent,” J. Pure Appl. Algebra, 179, 99–116 (2003).
R. Hazrat, N. Vavilov, and Z. Zhang, “Generation of relative commutator subgroups in Chevalley groups,” Preprint: http://arxiv.org/abs/1212.5432 (2012).
R. Hazrat, N. Vavilov, and Z. Zhang, “Relative commutator calculus in Chevalley groups,” J. Algebra, 385, 262–293 (2013).
R. Hazrat and Z. Zhang, “Generalized commutator formula,” Comm. Algebra, 39, No. 4, 1441–1454 (2011).
R. Hazrat and Z. Zhang, “Multiple commutator formulas,” Israel J. Math., 195, No. 1, 481–505 (2013).
W. van der Kallen, “A module structure on certain orbit sets of unimodular rows,” J. Pure Appl. Algebra, 57, No. 3, 281–316 (1989).
A. W, Mason and W. W. Stothers, “On subgroups of GL(n,A) which are generated by commutators,” Invent. Math., 23, 327–346 (1974).
D. Quillen, “Projective modules over polynomial rings,” Invent. Math., 36, 167–171 (1976).
A. Sivatski and A. Stepanov, “On the word length of commutators in GL n (R),” K-Theory, 17, 295–302 (1999).
M. R. Stein, “Generators, relations, and coverings of Chevalley groups over commutative rings,” Amer. J. Math., 93, 965–1004 (1971).
A. Stepanov, “Elementary calculus in Chevalley groups over rings,” J. Prime Research in Math., 9, 79–95 (2013).
A. Stepanov and N. Vavilov, “Length of commutators in Chevalley groups,” Israel J. Math., 185, 253–276 (2011).
A. V. Stepanov, “Structure of Chevalley groups over rings via universal localization,” J. K-Theory (to appear). Preprint: http://arxiv.org/abs/1303.6082 (2014).
G. Taddei, “Normalité des groupes élémentaire dans les groupes de Chevalley sur un anneau,” Contemp. Math., 55, 693–710 (1986).
J. Tits, “Systemes générateurs de groupes de congruences,” C. R. Acad. Sci., Paris, Sér. A, 283, 693–695 (1976).
L. N. Vaserstein, “On the normal subgroups of GL n over a ring,” Lect. Notes Math., 854, 456–465 (1981).
L. N. Vaserstein, “On normal subgroups of Chevalley groups over commutative rings,” Tôhoku Math. J., 38, 219–230 (1986).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 423, 2014, pp. 244–263.
Rights and permissions
About this article
Cite this article
Stepanov, A.V. Non-Abelian K-Theory for Chevalley Groups over Rings. J Math Sci 209, 645–656 (2015). https://doi.org/10.1007/s10958-015-2518-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-015-2518-y