arXiv:1402.0805v1 [math.AC] 4 Feb 2014

ON THE VANISHING OF HOCHSTER’S θ INVARIANT
MARK E. WALKER
Abstract. Hochster’s theta invariant is defined for a pair of finitely generated
modules on a hypersurface ring having only an isolated singularity. Up to a
sign, it agrees with the Euler invariant of a pair of matrix factorizations.
Working over the complex numbers, Buchweitz and van Straten have established an interesting connection between Hochster’s θ-invariant and the
classical linking form on the link of the singularity. In particular, they establish the vanishing of the θ invariant if the hypersurface is even-dimensional
by exploiting the fact that the (reduced) cohomology of the Milnor fiber is
concentrated in odd degrees in this situation.
In this paper, we give purely algebraic versions of some of these results. In
particular, we establish the vanishing of the θ invariant for isolated hypersurface singularities of odd dimension in characteristic p > 0, under some mild
extra assumptions. This confirms, in a large number of cases, a conjecture of
Hailong Dao.

Contents
1. Introduction
2. Overview
2.1. The Milnor fibration
2.2. The vanishing of the pairing when n is even
2.3. The algebraic analogue of the Milnor fibration
3. On Sherman’s star pairing
3.1. Pairings in K-theory
3.2. Sherman’s Theorem on the Connecting Homomorphism
3.3. A proof of (a weakened form of) a conjecture of Sherman
4. Reinterpreting Theta
5. Specialization with finite coefficients (Following Suslin)
6. Étale (Bott inverted) K-theory
7. Vanishing of K1top
7.1. The Thomason-Rosenschon-Østvær Theorem
7.2. Illusie’s Theorem
References

1
3
3
3
4
6
7
9
11
13
22
29
31
31
34
36

1. Introduction
In this paper, a hypersurface will refer to a ring R that can be expressed as a
quotient of a regular (Noetherian) ring Q by a non-zero-divisor f ; i.e., R = Q/f .
Date: February 5, 2014.
The author was supported in part by National Science Foundation Award DMS-0966600.
1

2

MARK E. WALKER

(We do not require Q to be local.) If M, N are finitely generated R-modules, then
using the standard long exact sequence
i
i−2
i−2
· · · → Tori−1
Q (M, N ) → TorR (M, N ) → TorR (M, N ) → TorQ (M, N ) → · · ·

and the fact that TorjQ (M, N ) = 0 for j ≫ 0 since Q is regular, we conclude that
Tor∗R (M, N ) is eventually two-periodic: there is an isomorphism
∼
=

ToriR (M, N ) −
→ Tori+2
R (M, N ), for i ≫ 0.
If we assume, in addition, that ToriR (M, N ) has finite length for all i ≫ 0, then
Hochster’s theta invariant [7] of the pair (M, N ) is defined to be the integer
2i+1
θR (M, N ) = length Tor2i
(M, N ), for i ≫ 0.
R (M, N ) − length TorR

The modules TorR
i (M, N ) will have finite length for i ≫ 0 if, for example, there
exists a maximal ideal m of R such that one of the modules, say N , is locally of finite
projective dimension on the punctured spectrum Spec(R) \ m. In this situation, N
determines a coherent sheaf on the quasi-affine scheme Spec(R) \ m that admits a
finite resolution by locally free coherent sheaves, and hence N determines a class in
[N ] ∈ K0 (Spec(R) \ m). The module M , of course, determines a class [M ] ∈ G0 (R).
Hochster proves [7, 1.2] that θ is bi-additive for such pairs of modules and hence
determines a pairing
G0 (R) × K0 (Spec R \ m) → Z.
Moreover, θ(R/m, −) is identically zero and, since G0 (R) → G0 (Spec(R) \ m) is
surjective with kernel generated by [R/m], we obtain an induced pairing
(1.1)

θ = θ(Q,m,f ) : G0 (Spec(R) \ m) × K0 (Spec(R) \ m) → Z.

We will refer to this as Hochster’s θ pairing associated to the data (Q, f, m).
In the paper [1], Buchweitz and van Straten relate Hochster’s θ pairing for isolated hypersurface singularities of the form R = C{x0 , . . . , xn }/(f ), where C{x0 , . . . , xn }
denotes the ring of convergent power series, to the linking form on the link of the
singularity. Using this relationship, they also prove the θ pairing vanishes when
dim(R) is even.
The goal of this paper is to give a purely algebraic interpretation of some of the
results of Buchweitz and van Straten, ones which are also valid in characteristic p >
0. In particular, we obtain the vanishing of θ for isolated hypersurface singularities
of even dimension in all characteristics for a large number of rings, confirming in
many cases a conjecture of H. Dao [2, 3.15]. We refer the reader to Corollaries
7.16 and 7.17 for the most general statements, but an important special case of our
results is given by the following Theorem:
Theorem 1.2. Let k be a perfect field, Q a finitely generated and regular k-algebra,
and f ∈ Q a non-zero-divisor. Assume the associated morphism of affine varieties
f : Spec(Q) → A1k
has only isolated singularities. If n = dim(Q/f ) is even, then θR (M, N ) = 0 for all
finitely generated R-modules M and N .
The Theorem may be extended easily to allow for localizations of smooth algebras, and thus justifies examples such as the following:

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

3

Example 1.3. Let k be a perfect field, let f ∈ k[x0 , . . . , xn ] be a polynomial in
∂f
∂f
, . . . , ∂x
is an mn + 1 variables contained in m = hx0 , . . . , xn i, and assume ∂x
n m
0
primary ideal of k[x0 , . . . , xn ]m . Then θR (M, N ) = 0, where R := k[x0 , . . . , xn ]m /f ,
for all pairs of finitely generated R-modules.
One technical aspect of this paper may be of independent interest: in Section 3,
we prove a slightly weakened form of a conjecture of C. Sherman [16, §2] concerning
his “star pairing” in algebraic K-theory.
Acknowledgements. I am grateful to Michael Brown, Ragnar Buchweitz, Jesse
Burke, Olgur Celikbas, Hailong Dao, Dan Grayson, Paul Arne Østvær, Andreas
Rosenschon, Clayton Sherman, and Duco van Straten for conversations about the
topics of this paper.
2. Overview
We give an overview of this paper by comparing the details we use with those
occurring in the work of Buchweitz and van Straten.
2.1. The Milnor fibration. Given a power series f ∈ C{x0 , . . . , xn } with positive
radius of convergence, we interpret f as defining a holomorphic function defined
on an open neighborhood of 0 in Cn+1 . Let B, the Milnor ball, be a closed ball
of radius ǫ centered at the origin of Cn+1 and let D be an open disk of radius δ
centered at the origin in the complex plane C. Here, ǫ is chosen first and to be
sufficiently small, and δ is chosen to be sufficiently smaller than ǫ: 0 < δ ≪ ǫ ≪ 1.
Set X = f −1 (D) ∩ B and write also f for the restricted function f : X → D.
Let us assume that the fiber X0 of f over 0 ∈ D is an isolated singularity at
the origin. It follows that X0 is homeomorphic to the cone over the link L of the
singularity, defined as L := X0 ∩ S, where S := ∂B ∼
= S 2n+1 is the Milnor sphere.
The link L is a smooth orientable manifold of real dimension 2n − 1.
The map away from the singular locus,
X ∗ := (X \ X0 ) → (D \ 0) =: D∗
induced by f is a fibration, called the Milnor fibration. For any t 6= 0 in D, the
fiber Xt of f over t is a smooth manifold with boundary of (real) dimension 2n. Up
to diffeomorphism, Xt is independent of t, and it is called the Milnor fiber of the
singularity. A key result of Milnor [9] gives that the Milnor fiber has the homotopy
type of a bouquet of n-dimensional spheres; the number of spheres is the Milnor
number, often written as µ. In particular, the reduced singular cohomology of the
Milnor fiber, H̃ ∗ (Xt ), is a free abelian group of rank µ concentrated in degree n.
The restriction of f to S ∩ X is a fibration and thus, up to diffeomorphism, we
−1
may identify the boundary of the Milnor fiber, ∂Xt = (f |X∩S ) (t), with the link
−1
L = (f |X∩S ) (0). In particular, for each t ∈ D∗ there is a continuous map
ρt : L → X ∗
given by composing the diffeomorphism L ∼
= ∂Xt with the inclusion ∂Xt ⊆ X ∗ .
2.2. The vanishing of the pairing when n is even. With the above notation
set, we sketch the proof of Buchweitz and van Straten for the vanishing of θ when
n is even.

4

MARK E. WALKER

Associated to M CM C{x0 , . . . , xn }/f -modules M and N , Buchweitz and van
Straten associate classes in topological K-theory:
1
0
α(M ) ∈ Ktop
(X ∗ ) and [N ]top ∈ Ktop
(L).

The class [N ]top is given by the evident restriction of the coherent sheaf associated
to N to L and the class α(M ) is built from a matrix factorization representation
of M . They prove [1, 4.2] that
θ(M, N ) = χtop (ρ∗t (α(M )) ∪ [N ]top ).
1
1
Here, ρ∗t : Ktop
(X ∗ ) → Ktop
(L) is the map induced by the map ρt : L ֌ X ∗
∗
1
defined above, ∪ is the product operation for the ring Ktop
, and χtop : Ktop
(L) →
0
Ktop (pt) ∼
= Z is induced by push-forward. (Recall L is odd dimensional and so χtop
switches the parity of degrees.)
1
Notice that ρ∗t factors through Ktop
(Xt ), since ρt factors through Xt by its very
1
construction. When n is even, we have Ktop
(Xt ) = 0, since Xt is a bouquet of
n-dimensional spheres by Milnor’s Theorem [9]. It follows that ρ∗t (α(M )) = 0 and
hence
θ(M, N ) = χtop (ρ∗t (α(M )) ∪ [N ]top ) = 0.

2.3. The algebraic analogue of the Milnor fibration. The algebraic analogue
of the Milnor fibration is constructed as follows: Assume V is a Henselian dvr with
algebraically closed residue field k and field of fractions F . For example, V could
be k[[t]] with k = k. The affine scheme Spec(V ) is the analogue of D, a small open
disk in the complex plane. Let Q be a flat V -algebra of finite type and assume the
associated morphism of affine schemes
Spec(Q) → Spec(V )
is smooth except at a single point m ∈ Spec(Q) necessarily belonging to the closed
hen
fiber. Let Qhen
m denote the Henselization of Q at m. The affine scheme Spec(Qm )
−1
is the analogue of X = f (D) ∩ B in the notation above. Thus the morphism
alg
X alg := Spec(Qhen
m ) → Spec(V ) =: D

is the algebraic analogue of the analytic map f : X → D considered above. The
generic fiber of X alg → Dalg ,
∗
∗
Xalg
:= Spec(Qhen
m ⊗V F ) → Spec(F ) =: Dalg ,

is the analogue of the Milnor fibration, and the geometric generic fiber,
Xtalg := Spec(Qhen
m ⊗V F ),
where F is the algebraic closure of F , is the analogue of the Milnor fiber.
Remark 2.1. It is important to be aware that Qhen
m ⊗V F need not be a Noetherian
ring.
The singularity is the closed fiber of X alg → Dalg ,
hen
X0alg := Spec(Rm
) = Spec(Qhen
m /f ),

where f denotes the image in Q of a specified uniformizing local parameter t ∈ V
and we set R = Q/f . The algebraic analogue of the link is the punctured spectrum
of the singularity:
hen
Lalg := Spec(Rm
) \ m.

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

5

We summarize these constructions and introduce a few more analogies in the
following table.
Geometric Notion

Algebraic Analogue

D, a small open disc in complex plane

Dalg := Spec(V ), where V is a Henselian dvr
with uniformizing parameter t, algebraically
closed residue field k, and field of fractions F
a flat, finite type ring map V → Q sending
t ∈ V to f ∈ Q that is smooth away from
some point m in the closed fiber
X alg = Spec(Qhen
m )

convergent power series f ∈ C{x0 , . . . , xn }
representing an isolated singularity
X, the intersection of a small closed ball in
Cn+1 with f −1 (D)
Milnor fibration X ∗ → D∗
the Milnor fiber Xt := f −1 (t), t 6= 0
the singularity X0 = f −1 (0)
the link L
Milnor ball B
Milnor sphere S = ∂B
1
1
ρ∗t : Ktop
(X ∗ ) → Ktop
(L)

the generic fiber of X alg → Dalg ; namely,
Spec(Qhen ⊗V F ) → Spec(F )
the geometric generic fiber of X alg → Dalg ;
namely, Xtalg := Spec(Qhen
m ⊗V F )
hen
X0alg := Spec(Rm
), where R = Q/f (i.e.,
the closed fiber of X alg → Dalg )
the punctured spectrum
hen
Lalg := Spec(Rm
)\m
alg
hen
B = Spec(Qm )
S alg = Spec(Qhen
m )\m
the “specialization map” in K-theory with finite coefficients.

Remark 2.2. Note that the algebraic analogue of the Milnor ball and the algebraic
analogue of X coincide, in contrast with what occurs in the analytic setting. The
analogy could be slightly improved if one does not assume from the start that V is
Henselian. Then the algebraic analogue the Milnor ball remains Spec(Qhen
m ) but the
hen
hen
algebraic analogue of X → D would become Spec(Qhen
⊗
V
)
→
Spec(V
),
V
m
hen
where V
denotes the Henselization of V at its unique maximal ideal. For this
paper, however, this more general construction has no advantage.
With this notation fixed, let us sketch our proof of the vanishing of the θ pairing
for R = Q/f .
Given finitely generated MCM R-modules M and N , we define classes
∗
αalg (M ) ∈ K1 (Xalg
) = K1 (Q[ f1 ])

and
[N ] ∈ K0 (Lalg ) = K0 (Spec(Rm ) \ m),
where [N ] is defined as the image of the class of N in G0 (R) under the restriction
map G0 (R) → G0 (Spec(R) \ m) ∼
= K0 (Spec(R) \ m) and αalg (M ) = [A] ∈ K1 (Q[ f1 ])
for any matrix factorization (A, B) representation of M . Our first key result (see
Corollary 4.10) is the equation
(2.3)

θR (M, N ) = χ (∂ (α(M ) ∪ [f ]) ∪ [N ]) .

Let us explain the components of this formula. Since f is a unit of Q[ f1 ], it
determines a class [f ] ∈ K1 (Q[ f1 ]). The symbol ∪ denotes the product operation
in K-theory. The map ∂ : K2 (Q[ f1 ]) → K1 (Spec(R) \ m) is the boundary map
in the long exact localization sequence associated to the closed subscheme Lalg =

6

MARK E. WALKER

Spec(R) \ m of S alg = Spec(Q) \ m. (Since Q[ f1 ] and Spec(R) \ m are regular, we
use, as we may, K-theory in place of G-theory.) Finally,
χ : K1 (Spec(R) \ m) → Z.
is the composition of the boundary map
K1 (Spec(R) \ m) → K0 (Spec(R/m))
with the canonical isomorphism K0 (Spec(R/m)) ∼
= Z, sending [R/m] to 1.
All of these facts remain true if we use K-theory with Z/ℓ coefficients, where ℓ is
a prime distinct from the characteristic of Q/m (and, for technical reasons, ℓ ≥ 5).
Moreover, we may replace algebraic K-theory with (a version of) étale K-theory
with Z/ℓ coefficients, which we write as K∗top (−, Z/ℓ).
A portion of the formula (2.3), using K∗top (−, Z/ℓ) instead of K∗ (−), is given by
the mapping
∗
K1top (Xtop
, Z/ℓ) = K1top (Q[ f1 ], Z/ℓ) → K1top (Spec(R) \ m, Z/ℓ) = K1top (Lalg , Z/ℓ)

that sends α to ∂(α ∪ [f ]). We interpret this map, under some additional hypotheses, as a “specialization map” in K-theory, and it is the analogue of the map ρ∗t
occurring in the work of Buchweitz and van Straten. The next key result is that
this specialization map factors through
K1top (Xtalg , Z/ℓ) = K1top (Qhen
m ⊗V F , Z/ℓ),
This factorization is the analogue of the factorization of ρ∗t through the K-theory
of the Milnor fiber used in the work of Buchweitz and van Straten.
Finally, we combine a Theorem of Rosenschon-Østvær [13, 4.3] (which is a generalization of a celebrated theorem of Thomason [20, 4.1]) and a Theorem of Illusie
[8, 2.10] to prove
K1top (Xtalg , Z/ℓ) = 0
if n is even (and some additional mild hypotheses hold). Illusie’s Theorem is in
fact a good analogue of Milnor’s Theorem, that the Milnor fiber of an isolated
singularity is homotopy equivalent to a bouquet of n-spheres.
These results combine to prove the vanishing of θ for n even. See Theorem 7.15
and its Corollaries for the precise statement of our vanishing result.
Finally, when n is odd, Buchweitz and van Straten prove that the θ pairing is
induced by the linking form on the homology of the link of the singularity. Our
Corollary 4.10 may be interpreted as analogue of this result in algebraic K-theory;
see the discussion at the end of Section 4.
3. On Sherman’s star pairing
Suppose Q is a regular ring, f ∈ Q is a non-zero-divisor, and (A, B) is a matrix
factorization of f . Recall that this means A and B are m × m matrices with entries
in Q such that AB = f Im = BA. Note that A may be regarded as an element of
GLm (Q[ f1 ]) and hence it determines a class [A] ∈ K1 (Q[ f1 ]). The main result of
this section, Corollary 3.11, gives an explicit description of the image of [A] under
the boundary map
∂

→ G0 (Q/f )
K1 (Q[ f1 ]) −

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

7

in the long exact localization sequence in G-theory. (Since Q[ f1 ] is regular, K1 (Q[ f1 ]) ∼
=
G1 (Q[ f1 ]).) Our description of this image, and its proof, builds on work of C. Sherman, which we review here.
3.1. Pairings in K-theory. We will need some results about various pairings in
algebraic K-theory, including Sherman’s star pairing.
For an exact category P, an object M of it, and a pair of commuting automorphisms α, β of M , Sherman [16] defines an element
α ⋆Sh β ∈ K2 (P).
In this definition, the group K2 (P) is taken to be π2 |G(P)| where G(P) is a simplicial set, the “G-construction”, defined by Gillet-Grayson [4]. The reader is referred
to the paper by Gillet and Grayson for the full definition, but let us recall the
definition of zero, one and two simplices. A zero simplex in G(P) is an ordered pair
(X, Y ) of objects of P. An edge (i.e., a one simplex) connecting (X, Y ) to (X ′ , Y ′ )
is given by a pair of short exact sequences of the form
i

p

0→X −
→ X′ −
→Z→0
and
j

q

0→Y −
→Y′ −
→ Z → 0.
(Notice the right-most non-zero object is the same in both sequences.) Equivalently, an edge is a pair of monomorphisms, together with a compatible collection
of isomorphisms on the various representations of their cokernels. We typically
(i,j)

denote an edge as (X, Y ) −−−→ (X ′ , Y ′ ), leaving Z, p, and q implicit.
A two simplex is represented by a pair of commutative diagrams
X0 /

/ X1 /

X1/0 /

/ X2

i


/ X2/0

X0′ /

/ X′ /
1

X1/0 /

/ X′
2

i


/ X2/0

p



X2/1

p



X2/1

such that 0 → Xi → Xj → Xi/j → 0 and 0 → Xi′ → Xj′ → Xi/j → 0, for all
0 ≤ i < j ≤ 2, and 0 → X1/0 → X2/0 → X2/1 → 0 are short exact sequences.
The element α⋆Sh β of K2 (P) is represented by the following diagram of simplices
in G(P):
(1,β)
/ (M, M )
(M, M )
d■■
:✉
❉❉
■■
✉
❉❉
■■
✉✉
❉
✉
■■
❉
✉
✉
❉❉
■
✉✉
❉❉(α,αβ)
❉
(α,α)
(α,α)
(0, 0)
(0, 0)
❉❉
■■
❉❉
■■
✉✉
❉
✉
■■
✉
❉❉
■■
✉✉
❉❉
■$ 
✉✉
✉
z
!

(1,β)
/ (M, M ).
(M, M )

8

MARK E. WALKER

In this diagram, each triangle is a two simplex. The lower-middle triangle is the
two simplex
(3.1)

M /

α

/M /

0/

=

/M

M /


/0

α

/M /

0/


0

β

/M

/0

0,

and the others are defined similarly. Since the top and bottom paths in (3.1)
represent the same loop in |G(P)|, this diagram represents a map from the twosphere to |G(P)| and hence an element of K2 (P).
Sherman’s pairing is functorial in the following sense: If F : P → P ′ is an exact
functor between exact categories, M ∈ ob P and α, β are commuting automorphisms of M , then F∗ : K2 (P) → K2 (P ′ ) sends α ⋆Sh β to F (α) ⋆Sh F (β).
If P = P(S), the category of projective right S-modules for some (not necessarily
commutative) ring S, and A, B ∈ GLn (S) are matrices that commute, we define
A ⋆Sh B ∈ K2 (S)
by viewing A, B as commuting automorphism of the right S-module S n , with S n
thought of as column vectors and the action of A, B given by multiplication on the
left of S n . If g : S → S ′ is a ring map and A, B are commuting elements of GLn (S),
then g∗ (A ⋆Sh B) = g(A) ⋆Sh g(B) holds in K2 (S ′ ).
Grayson [5] has also defined a “star” pairing, defined for pairs of commuting n×n
invertible matrices (A, B) in a (not necessarily commutative) ring S. Grayson’s
definition amounts to
A ⋆Gr B := D(A) ⋆Mi D′ (B)
′
where D(A) and D (B) are the 3n × 3n elementary matrices




B 0
0
A
0
0
0 ,
and D′ (B) =  0 In
D(A) =  0 A−1 0 
0 0 B −1
0
0
In

and ⋆Mi denotes Milnor’s star pairing. The latter pairing was defined by Milnor
[10] for pairs of commuting elementary matrices E1 and E2 (in E(R) ⊂ GL(R) :=
GL∞ (R)) and is given by
E1 ⋆Mi E2 = [Ẽ1 , Ẽ2 ]

where Ẽ1 , Ẽ2 are lifts of E1 , E2 to elements of the Steinberg group, St(R), under
the canonical surjection St(R) ։ E(R), and [−, −] denotes the commutator of a
pair of elements of St(R).
We also have the multiplication rule for K∗ (S), when S is a commutative ring,
which gives the pairing we will write as cup product:
− ∪ − : K1 (S) ⊗Z K1 (S) → K2 (S).
There are several equivalent methods of describing this multiplication rule [21]; we
use Milnor’s [10] original description of it: For A ∈ GLm (S) and B ∈ GLn (S), we
write [A], [B] ∈ K1 (R) for the associated K-theory classes. One then defines
[A] ∪ [B] = D(A ⊗ In ) ⋆Mi D′ (Im ⊗ B)

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

9

where A ⊗ In and Im ⊗ B are identified with elements of GLmn (R) by viewing each
as an automorphism of S m ⊗S S n and choosing, arbitrarily, a basis of S m ⊗S S n .
It is important to realize that A ⋆Gr B and [A] ∪ [B] are not the same element of
K2 (S) in general. This is clear even for diagonal matrices: Say A and B are 2 × 2
diagonal matrices with diagonal entries a1 , a2 and b1 , b2 in a commutative ring S.
Then A ⋆Gr B = [a1 ] ∪ [b1 ] + [a2 ] ∪ [b2 ] ∈ K2 (R) but [A] ∪ [B] = [a1 ] ∪ [b1 ] + [a1 ] ∪
[b2 ] + [a2 ] ∪ [b1 ] + [a2 ] ∪ [b2 ]. (We have written the group law for K2 (S) additively
here.)
We do have, however, the identity
A ⋆Gr uIn = [A] ∪ [u]
for any commutative ring S, unit u ∈ S and matrix A ∈ GLn (S). In particular,
u ⋆Gr v = [u] ∪ [v]

(3.2)

for any pair of units u, v in a commutative ring.
It is clear that Grayson’s star pairing is also functorial for ring maps: If g : S →
S ′ is any ring homomorphism and A and B are elements of GLn (S) that commute,
then
′
g∗ (A ⋆SGr B) = g(A) ⋆SGr g(B)
where g∗ : K2 (S) → K2 (S ′ ) is the induced map on K2 and the superscript indicates
in which ring the star operation is being performed.
Both Grayson’s and Sherman’s operations are also preserved by Morita equivalence, in the following sense: If we identify an n× n invertible matrix with entries in
Matm (S) with an nm × nm invertible matrix with entries in S in the usual manner,
then
Mat (S)
ψ(A ⋆Sh m B) = A ⋆SSh B
and
Matm (S)

ψ(A ⋆Gr

B) = A ⋆SGr B

∼
=

were ψ : K2 (Matm (S))−→K2 (S) is the canonical isomorphism induced from the
∼
∼
=
=
isomorphisms ψ : St(Matm (S))−→St(S) and ψ : GL(Matm (S))−→GL(S) (see [5,
4.5]).
3.2. Sherman’s Theorem on the Connecting Homomorphism. Sherman’s
Theorem [16, 3.6] describes the image of certain elements of the form α ⋆Sh β ∈
K1 (P) under the boundary map in a long exact localization sequence. To state
it precisely, and for use again in Section 4, we review some technical details of
Sherman’s work.
In an exact category A, a mirror image sequence is a pair (E, F ) of short exact
sequences on the same three objects, but in the opposite order:
(3.3)

i

p

j

q

E = (0 → X −
→Y −
→ Z → 0) and F = (0 → Z −
→Y −
→ X → 0)

Sherman [15, p.18] associates to a mirror image sequence (E, F ) a loop in |G(A)|
given by the diagram of one simplices in G(A)
(ι1 ,i)

(ι2 ,j)

(0, 0) → (X, X) −−−→ (X ⊕ Z, Y ) ←−−− (Z, Z) ← (0, 0),
where ι1 and ι2 denote inclusions into the first and second summands, and he writes
G(E, F ) for the associated element of K1 (A) = π1 |G(A)|.

10

MARK E. WALKER

Mainly for use in Section 4, we recall here an alternative description of the class
G(E, F ). A double short exact sequence in an exact category A, defined originally
by Nenashev [12], is a pair of short exact sequences involving the same three objects,
in the same order:
p

i

j

q

l = (0 → A −
→B−
→ C → 0, 0 → A −
→B−
→ C → 0).
Nenashev associates to a double short exact sequence l the class m(l) ∈ K1 (A)
represented by the loop
(i,j)

(0, 0) → (A, A) −−−→ (B, B) ← (0, 0).
(Moreover, Nenashev [12, 11] proves that K1 (A) is generated by these loops and
gives explicit generators for all the relations.)
Associated to a mirror image sequence (3.3), we have the double short exact
sequence l(E,F ) given by


0

(3.4)



j



0 1 0
0


q 0 0
1 0
0 → X ⊕ Z −−−−−→ Y ⊕ Z ⊕ X −−−−−−−−→ Z ⊕ X → 0

0



i



0



p 0 0
1


0 0 1
0 0
0 → X ⊕ Z −−−−−→ Y ⊕ Z ⊕ X −−−−−−−−→ Z ⊕ X → 0.

0


The following result of Sherman connects explicitly the two types of elements of
K1 (A).
Proposition 3.5 (Sherman). [17, p. 164] For any mirror image sequence (3.3) in
an exact category A, we have
G(E, F ) = m(lE,F ) − G(Y, −1) ∈ K1 (A),
where (Y, −1) denotes the mirror image sequence
−1

1

(0 → Y −−→ Y → 0 → 0, 0 → 0 → Y −
→ Y → 0).
Suppose now that A is an abelian category, S ⊂ A is a Serre subcategory,
and P = A/S, the associated quotient abelian category. Recall that Quillen’s
Localization Sequence is a long exact sequence of the form
∂

· · · → Ki (S) → Ki (A) → Ki (P) −
→ Ki−1 (S) → · · · .
Suppose also that α, β are commuting, injective endomorphisms of an object M of
A whose cokernels lie in S. These form a commutative diagram
α
/M
M ❆/

❆❆
❆❆
❆❆
❆❆βα
β
β
❆
αβ ❆❆
❆❆
❆❆


α
/
/ M,
M

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

11

and by the “snake chasing its tail Lemma”, this diagram determines the mirror
image sequence (E, F ):
β

(3.6)

E := (0 → coker(α)−→ coker(βα) → coker(β) → 0)
α

F := (0 → coker(β)−→ coker(αβ) → coker(α) → 0).
Since we are assuming that coker(α) and coker(β) belong to S, the mirror image
sequence (E, F ) determines the class G(E, F ) ∈ K1 (S). Also, the morphisms in
P = A/S induced by α and β, which we will write as α and β, are commuting
automorphisms of M ∈ P, so that we have the element α ⋆Sh β ∈ K2 (P).
Theorem 3.7 (Sherman). [16, 3.6] Under these hypotheses,
(3.8)

∂(α ⋆Sh β) = ±G(E, F ) ∈ K1 (S)

where (E, F ) is the mirror image sequence (3.6).
3.3. A proof of (a weakened form of ) a conjecture of Sherman. Sherman
has conjectured that his pairing ⋆Sh and Grayson’s pairing ⋆Gr coincide up to a
sign. We prove here a slightly weaker form of this conjecture:
Theorem 3.9. If S is a (not necessarily commutative) ring and A and B are n × n
invertible matrices with entries in S that commute, then A ⋆Sh B and A ⋆Gr B agree
up to a sign and two-torsion — i.e.,
2A ⋆Sh B = ±2A ⋆Gr B ∈ K2 (S).
Proof. We first prove this when S = Z[x±1 , y ±1 ] and A, B are the 1 × 1 matrices
x, y. Since
K2 (S) ∼
= K2 (Z) ⊕ K1 (Z)⊕2 ⊕ K0 (Z) ∼
= Z/2 ⊕ (Z/2)⊕2 ⊕ Z,
to prove the theorem in this case, it suffices to show the images of x ⋆Sh y and
x ⋆Gr y under the canonical map K2 (S) ։ Z, given by modding out torsion, are
both generators of Z.
We have the localization long exact sequence
∂

0

· · · → K2 (Z[x±1 , y]) → K2 (S)−→G1 (Z[x±1 , y]/y)−→K1 (Z[x±1 , y]) ֌ K1 (S) → · · · .
The map labelled as vanishing does so because the next map is injective, and this
injectivity holds since
∼
=
K1 (Z[x±1 ])−→K1 (Z[x±1 , y])
is an isomorphism and the map Z[x±1 ] → S splits.
Observe Z[x±1 , y]/y ∼
= Z[x±1 ] and hence
G1 (Z[x±1 , y]/y) ∼
= Z/2 ⊕ Z.
= K1 (Z) ⊕ K0 (Z) ∼
= K1 (Z[x±1 ]) ∼
Also,
∼ Z/2 ⊕ Z/2.
K2 (Z[x±1 , y]) ∼
= K2 (Z[x±1 ]) ∼
= K2 (Z) ⊕ K1 (Z) =
From these calculations it follows that in order to prove the theorem in this special
case, it suffices to prove ∂(x ⋆Sh y) and ∂(x ⋆Gr y) each map to a generator of Z
under the canonical surjection G1 (Z[x±1 , y]/y) ։ Z given by modding out torsion.
To prove ∂(x ⋆Sh y) maps to a generator, we apply Sherman’s equation (3.8)
with A = M(Z[x±1 , y]) and S the Serre subcategory of y-torsion modules, so that
A/S = M(Z[x±1 , y ±1 ]). (In general, M(A) denotes the abelian category of finitely

12

MARK E. WALKER

generated A-modules.) This gives ∂(x ⋆Sh y) = ±G(E, F ) where E, F are the short
exact sequences in S


=
E = 0 → 0 → Z[x±1 ]−→Z[x±1 ] → 0
and



x
F = 0 → Z[x±1 ]−→Z[x±1 ] → 0 → 0 .

Under the isomorphism K1 (Z[x±1 ]) ∼
= K1 (S), induced by the inclusion of P(Z[x±1 , y]/y)
into S, the element G(E, F ) corresponds to [x] ∈ K1 (Z[x±1 ]), which maps to a generator under K1 (Z[x±1 ]) ։ Z.
To prove ∂(x ⋆Gr y) also maps to a generator of Z, we first observe that x ⋆Gr y =
[x] ∪ [y] ∈ K2 (S) by (3.2). Note that [x] lifts to an element of K1 (Z[x±1 , y]) and
hence by [18, 1.1] we have
∂([x] ∪ [y]) = [x] ∪ ∂ ′ ([y])
where [x] is the image of [x] under the map
K1 (Z[x±1 , y]) → K1 (Z[x±1 , y]/y) ∼
= K1 (Z[x±1 ])
and

∂ ′ : K1 (S) → G0 (Z[x±1 , y]/y) ∼
= G0 (Z[x±1 ]) ∼
= K0 (Z[x±1 ]) ∼
= Z.
is the boundary map in the localization long exact sequence. Now ∂ ′ ([y]) =
y
coker(Z[x±1 , y]−→Z[x±1 , y]) = 1 in K0 (Z[x±1 ]) and thus
∂([x] ∪ [y]) = [x] ∪ ∂ ′ ([y]) = [x],
whose image under
K1 (Z[x±1 ]) ։ Z
is a generator. This completes the proof of the theorem in this special case.
The general form of the theorem now follows readily by naturality. Let Matn (S)
denote the ring of n × n matrices with entries in S and define g : Z[x±1 , y ±1 ] →
Matn (S) by g(x) = A and g(y) = B. This is well-defined since A, B are assumed
to commute. We have proven 2x ⋆Sh y = ±2x ⋆Gr y. Using the naturality of ⋆Sh
and ⋆Gr for ring maps and Morita equivalence, it follows that
Matn (S)

2A ⋆Sh B = 2ψ(A ⋆Sh

B) = 2ψg∗ (x ⋆Sh y) = ±2ψg∗ (x ⋆Gr y)

Matn (S)

= ±2ψ(A ⋆Gr

B) = ±2A ⋆Gr B.



Corollary 3.10. Suppose S is a commutative ring, A, B are n × n invertible matrices with entries in S and AB = BA = f In for some (unit) f ∈ S. Then
2A ⋆Gr B = 2[A] ∪ [f ] and 2A ⋆Sh B = ±2[A] ∪ [f ].
Proof. By Theorem 3.9, it suffices to prove the first equation.
Since B = f A−1 , we have D′ (B) = D′ (f In )D′ (A−1 ) = D′ (f In )D′ (A)−1 and
hence the bimultiplicativity of ⋆Mi (see [10, 8.1]) gives
A⋆Gr B = D(A)⋆Mi D′ (B) = D(A)⋆Mi D′ (f In )+D(A)⋆Mi D′ (A−1 ) = [A]∪[f ]−D(A)⋆Mi D′ (A)
(where, as before, the group law for K2 is written additively).
We now extend slightly an argument of Milnor [10, 8.2]. Let


−In 0 0
0 In  .
P = 0
0
In 0

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

13

Then P D(A)P −1 = D′ (A) and P D(B)P −1 = D′ (A). So, using the invariance of
⋆Mi under inner automorphisms [10, 8.1], we have
D(A) ⋆Mi D′ (A) = D′ (A) ⋆Mi D(A) = −D(A) ⋆Mi D′ (A).
It follows that 2D(A) ⋆Mi D′ (A) = 0 and hence
2A ⋆Gr B = 2[A] ∪ [f ].

The following result will be used to reinterpret Hochster’s θ invariant in the next
section. We will apply it in the case when Q is assumed to be regular, but state it
here in its natural level of generality.
Corollary 3.11. Let Q be a commutative ring and f ∈ Q a non-zero-divisor, and
set R = Q/f . Assume (A, B) is a matrix factorization of f in Q; i.e., A and B
are m × m matrices with entries in Q such that AB = BA = f Im .
Then under the composition of
  ∂
  can
K2 (Q f1 ) −−→ G2 (Q f1 )−→G1 (R),
where ∂ is the boundary map in the
 localization long exact sequence, the image
of the element [A] ∪ [f ] ∈ K2 (Q f1 ) is, up to a sign and two torsion, equal to
G(E, F ) ∈ G1 (R), where (E, F ) is the mirror image sequence
β

E := (0 → coker(A)−→Rm → coker(B) → 0)
α

F := (0 → coker(B)−→Rm → coker(A) → 0).
Proof. This follows immediately from Sherman’s Theorem 3.7 and Corollary 3.10.

4. Reinterpreting Theta
In this section, we use the results of the previous section to give a reformulation
of the θ-pairing in terms of more familiar K-theoretic constructions. Our results
here are valid for a general hypersurface ring.
Let Q be a regular (Noetherian) ring, m a maximal ideal of Q, and f ∈ m a nonzero-divisor. Set R = Q/f and also write m for the image of m in R. Recall that
Hochster’s θ invariant may be viewed as a bilinear pairing of the form
θ = θ(Q,m,f ) : G0 (Spec R \ m) × K0 (Spec R \ m) −→ Z,
and is determined by the formula
R
(M, N ) 7→ length TorR
2j (M, N ) − length Tor2j+1 (M, N ), j ≫ 0,

where M and N are finitely generated R-modules such that pdRp Np < ∞ for all
p 6= m. We will need to know the θ pairing factors through localization at m; in
fact, more is true:
Proposition 4.1. Let Q, m, f , and R be as above. Suppose Q → Q′ is a flat
∼
=
ring map such that m′ := mQ′ is a maximal ideal of Q′ and Q/m −
→ Q′ /m′ is an

14

MARK E. WALKER

isomoprhism. Let f ′ ∈ Q′ be the image of f in Q′ and set R′ = Q′ /f ′ = Q′ ⊗Q R.
The triangle
G0 (Spec(R) \ m) × K0 (Spec(R) \ m)
❯❯❯❯
❯❯❯❯ θR
❯❯❯❯
❯❯❯❯
❯❯❯*
∗
∗
φ ×φ
✐✐4 Z
✐
✐
′
✐✐✐
θ R ✐✐✐✐
✐✐✐✐
✐✐✐✐

G0 (Spec(R′ \ m′ )) × K0 (Spec(R′ ) \ m′ )
commutes, where φ : Spec(R′ ) \ m′ → Spec(R) \ m is the induced flat morphism.
In particular, the θ pairing factors through the localization at m; that is,
G0 (Spec(R) \ m) × K0 (Spec(R) \ m)
❯❯❯❯
❯❯❯❯ θR
❯❯❯❯
❯❯❯❯
❯❯❯*
✐✐4 Z
✐
✐
✐✐✐
θ Rm✐✐✐✐
✐✐✐✐
✐✐✐✐

G0 (Spec(Rm ) \ m) × K0 (Spec(Rm ) \ m)
commutes.
Proof. The hypothesis mQ′ = m′ implies that Q → Q′ does indeed determine a flat
morphism φ : Spec(R) \ m → Spec(R′ ) \ m′ of schemes. Since R → R′ is flat, we
have an isomorphism
′
TorR (M, N ) ⊗R R′ ∼
= TorR (M ⊗R R′ , N ⊗R R′ ).
j

j

Finally, for any finitely generated R-module T supported at m, we have
lengthR (T ) = lengthR′ (T ⊗R R′ )
since R′ ⊗R R/m ∼
= R′ /mR′ = R′ /m′ by assumption.



For any Noetherian scheme U , we write K∗ (U ) for the (Quillen) K-groups of the
exact category of locally free coherent sheaves on U and G∗ (U ) for the K-groups
of the abelian category of all coherent sheaves. The groups K∗ (U ) form a graded
ring with the multiplication rule, which we write as cup product − ∪ −, induced by
tensor product. Tensor product also defines the cap product pairing
− ∩ − : Ki (U ) × Gj (U ) → Gi+j (U )
making G∗ (U ) into a graded K∗ (U )-module.
For any integer ℓ ≥ 0, let K∗ (U, Z/ℓ) and G∗ (U, Z/ℓ) denote K-theory and Gtheory with Z/ℓ coefficients. These are defined as the homotopy groups of spectra
obtains from the K- and G-theory spectra by smashing them with the mod-ℓ Moore
space. There are long exact coefficient sequences
·ℓ

· · · → Km (U ) −
→ Km (U ) → Km (U, Z/ℓ) → Km−1 (U ) → · · ·
and similarly for G-theory.
We also will need the mod-ℓ versions of the cup and cap product pairings. To
avoid complications in the multiplication rule for the Moore spaces for small primes,
we assume for simplicity that Z/ℓ has no 2- or 3-torsion; i.e., either ℓ = 0 or it

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

15

is not divisible by 2 or 3. In this case, K∗ (U, Z/ℓ) is a graded ring under cup
product and G∗ (U, Z/ℓ) is a module over this ring under cap product. Moreover,
K∗ (U ) → K∗ (U, Z/ℓ) is a ring map and G∗ (U ) → G∗ (U, Z/ℓ) is K∗ (U )-linear. See
[20, A.6] for more information.
The open
 complement of the closed subscheme Spec(R) \ m of Spec(Q) \ m is
Spec Q f1 and (using that Q is regular) we have a long exact localization sequence
in K-theory:
(4.2)
 
∂
· · · →Ki+1 (Spec(Q) \ m, Z/ℓ) → Ki+1 (Spec Q f1 , Z/ℓ)−→Gi (Spec(R) \ m, Z/ℓ)
→ Ki (Spec(Q) \ m, Z/ℓ) → · · · .

We also have the long exact localization sequence in G-theory associated to the
closed subscheme Spec(R/m) of Spec(R),
(4.3)
∂′

· · · → Gi+1 (Spec R, Z/ℓ) → Gi+1 (Spec(R)\m, Z/ℓ) −→ Ki (R/m, Z/ℓ) → Gi (R, Z/ℓ) → · · · .
Definition 4.4. Assume Q is a (not necessarily regular) Noetherian ring, m is a
maximal ideal, f ∈ m is any element, and ℓ is an integer such that Z/ℓ has no 2or 3-torsion. Set R = Q/f . Let ∂ and ∂ ′ be the boundary maps in the G-theory
localization sequences (4.2) and (4.3).
Define θe = θe(Q,f,m),ℓ,(i,j) to be the pairing
θe : Gi (Q[ f1 ], Z/ℓ) × Kj (Spec(R) \ m, Z/ℓ) → Ki+j−1 (R/m, Z/ℓ)

defined by the formula

e γ) = ∂ ′ (∂(α ∩ [f ]) ∩ γ) ,
θ(α,

where [f ] ∈ K1 (Q[ f1 ]) denotes the class of the unit f of Q

 
1
f .

Taking i = 1 and j = 0, we have in particular the pairing
(4.5)

θe : G1 (Q[ f1 ], Z/ℓ) × K0 (Spec(R) \ m, Z/ℓ) → K0 (R/m, Z/ℓ) ∼
= Z/ℓ,

where the isomorphism sends [R/m] to 1 ∈ Z/ℓ. The goal of this section is to relate
this pairing to Hochster’s θ pairing.
e
We shall need the following analogue of Proposition 4.1 for θ:
Proposition 4.6. Suppose (Q, m, f, ℓ, R) are as in Definition 4.4 and that Q → Q′
∼
=
is a flat ring map such that m′ := mQ′ is a maximal ideal of Q′ and Q/m −
→ Q′ /m′
′
′
′
′
is an isomoprhism. Let f ∈ Q be the image of f in Q and set R = Q′ /f ′ =
Q′ ⊗Q R. Then the square
Gi (Q[ f1 ], Z/ℓ) × Kj (Spec(R) \ m, Z/ℓ)

θe

/ Ki+1−1 (R/m, Z/ℓ)

θe


/ Ki+1−1 (R′ /m′ , Z/ℓ)

∼
=



Gi (Q′ [ f1′ ], Z/ℓ) × Kj (Spec(R′ ) \ m′ , Z/ℓ)
commutes.

16

MARK E. WALKER

Proof. Write φ : Spec(Q′ ) → Spec(Q) for the associated map of affine schemes.
The hypotheses ensure that each square in
Spec(R′ ) \ m′

/ Spec(Q′ ) \ m′

/ Spec(Q′ ) o

φ

φ


Spec(R) \ m

Spec(Q′ [ f1′ ])

φ


/ Spec(Q) \ m

φ


/ Spec(Q) o


Spec(Q[ f1 ])

a pull-back. It follows that the diagram
G(Spec(R) \ m)
φ∗

/ G(Spec(Q) \ m)

/ G(Spec(Q[ f1 ]))

φ∗


G(Spec(R′ ) \ m)


/ G(Spec(Q′ ) \ m′ )

φ∗


/ G(Spec(Q′ [ 1′ ]))
f

is homotopy commutative. This gives us that φ∗ commutes with the boundary
maps ∂ in the associated long exact sequence. For any flat map φ, φ∗ commutes
with ∩ product. This proves that
φ∗ (∂(α ∩ [f ]) ∩ γ) = ∂(φ∗ (α) ∩ [f ′ ]) ∩ φ∗ (γ) ∈ Gi+j (Spec(R′ ) \ m′ ).
Similarly, the diagram
G(Spec(R/m))
φ∗


G(Spec(R′ /m′ ))

/ G(R)
φ∗


/ G(R′ )

/ G(Spec(R) \ m)
φ∗


/ G(Spec(R′ ) \ m′ )

is homotopy commutative so that φ∗ commutes with the boundary maps ∂ ′ .



Example 4.7. We will use the previous result, in particular, when Q′ = Qhen
m , the
e
Henselization of Q at the maximal ideal m. That is, the θ pairing for R = Q/f
factors through its Henselization at m.

Assume Q is a regular ring and f ∈ Q is a non-zero-divisor. Given a matrix
factorization (A, B) of f in Q, the module coker(A) is annihilated by f and thus
may be regarded as an R-module, where R := Q/f . It is necessarily a MCM Rmodule, as seen by the depth formula and the fact that pdQ (M ) = 1. Moreover,
if Q is local, every MCM R-module is the cokernel of some matrix factorization.
Recall
as a matrix with entries in
  that A is an invertible matrix when regarded

1
Q f1 and we write [A] for the
class
in
K
(Q
)
it
determines.
We write [A]ℓ for
1
f
 
image of this class in K1 (Q f1 , Z/ℓ). (Note that [A]0 = [A].)
For finitely generated R-modules M and N such that Np has finite projective
dimension for all p 6= m, let θℓ (M, N ) ∈ Z/ℓ be the value of θ(M, N ) modulo ℓ.
Recall that such a module N determines a coherent sheaf on Spec(R) \ m that
admits a finite resolution by locally free coherent sheaves, and hence N determines
a class [N ′ ] ∈ K0 (Spec(R)\m). We write [N ′ ]ℓ for the image of [N ′ ] in K0 (Spec(R)\
m, Z/ℓ). (As before, [N ]0 = [N ].)
Theorem 4.8. Assume Q is a regular ring, m is a maximal ideal of Q and f ∈ m
is a non-zero-divisor. Let R = Q/f and let m also denote the image of m in R. Let
(A, B) be a matrix factorization of f in Q and let M = coker(A) be the associated

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

17

MCM R-module. Let N be a finitely generated R-module such that pdRp (Np ) < ∞
for all p 6= m, and let [N ′ ] be the class it determines in K0 (Spec(R) \ m).
For any integer ℓ such that Z/ℓ has no 2- or 3-torsion,
θℓ (M, N ) = ±θeℓ ([A]ℓ , [N ′ ]ℓ )

Proof. The compatibility of cup and cap products with the canonical maps K∗ (U ) →
K∗ (U, Z/ℓ) implies that the diagram
K1 (Q

K1 (Q

 
1
f

 
1
f

θe

) × K0 (Spec(R) \ m)


, Z/ℓ) × K0 (Spec(R) \ m, Z/ℓ)

/ G0 (R/m)

θeℓ


/ G0 (R/m, Z/ℓ)

commutes. It therefore suffices to prove the theorem with integral coefficients.
To shorten notation, set U = Spec(Q), U ′ = U \m, V = Spec(R) and V ′ = V \m.
Note that U ′ is open in U , V is closed in U and V ′ = V ∩ U .
Let N ′ denote the coherent sheaf on V ′ given by the restriction of N , viewed as
a coherent sheaf on V , to V ′ . Since a high enough syzygy for an R-free resolution
of N will be locally free on V ′ and since the equation in question depends only on
the class of N ′ in K0 (V ′ ), we may assume N ′ is a locally free coherent sheaf on V ′ .
From Corollary 3.11 we have
2∂([A] ∪ [f ]) = ±2G(E, F ) ∈ G1 (Spec R) = G1 (V ).
where E and F are the short exact sequences of coherent sheaves on V = Spec(R)
E := (0 → coker(A) → OVm → coker(B) → 0)
and
F := (0 → coker(B) → OVm → coker(A) → 0).
(We are assuming A and B are m × m matrices.) The image of G(E, F ) under
G1 (V ) → G1 (V ′ ) is G(E ′ , F ′ ), where
E ′ := (0 → coker(A′ ) → coker OVm′ → coker(B ′ ) → 0)
and
F ′ := (0 → coker(B ′ ) → coker OVm′ → coker(A′ ) → 0) ,
m
m
where A′ and B ′ be the injective maps OU
֌ OU
induced by A and B. Thus
2∂([A] ∪ [f ]) = ±2G(E ′ , F ′ ) ∈ G1 (V ′ ).
We may describe the mirror image sequence (E, F ) in the following equivalent
way. Let A, B be the matrices in R = Q/f determined by A, B. We have an
unbounded, two-periodic exact sequence of locally free OV -modules
(4.9)

A

B

A

B

· · · → OVr −→OVr −→OVr −→OVr −→ · · · .

Then E and F are the two canonical short-exact sequences involving sysygies coming from this two periodic exact sequence.
The key result we need is that
∂ ′ (G(E ′ , F ′ ) ∩ [N ′ ]) = θ(M, N ),
where ∂ ′ is the boundary map G1 (V ′ ) → G0 (R/m) ∼
= Z. This is essentially proven
by Buchweitz and van Straten [1, 3.4], but they use the notation of double short

18

MARK E. WALKER

exact sequences, and not that of mirror image sequences. We proceed to summarize
their proof in the notation we need.
Since N ′ is locally free on V ′ , the exact sequences E ′ and F ′ remain exact upon
tensoring with N ′ and it follows that
G(E ′ , F ′ ) ∩ [N ′ ] = G(E ′ ⊗OV ′ N ′ , F ′ ⊗OV ′ N ′ ) ∈ G1 (V ′ ).
Tensoring the sequence (4.9) with N yields the two periodic complex of coherent
sheaves on V ,
B⊗id

A⊗id

B⊗id

A⊗id

· · · −−−−N
→ OVr ⊗OV N −−−−N
→ OVr ⊗OV N −−−−N
→ OVr ⊗OV N −−−−N
→ ···
and, again using that N ′ is locally free on V ′ , this complex is exact on the open
subset V ′ of V . From this complex, one builds what Buchweitz and van Straten
call a “cyclic diagram”:







ζ := 
0




0o

/ Or
V

/ ker(A ⊗ idN )
O






/0





0

/ im(A ⊗ idN )

⊆

⊆


ker(B ⊗ idN ) o

OVr o

im(B ⊗ idN ) o

(Note that the digram does not commute.) The left and right vertical arrows in
this are the canonical inclusions. Buchweitz and van Straten define {ζ} ∈ G1 (R) =
G1 (V ) to be m(lζ ) where lζ a certain double short exact sequence associated to a
cyclic diagram ζ; see [1, p. 247] for the precise formula.
The image of {ζ} under G1 (V ) → G1 (V ′ ) is {ζ ′ } where








′
ζ :=  0





0o

/ ker(A′ ⊗ idN ′ )

/ im(A′ ⊗ idN ′ )

/ Or ′
V

′

′

OVr ′ o

im(B ⊗ idN ′ ) o






/0






0

ker(B ⊗ idN ′ ) o

Observe that the vertical arrows are now all identity maps, and thus we may interpret ζ ′ as determining the mirror image sequence (E ′′ , F ′′ ) where
′

⊆

A′ ⊗id

′

N
E ′′ := (0 → ker(A ⊗ idN ′ ) −
→ OVr ′ −−−−−
→ im(A ⊗ idN ′ ) → 0)
′

and
′

⊆

B ′ ⊗id

′

N
→ OVr ′ −−−−−
→ ker(A ⊗ idN ′ ) → 0).
F ′′ := (0 → im(A ⊗ idN ′ ) −

′

′

′

′

′

′

′

Since ker(A ) = im(B ) ∼
= coker(A ) and ker(B ) = im(A ) ∼
= coker(B ) we have an
isomorphism of mirror image sequences
(E ′′ , F ′′ ) ∼
= (E ′ ⊗OV ′ N ′ , F ′ ⊗OV ′ N ′ ).

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

19

Moreover, by comparing the definitions lζ ′ and l(E ′′ ,F ′′ ) (see [1, p. 247] and (3.4)),
it is clear that
lζ ′ = −l(E ′′ ,F ′′ ) .
Using also that m(l(E ′′ ,F ′′ ) ) = G(E ′′ , F ′′ ) + G(OVr ′ , −1) [17, p. 164] we obtain
−{ζ ′ } = (G(E ′ , F ′ ) ∩ [N ′ ]) + G(OVr ′ , −1) ∈ G1 (V ′ ).
The class G(OVr ′ , −1) clearly lifts along G1 (V ) → G1 (V ′ ) to the class G(OVr , −1)
and hence ∂ ′ (G(OVr ′ , −1)) = 0 and
∂ ′ (G(E ′ , F ′ ) ∩ [N ′ ]) = ∂ ′ (ζ ′ ).
Finally, Buchweitz and van Straten show [1, Proof of 3.4] that
∂ ′ ({ζ ′ }) = θ(M, N ).
We have proven that
2θ(M, N ) = ±2∂ ′ (∂([A] ∪ [f ]) ∪ [N ′ ]) = ±2θeℓ (M, N )

and since this is an equation in Z, we may divide by 2.



Corollary 4.10. Let Q be a regular ring, m a maximal ideal of Q, f ∈ m a nonzero-divisor, R = Q/f , and ℓ ≥ 0 an integer such that Z/ℓ is without 2- and
3-torsion. The diagram
K1 (Q[ f1 ], Z/ℓ) × K0 (Spec(R) \ m, Z/ℓ)
❱❱❱❱
❱❱❱❱
❱❱❱❱ θe
∂×id
❱❱❱❱
❱❱❱❱

❱/*
Z/ℓ
G0 (Spec(R) \ m, Z/ℓ) × K0 (Spec(R) \ m, Z/ℓ)
θ

commutes up to a sign.
Proof. By Propositions 4.1 and 4.6, θ and θe factor through the localization of R at
m, and hence we may assume Q is local.
Theorem 4.8 shows that θeℓ (A, N ) = θℓ (coker(A), N ) for all matrix factorizations
(A, B) of f in Q and all N . An arbitrary class of K1 (Q[ f1 ]) is determined by an
invertible matrix T with entries in Q[ f1 ] (not necessarily coming from a matrix
factorization). In G0 (R), we may represent ∂([T ]) as the difference of the classes
of MCM modules. Since Q is assumed local, every MCM R-module is represented
as the cokernel of a matrix factorization. It follows that K1 (Q[ f1 ]) is generated by
classes coming from matrix factorizations of f and the image of K1 (Q) → K1 (A[ f1 ]).
It therefore suffices to prove θe annihilates the image of K1 (Q).
Let then T be an invertible matrix with entries in Q. Using [18, 1.1], we have
e ], N ) = ∂ ′ (∂([T ] ∪ [f ]) ∩ [N ]) = ∂ ′ (([T ] ∩ ∂[f ]) ∩ [N ])
θ([T

where [T ] denotes the image of [T ] under the canonical map K1 (Q) → K1 (Spec(R)\
m). The map ∂ factors as
∂˜

can

K1 (Q[ f1 ]) −
→ G0 (R) −−→ G0 (Spec(R) \ m).
˜ ]) = [R] we have [T ] ∩ ∂[f ] = [T ] and hence
Since ∂([f
e ], N ) = ∂ ′ ([T ] ∩ [N ]).
θ([T

20

MARK E. WALKER

Finally, since [T ] and [N ] lift to elements of K1 (R) and G0 (R), respectively, [T ] ∩
[N ] ∈ G1 (Spec(R) \ m) lifts to an element of G1 (R). It follows that ∂ ′ ([T ] ∩ [N ]) =
0.


Let us indicate how the previous result relates to the work of Buchweitz and van
Straten, and least on the level of analogy. We start with:
Proposition 4.11. Assume (Q, m, k) is a Henselian, regular local ring with algebraically closed residue field k and 0 6= f ∈ m. Set R = Q/f . Assume ℓ is a positive
integer that is relatively prime to char(k) and is such that [R/m] = 0 in G0 (R, Z/ℓ).
Then the boundary map

(4.12)

∼
=

K1 (Q[ f1 ], Z/ℓ) −
→ G0 (Spec(R) \ m, Z/ℓ)

is an isomorphism.
Remark 4.13. Before proving this, let us show [R/m] = 0 in G0 (R, Z/ℓ), at least
when dim(R) > 0, for all but a finite number of primes ℓ, so that the hypotheses
of the Proposition are often met.
Let p be a prime in R of height dim(R) − 1 (recall that we assume dim(R) > 0)
and choose g ∈ m \ p. Then the short exact sequence
g

0 → R/p −
→ R/p → R/(p, g) → 0
gives [R/(p, g)] = 0 in G0 (R). But R/(p, g) is a finite length R-module, say of
length N , and hence [R/(p, g)] = N [R/m]. This proves N [R/m] = 0 in G0 (R) and
thus if ℓ is a prime such that ℓ ∤ N , then [R/m] is divisible by ℓ in G0 (R).
Proof. The localization sequences for G-theory (with Z/ℓ coefficients), and their
naturality, applied to the following schemes, closed subschemes, and open complements
Spec(R/m) ⊆ Spec(R) ⊇ Spec(R) \ m,

Spec(Q/m) ⊆ Spec(Q) ⊇ Spec(Q) \ m, and

Spec(R) \ m ⊆ Spec(Q) \ m ⊇ Spec(Q[ f1 ])

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

21

yield the commutative diagram
G1 (R)

/ G1 (R \ m)


G1 (Q)


/ G1 (Q \ m)

0

/ G0 (R/m)

0

/ G0 (R)

∼
=
∼
=


/ G0 (Q/m)


/ G0 (Q)

0


G1 (Q[ f1 ])

G0 (R \ m)
0


G0 (Q \ m)
∼
=


G0 (Q[ f1 ])
with exact rows and column. (Here, we have suppressed the coefficients of Z/ℓ and
written R \ m and Q \ m for the non-affine schemes Spec(R) \ m and Spec(Q) \ m).)
The Proposition follows immediately from this diagram, provided we justify the
labels.
The hypothesis that [R/m] = 0 in G0 (R, Z/ℓ) gives as that G0 (R/m, Z/ℓ) →
G0 (R, Z/ℓ) is the zero map, as labelled. The map G1 (Q, Z/ℓ) → G1 (Q \ m, Z/ℓ) is
the zero map since
G1 (Q, Z/ℓ) ∼
= K1 (Q, Z/ℓ) ∼
= K1 (Q/m, Z/ℓ) = 0
by [3] and [18]. A diagram chase then gives that G1 (R \ m, Z/ℓ) → G1 (Q \ m, Z/ℓ)
is onto and hence that G1 (Q \ m, Z/ℓ) → G1 (Q[ f1 ], Z/ℓ) is the zero map. The group
G0 (Q \ m, Z/ℓ) ∼
= K0 (Q \ m, Z/ℓ) is isomorphic to Z/ℓ and is generated by the
class of the structure sheaf, since G0 (Q, Z/ℓ) ∼
= K0 (Q, Z/ℓ) ∼
= Z/ℓ (using that Q is
local) and K0 (Q, Z/ℓ) → K0 (Q \ m, Z/ℓ) is onto. It follows that K0 (Q \ m, Z/ℓ) →
K0 (Q[ f1 ], Z/ℓ) is an isomorphism and hence that G0 (R \ m, Z/ℓ) → G0 (Q \ m, Z/ℓ)
is the zero map.

Assuming the hypotheses of the Proposition are met and also that ℓ is not
divisible by 2 or 3, then the mod-ℓ theta pairing,
θℓ : G0 (Spec(R) \ m, Z/ℓ) × G0 (Spec(R) \ m, Z/ℓ) → Z/ℓ,
may be given by the formula
(4.14)

θℓ (α, β) = hγ(α), βi.

Here, we define
(4.15)

γ : G0 (Spec(R) \ m, Z/ℓ) → G1 (Spec(R) \ m, Z/ℓ)

as the composition of the inverse of the isomorphism (4.12) and the map
(4.16)

∂(−∪[t])

K1 (Q[ f1 ], Z/ℓ) −−−−−→ G1 (Spec(R) \ m, Z/ℓ).

22

MARK E. WALKER

(In the next section, we note that the latter map is the “specialization map” in
K-theory, and we will explore its properties.) The pairing
h−, −i : G1 (Spec(R) \ m, Z/ℓ) × G0 (Spec(R) \ m, Z/ℓ) → Z
∂′

is the composition of cup product, the boundary map G1 (Spec(R) \ m, Z/ℓ) −→
G0 (R/m, Z/ℓ) and the canonical isomorphism G0 (R/m) ∼
= Z/ℓ.
The isomorphism (4.12) is the analogue of the Alexander duality isomorphism
∼
=
H 2m+1 (S \ L) −
→ H 2m (L) and the map (4.16) is the analogue of the map ρ∗t :
j+1
H
(S \ L) → H j+1 (L) induced by the “push aside” map ρt : L → ∂t F ⊆ (S \ L).
Thus the map γ defined in (4.15) is the analogue of the map
γ top : H j (L) → H j+1 (L)
occurring in the work of Buchweitz and van Straten. They prove [1, 5.1]
link(α, β) = hγ top (α), βi
for classes α, β in H n−1 (L) ∼
= Hn (L), where link is the linking form on Hn (L).
(The linking form may be defined as the restriction of the Seifert form, defined on
the homology of the Milnor fiber Hn (Ft ), along the canonical map Hn (∂(Ft )) →
Hn (Ft ), using the diffeomorphism L ∼
= ∂Ft .)
We may thus interpret Corollary 4.10 as saying that the mod-ℓ theta pairing is
the analogue for algebraic K-theory with finite coefficients of the linking form in
topology.
5. Specialization with finite coefficients (Following Suslin)
In the previous section we have given a new interpretation of the θ pairing in
terms of the pairing θe defined as
e γ) = ∂ ′ (∂(α ∩ [f ]) ∩ γ).
θ(α,
Under some additional assumptions, a portion of this formula, namely the map
σ : Gi (Q[ f1 ], Z/ℓ) → Gi (Spec(R) \ m, Z/ℓ)

sending α to ∂(α ∩ [f ]), can be interpreted as a specialization map. The goal of this
section is to make this precise and to establish properties of this specialization map.
When working with the algebraic analogue of the Milnor fiber, the specialization
map is the analogue of the map
1
1
ρ∗t : Ktop
(X ∗ ) → Ktop
(L)

occurring in the work of Buchweitz and van Straten. As mentioned, the map
ρ∗t factors through the topological K-theory of the Milnor fiber. We prove the
analogous fact here, by showing, under certain hypotheses, that the specialization
map σ factors through the G-theory of the algebraic analogue of the Milnor fiber.
Our notion of specialization in K- and G-theory is based on work of Andrei Suslin
[18].
Define a pointed curve to be a pair (C, c), where C is an affine, Noetherian,
integral scheme that is regular of dimension one and c ∈ C is a closed point such that
the associated maximal ideal is principle and the residue field κ(c) is algebraically
closed. Equivalently, a pointed curve is a pair (V, n) where V is a Dedekind domain
and n is a principle maximal ideal of V such that V /n is an algebraically closed
field. We will use both notations (C, c) and (V, n) interchangeably. We typically

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

23

write t for a chosen generator of n, but such a choice is not part of the defining
data.
A typical example occurs when V is a dvr with algebraically closed residue field
(and hence t is a uniformizing parameter), but we do not limit ourselves to this
case.
We will use the exact sequence
i∗

∂

K1 (C) −→ K1 (C \ c) −
→ K0 (c),
equivalently, the exact sequence
i∗

∂

→ K0 (V /n),
K1 (V ) −→ K1 (V [ 1t ]) −
coming from a portion of the long exact localization sequence in K-theory. (Since
V , V [ 1t ] and V /n are all regular, their K- and G-theories coincide). The map ∂
sends [t] ∈ K1 (V [ 1t ]) to [V /n] ∈ K0 (V /n) and [V /n] is a generator of K0 (V /n) ∼
= Z.
Given a pointed curve (C, c) and a morphism of Noetherian schemes p : X → C,
write Xc for the fiber over c ∈ C and X \ Xc for its open complement in X.
Observe that if V is a dvr, then Xc is the closed fiber and X \ Xc is the generic
fiber. If X = Spec(Q) is affine, so that p is given by a ring map V → Q, then
Xc = Spec(Q/f ) and X \ Xc = Spec(Q[ f1 ]), where f ∈ Q is the image of a chosen
generator t of n.
Similarly, given a ring map V → Q and a maximal ideal m of Q such that
m ∩ V = n, then setting X = Spec(Q) \ m, we have Xc = Spec(Q/f ) \ m and
X \ Xc = Spec(Q[ f1 ]). This is the main example we have in mind, but for most of
this section, we allow X to be an arbitrary Noetherian scheme.
Definition 5.1. Given a pointed curve (C, c) corresponding to (V, n), a morphism
of Noetherian schemes p : X → C, and a positive integer ℓ such that char(κ(c)) ∤ ℓ,
define the specialization map in G-theory (for X with Z/ℓ coefficients) to be the
map
σ = σC,c,p : Gi (X \ Xc , Z/ℓ) → Gi (Xc , Z/ℓ)
given as follows. Choose z to be any element of K1 (V [ 1t ]) that maps to 1 ∈ Z
under ∂ : K1 (V [ 1t ]) → K0 (V /n) = Z; for example, z could be [t]. Then σ is the
composition of
−∩z

∂

Gi (X \ Xc , Z/ℓ) −−−→ Gi+1 (X \ Xc , Z/ℓ) −
→ Gi (Xc , Z/ℓ)
where ∂ is the boundary map in the localization long exact sequence in G-theory
associated to the closed subscheme Xc of X.
Lemma 5.2 (Suslin). The specialization map σC,c,p is independent of the choice
of z.
Proof. Our proof is basically that of Suslin’s, with some minor modifications.
Suppose z ′ is another element of K1 (V [ 1t ]) with ∂(z ′ ) = 1, and let σ ′ : Gi (X \
Xc , Z/ℓ) → Gi (Xc , Z/ℓ) be the map σ ′ (α) = ∂(α ∩ z ′ ). The difference σ − σ ′ sends
α ∈ Gi (U \ Uc , Z/ℓ) to ∂(α ∩ (z − z ′ )). Since ∂(z − z ′ ) = 0, we have z − z ′ = i∗ (w)
for some w ∈ V . Using [18, 1.1], we have
∂(α ∩ i∗ (w)) = ∂(α) ∩ j ∗ (w) ∈ Gi (Uc , Z/ℓ)
where j ∗ : K1 (V ) → K1 (V /n) is the map induced by modding out by n. Since we
assume V /n is algebraically closed and char(V /n) ∤ ℓ, j ∗ (w) is ℓ-divisible, whence
∂(α) ∩ j ∗ (w) = 0 since Gi (Uc , Z/ℓ) is ℓ-torsion.


24

MARK E. WALKER

Remark 5.3. In fact, the previous result remains true (and the given proof remains
valid) if the field V /n is merely assumed to be closed under taking ℓ-th roots.
e In detail, suppose (V, n)
The specialization map is closely related to the map θ.
is a pointed curve with n = (t) and V → Q is a map of rings sending t to f . Let m
be a maximal ideal of Q with f ∈ m such that m ∩ V = n. Set X = Spec(Q) \ m.
Then X \ Xc = Spec(Q[ f1 ]), Xc = Spec(Q/f ) \ m, and the specialization map
σ : Gi (Q[ f1 ], Z/ℓ) → Gi (Spec(Q/f ) \ m, Z/ℓ) (defined by setting z = [t]) is given by
σ(α) = ∂(α ∩ [f ]).
We have proven:
Proposition 5.4. Suppose Q is a Noetherian ring, m is a maximal ideal, f ∈ m is
non-zero-divisor, and ℓ is a positive integer that is not divisible by char(Q/m), 2 or
3. Set R = Q/f . If there exists a pointed curve (V, n) and a ring map V → Q that
sends some generator t of n to f , then for all integers i, j the θe pairing fits into a
commutative square
(5.5)
Gi (Q[ f1 ], Z/ℓ) × Kj (Spec(R) \ m, Z/ℓ)

θe

σ×id


Gi (Spec(R) \ m, Z/ℓ) × Kj (Spec(R) \ m, Z/ℓ)

/ Gi+j−1 (R/m, ℓ)
O
∂′

(−∩−)

/ Gi+j (Spec(R) \ m, Z/ℓ)

Example 5.6. If Q contains a field k, then we may take (V, n) = (k[t], (t)) and
define V → Q to be the unique k-algebra map sending t to f .
We will need to understand the behavior of the specialization map as we allow
the base (C, c) to vary in a suitably nice manner.
Definition 5.7. A morphism of pointed curves, say from (C ′ , c′ ) to (C, c), is a flat
morphism of schemes φ : C ′ → C such that φ−1 (c) = {c′ } and the induced map on
∼
=
residue fields is an isomorphism: κ(c) −
→ κ(c′ ). Equivalently, if (C, c) corresponds
′ ′
′ ′
to (V, n) and (C , c ) to (V , n ), then a morphism is a flat ring map g : V → V ′
∼
=
such that nV ′ is n′ -primary and the induced map V /n −
→ V ′ /n′ is an isomorphism.
Since g is necessarily injective, we often just write a morphism as if it were a
ring extension: V ⊆ V ′ . If n = (t) and n = (t′ ), then since V and V ′ are Dedekind
domains, the condition that nV ′ is n′ -primary is equivalent to the existence of an
equation t = u′ (t′ )n for some integer n ≥ 1 and unit u′ ∈ (V ′ )× .
Definition 5.8. A morphism of pointed curves is unramified if C ′ ×C Spec(κ(c)) ∼
=
κ(c′ ) (via the canonical map), or, equivalently, if nV = n′ . If n = (t) and n′ = (t′ ),
being unramified is equivalent to t = u′ t′ for some u′ ∈ (V ′ )× .
A morphism of pointed curves is finite if the underlying map of schemes φ : C ′ →
C is finite, or, equivalently, V ′ is a finitely generated V -module. Since V and V ′
are Dedekind domains, V ⊆ V ′ is finite if and only if the induced map on fields of
fractions E ⊆ E ′ is finite and V ′ is the integral closure of V in E ′ .
If φ : (C ′ , c′ ) → (C, c) is a morphism of pointed curves and p : X → C is a
morphism of Noetherian schemes, we will write p′ : X ′ → C ′ for the pull-back of
p along φ. Abusing notation, we write φ : X ′ → X for the induced map, and also

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

25

use φ for the induced maps on fibers. Observe that our hypotheses ensure that the
∼
=
induced map on fibers over the marked points is an isomorphism: φ : Xc′ ′ −
→ Xc .
Using also that φ−1 (c) = {c′ }, we have that both squares in
X ′ \ Xc′ ′

/ X′ o

φ

φ


X \ Xc

Xc′ ′
φ ∼
=


Xc


/Xo

are Cartesian.
Lemma 5.9. If φ : (C ′ , c′ ) → (C, c) is a morphism pointed curves that is either
finite or unramified, p : X → C is any morphism of Noetherian schemes, and ℓ is
any integer, the diagram
Gi (X ′ \ Xc′ ′ , Z/ℓ)

∂′

/ Gi−1 (X ′ ′ , Z/ℓ)
c
φ∗ ∼
=

φ∗


Gi (X \ Xc , Z/ℓ)

∂


/ Gi−1 (Xc , Z/ℓ)

commutes.
Proof. This follows from the fact that
G(Xc′ ′ )

/ G(X ′ )

φ∗

φ∗


G(Xc )


/ G(X)

/ G(X ′ \ X ′ ′ )
c
φ∗


/ G(X \ Xc )

is a homotopy commutative of spectra.



Lemma 5.10. If φ : (C ′ , c′ ) → (C, c) is either a finite or an unramified morphism
of pointed curves, p : X → C is any morphism of Noetherian schemes and ℓ is a
positive integer not divisible by char(κ(c)), the diagram
Gi (X \ Xc , Z/ℓ)

σ

/ Gi (Xc , Z/ℓ)
φ∗ ∼
=

φ∗


Gi (X ′ \ Xc′ ′ , Z/ℓ)

σ′


/ Gi (X ′ ′ , Z/ℓ)
c

commutes, where σ = σC,c,p and σ ′ = σC ′ ,c′ ,p′ are the specialization maps.
∼
=

Proof. Assume φ is finite. Since φ∗ : Gi (Xc , Z/ℓ) −
→ Gi (Xc′ ′ , Z/ℓ) is the inverse of
∗
φ , it suffices to prove
Gi (X \ Xc , Z/ℓ)

σ

∼
= φ∗

φ∗


Gi (X ′ \ Xc′ ′ , Z/ℓ)

/ Gi (Xc , Z/ℓ)
O

σ

′

/ Gi−1 (X ′ ′ , Z/ℓ)
c

commutes. Choose any z ′ ∈ K1 (V ′ [ t1′ ]) as in the definition of the specialization
map σ ′ . A special case of Lemma 5.9 gives that ∂φ∗ (z ′ ) = 1, and hence we may

26

MARK E. WALKER

choose z := φ∗ (z ′ ) in the definition of σ. Using Lemma 5.9 again gives
φ∗ σ ′ (φ∗ α) = φ∗ ∂ ′ (φ∗ (α) ∩ z ′ ) = ∂φ∗ (φ∗ (α) ∩ z ′ ).
By the Projection Formula, φ∗ (φ∗ (α) ∩ z ′ ) = α ∩ φ∗ (z ′ ) = α ∩ z, since z = φ∗ (z ′ ).
The result follows.
Now assume φ is unramified. Then
/ X′

Xc′ ′
∼
=


/X


Xc
is a Cartesian square, and it follows that
G(Xc )

/ G(X)

φ∗

φ∗


G(Xc′ ′ )


/ G(X ′ )

/ G(X \ Xc )
φ∗


/ G(X ′ \ X ′ ′ )
c

is homotopy commutative diagram. The boundary maps ∂, ∂ ′ in the associated long
exact sequences of homotopy groups (with any coefficients) thus commute with φ∗ .
Let t ∈ n be any generator. Since φ is unramified, t′ := φ(t) generates n′ .
Using z = [t] and z ′ = [t′ ] for the definition of σ and σ ′ , we have for any α ∈
Gi (X \ Xc , Z/ℓ)
σ(α) = φ∗ ∂(α ∩ [t]) = ∂ ′ (φ∗ (α ∩ [t])) = ∂ ′ (φ∗ (a) ∩ [t′ ]) = σ ′ (φ∗ (α)),
since φ∗ commutes with ∩ product and φ∗ ([t]) = [t′ ].



The notion of the Henselization of a ring at a maximal ideal will be important
for the rest of this paper. Let us recall its main properties. Given a Noetherian
ring Q and a maximal ideal m of it, we write Qhen
m for the Henselization of Q at m.
We have:
• Qhen
is a Noetherian local ring, with maximal ideal mhen , and the pair
m
hen
(Q , mhen ) satisfies Hensel’s Lemma: Given a monic polynomial p(x) ∈
hen
hen
[t] has a simple root a, then p(x) has
Qhen
m [x], if its image p(x) ∈ Qm /m
hen
hen
a root α ∈ Qm whose image in Qm /mhen is a.
• There are flat ring maps Q → Qm → Qhen
and Qm → Qhen
is faithfully
m
m
flat.
• We have mQhen
= mhen, or, in other words, the fiber of Spec(Qhen
m
m ) →
hen
Spec(Q) over m is Spec(κ(mhen )) = Spec(Qhen
/m
).
m
• Qm is regular if and only if Qhen
m is regular.
• [6, 18.6.9] The fibers of Spec(Qhen
m ) → Spec(Q) are spectra of finite products
of algebraic, separable field extensions. That is, for every p ∈ Spec(Q),
there are a finite number of primes q1 , . . . , qd in Qhen
m such that qi ∩ Q = p
and, for each i, the induced field map κ(p) ֌ κ(qi ) is separable algebraic.
For any pointed curve (V, n), let V hen denote the Henselization of V at n and let
n
denote also the maximal ideal of V hen . Then V hen is also a Dedekind domain
and (V, n) → (V hen , nhen) is a unramified morphism of pointed curves.
hen

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

27

In the following Theorem, given a morphism p : X → Spec(V ) of Noetherian
schemes, we will consider G-theory of the geometric generic fiber
XF := X ×Spec(V ) Spec(F ),
where F is the field of fractions of a Henselian ring V and F is its algebraic closure.
Note that XF may fail to be Noetherian and G-theory is ordinarily defined for
just Noetherian schemes. (For non-Noetherian schemes, the category of coherent
sheaves may fail to be an abelian category.) However, since XL := X×Spec V Spec(L)
is Noetherian for every finite field extension L of F , we have that XF is a filtered
colimit of Noetherian schemes with flat transition maps. We thus take, as definition,
the G-theory spectrum of XF to be the filtered colimit of spectra
G(XF ) := colim G(XL )
L

indexed by the finite field extensions of F contained in F . The associated G-groups
are thus also given by colimits
Gn (XF ) = colim Gn (XL ).
L

Remark 5.11. At least when X = Spec(A) is affine, Gn (XL ) may be interpreted
as the K-theory of an abelian category. Indeed, more generally, if A is a filtered colimit, A = colimi∈I Ai , of Noetherian rings with flat transition maps, then
Gn (A) := limi∈ Gn (Ai ) is the K-theory of the category of finitely presented A−→
modules and the latter forms an abelian category under these assumptions.
In later sections we will be mostly interested in the case where XF → Spec(F )
is smooth, so that each transition map in the colimit giving XF is a flat morphism
of regular rings, and we will also be interested only in the case when X is affine. In
this situation, G-theory and K-theory coincide, as we now explain.
More generally, suppose A = colimi∈I Ai is a filtered colimit of regular Noetherian rings with flat transition maps. Even if A is not Noetherian, the correct notion
of the K-theory of A is unambiguous: it is the K-theory of the exact category P(A)
of finitely generated projective A-modules. Moreover, we have
Kn (A) = lim Kn (Ai )
−→
i∈I

for all n. Since we assume each Ai is regular Noetherian, each natural map
Kn (Ai ) → Gn (Ai ) is an isomorphism and thus the canonical map
∼
=

Kn (A) −
→ Gn (A)
is an isomorphism. In particular, Kn (XF ) ∼
= Gn (XF ) provided XF → Spec(F ) is
smooth and X is affine.
Theorem 5.12. Given a pointed curve (V, n) and a morphism p : X → Spec(V ) of
Noetherian schemes, let XF = X ×Spec(V ) Spec(F ), where F is the algebraic closure
of the field of fractions of the Henselization V hen of V at n. For any positive integer
ℓ such that char(κ(c)) ∤ ℓ, the specialization map σ : Gi (X \ Xc , Z/ℓ) → Gi (Xc , Z/ℓ)

28

MARK E. WALKER

factors through Gi (XF ); i.e., there is a commutative triangle
σC,c,p

/ Gi (Xc , Z/ℓ).
Gi (X \ Xc , Z/ℓ)
◗◗◗
♥7
◗◗◗
♥♥♥
♥
◗◗◗
♥
◗◗◗
♥♥♥
◗(
♥♥♥
Gi (XF , Z/ℓ)
Moreover, if ℓ is also not divisible by 2 or 3, then the direct sum indexed over
i ≥ 0 of these morphisms are graded K∗ (V, Z/ℓ)-module homomorphisms.
Proof. As discussed above, the map (V, n) → (V hen , n) is unramified and so using
Lemma 5.10, we may assume without loss of generality that (V, n) is Henselian
with field of fractions F . Note that the integral closure V of F is a filtered colimit
of rings of the form V ′ where V ′ is the integral closure of V in some finite field
extension F ⊆ F ′ of the field of fractions of V . Using Lemma 5.10 again, we have
a commutative triangle
σ

/ Gi (Xc , Z/ℓ)
✐4
✐
✐
✐
✐✐✐
✐✐∗✐−1
✐✐(φ
✐
✐
)
◦σ′
✐
✐

′
′
Gi (X \ Xc′ , Z/ℓ)
Gi (X \ Xc , Z/ℓ)

for each such V ′ . Moreover, given maps V ֌ V ′ ֌ V ′′ associated to a chain of
finite field extensions F ⊆ F ′ ⊆ F ′′ , the diagram
σ

/ Gi (Xc , Z/ℓ)
4 s9
✐
✐
✐
s
σ′✐✐✐✐✐ ss
s
✐
✐
s
✐
✐
s

✐✐✐✐ ′′ sss
σ ss
′
′
Gi (X \ Xc′ , Z/ℓ)
s
ss
ss
s
ss
ss
 ss
Gi (X ′′ \ Xc′′′′ , Z/ℓ)
Gi (X \ Xc , Z/ℓ)

commutes. Taking colimits thus gives a commutative triangle
Gi (X \ Xc , Z/ℓ)

σ

/ Gi (Xc , Z/ℓ).
❥4
❥
❥❥❥
❥
❥
❥
❥❥❥❥

❥❥❥❥
colimF ⊆F ′ Gi (X ′ \ Xc′ ′ , Z/ℓ)
The first result follows, since colimF ⊆F ′ (X ′ \ Xc′ ′ ) ∼
= XF and
Gi (XF , Z/ℓ) := colim′ Gi (X ′ \ Xc′ ′ , Z/ℓ).
F ⊆F

For the final claim, note that every morphism occurring in this proof commutes
with multiplication by any fixed element of K∗ (V, Z/ℓ).

Corollary 5.13. Suppose Q is a Noetherian ring, m is a maximal ideal, f ∈ m is
a non-zero-divisor, and ℓ is a positive integer that is not divisible by char(Q/m), 2
or 3. Set R = Q/f . If there exists a pointed curve (V, n) and a ring map V → Q

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

29

that sends some generator t of m to f , then for all i, j, the θe pairing fits into a
commutative square:
θe

/ Ki+1−1 (R/m, Z/ℓ)
❣❣3
❣
❣
❣
❣❣
❣
❣
❣
❣
❣❣❣❣
❣❣❣❣❣

Gi (Qhen
m ⊗V F , Z/ℓ) × Kj (Spec(R) \ m, Z/ℓ)
Gi (Q[ f1 ], Z/ℓ) × Kj (Spec(R) \ m, Z/ℓ)

where Qhen
is the Henselization of Q at m and F is the algebraic closure of the
m
field of fractions F of V hen . Moreover, the direct sum indexed by i, j ≥ 0 of these
morphisms are graded K∗ (V, Z/ℓ)-module homomorphisms.
If F → Q ⊗V F is smooth, then
Gi (Qhen ⊗V F , Z/ℓ) ∼
= Ki (Qhen ⊗V F , Z/ℓ).
m

m

Proof. Applying Proposition 4.6 to the flat map Q → Qhen
allows us to reduce
m
to the case where Q = Qhen
m . The result then follows from Proposition 5.4 and
Theorem 5.12.

Remark 5.14. In fact, Corollary 5.13 remains valid even if ℓ = 0 (i.e., with Zcoefficients). Since we shall not need this fact in this paper, we omit its proof.
6. Étale (Bott inverted) K-theory
Recall that the vanishing result of Buchweitz and van Straten uses topological
K-theory, not algebraic K-theory. In a general characteristic setting, the best
replacement for topological K-theory is étale K-theory (with finite coefficients).
This leads us to the goal of proving that, under suitable hypotheses, the pairing
θe : G0 (Q[ 1 ], Z/ℓ) × K1 (Spec(R) \ m, Z/ℓ) → Z/ℓ
f

factors through the analogous pairing involving étale G- and K-theory.
This is roughly what we achieve in this section. But, to avoid some nagging
issues in the foundations of étale K-theory, it proves simpler to use instead the
theory obtained from algebraic K-theory (and G-theory) with finite coefficients
by inverting the so-called “Bott element”. Since the resulting theory is closely
related to topological K-theory, we will write it as K top (and Gtop ); see Definition
6.1 below. Motivation for our approach is provided by Thomason’s Theorem [20,
4.1] (recently extended by Rosenschon-Østvær [13, 4.3]), which says, roughly, that
“Bott inverted algebraic K-theory with Z/ℓ coefficients and étale K-theory with
Z/ℓ coefficients coincide”.
Definition 6.1. For any scheme X and prime ℓ, let K(X, Z/ℓ) be the result of
smashing the algebraic K-theory spectrum of X, K(X), with the mod-ℓ Moore space,
and for any Noetherian scheme X, let G(X, Z/ℓ) be the result of smashing G(X)
with the mod-ℓ Moore space.
Let KU denote the spectrum representing (two periodic) topological K-theory and
let LKU E denote the Bousfield localization of a spectrum E at KU .
Finally, for any scheme X and prime ℓ, define
Kntop (X, Z/ℓ) := πn LKU K(X, Z/ℓ), n ∈ Z,
and for any Noetherian scheme X, define
Gtop
n (X, Z/ℓ) := πn LKU G(X, Z/ℓ), n ∈ Z.

30

MARK E. WALKER

Let us bring these definitions down to Earth a bit. Assume for simplicity that
ℓ ≥ 5 and define µℓ = e2πi/ℓ , a primitive ℓ-th root of unity in C× , and consider the
ring Z[µℓ ]. Recall (e.g., from [20, Appendix A]) that the Bott element is a certain
canonical element β ∈ K2 (Z[µℓ ], Z/ℓ), which maps to [µℓ ] ∈ K1 (Z[µℓ ]) under the
boundary map. If X is a scheme over Spec(Z[µℓ ]), then we obtain by pullback a
Bott element β ∈ K2 (X, Z/ℓ).
For example, if X = Spec(k) is an algebraically closed field with char(k) 6= ℓ,
then there is a map Z[µℓ ] → k, specified by a choice of a primitive ℓ-th root of unity
for k. Moreover, the boundary map of the long exact coefficients sequence for the
K-theory of k determines (using [19, 18]) an isomorphism
∼
=

K2 (k, Z/ℓ) −
→ µℓ (k),
and a Bott element β for k maps to the chosen primitive ℓ-th root of unity in k
under this map. More generally, if V is a Henselian dvr with algebraically closed
residue field k such that char(k) 6= ℓ, then we have
(
Z/ℓ, if i is even and
∼
∼
Ki (V, Z/ℓ) = Ki (k, Z/ℓ) =
0,
otherwise,
by [19, 18], and a Bott element for V may also be specified by choosing a primitive
ℓ-th root of unity in k.
Given a Bott element β ∈ K2 (Z[µℓ ], Z/ℓ) for some prime ℓ ≥ 5, the element β
acts on the K- and G-groups of all schemes over Z[µℓ ], and this action is compatible
with the localization long exact sequences for such schemes and it commutes with
cup and cap products. Thus, formally inverting the action of β preserves all the
structure needed in this paper.
Lemma 6.2. Let ℓ ≥ 5 be a prime, let X be a scheme over Z[µℓ ], and let β ∈
K2 (X, Z/ℓ) be the associated Bott element for X. There is a natural isomorphism
 
K∗top (X, Z/ℓ) ∼
= K∗ (X, Z/ℓ) β1 ,
 
where K∗ (X, Z/ℓ) β1 denotes the graded ring obtained by inverting the homogeneous
central element β in the graded ring K∗ (X, Z/ℓ).
If X is Noetherian, there is a natural isomorphism
 
1
∼
Gtop
∗ (X, Z/ℓ) = G∗ (X, Z/ℓ) β ,
 
where G∗ (X, Z/ℓ) β1 is the localization of the graded K∗ (X, Z/ℓ)-module G∗ (X, Z/ℓ)
by β.
Proof. See [20, A.14].



Remark 6.3. Since β has degree two, one can view K∗top and Gtop
as Z/2-graded
∗
abelian groups.
If V is a Henselian dvr with algebraically closed residue field k such that char(k) 6=
ℓ, Q is a V -algebra, m is a maximal ideal of Q, and f ∈ m is a non-zero-divisor,
then the family of pairings
θe : Gi (Q[ f1 ], Z/ℓ) × Kj (Spec(Q/f ) \ m, Z/ℓ) → Ki+j−1 (Q/m, Z/ℓ).

forms a pairing of graded K∗ (V, Z/ℓ)-modules, and hence upon inverting the action
of the Bott element β ∈ K2 (V, Z/ℓ), we obtain the pairing
θetop : Gtop (Q[ 1 ], Z/ℓ) × K top (Spec(Q/f ) \ m, Z/ℓ) → K top (Q/m, Z/ℓ).
i

f

j

i+j−1

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

31

If Q/m is algebraically closed (e.g., if Q is a finite type V -algebra or the localization
of such at a maximal ideal), then by [19, 18] we have
K∗ (Q/m, Z/ℓ) = Z/ℓ[β]
and hence
K∗top (Q/m, Z/ℓ) = Z/ℓ[β, β −1 ].
top
In particular, K0 (Q/m, Z/ℓ) ∼
= K0 (Q/m, Z/ℓ) ∼
= Z/ℓ.
Proposition 6.4. Assume V is a dvr with algebraically closed residue field k and
field of fractions F , Q is a flat V -algebra, t is a uniformizing parameter of V that
maps to an element f ∈ Q, and m is a maximal ideal of Q containing f such that
Q/m is algebraically closed. Set R = Q/f . For any prime ℓ ≥ 5 not divisible by
char(k), there is a commutative diagram
G1 (Q[ f1 ], Z/ℓ) × K0 (Spec(R) \ m, Z/ℓ)
❲❲❲❲❲
❲❲❲❲❲ θe
❲❲❲❲❲
❲❲❲❲❲
❲❲❲❲❲

top
e
❲+
θ
top
1
,
Z/ℓ)
×
K
(Spec(R)
\
m,
Z/ℓ)
Gtop
(Q
]
[
❣/3 Z/ℓ.
f
0
1
❣
❣
❣
❣
❣❣❣❣❣
❣❣❣❣❣
❣
❣
❣
❣
❣❣

❣❣❣❣❣

top
hen
Gtop
1 (Qm ⊗V F , Z/ℓ) × K0 (Spec(R) \ m, Z/ℓ)

Proof. This diagram is obtained from the commutative diagrams in Corollary 4.10
and Corollary 5.13 by inverting the action of β ∈ K2 (V, Z/ℓ).

hen
Corollary 6.5. With the assumptions of Proposition 6.4, if Gtop
1 (Qm ⊗V F , Z/ℓ) =
R
0 for infinitely many primes ℓ ≥ 5, then θ (M, N ) = 0 for all finitely generated
R-modules M and N such that Np has finite projective dimension for all p 6= m.

Proof. The Proposition implies that θR (M, N ) is a multiple of ℓ for infinitely many
primes ℓ.

7. Vanishing of K1top
In this section, we combine a theorem of Rosenschon-Østvær [13, 4.3], which
is an improvement of a theorem of Thomason [20, 4.1], and a theorem of Illusie
[8, 2.10] to establish the vanishing of the odd-degree topological K-groups with
Z/ℓ-coefficients of the “algebraic Milnor fiber”, Spec(Qhen
m ⊗V F ), in certain cases.
7.1. The Thomason-Rosenschon-Østvær Theorem.
Definition 7.1. Fix a prime ℓ. The mod-ℓ étale cohomological dimension of a
scheme X, written cdℓ (X) ∈ N ∪ {∞}, is defined as
i
cdℓ (X) = sup{i | Hét
(X, F ) 6= 0 for some ℓ-power torsion étale sheaf F}.

If F is algebraically closed (or even just separably closed), then cdℓ (F ) = 0
since the étale topology of such a field is trivial. If E is a field extension of F of
transcendence degree d, then by [14, II.4.2.11] we have
cdℓ (E) ≤ cdℓ (F ) + d.

32

MARK E. WALKER

It follows that if E is a field of transcendence degree M over an algebraically closed
field, then
(7.2)

cdℓ (E) ≤ M.

Definition 7.3. For an odd prime ℓ, a scheme X is ℓ-good if X is quasi-separated,
quasi-compact and of finite Krull dimension, ℓ is a unit of Γ(X, OX ), and there is a
uniform finite bound on the mod-ℓ étale cohomological dimensions of all the residue
fields of X. A commutative ring A is ℓ-good if Spec(A) is ℓ-good.
Remark 7.4. The definition of ℓ-good is motivated by the hypotheses of the RosenschonØstvær Theorem. The correct version of ℓ-good for ℓ = 2 involves “virtual étale cohomological dimension”.
Note that an affine scheme X = Spec(A) is automatically separated (and hence
quasi-separated) and quasi-compact. So, A is ℓ-good if and only if A has finite
Krull dimension, ℓ is a unit of A, and there is a uniform finite bound on cdℓ (κ(p))
as p ranges over all primes ideals of A.
If X is a separated scheme of finite type over an algebraically closed field k, then
the transcendence degree of each of its residue fields is at most dim(X) < ∞, and
hence we have cdℓ (κ(x)) ≤ dim(X) for all x ∈ X. It follows that, for such X, if
ℓ 6= char(k), then X is ℓ-good.
We will need a generalization of this fact that involves Henselizations. Recall
that given a commutative ring V , a V -algebra Q is essentially of finite type over V
is Q is the localization of a finitely generated V -algebra by some multiplicatively
closed subset.
Lemma 7.5. Suppose V is a Noetherian ring, p is any prime of V , Q is a V algebra essentially of finite type, and m is a maximal ideal of Q. Let Qhen
denote
m
hen
the Henselization of Q at m. If ℓ 6= char(κ(p)), then Qm ⊗V κ(p) is ℓ-good, where
κ(p) is the algebraic closure of κ(p).
Remark 7.6. The lemma generalizes to schemes: If S is a Noetherian scheme,
p : X → S is a morphism of schemes essentially of finite type, and x ∈ X is any
closed point, then each geometric fiber of Xxhen → S is ℓ-good for all ℓ not equal to
the characteristic of the fiber.
Proof. Since Q is essentially of finite type over V and V is Noetherian, Q is also
Noetherian. It follows [6, 18.6.6] that Qhen
is Noetherian, and since it is local,
m
dim(Qhen
m ) < ∞.
Again using that Q is essentially of finite type over V , there is a bound M such
that for each prime q ∈ Spec(Q), the transcendence degree of κ(q) over κ(q ∩ V )
is at most M . The residue fields of Qhen
are algebraic (and separable) over the
m
corresponding residue fields of Q by [6, 18.6.9]. It follows that for each prime
q ∈ Spec(Qhen
m ⊗V κ(p)), the transcendence degree of κ(q) over κ(p) is at most M .
To simplify notation, we state and prove a more general assertion: If k is any
field, A is a commutative k-algebra of finite Krull dimension, and there exists a
finite bound M such that the transcendence degree of κ(q) over k is at most M for
all q ∈ Spec(A), then A ⊗k k is ℓ-good for all ℓ 6= char(k). The Lemma follows from
the case k = κ(p) and A = Qhen
m ⊗V κ(p).
The field k is the filtered colimit of the finite extensions L of k contained in
it, and hence A ⊗k k is the filtered colimit of the collection of rings {A ⊗k L}.

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

33

For each L, each residue field of A ⊗k L is a finite extension of the corresponding
residue field of A. As with any colimit of rings, the residue field of A ⊗k k at a
prime q is the filtered colimit of the residue fields q ∩ (A ⊗k L). We conclude that
for each q ∈ Spec(A ⊗k k) the residue field κ(q) is algebraic over κ(q ∩ A) and
hence has transcendence degree at most M over k. Since κ(q) contains k, it has
transcendence degree at most M over k as well. By (7.2) we have cdℓ (κ(q)) ≤ M
for all q ∈ Spec(A ⊗k k).
Finally, since A ⊆ A ⊗k k is an integral extension, dim(A ⊗k k) = dim(A) <
∞.

The following result of Rosenschon-Østvær is an improvement of a celebrated
theorem of Thomason [20, 4.1].
Theorem 7.7 (Rosenschon-Østvær). [13, 4.3] If X is an ℓ-good scheme for a prime
ℓ ≥ 5, there is a strongly convergent, right half-plane spectral sequence
top
(X, Z/ℓ)
E2p,q =⇒ Kq−p

where
E2p,q

=

(

p
Hét
(X, µ⊗i
ℓ )
0

if q = 2i and
if q is odd,

and the differential on the r-th page has bi-degree (r, r−1): dr : Erp,q → Erp+r,q+r−1 .
Remark 7.8. Some remarks are in order:
(1) In their original paper, the abutment of this spectral sequence is πq−p LKU KB (X, Z/ℓ)
where KB denotes Bass’s algebraic K-theory spectrum. Since K → KB induces an isomorphism on non-negative homotopy groups, the natural map
∼
LKU K −
→ LKU KB is a weak equivalence.
⊗|i|
(2) The integer i in µℓ⊗i is allowed to be negative. For i < 0, µ⊗i = (µ−1
ℓ )
−1
where µℓ is the Z/ℓ-linear dual of µℓ .
(3) If X is a scheme over an algebraically closed field of characteristic not equal
to ℓ, then upon choosing a primitive ℓ-th root of unity, we may identify µ⊗i
ℓ
with Z/ℓ, for all i ∈ Z.
(4) We have assumed ℓ ≥ 5 only to avoid some technical complications and
because the cases ℓ = 2, 3 will not be important for our purposes. But,
appropriately interpreted, this Theorem remains valid for ℓ ∈ {2, 3}.
The following result gives the special case of the Theorem that we will need:
Corollary 7.9. Assume V is a Noetherian domain with field of fractions F , Q is
essentially of finite type over V , the generic fiber of Spec(Q) → Spec(V ) (namely,
Spec(Q ⊗V F ) → Spec(F )) is essentially smooth, m is a maximal ideal of Q, and
ℓ is a prime such that ℓ ≥ 5 and ℓ 6= char(F ). Then there is a strongly convergent
spectral sequence
top
(Qhen
E2p,q =⇒ Kq−p
m ⊗V F , Z/ℓ)
where
(
p
⊗i
Hét
(Qhen
if q = 2i and
p,q
m ⊗ V F , µℓ )
E2 =
0
if q is odd,
and the differential on the r-th page has bi-degree (r, r − 1).
Proof. This follows from Lemma 7.5 and Theorem 7.7.



34

MARK E. WALKER

7.2. Illusie’s Theorem. We will need to make the following assumptions:
Assumptions 7.10. Assume (V, k, F, Q, m, f, ℓ) satisfy:
(1) V is a Henselian dvr with algebraically closed residue field k and field of
fractions F .
(2) Q is a regular ring, m is a maximal ideal of Q, and f ∈ m.
(3) There is a flat, finite type map Spec(Q) → Spec(V ) of affine schemes of
relative dimension n such that the associated map of rings sends some uniformizing parameter t ∈ V to f ∈ Q.
(4) The morphism Spec(Q) → Spec(V ) is smooth at every point except, possibly, m ∈ Spec(Q). Notice in particular that the generic fiber Spec(Q ⊗V
F ) → Spec(F ) is smooth.
(5) The morphism Spec(Q) → Spec(V
  ) is a complete intersection near m —
that is, for some g ∈ Q \ m, Q g1 the quotient of a smooth V -algebra by a
regular sequence.
(6) ℓ is prime not equal to 2, 3 or char(k). Notice this implies ℓ 6= char(F ) too.
Theorem 7.11 (Illusie’s Theorem). [8, 2.10] Under Assumptions 7.10,
j
Hét
((Qhen
m ) ⊗V F , Z/ℓ) = 0

if j ∈
/ {0, n}, where Qhen
is the Henselization of Q at m and F is the algebraic
m
closure of F .
Remark 7.12. Note that Illusie’s Theorem is the analogue of Milnor’s Theorem,
stating that the Milnor fiber of an analytic isolated singularity is homotopy equivalent to a bouquet of n-dimensional spheres.
Corollary 7.13. Under Assumptions 7.10, if n is even, then
K1top (Qhen
m ⊗V F , Z/ℓ) = 0.
Proof. The assumptions allow us to apply Corollary 7.9, giving a strongly convergent spectral sequence
top
E2p,q =⇒ Kq−p
(Q ⊗V F , Z/ℓ)

where
E2p,q

(
p
⊗i
Hét
(Qhen
m ⊗ V F , µℓ )
=
0

if q = 2i and
if q is odd

and the differential on the r-th page has bidegree (r, r − 1). Since F is algebraically
closed, µℓ ∼
= Z/ℓ (non-canonically) and thus Illusie’s Theorem applies to give that
the only non-zero E2 -terms are E2n,2i and E20,2i . Since n is even, these terms only
contribute to the even degree part of K∗top .

Remark 7.14. The proof also shows that, when n is even, there exists an exact
sequence
top
n
hen
0
hen
0 → Hét
(Qhen
m ⊗V F , Z/ℓ) → K0 (Qm ⊗V F , Z/ℓ) → Hét (Qm ⊗V F , Z/ℓ) → 0

Similarly, when n is odd, there exists an exact sequence
0
hen
0 → K0top (Qhen
m ⊗V F ,Z/ℓ) → Hét (Qm ⊗V F , Z/ℓ)
top
n
hen
→ Hét
(Qhen
m ⊗V F , Z/ℓ) → K1 (Qm ⊗V F , Z/ℓ) → 0.

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

35

Theorem 7.15. If conditions (1)–(5) of Assumptions 7.10 hold and n is even, then
θR (M, N ) = 0 for all finitely generated R-modules M and N , where R = Q/f .
Proof. The only singular point of R/f is m and hence θR (M, N ) is defined for all
finitely generated R-modules.
The hypotheses ensure that Qhen
m ⊗V F is a filtered colimit of regular (Noetherian)
rings with flat transition maps, and so
top
K top (Qhen ⊗V F , Z/ℓ) ∼
= G (Qhen ⊗V F , Z/ℓ).
1

1

m

m

The theorem is thus an immediate consequence of Corollaries 6.5 and 7.13.



Corollary 7.16. Let V be a Dedekind domain, n be a maximal ideal of V such that
V /n is a perfect field, and Q be a regular, flat V -algebra of finite type. Assume the
singular locus of the morphism Spec(Q) → Spec(V ) is a finite set {m1 , . . . , m1 } of
maximal ideals of Q that lie over n and that the morphism Spec(Q) → Spec(V ) is
a complete intersection in an open neighborhood of each of the mi ’s.
Then R := Q/f is a hypersurface with only isolated singularities and, if dim(R)
is even,
θR (M, N ) = 0
for all finitely generated R-modules M and N .
Proof. We may assume V is local and hence a dvr. Then R is the hypersurface
Q/f , where f is the image in Q of a chosen uniformizing parameter t of V . The
non-regular locus of R is {m1 , . . . , ml } and we have
θR (M, N ) =

l
X

θRmi (Mmi , Nmi )

i=1

for all finitely generated R-modules M and N . It suffices to prove θRmi ≡ 0, for all
i, and thus upon replacing Spec(Q) by a sufficiently small affine open neighborhood
of each mi , we may assume that l = 1, that m := m1 is the only singular point of the
morphism Spec(Q) → Spec(V ), and that this morphism is a complete intersection.
Let Vnsh denote the strict Henselization of V at its maximal ideal n. Recall from
[6, §18.8] that there is a faithfully flat local ring map V → Vnsh , that nsh := nVnsh
is the maximal ideal of Vnsh , and that the induced map on residue fields V /n ֌
Vnsh /nsh is a (initially chosen) separable closure of V /n. Since we assume V /n is
perfect, the residue field of Vnsh is, in fact, algebraically closed.
Set Q′ = Q ⊗V Vnsh and R′ := R ⊗V Vnsh = Q′ /f ′ where f ′ is the image of f
under Q → Q′ . The fiber of Spec(Q′ ) → Spec(Q) over m is
Q/m ⊗V Vnsh ∼
= Q/m ⊗V /n V sh /nsh = Q/m ⊗k k.
Since Q has finite type over V , k ֌ Q/m is a finite field extension. This shows
that the fiber of Spec(Q′ ) → Spec(Q) over m consists of a finite number of maximal
ideals m′1 , . . . , m′n of Q′ . Since Spec(Q) \ m → Spec(V ) is smooth, so is Spec(Q) \
{m′1 , . . . , m′n } → Spec(V sh ). For each i, upon replacing Q′ by a suitably small affine
open neighborhood of m′i , conditions (1) – (5) of Assumptions 7.10 are met, and
′
thus we have θRmi (−, −) ≡ 0 by the Theorem.
To prove θR vanishes, it suffices to prove the following more general fact: if R
is a hypersurface ring having only one singular point, m, and there is a flat, local
ring map (Rm , m) → (R′ , m′ ) such that R′ is a local hypersurface with an isolated

36

MARK E. WALKER
′

singularity such that θR ≡ 0, then θR ≡ 0. To prove this, observe that if T is a
finitely generated R-module supported on m, then
lengthR′ (T ⊗R R′ ) = lengthR (T ) · lengthR′ (R′ /mR R′ ).
It follows that for any pair of finitely generated R-modules M and N , we have

lengthR′ ToriR′ (M ⊗R R′ , N ⊗R R′ ) = lengthR′ ToriR (M, N ) ⊗R R′

= lengthR (ToriR (M, N )) · lengthR′ (R′ /mR R′ )

for i ≫ 0, and hence
′

θR (M ⊗R R′ , N ⊗R R′ )
= 0.
lengthR′ (R′ /mR R′ )

θR (M, N ) =


Theorem 1.2 from the Introduction follows quickly from the previous Corollary
by taking V = k[t]: Since f is a non-zero-divisor, the map of k-algebras k[t] → Q
sending t to f is flat. Since k is perfect, Q is smooth over k and hence Q[t] is smooth
over k[t]. The morphism Spec(Q) → Spec(V ) = A1k is thus a complete intersection
because Q ∼
= Q[t]/(f − t).
We can extend our main vanishing result slightly by allowing localizations:
−1

Corollary 7.17. For any ring R as in Corollary 7.16, θS R (M, N ) = 0 for any
multiplicatively closed set S disjoint from the singular locus of R and any pair of
finitely generated S −1 R-modules M and N .
Proof. More generally, suppose R is any hypersurface whose non-regular locus is
{m1 , . . . , mt } ⊆ mSpec(R) and θR ≡ 0, and let R′ = S −1 R for any multiplicatively
′
closed set S with S ∩ mi = ∅ for all i. We claim that θR too. It is clear R′ is also
a hypersurface with isolated singularities. Given finitely generated R′ -modules M
f and N
e such that M
f ⊗R R ′ ∼
and N , there exist finitely generated R- modules M
=M
′ ∼
e
and N ⊗R R = N . For all i we have
′
f, N
e) ∼
S −1 TorR (M
= TorR (M, N ),
i

i

−1
f e
f e ∼
and, for i ≫ 0, TorR
TorR
i (M , N ) is supported on {m1 , . . . , mt } so that S
i (M , N ) =
′
R f e
R
R f e
Tori (M , N ). It follows that θ (M, N ) = θ (M , N ) = 0.


In particular, Corollary 7.17 justifies Example 1.3 in the Introduction.
References

1. Ragnar-Olaf Buchweitz and Duco Van Straten, An index theorem for modules on a hypersurface singularity, Mosc. Math. J. 12 (2012), no. 2, 237–259, 459. MR 2978754
2. Hailong Dao, Decent intersection and Tor-rigidity for modules over local hypersurfaces, Trans.
Amer. Math. Soc. 365 (2013), no. 6, 2803–2821. MR 3034448
3. Ofer Gabber, K-theory of Henselian local rings and Henselian pairs, Algebraic K-theory,
commutative algebra, and algebraic geometry (Santa Margherita Ligure, 1989), Contemp.
Math., vol. 126, Amer. Math. Soc., Providence, RI, 1992, pp. 59–70. MR 1156502 (93c:19005)
4. Henri Gillet and Daniel R. Grayson, The loop space of the Q-construction, Illinois J. Math.
31 (1987), no. 4, 574–597. MR 909784 (89h:18012)
5. Daniel R. Grayson, K2 and the K-theory of automorphisms, J. Algebra 58 (1979), no. 1,
12–30. MR 535839 (80g:16029)
6. A. Grothendieck, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV, Inst. Hautes Études Sci. Publ. Math. (1967), no. 32, 361. MR 0238860
(39 #220)

ON THE VANISHING OF HOCHSTER’S θ INVARIANT

37

7. Melvin Hochster, The dimension of an intersection in an ambient hypersurface, Algebraic
geometry (Chicago, Ill., 1980), Lecture Notes in Math., vol. 862, Springer, Berlin, 1981,
pp. 93–106.
8. Luc Illusie, Perversité et variation, Manuscripta Math. 112 (2003), no. 3, 271–295.
MR 2067039 (2005i:14021)
9. John Milnor, Singular points of complex hypersurfaces, Annals of Mathematics Studies, No.
61, Princeton University Press, Princeton, N.J., 1968. MR 0239612 (39 #969)
, Introduction to algebraic K-theory, Princeton University Press, Princeton, N.J., 1971,
10.
Annals of Mathematics Studies, No. 72. MR 0349811 (50 #2304)
11. A. Nenashev, K1 by generators and relations, J. Pure Appl. Algebra 131 (1998), no. 2, 195–
212. MR 1637539 (99g:19001)
12. Alexander Nenashev, Double short exact sequences produce all elements of Quillen’s K1 ,
Algebraic K-theory (Poznań, 1995), Contemp. Math., vol. 199, Amer. Math. Soc., Providence,
RI, 1996, pp. 151–160. MR 1409623 (97g:19001)
13. Andreas Rosenschon and P. A. Østvær, Descent for K-theories, J. Pure Appl. Algebra 206
(2006), no. 1-2, 141–152. MR 2220086 (2007d:19005)
14. Jean-Pierre Serre, Cohomologie galoisienne, fifth ed., Lecture Notes in Mathematics, vol. 5,
Springer-Verlag, Berlin, 1994. MR 1324577 (96b:12010)
15. Clayton Sherman, On K1 of an exact category, K-Theory 14 (1998), no. 1, 1–22. MR 1621689
(99e:19002)
, Connecting homomorphisms in localization sequences. II, K-Theory 32 (2004), no. 4,
16.
365–389. MR 2112903 (2005k:19004)
17.
, K1 of exact categories by mirror image sequences, J. K-Theory 11 (2013), no. 1,
155–181. MR 3034287
18. A. Suslin, On the K-theory of algebraically closed fields, Invent. Math. 73 (1983), no. 2,
241–245. MR 714090 (85h:18008a)
19. Andrei A. Suslin, On the K-theory of local fields, Proceedings of the Luminy conference on
algebraic K-theory (Luminy, 1983), vol. 34, 1984, pp. 301–318. MR 772065 (86d:18010)
20. R. W. Thomason, Algebraic K-theory and étale cohomology, Ann. Sci. École Norm. Sup. (4)
18 (1985), no. 3, 437–552. MR 826102 (87k:14016)
21. C. A. Weibel, A survey of products in algebraic K-theory, Algebraic K-theory, Evanston 1980
(Proc. Conf., Northwestern Univ., Evanston, Ill., 1980), Lecture Notes in Math., vol. 854,
Springer, Berlin, 1981, pp. 494–517. MR 618318 (82k:18011)
Department of Mathematics, University of Nebraska, Lincoln, NE 68588
E-mail address: mwalker5@math.unl.edu

