# The Grothendieck group K(A) of an abelian category A is an abelian group generated by the set {[A]} of symbols [A] of objects of A subject to the relations [A

## 全文

(1)

1. Grothendieck Group of Abelian categories

Roughly speaking, an abelian category is an additive category such that finite direct sum exists, the kernel and the cokernel of a morphism exist, and the coimage of a morphism is isomorphic to its image (first isomorphism theorem holds). For example, if A is a noetherian ring, the category of finitely generated (left) A-modules is an abelian category. A morphism f : A → B in an abelian category A is a monomorphism if ker f = 0 and a epimorphism if coker f = 0. We say that the a sequence

A −−−−→ Bf −−−−→ Cg is exact at B if ker g = Im f. A sequence of morphisms

· · · → Ai−1→ Ai → Ai+1→ · · · is said to be exact if it is exact at all Ai.

The Grothendieck group K(A) of an abelian category A is an abelian group generated by the set {[A]} of symbols [A] of objects of A subject to the relations

[A] = [A0] + [A00] whenever 0 → A0 → A → A00 → 0 is exact.

Lemma 1.1. Let A be an abelian category and K(A) be its Grothendieck group. Then (1)  = 0, and

(2) if A ∼= B, [A] = [B], and (3) [A ⊕ B] = [A] + [B].

Proof. To prove (1), we consider the exact sequence 0 → 0 → 0 → 0 → 0. To prove (2), we consider the exact sequence 0 → 0 → A → B → 0. To prove (3), we consider

0 → A → A ⊕ B → B → 0. 

The Grothendick group K(A) of A can be constructed as follows. Let F (A) be the free abelian group generated by the isomorphism classes of objects of A and R(A) be the subgroup generated by [A] − [A0] − [A00] whenever 0 → A0 → A → A00 → 0 is exact. The quotient group F (A)/R(A) is the Grothendick group K(A).

Theorem 1.1. Let A and B be an abelian category A. Then [A] = [B] in K(A) if and only if there exist short exact sequence 0 → C0 → C → C00 → 0 and 0 → D0 → D → D00 → 0 such that A ⊕ C ⊕ C00⊕ D is isomorphic to B ⊕ C ⊕ D ⊕ D00.

An exact functor F : A → B on abelian categories is an additive functor such that for any exact sequence 0 → A0 → A → A00 → 0, the sequence 0 → F (A0) → F (A) → F (A00) → 0 is also exact.

Lemma 1.2. Let F : A → B be an exact functor of abelian categories. Then F induces a group homomorphism F: K(A) → K(B).

Proof. Let us define a map F : F (A) → F (B) by F ([A]) = [F (A)] and extend it additively to all elements of F (A). Since F is additive,

F ([A] − [A0] − [A00]) = F ([A]) − F ([A0]) − F ([A00]) = [F (A)] − [F (A0)] − [F (A00)].

Since F is exact, the above identity implies that F (R(A)) ⊂ R(B). This shows that the map F : K(A) → K(B) sending [A] + R(A) → [F (A)] + R(B) is well-defined. This map

F can be extend to a group homomorphism. 

1

(2)

2

Let us abuse the use of the notation [A] : the image of [A] in K(A) will also be denoted by [A].

Lemma 1.3. Let F : A → B be an exact equivalence of categories. Then F : K(A) → K(B) is an isomorphism of abelian groups.

Proof. Let G : B → A be the inverse of F. Then G ◦ F = 1A and F ◦ G = 1B. One can check that G : K(B) → K(A) is the inverse of F : K(A) → K(B).  Definition 1.1. Let A be a noetherian scheme and Coh(X) be the category of coherent sheaves on X. The category Coh(X) is an abelian category. We define the K0-group of the scheme X to be the Grothendieck group of Coh(X) :

K0(X) = K(Coh(X)).

Let A be a commutative noetherian ring and X = Spec A be its corresponding noetherian affine scheme. We know that the global section functor

Γ : Coh(X) → Mod(A)

sending F → Γ(F ) gives an exact equivalence of abelian categories whose inverse is given by M 7→ fM . Lemma 1.3 implies that:

Corollary 1.1. Let A be a noetherian ring and X = Spec A be its corresponding affine acheme. Then we have a group isomorphism:

K0(X) ∼= K(Mod(A)).

Now, let us define the Grothendieck group of a triangulated category.

Let C be a triangulated category. The Grothendieck group K(C) of C is the abelian group generated by isomorphism classes of objects of C subject to the relation [A] = [A0] + [A00] whenever we have a distinguish triangle A0→ A → A00→ A0.

Theorem 1.2. Let A be an abelian category and Db(A) be its bounded derived category.

Then the natural map

K(A) → K(Db(A)) is an isomorphism of abelian groups.

Proof. This will be discussed later. 

Let X be a noetherian scheme and Db(X) be the bounded derived category of coherent sheaves on X. Theorem 1.1 implies:

Corollary 1.2. We have a natural isomorphism if abelian groups: K0(X) = K(Db(X)).

Notice that furthermore, if X is regular, K0(X) ∼= K0(X). In this case, we obtain K0(X) ∼= K(Db(X)).

Updating...

Updating...