The homology of SL2 of discrete valuation rings
Let A be a discrete valuation ring with field of fractions F and (sufficiently large) residue field k. We prove that there is a natural exact sequence H3(SL2(A),Z[21])→H3(SL2(F),Z[21])→RP1(k)[21]→0, where RP1(k) is the refined scissors congruence group of k. Let Γ0(mA) denote the congruence subgroup consisting of matrices in SL2(A) whose lower off-diagonal entry lies in the maximal ideal mA. We also prove that there is an exact sequence 0→P(k)[21]→H2(Γ0(mA),Z[21])→H2(SL2(A),Z[21])→I2(k)[21]→0, where I2(k) is the second power of the fundamental ideal of the Grothendieck-Witt ring GW(k) and P(k) is a certain quotient of the scissors congruence group (in the sense of Dupont-Sah) P(k) of k.