English

Symplectic completion over smooth affine algebras

Commutative Algebra 2026-03-31 v1

Abstract

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

Keywords

Cite

@article{arxiv.2603.28293,
  title  = {Symplectic completion over smooth affine algebras},
  author = {Gopal Sharma and Sampat Sharma},
  journal= {arXiv preprint arXiv:2603.28293},
  year   = {2026}
}
R2 v1 2026-07-01T11:43:54.614Z