arXiv:1103.4780v2 [math.AC] 26 Sep 2012

A DEGREE MAP ON UNIMODULAR ROWS
J. FASEL
Abstract. Let k be a field and let (An − 0) be the punctured affine space.
We associate to any morphism g : (An − 0) → (An − 0) an element in the Witt
group W (k) that we call the degree of g. We then use this degree map to give
a negative answer to a question of M. V. Nori about unimodular rows.

Introduction
Let R be a ring and let P be a projective R-module such that P ⊕ R ≃ Rn+1
for some n ∈ N. The obvious question is to know if such an isomorphism yields an
isomorphism P ≃ Rn . In general, this is not the case and finding general conditions
for the answer to be positive is an important an extensively studied problem. Recall
that one can associate to a projective P
module as above a unimodular row of length
n+1, i.e. a row (a0 , . . . , an ) such that Rai = R. Let U mn+1 (R) be the set of unimodular rows of length n+ 1. It is clear that GLn+1 (R) acts on U mn+1 (R) by right
multiplication, and therefore so does any subgroup of GLn+1 (R). In general, one
is particularly interested by the groups En+1 (R) generated by elementary matrices and SLn+1 (R), because U mn+1 (R)/En+1 (R) corresponds to some cohomotopy
group in the topological situation and then carries a groups structure when n is
"reasonable" compared to the Krull dimension of d ([19, Theorem 4.1]) and because
U mn+1 (R)/SLn+1 (R) classifies up to isomorphism projective modules P such that
P ⊕R ≃ Rn+1 . One says that a unimodular row v is completable if v ∈ e1 SLn+1 (R)
where e1 = (1, 0, . . . , 0). Thus the question to know if P ⊕R ≃ Rn+1 implies P ≃ Rn
reduces to the question to know if the associated unimodular row is completable.
The first general condition on unimodular rows to be completable was given by
Suslin ([18, Theorem 2]).
Theorem. Let R be an arbitrary ring, let (a0 ,Q
. . . , an ) be a unimodular row and let
n
m0 , . . . , mn be positive integers. Suppose that i=0 mi is divisible by n!. Then the
m0
mn
row (a0 , . . . , an ) is completable.
If R is an algebra over a field k, observe that an element v ∈ U mn+1 (R) corresponds naturally to a morphism of schemes f : Spec(R) → (An+1
− 0). Now the
k
i
induces a
homomorphism φ : k[x0 , . . . , xn ] → k[x0 , . . . , xn ] defined by φ(xi ) = xm
i
n+1
n+1
morphism ϕ : (Ak − 0) → (Ak − 0) and Suslin’s result reads as follows: Let
v ∈ U mn+1 (R) corresponding to the morphism f : Spec(R) → (An+1
− 0). Then
k
the row w corresponding to ϕf is completable. In view of this, M. V. Nori asked
the following very natural question ([14]):
Question (M. V. Nori). Let R = k[x0 , . . . , xn ] be the polynomial ring in n + 1
variables,
where k is a field. Let φ : R → A be a k-algebra homomorphism such that
P
φ(xi )A = A. Let f0 , . . . , fn such that rad(f0 , . . . , fn )) = (x0 , . . . , xn ). Assume
1

2

J. FASEL

l(R/(f0 , . . . , fn )) is divisible by n!. Then is the unimodular row (φ(f0 ), . . . , φ(fn ))
completable?
Mohan Kumar proved that this question has a positive answer when the base
field is algebraically closed and the polynomials fi are homogeneous ([14]). The
purpose of this article is to show that the answer to Nori’s question is negative in
general for n odd. More precisely, we prove the following theorem (Theorem 4.7 in
the text).
√
Theorem. Let k be a field such that −1 6∈ k. Consider the unimodular row
(x1 , x2 , x3 ) ∈ U m3 (S3 ) and the map g : (A3 − 0) → (A3 − 0) defined by the algebra
homomorphism ϕ : k[x1 , x2 , x3 ] → k[x1 , x2 , x3 ] given by ϕ(x1 ) = x21 − x22 , ϕ(x2 ) =
x1 x2 and ϕ(x3 ) = x3 . Then k[x1 , x2 , x3 ]/(x21 − x22 , x1 x2 , x3 ) is of length 4, but
(x21 − x22 , x1 x2 , x3 ) ∈ U m3 (S3 ) is not completable.
Our guess is that Nori’s question has an affirmative answer when n is even.
We now describe our strategy to
Pprove this result. Consider the affine k-algebra
An = k[x1 , . . . , xn , y1 , . . . , yn ]/( xi yi − 1) and set Sn = Spec(An ). There is a
natural projection p : Sn → (Ank − 0) with affine fibres. Now it is not hard to
see that any unimodular row f : Spec(R) → (Ank − 0) factors through Sn , i.e.
there exists a morphism f ′ : Spec(R) → Sn such that f = pf ′ . This is the reason
why we call Sn the unimodular affine scheme. To prove a general property of the
unimodular rows of length n over any k-algebra R, it suffices then to prove it over
Sn .
Suppose for a while that k = R. Let f : Sn → (AnR − 0) be any morphism.
Considering only the real closed points, and using the fact that the projection
p : Sn → (Ank − 0) has affine fibers, we are left up to homotopy with a polynomial
map f : (Rn − 0) → (Rn − 0). We can consider its (Brouwer) degree, defined as the
sum of the signs of the Jacobian of f at all preimages (under f ) near 0 of a regular
value of f near 0. Since the Witt group of R is equal to Z, we can see the degree
as an element of W (R). It is worth noting that the degree of two homotopic maps
are the same, and that the degree of the constant map is 0. Thus a map with a non
constant degree cannot be homotopic to a constant map. Translating this rather
easy topological situation to an algebraic situation will be our motivation for the
rest of the paper.
n−1
We begin with the definition of a symbol φ : U mn (R) → GWred
(R), where the
latter is a quotient of the derived Grothendieck-Witt groups of R, as defined by
Walter ([22], see also [2]). This definition requires some knowledge of GrothendieckWitt groups, and we therefore spend a few sections to remind some basic facts about
n−1
these groups. The group GWred
(R) being homotopy invariant, this symbol factors
through the action of the group En (R) generated by elementary matrices to give a
n−1
symbol φ : U mn (R)/En (R) → GWred
(R) for n ≥ 3.
n−1
If n is odd, the symbol yields a symbol Φ : U mn (R)/SLn (R) → GWred
(R) while
this is not the case for n even. This rather odd fact will probably be explained when
the computation of the Grothendieck-Witt groups of SLn will be fully achieved
(we expect a different answer depending on the parity of n). We then compute the
n−1
Grothendieck-Witt groups of Sn to get GWred
(Sn ) = W (k), the Witt group of
the base field. Under this identification Φ(p) = h1i, where p : Sn → (Ank − 0) is the
projection.

A DEGREE MAP ON UNIMODULAR ROWS

3

In Section 4, we associate to any morphism f : (Ank − 0) → (Ank − 0) a degree
generalizing the (Brouwer) degree. This degree map take coefficient in the Witt
group W (k) of the base field k, and we ingeniously denote by deg(f ) the degree of
the map f . The basic fact here is that Φ(f ◦ p) = deg(f ) in W (k)! This is exactly
the obstruction we need to exhibit our counter-example to Nori’s question.
In view of the example provided by Theorem 4.7, we propose a strengthened
conjecture (Question 4.8 in the text) which is equivalent to the original conjecture
when the base field k is algebraically closed.
Question. Let R be a k-algebra, n ∈ N be odd and let f : Spec(R) → (An − 0) be
a unimodular row. Let ϕ : k[x1 , . . . , xn ] → k[x1 , . . . , xn ] such that ϕ(m) ⊂ m and
that (n − 1)! divides the length of k[x1 , . . . xn ]/ϕ(m). Let g : (An − 0) → (An − 0)
be the morphism induced by ϕ. If the degree deg(g) = 0, then the unimodular row
gf : Spec(R) → (An − 0) is completable.
Conventions. Any scheme is of finite type and separated over a field of characteristic different from 2.
Acknowledgments. I’m grateful to Stefan Gille for communicating me the correct
signs in the definition of the symmetric form on a Koszul complex. It is a pleasure
to thank Ravi Rao for bringing the question to my notice and Sarang Sane for useful
conversations. I also wish to thank Wilberd van der Kallen for his remarks on a
preliminary version of the paper. This work was supported by the Swiss National
Science Foundation, grant PAOOP2_129089.
1. Unimodular rows
Let R be a k-algebra. A unimodular row of length n ≥ 2 is a surjective homomorphism Rn → R. We denote by U mn (R) the set of unimodular rows of length n.
The group GLn (R) acts on U mn (R) by left composition, and so do any subgroup.
We say that v ∈ U mn (R) is completable if it is the first row of a matrix in SLn (R).
Observe that U mn (R) = Hom(Spec(R), An − 0). Let r : SLn → (An − 0) be
the projection on the first row. In this setting, a unimodular row f : Spec(R) →
(An − 0) is completable if f factors through SLn , i.e if there exists a morphism
f ′ : Spec(R) → SLn such that the diagram
f′

// SLn
Spec(R)
▲▲▲
▲▲▲
r
▲
f ▲▲▲
%% 
(An − 0)
commutes.
1.1. Steinberg symbols. Let R be a ring. A Steinberg symbol is a pair (ρ, G),
where G is a group and ρ : U mn (R) → G is a map such that the following relations
hold:
(1) ρ(v) = ρ(vE) for any E ∈ En (R).
(2) ρ(x, v2 , . . . , vn )ρ(1 − x, v2 , . . . , vn ) = ρ(x(1 − x), v2 , . . . , vn ) if (x, v2 , . . . , vn ) and
(1 − x, v2 , . . . , vn ) are unimodular.

4

J. FASEL

It is clear that a universal Steinberg symbol exists. We denote it by (Stn (R), st).
Observe that by definition a Steinberg symbol ρ : U mn (R) → G induces a map
ρ : U mn (R)/En (R) → G. If R is a ring of Krull dimension d with 2 ≤ d ≤ 2n − 4,
then W. van der Kallen proved that the universal Steinberg symbol (Stn (R), st)
induces a bijection st : U mn (R)/En (R) → Stn (R) ([20, Theorem 3.3]). Moreover,
Stn (R) is abelian in this situation ([20, Remark 3.4]), and therefore st endows
U mn (R)/En (R) with the structure of an abelian group.
1.2. Unimodular rows and projective modules. For any unimodular element
a = (a1 , . . . , an ) ∈ U mn (R) we denote by P (a) the cokernel of the homomorphism
at : R → Rn . We have then an exact sequence
0

// R

at

// Rn

// P (a)

// 0.

Usually, one defines P (a) to be the kernel of a : Rn → R and it is clear that our
definition is the dual of this one. If n is odd, then s(a) : Rn → R given by the
row (−a2 , a1 , . . . , −an−1 , an−2 , 0) has the property that s(a)(at ) = 0. It induces
a homomorphism P (a) → R that we still denote s(a). If n is even, then we can
define s(a) by the row (−a2 , a1 , . . . , −an , an−1 ) giving a surjective homomorphism
s(a) : P (a) → R.
The sequence
0

// R

at

// Rn

// P (a)

// 0

induces an isomorphism χ(a) : det P (a) ≃ R · e1 ∧ . . . ∧ en , where e1 , . . . , en is
the usual basis of Rn . If b = (b1 , . . . , bn ) is such that bat = 1 and fi is the
image of ei in P (a) forP1 ≤ i ≤ n, a straightforward computation shows that
n
χ(a)−1 (e1 ∧ . . . ∧ en ) = i=1 (−1)i bi · f1 ∧ . . . ∧ fi−1 ∧ fi+1 ∧ . . . ∧ fn . We denote by
ω(a) this generator of det P (a). Since ai ω(a) = (−1)i f1 ∧ . . . ∧ fi−1 ∧ fi+1 ∧ . . . ∧ fn
for all 1 ≤ i ≤ n, we see that ω(a) is independent of the choice of b. Indeed, if c is
such that cat = 1, then
n
n
X
X
(−1)i ci f1 ∧ . . . ∧ fi−1 ∧ fi+1 ∧ . . . ∧ fn .
ci ai )ω(a) =
ω(a) = (
i=1

i=1

2. Grothendieck-Witt groups
2.1. The basics. Let X be a scheme over Spec(k). For any j ∈ Z and any line
bundle L over X, we denote by GW j (X, L) the j-th Grothendieck-Witt group of the
derived category of bounded complexes of coherent locally free OX -modules, with
duality induced by the functor HomOX (_, L) ([22, §2]). We denote by W j (X, L)
the Witt groups of this category ([2, Definition 1.4.3]). By definition, there is an
exact sequence ([22, Theorem 2.6])
K0 (X)

// GW j (X, L)

// W j (X, L)

// 0.

The Grothendieck-Witt groups are contravariant: If f : Y → X is a morphism
of schemes, then there are homomorphisms f ∗ : GW j (X, L) → GW j (Y, f ∗ L). In
particular, the structural morphism p : X → Spec(k) induces a homomorphism
j
p∗ : GW j (k) → GW j (X) for any j ∈ Z. We denote by GWred
(X) its cokernel
j
(which is a direct factor of GW (X) if X has a rational point).

A DEGREE MAP ON UNIMODULAR ROWS

5

2.2. Transfers. Suppose that i : Y → X is a closed immersion. Then we can
consider the category of bounded complexes of coherent locally free OX -modules
whose homology is supported on Y . We will denote its Grothendieck-Witt groups
by GWYj (X, L). We can sometimes identify the groups with support on Y with
the groups associated to Y . This procedure is usually called dévissage. In the
special situation where X and Y are smooth, the dévissage can be described as
follows: Let i : (Y, OY ) → (X, i∗ OY ) be the morphism of ringed spaces induced
by i. Suppose that i is of pure codimension d. If L is a line bundle over X, then
∗
N := i ExtdOX (i∗ OY , i∗ L) is a line bundle over Y and there is a transfer morphism
([7, Theorem 6.2])
i∗ : GW j (Y, N ) → GWYj+d (X, L).
At the level of the Witt groups, this homomorphism is in fact an isomorphism ([13,
Theorem 3.2]). This fact is also true for Grothendieck-Witt groups, but we don’t
use it here. In case N is trivial, i∗ becomes an isomorphism
i∗ : GW j (Y ) → GWYj+d (X, L).

Observe that i∗ now depends on a trivialization isomorphism OY ≃ N .
2.3. Finite length modules and dévissage. Let R be a regular local ring of dimension d. Let Mf l (R) be the (abelian) category of finite length R-modules. The
c := ExtdR (M, R) endows Mf l (R) with a duality with canonical isofunctor M 7→ M
morphism defined as follows: Let π : P → M be a projective resolution of M . The
c
c
canonical identification of P with its bidual P ∨∨ yields an isomorphism η : M → M
which is independent of the projective resolution ([9, Theorem 3.3.2] for instance).
We set ̟ := (−1)d(d−1)/2 η. Having a duality functor and a canonical isomorphism,
we can define the Witt group of finite length modules W f l (R) following [15].
Suppose that X is smooth of dimension d and that x ∈ X is a closed point. We
consider the Witt group Wxd (X). By the above section, we know that there is an
isomorphism
i∗ : W (k(x), ExtdOX (k(x), OX )) → Wxd (X).
We can also interpret this isomorphism using finite length OX,x -modules following
[4, §6].
Observe first that localizing at x induces an isomorphism Wxj (X) → Wxj (OX,x )
for any j ∈ N. Now W f l (OX,x ) ≃ Wxd (OX,x ) by [4, Theorem 6.1, Proposition
6.2]. The map is defined by sending a finite length module (endowed with a form
φ) to a projective resolution of this module (endowed with a form induced by φ).
Finally, there is a canonical isomorphism W (k(x), ExtdOX (k(x), OX )) → W f l (OX,x )
([9, Appendix E.2]). The isomorphism i∗ is the composition
W (k(x), ExtdOX (k(x), OX ))

// W f l (OX,x )

// W d (OX,x )
x

// W d (X).
x

2.4. Euler classes. Let X be a scheme and E be a rank n coherent locally free
OX -module over X. Let s : E → OX be any section (possibly trivial). Then we can
consider the Koszul complex Kos(s) associated to s. For any 1 ≤ i ≤ n, we have
isomorphisms ϕi : ∧i E → HomOX (∧n−i E, det E) defined by ϕi (p)(q) = p ∧ q. Let
ρ(s) : Kos(s) → T n HomOX (Kos(s), det E)

be the isomorphism defined in degree i by ρ(s)i = (−1)in+i(i−1)/2+n(n−1)/2 ϕi (note
that the ρi given in [3, Remark 4.2] do not define a morphism of complexes). It

6

J. FASEL

turns out that ρ(s) is symmetric for the n-th shifted duality, and therefore it defines
an element in GW n (X, det E).

Lemma 2.1. Suppose that X is regular. let s : E → OX and s′ : E → OX be two
sections. Then ρ(s) = ρ(s′ ) in GW n (X, det E).
Proof. Let p : X × A1 → X be the projection. We consider the section
(tp∗ s + (1 − t)p∗ s′ ) : p∗ E → OX×A1 .

Since X is regular, p∗ : GW n (X, det E) → GW n (X ×A1 , p∗ det E) is an isomorphism
([10, Proposition 1.1]). There exists then α ∈ GW n (X, det E) such that p∗ α =
ρ(tp∗ s + (1 − t)p∗ s′ ). Evaluating at t = 0 and t = 1, we get α = ρ(s) = ρ(s′ ).

Definition 2.2. We call Euler class of E the element ρ(s) in GW n (X, det E) for
any section s : E → OX . We denote it by e(E).
If f : Y → X is a morphism of regular schemes, then it is clear from the definition
that e(f ∗ E) = f ∗ e(E).
Let g : E → E be an isomorphism such that det f = 1 and let p : E → X be the
total space of E. If we also denote by g : E → E the morphism induced by g, then
we see from the definition of the Euler class that g ∗ e(p∗ E) = e(p∗ E). It follows that
the Euler class is invariant under the action of SL(E).
Suppose next that χ : det E → OX is an isomorphism. It induces an isomorphism
GW n (X, det E) → GW n (X). We denote by e(E, χ) the image of e(E) under this
isomorphism. It depends of course on the isomorphism χ, but it is still invariant
under the action of SL(E).
2.5. Some computations. Let X be a scheme. If x ∈ OX (X) is a global section,
we denote by Z(x) the vanishing locus of X, which is a closed subset in X (since
X is noetherian by our conventions).
Let (a1 , . . . , an ) ∈ OX (X) and let Kos(a1 , . . . , an ) be the Koszul complex associated to the (non necessarily regular) sequence of global sections (a1 , . . . , an ). As
in the previous section, this complex is endowed with a symmetric isomorphism
ρ(a1 , . . . , an ) : Kos(a1 , . . . , an ) → T n Kos(a1 , . . . , an )∨ .

Let Z := ∩ni=1 Z(ai ) be the closed subset of X where the sections all vanish. Since
the homology of Kos(a1 , . . . , an ) is concentrated on Z, the above symmetric isomorphism defines an element in GWZn (X) (and WZn (X)) that we still denote by
ρ(a1 , . . . , an ).
We can also consider the form ρ(a1 , . . . , an−1 ) on Kos(a1 , . . . , an−1 ) whose hon−1
mology is supported on Z ′ := ∩i=1
Z(ai ). If U = X − Z, then
It follows that

(Z(an ) ∩ U ) ∩ (Z ′ ∩ U ) = ∅.

an ρ(a1 , . . . , an−1 ) : Kos(a1 , . . . , an ) → T n Kos(a1 , . . . , an )∨

is an isomorphism on U , and we denote its class in GW n−1 (U ) by θ(a1 , . . . , an ).
The following result is a straightforward consequence of [3, Remark 4.2] and the
Leibnitz formula for symmetric isomorphisms ([1, Theorem 5.2]):
Lemma 2.3. Let ∂ : GW n−1 (U ) → WZn (X) be the connecting homomorphism in
the localization sequence associated to U ⊂ X. Then ∂(θ(a1 , . . . , an )) = ρ(a1 , . . . , an ).

A DEGREE MAP ON UNIMODULAR ROWS

7

n−1
Lemma 2.4. For any n ∈ N, we have GWred
(An − 0) = W (k) · θ(x1 , . . . , xn ).

Proof. The long exact sequence of localization reads as
// GW n−1 (An )
{0}

...

// GW n−1 (An )

// GW n−1 (An − 0)

∂

// W n (An )
{0}

// . . .

By homotopy invariance of Grothendieck-Witt groups ([10, Proposition 1.1]), we
see that GW n−1 (An ) = GW n−1 (k). Using this, we see that the choice of a rational
point in An − 0 gives a splitting of the map GW n−1 (An ) → GW n−1 (An − 0). We
then get a split exact sequence
0

// GW n−1 (k)

// GW n−1 (An − 0)

∂

// W n (An )
{0}

// 0

n−1
n
showing that GWred
(An − 0) ≃ W{0}
(An ).
n
By dévissage, W{0}
(An ) = W (k) · ρ(x1 , . . . , xn ). We can use Lemma 2.3 to
conclude.


Remark 2.5. Let R = k[x1 , . . . , xn ] and m = (x1 , . . . , xn ). Observe that the
n
above dévissage isomorphism W{0}
(An ) ≃ W (k) amounts to choose a generator
n
n
of ExtR (R/m, R). When we write W{0}
(An ) = W (k) · ρ(x1 , . . . , xn ), we implicitly
choose the Koszul complex associated to the sequence (x1 , . . . , xn ) as a generator.
Remark 2.6. The action of W (k) on θ(x1 , . . . , xn ) reads as follows: If α ∈ k × , then
hαi · θ(x1 , . . . , xn ) = θ(x1 , . . . , xn−1 , αxn ).
We will need the following lemma in the next section:

Lemma 2.7. For any n ≥ 1, Let j : An−1 → An be the inclusion obtained by
setting xn = 0. Let j ′ : (An−1 − 0) → (An − 0) be the induced closed immersion.
Then the transfer homomorphism (j ′ )∗ : GW n−2 (An−1 − 0) → GW n−1 (An − 0)
induces an isomorphism
n−2
n−1
(j ′ )∗ : GWred
(An−1 − 0) → GWred
(An − 0)

Proof. The transfer homomorphism associated to j induces a commutative diagram
0

// GW n−2 (An−1 )

// GW n−2 (An−1 − 0)

0

// GW n−1 (An )

// W n−1 (An−1 )
{0}

j∗′

j∗



∂


// GW n−1 (An − 0)

// 0

j∗
∂



// W n (An )
{0}

// 0

where the lines are the exact sequence of localization obtained in the proof of the
above lemma. By dévissage, the homomorphism j∗ on the right is an isomorphism.

3. The symbol Φ
Let R be a k-algebra. Any unimodular element (a1 , . . . , an ) yields a morphism
f : Spec(R) → (An − 0). Using the above section, we get a map
n−1
φ : U mn (R) → GWred
(R)

defined by φ(f ) = f ∗ (θ(x1 , . . . , xn )).

n−1
Lemma 3.1. Suppose that R is regular. Then the map φ : U mn (R) → GWred
(R)
is a Steinberg symbol.

8

J. FASEL

Proof. Let v and w be unimodular rows. We say that v and w are elementarily
homotopic if there is a morphism F : Spec(R) × A1 → (An − 0) such that F (0) = v
n−1
and F (1) = w. Since GWred
(R) is homotopy invariant, it is clear that φ(v) = φ(w)
if v and w are elementarily homotopic. We conclude from [12, Theorem 2.1] that φ
induces a map
n−1
φ : U mn (R)/En (R) → GWred
(R).

We next prove that relation (2) holds.
Let a = (a1 , . . . , an−1 ) ∈ Rn−1 be such that (a, x) and (a, 1 − x) are unimodular.
Observe that the endomorphism α of Kos(a) ⊕ Kos(a) given by the matrix


1 x−1
1
x
is an automorphism. A straightforward computation shows that
(T n−1 α∨ )(xρ(a)⊥(1 − x)ρ(a))α = ρ(a)⊥x(1 − x)ρ(a)
where ⊥ denotes the orthogonal sum. It follows that
xρ(a) + (1 − x)ρ(a) = ρ(a) + x(1 − x)ρ(a)
n−1
n−1
in GWred
(R). But ρ(a) = φ(a, 1) = 0 (observe that ρ(a) = 0 in GWred
(R), but
n−1

that it is in general not trivial in GWV (a) (R)).
n−1
In particular, φ induces a map φ : U mn (R)/En (R) → GWred
(R). In case n is
odd, we next show that φ factors through the action of SLn (R).

Proposition 3.2. Let R be a regular k-algebra and n be an odd integer. Then
φ(a) = e(P (a), χ(a)) for any a ∈ U mn (R).
Proof. Let a ∈ U mn (R) and P (a) its associated stably free module. Consider the
section s(a) : P (a) → R defined in Section 1. Let Kos(s(a)) be the Koszul complex
associated to this section and
ρ(a) : Kos(s(a)) → T n−1 Kos(s(a))∨
the symmetric isomorphism defining the Euler class.
Let u : Rn−1 → P (a) defined by u(e2j ) = f2j−1 , u(e2j−1 ) = −f2j for any
1 ≤ j ≤ (n − 1)/2. Taking exterior powers, we get homomorphisms
∧i u : ∧i (Rn−1 ) → ∧i (P (a))
and it is not hard to check that this induces a morphism of complexes
U : Kos(a1 , . . . , an−1 ) → Kos(s(a)).
The homology of both these complexes are concentrated on the closed subset
V (a1 , . . . , an−1 ) of Spec(R). Therefore U is a quasi-isomorphism on the open complement of V (a1 , . . . , an−1 ). Since a is unimodular, V (a1 , . . . , an−1 ) is included in
the principal open subset D(an ) of Spec(R). But u is an isomorphism on D(an )
and it follows that U is a quasi-isomorphism.

A DEGREE MAP ON UNIMODULAR ROWS

9

We now prove that U is in fact an isometry between ρ(a) and θ(a1 , . . . , an ). To
do this, consider the following diagram
∧i u

∧i Rn−1

// ∧i P (a)
ϕi



(∧n−1−i Rn−1 )∨ oo

(∧n−1−i u)∨



(∧n−1−i P (a))∨

Since −f2j ∧ f2j−1 = f2j−1 ∧ f2j , we get
(∧n−1−i u)∨ ϕi ∧i u)(em1 ∧. . .∧emi )(er1 ∧. . .∧ern−1−i ) = (−1)sign(σ) χ(a)(f1 ∧. . .∧fn−1 )
if σ is a permutation such that σ(m1 , . . . , mi , r1 , . . . , rn−1−i ) = (1, . . . , n − 1) and
(∧n−1−i u)∨ ϕi ∧i u)(em1 ∧ . . . ∧ emi )(er1 ∧ . . . ∧ ern−1−i ) = 0

if em1 ∧ . . . ∧ emi ∧ er1 ∧ . . . ∧ ern−1−i = 0. It follows that U induces an isometry
between ρ(a) and θ(a1 , . . . , an ). Whence the result.

Corollary 3.3. Let R be a regular k-algebra and n be an odd integer. The map
n−1
φ : U mn (R) → GWred
(R) induces a map
n−1
Φ : U mn (R)/SLn (R) → GWred
(R).

Proof. The Euler class is invariant under the action of SL(P (a)).



Remark 3.4. If R is regular of Krull dimension 2 then U m3 (R)/SL3 (R) has an
abelian group structure such that Φ is an injective homomorphism, with cokernel
the Chow group CH 2 (X) ([6, Theorem 7.3]).
Remark 3.5. In case n is even, then φ doesn’t factor through the action of SLn as
easily seen by considering n = 2.
P
Consider the affine scheme Sn = Spec(k[x1 , . . . , xn , y1 , . . . , yn ]/( xi yi − 1)). If
R is any k-algebra, a = (a1 , . . . , an ) is a unimodular row and b = (b1 , . . . , bn ) is
such that bat = 1, then we obtain a morphism Spec(R) → Sn mapping xi to ai
and yi to bi . Conversely, any morphism Spec(R) → Sn yields such an a and b. We
therefore call Sn the unimodular affine scheme.
P
The ring homomorphism k[x1 , . . . , xn ] → k[x1 , . . . , xn , y1 , . . . , yn ]/( xi yi − 1)
given by xi 7→ xi , y 7→ y1 for any 1 ≤ i ≤ n induces a morphism pn : Sn →
(An −0), which is easily checked to have affine fibres. It follows then from the MayerVietoris sequence ([16, Theorem 1]) that p∗n : GW n−1 (An − 0) → GW n−1 (Sn ) is an
isomorphism, showing that from a cohomological viewpoint the choice of a section
of a unimodular row is not important.
Proposition 3.6. If n ≥ 3 is odd, the map pn : Sn → (An − 0) induces a surjective
map
Φ : U mn (Sn )/SLn (Sn ) → W (k)

with Φ(x1 , . . . , xn ) = h1i.

Proof. In view of Lemma 2.4 and Proposition 3.3, it remains only to show that Φ
is surjective. It is obviously sufficient to prove that φ : U mn (Sn )/En (Sn ) → W (k)
is surjective to conclude.

10

J. FASEL

Suppose that n > 3. Setting xi = 0 and yi = 0 for i > 3, we get closed
immersions j ′ : (A3 − 0) → (An − 0) and u : S3 → Sn such that the diagram
S3

u

// Sn

p3

pn


(A3 − 0)

j′


// (An − 0)

commutes. Now we can define a map
β : U m3 (S3 )/E3 (S3 ) → U mn (Sn )/En (Sn )
by β(a1 , a2 , a3 ) = (a1 , a2 , a3 , x4 , . . . , xn ), where ai are any lifts of ai . Seeing p3 and
pn as unimodular rows, it is easily checked that β(p3 ) = pn . It follows that the
following diagram
U m3 (S3 )/E3 (S3 )

β

// U mn (Sn )/En (Sn )
φ

φ





2
GWred
(S3 )

u∗

// GW n−1 (Sn )
red

commutes. Since u∗ is an isomorphism by Lemma 2.7, it suffices to check that
φ : U m3 (S3 )/E3 (S3 ) → W (k) is surjective to conclude.
e 0 Sp(S3 ) is defined by the exact sequence
Recall that K
0

// K0 (k)

p∗ H

// GW 2 (S3 )

e 0 Sp(S3 )
// K

// 0

where H : K0 (k) → GW 2 (k) is the hyperbolic functor (see [11, §2.1] for instance)
and p∗ : GW 2 (k) → GW 2 (S3 ) is the pull-back homomorphism. Since H is an isoe 0 Sp(S3 ) → GW 2 (S3 ).
morphism, it follows that there is a natural isomorphism K
red
Under this identification, the symbol φ coincides with the Vaserstein symbol
e 0 Sp(S3 )
V : U m3 (S3 )/E3 (S3 ) → K

defined in [21, Theorem 5.2] (see also [5, §5]). In particular, this shows that φ
satisfies the Vaserstein rule: For any unimodular rows (a1 , a2 , a3 ) and (a1 , b2 , b3 ),
we have



b2 b3
)
φ(a1 , a2 , a3 ) + φ(a1 , b2 , b3 ) = φ(a1 , a2 a3 ·
−c3 c2
where c2 , c3 are such that b2 c2 + b3 c3 ≡ 1 (mod a1 ). This
P proves that for any
α1 , . . . , αn ∈ k × , there exists b, c ∈ k[x1 , x2 , x3 , y1 , y2 , y3 ]/( xi yi − 1) such that
φ(x1 , x2 , α1 x3 ) + . . . + φ(x1 , x2 , αn x3 ) = φ(x1 , b, c).

Remark 2.6 then shows that hα1 , . . . , αn i is in the image of φ.



Remark 3.7. If n ≥ 5 is an odd integer, the map Φ is not injective. Indeed, the proof
of the above proposition shows that Φ satisfies the Vaserstein rule. It follows from
[19, lemma 3.5 (v)] that Φ(a1 , a2 , . . . , an ) + Φ(b21 , a2 , . . . , an ) = Φ(a1 b21 , a2 , . . . , an )

A DEGREE MAP ON UNIMODULAR ROWS

11

for any unimodular rows (a1 , a2 , . . . , an ) and (b1 , a2 , . . . , an ). Using this and [19,
Lemma 3.5 (iii)], we see that
Φ(x21 , x2 , . . . , xn ) = Φ(x1 , x2 , . . . , xn ) + Φ(−x1 , x2 , . . . , xn )
By Remark 2.6, this reads as
Φ(x21 , x2 , . . . , xn ) = h1, −1iΦ(x1 , x2 , . . . , xn ) = 0

But it is well-known that (x21 , x2 , . . . , xn ) is not completable ([17]). Hence Φ is not
injective.
Question 3.8. Is the map Φ : U m3 (S3 )/SL3 (S3 ) → W (k) bijective?
4. The degree map
4.1. The map. Let n ≥ 2 and g : (An − 0) → (An − 0) be a morphism. Taking
global sections, we see that there is a commutative diagram
(An − 0)

g

// (An − 0)
i

i


// An


An
g′

where i : (An − 0) → An is the inclusion, and g ′ : An → An is the morphism
associated to some ϕ : k[x1 , . . . , xn ] → k[x1 , . . . , xn ] with ϕ(m) ⊂ m. We then get
a commutative diagram
0

// GW n−1 (An )

i∗

(g′ )∗

0


// GW n−1 (An )

// GW n−1 (An − 0)

∂

// W n (An−1 )
{0}

// 0


// W n (An )
{0}

// 0

g∗

∗

i


// GW n−1 (An − 0)

∂

Lemma 4.1. We have g ∗ (θ(x1 , . . . , xn )) = ρ(ϕ(x1 ), . . . , ϕ(xn )) · θ(x1 , . . . , xn ) in
n−1
GWred
(An − 0).

n
Proof. It suffices to compute the element ∂g ∗ (θ(x1 , . . . , xn )) in W{0}
(An ) = W (k).
This is exactly ρ(ϕ(x1 ), . . . , ϕ(xn )).


Remark 4.2. Here, we see ρ(ϕ(x1 ), . . . , ϕ(xn )) as an element of W (k) using dévissage (see Section 2.3).
Definition 4.3. We call the class of ρ(ϕ(x1 ), . . . , ϕ(xn )) in W (k) the degree of g
and we denote it by deg(g).
Remark 4.4. This terminology is justified as follows: Suppose that k admits a real
embedding k ⊂ R. Pulling back, we get a morphism g : (AnR − 0) → (AnR − 0)
and, taking the rational points, a C ∞ map g : (Rn − 0) → (Rn − 0). Now one can
associate to any C ∞ map f : (Rn , 0) → (Rn , 0) a topological degree of f , denoted
by degtop (f ), as the sum of the signs of the Jacobian of f at all preimages (under
f ) near 0 of a regular value of f near 0. In [8], the authors show that this degree
can be computed as the degree (in the sense of Definition 4.3) of a polynomial map
f ′ approximating f . Thus, our degree and the topological degree coincide in that
case.

12

J. FASEL

4.2. The counter-example. Let n ≥ 2 and g : (An − 0) → (An − 0) be the
morphism defined by the ring homomorphism ϕ : k[x1 , . . . , xn ] → k[x1 , . . . , xn ]
with ϕ(x1 ) = x21 − x22 , ϕ(x2 ) = x1 x2 and ϕ(xi ) = xi for 3 ≤ i ≤ n. Observe that
k[x1 , . . . , xn ]/(ϕ(x1 ), . . . , ϕ(xn )) is a finite length module of length 4. Following
Section 2.3, it suffices to compute the class in W f l (k[x1 , . . . , xn ]m ) of this module
endowed with the form
\1 ), . . . , ϕ(xn ))
ρ : k[x1 , . . . , xn ]/(ϕ(x1 ), . . . , ϕ(xn )) → k[x1 , . . . , xn ]/(ϕ(x
defined by ρ(1) = Kos(ϕ(x1 ), . . . , ϕ(xn )).
Lemma 4.5. We have deg(g) = h1, 1i.
Proof. Let R = k[x, y] and m = (x, y). By dévissage, it suffices clearly to prove
that deg(g) = h1, 1i if g : (A2 − 0) → (A2 − 0) is the map induced by ϕ : R → R
with ϕ(x) = x2 − y 2 and ϕ(y) = xy. We denote by M the ideal generated by
[ the symmetric isomorphism
the sequence (x2 − y 2 , xy) and by ρ : R/M → R/M
2
ρ(ϕ(x), ϕ(y)). Consider the class of x ∈ R/M . A direct computation shows that
it is non trivial and annihilated by m. Moreover, R/(M, x2 ) = R/m2 and we then
get the following diagram:
x2

// R/m

0

π

// R/M

// R/m2

// 0

[
// R/m

// 0

ρ

\2
// R/m

0


[
// R/M

π
b

c
2
x

c2 (Kos(x2 − y 2 , xy)) = Kos(x, y). This is clear from the
We next check that x
commutative diagram


0



−y
x



// R

// R



x y

2




// R



x 0
y x



0

// R





−xy 

x2 − y 2


// R2
x2 − y 2

x2

xy


//R

// R/m

// 0

x2


// R/m

// 0.

c2 ρx2 = 0, proving that x2 : R/m → R/M is a sub-Lagrangian
It follows then that x
[ . There exists then a homomorphism α : R/m2 → R/m
[ such
of ρ : R/M → R/M

A DEGREE MAP ON UNIMODULAR ROWS

13

that the diagram commutes:
m/m2
i

// R/m
✤
✤ αb
✤

\2
// R/m

0

0

x2

// R/M


// R/m2
✤
✤α
✤

[
// R/m

π

ρ


[
// R/M

π
b

b
i

c
2
x

// 0

// 0


\2
m/m
By commutativity of the diagram, α(1) = Kos(x, y) and its kernel is m/m2 . The
\2 which is easily checked to
snake Lemma yields an isomorphism ψ : m/m2 → m/m
be symmetric. The sub-Lagrangian reduction ([2, §1.1.5]) shows then that ρ = ψ
in W f l (R). In order to compute ψ, we need a better understanding of the groups
\2 .
and homomorphisms in the diagram. We first compute R/m
The projective resolution


// R2

0

y


−x


0



0

−y

x



// R3

x2

xy

y2



// R/m2

// R

// 0

\2 is generated by two extensions, the push-out by the homomorshows that R/m


phisms 1 0 : R2 → R and 0 1 : R2 → R. We will denote by ǫ1 the first
extension and by ǫ2 the second extension. Now the diagram


// R

0

−x


// R

0



−xy 
x2 − y 2



// R2





x2 − y 2

xy



1 0

0 1

−1 0 
// R3 /(0, −y, x)


y
x2


−x


0






// R/M

// R

// 0

π

xy


// R/m2

// R

y2

// 0

shows that π
b(ǫ1 ) = −xKos(x2 −y 2 , xy). A straightforward computation shows that
π
b(ǫ2 ) = yKos(x2 − y 2 , xy).
Now m/m2 is generated by the classes of x and y, yielding an isomorphism
(R/m)2 ≃ m/m2 . We get a projective resolution


0

// R2

−y
x
0
0










0

0 
 

−y
 x y
0 0
x
// R4



0 0
x y
// R2






x 0
0 y

// m/m2

// 0

14

J. FASEL

and the commutative diagram


// R2

0


−1 0

0




// R








−y
x
0
0



1 0
1
0 0


0





y


−x


0



0

0 


−y

x



// R4

x y
0 0





0 0

1 0

0 1



0
x

0
y
// R2





xy


// R


x y


// R3 /(0, −y, x)

x2




// m/m2

// 0

i

y2


shows that bi(ǫ1 ) = −1 0 . Similarly, bi(ǫ2 ) = 0



x 0
0 y


// R/m2

// 0


1 .

2
\2
Using our computations,

 we see that ψ : m/m → m/m is given (in the basis
1 0
x, y) by the matrix
. Hence deg(g) = h1, 1i.

0 1
√
Corollary 4.6. Let k be a field such that −1 6∈ k and let n ≥ 3 be an odd integer.
Consider the unimodular row (x1 , . . . , xn ) ∈ U mn (Sn ) and the map g : (An − 0) →
(An − 0) defined by the algebra homomorphism ϕ : k[x1 , . . . , xn ] → k[x1 , . . . , xn ]
given by ϕ(x1 ) = x21 − x22 , ϕ(x2 ) = x1 x2 and ϕ(xi ) = xi for 3 ≤ i ≤ n. Then
the unimodular row (x21 − x22 , x1 x2 , x3 , . . . , xn ) ∈ U mn (Sn ) is not completable in an
invertible matrix.

Proof. Consider the following diagram:
Sn

p

// (An − 0)

g

// (An − 0)

Then (x21 − x22 , x1 x2 , x3 , . . . , xn ) is the unimodular row associated to the morphism
of schemes gp : S3 → A3 − 0. We have
φ(gp) = (gp)∗ (θ(x1 , . . . , xn )) = p∗ g ∗ (θ(x1 , . . . , xn )).

By definition, g ∗ (θ(x1 , . . . , xn )) = deg(g), which is h1, 1i by Lemma 4.5. Then
p∗ g ∗ (θ(x1 , . . . , xn )) = h1, 1i · θ(x1 , . . . , xn ) and Φ(x21 − x22 , x1 x2 , x3 , . . . , xn ) = h1, 1i.
Now h1, 1i = 0 in W (k) if and only if −1 is a square in k. It follows that the
unimodular row (x21 − x22 , x1 x2 , x3 , . . . , xn ) is not completable.

We now give the counter-example to M. V. Nori’s question.
√
Theorem 4.7. Let k be a field such that −1 6∈ k. Consider the unimodular
row (x1 , x2 , x3 ) ∈ U m3 (S3 ) and the map g : (A3 − 0) → (A3 − 0) defined by the
algebra homomorphism ϕ : k[x1 , x2 , x3 ] → k[x1 , x2 , x3 ] given by ϕ(x1 ) = x21 − x22 ,
ϕ(x2 ) = x1 x2 and ϕ(x3 ) = x3 . Then k[x1 , x2 , x3 ]/(x21 − x22 , x1 x2 , x3 ) is of length 4,
but (x21 − x22 , x1 x2 , x3 ) ∈ U m3 (S3 ) is not completable.
Proof. Clear from the above corollary.



This example shows that Nori’s question has to be strengthened. We propose
the following:

A DEGREE MAP ON UNIMODULAR ROWS

15

Question 4.8 (Strong Nori’s question). Let R be a k-algebra, n ∈ N be odd and let
f : Spec(R) → (An − 0) be a unimodular row. Let ϕ : k[x1 , . . . , xn ] → k[x1 , . . . , xn ]
such that ϕ(m) ⊂ m and that (n − 1)! divides the length of k[x1 , . . . xn ]/ϕ(m). Let
g : (An − 0) → (An − 0) the morphism induced by ϕ. If the degree deg(g) = 0, then
the unimodular row gf : Spec(R) → (An − 0) is completable.
Theorem 4.9. If Φ : U m3 (S3 )/SL3 (S3 ) → W (k) is injective, then Question 4.8
has an affirmative answer for n = 3.
Proof. Let f : Spec(R) → (A3 − 0) be a unimodular row. Then f factors through
S3 as indicated in the following diagram:
f′

// S3
Spec(R)
▲▲▲
▲▲▲
p
▲
f ▲▲▲
%% 
(A3 − 0)
Let g : (A3 − 0) → (A3 − 0) be a morphism as in the conjecture. Consider the
unimodular row gp : S3 → (A3 − 0). Let r : SL3 → (A3 − 0) be the projection to
the first row. If deg(g) = 0 and Φ is injective, it follows that gp : S3 → (A3 − 0)
factors through SL3 . We then have a commutative diagram:
99 S3 ■■
■■ ∃q
rrr
r
■■
r
r
p
■■
r
r
r
■■
r

r
$$
// (A3 − 0)
SL3
Spec(R)
❑❑❑ f
✈
✈
❑❑❑
✈
g
✈✈
❑
✈✈ r
gf ❑❑❑
✈
%%  zz✈
(A3 − 0)
f′

Therefore gf = rqf ′ factors through SL3 , thus showing that gf is completable. 
References
[1] Paul Balmer. Products of degenerate quadratic forms. Compos. Math., 141(6):1374–1404,
2005.
[2] Paul Balmer. Witt groups. In Handbook of K-theory. Vol. 1, 2, pages 539–576. Springer,
Berlin, 2005.
[3] Paul Balmer and Stefan Gille. Koszul complexes and symmetric forms over the punctured
affine space. Proc. London Math. Soc. (3), 91(2):273–299, 2005.
[4] Paul Balmer and Charles Walter. A Gersten-Witt spectral sequence for regular schemes. Ann.
Sci. École Norm. Sup. (4), 35(1):127–152, 2002.
[5] Hyman Bass. Libération des modules projectifs sur certains anneaux de polynômes. In Séminaire Bourbaki, 26e année (1973/1974), Exp. No. 448, pages 228–354. Lecture Notes in
Math., Vol. 431. Springer, Berlin, 1975.
[6] S. M. Bhatwadekar and Raja Sridharan. The Euler class group of a Noetherian ring. Compositio Math., 122(2):183–222, 2000.
[7] Baptiste Calmès and Jens Hornbostel. Push-forwards for witt groups of schemes. Preprint
available at http://arxiv.org/pdf/0806.0571, to appear in Comment. Math. Helv., 2008.
[8] David Eisenbud and Harold I. Levine. An algebraic formula for the degree of a C ∞ map
germ. Ann. Math. (2), 106(1):19–44, 1977. With an appendix by Bernard Teissier, “Sur une
inégalité à la Minkowski pour les multiplicités”.
[9] Jean Fasel. Groupes de Chow-Witt. Mém. Soc. Math. Fr. (N.S.), (113):viii+197, 2008.

16

J. FASEL

[10] Jean Fasel. The excess intersection formula for Grothendieck-Witt groups. Manuscripta
Math., 130(4):411–423, 2009.
[11] Jean Fasel. Projective modules over the real algebraic sphere of dimension 3. J. Algebra,
325:18–33, 2011.
[12] Jean Fasel. Some remarks on orbit sets of unimodular rows. Comment. Math. Helv., 86(1):13–
39, 2011.
[13] Stefan Gille. The general dévissage theorem for Witt groups of schemes. Arch. Math. (Basel),
88(4):333–343, 2007.
[14] N. Mohan Kumar. A note on unimodular rows. J. Algebra, 191(1):228–234, 1997.
[15] H.-G. Quebbemann, W. Scharlau, and M. Schulte. Quadratic and Hermitian forms in additive
and abelian categories. J. Algebra, 59(2):264–289, 1979.
[16] Marco Schlichting. The Mayer-Vietoris principle for Grothendieck-Witt groups of schemes.
Invent. Math., 179(2):349–433, 2010.
[17] A. A. Suslin. K-theory and K-cohomology of certain group varieties, volume 4 of Adv. Soviet
Math., pages 53–74. Amer. Math. Soc., Providence, RI, 1991.
[18] A.A. Suslin. On stably free modules. Math. U.S.S.R. Sbornik, pages 479–491, 1977.
[19] Wilberd van der Kallen. A module structure on certain orbit sets of unimodular rows. J. Pure
Appl. Algebra, 57(3):281–316, 1989.
[20] Wilberd van der Kallen. From Mennicke symbols to Euler class groups. In Algebra, arithmetic
and geometry, Part I, II (Mumbai, 2000), volume 16 of Tata Inst. Fund. Res. Stud. Math.,
pages 341–354. Tata Inst. Fund. Res., Bombay, 2002.
[21] L. N. Vaseršteı̆n and A. A. Suslin. Serre’s problem on projective modules over polynomial
rings, and algebraic K-theory. Izv. Akad. Nauk SSSR Ser. Mat., 40(5):993–1054, 1199, 1976.
[22] Charles Walter. Grothendieck-Witt groups of triangulated categories. Preprint available at
www.math.uiuc.edu/K-theory/0643/, 2003.
E-mail address: jean.fasel@gmail.com
Jean Fasel, Mathematisches Institut der Universität München, Theresienstr. 39,
80333 München, Germany

