Non-Stable $K_1$-Functors of Discrete Valuation Rings Containing a Field

TL;DR

This paper proves that for certain algebraic groups over discrete valuation rings containing a field, the non-stable K_1-functor matches that over its fraction field, linking it to Manin's R-equivalence classes.

Contribution

It establishes the equality of non-stable K_1-functors over discrete valuation rings and their fraction fields for specific algebraic groups, connecting to R-equivalence groups.

Findings

Non-stable K_1-functor over D equals that over K.

K_1^G(D) coincides with Manin's R-equivalence class group.

Results apply to isotropic, simply connected semisimple groups.

Abstract

Let $k$ be a field, and let $G$ be a simply connected semisimple k-group which is isotropic and contains a strictly proper parabolic $k$-subgroup $P$. Let $D$ be a discrete valuation ring which is a local ring of a smooth algebraic curve over $k$. Let $K$ be the fraction field of $D$. We show that the corresponding non-stable $K_1$-functor (for $G$ and $P$, also called the Whitehead group of $G$) coincide over $D$ and $K$. As a consequence, $K^G_1 (D)$ coincides with the (generalized) Manin's $R$-equivalence class group of $G(D)$.