Let be a discrete valuation ring with field of fractions and (sufficiently large) residue field . We prove that there is a natural exact sequence $H_3(_2(A),[\frac{1}{2}]) \to H_3(_2(F),[\frac{1}{2}])\to _1(k)[\frac{1}{2}]\to 0_1(k)$ is the refined scissors congruence group of . Let denote the congruence subgroup consisting of matrices in whose lower off-diagonal entry lies in the maximal ideal . We also prove that there is an exact sequence $0\to \overline{}(k)[\frac{1}{2}]\to H_2(\Gamma_0(\mathfrak{m}_A),[\frac{1}{2}])\to H_2(_2(A),[\frac{1}{2}])\to I^2(k)[\frac{1}{2}]\to 0$, where is the second power of the fundamental ideal of the Grothendieck-Witt ring and is a certain quotient of the scissors congruence group (in the sense of Dupont-Sah) of .

生成讲解博客的中文版本

生成AI智能校验的中文版本