SCISSORS CONGRUENCE GROUPS AND THE THIRD HOMOLOGY OF SL2 OF
LOCAL RINGS AND FIELDS
arXiv:1309.5010v1 [math.KT] 19 Sep 2013
KEVIN HUTCHINSON
h i
Abstract. We describe the third homology of S L2 of local rings, over Z 12 , in terms of a refined Bloch group. We use this to derive a localization sequence for the third homology of S L2
of certain discrete valuation rings and to calculate the H3 of S L2 of higher-dimensional local
fields and their associated discrete valuation rings in terms of indecomposable K3 and scissors
congruence groups of intermediate residue fields.
1. Introduction
The study of the homology of special linear groups divides naturally into the stable and unstable cases. For a field F and for given n ∈ N when m is sufficiently large (see [25, 10]) the
groups Hn (SLm (F), Z) stabilize (in the sense that they become independent of m). These stable
homology groups embed as natural direct summands in the corresponding homology of the general linear group Hn (GLm (F), Z) and their calculation is therefore closely tied to the calculation
of the homology of the general linear group and to algebraic K-theory. When m is small, by
contrast, it usually happens that neither the stabilization maps nor the map to the homology of
the general linear group is injective and the kernels of these maps are interesting invariants of
the field.
For a field or local ring A, the structure of H2 (SLm (A), Z) is well-understood, thanks to the
Theorem of Matsumoto-Moore ([13, 17]), and the results of W. van der Kallen ([24] and A.
Suslin ([22]): Stability begins at m = 3 and H2 (SLm (A), Z) K2 (A) = K2M (A) for all m ≥ 3.
For a field F, the map H2 (SL2 (F), Z) → H2 (SL3 (F), Z) is surjective and the kernel is naturally
I 3 (F), the third power of the fundamental ideal of the Witt ring of the field F.
For the groups H3 (SLm (F), Z), stability also begins at m = 3 and
H3 (SLm (F), Z) K3 (F)/{−1} · K2 (F)
for all m ≥ 3 ([23, 9]). The map H3 (SL2 (F), Z) → H3 (SL3 (F), Z) has cokernel isomorphic to
2K3M (F) and image isomorphic - up to 2-torsion - to K3ind (F) ([9]). The group H3 (SL2 (F), Z)
has been much studied because of its connections with K-theory, the dilogarithm function,
hyperbolic geometry and other topics ([1, 20, 23, 27, 5, 2, 18]). However, its structure for
general fields or rings is far from being understood. For instance the structure of H3 (SL2 (Q), Z)
is not yet known (but see [8]).
For any field F there is a natural surjective homomorphism
(1)
//
H3 (SL2 (F), Z)
Date: September 20, 2013.
1991 Mathematics Subject Classification. 19G99, 20G10.
Key words and phrases. K-theory, Group Homology .
1
K3ind (F)
2
KEVIN HUTCHINSON
from the third homology of SL2 (F) to the indecomposable K3 of the field (see [9] for infinite
fields and [6] for finite fields). This map is an isomorphism when F is algebraically, or even
quadratically, closed ([20, 14]).
In fact the map (1) is naturally a map of RF -modules where RF is the group ring Z[F × /(F × )2 ].
The action of RF on K3ind (F) is trivial, while
the# square class hai of the element a ∈ F × acts
"
a 0
on the left via conjugation by the matrix
(or more generally by any 2 × 2 matrix with
0 1
determinant a). It turns out – see [4, 14] – that essentially (i.e. up to some possible 2-torsion) the
only obstruction to the injectivity of the map (1) is the nontriviality or otherwise of the action
of RF on H3 (SL2 (F), Z); i.e. there is an induced isomorphism
h i
h i
H3 (SL2 (F), Z 21 )F × K3ind (F) 12 .
Equivalently we have
Ker(H3 (SL2 (F), Z
h i
1
2
) → K3ind (F)
h i
1
2
) = IF H3 (SL2 (F), Z
h i
1
2
)
where IF is the augmentation ideal in the group algebra RF .
Now for a field F, K3ind (F) is closely related to B(F), the Bloch group of F ([3], [23]). This is a
natural subgroup of the scissors congruence group P(F) (or pre-Bloch group in the terminology
of [23]), which is described by a presentation where the relations are derived from the 5-term
functional equation of dilogarithm function.
In [6] we introduced an RF -module RB(F), the refined Bloch group of the field F, which is
closely related to H3 (SL2 (F), Z) – for details see section 2.4 below – and which can be explicitly
calculated in some interesting cases ([8]). RB(F) surjects naturally onto B(F) with kernel
RB0 (F) and we have for any field F
h i
h i
h i
RB0 (F) 12 = IF RB(F) 12 = IF H3 (SL2 (F), Z 21 ).
The main purpose of the present article is firstly to generalize the results of [6] and [8] from
fields to local rings – including the case of finite residue fields – and then to apply these results
to compare the third homology of S L2 of local rings with that of their fields of fractions and
with related invariants of their residue fields. This leads
h ito what we call a localization sequence
for the third homology of S L2 , with coefficients in Z 21 , of a certain (quite restricted) class of
discrete valuation rings. This takes the form of a short exact sequence
h i
h i
h i
g 1 (F) 1 → 0
(2)
0 → H3 (SL2 (A), Z 1 ) → H3 (SL2 (K), Z 1 ) → RP
2
2
2
where A is a discrete valuation ring with field of fractions K and residue field F. In fact, the
sequence is defined for any discrete valuation ring and we would expect it to be exact for a
larger class of rings than those to which our methods of proof apply.
g 1 (F) is essentially a refined version of the classical scisIn this exact sequence, the functor RP
sors congruence group of the field F. In particular, we show that for a large class of higherdimensional local fields it can be expressed as a direct sum of the scissors congruence group of
the field and of copies of the scissors congruence groups of the intermediate residue fields.
We refer to the sequence (2) as a localization sequence because of an analogy with K-theory
and related functors. For example, in a forthcoming article ([7]) we show that for an infinite
field F there is a natural (split) short exact sequence
h i
h i
h i
g 1 (F) 1 → 0.
0 → H3 (SL2 (F), Z 1 ) → H3 (SL2 (F[T, T −1 ]), Z 1 ) → RP
2
2
2
(There is also a corresponding statement for H2 (SL2 (F), Z) where the associated functor is
Milnor-Witt K1 .)
H3 of SL2 of local rings
3
The article is laid out as follows:
In section 2 we review the definitions of (refined) scissors congruence groups and Bloch groups
of commutative rings and recall the required results from [6] and [8].
In section 3 we prove (Theorem 3.22) that for local rings A with sufficiently large residue field
there is a natural short exact sequence
h i
h i
h i
0 → tor(µA , µA ) 21 → H3 (SL2 (A), Z 12 ) → RB(A) 12 → 0.
The proof follows the same route as the proof of the corresponding theorem for fields in [6], but
we supply all the necessary details for the convenience of the reader.
In section 4, we consider certain submodules and quotient modules of the refined scissors
congruence group RP(A) which play an important role in our calculations. Again, we are here
following a route already covered in the case of fields. Only small adaptations are needed to
extend the results for fields to the more general case of local rings, but we include (most) details
for the reader’s convenience. In particular, the key identity hhxii DA = ψ1 (x) − ψ2 (x) in RP(A)
(see Theorem 4.19) is crucial to our later calculations.
In section 5 we re-visit the specialization homomorphism for the refined Bloch group of a
field with valuation which was introduced in [8] and used to calculate the third homology of
S L2 of local and global fields. The small technical improvement here is that we re-prove the
[ F , with the
specialization theorem replacing the original target of this map, the module RP(k)
g F (Theorem 5.2). (The improvement is not hugely significant: there is a
larger module RP(k)
g F → RP(k)F whose kernel is annihilated by 3.)
surjective map RP(k)
In section 6 we use the specialization homomorphism to compare the refined Bloch group
of a field with discrete valuation and finitely many square classes with the refined scissors
congruence group of the residue field. In this section, we also compare the refined scissors
congruence group of a local ring to that of its residue field. We apply these results and Theorem
3.22 to calculate the third homology of S L2 of some higher-dimensional local fields, greatly
generalizing the main result of [8]. The restriction to fields with finitely many square classes
here is primarily an artefact of our method of proof: All of the objects of study are modules
over the group of square classes of the field or local ring, and we compare related modules by
comparing the associated eigenspaces for the characters of the group of square classes.
In section 7 we use the results of the previous section to prove the localization theorem (Theorem 7.2). Although we would expect the theorem to be much more widely valid, our methods
of proof restrict us to a very small class of discrete valuation rings; those whose residue field
either has at most two square classes or has finitely many square classes and a discrete valuation
satisfying a number of conditions.
Finally, in section 8 we detail a range of particular cases of the results of sections 6 and 7.
2. Scissors congruence groups and Bloch Groups
2.1. Preliminaries and Notation. For a commutative ring A, we let U A denote the group of
units of A and we let GA denote the multiplicative group, U A /U A2 , of square classes of U A . For
x ∈ U A , we will let hxi ∈ GA denote the corresponding square class. Let RA denote the integral
group ring Z[GA ] of the group GA . We will use the notation hhxii for the basis elements, hxi − 1,
of the augmentation ideal IA of RA .
For any a ∈ U A , we will let pa+ and pa− denote respectively the elements 1 + hai and 1 − hai in
RA .
4
KEVIN HUTCHINSON
h i
1
2
h i
1
2
. For an integer n, we will let n0
h i
denote the odd part of n. Thus if G is a finite abelian group of order n, then G 21 is a finite
abelian group of order n0 .
We let ea+ and ea− denote respectively the mutually orthogonal idempotents
h i
pa
pa
1 + hai
1 − hai
, ea− := − =
∈ RA 12 .
ea+ := + =
2
2
2
2
(Of course, these operators depend only on the class of a in GA .)
For an abelian group G and n ∈ N, G[n] will denote the subgroup {g ∈ G | ng = 0}.
For any abelian group G we will let G
denote G ⊗ Z
2.2. Indecomposable K3 . Let A be a either a local ring or a field. Let K• (A) denote the
Quillen K-theory of A and let K•M (A) be the Milnor K-theory. There is a natural homomorphism of graded rings K•M (A) → K• (A). Indecomposable K3 of A is the group K3ind (A) :=
Coker(K3M (→)K3 (A)). We will require the following theorem from K-theory:
Theorem 2.1. Let A be discrete valuation ring with field of fractions K and residue field F.
Suppose that either char(K) = char(F) or that F is finite. Then the inclusion A → K induces an
isomorphism K3ind (A) K3ind (K).
Proof. Let F be the residue field of A and let π be a uniformizer. There is a commutative
diagram with exact columns
0
0
/
0
K3M (K)
/
K3 (A)
K3ind (A)
/
K3M (A)
/
K3 (K)
δπ
δπ
/
/
K2M (F)
/
0
=
K2 (F)
/
0
K3ind (K)
0
The exactness of the top row is well-known (see [26, Corollary 6.6.2] for example). The second
row is exact by Gersten’s conjecture, which is known for the case of equicharacteristic discrete valuation rings or discrete valuation rings with finite residue fields (see, for example, [26,
Corollary 6.7.2, Corollary 6.9.2]). The result follows by the snake lemma.
2.3. Scissors congruence groups and Bloch groups. For a commutative ring A, let WA denote the set {u ∈ U A : 1 − u ∈ U A }. The scissors congruence group or pre-Bloch group, P(A), is
the group generated by the elements [x], x ∈ WA , subject to the relations
"
# "
#
y
1 − x−1
1−x
R x,y : [x] − y +
−
+
for all x, y, x/y ∈ WA .
x
1 − y−1
1−y
Given an abelian group G we let S2Z (G) denote the group
G ⊗Z G
< x ⊗ y + y ⊗ x|x, y ∈ G >
H3 of SL2 of local rings
5
and, for x, y ∈ G, we denote by x ◦ y the image of x ⊗ y in S2Z (G).
For a commutative ring A, the map
λ : P(A) → S2Z (U A ),
[x] 7→ (1 − x) ◦ x
is well-defined, and the Bloch group of A, B(A) ⊂ P(A), is defined to be the kernel of λ.
For a field F, the Bloch group is known to be closely related to the indecomposable K3 : There
is a natural exact sequence
0 → TorZ]
(µ , µ ) → K ind (F) → B(F) → 0
1
F
F
3
where TorZ1]
(µF , µF ) is the unique nontrivial extension of TorZ1 (µF , µF ) by Z/2. (See Suslin [23]
for infinite fields and [6] for finite fields.)
2.4. The refined Bloch group and H3 (SL2 (F), Z). For any field F there is a natural surjective
homomorphism
(3)
H3 (SL2 (F), Z) → K3ind (F).
When F is quadratically closed (i.e. when GF = 1) this map is an isomorphism.
However, for any commutative ring A, the group extension
1 → SL2 (A) → GL2 (A) → U A → 1
induces an action – by conjugation – of U A on H• (SL2 (A), Z) which factors through GA .
For a field F, it can be shown that the map (3) induces an isomorphism
h i
h i
H3 (SL2 (F), Z 21 )GF K3ind (F) 12
(see [14]), but – as our calculations, in [8] and below, show – the action of GF on H3 (SL2 (F), Z)
is in general non-trivial.
Thus H3 (SL2 (A), Z) is naturally an RA -module, and for general fields or rings, in order to give
a Bloch-type description of it, we must incorporate the RA -module structure at each stage of the
process.
The refined scissors congruence group or refined pre-Bloch group, RP(A), of a commutative
ring A which has at least 4 elements, is the RA -module with generators [x], x ∈ WA subject to
the relations
"
#
y D
E " 1 − x−1 #
1−x
−1
S x,y : 0 = [x] − y + hxi
− x −1
+ h1 − xi
, for all x, y, y/x ∈ WA
x
1 − y−1
1−y
Of course, from the definition it follows immediately that P(A) = (RP(A))GA = H0 (GA , RP(A)).
Let Λ = (λ1 , λ2 ) be the RA -module homomorphism
RP(A) → I2A ⊕ S2Z (U A )
where λ1 : RP(A) → I2A is the map [x] 7→ hh1 − xii hhxii, and λ2 is the composite
RP(A)
//
P(A)
λ
/
S2Z (U A ).
It can be shown that Λ is well-defined.
The refined Bloch group of the commutative ring A (with at least 4 elements) to be the RA module
RB(A) := Ker(Λ : RP(A) → I2A ⊕ S2Z (U A )).
Remark 2.2. The functor RP1 (A) := Ker(λ1 ) will also play an essential role in what follows.
6
KEVIN HUTCHINSON
We recall some results from [6]: The main result there is
Theorem 2.3. Let F be any field.
(1) If F is infinite, there is a natural complex
0 → TorZ1 (µF , µF ) → H3 (SL2 (F), Z) → RB(F) → 0.
which is exact everywhere except possibly at the middle term. The middle homology is
annihilated by 4.
In particular, for any infinite field there is a natural short exact sequence
h i
h i
h i
0 → TorZ1 (µF , µF ) 12 → H3 (SL2 (F), Z 21 ) → RB(F) 12 → 0.
(2) If F = Fq is finite of characteristic p, there is a natural short exact sequence
h i
0 → TorZ1]
(µF , µF ) → H3 (SL2 (F), Z 1p ) → B(F) → 0.
h i
and furthemore H3 (SL2 (F), Z) = H3 (SL2 (F), Z 1p ) for q > 27.
Now for any field F, let
H3 (SL2 (F), Z)0 := Ker(H3 (SL2 (F), Z) → K3ind (F))
and
RB0 (F) := Ker(RB(F) → B(F))
The following is Lemma 5.2 in [6].
Lemma 2.4. Let F be an infinite field. Then
h i
h i
(1) H3 (SL2 (F), Z 12 )0 = RB0 (F) 12
h i
h i
h i
h i
(2) H3 (SL2 (F), Z 21 )0 = IF H3 (SL2 (F), Z 12 ) and RB0 (F) 12 = IF RB(F) 12 .
(3)
h i
h i
h i
H3 (SL2 (F), Z 21 )0 = Ker(H3 (SL2 (F), Z 12 ) → H3 (SL3 (F), Z 12 ))
h i
h i
= Ker(H3 (SL2 (F), Z 12 ) → H3 (GL2 (F), Z 12 ))
Lemma 2.5. Ifh the
i field F is quadratically closed, real-closed or finite then IF RB(F) = 0, and
1
hence RB0 (F) 2 = 0 also.
Proof. Since H3 (SL2 (F), Z) maps onto RB(F) as an RF -module, this follows from the fact that
GF acts trivially on H3 (SL2 (F), Z) in each of these cases.
For a quadratically closed field this is vacuously true.
This result is proved by Parry and Sah in [19] for the field R, but their argument extends easily
to any real-closed field.
For finite fields, the relevant result is Lemma 3.8 of [6].
Furthermore, the calculations in [6], sections 5 and 7, show that
Lemma 2.6. Let q be a power of a prime. Then
(
Z/(q + 1)/2, q odd
RB(Fq ) = B(Fq ) Z/(q + 1),
q even
h i
h i
and B(Fq ) 21 = P(Fq ) 12 .
H3 of SL2 of local rings
7
3. The third homology of SL2 of local rings
In this section, we generalize Theorem 2.3 to local rings with sufficiently large residue field.
3.1. Homological intrepretation of RP(A). Let A be a commutative ring. A row vector u =
(u1 , u2 ) ∈ A2 is said to be unimodular if Au1 + Au1 = A. Equivalently, u is unimodular if there
exists v ∈ A2 such that
" #
u
∈ GL2 (A).
v
We let U2 = U2 (A) denote the set of 2-dimensional unimodular row vectors of A. U2 is a right
GL2 (A)-set. In particular this induces an action of U A = Z(GL2 (A)) acting as multiplication by
scalars.
Let
(
"
#
)
ui
gen
gen
n
Un = Un (A) := (u1 , . . . , un ) ∈ U2 :
∈ GL2 (A) for all i , j .
uj
U An acts entry-wise on Ungen and we let Xn = Xn (A) = Ungen /U An . Observe that Ungen and Xn are
right GL2 (A)-sets (with the natural diagonal action).
In particular, X1 = U2 /U A and Xn ⊂ X1n . If u = (u1 , u2 ) ∈ U2 we will denote the corresponding
class in X1 by ū or [u1 , u2 ].
We have two natural injective maps from A to X1 :
ι+ : A → X1 , a 7→ a+ := [a, 1] and ι− : A → X1 , a 7→ a− := [1, a]
Clearly, a+ = b− in X1 if and only if a, b ∈ U A and b
in X1 under the map ι+ .
If (u, v) ∈ U2gen , we set
"
u
d(u, v) := det
v
and
" #−1 "
u
0
·
T u,v :=
v
d(u, v)
= a−1 . We will identify U A with its image
#!
∈ UA
−1
0
#
∈ SL2 (A).
Thus, for (u, v) ∈ U2gen with d = d(u, v) we have
u · T u,v = (0, −1) and v · T u,v = (d, 0) in U2
and hence
ū · T u,v = 0+ , v̄ · T u,v = 0− in X1 .
Let φ : U3gen → X1 be the map defined by
φ(u, v, w) := w̄ · T u,v ∈ X1 .
Lemma 3.1. Let A be a commutative ring and let (u, v, w) ∈ U3gen . Then
!
d(u, w) · d(u, v)
∈ U A ⊂ X1 .
φ(u, v, w) =
d(v, w)
+
Proof. A straightforward direct calculation gives
w · T u,v
!
d(v, w)
= d(u, w),
∈ U2 .
d(u, v)
8
KEVIN HUTCHINSON
Corollary 3.2. Let A be a commutative ring and let (u, v, w) ∈ U3gen .
(1) For all a, b, c ∈ U A we have
φ(u · a, v · b, w · c) = φ(u, v, w) · a2 .
(2) For all X ∈ GL2 (A) we have
φ ((u, v, w) · X) = φ(u, v, w) · det(X).
Now, for n ≥ 1, let
Yn = Yn (A) := {(y1 , . . . , yn ) ∈ U An : yi − y j ∈ U A for all i , j}.
We will consider Yn as a right U A -set via (y1 , . . . , yn ) · a := (y1 a, . . . , yn a).
For n ≥ 3, let Φn : Ungen → U An be the map
Φn (u1 , . . . , un ) := (φ(u1 , u2 , u3 ), . . . , φ(u1 , u2 , ui ), . . . , φ(u1 , u2 , un )) .
Lemma 3.3. For all (u1 , . . . , un ) ∈ Ungen , we have Φn (u1 , . . . , un ) ∈ Yn−2 .
Proof. For 3 ≤ i ≤ n, let yi := φ(u1 , u2 , ui ). Let 3 ≤ i < j ≤ n. Then
"
#
"
#
ui
ui
∈ GL2 (A) =⇒
· T u1 ,u2 ∈ GL2 (A).
uj
uj
But
"
#
"
#"
#
ui
yi 1
a 0
· T u1 ,u2 =
uj
yj 1
0 b
for some a, b ∈ U A . On taking the determinant, it follows that yi − y j ∈ U A .
From Corollary 3.2 we immediately deduce:
Lemma 3.4. Let (u1 , . . . , un ) ∈ Ungen .
(1) For all a1 , . . . , an ∈ U A we have
Φn (u1 · a1 , . . . , un · an ) = Φn (u1 , . . . , un ) · a21 .
(2) For all X ∈ GL2 (A) we have
Φn ((u1 , . . . , un ) · X) = Φn (u1 , . . . , un ) · det(X).
It follows that Φn induces a well-defined map of orbit sets (which we will continue to denote
Φn )
Xn /SL2 (A) → Yn−2 /U A2 .
Furthermore, this is a map of right GA -sets (noting that the matrix X ∈ GL2 (A) acts via the
square class of det(X) on the left).
Proposition 3.5. For all n ≥ 3, Φn induces a bijection of GA -sets
Xn /SL2 (A) ↔ Yn−2 /U A2 .
Proof. Let Ψn : Yn−2 → Ungen be the map
(y3 , . . . , yn ) 7→ ((0, −1), (1, 0), (y3 , 1), . . . , (yn , 1)) .
Then Φn ◦ Ψn = IdYn−2 since T (0,−1),(1,0) is the identity matrix.
Now let Ψ̄n be the induced map from Yn−2 to Xn , given by the formula
(y3 , . . . , yn ) 7→ (0+ , 0− , (y3 )+ , . . . , (yn )+ ) .
H3 of SL2 of local rings
9
For any y ∈ A and a ∈ U A we have
#
"
a 0
= [ya, a−1 ] = [ya2 , 1] = (ya2 )+ in X1 .
[y, 1]
0 a−1
It follows that Ψ̄n induces a well-defined map Yn−2 /U A2 → Xn /SL2 (A) satsifying Φn ◦ Ψ̄n =
IdYn−2 /UA2 .
It remains to show that Ψ̄n : Yn−2 /U A2 → Xn /SL2 (A) is surjective: If (u1 , . . . , un ) ∈ Ungen then in
Xn /SL2 (A) we have
(ū1 , . . . , ūn ) = (ū1 , . . . , ūn ) · T u1 ,u2 = (0+ , 0− , (y3 )+ , . . . , (yn )+ ) = Ψ̄n (y3 , . . . , yn )
where yi = φ(u1 , u2 , ui ) for i ≥ 3.
Taking the quotient set for the action of GA on both sides, we deduce:
Corollary 3.6. For n ≥ 3, Φn induces a natural bijection
Xn /GL2 (A) ↔ Yn−2 /U A .
For n ≥ 1, we let
Zn = Zn (A) := {(z1 , . . . , zn ) ∈ WAn : zi /z j ∈ WA for all i , j}
and we let Z0 = Z0 (A) := {1}.
We observe that for n ≥ 1 there is a natural bijection of U A -sets
!!
y2
yn
Yn ↔ U A × Zn−1 , (y1 , . . . , yn ) ↔ y1 ,
,...,
y1
y1
(where U A acts on the first factor of the right-hand side). Thus, taking quotient sets for the
action of U A2 and U A , we obtain:
Corollary 3.7. For all n ≥ 3 we have natural bijections
Xn /SL2 (A) ↔ GA × Zn−3
Xn /GL2 (A) ↔ Zn−3
Remark 3.8. Retracing our steps above, an explicit formula for the first bijection is
!!
φ(u1 , u2 , u4 )
φ(u1 , u2 , un )
(ū1 , . . . , ūn ) 7→ hφ(u1 , u2 , u3 )i ,
,...,
φ(u1 , u2 , u3 )
φ(u1 , u2 , u3 )
*
+
!!
d(u1 , u3 )d(u1 , u2 )
d(u1 , u4 )d(u2 , u3 )
d(u1 , un )d(u2 , u3 )
=
,
,...,
d(u2 , u3 )
d(u2 , u4 )d(u1 , u3 )
d(u2 , un )d(u1 , u3 )
and hence the formula for the second is
!
d(u1 , u4 )d(u2 , u3 )
d(u1 , un )d(u2 , u3 )
(ū1 , . . . , ūn ) 7→
,...,
.
d(u2 , u4 )d(u1 , u3 )
d(u2 , un )d(u1 , u3 )
Remark 3.9. If A = F is a field, then clearly X1 = (F 2 \ {0})/F × = P1 (F) and more generally Xn
is naturally the set of n-tuples of distinct points of P1 (F). On the other hand, WF = F × \ {1} =
P1 (F) \ {∞, 0, 1} and Zn consists of n-tuples of distinct points of F × \ {1}.
The point x ∈ F is identified with the point of P1 (F) represented by (x, 1). Since d((x, 1), (y, 1)) =
x − y, the bijection Xn /GL2 (F) ↔ Zn−3 is thus given by the formula
(x1 , . . . , xn ) 7→ ({x1 : x2 : x3 : x4 }, . . . , {x1 : x2 : x3 : xn })
10
KEVIN HUTCHINSON
where
{x1 : x2 : x3 : x4 } =
(x1 − x4 )(x2 − x3 )
(x1 − x2 )(x3 − x4 )
is the classic cross ratio.
Corollary 3.10. For all n ≥ 3 there are natural isomorphisms of RA -modules
Z[Xn ]SL2 (A) RA [Zn−3 ]
and natural isomorphisms of Z-modules
Z[Xn ]GL2 (A) Z[Zn−3 ].
Proof. If G is a group and if X is a right G-set, then for any ring R there is a natural isomorphism
R[X]G R[X/G], x̄ 7→ x̄.
Thus, for n ≥ 3,
Z[Xn ]SL2 (A) Z[Xn /SL2 (A)] Z[GA × Zn−3 ] Z[GA ][Zn−3 ] = RA [Zn−3 ].
For n ≥ 1, let δn : Z[Xn+1 ] → Z[Xn ] be the simplicial boundary map
(ū1 , . . . , ūn+1 ) 7→
n+1
X
b̄i , . . . , ūn+1 )
(−1)i+1 (ū1 , . . . , u
i=1
and let A(A) := Coker(δ4 ). Note that (Z[Xn ], δn ) is a complex of GL2 (A)-modules and that A(A)
is thus also a GL2 (A)-module.
Proposition 3.11. For any commutative ring A, RP(A) A(A)SL2 (A) as RA -modules, and
P(A) A(A)GL2 (A) as Z-modules.
Proof. By right exactness of coinvariants, A(A)SL2 (A) is naturally identified with the cokernel of
the map δ̄4 : Z[X5 ]SL2 (A) → Z[X4 ]SL2 (A) of RA -modules induced by δ4 . Now
Z[X5 ]SL2 (A) RA [Z2 ] and Z[X4 ]SL2 (A) RA [Z1 ],
and, under these identifications, the map δ̄4 is described as follows: (z1 , z2 ) ∈ RA [Z2 ] corresponds to (1, z1 , z2 ) ∈ Y3 /U A2 and this in turn corresponds to the element (0+ , 0− , 1+ , (z1 )+ , (z2 )+ ) ∈
Z[X5 ]SL2 (A) . The image of this under δ̄4 is
(0− , 1+ , (z1 )+ , (z2 )+ )−(0+ , 1+ , (z1 )+ , (z2 )+ )+(0+ , 0− , (z1 )+ , (z2 )+ )−(0+ , 0− , 1+ , (z2 )+ )+(0+ , 0− , 1+ , (z1 )+ , (z2 )+ )
in Z[X4 ]SL2 (A) . Recalling that (ū1 , . . . , ū4 ) ∈ Z[X4 ]SL2 (A) corresponds to
*
+
!
d(u1 , u3 )d(u1 , u2 ) d(u1 , u4 )d(u2 , u3 )
∈ RA [Z1 ]
d(u2 , u3 )
d(u2 , u4 )d(u1 , u3 )
and observing that d(a+ , b+ ) = a − b and d(0− , a+ ) = 1 for all a , b ∈ A, we see that
! D
!
!
E 1 − z−1
1 − z1
z2
1
−1
δ̄4 (z1 , z2 ) = h1 − z1 i
− z1 − 1
+ hz1 i
− (z2 ) + (z1 ) ∈ RA [Z1 ].
1 − z2
z1
1 − z−1
2
Thus the map RA [Z1 ] → RP(A), (z) 7→ [z] induces an isomorphism
Coker(δ̄4 ) RP(A).
H3 of SL2 of local rings
11
Remark 3.12. We will call the (composite) map
d(u1 , u3 )d(u1 , u2 )
Z[X4 ] → RA [Z1 ] → RP(A), (ū1 , . . . , ū4 ) 7→
d(u2 , u3 )
*
+
d(u1 , u4 )d(u2 , u3 )
d(u2 , u4 )d(u1 , u3 )
!
the refined cross ratio map, and will denote it by cr. In the special case where ui = ι+ (xi ) for
xi ∈ A, it takes the form
*
#
+"
(x1 − x3 )(x1 − x2 ) (x1 − x4 )(x2 − x3 )
(x1 , x2 , x3 , x4 ) 7→
.
x2 − x3
(x1 − x2 )(x3 − x4 )
3.2. The isomorphism Hn (T, Z) Hn (B, Z). In order to prove Proposition 3.19 below, we
follow the strategy of Suslin’s proof of Theorem 1.8 in [21].
Lemma 3.13. ([21, LemmaQ1.1] ) Suppose that φ1 , . . . , φm : k → F are field embeddings such
that for any x ∈ k× we have mi=1 φi (x) = 1. Then k is a finite field of order p f with m ≥ (p−1)· f .
Remark 3.14. This simple but useful result can be extended in many directions. For example:
(See [11, Lemma 2.2.4]) Let A be a ring with many units. Let B be anyQ
ring. For any m ≥ 1,
there do not exist ring homomorphisms φ1 , . . . , φm : A → B satisfying mi=1 φi (x) = 1 for all
x ∈ UA.
Local rings with infinite residue fields are rings with many units, but we will want to include
the case of local rings with finite residue field below.
Corollary
Suppose that φ1 , . . . , φm : k → F are field embeddings such that for any x ∈ k×
Q3.15.
m
we have i=1 φi (xr ) = 1. Then k is a finite field of order p f and mr = (p − 1) · t for some t ≥ f .
Q
Q
Q
Proof. We have 1 = mi=1 φi (xr ) = mi=1 φi (x)r := mr
i=1 ψi (x), and thus k is finite of characteristic
p > 0 and mr ≥ (p − 1) f by Lemma 3.13.
Q
On the other hand, if a ∈ F p ⊂ k is a primitive root modulo p, then 1 = i φi (ar ) = amr and
thus p − 1|mr.
Corollary 3.16. Let A be a local ring with maximal ideal M and residue field k. Suppose
that
from A to the field F satisfying
Qm r ≥ r 1 and φ1 , . . . , φm : A → F are homomorphisms
f
i=1 φi (u ) = 1 for all u ∈ U A . Then k is a finite field with p elements and mr = (p − 1)t where
t ≥ f . In particular, (p − 1) f ≤ mr.
Proof. F must have positive characteristic, for otherwise we can choose 1 < n ∈ U A ∩ Z, and
the hypothesis gives nmr = 1 in F.
Let char(F) = p > 0. Replacing A by A/pA if necessary, we can assume that A is an F p algebra. We complete the proof by showing that M ⊂ Ker(φi ) for all i (and hence that the φi
factor through k):
Let x ∈ M. For i = 1, . . . , m, let xi = φi (x) ∈ F. If f (T ) ∈ F p [T ] satisfies f (0) , 0, then
f (x) ∈ U A . In this case we have
m
m
Y
Y
r
1=
φi ( f (x)) =
f (xi )r .
i=1
i=1
Thus, let I be the ideal of F p [T 1 , . . . , T m ] generated by the set
 m

Y

r
{
f (T i )  − 1 | f (T ) ∈ F p [T ] with f (0) , 0}.
i=1
Let V be the corresponding variety. Then (x1 , . . . , xm ) ∈ V(F).
12
KEVIN HUTCHINSON
We observe that (0, . . . , 0) ∈ V if and only if p − 1|mr.
On the other hand, suppose that (a1 , . . . , am ) ∈ F̄mp is algebraic and that Q
a j , 0 for some j. Then
there exists f (T ) ∈ F p [T ] with f (0) , 0 and f (a j ) = 0. It follows that i f (ai )r = 0 and hence
(a1 , . . . , am ) < V(F̄ p ). Thus
(
{0}, p − 1|mr
V(F̄ p ) =
∅,
otherwise.
It follows from the Nullstellensatz that the ideal, J, of V in F̄ p [T 1 , . . . , T m ] is given by
(
p − 1|mr
hT 1 , . . . , T m i ,
J=
F̄ p [T 1 , . . . , T m ], otherwise.
and hence, for any field K we have
(
V(K) =
{0}, p − 1|mr
∅,
otherwise.
Since (x1 , . . . , xm ) ∈ V(F), it follows that p − 1|mr and xi = φi (x) = 0 for all i.
For r ≥ 1, we denote by A(r) the Z[U A ]-module obtained by making u ∈ U A act on A as
multiplication by ur .
Lemma 3.17. Let m, r ≥ 1. Let n1 , . . . , nk satisfy n1 + · · · nk = m and ni ≥ 1. Let A be a local
ring with residue field k. If k is finite of order p f we suppose that mr < (p − 1) f .
Let T n (A(r)) denote either ∧nZ (A(r)) or SymnZ (A(r)), considered as U A modules with the diagonal action.
Then
Hi (U A , T n1 (A(r)) ⊗ · · · ⊗ T nk (A(r))) = 0
for all i ≥ 0.
Proof. This follows from Corollary 3.16 by the same argument verbatim as that by which Suslin
proves Corollary 1.6 from Lemma 1.1 in [21].
Lemma 3.18. Let m, r ≥ 1. Let A be a local integral domain with residue field k. If k is finite of
order p f we suppose that mr < (p − 1) f .
For all i ≥ 0 we have
Hi (U A , Hm (A(r), Z)) = 0.
Proof. If char(A) = 0, then Hm (A(r), Z) = ∧mZ (A(r)) and the statement follows at once from
Lemma 4.6.
Otherwise A is an F p -algebra for some p > 0. Then Hm (A(r), F p ) is a direct sum of modules of the form ∧Zs (A(r)) ⊗ SymtZ (A(r)) with s + t ≤ m. It follows from Lemma 4.6 that
Hi (U A , Hm (A(r), F p )) = 0.
On the other hand, the short exact sequence
0
/
p
Z
/
Z
/
Z/pZ = F p
/
0
induces a long exact homology sequence for H• (A(r), ), which decomposes into short exact
sequences
0 → Hk (A(r), Z) → Hk (A(r), F p ) → Hk−1 (A(r), Z) → 0 (k ≥ 2)
and an isomorphism
H1 (A(r), Z) A(r) H1 (A(r), F p ).
H3 of SL2 of local rings
13
The vanishing of Hi (U A , Hm (A(r), Z)) for all i ≥ 0 then follows from a straightforward induction
on m.
We let T = T (A) denote the subgroup of SL2 (A) consisting of diagonal matrices:
#
)
("
u 0
| u ∈ UA .
T (A) :=
0 u−1
Thus T (A) U A . We let B = B(A) denote the subgroup consisting of lower triangular matrices:
#
)
("
u a
| u ∈ UA, a ∈ A .
B(A) :=
0 u−1
Thus there is natural (split) group extension
(4)
1→V →B→T →1
where
("
V = T (A) :=
1 a
0 1
#
)
| a ∈ A A.
Here T U A acts on V A by conjugation. With the given identifications, u ∈ U A acts on
a ∈ A as multiplication by u2 . Thus V A(2) as a Z[U A ]-module.
Proposition 3.19. Let n ≥ 1. Let A be a local integral domain with residue field k. If k is finite
of order p f we suppose that (p − 1) f > 2n.
The natural maps B → T and T → B induce isomorphisms on homology
Hn (T, Z) Hn (B, Z)
Proof. The Hochschild-Serre spectral sequence associated to the extension (4) takes the form
Ei,2 j = Hi (T, H j (V, Z)) = Hi (U A , H j (A(2), Z)) ⇒ Hi+ j (B, Z).
2
By Lemma 3.18, it follows that Ei,2 j = 0 if 0 < j ≤ n, and Ei,0
= Hi (T, Z) for all i.
Hence Hn (B, Z) = Hn (T, Z).
Remark 3.20. In particular, Hn (T, Z) Hn (B, Z) for all n ≤ 3 provided
|k| < {2, 3, 4, 5, 7, 8, 9, 16, 27, 32, 64}.
3.3. The complex L• . For a commutative ring A, we let Ln = Ln (A) := Z[Xn+1 ]. Equipped with
the boundary δn : Ln → Ln−1 this yields a complex, L• , of right GL2 (A)-modules. Restricting
the group action, this is also a complex of SL2 (A)-modules.
We now restrict attention to the case where A is a commutative local ring with residue field
k. We let π : A → k denote the canonical surjective quotient map. So U A = π−1 (k× ). More
generally, if X ∈ Mn (A) is an n × n matrix with coefficients in A, we let π(X) ∈ Mn (k) denote
the matrix obtained by applying π to each entry of X. Since A is a local ring X ∈ GLn (A) if and
only if π(X) ∈ GLn (k).
Similarly, u = (u1 , u2 ) ∈ U2 (A) if and only if π(u) ∈ U2 (k) = k2 \ {0} and ū ∈ X1 (A) if and only
if π(u) ∈ X1 (k) = P1 (k). Furthermore,
(u1 , . . . , un ) ∈ Ungen (A) ⇐⇒ (π(u1 ), . . . , π(un )) ∈ Ungen (k)
and hence
(ū1 , . . . , ūn ) ∈ Xn (A) ⇐⇒ (π(u1 ), . . . , π(un )) ∈ Xn (k).
Lemma 3.21. Hn (L• ) = 0 for 1 ≤ n < |k|.
14
KEVIN HUTCHINSON
Proof. When A = k is a field, the argument is given in [6], Lemma 4.4. This argument is easily
adapted to the current situation as follows:
For any subset S of P1 (k), let Dn (S ) denote the subgroup of Ln (A) generated by those (n + 1)tuples (ū1 , . . . , ūn+1 ) ∈ Xn+1 (A) which satisfy S ⊂ {π(u1 ), . . . , π(un+1 )}. Thus Dn (S ) = 0 if
|S | > n + 1. Furthermore, Dn (S 1 ∪ S 2 ) = Dn (S 1 ) ∩ Dn (S 2 ) for any S 1 , S 2 ⊂ P1 (k).
Now for each x ∈ P1 (k), choose u x ∈ U2 (A) satisfying π(u x ) = x and for n ≥ 0 define a
homomorphism S x : Ln → Ln+1 by
(
(ū x , ū1 , . . . , ūn+1 ), x < {π(u1 ), . . . , π(un+1 )}
S x (ū1 , . . . , ūn+1 ) =
0,
otherwise
Thus if (ū1 , . . . , ūn+1 ) ∈ Xn+1 (A) and if x < {π(u1 ), . . . , π(un+1 )} then
δS x (ū1 , . . . , ūn+1 ) = (ū1 , . . . , ūn+1 ) − S x δ(ū1 , . . . , ūn+1 ).
On the other hand, if x = π(u j ) for some j then
S x δ(ū1 , . . . , ūn+1 ) = (−1) j+1 (ū x , ū1 , . . . , ub̄j , . . . , ūn+1 ).
and hence
0 = δS x (ū1 , . . . , ūn+1 )
n
o
= (ū1 , . . . , ūn+1 ) − S x δ(ū1 , . . . , ūn+1 ) − S x δ(ū1 , . . . , ūn+1 ) − (−1) j (ū x , ū1 , . . . , uēj , . . . , ūn+1 ) .
In either case we have
δS x (ū1 , . . . , ūn+1 ) = (ū1 , . . . , ūn+1 ) − S x δ(ū1 , . . . , ūn+1 ) + w
where w ∈ Dn ({x}). Furthemore, if (ū1 , . . . , ūn+1 ) ∈ Dn (S ) for some subset S of P1 (k) then
w ∈ Dn (S ∪ {x}).
Suppose now that 1 ≤ n < |k| and that x1 , . . . , xn+2 are n + 2 distinct points of P1 (k). Let
z ∈ Ln (A) be a cycle. Then
(δS x1 − Id)z = S x1 δ(z) + z1 = z1
where z1 ∈ Dn ({x1 }) and z1 is again a cycle.
Thus (δS x2 − Id)z1 = z2 where z2 is a cycle belonging to Dn ({x1 , x2 }). Repeating the process we
get
(δS xn+2 − Id)(δS xn+1 − Id) · · · (δS x1 − Id)z ∈ Dn ({x1 , . . . , xn+2 }) = 0.
This equation has the form δ(y) + (−1)n+2 z = 0 and hence z = δ((−1)n+1 y) is a boundary as
required.
h i
3.4. H3 (SL2 (A), Z 12 ).
Theorem 3.22. Let A be a local integral domain with
field k satisfying |k| < {2, 3, 4, 5, 7, 8, 9, 16, 27, 32, 64}.
h residue
i
1
Then there is a natural short exact sequence of RA 2 -modules
h i
h i
h i
0 → tor(µA , µA ) 12 → H3 (SL2 (A), Z 12 ) → RB(A) 12 → 0.
Proof. In the case where A is a field, the proof can be found in [6, section 4]. We indicate here
the adaptions needed to extend that proof to the current context:
Associated to the complex L• = L• (A) there is hyperhomology spectral sequence of the form
h i
h i
E 1p,q = H p (SL2 (A), Lq 12 ) ⇒ H p+q (SL2 (A), L• 12 )
H3 of SL2 of local rings
15
and furthermore the augmentation L0 → Z induces an isomorphism
h i
h i
Hn (SL2 (A), L• 12 ) Hn (SL2 (A), Z 12 )
for n ≤ 3 by Remark 3.20.
The SL2 (A)-modules Ln are permutation modules, so the E 1 -terms are calculated using Shapiro’s
Lemma:
SL2 (A) acts transitively on X1 and the stabilizer of 0+ ∈ X1 is B = BA . Thus
2 (A)]
L0 = Z[X1 ] Z[B\SL2 (A)] IndZ[SL
Z
Z[B]
and hence
E 1p,0 = H p (SL2 (A), L0
h i
h i
1
1
)
H
(B,
Z
).
p
2
2
Similarly, SL2 (A) acts transitively on X2 and the stabilizer of (0+ , 0− ) is T = T A , so that
h i
h i
E 1p,1 = H p (SL2 (A), L1 12 ) H p (T, Z 12 ).
For n ≥ 3, the stabilizer in SL2 (A) of (ū1 , . . . , ūn ) ∈ Xn is Z(SL2 (A)) µ2 (A). By Corollary
3.10 it follows that for q ≥ 2 we have
h i
(
h i
RA 12 [Zq−2 ], p = 0
1
1
E p,q = RA 2 [Zq−2 ] ⊗ H p (µ2 (A), Z) =
0,
p>0
where Zn = Zn (A) as above.
Thus our E 1 -page has the form
..
.
RA
h i
1
2
[Z2 ]
..
.
..
.
..
.
0
..
.
..
.
...
0
0
0
...
0
0
0
...
d1
RA
h
1
2
i
[Z1 ]
d1
RA
h
h
Z
h
Z
1
2
i
d1
1
2
i
d1
1
2
i
H1 (T, Z
h i
1
2
)
H2 (T, Z
d1
H1 (T, Z
h i
1
2
)
Now T U A . Thus E 1p,q H p (U A , Z
Now let
1
2
1
2
)
H3 (T, Z
d1
H2 (T, Z
h i
h i
h i
1
2
)
h i
1
2
)
...
h i
)
...
d1
H3 (T, Z
) for p ≤ 3 and q ∈ {0, 1}.
"
#
0 −1
w :=
∈ SL2 (A).
1 0
Then w(0+ ) = 0− and w(0− ) = 0+ . It follows easily that the differential
h i
h i
d1 : E 1p,1 = H p (T, Z 12 ) → H p (T, Z 21 ) = E 1p,0
1
2
16
KEVIN HUTCHINSON
is the map
H p (T, Z
h i
1
2
)
w p −1
/
H p (T, Z
h i
1
2
)
h i
h i
1
1
)
→
H
(T,
Z
) is the map induced by conjugation by w. However,
p
2
2
h i
h i
1
1
conjugating by w is just the inversion map on U A T . Thus d1 : Z 21 = E0,1
→ E0,0
= Z 21
h i
h i
1
1
→ E1,0
= U A 12 is the map u 7→ u−2 and hence is an
is the zero map. d1 : U A 12 = E1,1
h i
h i
1
1
isomorphism. d1 : ∧2Z (U A 21 ) = E2,1
→ E2,0
= ∧2Z (U A 21 ) is the zero map.
h i
h i
h i
1
1
1
1
→ E3,0
Finally, E3,1
= E3,0
= H3 (U A , Z 12 ) ∧3Z (U A 21 ) ⊕ tor(µA , µA ) 12 . The map d1 : E3,1
is an isomorphism of the first factor and the zero map on the second factor.
The differential
h i
h i
1
1
d1 : RA 12 H0 (SL2 (A), L2 ) = E0,2
→ E0,1
= H0 (SL2 (A), L1 ) Z 21
where w p : H p (T, Z
is the natural augmentation sending hui to 1 for any u ∈ U A .
As in the proof of [6, Theorem 4.3], the differential
h i
h i
1
1
d1 : RA 12 [Z1 ] H0 (SL2 (A), L3 ) = E0,3
→ E0,2
= H0 (SL2 (A), L2 ) RA 12
is the RA -homomorphism sending (z) to hhzii hh1 − zii ∈ I2A for any z ∈ WA .
By the proof of Proposition 3.11 above, the differential
h i
h i
1
1
→ E0,3
= H0 (SL2 (A), L3 ) RA 12 [Z1 ]
d1 : RA 21 [Z2 ] H0 (SL2 (A), L4 ) = E0,4
is the map
! D
!
!
E 1 − z−1
1 − z1
z2
1
−1
(z1 , z2 ) 7→ h1 − z1 i
− z1 − 1
+ hz1 i
− (z2 ) + (z1 )
1 − z2
z
1 − z−1
1
2
Thus the E 2 -page of our spectral sequence has the form
0
0
..
.
0
0
..
.
0
0
∧2Z (U A
h i
1
)
2
h i
0
∧2Z (U A
h i
1
)
2
RP1 (A)
IA
h i
1
2
Z
h i
/JA
1
2
1
2
h i
1
2
..
.
tor(µA , µA )
h i
1
2
where JA ⊂ RA is the ideal generated by the Steinberg elements hhuii hh1 − uii.
H3 of SL2 of local rings
17
Clearly there are no nonzero d2 -differentials. So the E 3 -page has the form
3
E0,4
RP1 (A)
h i
1
2
0
0
..
.
0
0
..
.
0
..
.
d3
IA
h i
1
2
/JA
h i
1
2
0
d3
0
..
.
h i
1
)
2
0
∧2Z (U A
0
∧2Z (U A 12
h i
Z
1
2
h i
)
tor(µA , µA )
h i
1
2
The argument nowh concludes
exactly as in [6, section 4]: The cokernel of the differential
i
1
3
3
2
4
∞
d : E0,4 → ∧Z (U A 2 ) is annihilated by 2 and hence E2,1
= E2,1
= 0. There is a commutative
diagram
h i d3
h i
/ ∧2 (U A 1 )
RP1 (A) 12
Z
2
λ2
P(A)
h i
1
2
λ
4
∞
It follows that E0,3
= E0,3
= Ker(λ2 : RP1 (A)
the proof of the theorem.
/
&
S2Z (U A
h i
1
2
h i
1
)
2
→ S2Z (U A )
h i
h i
1
1
)
=
RB(A)
. This completes
2
2
3.5. Local integral domains with infinite residue field. We will require the following two
results of B. Mirzaii:
Proposition 3.23. ([15, Corollary 5.4],[16, Theorem 3.7]) Let R be a ring with many units.
(1) If R is an integral domain, there is a natural short exact sequence
h i
h i
h i
0 → tor(µR , µR ) 12 → H3 (SL2 (R), Z 12 )GR → B(R) 12 → 0.
(2) There is a natural isomorphism
h i
h i
h i
H3 (SL2 (R), Z 12 ) = H3 (SL2 (R), Z 12 )GR K3ind (R) 21 .
UA
Remark 3.24. A local ring with infinite residue field is an example of a ring with many units.
We note the following immediate corollary to Mirzaii’s results:
Corollary 3.25. Let A be a discrete valuation ring with field of fractions K
h iand infiniteh residue
i
field F. Suppose that char(F) = char(K). Then the functorial map B(A) 12 → B(K) 12 is an
isomorphism.
18
KEVIN HUTCHINSON
Proof. By Theorem 2.1 the natural map K3ind (A) → K3ind (K) is an isomorphism. Thus there is a
commutative diagram with exact rows
h i
h i
h i
/ tor(µA , µA ) 1
/ H3 (SL2 (A), Z 1 )G
/ B(A) 1
/0
0
A
2
2
2
/
0
tor(µK , µK )
/
h i
1
2
/
h i
K3ind (K) 12
B(K)
h i
1
2
/
0
from which the result immediately follows.
Combining Mirzaii’s results with Theorem 3.22 gives:
Corollary 3.26. Let A be a local integral domain with infinite residue field. Then there is a
natural short exact sequence
h i
h i
h i
0 → RB0 (A) 21 → H3 (SL2 (R), Z 12 ) → K3ind (A) 12 → 0
and
RB0 (A)
h i
1
2
IA RB(A)
h i
1
2
IA H3 (SL2 (R), Z
h i
1
).
2
Proof. Combining Theorem 3.22 with the statements in Proposition 3.23 we obtain a commutative diagram with exact rows and columns
0
0
IA H3 (SL2 (A), Z
0
0
/
/
tor(µA , µA )
h i
1
2
/
tor(µA , µA )
1
2
1
2
)
h i
H3 (SL2 (A), Z 12 )
=
h i
h i
/
h i
K3ind (A) 21
0
from which the statements of this corollary immediately follow.
/
/
RB0 (A)
h i
1
2
RB(A)
/
1
2
B(A)
/
h i
h i
1
2
/
0
0
0
Corollary 3.27. Let A be a local integral domain with infinite residue field. Suppose that
U A = U A2 . Then
h i
h i
h i
RB0 (A) 21 = 0 and RB(A) 12 B(A) 21 .
4. Submodules of RP(A)
In this section, A will denote a commutative local ring, with maximal ideal M and residue field
k = A/M. Furthermore, we will suppose that k has at least four elements.
In this case, we have U A = A \ M and WA = U A \ U1 , where U1 = U1,A = 1 + M. In particular,
if x ∈ U A , then x ∈ WA ⇐⇒ x−1 ∈ WA .
H3 of SL2 of local rings
19
4.1. The modules KA(i) . As in [8], we define two families of elements of RP(A).
Given x ∈ WA we define
h i
ψ1 (x) := [x] + h−1i x−1
and
h i D
E
h i
ψ2 (x) := h1 − xi hxi [x] + x−1 = x−1 − 1 [x] + h1 − xi x−1 .
Observe, from the definitions, that ψi x−1 = h−1i ψi (x) for all x ∈ WA .
Lemma 4.1. For i = 1, 2 we have
(1) ψi (xy) = hxi
ψi (y) + ψi (x) whenever x, y, xy ∈ WA .
−1
(2) hxi ψi x + ψi (x) = 0 for all x ∈ WA .
Proof.
(1) The proof of Lemma 3.1 in [8] adapts without alteration.
(2) Let x ∈ WA . Choose y ∈ WA such that xy ∈ WA also. (Note that this is possible
because of the hypothesis that |k| ≥ 4.)
Then by part (1) we have
ψi (xy) = hyi ψi (x) + ψi (y) =⇒ hyi ψi (x) = ψi (xy) − ψi (y)
and
ψi (y) = ψi xy · x−1 = hxyi ψi x−1 + ψi (xy) =⇒ hxyi ψi x−1 = ψi (y) − ψi (xy) .
Form these we deduce that
hyi ψi (x) = − hxyi ψi x−1 .
Multiplying both sides of this equation by hyi gives the result.
Lemma 4.2. Let u ∈ U1 . For any w1 , w2 ∈ WA , we have
ψi (w1 u) − hui ψi (w1 ) = ψi (w2 u) − hui ψi (w2 )
for i = 1, 2.
Proof. First suppose that w1 . w2 (mod U1 ). Then w1 w−1
2 ∈ WA and hence
ψi (w1 u) = ψi (w−1
2 w1 ) · (w2 u)
= hw2 ui ψi w1 w−1
+ ψi (w2 u)
2
= hui hw2 i ψi w1 w−1
+ ψi (w2 u)
2
= hui (ψi (w2 ) − ψi (w1 )) + ψi (w2 u)
giving the result in this case.
On the other hand, if w1 ≡ w2 (mod U1 ) choose w3 ∈ WA with w3 . w1 (mod U1 ). Then
ψi (w1 u) − hui ψi (w1 ) = ψi (w3 u) − hui ψi (w3 ) ψi (w2 u) − hui ψi (w2 ) .
We now extend the definition of ψi (x) to allow x ∈ U1 . For u ∈ U1 , we define
ψi (u) := ψi (uw) − hui ψi (w)
for any w ∈ WA .
20
KEVIN HUTCHINSON
Proposition 4.3. For i = 1, 2 the maps U A → RP(A), x 7→ ψi (x) define 1-cocycles; i.e. we have
ψi (xy) = hxi ψi (y) + ψi (x)
for all x, y ∈ U A .
Proof. If x, y, xy ∈ WA , this is part (1) of Lemma 4.1.
If x, y ∈ WA , but xy ∈ U1 , then
ψi (xy) = ψi xy · y−1 − hxyi ψi y−1
= ψi (x) − hxi hyi ψi y−1
= ψi (x) + hxi ψi (y)
using Lemma 4.1 (2) in the last step.
If x ∈ U1 and y ∈ WA , the identity is just the definition of ψi (x).
On the other hand, if x ∈ WA and y ∈ U1 , then choose w ∈ WA such that xw ∈ WA . We have
hxi ψi (y) + ψi (x) =
=
=
=
hxi (ψi (wy) − hyi ψi (w)) + ψi (x)
hxi ψi (wy) + ψi (x) − hxyi ψi (w)
ψi (xyw) − hxi ψi (yw)
ψi (xy) .
Finally, suppose that x, y ∈ U1 . Let w ∈ WA . Then
ψi (xy) =
=
=
=
ψi (xyw) − hxyi ψi (w)
hxi ψi (yw) + ψi (x) − hxyi ψi (w)
hxi (ψi (yw) − hyi ψi (w)) + ψi (x)
hxi ψi (y) + ψi (x)
as required.
We recall here, from [8] some of the basic algebraic properties of the ψi (x). (The proofs given
in [8] for the case of fields adapt without change to the case of local rings.)
Proposition 4.4. For i ∈ {1, 2} we have:
(1) hhxii
ψi (y) = hhyii ψi (x)
for
all x, y
(2) ψi xy2 = ψi (x) + ψi y2 for all x, y
(3) hhxii ψi y2 = 0 for all x, y
(4) 2 · ψi (−1)
= 0 for all i
2
(5) ψi x = − hhxii ψi (−1) for all x
(6) 2 · ψi x2 = 0 for all x and if −1 is a square in U A then ψi x2 = 0 for all x.
(7) hhxii hhyii ψi (−1) = 0 for all x, y
(8) h−1i hhxii ψi (y) = hhxii ψi (y) for all x, y
(9) Let
(
1, −1 ∈ U A2
(A) :=
2, −1 < U A2
The map U A /U A2 → RP(A), hxi 7→ (A)ψi (x) is a well-defined 1-cocycle.
Corollary 4.5. For i = 1, 2 and a ∈ U A
ψi (a) − ψi −a−1 = ψi (−1) .
H3 of SL2 of local rings
21
Proof. For a ∈ U A , since h−1i ψi a−1 = ψi (a) we have
ψi −a−1 = ψi −1 · a−1 = h−1i ψi a−1 + ψi (−1) = ψi (a) + ψi (−1) .
Lemma 4.6. For i = 1, 2 and for all x ∈ U A
2
(1) λ1 (ψi (x)) = −p−1
+ hhxii = hh−xii hhxii ∈ IA
2
(2) λ2 (ψi (x)) = (−x) ◦ x ∈ SZ (U A ).
(1) For x ∈ WA , this is a straightforward calculation given in [8, Lemma 3.3]. For
x ∈ U1 it follows from the identity hhxwii − hxi hhwii = hhxii in RA .
(2) Since U A acts trivially on S2Z (U A ), we have for any x ∈ WA
h i
λ2 (ψ1 (x)) = λ2 (ψ2 (x)) = λ2 ([x]) + λ2 ( x−1 )
Proof.
= (1 − x) ◦ x + (1 − x−1 ) ◦ x−1
!
1−x
= (1 − x) ◦ x −
◦x
−x
= (−x) ◦ x.
On the other hand, if x ∈ U1 , the result follows from the identity
(−xw) ◦ (xw) − (−w) ◦ w = (−x) ◦ x
in S2Z (U A ).
Let KA(i) denote the RA -submodule of RP(A) generated by the set {ψi (x) | x ∈ U A }.
Lemma 4.7. Then for i ∈ {1, 2}
2
λ1 KA(i) = p−1
+ (IA ) ⊂ IA
and Ker(λ1 |K (i) ) is annihilated by 4.
A
Proof. The first statement follows from Lemma 4.6
For the second, the proof of Lemma 3.3 in [8] applies without change.
Let
g
RP(A)
:= RP(A)/KA(1)
Then the RA -homomorphism
g
e : RP(A)
Λ
→
I2A ⊕ S2Z (U A )
Λ(KA(1) )
g
e
is well-defined and we set RB(A)
:= Ker(Λ).
g
Corollary 4.8. The natural map RB(A) → RB(A)
is surjective with kernel annihilated by 4. In
particular,
h i
h i
1
g
RB(A) 1 = RB(A)
.
2
2
22
KEVIN HUTCHINSON
Proof. From the definitions,
g
RB(A)
RB(A)
RB(A) ∩ KA(1)
and
RB(A) ∩ KA(1) = Ker(Λ|K (1) ) ⊂ Ker(λ1 |K (1) )
A
A
which is annihilated by 4.
4.2. The constant DA . In [23], Suslin shows that, for an infinite field F, the elements [x] +
[1 − x] ∈ B(F) ⊂ P(F) are independent of x and that the resulting constant, C̃ F , has order
dividing 6. Furthermore Suslin shows that C̃R has exact order 6.
In [8, Lemma 3.5] it is shown that the elements
C(x) = [x] + h−1i [1 − x] + hh1 − xii ψ1 (x) ∈ RB(F)
are constant (for a field with at least 4 elements) and have order dividing 6. In fact the proof
given there extends without alteration to the case of local rings:
Lemma 4.9. Let A be a local ring whose residue field has at least 4 elements. For all a, b ∈ WA
C(a) := [a] + h−1i [1 − a] + hh1 − aii ψ1 (a) ∈ RB(A) and C(a) = C(b).
We denote this constant by C A and we set DA := 2C A . Of course, C A maps to C̃ A under the
natural map RP(A) → P(A). Similarly, we denote the image of DA in P(A) by D̃A . Thus, of
course, D̃A = 2C̃ A in P(A). In fact, these elements lie in B(A) by Lemma 4.9.
Let Φ(X) denote the polynomial X 2 − X + 1 ∈ A[X].
Lemma 4.10. Let A be a local ring whose residue field has at least 4 elements.
(1) 3C A = ψ1 (−1) and 6C A = 0.
(2) If Φ(X) has a root in A then DA = 0 and C A = ψ1 (−1).
Proof.
(1) Let a ∈ WA . Then
3C A =
=
+
+
=
+
=
=
=
!
1
C(a) + C(1 − a ) + C
1−a
**
++
1
[a] + h−1i [1 − a] +
ψ1 (a)
1−a
h
i
h i
1 − a−1 + h−1i a−1 + hhaii ψ1 1 − a−1
"
# DD
#
"
!
EE
1
1
1
−1
+ 1−a
ψ1
+ h−1i
1−a
1 − a−1
1−a
!
1
ψ1 (a) + ψ1 1 − a−1 + ψ1
1−a
**
++
!
DD
EE
1
1
−1
−1
ψ1 (a) + hhaii ψ1 1 − a + 1 − a
ψ1
1−a
1−a
*
+
!
D
E
1
1
−1
−1
ψ1 (a) + hai ψ1 1 − a + 1 − a ψ1
1−a
1−a
!
!
!
1
1
1
ψ1 −1
− ψ1
+ ψ1 (a − 1) − ψ1 (a) + ψ1 − − ψ1 1 − a−1
a −1
1−a
a
3ψ1 (−1) = ψ1 (−1)
−1
H3 of SL2 of local rings
23
since for any b, we have
!
1
ψ1 (b) − ψ1 − = ψ1 (−1)
b
by Corollary 4.5.
(2) Let a ∈ A with Φ(a) = 0. Then 1 − a = a−1 and a ∈ WA . Furthermore, from 0 =
(a + 1)Φ(a) it follows
that a3 = −1 and hence a = −b2 where b = a2 . Thus ψ1 (a) =
ψ1 (−1) + ψ1 b2 and hence 2ψ1 (a) = 0. But
C A = [a] + h−1i [1 − a] − hh1 − aii ψ1 (1 − a)−1 = ψ1 (a) − hhaii ψ1 (a) = − hai ψ1 (a)
and hence 0 = 2C A = DA . Thus also C A = 3C A = ψ1 (−1).
From [8] we also have the following identification of the element DA :
Lemma 4.11. For any a ∈ WA we have
"
#
!
1
1
− ψ1
.
DA = [a] + h−1i
1 − a−1
1−a
Proposition 4.12. For a field F we have DF = 0 if and only if Φ(X) has a root in F.
Proof. The ‘if’ statement is established by Lemma 4.10 (2).
Now if char(F) = 3 then −1 is a root of X 2 − X + 1 and hence DF = 0.
So we may assume that char(F) , 3. Thus X 2 − X + 1 has a root in F if and only if F contains a
primitive cube root of unity, ζ3 . Let k be the prime subfield of F. If k = Q, then D̃k = D̃Q ∈ B(Q)
has order 3 (since Q embeds in R). On the other hand, if k = F p then D̃k has order 3 if and only
if p ≡ −1 (mod 3) by [6] Lemma 7.11. Thus, in all cases, D̃k = 0 in B(k) if and only if ζ3 ∈ k.
By Suslin’s Theorem ([23] Theorem 5.2) – or by [6, Corollary 7.5] when k is finite – we have
a commutative diagram with exact rows
/
0
/
TorZ1]
(µk , µk )
0
/
TorZ1]
(µF , µF )
/
/
K3ind (k)
_
K3ind (F)
/
/
B(k)
B(F)
/
0
0
where the middle vertical arrow is injective ([12], Corollary 4.6). If D̃k , 0, then it lies in the
kernel of B(k) → B(F) only if 3|µF . Thus D̃F = 0 only if ζ3 ∈ F.
Corollary 4.13. For any field F, DF = 0 if and only if D̃F = 0, and the map RB(F) → B(F)
induces an isomorphism Z · DF Z · D̃F .
2
Corollary 4.14. Let A be a local ring with residue field k. Suppose either that U1,A = U1,A
and that char(k) , 2, 3 or that char(k) = 2 and A is henselian. Then the functorial map
RB(A) → RB(k) induces an isomorphism Z · DA Z · Dk .
Proof. Clearly DA = 0 =⇒ Dk = 0.
Conversely, if Dk = 0 then Φ(X) has a root in k . The hypotheses then imply that Φ(X) has a
root in A and thus DA = 0 also.
Remark 4.15. When char(k) = 3, the result may fail. For example, Φ(X) has no root in Q3 , so
that DQ3 , 0, and hence DZ3 , 0 also. But DF3 = 0.
24
KEVIN HUTCHINSON
4.3. A key identity. The purpose of this section is to prove the important identity hhaii DA =
ψ1 (a) − ψ2 (a) in RP(A) for all a ∈ U A (Theorem 4.19 below). This identity was proved in the
case when A is a field in [8].
Let t denote the matrix of order 3
"
#
−1 −1
∈ SL2 (Z).
1 0
It can be shown that H3 (SL2 (Z), Z) is cyclic of order 12 and that the inclusion G := hti → SL2 (Z)
induces an isomorphism H3 (G, Z) H3 (SL2 (Z), Z)[3].
We will identify A with A+ = ι+ (A) ⊂ X1 .
For any subset S of A, we have S n ⊂ X1n and we let
∆(n, S ) := S n ∩ Xn = {(s1 , . . . , sn ) ∈ S n | si − s j ∈ U A for i , j}.
Thus there is a natural inclusion of additive groups Z[∆(n, S )] → Z[Xn ].
We note that WA is a right G-set since for any a ∈ WA
"
#
−1 −1
a · t = [a, 1] ·
= [1 − a, −a] = [1 − a−1 , 1] = 1 − a−1 ∈ WA ⊂ X1 .
1 0
For a local ring A, let W̃A := WA \ {a ∈ A| Φ(π(a)) = 0 in k}.
Lemma 4.16. If x ∈ W̃A , then x · ti − x · t j ∈ U A whenever i . j (mod 3).
Proof. If x ∈ W̃A , then x, 1 − x, Φ(x) ∈ U A . The statement thus follows from the identities
1 Φ(x)
=
x
x
Φ(x)
1
=
= x−
1−x x−1
1
1
Φ(x)
= 1− −
=
.
x 1 − x x(x − 1)
x−x·t = x−1+
x − x · t2
x · t − x · t2
Lemma 4.17. Let A be a local ring whose residue field, k, has at least 10 elements. Let
Ln = Ln (A) = Z[Xn+1 ] as above. Let F• be the (right) homogeneous standard resolution of
Z over Z[G]. Then an augmentation-preserving chain map of right Z[G]-modules F• → L• in
dimensions three and below can be constructed as follows:
Let x ∈ W̃A and let y ∈ W̃A with
π(y) < {π(x), π(x) · t, π(x) · t2 } ⊂ k.
Then define βnx,y : Fn → Ln as follows:
Given g ∈ G, let β0x,y (g) = x · g ∈ A ⊂ X1 .
Given g0 , g1 ∈ G let
(
(x · g0 , x · g1 ), g0 , g1
x,y
β1 (g0 , g1 ) =
0,
g0 = g1
H3 of SL2 of local rings
25
Given g0 , g1 , g2 ∈ G, let







x,y
β2 (g0 , g1 , g2 ) = 





(x · g0 , x · g1 , x · g2 ),
if g0 , g1 , g2 are distinct
0,
g0 = g1 or g1 = g2
(y · g0 , x · g0 , x · g1 )
+(y · g0 , x · g1 , x · g0 ), if g0 = g2 , g1
Given g0 , g1 , g2 , g3 ∈ G let




















x,y
β3 (g0 , g1 , g2 , g3 ) = 


















gi = gi+1 for some 0 ≤ i ≤ 2
0,
(y · g0 , y · g1 , x · g0 , x · g1 )
+(y · g0 , y · g1 , x · g1 , x · g0 ),
(x · g0 , y · g0 , x · g1 , x · g2 )
+(x · g0 , y · g1 , x · g2 , x · g1 ),
(y · g0 , x · g0 , x · g1 , x · g3 )
−(y · g0 , x · g1 , x · g0 , x · g3 ),
(y · g0 , x · g1 , x · g2 , x · g0 )
−(y · g0 , x · g0 , x · g1 , x · g2 ),
if g0 = g2 , g1 and g1 = g3
if g1 = g3 and
g0 , g1 , g2 are distinct
if g0 = g2 and
g0 , g1 , g3 are distinct
if g0 = g3 and
g0 , g1 , g2 are distinct
Proof. By Lemma 4.16, the image of βnx,y lies in Z[∆(n, A)] ⊂ Z[Xn+1 ]. It is a straightforward
computation to verify that this map is an augmentation-preserving chain map.
Corollary 4.18. Let x, y be chosen as in Lemma 4.17. Let
C := C(x, y) = cr(y, x · t, x · t2 , x) − cr(y, x, x · t, x · t2 ) + cr(y, y · t, x, x · t) + cr(y, y · t, x · t, x) ∈ RP(A).
Then C is independent of the choice of x, y, C ∈ RB(A) and 3C = 0.
Proof. Let K → SL2 (A) be any group homomorphism. Then there is a hypercohomolgy spectral
sequence
E 1p,q (K) = H p (K, Lq ) =⇒ H p+q (K, L• )
and H p+q (K, L• ) = H p+q (K, Z) when p + q is not too large. There are associated edge homomorphisms giving a commutative diagram
/
Hn (K, Z)
2
E0,n
(K) = Hn ((L• )K )
αn (K)
Hn (SL2 (A), Z)
/
*
2
E0,n
(SL2 (A))
= Hn ((L• )SL2 (A) )
The map αn (K) can be constructed as follows: Let F• (K) be a projective right Z[K]-resolution
of Z and let β• : F• (K) → L• be any augmentation-preserving homomorphism of right Z[k]complexes. Then αn (K) is the induced map on nth homology groups associated to the map of
complexes F• (K) ⊗Z[k] Z → L• ⊗Z[SL2 (A)] Z. The map αn (K) is independent of the choices of
resolution F• (K) and chain map β• .
Applying this to G, F• and β3x,y as in Lemma 4.17, and observing that the cycle (1, t, t, t2 ) +
(1, t, t2 , 1) + (1, t, 1, t) ∈ F3 represents a generator of H3 (G, Z) Z/3, we see that the map
α3 : Z/3 = H3 (G, Z) → H3 ((L• )SL2 (A) ) sends 1 to the class of
(y, x · t, x · t2 , x) − (y, x, x · t, x · t2 ) + (y, y · t, x, x · t) + (y, y · t, x · t, x) ∈ L3
But the proof of Theorem 3.22 shows that H3 ((L• )SL2 (A) ) RP1 (A) and that this isomorphism
is induced by the refined cross ratio map.
Thus 1 ∈ Z/3 maps to C = C(x, y) ∈ RP1 (A) under α3 . It follows that C is independent of x, y
and that 3C = 0.
26
KEVIN HUTCHINSON
h i
Finally, the proof of Theorem 3.22 shows that, at least after tensoring with Z 12 , the image of
h i
∞
= RB(A) 12 . Since 3C = 0, it follows that C ∈ RB(A). the edge homomorphism lies in E0,3
Theorem 4.19. Let A be a local ring whose residue field has at least 10 elements. Then
(1) For all x ∈ U A , hhxii DA = ψ1 (x) − ψ2 (x).
(2) hhxii DA = 0 if x ∈ U A is of the form ±Φ(a)u2 for some a, u ∈ U A .
Proof. Choose x, y ∈ W̃A as in Lemma 4.17. Then, the calculations in the proof of Theorem
3.12 of [8] show that
C = C(x, y) = h−Φ(x)ri (ψ2 (r) − ψ1 (r) − DA )
where
x−y
∈ WA .
x − 1 − xy
By the Corollary, C has order 3 and is independent of x and y. Now, by choice of x and y, r can
2
assume any value in WA . In particular,
we can arrange for r to have the form −u for some unit
u. Since 4C = 4DA = 0 and 2ψi −u2 = 0 for i = 1, 2, multiplying by 4 gives
r = r(x, y) =
C = − hΦ(x)i DA
for any x ∈ W̃A .
Given x ∈ W̃A we can find x0 ∈ W̃A such that xx0 − 1, x + x0 − 1 ∈ U A and
xx0 − 1
x00 :=
∈ W̃A .
x + x0 − 1
Since Φ(x)Φ(x0 ) = Φ(x00 ) · (x + x0 − 1)2 , we have
C = − hΦ(x00 )i DA = − hΦ(x)i hΦ(x0 )i DA = hΦ(x)i C
for any x ∈ W̃A , and hence C = −DA .
It follows that hΦ(x)i DA = DA for any x ∈ W̃A ; i.e hhΦ(x)ii DA = 0 for all x ∈ W̃A . Since
h−1i DA = DA also, it follows that
DD
EE
±Φ(x)u2 DA = 0
for all x ∈ W̃A and u ∈ U A .
We now have that
−DA = C = h−Φ(x)ri (ψ2 (r) − ψ1 (r) − DA )
for all r ∈ WA and some x ∈ W̃A . Thus
− hΦ(x)ri DA = ψ2 (r) − ψ1 (r) − DA =⇒ hhrii DA = ψ1 (r) − ψ2 (r)
since hΦxi DA = DA . It follows that
hhrii DA = ψ1 (r) − ψ2 (r)
for all r ∈ WA .
Finally, let x ∈ U1,A = U A \ WA . Fix r ∈ WA . Then ψi (x) = ψi (rx) − hxi ψi (r) for i = 1, 2.
Furthermore, hhxii = hhrxii − hxi hhrii. It follows that
hhxii DA = hhrxii DA − hxi hhrii DA
= ψ1 (rx) − ψ2 (rx) − hxi ψ1 (r) + hxi ψ2 (r)
= ψ1 (x) − ψ2 (x)
as required.
H3 of SL2 of local rings
27
Corollary 4.20. Let A be a local ring whose residue field has at least 10 elements. For all
a ∈ UA
hhaii C A = ψ2 (a) − ψ1 a−1 .
Proof. Since 3C A = ψ1 (−1) and 2C A = DA , we have C A = ψ1 (−1) − DA .
Thus, if a ∈ U A we have
hhaii C A = hhaii ψ1 (−1) − hhaii DA = hhaii ψ1 (−1) − hh−aii DA
since hh−1ii DA = 0. Thus, by Theorem 4.19
hhaii C A = hhaii ψ1 (−1) − ψ1 (−a) + ψ2 (−a)
= hai ψ1 (−1) − ψ1 (−1) − hai ψ1 (−1) − ψ1 (a) + ψ2 (−a)
= −(ψ1 (−1) + ψ1 (a)) + ψ2 (−a)
= −(ψ1 (−1) + h−1i ψ1 a−1 ) + ψ2 (−a)
= ψ2 (−a) − ψ1 −a−1 .
However, hh−1ii C A = 0. Thus hhaii C A = hh−aii C A = ψ2 (a) − ψ1 a−1 .
4.4. The module DA . We let DA denote the cyclic RA -submodule of RB(A) generated by DA .
Of course, since 3DA = 0 always, in fact DF is a module over the group ring F3 [GA ].
Let NA be the subgroup of U A generated by elements of the form ±Φ(x)u2 , x ∈ W̃A , u ∈ U A .
By Theorem 4.19 (2), we have hxi DA = DA if a ∈ NA . Let GA = U A /NF . Thus the action
of GA on DA factors through the quotient GA , and hence DA is a cyclic module over the ring
cA := F3 [GA ].
R
Remark 4.21. The results of section 6 below (see Corollary 6.45) show that if F is a highercF . In
dimensional local field, satisfying certain conditions, then DF is a free of rank one over R
this case it follows that we have a converse to (2) of Theorem 4.19: hhxii DF = 0 if and only
x ∈ NF . (And hence, over such fields, ψ1 (x) = ψ2 (x) if and only if x ∈ NF .)
Lemma 4.22. Let A be a local ring with residue field F. Then the natural map DA → DF is
surjective.
cF -module, then DA DF .
Furthermore, if U1,A = U 2 and if DF is free (of rank 1) as a R
1,A
Proof. Since GA maps onto GF and hence RA maps onto RF the first statement is clear.
For the second statement, note that the conditions ensure that GA GF and under this isomorcA R
cF and the composite map
phism, NA corresponds to NF . Thus R
cA
R
is an isomorphism.
//
DA
/
DF
4.5. Reduced Bloch Groups. We introduce some quotient groups of (pre-)Bloch groups which
will be required in our computations below.
First recall that
RP(A)
g
g
g
e ⊂ RP(A).
RP(A)
=
and RB(A)
= Ker(Λ)
KA(1)
28
KEVIN HUTCHINSON
g
Furthermore (4.8) the map RB(A) → RB(A)
is surjective with kernel annihilated by 4. Since
DA is annihilated by 3, it follows that the composite
g
DA → RB(A) → RB(A)
g
is injective and we will identify DA with its image in RB(A).
We further define and
RP(A) :=
g
RP(A)
RP(A)
= (1)
DA
KA + DA
and
RB(A) :=
g
RB(A)
.
DA
Corollary 4.8 implies:
Lemma 4.23. For any field or local ring A there is a short exact sequence
h i
h i
0 → DA → RB(A) 21 → RB(A) 12 → 0.
Observe also that KA(2) ⊂ KA(1) + DA by Theorem 4.19 (2). It follows that for i = 1, 2 and all
x ∈ U A we have ψi (x) = 0 in RP(A).
Lemma 4.24. Let A be a local ring.
h i
(1) For all x ∈ WA , x−1 = − h−1i [x] = − hxi [x] in RP(A).
(2) For all x ∈ WA , hhyii [x] = 0 in RP(A)h whenever
y ≡ −x (mod U A2 ).
i
(3) For all x ∈ WA , [1 − x] = h−1i [x] = x−1 in RP(A).
Proof.
(1) The first equality follows from ψ1 (x) = 0, the second from ψ2 (x) = 0.
(2) From hxi [x] = h−1i [x] it follows that hyi [x] = h−xi [x] = [x].
(3) Since 2C A = DA and 3C A = ψ1 (−1) ∈ KA(1) , it follows that C A = 0 in RP(A), and thus
we have (from the definition of C A ) that 0 = [x] + h−1i [1 − x] in RP(A).
g 1 (A). Let A be a commutative local ring or a field.
4.6. The module RP
2
f
Recall that, for any x ∈ U A , λ1 (ψ1 (x)) = −p−1
+ hhxii = hh−xii hhxii ∈ IA ⊂ RA . Let RA :=
−1
−1
RA /p+ RA . If denotes the augmentation homomorphism RA → Z, then (p+ ) = 2 and thus
−1
−1
2
p−1
+ R A ∩ I A = p+ R A ∩ I A = p+ I A .
Therefore:
Lemma 4.25. The inclusion map I2A → RA induces an injective map of RA -modules I2A /p−1
+ IA →
f
RA .
Let λ̃1 denote the composite map
g
RP(A)
→
I2A
fA ,
→R
p−1
I
A
+
[x] 7→ hh1 − xii hhxii
g 1 (A) := Ker(λ̃1 ).
and let RP
Let S̃2Z (U A ) denote the quotient of the abelian group S2Z (U A ) modulo the subgroup, QA say,
generated by the elements x ◦ −x, x ∈ U A . Observe that QA = λ2 (KA(1) ).
H3 of SL2 of local rings
29
g
Lemma 4.26. RB(A)
= Ker(λ̃2 ) where λ̃2 is the restriction of the map
g
RP(A)
→ S̃2Z (U A ),
[x] 7→ (1 − x) ◦ x
g 1 (A)
to RP
g
g
Proof. Let α̃ = α + KA(1) ∈ RP(A).
Then, by definition, α̃ ∈ RB(A)
if and only if there exists
(1)
β ∈ KA such that λi (α) = λi (β) for i = 1, 2. On the other hand, α̃ ∈ Ker(λ̃2 ) if and only if there
exist β1 , β2 ∈ KA(1) with λi (α) = λi (βi ) for i = 1, 2.
g
Thus RB(A)
⊂ Ker(λ̃2 ), and to prove the converse inclusion, it’s enough to prove that if α ∈
RP(A) and βi ∈ KA(1) for i = 1, 2 such that λi (βi ) = λi (α) for i = 1, 2, then λ2 (α) = λ2 (β1 ) also.
To see this we recall that there are natural homomorphisms of abelian groups
p1 : I2A → Sym2Z (GA ),
hhaii hhbii 7→ hai ∗ hbi
and
p2 : S2Z (U A ) → Sym2Z (GA ), a ◦ b 7→ hai ∗ hbi
satisfying p1 ◦ λ1 = p2 ◦ λ2 (see [6] for more details).
Furthermore, let τ : U A → QA be the map x 7→ (−x) ◦ x. It is easily verified that τ is a group
homomorphism containing −1 and (U A )2 in its kernel. Thus τ induces a group homomorphism
τ̄ : U A / ± (U A )2 → QA ,
x 7→ (−x) ◦ x.
Composing this with p2 gives the map
U A / ± (U A )2 → Sym2Z (GA ) = Sym2F2 (GA ),
x 7→ h−1i ∗ hxi + hxi ∗ hxi
which is clearly injective. It follows that τ̄ is an isomorphism and that the restriction of p2 to
QA is injective.
But λ2 (α) ∈ λ2 (KA(1) ) = QA and
p2 (λ2 (α)) = p1 (λ1 (β1 )) = p2 (λ2 (β1 ))
so that λ2 (α) = λ2 (β1 ) as required.
h i
e
Let P(A)
denote P(A) modulo the subgroup generated by the elements [x] + x−1 (of order 2).
e denote the kernel of the map P(A)
e
Let B(A)
→ S̃2Z (U A ), [x] 7→ (1 − x) ◦ x.
Recall that RB0 (A) denotes the kernel of the natural map RB(A) → B(A).
g 0 (A) denote the kernel of the map from RB(A)
g
e
g 0 (A) is the
We let RB
to B(A).
Equivalently, RB
g
image of RB0 (A) in RB(A).
Corollary 4.27. There is a natural exact sequence of RA -modules
g 0 (A) → RP
g 1 (A) → P(A).
e
0 → RB
Furthermore, the cokernel of the right-most map is annihilated by 2.
Proof. The exactness of the sequence follows from the commutative diagram with exact rows
0
0
/
g
RB(A)
/
e
B(A)
/
/
g 1 (A)
RP
/
e
P(A)
/
S̃2Z (U A )
=
S̃2Z (U A )
30
KEVIN HUTCHINSON
g
For the second statement, let x ∈ WA . Then p−1
+ [x] ∈ RP1 (A), since
−1
f
λ̃1 (p−1
+ [x]) = p+ (hh1 − xii hhxii) = 0 in RA
e
and p−1
+ [x] maps to 2 [x] in P(A).
We will also need the following corollary below.
Corollary 4.28. Let A be a field
h i or a local integral domain with infinite residue field. There are
natural isomorphisms of RA 12 -modules
h i
h i
h i
h i
g 1 (A) 1 .
g 0 (A) 1 RB0 (A) 1 IA RB(A) 1 IA RP
RB
2
2
2
2
g 0 (A) is annihilated by
Proof. By Corollary 4.8 the kernel of the surjective map RB0 (A) → RB
4, and the first equality follows.
The second equality is part of the statement of Lemma 2.4 when A is a field and is part of the
statement of Corollary 3.26 when A is a local integral domain.
e
For the third equality, we begin by observing that since GA acts trivially on P(A),
we have
h i
h i
1
1
g 1 (A)
g 0 (A)
IA RP
⊂ RB
2
2
by Corollary 4.27. On the other hand we have
h i
h i
h i
h i
1
g 0 (A) 1 = IA RB(A) 1 = IA RB(A)
g
g 1 (A) 1 .
RB
⊂ IA RP
2
2
2
2
5. Valuations
5.1. The specialization homomorphism revisited. Given a field F with a valuation v : F × →
Γ and corresponding residue field k, we let U = U F denote the corresponding group of units
and U1 = U1 (F) the units mapping to 1 in k× . The residue map U → k× will be denoted a 7→ ā.
Given any Rk -module M, we define the induced RF -module
MF := RF ⊗Z[U] M = RF ⊗Z[U/U 2 ] M.
Observe that when U1 = U12 then U/U 2 Gk so that MF = RF ⊗Rk M in this case, and there is
a natural (split) short exact sequence of groups
1 → Gk → GF → Γ/2 → 0
and Rk ⊂ RF naturally.
In [8] we proved the existence of a natural surjective specialization homomorphism
[F
S v : RP(F) → RP(k)
[ := RP(k)/(K (1) + Ik Dk ) = RP(k)/(K (1) + K (2) ).
where RP(k)
k
k
k
In this subsection, we revisit this specialization map and prove that it can be defined with
g F , rather than RP(k)
[ F . (It can be shown that there is no reasonable specialization
target RP(k)
homomorphism with target RP(k)F , however.)
Lemma 5.1. Let F be a field and let a ∈ F × .
g
(1) hai C F = C F + ψ2 (a) in RP(F).
g
(2) ψ2 (a) = ψ2 a−1 = ψ2 (−a) in RP(F).
Proof.
(1) This is an immediate consequence of the formula in Corollary 4.20 above.
H3 of SL2 of local rings
31
D E
(2) This follows immediately from (1) since hai = a−1 and h−1i C F = C F .
g
Note also, that in RP(F),
we have, by definition, that C F = [x] + h−1i [1 − x] for any x , 0, 1.
Theorem 5.2. There is a surjective RF -module homomorphism
g F
S v : RP(F) → RP(k)


1 ⊗ [ā] , v(a) = 0



1 ⊗ Ck , v(a) > 0
[a] 7→ 


 −(1 ⊗ Ck ), v(a) < 0
Remark 5.3. The proof we give here follows closely the proof of Theorem 4.9 in [8]. Only the
following cases differ: Case (v) (a) and (b), Case (vii). These cases use Lemma 5.1, which in
turn relies on Theorem 4.19.
g F be
Proof. Let Z1 denote the set of symbols of the form [x] , x , 1 and let T : RF [Z1 ] → RP(k)
the unique RF -homomorphism given by


1 ⊗ [ā] , v(a) = 0



1 ⊗ Ck , v(a) > 0
[a] 7→ 


 −(1 ⊗ Ck ), v(a) < 0
We must prove that T (S x,y ) = 0 for all x, y ∈ F × \ {1}.
Through the remainder of this proof we will adopt the following notation: Given x, y ∈ F × \{1},
we let
y
1−x
u = and w =
.
x
1−y
Note that
1 − x−1 y x − 1
= uw.
= ·
1 − y−1
x y−1
D
E
Thus, with this notation, S x,y becomes [x] − y + hxi [u] − x−1 − 1 [uw] + h1 − xi [w].
We divide the proof into several cases:
Case (i): v(x), v(y) , 0
Subcase (a): v(x) = v(y) > 0.
Then 1 − x, 1 − y ∈ U1 and hence w ∈ U1 , so that w̄ = 1 and uw = ū. Thus
D
E
T (S x,y ) = 1 ⊗ Ck − 1 ⊗ Ck + hxi ⊗ [ū] − x−1 − 1 ⊗ [ū] .
D
E
However, x−1 − 1 = x−1 (1 − x), so that x−1 − 1 ⊗ ū = hxi ⊗ h1 − x̄i [ū] = hxi ⊗ [ū],
and thus T (S x,y ) = 0 as required.
Subcase (b): v(x) = v(y) < 0.
Then u ∈ U and uw ∈ U1 so that w̄ = ū−1 . Thus
h i
T (S x,y ) = −1 ⊗ Ck + 1 ⊗ Ck + hxi ⊗ [ū] + h1 − xi ⊗ ū−1 .
h i
But 1 − x = −x(1 − x−1 ) and 1 − x−1 ∈ U1 , so that the last term is h−xi ⊗ ū−1 and
g F.
hence T (S x,y ) = hxi ⊗ ψ1 (ū) = 0 in RP(k)
Subcase (c): v(x) > v(y) > 0.
Then w ∈ U1 and v(u), v(uw) < 0. So
D
E
T (S x,y ) = 1 ⊗ Ck − 1 ⊗ Ck − hxi ⊗ Ck + x−1 − 1 ⊗ Ck .
32
KEVIN HUTCHINSON
D
E
But since x−1 −1 = x−1 (1− x) and 1− x ∈ U1 it follows that x−1 − 1 ⊗Ck = hxi⊗Ck
and hence T (S x,y ) = 0.
Subcase (d): v(x) > 0 > v(y).
Then v(u) = v(y) − v(x) < 0, v(w) = −v(1 − y) = −v(y(y−1 − 1)) = −v(y) > 0 and
v(uw) = v(u) + v(w) = −v(x) < 0. So
D
E
T (S x,y ) = 1 ⊗ Ck + 1 ⊗ Ck − hxi ⊗ Ck + x−1 − 1 ⊗ Ck + h1 − xi ⊗ Ck .
D
E
But 1 − x ∈ U1 and x−1 − 1 = hxi h1 − xi. So this gives T (S x,y ) = 1 ⊗ 3Ck .
g
However, 3Ck = ψ1 (−1) in RP(k).
Subcase (e): 0 > v(x) > v(y).
Then v(u) = v(y) − v(x) < 0 and uw ∈ U1 , so that v(w) = −v(u) > 0 and w̄ = ū−1 .
Thus
T (S x,y ) = −(1 ⊗ Ck ) + 1 ⊗ Ck − hxi ⊗ Ck + h1 − xi ⊗ Ck .
Now 1− x = −x(1− x−1 ) and 1− x−1 ∈ U1 , so the last term is hxi⊗h−1i Ck = hxi⊗Ck .
This gives T (S x,y ) = 0 as required.
Subcases (f),(g),(h): The corresponding calculations when v(y) > v(x) are almost identical.
Case (ii): x, y ∈ U1 .
Subcase (a): v(1 − x) , v(1 − y).
Then u ∈ U1 and v(w) = v(uw) , 0. So
D
E
T (S x,y ) = ± x−1 − 1 ⊗ Ck − h1 − xi ⊗ Ck = 0
D
E D E
since x−1 − 1 = x−1 h1 − xi and x−1 ∈ U1 .
Subcase (b): v(1 − x) = v(1 − y).
Then u ∈ U1 and w, uw ∈ U with uw
¯ = w̄. So
D
E
T (S x,y ) = − x−1 − 1 ⊗ [w̄] + h1 − xi ⊗ [w̄]
which is 0 by the same argument as the previous (sub)case.
Case (iii): x ∈ U1 , v(y) , 0.
Then v(u) = v(y). Observe that v(1 − y) = min(v(1), v(y)) = min(0, v(y)) ≤ 0. Of
course, v(1 − x) > 0.
Thus v(w) = v(1−x)−v(1−y) > 0 and v(uw) = v(u)+v(w) = v(1−x)+v(y)−v(1−y) > 0
since v(y) − v(1 − y) ≥ 0. So
D
E
T (S x,y ) = ±(1 ⊗ Ck − 1 ⊗ Ck ) − x−1 − 1 ⊗ Ck + h1 − xi ⊗ Ck = 0
D
E
D E
since x ∈ U1 and thus x−1 − 1 ⊗ Ck h1 − xi ⊗ x̄−1 Ck = h1 − xi ⊗ Ck .
Case (iv): v(x) , 0, y ∈ U1
Arguing as in the last case, v(w), v(uw) < 0 in this case.
Subcase (a): v(x) > 0
Then v(u) = −v(x) < 0. So
D
E
T (S x,y ) = 1 ⊗ Ck − hxi ⊗ Ck + x−1 − 1 ⊗ Ck − h1 − xi ⊗ Ck = 0
since 1 − x ∈ U1 .
Subcase (b): v(x) < 0.
Then v(u) > 0 and
D
E
T (S x,y ) = −1 ⊗ Ck + hxi ⊗ Ck + x−1 − 1 ⊗ Ck − h1 − xi ⊗ Ck
since 1 − x−1 ∈ U1 .
H3 of SL2 of local rings
33
Case (v): x ∈ U \ U1 and v(y) , 0.
Subcase (a): v(y) > 0.
Then v(u) = v(y) > 0. Since 1 − x ∈ U and 1 − y ∈ U1 , it follows that v(w) = 0,
w̄ = 1 − x̄ in k and v(uw) > 0. Thus
D
E
T (S x,y ) = 1 ⊗ [ x̄] − 1 ⊗ Ck + hxi ⊗ Ck − x−1 − 1 ⊗ Ck + h1 − xi ⊗ [1 − x̄] = 1 ⊗ X.
Using Lemma 5.1 (1) we have
g
X = [ x̄] + h1 − x̄i [1 − x̄] − Ck + ψ2 ( x̄) − ψ2 x̄−1 − 1 ∈ RP(k).
But
ψ2 x̄−1 − 1 = ψ2 x̄−1 · (1 − x̄) = h x̄i ψ2 (1 − x̄) + ψ2 x̄−1
and thus
X = [ x̄] + h1 − x̄i [1 − x̄] − Ck − h x̄i ψ2 (1 − x̄)
(using Lemma 5.1 (2)). However,
"
#
1
.
Ck = [ x̄] + h−1i [1 − x̄] and h x̄i ψ2 (1 − x̄) = h1 − x̄i [1 − x̄] +
1 − x̄
Thus
"
#
!
1
1
g
X = − h−1i [1 − x̄] −
= −ψ1
= 0 in RP(k).
1 − x̄
1 − x̄
Subcase (b): v(y) < 0.
We have v(u) = v(y) < 0 and v(w) = −v(1 − y) = −v(y) > 0. Thus v(uw) =
v(u) + v(w) = v(y) − v(y) = 0. Furthermore, since 1 − y−1 ∈ U1 , uw
¯ = 1 − x̄−1 .
Thus T (S x,y ) = 1 ⊗ X where
D
Eh
i
g
X = [ x̄] + Ck − h x̄i Ck − x̄−1 − 1 1 − x̄−1 + h1 − x̄i Ck ∈ RP(k).
h i
h
i
Using Lemma 5.1 (1) again, and the identity Ck = 1 − x̄−1 + h−1i x̄−1 we deduce
D
Eh
i
x = ψ1 ( x̄) + [1 − x̄] − x̄−1 − 1 1 − x̄−1 + ψ2 (1 − x̄) − ψ2 ( x̄)
i
D
Eh
= [1 − x̄] − x̄−1 − 1 1 − x̄−1 + ψ2 (1 − x̄) − ψ2 ( x̄)
D
E" 1 #
−1
= [1 − x̄] + 1 − x̄
+ ψ2 (1 − x̄) − ψ2 ( x̄)
1 − x̄−1
g in the last step).
(using ψ1 1 − x̄−1 = 0 in RP(k)
However
!
D
E" 1 #
1
−1
[1 − x̄] + 1 − x̄
= h1 − x̄i ψ2
1 − x̄−1
1 − x̄−1
!
1 − x̄
= ψ2
− ψ2 (1 − x̄)
1 − x̄−1
= ψ2 (− x̄) − ψ2 (1 − x̄)
and so X = 0 by Lemma 5.1 (2) again.
Case (vi): y ∈ U \ U1 and v(x) , 0
34
KEVIN HUTCHINSON
Subcase (a): v(x) > 0
we have v(u) = −v(x) < 0, v(w) = 0 and 1 − x ∈ U1 so that w̄ = (1 − ȳ)−1 . Finally
v(uw) = v(u) < 0. Thus
"
#
D
E
1
−1
T (S x,y ) = 1 ⊗ Ck − 1 ⊗ ȳ − hxi ⊗ Ck + x − 1 ⊗ Ck + h1 − xi ⊗
.
1 − ȳ
D
E
However, ( x−1 − 1 − hxi) ⊗ Ck = hxi hh1 − xii ⊗ Ck = hxi ⊗ hh1ii Ck = 0. Thus
T (S x,y ) = 1 ⊗ Y where
"
#
1
g
Y = Ck − ȳ +
∈ RP(k).
1 − ȳ
g
Since Ck = ȳ + h−1i 1 − ȳ in RP(k)
we thus have
"
#
!
1
1
g
Y = h−1i 1 − ȳ +
= ψ1
= 0 in RP(k).
1 − ȳ
1 − ȳ
Subcase (b): v(x) < 0
We have v(u) = −v(x) > 0 and v(w) = v(1− x) = v(x) < 0 and v(uw) = v(u)+v(w) =
0. Furthermore, since 1 − x−1 ∈ U1 , uw
¯ = 1/(1 − ȳ−1 ). Thus
D
E " 1 #
−1
T (S x,y ) = −(1 ⊗ Ck ) − 1 ⊗ ȳ + hxi ⊗ Ck − x − 1 ⊗
− h1 − xi ⊗ Ck
1 − ȳ−1
= 1⊗Y
where
"
#
1
Y = −Ck − ȳ − h−1i
1 − ȳ−1
DD
EE
since (hxi − h1 − xi) ⊗ Ck = − hxi x−1 − 1 ⊗ Ck = hxi ⊗ hh−1ii Ck = 0.
But
"
"
#
#
1
1
−1
−Ck − ȳ − h−1i
=
−C
−
ȳ
−
+
ψ
1
−
ȳ
h−1i
k
1
1 − ȳ−1
1 − ȳ−1
h
i
= −Ck − ȳ + 1 − ȳ−1
i
h
= −Ck − ȳ + 1 − ȳ−1 + ψ1 (y)
h i h
i
= −Ck + h−1i ȳ−1 + 1 − ȳ−1 = 0.
Case (vii): x ∈ U \ U1 and y ∈ U1 .
We have v(u) = 0 and ū = x̄−1 . Furthermore, v(w) = −v(1 − y) < 0 and thus
v(uw) = v(w) < 0 also. Thus
h i D
E
T (S x,y ) = 1 ⊗ [ x̄] + hxi ⊗ x̄−1 + x−1 − 1 ⊗ Ck − h1 − xi ⊗ Ck
= 1⊗Z
h i D
E
where Z = [ x̄] + h x̄i x̄−1 + x̄−1 − 1 Ck − h1 − x̄i Ck .
Thus
D
E Z = 1 − x̄−1 ψ2 x̄−1 + ψ2 x̄−1 − 1 − ψ2 (1 − x̄) by Lemma 5.1 (1)
D
E
= 1 − x̄−1 ψ2 ( x̄) + ψ2 x̄−1 − 1 − ψ2 (1 − x̄) by Lemma 5.1 (2)
which is 0 by the cocycle property since 1 − x̄ = x̄ · ( x̄−1 − 1).
H3 of SL2 of local rings
35
Case (viii): x ∈ U1 and y ∈ U \ U1
We have u ∈ U and ū = ȳ, v(w) = v(1 − x) > 0 and v(uw) = v(w) > 0. So
E
D
T (S x,y ) = −(1 ⊗ ȳ ) + hxi ⊗ ȳ − x−1 − 1 ⊗ Ck + h1 − xi ⊗ Ck
= − h1 − xi ⊗ hh x̄ii Ck = 0 since x̄ = 1.
Case (ix): x, y ∈ U \ U1
In this case x̄, ȳ ∈ k× \ {1} and
T (S x,y ) = 1 ⊗ S x̄,ȳ = 1 ⊗ 0.
Of course, the specialization map S v induces a well-defined map, which will also be denoted
g
g
S v , from RP(F)
to RP(k).
g 1 (F).
5.2. The specialization map and RP
Lemma 5.4. Let F be a field with valuation v and corresponding residue field k. The following
diagram commutes:
g
RP(F)
λ̃1
/
fF
R
Sv
/ R
g F
fk
RP(k)
F
fk = RF ⊗Z[U] R
fk = R
fF ⊗Z[U] R
fk .
where the right-hand vertical map sends x to x ⊗ 1 ∈ R
(λ̃1 )F
F
Proof. Let a ∈ F × . We must show that
fF ⊗Z[U] R
fk .
λ̃1 ([a]) ⊗ 1 = 1 ⊗ λ̃1 (S v ([a])) in R
Case (i): a ∈ U \ U1 .
Then a, 1 − a ∈ U and S v ([a]) = [ā]. Thus
λ̃1 ([a]) ⊗ 1 = hh1 − aii hhaii ⊗ 1
= 1 ⊗ hh1 − āii hhāii
= 1 ⊗ λ̃1 (ā)
= 1 ⊗ λ̃1 (S v ([a])).
Case (ii): a ∈ U1 .
Then ā = 1 and hence S v ([a]) = [ā] = 0 while
λ̃1 ([a]) ⊗ 1 = hh1 − aii hhaii ⊗ 1 = hh1 − aii ⊗ hhāii = hh1 − aii ⊗ 0 = 0.
Case (iii): v(a) > 0.
Then S v (a) = 1 ⊗ Ck and λ1 (Ck ) = 0. On the other hand,
λ̃1 ([a]) ⊗ 1 = hh1 − aii hhaii ⊗ 1 = hhaii ⊗ hh1 − āii = hhaii ⊗ 0 = 0.
Case (iv): v(a) < 0.
Then S v ([a]) = −(1 ⊗ Ck ) and hence 1 ⊗ λ̃1 (S v ([a])) = 0. Thus we must show that
fF ⊗ R
fk .
hh1 − aii hhaii ⊗ 1 = 0 in R
Let b = 1/a. Then hhaii = hhbii and
1−b
1
≡ −b(1 − b) (mod (F × )2 ).
1−a=1− =−
b
b
36
KEVIN HUTCHINSON
Thus hh1 − aii = hh−b(1 − b)ii = hh−bii hh1 − bii + hh−bii + hh1 − bii and hence
hh1 − aii hhaii ⊗ 1 = (hh−bii hh1 − bii + hh−bii + hh1 − bii) hhbii ⊗ 1
= (hh−bii hhbii hh1 − bii + hh−bii hhbii + hh1 − bii hhbii) ⊗ 1
= hh−bii hhbii (hh1 − bii + 1) ⊗ 1 + hh1 − bii hhbii) ⊗ 1
DD
EE
= −p−1
+ hhbii (hh1 − bii + 1) ⊗ 1 + hhbii ⊗ 1 − b̄
= − hhbii (hh1 − bii + 1) ⊗ p−1
+ + hhbii ⊗ 0 = 0.
Corollary 5.5. Let F be a field with valuation v and corresponding residue field k. Then the map
g
g F restricts to a homomorphism of RF -modules S v : RP
g 1 (F) → RP
g 1 (k)F .
S v : RP(F)
→ RP(k)
Furthermore, if U1 = U12 , this restricted homomorphism is surjective.
Proof. If M is a Rk -module, then
MF = RF ⊗Z[U] M = RF ⊗Z[U/U 2 ] M.
Since RF is a free Z[U/U 2 ]-module, it follows that the functor M 7→ MF , from Rk -modules to
g 1 (k)F = Ker((λ̃1 )F ) and the first statement follows from Lemma
RF -modules, is exact. Thus RP
5.4.
fF → (R
fk )F is an isomorphism. The second statement
If U1 = U12 then Z[U] = Rk and the map R
then follows by diagram-chasing.
g
g F , as
Remark 5.6. On the other hand, S v does not restrict to a homomorphism RB(F)
→ RB(k)
our calculations below repeatedly demonstrate. See also [8, section 4] for further discussion of
this point.
g
g F
5.3. The module Lv . Recall that S v denotes the RF -module homomorphism RP(F)
→ RP(k)
of Theorem 5.2.
We will also let S v denote the induced (surjective) specialization homomorphism on fully reduced pre-Bloch groups
(
1 ⊗ [ā] , v(a) = 0
S v : RP(F) → RP(k)F , [a] 7→
0,
v(a) , 0
Given a triple (F, v, k), we set
Lv := h[a] ∈ RP(F) | v(a) , 0iRF .
Lemma 5.7. As submodules of RP(F) we have
Lv = h[au] − [a] | a ∈ U \ U1 , u ∈ U1 iRF = h[u] | u ∈ U1 iRF
Proof. Let
L0v = h[au] − [a] | a ∈ U \ U1 , u ∈ U1 iRF and L00v = h[u] | u ∈ U1 iRF .
Let u ∈ U1 . Then [u] = − h−1i [1 − u] ∈ Lv since v(1 − u) > 0. Thus L00v ⊂ Lv .
h i
Conversely, suppose that a ∈ F × with v(a) , 0. Since a−1 = − h−1i [a] in RP(F), we can
suppose that v(a) > 0. Then 1 − a ∈ U1 and hence [a] ∈ L00v . Hence Lv ⊂ L00v .
Now suppose that a ∈ U \ U1 and u ∈ U1 . Then
#
"
#
D
E"
1−a
1−a
−1
0 = [a] − [au] + hai [u] − a − 1 u ·
+ h1 − ai
.
1 − au
1 − au
H3 of SL2 of local rings
37
Since 1 − a ≡ 1 − au (mod U1 ), it follows that [au] − [a] ∈ L00v . Thus L0v ⊂ L00v .
Finally, suppose that u ∈ U1 and choose b ∈ U such that a = b2 < U1 . Then
#
#
"
D
E"
1−a
1−a
−1
+ h1 − ai
≡ hai [u] (mod L0v )
0 = [a] − [au] + hai [u] − a − 1 u ·
1 − au
1 − au
D
E D E
since (1−a)/(1−au) ∈ U1 and a−1 − 1 = a−1 h1 − ai = h1 − ai. It follows that L00v ⊂ L0v . Lemma 5.8. There is a short exact sequence of RF -modules
/
0
/
Lv
Sv
RP(F)
/
/
RP(k)F
0
Proof. By definition of Lv , Lv ⊂ Ker(S v ) and hence S v induces a surjective homomorphism
RP(F)v :=
RP(F)
→ RP(k)F .
Lv
Since Lv = L0v by Lemma 5.7, for any a ∈ U the element [a] in RP(F)v depends only on image,
ā, of a in k× .
Furthermore, the action of Z[U] on RP(F)v descends to an Rk -module structure: Let a ∈ U
and u ∈ U1 . Then h−ai [a] = [a] by Lemma 4.24. However, [a] = [au] in RP(F)v . Thus, we
also have h−aui [a] = [a] in RP(F)v , from which it follows that
hui [a] = h−ai [a] = [a] in RP(F)v .
It therefore follows that there is a well-defined Rk -module homomorphism
T v : RP(k) → RP(F)v ,
[ā] 7→ [a]
which extends to an RF -module homomorphism
T v,F : RP(k)F → RP(F)v .
Since T v,F is surjective by the work above, and since clearly S v ◦ T v,F = IdRP(k)F , it follows that
S v : RP(F)v → RP(k)F is an isomorphism with inverse T v,F .
Recall that for any field there is a natural homomorphism of RF -modules
fF
λ̃1 = λ̃1,F : RP(F) → R
with kernel RP1 (F).
Corollary 5.9. Suppose that U1 = U12 . Then the homomorphism S v : RP(F) → RP(k)F induces
a short exact sequence
h i
h i
h i
0 → Lv 12 → RP1 (F) 12 → RP1 (k)F 12 → 0.
Proof. By Corollary 5.5, there is a commutative diagram with exact rows
/
0
0
/
/
RP1 (F)
RP1 (k)F
/
/
RP(F)
Sv
RP(k)F
/
fF
R
fk )F
(R
However, since U1 = U12 we have Rk Z[U/U 2 ] ⊂ RF and thus
fk )F = RF ⊗Rk Rk = RF = R
fF .
(R
−1
p−1
R
p
R
k
F
+
+
38
KEVIN HUTCHINSON
The result now follows from Lemma 5.8
For a commutative local ring A with residue field k we let
LA := h[au] − [u] ∈ RP(A) | a ∈ WA , u ∈ U1 iRA .
Lemma 5.10. There is a short exact sequence of RA -modules
0 → LA → RP(A) → RP(k) → 0.
Proof. The functorial map RP(A) → RP(k) is clearly surjective and LA is contained in its
kernel. Now the argument in the proof of Lemma 5.8 shows that the action of RA on RP(A)/LA
descends to an action of Rk ; i.e. if u ∈ U1 , then hui acts trivially on this quotient. This allows
us to construct a well-defined inverse map RP(k) → RP(A)/LA , [ā] 7→ [a] + LA .
6. Bloch groups of local rings and scissors congruence groups of residue fields
6.1. Some preliminaries. Let A be a commutative local ring or a field.
cA = Hom(GA , µ2 ), let I χ be the ideal of RA generated by the elements
For a character χ ∈ G
{hai−χ(a) | hai ∈ GA }. In other words I χ is the kernel of the ring homomorphism ρ(χ) : RA → Z
sending hai to χ(a) for any a ∈ U A .
If M is an RA -module, we let M χ = I χ M and we let
Mχ := M/M χ = (RA /I χ ) ⊗RA M = (RA )χ ⊗RA M.
In particular, if χ = 1 then I χ = IA and Mχ = MGA .
h i
cA , let ea±χ ∈ RA 1 denote the idempotent
Given hai ∈ GA and χ ∈ G
2
( a
1 ± χ(a) hai
e+ , ±χ(a) = 1
=
ea− , ±χ(a) = −1
2
so that hai ea±χ = ±χ(a)ea±χ for all a. Of course, we have
eaχ + ea−χ = 1 and eaχ · ea−χ = 0
for all a, χ.
cA , let
More generally, for any finite subset S of GA and any χ ∈ G
Y
Y 1 ± χ(a) hai !
h i
S
a
∈ RA 12 .
e±χ :=
e±χ =
2
hai∈S
hai∈S
h i
Lemma 6.1. For any character χ and finite S ⊂ GA , 1 − eSχ ∈ I χ ⊂ RA 12 .
Proof. This follows from ρ(χ)(eaχ ) = 1 for any a ∈ U A .
h i
cA and RA 1 -module M, we have
Corollary 6.2. For any χ ∈ G
2
M χ = {m ∈ M | eSχ m = 0 for some finite S ⊂ GA }.
Proof. Let m ∈ M χ . Then there exist a1 , . . . ar ∈ U A such that
r
X
m=
ea−χi mi
i=1
from which it follows that
eSχ m
= 0 where S = {ha1 i , . . . , har i}.
H3 of SL2 of local rings
39
Conversely, suppose that eSχ m = 0 for some finite set S . Then
m = (1 − eSχ ) · m ∈ M χ
by Lemma 6.1
h i
Corollary 6.3. The functor M →
7 Mχ is an exact functor on the category of RA 21 -modules.
Proof.
h i Since this is the functor (RA )χ ⊗RF (−) it is right-exact. On the other hand, if N is an
RA 12 -submodule of M then Corollary 6.2 implies immediately that N χ = M χ ∩ N, from which
left-exactness follows.
Note that, in practice, we may assume, when required, that S is a subgroup of GA :
cA . Let T be the subgroup of GA generated
Lemma 6.4. Let S ⊂ GA be a finite set and let χ ∈ G
S
T
by S . Then eχ = eχ .
Q
Proof. Let hbi ∈ T . Then there exist ha1 i , . . . , har i ∈ S with hbi = i hai i. Now hai i eSχ =
χ(ai )eSχ for each i. It follows that hbi eSχ = χ(b)eSχ and hence that eSχ = ebχ eSχ .
When GA itself is finite, we let eχ := eGχ A .
h i
Lemma 6.5. Suppose that |GA | < ∞ and M is an RA 12 -module. For any character χ the
composite

/ / Mχ
/ M
eχ M h i
is an isomorphism of RA 21 -modules.
h i
Proof. Since 1 − eχ ∈ I χ by 6.1, while eχ I χ = 0, it follows that I χ = (1 − eχ )RA 12 and more
generally that M χ = (1 − eχ )M.
h i
Thus M = eχ M ⊕ (1 − eχ )M = eχ M ⊕ M χ as an RA 12 -module.
h i
cA . Then
Lemma 6.6. Suppose that GA is finite and M is a RA 12 -module. Let χ0 ∈ G
M
M
Mχ
cA
χ∈G
and
IF M M
Mχ .
χ,χ0
Proof. We have 1 =
h i
, and hence, for any m ∈ M, m =
h i
For the second statement observe that eχ0 M Mχ0 M ⊗RF Z 21 .
P
χ eχ
in RF
1
2
P
χ eχ m.
cA and a ∈ WA , we will let [a]χ denote the image of [a] in RP(A)χ .
For any χ ∈ G
cA . Then 2 [a]χ = 0 in RP(A)χ if χ(h−ai) = −1.
Lemma 6.7. Let χ ∈ G
Proof. By definition of Mχ , (h−ai + 1)x = 0 for all x ∈ RP(A)χ . On the other hand, (h−ai −
1) [a] = 0 in RP(A) by Lemma 4.24. Thus 0 = (1 + h−ai) [a]χ + (1 − h−ai) [a]χ = 2 [a]χ .
40
KEVIN HUTCHINSON
6.2. Local rings with two square classes.
2
Proposition 6.8. Let A be a local ring with residue field F. Suppose that U1,A = U1,A
and that
h i
1
|GA | = |GF | = 2. Let χ be the nontrivial character on GA . Then LA 2 = 0.
χ
Proof. We distinguish two cases:
Case (i): −1 < (F × )2
In this case, GA = GF is generated by hthei square class of −1. Thus χ(h−1i) = −1 and
hence by Lemma 6.7 [a]χ = 0 in RP(A) 12 for all a ∈ WA ∩ U A2 .
χ
Since [a] + h−1i [1 − a] = 0 in RP(A), it follows that [a]χ = 0 whenever a ∈ WA
with 1 − a ∈ U A2 .
Now let N := {a ∈ WA | a, 1 − a ∈ U A2 }. (Note that if F is real-closed then N = ∅.)
We have shown that [a]χ = 0 whenever a < N.
Let a, b ∈ N with b/a ∈ WA . Then b/a, (1 − a)/(1 − b), (1 − a−1 )/(1 − b−1 ) ∈ U A2 .
Thus
" # "
# "
#
b
1 − a−1
1−a
0 = (S a,b )χ = [a]χ − [b]χ ±
±
±
= [a]χ − [b]χ .
a χ
1 − b−1 χ
1−b χ
Thus if a ∈ WA and if 1 , u ∈ U1,A then either a < N and [a]χ = 0 = [au]χ or a ∈ N
andh [a]
i χ = [au]χ . Either way, [a]χ − [au]χ = 0 for all a ∈ WA , u ∈ U1,A and hence
1
LA 2 = 0.
χ
Case (i): −1 ∈ (F × )2
2
In this case, χ(h−ai) = −1 if and onlyh if
i a < U A and hence, by Lemma 6.7, and the
argument of case (i), [a]χ = 0 in RP(A) 12 if either a < U A2 or 1 − a < U A2 .
χ
Let R := {a ∈ WA | a, 1 − a ∈ U A2 } and let R0 := {a ∈ WA | a ∈ U A2 and 1 − a < U A2 }.
Note that [a]χ = 0 if a ∈ R0 .
We begin by noting that R0 , ∅: Let b < U A2 . If 1 − b ∈ U A2 then 1 − b ∈ R0 by
definition. Otherwise 1 − b < U A2 . In this latter case, b−1 < U A2 , but
1−b
∈ U A2
1 − b−1 = (−1) ·
b
and hence 1 − b−1 ∈ R0 .
Now let a ∈ R and s ∈ R0 .
If t = as ∈ R0 then 1−a ∈ U A2 , 1−t < U A2 so that (1−a)/(1−t), (1−a−1 )/(1−t−1 ) < U A2
and hence
"
# "
#
1 − a−1
1−a
0 = (S a,t )χ = [a]χ − [t]χ ±
±
= [a]χ .
1 − t−1 χ
1−t χ
On the other hand, if t = as < R0 , then t ∈ R, 1 − a, 1 − t ∈ U A2 . On the other hand,
t
a−t
1−s=1− =
< U A2 =⇒ a − t < U A2 .
a
t
It follows, in this case, that (1 − a)/(1 − t) ∈ U A2 but
1−a a−t
1−
=
< U A2
1−t
1−t
so that (1 − a)/(1 − t) ∈ R0 . Similarly, replacing a with a−1 and t with t−1 , (1 − a−1 )/(1 −
t−1 ) ∈ R0 . Thus, if a, as ∈ R then
0 = (S a,t )χ = [a]χ − [t]χ = [a]χ − [as]χ .
H3 of SL2 of local rings
41
From all of this we conclude that for any a ∈ WA , either [a]χ = 0 or a ∈ R and
a, s ∈ R0 , [a]χ = [as]χ for all s ∈ R0 .
Finally, let a ∈ WA , 1 , u ∈ U1,A . Fix s ∈ R0 . Then s−1 u ∈ R0 also. Thus either
[a]χ = [au]χ = 0 or a ∈ R and
h
i
0 = [a]χ = [as]χ = (as) · (s−1 u) = [au]χ .
χ
h i
As in case (i), it follows that LA 21 = 0.
χ
Corollary 6.9. Let A be a local integral domain with infinite residue field F. Suppose that
2
U1,A = U1,A
and that |GA | = |GF | = 2. Then the homomorphism A → F induces an isomorphism
h i
h i
RB0 (A) 21 RB0 (F) 12 .
cF -module then
Furthermore, if DF is free of rank one as an R
h i
h i
RB0 (A) 21 = RB0 (F) 12 .
h i
h i
Proof. By Corollary 5.9, there is an induced isomorphism RP1 (A) 21 RP1 (F) 12 .
χ
χ
h i
1
However, since |GA | = |GF | = 2,for any RA 2 -module M, we have IA M = IF M = Mχ . Thus
h i
h i
IA RP1 (A) 12 IF RP1 (F) 12 .
h i
h i
h i
h i
By Corollary 4.28, RB0 (A) 21 = IA RP1 (A) 12 and RB0 (F) 12 = IF RP1 (F) 21 . This proves
the first statement.
For the second statement, DA DF by Lemma 4.22.
Remark 6.10. Note that if F is real-closed, we have RB0 (F) = 0. Furthermore, since the
cF = F3 . Thus
group of square classes is generated by −1, we have NF = F × and hence R
cF , and hence the second statement of
DF = F3 · DF Z/3 is a free module of rank 1 over R
Corollary applies to real-closed fields.
6.3. Local rings with finite residue field. To prove a corresponding result in the case of finite
residue fields requires a separate argument, since Mirzaii’s results (Proposition 3.23) require the
residue fields to be infinite.
We let Σ0 denote the set {2, , 3, 4, 5, 7, 8, 9, 16, 27, 32, 64} of prime powers p f satisfying (p −
1) f ≤ 6 (see Remark 3.20).
Lemma 6.11. Let A be a local ring with finite residue field F of odd characteristic. Suppose
2
that U1,A = U1,A
. Then
h i
h i
h i
IA RB(A) 21 = RB0 (A) 12 = RB0 (F) 12 = 0.
Proof. By Proposition 6.8 we have
IA RP1 (A)
h i
1
2
IF RP1 (F)
h i
1
2
.
However, by Lemma 4.22, DA DF also and hence this isomorphism lifts to an isomorphism
h i
h i
g 1 (A) 1 IF RP
g 1 (F) 1 .
IA RP
2
2
However, for a finite field F
g 1 (F)
IF RP
h i
1
2
= RB0 (F)
h i
1
2
= 0.
42
KEVIN HUTCHINSON
h i
h i
g 1 (A) 1 = RP
g 1 (A) 1 .
= 0 and hence RP
2
2 GA
h i
h i
h i
h i
1
1
1
fA . Consider the short exact sequence of RA 1 Let M be the RA 2 -module Im(λ̃1 ) 2 ⊂ R
2
2
modules
h i
h i
1
g
g 1 (A) 1 → RP(A)
→ M → 0.
0 → RP
2
2
g 1 (A)
Thus IA RP
h i
1
2
Taking coinvariants for the action of the cyclic group GA of order 2 is exact here and MGA = 0
since the square class of −1 acts as multiplication by −1 on M. Thus there is an induced
isomorphism
h i
h i
h i
1
1
g 1 (A) 1 RP(A)
g
RP
=
P(A)
.
2
2 GF
2
h i
By Corollary 4.27, it follows that RB0 (A) 12 = 0. Since it is always the case that IA RB(A) ⊂
RB0 (A), the result follows.
Corollary 6.12. Let A be a local integral domain with finite residue field k with |k| < Σ0 .
2
Suppose that U1,A = U1,A
. Then there is a natural short exact sequence
h i
h i
h i
0 → tor(µA , µA ) 21 → H3 (SL2 (A), Z 21 ) → B(A) 12 → 0
h i
and the natural action of GA = U A /U A2 on H3 (SL2 (A), Z 12 ) is trivial.
Proof. We combine Theorem 6.47 with Lemma 6.11.
Lemma 6.13. Let K be a field with discrete valuation
v and
h i
h i corresponding discrete valuation
1
ring A. Then the natural functorial map B(A) 2 → B(K) 12 is surjective.
Proof. Fix u ∈ WA . Let a ∈ K × with v(a) > 0. Then
[a] + [1 − a] = [u] + [1 − u] in P(K)
and hence
[a] = − [1 − a] + [u] + [1 − u] ∈ Im(P(A) → P(K)).
h i
h i
On the other hand, if a ∈ K × with v(a) < 0 then 2([a] + a−1 ) = 0 in P(K). So [a] = − a−1 in
h i
h i
h i
P(K) 12 , and thus [a] ∈ Im(P(A) 12 → P(K) 12 ) since v(a−1 ) > 0.
h i
h i
It follows that the map P(A) 21 → P(K) 12 is surjective.
Since the map U A → K × Z × U A is a split injection, the induced map S2Z (U A ) → S2Z (K × ) is
split injective. The statement thus follows from the commutative diagram with exact rows
h i
h i
h i
/ B(A) 1
/ P(A) 1
/ S2 (U A ) 1
0
Z
2
2
2
_
0
/
B(K)
h i
1
2
/
P(K)
h i
1
2
/
h i
S2Z (K × ) 12
.
For a local domain A with field of fractions K, let B(A; K) denote Ker(B(A) → B(K)).
Remark 6.14. When A is a discrete valuation ring, the injectivity of the map S2Z (U A ) → S2Z (K × )
implies that B(A; K) = Ker(P(A) → P(K)) also.
Remark 6.15. If A is a discrete valuation ring
h i with infinite residue field F and field of fractions
K and if char(F) = char(K), then B(A; K) 21 = 0 by Corollary 3.25 above.
H3 of SL2 of local rings
43
Corollary 6.16. Let K be a field with discrete valuation v and corresponding discrete valuation
2
ring A. Suppose that the residue field k is finite, that |k| < Σ0 and that U1,A = U1,A
. Then there is
a short exact sequence
h i
h i
h i
0 → B(A; K) 21 → H3 (SL2 (A), Z 12 ) → K3ind (A) 12 → 0.
Proof. K3ind (A) K3ind (K) by Theorem 2.1, and thus by Corollary 6.12 and Lemma 6.13 there is
a commutative diagram with exact rows and columns
0
B(A; K)
/
0
0
/
tor(µA , µA )
h i
1
2
/
H3 (SL2 (A), Z
tor(µK , µK )
h i
1
2
/
K3ind (K)
h i
1
2
/
)
h i
1
2
/
B(A)
B(K)
h i
1
2
h i
1
2
/
0
h i
/
0
1
2
0
6.4. Fields with valuation and finitely many square classes. For this section we will suppose
that A is a local ring with residue field F. We interpret this to include the case A = F. If a ∈ A,
2
its image in F will be denoted ā. We suppose further that U1,A = U1,A
and hence there are
natural identifications GA = GF and RA = RF .
2
Suppose that v : F × → Γ is a valuation with residue field k. Suppose further that U1,v = U1,v
.
2
Then U/U Gk and with this identification Gk is a subgroup of GF and there is a short exact
sequence of Z/2-modules
1 → Gk → GF → Γ/2 → 0.
Let j : Γ/2 → GF be a choice of splitting of this sequence. Then there is an induced isomorphism
ck × Γ/2
cF , (χ, ψ) 7→ χ × j ψ
d→G
G
where
(χ × j ψ)(hu · j(γ)i) := χ(hūi) · ψ(γ).
The inverse map is given by
cF → G
ck × Γ/2,
d ρ 7→ (ρ|Gk , ρ ◦ j).
G
d there is a ring homomorphism ρ j,ψ :
Recall that given a splitting j and a character ψ ∈ Γ/2
RF → Rk sending h j(γ) · ui to ψ(γ) hūi, and an associated ‘restriction’ functor giving any Rk module M the structure of an RF -module via
h j(γ) · ui m := ψ(γ) hūi · m
for any γ ∈ Γ, u ∈ Uv and m ∈ M. We will denote this RF -module structure by M( j, ψ).
Furthermore, given any RF -module we let M( j,ψ) denote the RF -module Rk ⊗RF M obtained from
the map ρ j,ψ . We record the following observations for future use:
44
KEVIN HUTCHINSON
Remark 6.17. In the special case, of most interest in this article, where Γ = Z, we denote the
characters of Z/2 by ∈ {−1, 1} (according to where 1 + 2Z is sent). In this case, a splitting
j amounts to the choice of a (square class of a) uniformizer π. So we will also denote the pair
( j, ψ) as (π, ).
Thus ρπ, : RF → Rk is the ring homomorphism sending hπ · ui to · hūi.
h i
Furthermore, observe that if M is any RF 12 -module, then M(π,1) eπ+ M and M(π,−1) eπ− M as
RF modules. In particular, M M(π,1) ⊕ M(π,−1) .
d
Lemma 6.18. Suppose given a splitting j and ψ ∈ Γ/2.
(1) For any Rk -module M we have (MF )( j,ψ) M( j, ψ) as RF -modules.
ck we have
(2) For any RF -module M and for any χ ∈ G
Mχ× j ψ = M( j,ψ) .
χ
as RF -modules.
Proof.
(1) This is immediate from the definitions.
(2) The diagram
RF
ρ j,ψ
ρ(χ× j ψ)
/
Rk
! ρ(χ)
Z
commutes; i.e. ρ(χ × j ψ) = ρ(χ) ◦ ρ j,ψ .
Corollary 6.19. The specialization map S v : RP(F) → RP(k)F induces a surjective homomorphism
S ( j,ψ) : RP(F)( j,ψ) → RP(k)F
= RP(k)( j, ψ).
( j,ψ)
ck it induces a homomorphism
For any χ ∈ G
S χ× j ψ : RP(F)χ× j ψ → RP(k)χ .
We let Wv,A := {a ∈ U A |ā ∈ U1,v }. Thus U1,A ⊂ Wv,A and our conditions on A and F ensure that
2
Wv,A = Wv,A
.
cF . Suppose a ∈ WA and [b]χ = 0 in RP(A) for all b ∈ aU 2 satisfying
Lemma 6.20. Let χ ∈ G
A
v(b̄) , 0. Then [b]χ = 0 for all b ∈ −aU A2 satisfying v(b̄) , 0.
h i
Proof. Let b ∈ −aU A2 with v(b) , 0. Since b−1 = − h−1i [b] in RP(F), we can suppose that
2
v(b) < 0. But then 1 − b = −b(1 − b−1 ) = −bw with w ∈ Wv,A . Since Wv,A = Wv,A
, w ∈ U A2 and
hence 1 − b ∈ −bU A2 = aU A2 . Since v(1 − b) = v(b), it follows that [1 − b]χ = 0 in RP(A)χ . Thus
[b]χ = 0 since [b] = − h−1i [1 − b] in RP(A).
Let Lv,A := h[a] ∈ RP(A) | a ∈ WA , v(ā) , 0iRF .
Analogously to Lv we have
Lemma 6.21.
Lv,A = h[au] − [a] | a ∈ WA , u ∈ Wv,A iRF = h[u] | u ∈ WA ∩ Wv,A iRF
H3 of SL2 of local rings
45
Corollary 6.22. Lv,A is the inverse image of Lv under the surjective functorial homomorphism
RP(A) → RP(F) and
RP(A)/Lv,A RP(F)/Lv RP(k)F .
Proposition 6.23. Suppose that F is a field with valuation v : F × → Γ with residue field k
satisfying
2
(1) U1,v = U1,v
(2) Γ has a minimal positive element γ0
(3) |k| ≥ 4 and k is either perfect or of characteristic not equal 2.
ck and any
d satisfying ψ(γ0 ) = −1. Then for any χ ∈ G
Suppose given a character ψ ∈ Γ/2
splitting j : Γ/2 → GF we have
h i
= 0.
Lv,A 12
χ× j ψ
h i
Proof. Let ρ := χ × j ψ. We must prove that [a]ρ = 0 in RP(A) 12 whenever v(ā) , 0.
ρ
h i
Since a−1 = − h−1i [a], it is enough to prove that [a]ρ = 0 whenever v(ā) > 0.
Furthermore, if ρ(h−ai) = −1, then [a]ρ = 0 by Lemma 6.7. Thus we can suppose for the
remainder of the proof that ρ(h−ai) = 1 and v(ā) > 0.
Suppose that χ(h−1i) = −1. Then ρ(h−1i) = −1 and ρ(hai) = −1. Thus [b]ρ = 0 for all b ∈ h−ai
by Lemma 6.7 again. It follows that [b]ρ = 0 for all b ∈ hai with v(b̄) , 0 by Lemma 6.20. In
particular, it follows that [a]ρ = 0 as required.
Thus we can assume that ρ(h−1i) = χ(h−1i) = 1.
Let γ = v(a) > 0. Then a = p · u where hpi = j(hγi) and v(ū) = 0. We consider two cases:
Case (i) ψ(γ) = 1.
Thus, in this case, 1 = ρ(a) = χ(u)ψ(γ) = χ(u).
Let π ∈ U A satisfy v(π̄) = γ0 and π ∈ j(hγ0 i). Thus ρ(π) = ψ(γ0 ) = −1, by hypothesis.
Observe
h i that for any x ∈ U A , if ρ(±x) = 1 then ρ(±πx) = −1 and thus [±πx]ρ = 0 in
RP(A) 12 by Lemma 6.7.
ρ h i
In RP(A) 12 we have
ρ
" # 1
a
0 = S π1 , πa =
−
± [a]ρ ± [az]ρ ± [z]ρ
π ρ
π ρ
where
z :=
But
ā 1 − π1
.
1 − πa
= γ − γ0 > 0
π̄
since γ , γ0 (because ψ(γ) = 1 while ψ(γ0 ) = −1). Thus
a
1 − ∈ Wv,A ⊂ U A2 .
π
It follows that
*
+
1
= h−πi
hzi = 1 −
π
since 1 − π ∈ Wv,A ⊂ U A2 also. Thus [z]ρ = 0 = [1/π]ρ by the remarks just above.
Similarly hazi = h−aπi and thus [az]ρ = 0 = [a/π]ρ .
v
46
KEVIN HUTCHINSON
It follows that [a]ρ = 0 as required.
Case (ii) ψ(γ) = −1.
In this case, we have 1 = ρ(a) = ψ(γ)χ(u) = −χ(u), so that χ(u) = −1.
By the hypotheses on the field k, given any x ∈ k× there exist y, z ∈ k× satisfying
2
2
x = y2 − z2 . Furthermore, the conditions U1,v = U1,v
and U1,A = U1,A
ensure that squares
×
in k can be lifted to squares in U A .Thus there exist r, s ∈ U A with v(r̄) = v( s̄) = 0 and
u = r2 − s2 . Then
u s 2
1− 2 =
∈ U A2 .
r
r
h i
In RP(A) 12 we have
ρ
"
0=S
1
,u
r2 p r2
1
= 2
r p
#
−
u
ρ
r2
ρ
± [a]ρ ± [az]ρ ± [z]ρ
where
1
r2 p
− ru2
1−
z :=
1
*
+ D
E
1
∈ 1 − 2 = −r2 p = h−pi
r p
since 1 − r2 p ∈ Wv,A ⊂ U A2 .
Since ρ(−p) = ρ(p) = −1 it follows, as Case (i), that
"
#
1
[z]ρ = [az]ρ = 2
= 0.
r p ρ
Furthermore,
u
=0
r2 ρ
by Lemma 6.7 since ρ(h±ui) = −1. This completes the proof of the theorem.
Combining this proposition with Lemma 5.8 and Corollary 6.19 above we immediately deduce:
Corollary 6.24. Under the hypotheses of Proposition 6.23 the map S χ× j ψ induces an isomorphism
h i
h i
h i
RP(A) 12
RP(F) 12
RP(k) 12
χ× j ψ
χ× j ψ
χ
ck .
for any χ ∈ G
Remark 6.25. Observe that the isomorphism in this result is naturally an isomorphism of RF modules (or, equivalently, of RA -modules). The right-hand term has an RF -module structure
which depends on the the pair (ψ, j). Namely
h i
( j(hγi) · hui) · x := ψ(hγi) hūi · x for all x ∈ RP(k) 12 .
χ
Corollary 6.26. Under the hypotheses of Proposition 6.23 there are isomorphisms
h i
h i
h i
RP1 (A) 21
RP1 (F) 12
RP1 (k) 21
χ× j ψ
χ× j ψ
χ
fA = R
fF .
Proof. This follows from Corollary 5.9 together with the identity R
H3 of SL2 of local rings
47
Corollary 6.27. Hypotheses as in Proposition 6.23. Suppose further that Γ = Z and that
cF = G
cA is any nontrivial character. Then S v induces a natural isomorphism
λ∈G
h i
h i
h i
RP1 (A) 12 RP1 (F) 12 RP1 (k) 21
λ
λ
λk
where
λk := λ|Gk .
Furthermore,
(1) If λk , χ0 then there is an induced isomorphism
h i
h i
RB(F) 12 RB(k) 12 .
λ
λk
(2) If λk = χ0 , we have
RB(F)
h i
1
2 λ
= RP(F)
h i
1
2 λ
RP(k)
h i
1
2 λk
P(k)
h i
1
2
(the last isomorphism being induced by the projection π : RP(k) → P(k)).
Proof. We begin by observing that, since λ , 1, there is a uniformizer π such that λ(π) = −1.
This can be seen as follows:
Let a ∈ F × with λ(hai) = −1. If v(a) is odd, then hai is represented by some uniformizer
π. If v(a) is even, then the class hai is represented by a unit u. Let π0 be any uniformizer. If
λ(π0 ) = −1, then π0 will serve. Otherwise λ(π) = −1 where π = π0 u.
Now, let j : Γ/2 = Z/2 → GF be the associated splitting (sending 1̄ to hπi). Then
λ = (−1) × j λk
and the first statement follows from Corollary 6.24.
By Corollary 5.5, S v induces an isomorphism
h i
h i
h i
RP1 (A) 12 RP1 (F) 12 RP1 (k) 21 .
λ
λ
λk
Thus
(1) If λk , χ0 , then
RP1 (k)
h i
1
2 λk
= IF RP1 (k)
h i
1
2 λk
= RB(k)
h i
1
2 λk
by Corollary 4.28.
(2) On the other hand, if λk = χ0 then
h i
h i
h i
RP1 (k) 21 = RP1 (k) 12 = P(k) 21
λk
χ0
by Corollaries 4.27 and 4.28.
g
Recall that RB(F) = RB(F)/D
F.
We define
RB0 (F) := Ker(RB(F) → B(F))
Lemma 6.28. For any field F
g 0 (F)/IF DF .
(1) RB0 (F) h iRB
h i
1
(2) RB0 (F) 2 = IF RP1 (F) 12 .
48
KEVIN HUTCHINSON
Proof.
(1) From the definitions, we have a commutative diagram with exact rows
0
/
0
0
/
IF DF
0
/
g 0 (F)
RB
0
/
RB0 (F)
0
/
DF
/
g
RB(F)
/
RB(F)
/
/
0
/
Z · DF
0
e
B(F)
B(F)
0
0
e
where B(F) := B(F)/Z
h i
h i · DF .
g 1 (F) 1 by Corollary 4.28. Furthermore I2 DF =
g
(2) Recall that RB0 (F) 12 = IF RP
F
2
IF DF since 3 · DF = 0. Thus, using (1), we have
h i
h i
g 1 (F) 1
g 0 (F) 1
h i IF RP
h i
RB
2
2
h i =
h i = RB0 (F) 12 .
IF RP1 (F) 12 =
IF DF 21
IF DF 21
Corollary 6.29. Hypotheses as is Proposition 6.23. Suppose further that |GF | < ∞. Then S v
induces an isomorphism
h i
h i
RB0 (F) 12 IF RP1 (k)F 12 .
h i
h i
Proof. We have RB0 (F) 12 = IF RP1 (F) 12 .
h i
h i
L
1
Now, if M is an RF 12 -module, then IF M =
M
.
Thus
if
λ
,
χ
,
then
for
any
R
λ
0
F
λ,χ0
2
h i
1
module M we have IF M λ = Mλ and if f : M → N is a map of RF 2 -modules and if f induces
isomorphisms Mλ Nλ for all λ , χ0 , then f induces an isomorphism IF M IF N.
The result now follows from Corollary 6.27.
Suppose that v : F × → Z is a discrete valuation with residue field k, and that U1 = U12 . For
any Rk -module M, we have MF = RF ⊗Rk M. Now RF is a free Rk -module of rank 2. If π is a
uniformizer for v, Rk is the group ring over Rk of the cyclic group of order 2 with generator hπi.
Thus there is a split short exact of Rk -modules
/
0
/
Rk
ρπ
RF
/
Rk
/
0
where ρπ (x + y hπi) = y.
It follows that if M is any Rk -module there is an induced split short exact sequence of Rk modules
0
/
/
M
MF
ρπ ⊗id
/
M
/
0
g 1 (k) the composite Rk -homomorphism
In this situation we denote by δπ : RB(F) → RP
RB(F)
Sv
/
g 1 (k)F
RP
ρπ ⊗id
/
g 1 (k).
RP
H3 of SL2 of local rings
49
Lemma 6.30. Let v be a discrete valuation on F with residue field k and suppose that U1 = U12 .
Let π be a choice of uniformizer.
(1) There is a natural split short exact sequence of Rk -modules
0
(2) If M is an Rk
h i
1
2
/
/
Ik M
IF (MF )
ρπ ⊗id
/
/
M
0
h i
-module, then there is an isomorphism of RF
1
2
-modules
IF (MF ) (Ik M) ⊕ M
where hπi acts as multiplication by 1 on the first factor and as multiplication by −1 on
the second.
Proof.
(1) There is a commutative diagram of Rk -modules with exact row and columns:
0
0
0
Ik M
IF MF
/
/
M
id
M Gk
/
MF
ρπ ⊗id
/
M
/
0
M Gk
0
0
h i
(2) There is an decomposition of the RF 21 -module MF for the action of hπi (see Remark
6.17 above):
MF = (MF )(π,1) ⊕ (MF )(π,−1) = M(π, 1) ⊕ M(π, −1).
But IF M(π, −1) = M(π, −1) and IF M(π, 1) = (Ik M)(π, 1).
Corollary 6.31. Let v be a discrete valuation on F with residue field k and suppose that U1 =
U12 . Let π be a choice of uniformizer. Suppose that |GF | < ∞. Then
(1) There is a split short exact sequence of Rk -modules
h i
h i δπ
h i
/ RB0 (k) 1
/ RB0 (F) 1
/ RP1 (k) 1
0
2
2
2
h i
(2) There is an isomorphism of RF 12 -modules
h i
h i
h i
RB0 (F) 21 RB0 (k) 12 ⊕ RP1 (k) 12
/
0.
where π acts as (multiplication by) 1 on the first factor and −1 on the second factor.
Proof. By Corollary 6.29
RB0 (F)
h i
1
2
h i
IF RP1 (k)F 12 .
The result follows from Lemma 6.30, together with the identification Ik RP1 (k)
h i
1
2
RB0 (k)
h i
1
.
2
50
KEVIN HUTCHINSON
Corollary 6.32. Let F be a field with a discrete value v and residue field k. Suppose that
2
U1 = U1 and that either the characteristic of k is not 2 or k is perfect. Suppose further that
G
ck < ∞. Then
h i
h i h i⊕2
RB0 (F) 12 P(k) 21 ⊕ RB0 (k) 12
.
Proof. This follows from Corollary 6.31 together with the isomorphisms
h i
h i
h i
h i
RP1 (k) 12 IF RP1 (k) 12 ⊕ RP1 (k)χ0 RB0 (k) 12 ⊕ P(k) 21 .
Remark 6.33. By the proof of Corollary
6.27, if we fix a choice of uniformizer
π, the isomorh i
h i
1
1
phism is an isomorphism of RF 2 -modules, where π acts as −1 on P(k) 2 and on one of the
h i
factors of RB0 (k) 12 , while it acts as 1 on the other factor.
An argument by induction on n then gives the following version for n-dimensional local fields:
Corollary 6.34. Let F0 , F1 , . . . , Fn be fields with the following properties: For each i ∈ {1, . . . , n}
there is a discrete valuation vi on Fi whose residue field is Fi−1 . Suppose furthermore that
(1)
(2)
(3)
U1 (Fi )2 = U1 (Fi ) for i = 1, . . . , n
Either
char(F0 ) , 2 or F0 is perfect
GF0 < ∞.
Then
RB0 (F)
h i
1
2
 n−1

h i⊕2n−i−1  M
h i⊕2n
M

1

P(Fi )
RB0 (F0 ) 1
.

2
2
i=0
Corollary 6.35. Under the same hypotheses as Corollary 6.34, suppose also that F0 is quadratically closed or real or finite. Then
RB0 (F)
n−1
M
h i
1
2
P(Fi )
h i⊕2n−i−1
1
2
.
i=0
Proof. By Lemma 2.5, RB0 (F0 ) = 0 in these cases.
Remark 6.36. From the observation of Remark 6.33 and induction, the direct sum
h idecomposition on the right can be understood as an eigenspace decomposition of RB(F) 12 (or of
h i
RP1 (F) 21 ) as follows:
There are natural injective maps GFi−1 → GFi (1 ≤ i ≤ n) which induce surjective homomorcFi → Gd
phisms G
Fi−1 . For each i ≤ n, let
cF → G
cFi ) = {χ ∈ G
cF | χ|GF = 1}.
Wi := Ker(G
i
h i
For each i < n and for each χ ∈ Wi \ Wi+1 , the χ-eigenpace of RB(F) 12 is isomorphic to the
h i
module P(Fi ) 12 (on which the square class of a acts as multiplication by χ(a)).
H3 of SL2 of local rings
6.5. Lifting back to H3 (SL2 (F), Z
h i
1
2
51
). In this section we discuss some circumstances under
which the preceeding results can be lifted from RB(F) to RB(F).
We begin with the following observation:
Lemma 6.37. Let F be a field with discrete value v and residue field k. Suppose that either
char(k) , 2, 3 or char(k) = 2 and v is complete. Then DF = 0 if and only if Dk = 0 and hence
there is an isomorphism of groups Z · DF Z · Dk .
Proof. The hypotheses ensure that Φ(x) has a root in k if and only if it has a root in F.
Remark 6.38. When F = Q3 ad k = F3 we have DF , 0 but Dk = 0.
Lemma 6.39. The specialization map S v induces an surjective homomorphism of RF -modules
//
DF
(Dk )F .
Proof. The map S v from RF · DF = DF to RF ⊗Z[U] Rk · Dk = (Dk )F sends α · DF to α ⊗ Dk .
We let DF (v) := Ker(DF → (Dk )F ).
Lemma 6.40. Let F be a field with discrete value v and residue field k. Suppose that either
char(k) , 2, 3 or char(k) = 2 and v is complete. Then DF (v) Ker(IF DF → IF (Dk )F )
Proof. For any RF -module M there is a natural short exact sequence
0 → IF M → M → M ⊗RF Z = MGF → 0.
In the case of the module DF = RF · DF , this sequence takes the form
0 → IF DF → DF → Z · DF → 0.
On the other hand, if M is a Rk -module, then
(MF )GF = (M ⊗Z[U] RF ) ⊗RF Z M ⊗Z[U] Z = M ⊗Rk Z = MGk .
Thus we have a map of short exact sequences
/
0
0
/
/
IF DF
IF (Dk )F
/
DF
(Dk )F
/
/
Z · DF
/
0
Z · Dk
/
0
Remark 6.41. Of course, when char(F) = 0 and char(k) = 3 it may happen that DF , 0 but
DK = 0. In this case, DF (v) = DF .
Corollary 6.42. Let F be a field with discrete value v and residue field k. Suppose that either
char(k) , 2, 3 or char(k) = 2, k is perfect and v is complete. Suppose further that |GF | < ∞.
Then there is an exact sequence of RF -modules
h i
h i
g 1 (k)F 1 → 0
0 → DF (v) → RB0 (F) 21 → IF RP
2
and
h i
h i
h i
g 1 (k)F 1 RB0 (k) 1 ⊕ RP
g 1 (k) 1
IF RP
2
2
2
52
KEVIN HUTCHINSON
Proof. In the commutative diagram of RF -modules with
0
0
0
h i
g
IF RP1 (k)F 12
/
/
IF ((Dk )F )
/
0
0
/
0
(Dk )F
/
g 1 (k)F
RP
Z · Dk
/
P(k)
h i
IF RP1 (k)F 21
/
/
h i
1
2
RP1 (k)F
/
h i
1
2
0
P(k)
0
/
0
/
0
h i
/
1
2
h i
1
2
0
0
the columns are exact and the second and third rows are exact. It follows that the top row is
exact also, and hence there is a natural map of short exact sequences
h i
h i
/ IF DF
/ RB0 (F) 1
/ RB0 (F) 1
/0
0
2
2
0
/
IF ((Dk )F )
/
h i
g 1 (k)F 1
IF RP
2
/
h i
IF RP1 (k)F 21
/
0
h i
The last statement follows by the argument given above in the case of IF RP1 (k) 12 .
Corollary 6.43. Let F be a field with discrete value v and residue field k. Suppose that either
char(k) , 2, 3 or char(k) = 2, k is perfect and v is complete. Suppose further that |GF | < ∞. Let
π be a choice of uniformizer Then there is an exact sequence of RF -modules
h i
h i
h i h i⊕2
→ 0.
0 → DF (v) → H3 (SL2 (F), Z 21 ) → K3ind (F) 21 ⊕ P(k) 21 ⊕ RB0 (k) 12
h i
h i
(where π acts as −1 on P(k) 12 and on one of the factors of RB0 (k) 21 and as 1 on the other
factor).
h i
Proof. There is a decomposition of RF 12 -modules
h i
h i
h i
h i
h i
H3 (SL2 (F), Z 12 ) H3 (SL2 (F), Z 12 ) ⊕ IF H3 (SL2 (F), Z 12 ) K3ind (F) 12 ⊕ RB0 (F) 12 .
χ0
The result then follows from Corollary 6.42, together with the isomorphisms
h i
h i
h i
h i
h i
g 1 (K)F 1 RB0 (k) 1 ⊕ RP
g 1 (k) 1 RB0 (k) 1 ⊕2 ⊕ P(k) 1 .
IF RP
2
2
2
2
2
Lemma 6.44. Let F be a field with discrete valuation v and residue field k. Suppose that
U1 = U12 , that char(k) , 3 and that ζ3 < k. Let π ∈ F be a uniformizer and
let
C2 denote
the cyclic subgroup of GF generated by the square-class of π. Suppose that Gk < ∞. Then
cF is isomorphic to the group algebra R
bk [C2 ].
GF Gk × C2 and R
H3 of SL2 of local rings
53
Proof. Let Ñk = {u ∈ U | ū ∈ Nk }. It is enough to show that
NF = π2Z · Ñk .
Let u ∈ Ñk . Thus ±ū = s̄2 − s̄t¯ + t¯2 for some s, t ∈ U. Thus ±u = (s2 − st + t2 )w2 for some
w ∈ U1 = U12 , and hence u ∈ NF .
It remains to show that π < NF : Suppose that a, b ∈ F × . Then v(a2 − ab + b2 ) ≡ v(1 − c + c2 )
(mod 2) where c = b/a. If v(c) , 0 then v(1−c+c2 ) ≡ 0 (mod 2). On the other hand if v(c) = 0
then v(1 − c + c2 ) = 0 since 1 − c̄ + c̄2 , 0 in k by hypothesis.
It follows that if x ∈ NF then v(x) is even, and thus π < NF in this case.
Corollary 6.45. Let F be a field with discrete valuation v and residue field k. Suppose that
bk U1 = U12 , that char(k) , 3 and that ζ3 < k. Suppose further that Dk is a free rank one R
module.
cF -module and DF (v) = 0.
Then DF is a free rank one R
bk → R
cF induces an isomorphism of
Proof. By Lemma 6.44, the natural ring homomorphism R
bk )F R
cF . It follows that the composition of surjective maps
rings (R
cF
R
//
DF
Sv
//
(Dk )F
/
bk )F
(R
is an isomorphism, and thus each of the maps appearing in this sequence is an isomorphism. Corollary 6.46. Let F be a field with discrete valuation v and residue field k satisfying:
(1) Either
(a) char(k) , 2, 3 and U1 = U12
(b) char(k) = char(F) = 3
(c) char(k) = 2 and v is complete
bk -module.
(2) |Gk | < ∞ and either Dk = 0 or Dk is free on rank one as an R
h i
Then there is an isomorphism of RF 21 -modules
h i
h i
h i h i⊕2
H3 (SL2 (F), Z 12 ) K3ind (F) 12 ⊕ P(k) 12 ⊕ RB0 (k) 12
As noted above, if k is either quadratically closed or real-closed or finite, then RB0 (k) = 0.
Furthermore, Gk is either trivial or generated by the class of −1. It follows that Gk = {1} and
bk = F3 . Hence, in this case, either Dk = 0 or Dk = F3 · Dk is free of rank one as a
hence R
bk -module. Using this observation together with induction, we deduce:
R
Theorem 6.47. Let F0 , F1 , . . . , Fn = F be fields with the following properties: For each i ∈
{1, . . . , n} there is a discrete valuation vi on Fi whose residue field is Fi−1 . Suppose that F0 is
quadratically closed or real-closed or finite. Suppose furthermore that
(1) U1 (Fi )2 = U1 (Fi ) for i = 1, . . . , n
(2) If char(Fi ) = 2 for some i < n then Fi is perfect and vi+1 is complete
(3) Either char(F) = 3 or char(F0 ) , 3 or ζ3 ∈ F
Then
 n−1

h i
h i M
h i⊕2n−i−1 

 .
ind
1
1
1
P(Fi ) 2
H3 (SL2 (F), Z 2 ) K3 (F) 2 ⊕ 

i=0
54
KEVIN HUTCHINSON
7. The localization sequence for discrete valuation rings
7.1. Discrete valuation rings with infinite residue field.
Lemma 7.1. Let A be a local integral domain with infinite residue field F. Suppose that U1,A =
2
U1,A
and that either
(1) |GF | ≤ 2 or
2
(2) |GF | < ∞ and F has a discrete valuation v for which U1,v = U1,v
.
cF -module.
Suppose further that DF is free of rank one as an R
Then the quotient map A → F induces an isomorphism RB0 (A)
h i
1
2
RB0 (F)
h i
1
2
.
Proof. We have
RB0 (A)
h i
1
2
RB0 (F)
h i
1
2
by Corollaries 6.10 and 6.27. But DA DF by Lemma 4.22, and hence this lifts to an isomorphism We have
h i
h i
RB0 (A) 12 RB0 (F) 12 .
Let δπ denote the map H3 (SL2 (K), Z
h i
composite map with Z 21 :
h i
/
1
2
H3 (SL2 (K), Z)
g 1 (F)
) → RP
RB(K)
Sw
/
h i
1
2
obtained by tensoring the following
g 1 (F)K
RP
ρπ ⊗id
/
g 1 (F).
RP
Theorem 7.2. Let K be a field with discrete valuation w and infinite residue field F satisfying
2
char(F) = char(K). Let Ow be the associated valuation ring. Suppose that U1,w = U1,w
and that
either
(1) |GF | ≤ 2 or
2
(2) |GF | < ∞ and F has a discrete valuation v for which U1,v = U1,v
.
cF -module.
Suppose further that DF is free of rank one as an R
Let π ∈ Ow be a uniformizer. Then there is a natural split short exact sequence of RF
modules
h i
h i
h i
/ H3 (SL2 (Ow ), Z 1 )
/ H3 (SL2 (K), Z 1 ) δπ / RP
/ 0.
g 1 (F) 1
0
2
2
2
Proof. We have
RB0 (Ow )
h i
1
2
RB0 (F)
h i
1
2
g 1 (F)
= IF RP
h i
1
2
by Lemma 7.1, and
RB0 (K)
h i
1
2
h i
g 1 (F)K 1
IK RP
2
by Corollary 6.42.
It follows that there is a natural short exact sequence
h i
h i
/ RB0 (Ow ) 1
/ RB0 (K) 1
0
2
2
δπ
/
g 1 (F)
RP
h i
1
2
/
0
h i
1
2
H3 of SL2 of local rings
55
by Lemma 6.30, which fits into the commutative diagram with exact columns
0
/
0
/
0
0
RB0 (Ow )
1
2
H3 (SL2 (Ow ), Z
/
h i
1
)
2
K3ind (Ow )
/
h i
h i
1
2
RB0 (K)
δπ
h i
1
2
H3 (SL2 (K), Z
/
h i
1
2
)
/
δπ
/
g 1 (F)
RP
h i
1
2
/
0
h i
/
0
=
g 1 (F)
RP
1
2
K3ind (K)
h i
1
2
0
0
7.2. Discrete valuation rings with finite residue field. For the case of finite residue fields, we
are only in the position to assert the following.
Lemma 7.3. Let K be a field with discrete valuation w. Let Ow be the corresponding discrete
valuation ring and F the residue field. Let π be a unifomizing parameter. Suppose that F is
2
finite, |F| < Σ0 and that U1,w = U1,w
. Then there is a natural exact sequence
h i
h i
h i
h i
/ B(Ow ; K) 1
/ H3 (SL2 (Ow ), Z 1 )
/ 0.
/ H3 (SL2 (K), Z 1 ) δπ / P(F) 1
0
2
2
2
2
g 1 (F)
Proof. Note that RP
h i
RF 12 -modules
h i
1
2
RB0 (K)
P(F)
h i
1
2
h i
Sw
1
2
/
since RB0 (F) = 0. Thus there is an isomorphism of
h i
g 1 (F)K 1
IK RP
2
δπ
/
P(F)
h i
1
2
.
From this, using Corollary 6.16, we obtain a commutative diagram with exact rows
h i
h i
h i
/ B(Ow ; K) 1
/ H3 (SL2 (Ow ), Z 1 )
/ K ind (A) 1
/0
0
3
2
2
2
0
/
0
RB0 (K)
1
2
δπ P(F)
/
h i
h iv
H3 (SL2 (K), Z
/
h i
1
)
2
K3ind (K)
h i
1
2
/
0
δπ
1
2
0
from which the statement follows.
h i
h i
= 0 if and only if H3 (SL2 (Ow ), Z 12 ) Remark 7.4. Of course, by Corollary 6.16 above B(Ow ; K) 21
h i
K3ind (Ow ) 12 and we would expect this to be the case (at least when the residue field is sufficiently large).
56
KEVIN HUTCHINSON
8. Examples
Theorem 6.19 in [8] says that if F is a field complete with respect to a discrete valuation with
finite residue
(if Q3 ⊂ F, we require that [F : Q3 ] is odd), then
h i field hofi odd characteristic
h i
1
1
1
RB0 (F) 2 P(k) 2 B(k) 2 and hence
h i
h i
h i
H3 (SL2 (F), Z 21 ) K3ind (F) 12 ⊕ P(k) 12 .
In particular, RB0 (Q p )
h i
1
2
P(F p )
h i
1
2
is p ≥ 5. This is a cyclic group of order (p + 1)0 .
Example 8.1. Letting K = C ((x)) in Theorem 7.2 gives a (split) short exact sequence of Z
modules
h i
h i
/ H3 (SL2 (C [[x]]), Z 1 )
/ H3 (SL2 (C ((x))), Z 1 ) δ x / P(C)
/0
0
2
2
h i
1
2
since RP1 (C) = P(C) is a Q-vector space. Furthermore, we have
h i
h i
h i
H3 (SL2 (C [[x]]), Z 12 ) K3ind (C [[x]]) 12 K3ind (C ((x))) 12
by Corollary 3.27 and Theorem 2.1. (More generally, C can be replaced with any infinite
quadratically closed field in this example.)
h i
Example 8.2. Letting K = R ((x)) in Theorem 7.2 gives a (split) short exact sequence of Z 12 modules
h i
h i
h i
/0
/ H3 (SL2 (R ((x))), Z 1 ) δ x / P(R) 1
/ H3 (SL2 (R [[x]]), Z 1 )
0
2
2
2
h i
h i
since RB0 (R) = 0 and hence RP1 (R) 21 = P(R) 12 .
Furthermore, we have
h i
h i
h i
H3 (SL2 (R [[x]]), Z 12 ) K3ind (R [[x]]) 12 K3ind (R ((x))) 12
by Corollaries 3.26 and 6.10 and Theorem 2.1. (More generally, R can be replaced with any
real-closed field in this example.)
Example 8.3. Let p be a prime. For simplicity, we suppose
that p ≥ 5. Letting K = Q p ((x)) in
h i
1
Theorem 7.2 gives a (split) short exact sequence of Z 2 -modules
0
/
H3 (SL2 (Q p [[x]]), Z
/
h i
1
)
2
H3 (SL2 (Q p ((x))), Z
h i
1
)
2
δx
/
RP1 (Q p )
h i
1
2
/
Furthermore, we have
H3 (SL2 (Q p [[x]]), Z
h i
h i
h i
ind
1
1
1
[[x]])
[[x]])
)
K
(Q
⊕
RB
(Q
by Corollary 3.26
p
0
p
3
2
2
2
h i
h i
K3ind (Q p ((x))) 21 ⊕ RB0 (Q p ) 12 by Lemma 7.1
h i
h i
K3ind (Q p ((x))) 21 ⊕ P(F p ) 21 by Corollary 6.42
and
g 1 (Q p )
RP
h i
1
2
RB0 (Q p )
h i
1
2
⊕ P(Q p )
h i
1
2
P(F p )
h i
1
2
⊕ P(Q p )
h i
1
2
.
0.
H3 of SL2 of local rings
57
h i
Alternatively, for the calculation of H3 (SL2 (Q p ((x))), Z 21 ), we can use Theorem 6.47 to conh i
clude that there is an RK 12 -module decomposition
h i
h i
h i
h i⊕2
H3 (SL2 (Q p ((x))), Z 12 ) K3ind (Q p ((x))) 12 ⊕ P(Q p ) 12 ⊕ P(F p ) 12 .
More generally, Q p can be replaced with any local field of residue characteristic at least 5 in
this example.
If we replace Q p with a local field of residue characteristic 3, our calculations
may
h ibe missing
h i
1
a small amount of 3-torsion, but certainly remain valid if we replace Z 2 with Z 16 .
If we replace Q p with a local field of residue characteristic 2 our arguments generally do not
apply, since the condition U1 = U12 no longer holds. (Nevertheless, we would conjecture that
the results remain valid in this case.)
Example 8.4. Replacing
h i Q p with F = C ((y)) in Example 8.3, we obtain again a (split) short
exact sequence of RF 12 -modules
0
/
H3 (SL2 (C ((y)) [[x]]), Z
h i
1
2
/
)
H3 (SL2 (C ((y)) ((x))), Z
δx
h i
1
)
2
/
RP1 (C ((y)))
h i
1
2
/
0.
Furthermore, we have
H3 (SL2 (C ((y)) [[x]]), Z
h i
1
2
h i
⊕ RB0 (C ((y)) [[x]]) 21 by Corollary 3.26
h i
h i
K3ind (C ((y)) ((x))) 12 ⊕ RB0 (C ((y))) 21 by Lemma 7.1
h i
h i
K3ind (C ((y)) ((x))) 12 ⊕ P(C) 12 by Corollary 6.42
) K3ind (C ((y)) [[x]])
h i
1
2
and
h i
h i
P(C) 12 ⊕ P(C ((y))) 12 .
h i
Alternatively, for the calculation of H3 (SL2 (C ((y)) ((x))), Z 12 ), we can use Theorem 6.47 to
h i
conclude that there is an RK 12 -module decomposition
h i
h i
h i
h i⊕2
H3 (SL2 (C ((y)) ((x))), Z 12 ) K3ind (C ((y)) ((x))) 12 ⊕ P(C ((y))) 12 ⊕ P(C) 12 .
g 1 (C ((y)))
RP
h i
1
2
RB0 (C ((y)))
h i
1
2
⊕ P(C ((y)))
h i
1
2
Of course, we can replace C by any quadratically closed field in this example. We can even
replace C by any real-closed field, and the results remain valid, since for such fields k we have
RB0 (k) = 0.
Exampleh 8.5.
i Let K = Q p ((x1 )) · · · ((xn )) with p ≥ 5 for simplicity. Then, by Theorem 6.47, we
1
have RK 2 -module isomorphisms
H3 (SL2 (K), Z
h i
1
2
)
h i
K3ind (K) 12
⊕
n−1 M
P(Q p ((x1 )) · · · ((xi )))
h i⊕2n−i 1
2
⊕ P(F p )
h i⊕2n
1
2
i=1
and
H3 (SL2 (K [[x]]), Z
h i
h i
h i
ind
1
1
1
((x)))
)
K
(K
⊕
RB
(K)
0
3
2
2
2
n−1
M
h i
h i⊕2n−i h i⊕2n
K3ind (K ((x))) 21 ⊕
.
P(Q p ((x1 )) · · · ((xi ))) 12
⊕ P(F p ) 12
i=1
58
KEVIN HUTCHINSON
Example 8.6. Let p > 7 be a prime number. Then
h i
h i
h i
H3 (SL2 (Q p ), Z 12 ) K3ind (Q p ) 21 ⊕ P(F p ) 12
and, by Lemma 7.3, there is an exact sequence
h i
h i
h i
h i
0 → B(Z p ; Q p ) 12 → H3 (SL2 (Z p ), Z 12 ) → H3 (SL2 (Q p ), Z 21 ) → P(F p ) 12 → 0
where B(Z p ; Q p ) = Ker(B(Z p ) → B(Q p )) is conjecturally 0 and
h i
h i
h i
Im(H3 (SL2 (Z p ), Z 21 ) → H3 (SL2 (Q p ), Z 12 )) K3ind (Q p ) 12 .
Acknowledgement I wish to thank Behrooz Mirzaii for answering some questions concerning
his results on the third homology of S L2 .
References
[1] Spencer J. Bloch. Higher regulators, algebraic K-theory, and zeta functions of elliptic curves, volume 11 of
CRM Monograph Series. American Mathematical Society, Providence, RI, 2000. 1
[2] Jean-Louis Cathelineau. Homologie du groupe linéaire et polylogarithmes (d’après A. B. Goncharov et
d’autres). Astérisque, (216):Exp. No. 772, 5, 311–341, 1993. Séminaire Bourbaki, Vol. 1992/93. 1
[3] Johan L. Dupont and Chih Han Sah. Scissors congruences. II. J. Pure Appl. Algebra, 25(2):159–195, 1982. 2
[4] Philippe Elbaz-Vincent. The indecomposable K3 of rings and homology of SL2 . J. Pure Appl. Algebra,
132(1):27–71, 1998. 2
[5] Alexander Goncharov. Volumes of hyperbolic manifolds and mixed Tate motives. J. Amer. Math. Soc.,
12(2):569–618, 1999. 1
[6] Kevin Hutchinson. A Bloch-Wigner complex for SL2 . J. K-Theory, To appear. 2, 3, 5, 6, 14, 16, 17, 23, 29
[7] Kevin Hutchinson. Low-dimensional homology of SL2 of Laurent polynomials. In preparation. 2
[8] Kevin Hutchinson. A refined Bloch group and the third homology of SL2 of a field. J. Pure Appl. Algebra,
217:2003–2035, 2013. 1, 2, 3, 5, 19, 20, 21, 22, 23, 24, 26, 30, 31, 36, 56
[9] Kevin Hutchinson and Liqun Tao. The third homology of the special linear group of a field. J. Pure Appl.
Algebra, 213:1665–1680, 2009. 1, 2
[10] Kevin Hutchinson and Liqun Tao. Homology stability for the special linear group of a field and Milnor-Witt
K-theory. Doc. Math., (Extra Vol.):267–315, 2010. 1
[11] Kevin P. Knudson. Homology of linear groups, volume 193 of Progress in Mathematics. Birkhäuser Verlag,
Basel, 2001. 11
[12] Marc Levine. The indecomposable K3 of fields. Ann. Sci. École Norm. Sup. (4), 22(2):255–344, 1989. 23
[13] Hideya Matsumoto. Sur les sous-groupes arithmétiques des groupes semi-simples déployés. Ann. Sci. École
Norm. Sup. (4), 2:1–62, 1969. 1
[14] Behrooz Mirzaii. Third homology of general linear groups. J. Algebra, 320(5):1851–1877, 2008. 2, 5
[15] Behrooz Mirzaii. Bloch-Wigner theorem over rings with many units. Math. Z., 268(1-2):329–346, 2011. 17
[16] Behrooz Mirzaii. Third homology of general linear groups over rings with many units. J. Algebra, 350:374–
385, 2012. 17
[17] Calvin C. Moore. Group extensions of p-adic and adelic linear groups. Inst. Hautes Études Sci. Publ. Math.,
(35):157–222, 1968. 1
[18] Walter D. Neumann and Jun Yang. Bloch invariants of hyperbolic 3-manifolds. Duke Math. J., 96(1):29–59,
1999. 1
[19] Walter Parry and Chih-Han Sah. Third homology of SL(2, R) made discrete. J. Pure Appl. Algebra,
30(2):181–209, 1983. 6
[20] Chih-Han Sah. Homology of classical Lie groups made discrete. III. J. Pure Appl. Algebra, 56(3):269–312,
1989. 1, 2
[21] A. A. Suslin. Homology of GLn , characteristic classes and Milnor K-theory. In Algebraic K-theory, number
theory, geometry and analysis (Bielefeld, 1982), volume 1046 of Lecture Notes in Math., pages 357–375.
Springer, Berlin, 1984. 11, 12
[22] A. A. Suslin. Torsion in K2 of fields. K-Theory, 1(1):5–29, 1987. 1
[23] A. A. Suslin. K3 of a field, and the Bloch group. Trudy Mat. Inst. Steklov., 183:180–199, 229, 1990. Translated
in Proc. Steklov Inst. Math. 1991, no. 4, 217–239, Galois theory, rings, algebraic groups and their applications
(Russian). 1, 2, 5, 22, 23
H3 of SL2 of local rings
59
[24] Wilberd van der Kallen. The K2 of rings with many units. Ann. Sci. École Norm. Sup. (4), 10(4):473–515,
1977. 1
[25] Wilberd van der Kallen. Homology stability for linear groups. Invent. Math., 60(3):269–295, 1980. 1
[26] Charles A. Weibel. The K-book, volume 145 of Graduate Studies in Mathematics. American Mathematical
Society, Providence, RI, 2013. An introduction to algebraic K-theory. 4
[27] Don Zagier. The dilogarithm function. In Frontiers in number theory, physics, and geometry. II, pages 3–65.
Springer, Berlin, 2007. 1
School of Mathematical Sciences, University College Dublin
E-mail address: kevin.hutchinson@ucd.ie