The third homology of \(\mathrm{SL}_2\) of fields with discrete valuation (Q502622)

Let \(F\) be a field with discrete valuation \(v\) and residue field \(k\). Assume there is \(n\geq1\) such that every \(x\in F^\times\) with \(v(x)=0\) and \(v(1-x)\geq n\) is a square. The author relates the third homology of \(\mathrm{SL}_2(F)\) with \(\mathbb Z[1/2]\) coefficients to the third homology of \(\mathrm{SL}_2(k)\) and a certain `refined scissors congruence group' of \(k\). Actions of the group ring of \(F^\times/(F^{\times})^2\) are used extensively. Higher-dimensional local fields are also treated.