Skip to main content
update + formatting
Source Link
Andrei Smolensky
  • 3.2k
  • 1
  • 22
  • 34

I am somewhat puzzled by your version of "Suslin stability theorem". What you are referring to is a combination of usual stabilization for $SK_1$ and an estimate for the stable rank of integer polynomials. Suslin's theorem states something much stronger, in particular Corollary 6.6 in his paper "On the structure of the special linear group over polynomial rings"On the structure of the special linear group over polynomial rings is as follows (note that it doesn't depend on the number of variables):

Let $A$ be a regular ring such that $SK_1(A)=0$ (for example, the ring of integers in an algebraic number field). Then $SL_r(A[x_1,\ldots,x_n])$ is generated by elementary matrices for $r\geqslant\max(3,\dim A+2)$.

Corollary 7.10 extends this result to rings of the form $A[x_1^\pm,\ldots,x_k^\pm,x_{k+1},\ldots,x_n]$ for $A$ regular.

For other Chevalley groups the situation is complicated. One has the stability theorems for $K_1(\Phi)$ in terms of stable rank (or its ramifications such as absolute stable rank or $\Lambda$-stable rank), but they give pretty bad bounds for polynomial rings.

There is, however, the following version of Suslin's theorem for symplectic group in a paper "On symplectic groups over polynomial rings"On symplectic groups over polynomial rings by F. Grunewald, J. Mennicke and L. Vaserstein:

Let $A$ be a locally principal ring. For an integer $m\geqslant0$ put $R=A[x_1,\ldots,x_m]$. Then $Sp_{2n}(R)=Sp_{2n}(A)\cdot Ep_{en}(R)$ for any $n\geqslant2$.

By locally principal ring they mean a commutative ring such that its localization at any maximal ideal is a principal ideal ring.

For euclidean ring $A$ this gives $K_1(\mathsf{C}_\ell,R)=0$.

As a byproduct they also prove a stronger version of Suslin's theorem for $SL$ and a locally principal ring.

They also have a version for Laurent polynomial rings and claim that by using stability theorems for $K_1$ as in M. Stein's papers one can prove the same results for classical simple algebraic groups of relative rank $\geqslant2$, but the latter has never been written in full details.

UPDATE 14.02.2019 The proof for all simply-connected Chevalley groups is given by A. Stavrova in Chevalley groups of polynomial rings over Dedekind domains. Namely, she proves the following theorem:

Let $R$ be a locally principal ring, and let $G$ be a Chevalley—Demazure group scheme of isotropic rank $\geq2$. Then $G(R[x_1,\ldots,x_n])=G(R)E(R[x_1,\ldots,x_n])$ for any $n\geq1$.

If $R$ is a Dedekind ring of arithmetic type (for example, $R=\mathbb{Z}$), it follows that $G(R[x_1,\ldots,x_n])=E(R[x_1,\ldots,x_n])$.

I am somewhat puzzled by your version of "Suslin stability theorem". What you are referring to is a combination of usual stabilization for $SK_1$ and an estimate for the stable rank of integer polynomials. Suslin's theorem states something much stronger, in particular Corollary 6.6 in his paper "On the structure of the special linear group over polynomial rings" is as follows (note that it doesn't depend on the number of variables):

Let $A$ be a regular ring such that $SK_1(A)=0$ (for example, the ring of integers in an algebraic number field). Then $SL_r(A[x_1,\ldots,x_n])$ is generated by elementary matrices for $r\geqslant\max(3,\dim A+2)$.

Corollary 7.10 extends this result to rings of the form $A[x_1^\pm,\ldots,x_k^\pm,x_{k+1},\ldots,x_n]$ for $A$ regular.

For other Chevalley groups the situation is complicated. One has the stability theorems for $K_1(\Phi)$ in terms of stable rank (or its ramifications such as absolute stable rank or $\Lambda$-stable rank), but they give pretty bad bounds for polynomial rings.

There is, however, the following version of Suslin's theorem for symplectic group in a paper "On symplectic groups over polynomial rings" by F. Grunewald, J. Mennicke and L. Vaserstein:

Let $A$ be a locally principal ring. For an integer $m\geqslant0$ put $R=A[x_1,\ldots,x_m]$. Then $Sp_{2n}(R)=Sp_{2n}(A)\cdot Ep_{en}(R)$ for any $n\geqslant2$.

By locally principal ring they mean a commutative ring such that its localization at any maximal ideal is a principal ideal ring.

For euclidean ring $A$ this gives $K_1(\mathsf{C}_\ell,R)=0$.

As a byproduct they also prove a stronger version of Suslin's theorem for $SL$ and a locally principal ring.

They also have a version for Laurent polynomial rings and claim that by using stability theorems for $K_1$ as in M. Stein's papers one can prove the same results for classical simple algebraic groups of relative rank $\geqslant2$, but the latter has never been written in full details.

I am somewhat puzzled by your version of "Suslin stability theorem". What you are referring to is a combination of usual stabilization for $SK_1$ and an estimate for the stable rank of integer polynomials. Suslin's theorem states something much stronger, in particular Corollary 6.6 in his paper On the structure of the special linear group over polynomial rings is as follows (note that it doesn't depend on the number of variables):

Let $A$ be a regular ring such that $SK_1(A)=0$ (for example, the ring of integers in an algebraic number field). Then $SL_r(A[x_1,\ldots,x_n])$ is generated by elementary matrices for $r\geqslant\max(3,\dim A+2)$.

Corollary 7.10 extends this result to rings of the form $A[x_1^\pm,\ldots,x_k^\pm,x_{k+1},\ldots,x_n]$ for $A$ regular.

For other Chevalley groups the situation is complicated. One has the stability theorems for $K_1(\Phi)$ in terms of stable rank (or its ramifications such as absolute stable rank or $\Lambda$-stable rank), but they give pretty bad bounds for polynomial rings.

There is, however, the following version of Suslin's theorem for symplectic group in a paper On symplectic groups over polynomial rings by F. Grunewald, J. Mennicke and L. Vaserstein:

Let $A$ be a locally principal ring. For an integer $m\geqslant0$ put $R=A[x_1,\ldots,x_m]$. Then $Sp_{2n}(R)=Sp_{2n}(A)\cdot Ep_{en}(R)$ for any $n\geqslant2$.

By locally principal ring they mean a commutative ring such that its localization at any maximal ideal is a principal ideal ring.

For euclidean ring $A$ this gives $K_1(\mathsf{C}_\ell,R)=0$.

As a byproduct they also prove a stronger version of Suslin's theorem for $SL$ and a locally principal ring.

They also have a version for Laurent polynomial rings and claim that by using stability theorems for $K_1$ as in M. Stein's papers one can prove the same results for classical simple algebraic groups of relative rank $\geqslant2$, but the latter has never been written in full details.

UPDATE 14.02.2019 The proof for all simply-connected Chevalley groups is given by A. Stavrova in Chevalley groups of polynomial rings over Dedekind domains. Namely, she proves the following theorem:

Let $R$ be a locally principal ring, and let $G$ be a Chevalley—Demazure group scheme of isotropic rank $\geq2$. Then $G(R[x_1,\ldots,x_n])=G(R)E(R[x_1,\ldots,x_n])$ for any $n\geq1$.

If $R$ is a Dedekind ring of arithmetic type (for example, $R=\mathbb{Z}$), it follows that $G(R[x_1,\ldots,x_n])=E(R[x_1,\ldots,x_n])$.

Source Link
Andrei Smolensky
  • 3.2k
  • 1
  • 22
  • 34

I am somewhat puzzled by your version of "Suslin stability theorem". What you are referring to is a combination of usual stabilization for $SK_1$ and an estimate for the stable rank of integer polynomials. Suslin's theorem states something much stronger, in particular Corollary 6.6 in his paper "On the structure of the special linear group over polynomial rings" is as follows (note that it doesn't depend on the number of variables):

Let $A$ be a regular ring such that $SK_1(A)=0$ (for example, the ring of integers in an algebraic number field). Then $SL_r(A[x_1,\ldots,x_n])$ is generated by elementary matrices for $r\geqslant\max(3,\dim A+2)$.

Corollary 7.10 extends this result to rings of the form $A[x_1^\pm,\ldots,x_k^\pm,x_{k+1},\ldots,x_n]$ for $A$ regular.

For other Chevalley groups the situation is complicated. One has the stability theorems for $K_1(\Phi)$ in terms of stable rank (or its ramifications such as absolute stable rank or $\Lambda$-stable rank), but they give pretty bad bounds for polynomial rings.

There is, however, the following version of Suslin's theorem for symplectic group in a paper "On symplectic groups over polynomial rings" by F. Grunewald, J. Mennicke and L. Vaserstein:

Let $A$ be a locally principal ring. For an integer $m\geqslant0$ put $R=A[x_1,\ldots,x_m]$. Then $Sp_{2n}(R)=Sp_{2n}(A)\cdot Ep_{en}(R)$ for any $n\geqslant2$.

By locally principal ring they mean a commutative ring such that its localization at any maximal ideal is a principal ideal ring.

For euclidean ring $A$ this gives $K_1(\mathsf{C}_\ell,R)=0$.

As a byproduct they also prove a stronger version of Suslin's theorem for $SL$ and a locally principal ring.

They also have a version for Laurent polynomial rings and claim that by using stability theorems for $K_1$ as in M. Stein's papers one can prove the same results for classical simple algebraic groups of relative rank $\geqslant2$, but the latter has never been written in full details.