Nice group structure on the elementary orbit space of unimodular rows

TL;DR

This paper establishes that certain algebraic structures related to unimodular rows over specific rings have well-behaved group structures, extending known results to broader classes of rings and dimensions.

Contribution

It proves the existence of nice group structures on elementary orbit spaces of unimodular rows over affine algebras and Noetherian rings under specified conditions.

Findings

Group structure on ${ m Um}_d(R)/{ m E}_d(R)$ is nice for affine algebras over algebraically closed fields.

Group structure on ${ m Um}_{d+1}(R[X])/{ m E}_{d+1}(R[X])$ is nice when ${ m E}_{d+1}(R)$ acts transitively.

Results extend the understanding of orbit spaces in algebraic K-theory.

Abstract

(1) If $R$ is an affine algebra of dimension $d\geq 4$ over $\overline{\mathbb{F}}_{p}$ with $p>3$, then the group structure on ${\rm Um}_d(R)/{\rm E}_d(R)$ is nice. (2) If $R$ is a commutative noetherian ring of dimension $d\geq 2$ such that ${\rm E}_{d+1}(R)$ acts transitively on ${\rm Um}_{d+1}(R),$ then the group structure on ${\rm Um}_{d+1}(R[X])/{\rm E}_{d+1}(R[X])$ is nice.