Homotopy invariance of non-stable K₁-functors
classification
🧮 math.AG
math.GRmath.KT
keywords
fieldgrouphomotopynon-stableperfectregularalgebraicassociated
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.