标题： 关于单李型Chevalley群的$\mathrm{K}_2$的$\mathbb{A}^1$不变性 显示英文标题

标题： On the $\mathbb{A}^1$-invariance of $\mathrm{K}_2$ of Chevalley groups of simply-laced type

摘要： In this paper we study the $\mathbb{A}^1$-invariance of the unstable functor $\mathrm{K}_2(\Phi, R)$ in the case when $\Phi$ is an irreducible root system of type $\mathsf{ADE}$ containing $\mathsf{A}_4$ and not of type $\mathsf{E}_8$. 我们证明在几何情形下，即当$R$是一个包含域$k$的正则环时，有$\mathrm{K}_2(\Phi, R[t]) = \mathrm{K}_2(\Phi, R)$，这使得可以将不稳定的$\mathrm{K}_2$群解释为在$\mathbb{A}^1$-同伦范畴中 Chevalley--Demazure 群概形的$\mathbb{A}^1$-基本群。 我们还证明了“早期稳定性”定理的一个变体，该变体允许在$A$是戴德金整环的情况下找到$\mathrm{K}_2(\Phi, A[X_1, \ldots X_n])$的生成集。 显示英文摘要

摘要： In this paper we study the $\mathbb{A}^1$-invariance of the unstable functor $\mathrm{K}_2(\Phi, R)$ in the case when $\Phi$ is an irreducible root system of type $\mathsf{ADE}$ containing $\mathsf{A}_4$ and not of type $\mathsf{E}_8$. We show that in the geometric case, i. e. when $R$ is a regular ring containing a field $k$ one has $\mathrm{K}_2(\Phi, R[t]) = \mathrm{K}_2(\Phi, R)$, which allows one to interpret the unstable $\mathrm{K}_2$ groups as $\mathbb{A}^1$-fundamental groups of Chevalley--Demazure group schemes in the $\mathbb{A}^1$-homotopy category. We also prove a variant of "early stability" theorem which allows one to find a generating set of $\mathrm{K}_2(\Phi, A[X_1, \ldots X_n])$ in the case when $A$ is a Dedekind domain.