Algebra Notes III
Algebra Notes III
1
Craig Huneke
1
Notes taken by Arindam Banerjee, Alessandro De Stefani, and Branden Stone in
the Fall of 2011 at the University of Kansas
Contents
2 Grothendieck Groups 32
1 Basic Lemmas and Remarks . . . . . . . . . . . . . . . . . . . . . 32
1.1 Structure of One Dimensional Local Complete Domains . 42
2 Class Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3 Divisors attached to Modules . . . . . . . . . . . . . . . . . . . . 48
4 Construction and Properties of K0 (R) . . . . . . . . . . . . . . . 56
5 Construction and Properties of K1 (R) . . . . . . . . . . . . . . . 62
6 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Bibliography 104
CONTENTS iii
Through out
L these notes, we will need the concept of a graded object. A graded
ring R = i>0 Ri is a commutative ring with identity, decomposed as a direct
sum of abelian groups with
Ri · Rj ⊆ Ri+j .
In particular, each Ri is an R0 -module L
and R0 is a commutative ring itself
(1 ∈ R0 ). Likewise, a graded module M = i∈Z Mi is an R-module, decomposed
as a direct sum of abelian groups with
Ri · Mj ⊆ Mi+j .
Each Mn is an R0 -module.
If R is a graded ring and M , N are graded R-modules, then an R-homomorphism
f : M → N is said to be homogeneous of degree k if f (Mn ) ⊆ Mn+k for all n.
Homogeneous maps are very desirable, so we define a convention to transform
graded maps in to homogeneous maps. By twist, denoted M (n), we mean a new
graded module (the same as M with out grading), but
M (n) := Mi+n .
Example 1. Let R be a graded ring. The new ring R(n) is a graded free
module, isomorphic to R, but has a generator in degree −n. So, R(−n) has a
generator in degree n.
1 Hilbert Functions
In the following, we denote the length of an R-module M by λR (M ). For more
information on length, see [1].
2 Hilbert Functions and Multiplicities
Definition. Let R is a graded ring and M a graded R-module with finite length.
The Hilbert series of M is
X
HM (t) := λR0 (Mi )ti .
i∈Z
1.1 Examples
Before we begin an in-depth study of the Hilbert series, we consider a few
examples.
Example 2. Let R = k[x1 , . . . , xd ] be a polynomial ring over a field k with
deg(xi ) = 1 for all i = 1 . . . d. Here we have that
Rn = khmonomials of degree ni
X
= khxa1 1 . . . xadd | ai = ni.
It is a standard fact that the length of a vector space over
a field is the same as
the vector space dimension. Thus, dimk (Rn ) = n+d−1 d−1 and the Hilbert series
is given by
∞
X n+d−1 i
HR (t) = t.
i=0
d−1
Example 3. Let k[x, y] be a polynomial ring over a field k and define
R = k[xl , xl−1 y, . . . , xy l−1 , y l ] ⊆ k[x, y].
Assume that each element of {xl , xl−1 y, . . . , xy l−1 , y l } has degree one. Notice
that
il + 2 − 1
dimk (Ri ) = = il + 1,
1
which gives us a Hilbert series of
∞
X
HR (t) = (il + 1)ti .
i=0
= tm HS (t)
(1 − tdi )
Q
HS/(f1 ,...,fr ) (t) = .
(1 − t)n
Notice that if r = n, then S/(f1 , . . . , fn ) has finite length. Then HS/(f1 ,...,fn ) (t)
is a polynomial! (Total length being the product of the degrees of fi .) Trying
the guess we find that
n
(1 − tdi ) Y
Q
HR (t) = = (1 + t + · · · + tdi−1 ).
(1 − t)n i=1
So, HR (1) = d1 d2 · · · dn .
Example 5. Let R = k[x, y] be a polynomial ring over a field k in two variables.
Let deg(x) = 2 and deg(y) = 3. Calculating the length of each graded piece
gives us the following:
i= 0 1 2 3 4 5 6 7 8 9 10 11 12 13
dimk (Ri ) = 1 0 1 1 1 1 2 1 2 2 2 2 3 2
Given the short exact sequence
0 / R(−2) ·x /R / k[y] / 0,
4 Hilbert Functions and Multiplicities
we have that HR (t) = t2 HR (t) + Hk[y] (t). Since Hk[y] = 1/(1 − t3 ), we have
1
HR (t) = .
(1 − t2 )(1 − t3 )
Remark 2. Consider R = k[x, y]/J where J is the set of all differences of poly-
nomials of the same degree. Notice that dimk (Ri ) = 1 for all i > 0. It can be
shown that
k[x, y]
R= 3 ' k[t2 , t3 ].
(x − y 2 )
Example 6. Another type of grading is multi-degree. For an example of this,
let R = k[x, y] be a polynomial ring in two variables. We let the variables have
the following degrees in N2 :
deg(x) = (1, 0)
deg(y) = (0, 1).
Here we have the R(i,j) = khxi y j i. In this case,
HR (t, s) = 1 + t + s + t2 + st + s2 + · · ·
0 /K / M (−ks ) ·zs
/M /C /0
where K and C are the kernel and cokernel of the map defined by multiplication
by zs . Both K and C are finitely generated R-modules. Note that zs K = zs C =
0. Therefore K and C are modules over R0 [z10 , . . . , zs−1
0
] = R/zs R. We have
that
HM (t) + HK (t) = HM (−ks ) (t) + HC (t)
= tks HM (t) + HC (t).
Hence, we can solve for HM (t) to get
HC (t) − HK (t)
HM (t) =
(1 − tks )
fc (t) − fk (t)
= Qs ki
.
i=1 (1 − t )
f (t) = aN tN + · · · + ao
Example 7. Let R = k[x, y] and assume that deg(x) = 2 and deg(y) = 3. Here
we have that
1
HM (t) = = (1 + t2 + t4 + · · · )(1 + t3 + t6 + · · · )
(1 − t2 )(1 − t3 )
Thus the length is given by the coefficients of tn , that is,
Proof. Clearly deg f = n and the leading coefficient is bn!n . Consider now
s s X n X n s X n
X X i+j X i+j s+j+1
g(s) = f (i) = bj = bj = bj ,
i=0 i=0 j=0
j j=0 i=0
j j=0
j+1
bn
which is now a polynomial of degree n + 1 and leading coefficient (n+1)! .
2 Multiplicities
Throughout this section let (R, m, k) be a noetherian local ring, where m denotes
the
√ unique maximal ideal and k = R/m. Let I ⊆ R be an m-primary ideal (i.e.
I = m) and let M ∈ Modfg (R). Define
M In
grI R =: G = ,
I n+1
n≥0
M(I) = G (M(I)0 ) .
Corollary 5. λ I n M/I n+1 M = Q(n) is a polynomial in n (for n >> 0)
of degree at most µ(I) − 1, where µ(I) = λ(I/mI) is the minimal number of
generators of the ideal I.
Proof. Since G is generated in degree one, by Corollary 4 the degree of the
polynomial is at most µ(G1 ) − 1. But
0 /N /M /L /0
Proof. (1) Tensor the short exact sequence with R/I n , then we get:
N / M / L /0
I nN I nM I nL
and hence
M N L
λ ≤λ +λ .
I nM I nN I nL
This implies (for n >> 0):
M N L
deg PI,M = deg λ ≤ deg λ + λ =
I nM I nN I nL
N L
= max deg λ , deg λ = max {deg PI,N , deg PI,L } .
I nN I nL
/ N / M / L /0
0
I nM ∩ N I nM I nL
and also, by Artin-Rees Theorem, there exists k ∈ N such that for all n ≥ k
I n M ∩ N = I n−k (I k M ∩ N ) ⊆ I n−k N.
This implies
N N
λ ≥λ
I nM ∩ N I n−k N
10 Hilbert Functions and Multiplicities
I ln ⊆ J n ⊆ I n for all n ∈ N.
This implies
R R R
λ ≤λ ≤λ
In Jn I ln
and so
PI,R (n) ≤ PJ,R (n) ≤ PI,R (ln).
But deg PI,R (n) = deg PI,R (ln) since l ∈ N is just a constant, therefore deg PJ,R =
deg PI,R . But we know that
Notice that deg(PI,R − PI,R − PI,R ) < deg PI,R by Lemma 8 (2), therefore
B = R/(x)[T1 , . . . , Td ] gr(x) R = G
Ti 7→ xi + (x)2
and therefore
R λ(Bn )(d − 1)! λ(Gn )(d − 1)!
λ = lim ≥ lim .
(x) n→∞ nd−1 n→∞ nd−1
λ(I n /I n+1 ) is eventually the Hilbert Polynomial of the associated graded ring
Pn−1 i i+1
G = grI R of degree dim G − 1. But also, for n >> 0, i=0 λ(I /I ) =
n
λ(R/I ) = PI,R is a polynomial of degree both dim G by Remark 6 and dim R
by Theorem 7. Therefore, back to our case:
R λ(Gn )(d − 1)!
λ ≥ lim = e((x)).
(x) n→∞ nd−1
Pn−1
The last inequality is again because λ(R/(x)n ) = i=0 λ((x)i /(x)i+1 ) and so
λ((x)n /(x)n+1 ) = λ(Gn ) is eventually a polynomial of degree d − 1 that gives
the multiplicity of (x).
Remark 14. Let (R, m, k) be a RLR (regular local ring), then e(m) = 1.
Proof. By Remark 13 e(m) = λ(R/m) = dimk k = 1.
Definition. e(m) =: e(R) is often called the multiplicity of the ring R.
Remark 15. Let (R, m, k) be artinian, then e(R) = λ(R).
Proof. It follow also by Remark 13, but there is also an easy direct proof. Since
R is artinian we have mn = 0 for n >> 0, hence
Example 9. Let R = k[x, y]/(x2 , xy), then dim R = 1. Also λ(Rn ) = 1 for all
n ∈ N, therefore
0! λ(Rn )
e(R) = lim =1
n→∞ n0
but R is clearly not regular (it is not even Cohen-Macaulay). We will see that
the converse to Remark 14, that is e(R) = 1 ⇒ R is a RLR, holds if R is
unmixed, and it is a theorem of Nagata.
Theorem
√ 10 (Associativity formula). Let (R, m) be a local noetherian ring, let
I = m be an m-primary ideal and let M ∈ Modfg (R). Then
X
e(I; M ) = e(I; R/p)λRp (Mp ).
p ∈ SpecR
dim R/p = dim R
M0 ⊆ M1 ⊆ . . . ⊆ Ms = M,
with Mi+1 /Mi ' R/pi for some pi ∈ SpecR. Multiplicity is additive on short
exact sequences, hence
s−1
X
e(I; M ) = e(I; R/pi ).
i=0
14 Hilbert Functions and Multiplicities
We just have to count how many times each pi appears in the prime filtration.
First notice that e(I; R/pi ) = 0 unless dim R/pi = dim R, therefore
X
e(I; M ) = e(I; R/pi ).
{i: dim R/pi =dim R}
since p is minimal (dim R/p = dim R) and we cannot have pi ⊆ p. Here k(p) =
Rp /pRp = (R/p)p is the residue field of the localzation Rp . Now, localizing at
p the filtration:
(M0 )p ⊆ (M1 )p ⊆ . . . ⊆ Mp
gives us a composition series of the Rp -module Mp , and its length is both
λRp (Mp ) and the times p appears in the original filtration. Hence the asso-
ciativity formula follows.
3 Superficial Elements
Let (R, m, k) be a Noetherian local ring. Let f ∈ m be a non zero element. We
want to understand how do e(R) and e(R/(f )) relate to each other. To do this
we need several tools. the relation between G = grm (R), Ḡ = grm̄ (R̄) where
R̄ = R
f.
R(I)
grI (R) ' R(I) ⊗R R/I ' .
IR(I)
f ∗ := [f ] ∈ I n /I n+1 ,
Proof. (i) Set G := grI (R). Consider a partial primary decomposition of (0) in
G:
(0) = q1 ∩ q2 ∩ . . . ql ∩ J,
where qi are pi -primary ideals such that G+√6⊆ pi and J is the intersection of all
components containing a power of G+ (i.e. J = G+ ). Note that pi ∩ G1 6= G1 .
Therefore we can choose x ∈ I \ I 2 such that x∗ ∈ Γ/ 1 = is not in pi for all
i = 1, . . . , l.
Claim. x is superficial for I.
Proof of the Claim. Fix c ∈ N such that (G+ )c ⊆ J, and notice that
q1 ∩ . . . ql ∩ (G+ )c ⊆ q1 ∩ . . . ql ∩ J = (0).
Now we induct on n > c, and we want to prove that (I n+1 : x) ∩ I c = I n for
n > c. Notice that we always have the inclusion I n ⊆ (I n+1 : x) ∩ I c for all
n > c. For the other inclusion:
16 Hilbert Functions and Multiplicities
y ∈ (I n : x) ∩ I c = I n−1 ,
y ∗ ∈ (0 : x∗ ) = (q1 : x∗ ) ∩ . . . ∩ (ql : x∗ ) ∩ (J : x∗ ) ⊆ q1 ∩ . . . ∩ ql .
Therefore
y ∗ ∈ q1 ∩ . . . ∩ ql ∩ (G1 )c = (0),
which is a contradiction. So y ∈ I n and this proves the Claim.
(I n+1 : x) ∩ I c = I n .
In particular
I n = (I n+1 : x) ∩ I c ⊆ (I n+1 : x).
Conversely, let y ∈ (I n+1 : x). Then
where the last equality follows from the Artin-Rees Lemma. Therefore xy = xzi
for some i ∈ I n+1−r and xz ∈ (x) ∩ I r . Since x is a nonzero divisor in R, we get
Hence y ∈ (I n+1 : x) ∩ I c = I n .
G
→ Ḡ
(x∗ )
Notice that clearly (G/(x∗ ))0 = R/I ' (Ḡ)0 . For all n > 1 we have a surjection
I n /I n+1
G
= '
(x∗ ) n (xI n−1 )/I n+1
In // In
' '
xI n−1 + I n+1 ((x) ∩ I n ) + I n+1
I n + (x)
'( ) = (Ḡ)n .
I n+1 + (x)
To get an isomorphism we need xI n−1 ⊇ (x) ∩ I n , since we have seen that the
other inclusion always holds. By Artin-Rees Lemma, there exists r ∈ N such
that for n > r + c
(x) ∩ I n = ((x) ∩ I r )I n−r ⊆ xI c .
Let y ∈ (x) ∩ I n , then y = xa for some a ∈ I c . But also (x) ∩ I n = x(I n : x),
hence y = xb for some b ∈ (I n : x). Therefore a − b ∈ (0 : x) ⊆ (I n : x), and
hence
a ∈ I c ∩ (I n : x) = I n−1
by superficiality (since n > r + c > c). So, for n >> 0 (more precisely for
n > r + c), the above map is an isomorphism.
ord(f ) := max{n ∈ N : f ∈ mn }.
e(R/(f )) = ord(f ).
N −d
0 / m / R f
/ R / R / 0,
mN mN mN mN + (f )
mN −d
R R N +n−1
so that λ =λ . But λ = , where
mN + (f ) mN mN n
18 Hilbert Functions and Multiplicities
n = dim R. Hence
R N +n−1 N −d+n−1
λ = − =
mN + (f ) n n
(N + n − 1) · . . . · N (N − d + n − 1) · . . . · (N − d)
= − =
n! n!
( n−1 " n−1 #)
n
n
Nn 2 N Nn 2 − dn N
= + − + + O(N n−2 ) =
n! n! n! n!
/ Gn (−1) x∗ / Gn / Ḡn / 0.
0
Notice that
n−1 n−1
Ij
X X R
λ(Gj ) = λ =λ .
j=0 j=0
I j+1 In
Therefore, using the short exact sequence above, for n >> 0 we get:
n−1 n−2 n−1
R R X X X R̄
λ −λ = λ(Gj ) − λ(Gj ) = λ(Ḡj ) + C = λ + C,
In I n−1 j=0 j=0 j=0
I¯n
3 Superficial Elements 19
where C is a constant that depends on the fact that the above sequence is exact
only for n >> 0. Hence we have
d X d
R R X n−j+d n−1−j+d
λ −λ = ej (I) − ej (I) =
In I n−1 j=0
d j=0
d
d−1
¯ n − 1 − j + d + C.
X
= ej (I)
j=0
d−1
Notice that
n−j+d n−1−j+d n−1−j+d
− = ,
d d d−1
which implies that all the coefficients have to be the same. In particular ej (I) =
¯ for all j = 0, . . . , d − 1.
ej (I)
λR (M ) = λS (M ) · λR (L) = λS (M ) · [L : k].
eS (IS; S)nd
λS (S/I n S) = + O(nd−1 )
d!
20 Hilbert Functions and Multiplicities
Hence there exists a unique prime p such that dim R/p = dim R, and since R is
unmixed this is the only associated prime of R. Also λ(Rp ) = 1 implies that Rp
is a field, and hence R is a domain. Since |k| = ∞, choose a minimal reduction
(x1 , . . . , xd ) of m. Because R is complete, using Cohen structure theorem, we
have a finite extension
S = k[[x1 , . . . , xd ]] ⊆ R
and since both are domains, by Proposition 14, we have
1 = e(R) = e(S) · rankS (R) = rankS (R),
since S is regular, and so e(S) = 1. Therefore rankS (R) = 1, and hence R = S
is regular.
4 Integral Closure of Ideals 21
xn + i1 xn−1 + · · · + in = 0
such that ij ∈ I j . The set of all integral elements is called the integral closure
of I and is denoted I
Example 12. Let R = k[x, y] be the polynomial ring in two variables over a
field k and I = (x2 , y 2 ). Here we have that xy ∈ I. To see this, notice that xy
satisfies the polynomial T 2 − x2 y 2 ∈ R[T ]. It is worth noting that x2 y 2 ∈ I 2 .
f (t) = an tn + · · · + a0 ;
g(t) = bm tm + · · · + b0 ,
(1) I ⊆ J;
(5) Let
R(I)
FI := = R/m ⊕ I/mI ⊕ I 2 /mI 2 ⊕ · · ·
mR(I)
and define A to be the subring of FI generated by
J + mI
⊆ I/mI
mI
over R/m. Then FI is module-finite over A.
Proof. (1) ⇔ (2): Use Exercise 16 and the fact that R(I) is a finitely generated
as a ring over R(J) since I is finitely generated.
(3) ⇒ (4): Fix k such that I n = JI n−1 for all n > k. By induction,
1
R(J) ⊆ R(I) ⊆ R(J) · .
tk
since R(j) is noetherian, we have that R(I) is finitely generated as a R(J)-
module.
(2) ⇒ (3): As R(I) is module-finite over R(J), consider
R(I) = R ⊕ It ⊕ I 2 t2 ⊕ · · · ⊕ I N tN ⊕ · · ·
R(J) = R ⊕ Jt ⊕ J 2 t2 ⊕ · · · ⊕ J N tN ⊕ · · · .
Proof of Theorem 19. First assume that I ⊆ J. Thus there exists an l such that
for all n > l,
J n ⊆ I n ⊆ J n−l ⊆ I n−l .
Therefore
λ(R/J n−k ) ⊆ λ(R/I n ) ⊆ λ(R/J n )
and hence we have that e(I) = e(J).
Now assume that e(I) = e(J) and that R contains an infinite filed. Not that
e(I R)
b = e(J R). b ⊂ JR
b Further, by Proposition 18, I R b if and only if there exists
nb n−k b
an l such that I R ⊆ J R for all n > l. Thus,
I n = I nR
b ∩ R ⊆ J n−l R
b ∩ R = J n−l .
Applying the proposition once again yields the fact that I ⊆ J. So, without
losing any generality, R = R.
b
Using the associativity formula (Theorem 10),
X
e(I) = e(I; R/p)λ(Rp );
X
e(J) = e(J; R/p)λ(Rp ),
e(x1 , . . . , xd ) = e(I).
R J J2
FJ = ⊕ ⊕ ··· .
m mJ mJ 2
Keep in mind that FJ is a finitely generated k algebra. By Noether’s normal-
ization,
k[x∗1 , . . . , x∗l ] ⊆ FJ ,
4 Integral Closure of Ideals 25
where x∗i are elements of J/mJ. But lifting x∗i to xi ∈ J, we may apply Propo-
sition 18 to see that J ⊆ (x1 ,p . . . , xl ).
Note that (x1 , .√. . , xl ) ⊆ (x1 , . . . , xl ) and hence (x1 , . . . , xl ) is m-primary
(this follows since J = m). Therefore, lgsd by Krull’s height theorem. But,
l = dim(FJ ) 6 dim(grJ R) = d,
and hence l = d. (To see this last fact, notice that grJ R/mgrJ R ' FJ .)
Thus, without losing any generality, we may assume that J is generated by
the system of parameters (x1 , . . . , xd ). Next we make I as simple as possible.
Choose any y ∈ I. It is enough to show that y ∈ J. Thus, we can replace I by
(x1 , . . . , xd , y). Note that in this case,
e(x1 , . . . , xd ) = e(x1 , . . . , x, y).
We are now able to make a further reduction on the rings. Since k ⊆ R, by
Cohen’s structure theorem, we can consider the extenstion
R ⊇ B = kJx1 , . . . , xd , yK
| |
kJx1 , . . . , xd K = A
where R is finite over kJx1 , . . . , xd K. We may assume that R = B. To see this,
let the maximal ideal of B be η = (x1 , . . . , xd , y)B and let r = rankB (R). We
know that
eR (I) = eR (ηR) = eB (η) · r
eR (J) = eR ((x1 , . . . , xd )R) = eB (x1 , . . . , xd ) · r
and hence we have that eR (x1 , . . . , xd ) = eB (η). So, if we prove the theorem
is true for R = B, we get that y ∈ (x1 , . . . , xd )B which implies that y ∈
(x1 , . . . , xd )R.
Now, R = kJx1 , . . . , xd , yK is a complete domain of dimension d, x1 , . . . , xd is
an system of parameters, J = (x1 , . . . , xd ), and I is the maximal ideal m. Note
that
R ' kJx1 , . . . , xd , T K/p
where p is a height one prime. But kJx1 , . . . , xd , T K is a unique factorization
domain and hence
p = (T l + a1 T l−1 + · · · + al ) =: (f ).
Now, e(m) = ord(f ) and e(x1 , . . . , xd ) = λ(R/(x1 , . . . , xd )). As
R kJT K
= ,
(x1 , . . . , xd ) Tl
we have that e(x1 , . . . , xd ) = l (here we are assuming that l = ord(f )). This
implies that ai ∈ (x1 , . . . , xd )i , otherwise ord(f ) < l. Since f (y) = 0, this shows
that y ∈ (x1 , . . . , xd ).
26 Hilbert Functions and Multiplicities
R(I)
G'
IR(I)
ϕ : R[T1 , . . . , Tn ] R(I)
Ti 7→ xi t
Example 15. Let R = k[x, y] and let I = (x, y)2 = (x2 , xy, y 2 ). Then
Rm
A / Rn /I /0
ei / xi
P
and let A = (aij ), so that xi aij = 0. Then it is easy to prove that
i
n
!
X
a1 = Ti aij : j = 1, . . . , n .
i=1
0 : x = 0 : x2 .
Example 18. Let R = k[x, y]/(x2 , xy). Then y ∈ R is not a regular sequence,
but it is a d-sequence since 0 : y = 0 : y 2 = xR.
We denote j = wt(F ).
Proof. By induction on both degree and weight we will prove the following
28 Hilbert Functions and Multiplicities
F = Tk F1 + F2 ,
F 0 := Tk G1 + F2 .
F − G = (F − F 0 ) + (F 0 − G) ∈ a1 .
Finally, the Claim implies the theorem with j = 0: let F be a non zero
homogeneous polynomial of degree d ≥ 1 such that F ∈ a, i.e. F (x1 , . . . , xn ) =
0. Then there exists G homogeneous of degree d, with wt(G) ≤ 0, such that
F = G ∈ a1 . But wt(G) = 0, deg G = d ≥ 1 implies that G = 0. Therefore
F ∈ a1 .
5 Associated Graded Ring and Rees Algebra 29
R[T1 , . . . , Tn ]
R((x)) =
x 1 . . . xn
2×2
T1 . . . Tn
Hence
R((x)) R[T1 , . . . , Tn ] R
gr(x) R ' ' ' [T1 , . . . , Tn ].
(x)R((x)) x 1 . . . xn (x)
(x) + 2 × 2
T1 . . . Tn
30 Hilbert Functions and Multiplicities
6 Exercises
(1) Assume R is a noetherian and that M , N are finitely generated graded
R-modules. Prove that Hom
(2) Suppose that S = k[x1 , . . . , xn ] with the usual grading. Let f1 , . . . , fr be
a regular sequence with deg(fi ) = di . Find HS/(f1 ,...,fr ) (t).
(3) If R = k[x1 , . . . , xn ] is a polynomial ring in n variables with deg(xi ) = di ,
then
1
HR (t) = Q .
(1 − tdi )
(4) Let R = ⊕i>0 Ri be a graded noetherian ring. Prove there exists and N
such that RN K = (RN )K for all K > 0. That is, the subring
R0 ⊕ RN ⊕ R2N ⊕ · · ·
is generated in degree N .
(5) Let R be as in Exercise 4. Then R is integral and finite over ⊕i>0 RN i .
(6) Let R = k[x1 , . . . , xn ] with deg(xi ) = ki . What is the least N that satisfies
Exercise 4?
(7) Assume G is a noetherian graded ring, (G0 , m0 ) is artinian local and G =
G0 [G1 ]. Let m := m0 ⊕ G1 ⊕ . . . as G-module. Then clearly G/m ' G0 /m0
is a field, and so m is maximal in G. Let R := Gm . Prove that
grm R = G.
(11) Which Artinian local rings A with residue field C, can be embedded in
C[|t|]
(tn ) .
√
(12) If I = m, then e(I, R) = e(IR(t), R(t)).
(13) Complete the proof of the fact that superficial element exits by proving
there exists x ∈ I \ I 2 such that x∗ is not in pi for all i = 1, 2, ..., l.
(14) I ⊂ R, f ∈ R. Suppose f ∈ I d \ I d+1 .TFAE:
(a) For all n ≥ d, I n : f = I n−d .
(b) f ∗ is a NZD in grI (R).
Grothendieck Groups
0 / M1 /M / M2 /0
and
0 / M1 /N / M2 / 0,
0 = M0 ⊆ M1 ⊆ . . . ⊆ M n = M
1 Basic Lemmas and Remarks 33
is a filtration. Then
n−1
X
Mi+1
[M ] = .
i=0
Mi
0 / M1 /M / M / 0,
M1
0 / Mn / Mn−1 / ... / M0 / 0,
then
n
X
(−1)n [Mi ] = 0.
i=0
G0 (R) ' Z
generated by [R].
34 Grothendieck Groups
0 /R ·x /R / R/p / 0,
so that in G0 (R) we have [R/p] = 0. Therefore G0 (R) ' Z[R], but we still
have to prove that [R] is not a torsion element. Consider the rank function. By
Additive Map Lemma there exists a homomorphism
G0 (R) /Z
[M ] / rank([M
g ])
Example 21. Let (R, m, k) be a regular local ring. Then G0 (R) = Z[R] ' Z.
0 / Fn / Fn−1 / ... / F1 / F0 /M /0
Therefore G0 (R) = Z[R] and, considering the rank function as in the previous
example, we get G0 (R) ' Z.
Example 22. Let (R, m, k) be an artinian local ring. Then G0 (R) = Z[k] ' Z.
Proof. By Corollary 24 we clearly get G0 (R) = Z[k]. Using the length function,
by Additive Map Lemma we get
G0 (R) /Z
[M ] / λ([M
e ])
which is surjective since λ(k) = 1. Hence G0 (R) ' Z and moreover [R] =
λ(R)[k].
Question (H. Dao). Let (R, m, k) be a normal local ring, and assume k is an
algebraically closed field of characteristic zero, k ⊆ R. Also, assume G0 (R)⊗Z Q
is a finite dimensional Q-vector space. Does R have rational singularities?
1 Basic Lemmas and Remarks 35
Theorem 27. Let R be a noetherian ring and let I ⊆ R be nilpotent. Then the
map
j : G0 (R/I) / G0 (R)
/ [M ]
[M ]
is an isomorphism.
Proof. First
suppose we 2have shown the theorem when I 2 = 0. Then G0 (R/I)
'
2 2
G0 R/I since in R/I clearly I = 0. Similarly G0 R/I 2 ' G0 R/I 4 and
so on. For some n ∈ N we have I n = 0, so that R/I n = R and hence we get the
following chain of isomorphisms:
' / G0 R/I 2 ' / G0 R/I 4 ' / ...... ' / G0 (R) .
G0 (R/I)
i0 : H0 (R) / G0 (R/I)
0 / M1 ∩ IM / IM / IM2 /0 (2.1)
0 / M1 +IM / M / M2 /0 (2.2)
IM IM IM
0 / M1 ∩IM / M1 / M1 /0 (2.3)
IM1 IM1 M1 ∩IM
Notice that (M1 + IM )/IM ' M1 /(M1 ∩ IM ). Finally, by (2.3) and (2.4) we
have
M1
i0 (< M >) = i0 (< M2 >) + [IM1 ] + = i0 (< M1 >) + i0 (< M2 >).
IM1
α / G0 (R) β
/ G0 (RW ) /0
M
G0 (R/p)
W ∩p6=∅
[M ] / [MW ].
β
0 = M0 ⊂ M1 ⊂ · · · ⊂ Mn = M
1 Basic Lemmas and Remarks 37
where Mi+1 /Mi ' R/pi , we have that pi ∈ Supp(M ). Thus the annihilator of
M is contained in each pi . But MW = 0 implies there exists w ∈ W such that
wM = 0. In other words, w ∈ pi for all i and hence pi ∩ W 6= ∅ for all i as well.
This forces [R/pi ] ∈ Im(α) and by the Filtration lemma (Lemma 23) we have
that [M ] ∈ Im(α). This proves (2.5).
Next we show that β is surjective. This is clear since every finitely generated
RW -module is of the form MW for some finitely generated R-module M . (Note
that β is well-defined as localization is flat.)
Observe that Im(α) ⊆ ker(β) since MW = 0, that is, β([M ]) = 0. Abusing
notation, we now have the induced surjection
G0 (R) β
/ / G0 (RW ) .
Im(α)
γ : H(RW ) / G0 (R)
Im(α)
0 / ker(h) /M / Im(h) /0
0 / Im(h) /L / coker(h) / 0.
But, (ker(h))W and (coker(h))W are zero since h1 is an isomorphism (use 2.5).
It follows that [M ] − [L] is in the image of α and thus γ is a well-defined map.
38 Grothendieck Groups
f0 g0
0 / N1 /N / N2 /0 (2.7)
0 / M1 /M / Im(g) / 0. (2.8)
γ(hN i) = [M ] + Im(α);
γ(hN i2 ) = [Im(g)] + Im(α).
Thus, γ(hN i) = [M1 ] + Im(α) since the localization of (2.8) at W yields the
short exact sequence (2.7). Therefore, γ(hN i) − γ(hN1 i) − γ(hN2 i) is a coset
of [M ] − [Im(g)] − [M1 ] in G0 (R) /Im(α) and hence is 0 as we have an exact
sequence. This shows that L(RW ) ⊆ ker(γ).
Finally, γ induces a homomorphism γ : G0 (RW ) → G0 (R) /Im(α). Let M
be a finitely generated R-module. We have that γ · β is the identity, that is,
α / G0 (R) β
/Z /0
M
G0 (R/p)
W ∩p6=∅
1 Basic Lemmas and Remarks 39
G0 (C) ⊕ G0 (S)
α / G0 (R) β
/Z /0
By Corollary 24 we have G0 (S) = Z{[S], [C]}, since the only primes in S are
the zero and the maximal ideal. Consider the following short exact sequence:
0 /R ·x /R /S / 0.
Then in the Grothendieck group G0 (R) we have [S] = 0. Also notice that
x, y ∈ R form a regular sequence, therefore we get a long exact sequence
0 /R / R2 /R / R/(x, y)R / 0.
0 /R / R2 /R / R/(y, z)R / 0.
α : G0 (R) / G0 (R[x])
[M ] / [M ⊗R R[x]]
is an isomorphism.
Proof. Let M [x] denote M ⊗R R[x]. Since R[x] is free, in particular flat, the
map α is well-defined. We will define a map β : G0 (R[x]) → G0 (R) with the
following construction.
Let N be a finitely generated R[x]-module and consider the exact sequence
0 /K /N x−1
/N /C /0
40 Grothendieck Groups
where K and C are the kernel and cokernel respectively. Notice in G0 (R[x])
that [K] = [C] and that
(x − 1)K = (x − 1)C = 0.
0 / N1 /N / N2 /0
x−1 x−1 x−1
0 / N1 /N / N2 /0
0 / K1 /K / K2 / C1 /C / C2 /0
where Ki and Ci are the respective kernels and cokernels. Therefore we have
that
[C] − [K] = [C1 ] − [K1 ] + [C2 ] − [K2 ],
giving the desired result of
Hence, β is well-defined.
Observe that the composition β ◦ α is the identity. To see this, not that x − 1
is a non-zero divisor on M [x] and thus the sequence
0 / M [x] x−1
/ M [x] /M /0 (2.9)
G0 (R/I)
α / G0 (R/I[x])
To see this, suppose R is not a domain and let min(R) = {p1 , . . . , ps }. Note
that
min(R[x]) = {p1 R[x], . . . , ps R[x]}.
We thus have the following commutative diagram:
/ G0 (R) /0
M
G0 (R/pi )
α
/ G0 (R[x]) /0
M
G0 (R/pi [x])
By the corollary of the Filtration Lemma (page 32), the two horizontal maps
are onto. Further, we have that the far left map is onto by induction. This
forces α to be onto; a contradiction. Therefore, R is a domain.
Now consider the following sequence where W = R \ {0}:
M R /
M R[x] /
M R[x] / G0 (R[x]) .
G0 G0 G0
p pR[x] Q 8
p6=0 Q∩W 6=∅
p∈Spec(R) Q∈Spec(R[x])
Q⊇pR[x]
The first map is onto by induction and the second is just a natural map and
hence is also onto. The third map is defined by the Localization Lemma on
page 36. As labeled above, let γ be the composition map.
Let k be the quotient field of R. We now have the following commutative
diagram:
M R / G0 (R) / G0 (k) /0
G0
p
γ α αk
0 /K / G0 (R[x]) / G0 (k[x]) /0
where K is the respective kernel defined from the Localization Lemma. First
notice that αk is surjective since
G0 (k) = Z = G0 (k[x])
and αk is defined by mapping [k] to [k[x]]. Further, using the induction with
the Filtration Lemma, we see that γ is onto the kernel K. Therefore, α is also
onto by the snake lemma.
A helpful tool in the next theorem is the concept of the conductor.
Definition. Let R be a local domain and S be the integral closure of R. The
conductor, denoted C, is the largest common ideal of both R and S.
42 Grothendieck Groups
Example 24. If R = kJt6 , t10 , t15 K then we have that S = kJtK is the integral
closure. It is not difficult to see that C = t30 R.
Theorem 30 (Conjecture of Herzog). If (R, m, k) is a one dimensional complete
local domain with algebraically closed residue field, then G0 (R) ' Z.
Proof. By the Filtration Lemma, G0 (R) is generated by [R] and [k]. Further,
we have that the rank function G0 (R) → Z is onto and sends [R] to 1. We need
to prove that [k] = 0.
If x ∈ R is non-zero, then [R/xR] = 0 and R/xR has a filtration of copies
of k of λR (R/xR). Therefore
λR (R/xR) · [k] = 0
for any non-zero x in R. Let S = {λ(R/xR) | 0 6= x ∈ m}. It is enough to show
that the gcd of S is one.
Let V be the integral closure of R. Note that V is a one-dimensional (Cohen-
Seidenberg), local (true sense R is complete; exercise) and V is integrally closed.
Thus we have that V is a DVR with mV = (t).
As V is a finitely generated R-module, there exists a conductor C ⊆ R such
that CV ⊆ R. Pick any non-zero x in C. As tx is an element of C, we have that
λV (V /xV ) + 1 = λV (V /txV ).
However, as the residue fields of R and V are the same,
λV (V /xV ) = λR (V /xV )
= rank(V ) · λR (R/xR)
= λR (R/xR).
Therefore we have that λR (R/xR) = λR (R/txR) − 1. Thus we have that the
gcd of S is one.
2 Class Groups
All along this section R will be an integrally closed noetherian domain.
Definition. Set X 1 (R) := {p ∈ SpecR : ht p = 1}. Also set X(R) = the free
abelian group on generators p ∈ X 1 (R). More explicitly, if D ∈ X(R) we can
write X
D= np p,
p∈x1 (R)
where all but finitely many among the np ’s are zero. Elements in X(R) are
called divisors.
Notice that, since R is integrally closed, for all p ∈ X 1 (R) Rp is a DVR (it is
a 1-dimensional integrally closed local domain). If pRp = (tp ), then every ideal
is a power of the maximal ideal, i.e. I = (tnp ) for some n ∈ N. By definition
where
IRp = tvp (I) Rp for p ∈ X 1 (R).
Since I 6= (0) there are only finitely many minimal primes containing I, and
hence only finitely many height one primes containing I. For the others, if
p ∈ X 1 (R) and I 6⊆ p, then IRp = Rp , and hence vp (I) = 0 for such p. So
div (I) is well defined, since we have just proved that the sum is finite.
44 Grothendieck Groups
Remark 24. If ht I > 2, then vp (I) = 0 for all p ∈ X 1 (R) and therefore div (I) =
0.
div f −1 = −div (f ) .
div (f g) = div (f ) + div (g) and
Lemma 32. Let D ∈ X(R) be an effective divisor. Then [D] = 0 if and only if
D = div (x) for some x ∈ R.
2 Class Groups 45
where vp (a) − vp (b) > 0 since D is effective. By uniqueness of the minimal part
of the primary decomposition we get
\ \
(a) = pvp (a) ⊆ pvp (b) = (b),
p∈X 1 (R) p∈X 1 (R)
0 /H / Cl (R) / Cl (RW ) / 0,
Notice that such a map is well defined since X(R) is free and we can always
define a map on a basis. Notice also that pW are height one primes in RW .
e (R)) ⊆ P (RW ).
Claim. θ(P
Proof of the Claim. By Lemma 31 it is enough to show it for effective divisors.
Let a ∈ R, then
X X
div (a) = vp (a)p + vq (a)q.
p∩W 6=∅ q∩W =∅
Then X a
θ(div
e (a)) = vq (a)qW = div .
1
q∩W =∅
This is because \ \
(a) = pvp (a) ∩ qvq (a)
p∩W 6=∅ q∩W =∅
46 Grothendieck Groups
Cl (R) / Cl (RW ) θ / 0.
Clearly D ∼
= div (a) (mod H), so that [D] ∼
= 0 (mod H) in Cl (R) and therefore
[D] ∈ H.
Example 26. Let k be a field with Chark 6= 2. Let
k[x, y, z]
R=
(x2 − yz)
k[x, y, z, z −1 ] k[x, y, z, z −1 ]
R[z −1 ] ' ' ' k[x, z, z −1 ],
2
(x − yz) (x2 z −1 − y)
2 Class Groups 47
which is a UFD, and hence Cl (R)W = 0. Using Localization Lemma for Class
Groups we have that
p(2) = (z)
hence div (z) = 2p, which means 2[p] = 0 in Cl (R). We have two cases:
(
Z/2Z
Cl (R) '
0
But R is not a UFD because p is height one but not principal, therefore Cl (R) 6=
0, that is
Z
Cl (R) '
2Z
Theorem 35. Let R be an integrally closed noetherian domain. Then
(1) R[T1 , . . . , Tn ] is an integrally closed noetherian domain.
(2) Cl (R) ' Cl (R[T1 , . . . , Tn ]).
Proof. We prove only (2). By induction is enough to show the case n = 1.
Recall that if p ∈ X 1 (R), then p[T ] = p ⊗R R[T ] ∈ X 1 (R[T ]). Also, if a ∈ R
and
(n ) (n )
(a) = p1 1 ∩ . . . ∩ pk k
is a primary decomposition, then
X(R) /H /0
q / [q[T ]]
By (2.10) the kernel is exactly P (R), hence H ' Cl (R). This is because prin-
cipal divisors in R correspond to principal divisors in R[T ].
48 Grothendieck Groups
Remark 25. In general it is not true that Cl (R) ' Cl (RJT K). If this is the case
R is said to have discrete divisor class group. Notice that we have always
Cl (R) ,→ Cl (RJT K)
Theorem 36 (Danilov). If R satisfies Serre’s conditions (S3 ) and (R2 ) then
Cl (R) ' Cl (RJT K).
Remark 26. Similarly we always have Cl (R) ,→ Cl R
b .
Theorem 37 (Flenner).
L Let R be an integrally closed standard
L graded domain,
say R = k[R1 ] = i>0 Ri where k is a field. Set m = i>1 Ri and assume R
satisfies Serre’s condition (R2 ). Then
Cl (R) ' Cl (Rm ) ' Cl R bm .
G0 (R) / G0 (K) ,
0 /H /G
f0 (R) / Cl (R) / 0.
[M ] / c([M ])
0 / T1 /T / T2 / 0,
then c(T ) = c(T1 ) + c(T2 ) since localization is flat and length is additive.
Let us now go back to the general case. Let M ∈ Modfg (R), and recall that
rank(M ) = dimK M ⊗R K, where K = R(0) is the fraction field of R.
Remark 28. T is torsion of and only if rank(T ) = 0.
Suppose rank(M ) = r, then there is a K-vector space isomorphism
e : R r ⊗R K
α / M ⊗R K.
0 / ker α / Rr /M / cokerα / 0,
and also kerα and cokerα are torsion modules because α(0) = α e, which is an
isomorphism. Hence ker α ⊗ 1 = 0 = cokerα ⊗ 1. But ker α ⊆ Rr , and a
submodule of a free module cannot be torsion unless it is zero. Therefore we
have the following short exact sequence
0 /F /M /T / 0,
0 /F /M /T /0
and
0 /G /M / T0 / 0.
We need to prove that c(T ) = c(T 0 ). First of all we can reduce to the case
F ⊆ G. In fact, notice that
We can think of F and G inside K r (they are not K-vector subspaces). Then
there exists x ∈ R such that xF ⊆ G. However, consider
0 0 ker θ
0 / xF /M / T 00 /0
i idM θ
0 /F /M /T /0
F
0 cokerθ
xF
By the Snake Lemma we get ker θ ' F/xF , and hence we have a short exact
sequence
0 / F / T 00 /T /0
xF
These are all torsion modules, and we have already proved that for torsion
modules c is additive. Hence
But
!
R X R
c( )= λ [p] = [div (x)] = 0 in Cl (R) .
xR xR p
p∈X 1 (R)
Therefore c(T 00 ) = c(T ), and hence without loss of generality we can assume
F ⊆ G.
3 Divisors attached to Modules 51
Now consider
0 /0 /0 / ker δ /0
0 /F /M /T /0
idM
i
δ
0 /G /M / T0 /0
0 / G /0 / cokerδ /0
F
so that, again by Snake Lemma, we get a short exact sequence
0 / G /T / T0 / 0,
F
and therefore
c(T ) = c(T 0 ) + c(G/F ).
We want to prove that c(G/F ) = 0. We have
0 / F ' Rr A / G ' Rr / G / 0,
F
and we need to prove that there exists y ∈ R such that
!
X G
λ p = div (y) .
1
F p
p∈X (R)
0 / Rpr Ap
/ Rpr / Gp / 0.
Fp
and therefore
r !
Gp X R
λ = λ .
Fp i=1
(di ) p
Finally
r ! !
X R Rp R
λ =λ =λ ,
i=1
(di ) p (d1 · . . . · dr )p (det A) p
so that
G
c = [div (det a)] = 0 in Cl (R) .
F
0 / M1 α /M β
/ M2 / 0,
Proof of the Claim. Assume not, so that there exist s1 , . . . , sr2 , t1 , . . . , tr2 ∈ R
not all zero such that
0 / Rr 1 / Rr1 +r
_ 2 / Rr 2 /0
_ _
0 / M1 /M / M2 /0
0 / T1 /T / T2 /0
0 0 0
which commutes by construction. The short exact sequence
0 / T1 /T / T2 /0
exists by Snake Lemma, and T1 , T and T2 are all torsion modules, again by
construction. But for torsion modules we know that c is additive, hence
c(M ) = c(T ) = c(T1 ) + c(T2 ) = c(M1 ) + c(M2 ).
Summarizing we have the following theorem.
Theorem 39. There is a surjective group homomorphism
c:G
f0 (R) / Cl (R) /0
c : H(R) / Cl (R)
that preserves short exact sequences, i.e. c(L(R)) = 0. This induces a group
homomorphism
c : G0 (R) / Cl (R) .
To prove that it is surjective let [p] ∈ Cl (R) and consider R/p, which is a torsion
R-module. Then
!
R X R
c = λ [q] = [p].
p 1
p q
q∈X (R)
c:G
f0 (R) / Cl (R) ,
0 /H /G
f0 (R) / Cl (R) / 0.
Proof. First notice that H ⊆ ker c since if [R/p] ∈ H, then R/p is torsion and
hence X
c([R/p]) = λ (R/p)q [q] = 0
q∈X 1 (R)
β : X(R) /G
f0 (R) /H
p / [R/p] + H
and H already involves all primes of height at least two, while β(X(R)) involves
all primes of height one. We now want to show that P (R) ⊆ ker β. Let a ∈ R,
a 6= 0, and write \
(a) = p(np ) ,
p∈X 1 (R)
so that X
div (a) = np [p] ∈ X(R).
p∈X 1 (R)
Applying β we get
X
β(div (a)) = np [R/p] + H ∈ G
f0 (R) .
p∈X 1 (R)
/ R / R /T / 0,
M
0 (2.11)
(a) p(np )
p∈X 1 (R)
where T is the cokernel of the first map. Also, notice that we have the following
short exact sequence of R-modules
0 /R ·a /R / R/(a) / 0,
3 Divisors attached to Modules 55
Claim. ht(annT ) ≥ 2.
Proof of the Claim. Let q ∈ X 1 (R). If a ∈ q, localizing the short exact sequence
(2.11) at q we get
/ R R /
M R R / Tq / 0,
0 = = (n )
(a) q q(nq ) p(np ) q q
p∈X 1 (R)
q
L
so that Tq = 0. Also, if a ∈
/ q, then both (R/(a))q and p∈X 1 (R) R/p(np )
q
are zero, so that Tq = 0 again. This proves the Claim.
β : Cl (R) /G
f0 (R) /H.
To finish the proof we need to show that β is a left inverse for c, and it is enough
to check it on the generators of Gf0 (R) /H, i.e. [R/p] + H with p ∈ X 1 (R).
Notice that
!
R X R R
c +H = λ [q] = ,
p 1
p q p
q∈X (R)
so that
R R R
β◦c +H =β = + H,
p p p
that is β ◦ c = idG
f0 (R)/H , and c is injective. This implies ker c = H.
56 Grothendieck Groups
Corollary 41. Let R be a integrally closed noetherian domain such that every
p ∈ X 1 (R) has finite free resolution. Then R is a UFD.
Proof. It is enough to show that Cl (R) = 0. Let [p] ∈ Cl (R), then by assump-
tion there is a finite free resolution
0 / Fn ... / F1 / F0 / R /0
p
where for q ∈ SpecR and x ∈ / q there exists a prime filtration of R/(q, x) that
has exactly np copies of R/p, for p ∈ Λ. Then
0 / R ·x / R / R / 0,
q q (q,x)
F/W → G0 (R) → 0.
P ⊕ Q ' F.
4 Construction and Properties of K0 (R) 57
Remark 30. By symmetry, the module Q in the above definition is also projec-
tive.
Remark 31. Free R-modules are projective.
Remark 32. If (R, m) is a local noetherian ring, then every projective R-module
P is free. With the assumption that P is finitely generated this is an easy exer-
cise, using Nakayama’s Lemma. The result for non-finitely generated modules
was proved by Kaplansky.
Remark 33. If R is a noetherian ring and P is Projective, then for all q ∈ SpecR
Pq is a free Rq -module. This is because localization commutes with direct sums,
and because projective modules over a local ring are free by Remark 31. If P is
finitely generated, then the converse holds, i.e. if Pq is free for all q ∈ SpecR,
then P is projective.
Remark 34. Let W ⊆ R be a multiplicatively closed set. Because localization
commutes with direct sums we have that if P is a projective R-module, then
PW is a projective RW -module.
Remark 35. Let P be a R-module. Then P is projective if and only if whenever
we have a short exact sequence
0 /K /M /P /0
/ [P ]
[P ]
so that we can apply the same results concerning the existence of functions
rank, e, λ : K0 (R) /Z
such that
X X
hP i − hQi = ai (hPi ⊕ Qi i − hPi i − hQi i) − bj (hPj ⊕ Qj i − hPj i − hQj i),
ai >0 bj >0
where we rearrange the sum in order to have positive coefficients. then we can
rewrite
X X X X
hP i+ ai hPi ⊕Qi i+ bj (hPj i+hQj i) = hQi+ ai (hPi i+hQi i)+ bj hPj ⊕Qj i
ai >0 bj >0 ai >0 bj >0
and therefore
h i
b b
P ⊕ Qai i ⊕ Piai ⊕ (Pj ⊕ Qj )bj ' Q ⊕ (Pi ⊕ Qi )ai ⊕ Pj j ⊕ Qjj .
b b
Hence P ⊕ F ' Q ⊕ L with L = Qai i ⊕ Piai ⊕ Pj j ⊕ Qjj a projective R-module.
Since L is projective there exist a R-module N and a free module F such that
L ⊕ N ' F . Therefore
P ⊕ F ' P ⊕ L ⊕ N ' Q ⊕ L ⊕ N ' Q ⊕ F,
which completes the proof.
Definition. Let Q be a noetherian R-module. Suppose there exist free R-
modules F and G such that Q ⊕ G ' F , then Q is said to be stably free. Clearly
projective modules are stably free.
Corollary 44. Let R be a noetherian domain. If K0 (R) ' Z, then all finitely
generated projective R-modules are stably free.
Proof. Use the rank function
rank : K0 (R) /Z
[R] /1
Since by assumption K0 (R) ' Z and since rank is surjective, it must be also
injective and hence an isomorphism. Let Q be a finitely generated projective
R-module, say rank(Q) = r, then
rank([Q]) = r = rank([Rr ]),
and hence [Q] = [Rr ] since the function rank is an isomorphism. By Theorem
43 there exists a free R-module G such that
Q ⊕ G ' Rr ⊕ G ' F a free module.
Therefore Q is stably free.
4 Construction and Properties of K0 (R) 59
0 / N1 i / P1 α /M /0
0 / N2 j
/ P2 β
/M /0
0 / N1 i / P1 α /M /0
g π
0 / N2 j
/ P2 β
/M /0
(g,i) (j,−π)
0 / N1 / N2 ⊕ P1 / P2 /0
0 / N1 / Pn / Pn−1 / ...... / P0 / M1 /0
'
0 / N2 / Qn / Qn−1 / ...... / Q0 / M2 /0
'
0 / L0 / Q0 / M2 /0
'
0 / N2 / Qn / Qn−1 / ...... / Q2 / Q1 ⊕ P0 / L0 ⊕ P0 /0
i : K0 (R) / G0 (R)
[P ] / [P ]
j : H(R)
e / K0 (R)
Notice that e
j is well defined since if we have another projective resolution
0 / Qd / Qd−1 / ...... / Q1 / Q0 M / 0,
then by Generalized Schanuel’s Lemma we have Qeven ⊕ Podd ' Peven ⊕ Qodd ,
that is
[P0 ] − [P1 ] + . . . + (−1)d [Pd ] = [Q0 ] − [Q1 ] + . . . + (−1)d [Qd ]
in K0 (R). Now let 0 → M1 → M → M2 → 0 be a short exact sequence of
R-modules and consider projective resolutions
P· / M1 /0
Q· / M2 /0
and hence j([P ]) = [P0 ] = [P ]. Let now M ∈ Modfg (R), and consider a projec-
tive resolution
0 / Pd / Pd−1 / Pd−2 / ...... / P1 / P0 M / 0.
Corollary 48. Let k be a field and let R be the polynomial ring k[x1 , . . . , xn ].
Then every finitely generated projective R-module is stably free.
Proof. We know that R is regular, therefore by Theorem 47 we have
K0 (R) ' G0 (R) ' G0 (k) ' Z.
Since K0 (R) ' Z, by Corollary 44, we have that every finitely generated pro-
jective R-module is stably free.
62 Grothendieck Groups
• Morphisms: Let us define morphisms just for the first category, for the
second the definition is analogous. A morphism h : (P, f ) → (Q, g) con-
sists of an R-module homomorphism h : P → Q such that the following
diagram commutes:
P
f
/P
h h
Q /Q
g
0 / (P1 , f1 ) h / (P2 , f2 ) g
/ (P3 , f3 ) /0 (#)
0 / P1 h / P2 g
/ P3 /0
Definition. We define
free abelian group on (P, f ) up to isomorphism
K1 (R) := ,
H
where H is the subgroup generated by the following relations:
(2) If (P, f ) and (P, g) are objects, then we introduce the relation
By [P, f ] or [(P, f )] we mean the image of (P, f ) in K1 (R). Also, we let K1f (R)
be the same construction, but in the second category of finitely generated free
modules.
Remark 39. For any finitely generated projective module P we have [P, 1P ] = 0.
In fact [P, 1P ] = [P, 1P ◦ 1P ] = [P, 1P ] + [P, 1P ], and hence the remark follows.
Proposition 49. Let L be a field. Then
Proof.
64 Grothendieck Groups
6 Exercises
(1) What is the kernel of α?
(2) Is the following exact?
Remark 40. The definition of derivation makes sense even if the ring is not
commutative, but in that case we have to respect the order of the multiplication.
For instance in (3) we have to require D(rs) = rD(s)+D(r)s instead of D(rs) =
rD(s) + sD(r).
Remark 41. D(α) = 0 for all α ∈ k.
D(α) = αD(1) = 0
for all α ∈ k.
Proof. Clearly the claim holds when n = 1. By induction assume it’s true for
n > 1. Then
Remark 44. If Char(R) = p > 0, then for all k-derivations we have D(rp ) = 0.
Remark 45. If D : R → M is a k-derivation and f : M → N is a R-
homomorphism, then f ◦ D is a k-derivation.
We want now to construct a R-module ΩR/k and a universal derivation
d : R → ΩR/k such that for any other k-derivation D : R → M there exists a
unique R-module homomorphism
R
d / ΩR/k
D
~ f
M
r / dr
r R
d / ΩR/k
D
| f
M
D(r)
Notice that f (dr) = D(r) is forced to make the diagram commute, and also
{dr : r ∈ R} generates ΩR/k . Hence if such f : ΩR/k → M exists it has to
be unique. Notice also that on F we can define freely f on the basis elements
dr. Also f (H) = 0 because D is a derivation, therefore f : F → M induces
a map f : ΩR/k → M . Finally (ΩR/k , d) is unique (up to isomorphism) by
usual universal property arguments. If we consider d0 : R → Ω0 , then we have a
commutative diagram
d0 / Ω0
R G
g
D
f
ΩR/k
and one can verify that f ◦ g = idΩ0 and g ◦ f = idΩR/k .
Remark 46. By uniqueness and by Remark 45 we have
Derk (R, M ) ' HomR (ΩR/k , M ).
Proposition 50. Let k be a ring and let R = k[xλ ]λ∈Λ be a polynomial ring.
Then M
ΩR/k = Rdxλ
λ∈Λ
L
Proof. Let F = λ∈Λ Rdxλ . Consider the diagram
k[xλ ]
d /F
9dxλ
D
" ~
M
|
D(xλ )
where the choice dxλ 7→ D(xλ ) is forces by the commutativity of the diagram.
F is free, hence the map is well defined. The key point of this proof is that
d : k[xλ ] → F is in fact a derivation. For f, g ∈ k[xλ ] and α ∈ k we have:
• d(f + g) = i ∂(f∂x+g)
P P ∂f P ∂g
i
dxi = i ∂x i
dxi + i ∂x i
dxi = df + dg.
• d(f g) = i ∂(f g)
P P ∂g P ∂f
∂xi dxi = f i ∂xi dxi + g i ∂xi dxi = f dg + gdf .
P ∂(αf ) P ∂f
• d(αf ) = i ∂xi dxi = α i ∂xi dxi = αdf .
R
d / ΩR/k
R/I f ∈HomR (ΩR/k ,M )
D
D
e
)
M
R
d / ΩR/k
{
R/I
d / ΩR/k
Rhdi:i∈Ii
|
M
1 First construction of the Module of Differentials 69
di = f dg + gdf = f dg + gf 0 dx,
f 0 dx = df ∈ Rhdi : i ∈ (f )i,
k[x]dx k[x] R
ΩR/k ' ' ' 0 .
f k[x]dx + f 0 k[x]dx (f, f 0 ) (f )
where Homalg
R (·, ·) denotes the module of R-algebra homomorphisms. Then
(C) S is said to be étale over R if it is both smooth and unramified, i.e. if θT,J
is an isomorphism for all T, J as above.
(A’) S is smooth over R if and only if S is flat over R and ΩS/R is a projective
S-module.
R ⊗k R
µ
/R
P /
P
i ri ⊗ si i ri si
I /I 2
' / ΩR/k
(r ⊗ 1 − 1 ⊗ r) + I 2 / dr
Remark 47. R ⊗k R has both left and right module structures, in fact we can
consider
X X X X
r( si ⊗ ti ) = (rsi ) ⊗ ti and ( si ⊗ ti )r = si ⊗ (rti ).
i i i i
Remark 48. With respect to either left or right R-module structure we have
I = Rhr ⊗ 1 − 1 ⊗ r : r ∈ Ri
Proof. We just prove the case with the left module structure. The other case
I i ∈ I , so that
P
is
P similar. Clearly Rhr ⊗ 1 − 1 ⊗ r : r ∈ Ri ⊆ . Let i ri ⊗ s
i ri si = 0. Consider
X X X
− ri (si ⊗ 1 − 1 ⊗ si ) = (−ri si ) ⊗ 1 + ri ⊗ si .
i i i
Also
Since in I /I 2 left and right action are the same we get (s ⊗ 1 − 1 ⊗ s)r =
r(s ⊗ 1 − 1 ⊗ s), and therefore
With this choices R n M is a commutative ring with identity (1, 0). Another
way to see this is
r m
RnM = : r ∈ R, m ∈ M
0 r
I /I 2
' / ΩR/k
r⊗1−1⊗r o / dr
D
} f
M
As usual, since I /I = Rhr ⊗ 1 − 1 ⊗ ri, if f exists it is forced to be unique,
2
since
f (r ⊗ 1 − 1 ⊗ r) = f (dr) = D(r).
Let S = R n M . There exists a k-algebra homomorphism
R ⊗k R
h /S
R ⊗k R
h /S
is k-bilinear, and from the universal properties for tensor products. Notice that
fe : I /M
/ D(r)
r⊗1−1⊗r
ΩR/k / ΩS/k
/ dϕ(r)
dr
S × ΩR/k / ΩS/k
S ⊗R ΩR/k / ΩS/k
Remark 53. α : M → N is left split if and only if for all R-modules K the
induced map HomR (α, K) : HomR (N, K) → HomR (M, K) is onto.
Proof. Assume α is left split, so that N ' M ⊕ L via α. Then just extend any
map f : M → K just by defining it to be zero on L. In other words
Remark 54. If M is finitely generated it is enough to check just for all K finitely
generated.
ϕ
Proposition 54. Let k → R → S. Then
(1) The natural map S ⊗R ΩR/k → ΩS/k is left split if and only if for all
S-modules N and for all D ∈ Derk (R, N ), D can be extended to a k-
e : S → N.
derivation D
74 The Module of Differentials
(2) The natural map S ⊗R ΩR/k → ΩS/k is an isomorphism if and only if the
extension is unique.
Proof. (1) Rephrasing the statement we have to prove that S ⊗R ΩR/k → ΩS/k
is left split if and only if Derk (S, N ) → Derk (R, N ) is onto. But we know
that
Derk (S, N ) = HomS (ΩS/k , N ) → HomR (ΩR/k , N ) = Derk (R, N ).
By Hom-tensor adjointness we get
HomS (ΩS/k , N ) → HomR (ΩR/k , HomS (S, N )) ' HomS (ΩR/k ⊗R S, N ),
which is onto if and only if the map S ⊗R ΩR/k → ΩS/k is left split by
Remark 53.
(2) With the same argument used in (1) we have that the extension is unique
if and only if Derk (S, N ) ' Derk (R, N ), if and only if HomS (ΩS/k , N ) '
HomS (ΩR/k ⊗R S, N ), if and only if the map S ⊗R ΩR/k → ΩS/k is an
isomorphism, since the statement is true for all S-modules N .
ϕ : R ⊗S ΩS/k / ΩR/k ,
Clearly the map is onto, since for all r ∈ R there exists s ∈ S lifting r, and
hence if dr ∈ ΩR/k , then ds 7→ dr. By Proposition 51 we also have
ΩS/k
ΩR/k ' .
Shdi : i ∈ Ii
Notice that IΩS/k ⊆ Shdi : i ∈ Ii, so that
Shdi : i ∈ Ii
ker ϕ = .
IΩS/k
Clearly I does surject onto Shdi : i ∈ Ii via i 7→ di, but also for all i, i0 ∈ I we
have d(ii0 ) = idi0 + i0 di ∈ IΩS/k , so that we get
I d / ΩS/k ϕ
/ ΩR/k /0
I2 7 IΩS/k
%
Shdi:i∈Ii
6 IΩS/k
0 )0
(2x,3y)
R / R2 / ΩR/k /0
because here the map d is given by the partial derivatives of f . Since 2, 3 are
units in R we have that (2x, 3y)R = R, that is (2x, 3y) is unimodular. Therefore
we get
ΩR/k ⊕ R ' R2
and in particular ΩR/k is projective.
76 The Module of Differentials
R3 !/ R3 / ΩR/k / 0,
2x 0 0
0 3y 2 0
0 0 4z 3
so that
R R R
ΩR/k ' ⊕ 2 ⊕ 3 .
(x) (y ) (z )
If S = k[xλ ] is a polynomial ring, then we denote ker d =: ΓR/k . One can prove
that the definition does not depend on the choice of the presentation S.
Furthermore, if ΩR/k is flat over R, then we can add S ⊗R ΓR/k on the left, i.e.
the following sequence is exact
Proof. To define Γ·/· we can choose any presentation for R. Let us choose
k[xλ ] A k[xλ , yν ] B
R= =: and S = =: ,
I I L L
where IB ⊆ L. In this way
B R[yν ]
S= = ,
L L
0 / IB
' L2 +IB / L / L
= L /0
6
L2 ∩IB L2 L2 2 L2 +IB
6 L
I IB
I2 ⊗R S ' LIB
4 Quasi-unramified maps 77
I / L / L /0
⊗R S 2
I2 L2 L
d⊗1 d d
/ (L Rdxλ ) ⊗R S /L /L /0
0 λ λ,ν (Sdxλ ⊕ Sdyν ) ν Sdν
ΩR/k ⊗R S ΩR/k ΩS/R
0 0 0
where !
I /
M
/ ΩR/k ⊗R S /0
⊗R S Rdxλ ⊗R S
I2
λ
is exact because tensor product is right exact. Hence, by the Snake Lemma we
get a long exact sequence
For the last statement assume that ΩR/k is flat over R. By definition we have
an exact sequence
/ ΓR/k / I d / / ΩR/k /0
M
0 Rdxλ
I2
; λ
;C
'
0 0
L
and since ΩR/k is flat and λ Rdxλ is free we have that C is flat over R. Tensor
the first half of the sequence to get
TorR
1 (C, S) = 0
/ ΓR/k ⊗R S / I ⊗R S / C ⊗R S /0
I2
d⊗1 L(
( λ Rdxλ ) ⊗R S
4 Quasi-unramified maps
Definition. Let k → R be a ring homomorphism. R is quasi-unramified over k
if for all k-algebras T and for all ideals J ⊆ T such that J 2 = 0 the map
Homalg alg
k (R, T ) → Homk (R, T /J)
78 The Module of Differentials
is injective.
Remark 56. The definition is the same as the one of unramified, except for the
fact that we are not assuming that R is a finitely generated k-algebra.
Theorem 58. Let k → R be a ring homomorphism. Then R is quasi-unramified
if and only if ΩR/k = 0.
Proof. Recall that ΩR/k ' I /I 2 , where I is given by
0 /I / R ⊗k R /R /0
r⊗s / rs
$ x
T /J
{
0
Then we have to liftings of the identity, hence they have to coincide. Hence
r ⊗ 1 + I 2 = 1 ⊗ r + I 2 , i.e.
r ⊗ 1 − 1 ⊗ r ∈ I 2.
# {{
T /J
R ⊗k R
ψ
/T
r⊗s / α(r)β(s)
4 Quasi-unramified maps 79
that is α = β.
Corollary 59. Let k → R → S be ring homomorphisms. Then
(1) If S/k (i.e. S is unramified over k) is unramified, then so is S/R.
(2) (Transitivity) If R/k and S/R are unramified, then so is S/k.
Proof. Use Jacobi-Zariski sequence and the previous theorem.
Example 31. Let k be a field and let k ⊆ ` be a finite separable field extension.
Then there exists a primitive element, say
k[x]
` = k(α) ' ,
(f (x))
` /` / Ω`/k /0
f 0 (α)
k[x1 , . . . , xn ]
`= ,
m
where m is a maximal ideal, and we know that
m
dim` = n,
m2
since k[x1 , . . . , xn ] is regular. There is an exact sequence of `-vector spaces
n
/ Γ`/k / m d / / Ω`/k / 0.
M
0 `dxi
m2 i=1
Ωk(α)/k ⊗k(α) ` = 0.
4 Quasi-unramified maps 81
Since k(α) → ` is faithfully flat (it is just a field extension) we have Ωk(α)/k = 0,
and hence α is separable over k.
(1) ⇒ (2) Use induction on m = [` : k]. The case m = 1 is clear. Now assume
m > 1, and choose α ∈ ` r k. Then ` is separable over k(α) by transitivity. By
induction Ω`/k(α) = 0, and also Ωk(α)/k = 0 since α is separable over k. Then,
using the Jacobi-Zariski sequence we get
0 /I / A ⊗k A /A / 0,
so that
I /I 2 ' ΩA/k = 0.
Then I = I 2 and it is finitely generated, hence I = (e), where e2 = e is an
idempotent. Assume now k = k is algebraically closed, so that l = k. Notice
that
A ⊗k A
' (A ⊗k A) ⊗A l = (A ⊗k A) ⊗A k = k ⊗k k = k,
mA ⊗k A + A ⊗k mA
is a field, therefore mA ⊗k A+A⊗k mA is a maximal ideal in A⊗k A, but it is also
nilpotent since m2A = 0. This means that A ⊗k A has only one maximal ideal,
and therefore it is local. But a local ring has no trivial idempotents, and hence
e = 0, 1. Clearly e 6= 1, otherwise A = 0. So I = 0 and therefore A ⊗k A ' A.
But then
dimk A = (dimk A)2 ,
82 The Module of Differentials
R ' k × . . . × k,
proving the theorem in the case k = k. Back to the general case, by base change
we have
Ω(R⊗k k)/k ' ΩR/k ⊗k k = 0,
R = R ⊗k k ,→ R ⊗k k.
R ' k1 × . . . × ks ,
Ps
Ls ki ⊆ k is finite over k and i=1 [ki : k] = r. Finally, since 0 =
where each
ΩR/k = i=1 Ωki /k we have that each Ωki /k = 0 for all i = 1, . . . , s and hence
each ki is separable over k by Theorem 60.
Proposition 62. Let ϕ : R → S be a homomorphism of noetherian rings,
and assume S is a finitely generated R-algebra. Then the following facts are
equivalent:
(1) R → S is unramified.
(2) For all Q ∈ Spec(S), set q = ϕ−1 (Q), then k(q) → S⊗R k(q) is unramified.
Proof. (1) ⇒ (2) Let Q ∈ Spec(S) and let q be as above. By base change we
get
Ω(S⊗R k(q))/k(q) ' ΩS/R ⊗R k(q) = 0
since R → S is unramified. Therefore S ⊗R k(q) is unramified for all Q ∈
Spec(S).
(2) ⇒ (1) Since S is a finitely generated R-algebra we have that ΩS/R is a
finitely generated S-module. Then to show ΩS/R = 0 it is enough to show that
(ΩS/R )Q = 0 for all Q ∈ Spec(S), and hence it is enough to show (ΩS/R )q = 0
for all q ∈ Spec(R) since
and then
(ΩS/R )Q = (ΩS/R )ϕ(Rrq) Q
4 Quasi-unramified maps 83
ΩSq /Rq is finitely generated, and hence by NAK it is enough to show that
ΩSq /Rq
= 0.
qΩSq /Rq
ΩSq /Rq Rq
' ΩSq /Rq ⊗Rq ' Ω(S⊗R k(q))/k(q) = 0.
qΩSq /Rq qRq
(1) R → S is unramified.
(2) For all q ∈ Spec(R), S ⊗R k(q) ' k1 × . . . × krq , where each k1 is finite
and separable over k(q).
such that
T S
' .
mR T mS
2 3
Example 37. Consider C[x] → (xC[x,y]
2 −y 3 ) ' C[t , t ]. Prime ideals in C[x] are (0)
5 Quasi-smooth maps
Definition. Let k → R be a ring homomorphism. R is quasi-smooth over k if
for all k-algebras T and for all ideals J ⊆ T such that J 2 = 0 the map
Homalg alg
k (R, T ) → Homk (R, T /J)
Proof. We want to find a condition equivalent to (3.1). Write R = k[xλ ]/I, then
we have to following defining sequence:
/ ΓR/k / I d / / ΩR/k / 0,
M
0 Rdxi (3.2)
I2
Proof
L of the Claim.2 Assume (3.2) holds. This is true if and only if there exists
ψ: Rdxi → I/I such that for f ∈ I we get
X
∂f
ψ ) dxλ = f + I 2 ,
∂xλ
Set αλ = xλ − δλ , so that
X ∂f
f (x1 , . . . , xn ) ≡ f (xλ − δλ ) + δλ mod (δλ )2 .
∂xλ
∂f
Since δλ = ψ(dxλ ) ∈ I we have that (δλ )2 ⊆ I 2 . But also f (xλ ) =
P
∂xλ δλ
mod I 2 . Hence we get
f (xλ − δλ ) ∈ I 2 .
k[xλ ] T
π
/ T
R ϕ J
k[xλ ]
φ
/T
xλ / tλ
86 The Module of Differentials
k[xλ ]
φ
/T
π
R / T
ϕ J
0 = ϕ(f ) = f (xλ − δλ ) ∈ T,
so that f (xλ − δλ ) ∈ I 2 .
ΩS/R = 0 (quasi-unramified)
where the first map comes from the fact that k → R is quasi-smooth, and hence
ΩR/k is projective, and in particular flat. Also, since R → S is quasi-smooth,
we have ΓS/R = 0 and ΩS/R is projective. Therefore the final part of sequence
above splits: M
ΩS/k ' ΩS/R ΩR/k ⊗R S .
Moreover, ΩR/k is a projective R-module, and as a consequence ΩR/k ⊗R S is a
projective S-module. This shows that ΩS/k is a projective S-module. Finally,
ΓS/R = ΓR/k = 0 since k → R and R → S are quasi-smooth, therefore ΓS/k = 0
by the sequence above. By Theorem 65 we get that k → S is quasi-smooth.
Theorem 68 (Cartier-Mac Lane). Let k be a field and let k ⊆ l be a finitely
generated field extension. Then
Proof. We have discussed the case in which tr.degk ` < ∞, i.e. when ` is al-
gebraic over k. Now assume n = tr.degk ` > 0, and fix a transcendence basis
xi , . . . , xn of ` over k. Set E := k(x1 , . . . , xn ), and consider the inclusions
k ⊆ E ⊆ `, where E ⊆ ` is now algebraic. Then we have
where the first map comes from the fact that ΩE/k is clearly flat, being E a
field. Consider k → E, which is a purely transcendental extension. Notice that,
if we set R := k[x1 , . . . , xn ] and W = R r {0}, then we have that E = RW .
Since R is a polynomial ring over k we have that
n
M
ΩR/k ' Rdxi ,
i=1
because !
n
M n
M
ΩE/k ⊗E ` ' Edxi ⊗E ` ' `dxi ' `n .
i=1 i=1
88 The Module of Differentials
From the algebraic case, since E ⊆ ` is algebraic, we know that dim` Ω`/E =
dim` Γ`/E , therefore
Remark 61. Finite intersection of primes which are not nested are never prime.
Therefore the interesting cases in (ii) of the above definition happen when the
intersection is infinite.
Remark 62. If R is Noetherian, then SpecR is Noetherian. But the converse
does not hold in general.
Example 38. (1) When R is Noetherian, X = SpecR clearly is basic.
(2) When R is Noetherian,
\
X = j − SpecR = p ∈ SpecR | p = m
p ⊆ m
m maximal
is basic.
(3) When R is Noetherian,
X i := {p ∈ SpecR | htp 6 i}
is basic.
(4) If X is basic and F ⊆ SpecR is closed, then X ∩ F is basic.
90 Basic element theory
is closed.
i.e. the sum of colons of M into any submodule of M generated by t−1 elements.
Suppose p ∈ SpecR is such that It ⊆ p. Then µp (M ) > t, in fact if not there
exist t − 1 elements m1 , . . . , mt−1 such that (m1 . . . , mt−1 )p = Mp , and since
M is finitely generated this implies (m1 , . . . , mt−1 ) :R M 6⊆ p (basically clearing
denominators). On the other hand, if It 6⊆ p, then there exist m1 , . . . , mt−1 such
that (m1 , . . . , mt−1 ) :R M 6⊆ p, that is Mp = (m1 , . . . , mt−1 )p , and therefore
µp (M ) 6 t − 1. This shows that It defines Ft . i.e. Ft = V (It ) is closed.
Crucial Lemma 71. Let M ∈ Modfg (R) and let X ⊆ SpecR be basic. Then
there exists a finite set of primes Λ ⊆ X such that if p ∈ X r Λ, there exists
q ( p such that
µq (M ) = µp (M ) .
µp (M ) = µpi,t (M ).
92 Basic element theory
To prove the theorem we need a few more auxiliary definitions and results.
δp (S) := µp (M ) − µp (M/RS) ,
0 / RS /M / M/RS / 0.
Rp S α / Mp / Mp / 0.
pRp S pMp Rp S + pMp
Proof. Let M 0 = M/RS. By the Crucial Lemma 71 we know that except for
finitely many primes p ∈ X (the ones not in Λ) there exists q ( p such that
µp (M 0 ) = µq (M 0 ). Also, µp (M ) > µq (M ) always holds since it is a further
localization. But then
δq (S) = µq (M ) − µq (M 0 ) 6 µp (M ) − µp (M 0 ) = δp (S) .
1 Basic sets and basic elements 93
µp (M/Rx) < µp (M ) ,
is X-basic.
Proof. We claim that for any choice of a1 , . . . , an−1 , S 0 is p-basic for all but
finitely many primes in X. In fact recall Remark 64, and let p ∈ X r Λ. Notice
that R(S 0 ∪ {xn }) = RS, and therefore
where the last inequality follows from the fact that the containment q ( p is
strict. Now set {p1 , . . . , pr } = Λ, which are the primes for which the claim does
not hold. Choose pr minimal among the pi ’s in Λ. By induction on r we assume
that we can choose a1 , . . . , an−1 such that S 0 is pi -basic for all i = 1, . . . , r − 1.
By minimality we can now choose c ∈ p1 · . . . · pr−1 r pr . Set
00
x1 = x01 + acb1 xn
x00 = x02 + cb2 xn
2
.........
.........
.........
00
xn−1 = n0n−1 + cbn−1 xn
n−1
/ / M (pr ) / P M (pr ) M / 0.
X
0 k(pr )x0i n−1 0
= 0
(pr )
i=1 i=1 k(p )x
r i RS
which gives
that is S 00 is pr basic.
(c) x01 6= 0 and x01 , . . . , x0n−1 are linearly dependent in k(pr ). There exists
1 6 i 6 n − 1 such that x0i is not zero and can be expressed in terms of the
others. Set bi = 1 and bj = 0 for all i 6= j. Then
Finally, since
is X-basic. Notice that the cardinality of S 0 is one less than the cardinality of
S. Repeat the process until the cardinality of the set, say S 0 ”, is one. But then
S 00 = {x1 + az} = {y + az} for some z ∈ M , and S 00 is X-basic. But by Remark
65 this exactly means that y + az is X-basic.
Corollary 74 (of Theorem 72). Let R be a commutative ring with 1R , let X
be basic and let M ∈ Modfg (R) be such that µp (M ) > 1 + dimX p for all p ∈ X
(i.e. it satisfies just (2) in Theorem 72). Then there exists z ∈ M which is
X-basic.
96 Basic element theory
The first inequality follows from Nakayama’s Lemma, while the second is be-
cause p ∈ X = SuppM . By Corollary 74 there exists z = (a1 , . . . , ad+1 ) ∈ M
which is X-basic.
p
Claim. I ⊆ (a1 , . . . , ad+1 ).
In fact if not there exists p ⊇ (a1 , . . . , ad+1 ) such that p 6⊇ I. But then
Mp = ⊕d Ip = Rpd+1 ,
i.e. (a1 , . . . , ad+1 ) ∈ pRpd+1 . By Nakayama’s Lemma this contradicts the fact
that z = (a1 , . . . , ad+1 ) is basic.
Uz := {q ∈ SpecR | z is q − basic}?
2 Basic elements and Projective modules 97
Uz = SpecR r V (P ∗ (z)),
Proof. First notice that it is stated as a Corollary because it will follow from
Corollary 74 of Theorem 72. Notice that for all q ∈ X = j-SpecR we have (for
q ⊆ m ∈ max SpecR)
We need the following theorem. We are going to prove just the first part.
Lemma 78. Let n define a stable range for GL(R) and let r > n. If (a1 , . . . , ar )
is unimodular, then there exists A ∈ Er (R) such that
t
((a1 , . . . , ar )A) = (1, 0, . . . , 0)t .
Sketch. By adding multiples of the last row to the first r −1 rows we can assume
that a1 , . . . , ar−1 is unimodular. Then, since it is unimodular, one can add
multiples of the first r − 1 rows to get (a1 , . . . , ar−1 , 1). Now, adding multiples
of 1 we can clearly get rid of a1 , . . . , ar−1 , and finally get to (0, . . . , 0, 1).
98 Basic element theory
Remark 67. With r > n as above we have that GLr (R)Er+1 (R) = GLr+1 (R).
Proof. Clearly GLr (R)Er+1 (R) ⊆ GLr+1 (R). If A ∈ GLr+1 (R), then the last
row is unimodular, so there exists E ∈ Er+1 (R) such that
0
A f
AE = ,
0 1
and hence
(−A0 )−1 f
0
(−A0 )−1 f
0
0 I A f I A 0
AE = AE = = ,
0 1 0 1 0 1 0 1
and hence µq (M ) > dim (j-SpecR) + 1 > dimj -SpecR q + 1, i.e. (2) of Theorem
72 holds as well. Then there exists z ∈ M which is j-SpecR basic, i.e. there is
z = (b1 , . . . , br−1 ) ∈ M such that
0 / Rr−1 /M /I / 0.
0 /R /M /N /0
·z ·z µz =·z
0 /R /M /N /0
where the first two vertical maps are inceptive because R is a domain, and
M is torsion free. Also, µz is just the map induced by the diagram, and
it is again multiplication by z. By the Snake Lemma we get an inclusion
0 / Rr−2 /N /I / 0.
0 / Rr−1 /M /I / 0.
100 Basic element theory
Remark 68. Recall that, given X basic and M ∈ Modfg (R), a submodule M 0 ⊆
M , M 0 = R{m1 , . . . , mn }, is called X-basic if for all p ∈ X
0
δp (M ) = µp (M ) − µp (M/M 0 ) > min{n, 1 + dimX p}.
Then M ' P .
0 /R / R⊕M /M /0
idR ' ' h '
0 /R / R⊕P /P /0
so that M ' P . If this is not the case, let α((1, 0)) = (a, x1 ). The goal is to
show that
R⊕M
α / R⊕P β
/ R⊕P γ
/ R⊕P η
/ R⊕P
are all isomorphism, with β, γ and η to be defined, in order to repeat the argu-
ment above. Notice that, since (1, 0) is basic in R ⊕ M and α is an isomorphism,
α((1, 0)) = (a, x1 ) is basic in R ⊕ P . Write P = R{x1 , . . . , xn }, and notice that
for all p ∈ X we have
f :R /P
1 /x
Recall that, since z is basic, we have P ' Rz ⊕ P 0 , and hence there is a splitting
map ϕ : P → R such that ϕ(z) = 1 − a. Define γ : R ⊕ P → R ⊕ P via the
matrix
1R ϕ
,
0 1P
and notice that it is again an isomorphism since det γ = 1. Also notice that
t
1R ϕ a
γ(β(α((0, 1)))) = γ((a, z)) = = (a + ϕ(z), z) = (1, z).
0 1P z
Finally, let
g:R /P
/z
1
and define η : R ⊕ P → R ⊕ P via the matrix
1R 0
,
−g 1P
0 / M0 / Rn /M / 0,
Counting dimensions:
dimk(p) (Im (M 0 ⊗ k(p) → k(p)n )) = n − µp (M ) > t − µp (M ) > dimX p.
Therefore
dimk(p) (Im (M 0 ⊗ k(p) → k(p)n )) > 1 + dimX p
for all p ∈ X, and hence M 0 is X-basic. But then, by Corollary 74 there exists
z ∈ M 0 which is basic in Rn , i.e. it is unimodular (since Rn is free). This means
Rn ' Rz ⊕ P.
But rankP = n − 1 > t, therefore we have P ' Rn−1 by Bass cancellation
Thorem 81. Since z ∈ M 0 , we still have a surjection
Rn /Rz /M / 0,
and by what we have just shown we have Rn /Rz ' P ' Rn−1 , which gives a
surjection
Rn−1 /M / 0,
dimX m + µm m = 0 + n,
therefore
sup {dim (R/p) + 1, n} = dim(R/0) + 1 = n + 1.
p∈SpecR