Homotopy invariance of non-stable K_1-functors
Algebraic Geometry
2013-02-14 v5 Group Theory
K-Theory and Homology
Abstract
Let G be reductive algebraic group over a field k, such that every semisimple normal subgroup of G has isotropic rank >=2. Let K_1^G be the non-stable K_1-functor associated to G (also called the Whitehead group of G in the field case). We show that K_1^G(k)=K_1^G(k[X_1,...,X_n]) for any n>= 1. This implies that K_1^G is A^1-homotopy invariant on the category of regular k-algebras, if k is perfect. If k is infinite perfect, one also deduces that K_1^G(R)-> K_1^G(K) is injective for any regular local k-algebra R with the fraction field K.
Keywords
Cite
@article{arxiv.1111.4664,
title = {Homotopy invariance of non-stable K_1-functors},
author = {Anastasia Stavrova},
journal= {arXiv preprint arXiv:1111.4664},
year = {2013}
}
Comments
40 pages (font size enlarged)