Symplectic completion over smooth affine algebras

TL;DR

This paper proves new results on symplectic completion over smooth affine algebras of dimensions 3 and 4, extending classical algebraic K-theory and quadratic form results.

Contribution

It establishes symplectic and special linear group decompositions over smooth affine algebras of low dimension, generalizing previous algebraic K-theory results.

Findings

For dimension 3, unimodular rows are generated by elementary symplectic matrices.

For dimension 4, under certain divisibility conditions, unimodular rows are generated by elementary special linear or symplectic matrices.

Results extend to local and graded rings over such algebras.

Abstract

In this article, we prove the following results:\\ \noindent \text{(1).} Let $R$ be a smooth affine algebra of dimension $3$ over an algebraically closed field $K$ with $3!\in K$, then we show that $\Um_4(R)=e_1\Sp_4(R)$ and $\Um_4(R [X])=e_1\Sp_4(R[X])$. \noindent \text{(2).} We also show that if $R$ is a smooth affine algebra of dimension $4$ over an algebraically closed field $K$ with $4!\in K$, and assume that $\W_E(R)$ is divisible, then $\Um_3(R)=e_1\SL_3(R)$. As a consequence it is shown that if $R$ is a smooth affine algebra of dimension $4$ over an algebraically closed field $K$ with $4!\in K$, and assume that $\W_E(R)$ is divisible, then $\Um_4(R)=e_1\Sp_4(R)$. \noindent \text{(3).} We show that if $R$ is a local ring of dimension $3$ with $\frac{1}{3!}\in R$. Then $\Um_4(R[X])=e_1\Sp_4(R[X])$. \noindent \text{(4).} We also show that if $R=\oplus_{i\geq 0}R_i$ is a graded ring over a local ring of dimension $3$ with $\frac{1}{3!}\in R$. Then $\Um_4(R)=e_1\Sp_4(R)$.