RUS  ENG
Full version
SEMINARS



Chevalley groups over rings of polynomials

A. K. Stavrova

Saint Petersburg State University

Abstract: Let D be a Dedekind domain. In 1977, A. Suslin established that for any N>=3, and any n>=1, one has SL_N(D[x_1,...,x_n])=SL_N(D)E_N(D[x_1,...,x_n]), where E_N(D[x_1,...,x_n]) is the elementary subgroup of SL_N(D[x_1,...,x_n]), i.e. the subgroup generated by the unipotent elementary transformation matrices E+tE_ij, where E is the unit matrix, E_ij is the matrix with 1 at the position i,j and 0 everywhere else, and t is an arbitrary element of the polynomial ring D[x_1,...,x_n]. In particular, this implies that SL_N(Z[x_1,...,x_n])=E_N(Z[x_1,...,x_n]), where Z is the ring of integers. We discuss an extension of this result to all split simple linear algebraic groups (also called Chevalley groups) and to regular rings D of higher dimension.

Language: English


© Steklov Math. Inst. of RAS, 2024