On the \mathbb{A}^1-invariance of \mathrm{K}_2 modeled on linear and even orthogonal groups

Abstract: Let

k

be an arbitrary field. In this paper we show that in the linear case (

P h i = m a t h s f A_{e} l l

,

e l l g e q 4

) and even orthogonal case (

P h i = m a t h s f D_{e} l l

,

e l l g e q 7

,

m a t h r m c h a r (k) e q 2

) the unstable functor

m a t h r m K_{2} (P h i, -)

possesses the

m a t h b b A^{1}

-invariance property in the geometric case, i. e.

m a t h r m K_{2} (P h i, R [t]) = m a t h r m K_{2} (P h i, R)

for a regular ring

R

containing

k

. As a consequence, the unstable

m a t h r m K_{2}

groups can be represented in the unstable

m a t h b b A^{1}

-homotopy category

as fundamental groups of the simply-connected Chevalley--Demazure group schemes

m a t h r m G (P h i, -)

. Our invariance result can be considered as the

m a t h r m K_{2}

-analogue of the geometric case of Bass--Quillen conjecture. We also show for a semilocal regular

k

-algebra

A

that

m a t h r m K_{2} (P h i, A)

embeds as a subgroup into

m a t h r m K^{m} a t h r m M_{2} (m a t h r m F r a c, A)

.

This page was built for publication: On the $\mathbb{A}^1$-invariance of $\mathrm{K}_2$ modeled on linear and even orthogonal groups