Quillen K-Theory: Lecture Notes
Satya Mandal, U. of Kansas
2 April 2017 27 August 2017 6, 10, 13, 20, 25 September 2017 2, 4, 9, 11, 16, 18, 23, 25, 30 October 2017 1, 6, 8, 13, 15, 20, 27, 29 November 2017 December 4, 6 2
Dedicated to my mother! Contents
1 Background from Category Theory 7 1.1 Preliminary Definitions ...... 7 1.1.1 Classical and Standard Examples ...... 9 1.1.2 Pullback, Pushforward, kernel and cokernel ...... 12 1.1.3 Adjoint Functors and Equivalence of Categories ...... 16 1.2 Additive and Abelian Categories ...... 17 1.2.1 Abelian Categories ...... 18 1.3 Exact Category ...... 20 1.4 Localization and Quotient Categories ...... 23 1.4.1 Quotient of Exact Categories ...... 27 1.5 Frequently Used Lemmas ...... 28 1.5.1 Pullback and Pushforward Lemmas ...... 29 1.5.2 The Snake Lemma ...... 30 1.5.3 Limits and coLimits ...... 36
2 Homotopy Theory 37 2.1 Elements of Topological Spaces ...... 37 2.1.1 Frequently used Topologies ...... 41 2.2 Homotopy ...... 42 2.3 Fibrations ...... 47 2.4 Construction of Fibrations ...... 49 2.5 CW Complexes ...... 53 2.5.1 Product of CW Complexes ...... 57 2.5.2 Frequently Used Results ...... 59
3 4 CONTENTS
3 Simplicial and coSimplicial Sets 61 3.1 Introduction ...... 61 3.2 Simplicial Sets ...... 61 3.3 Geometric Realization ...... 65 3.3.1 The CW Structure on |K| ...... 68 3.4 The Homotopy Groups of Simplicial Sets ...... 73 3.4.1 The Combinatorial Definition ...... 73 3.4.2 The Definitions of Homotopy Groups ...... 77 3.5 Frequently Used Lemmms ...... 83 3.5.1 A Lemma on Bisimplicial Sets ...... 84
4 The Quillen-K-Theory 89 4.1 The Classifying spaces of a category ...... 89 4.1.1 Properties of the Classifying Space ...... 91 4.1.2 Directed and Filtering Limit ...... 92 4.1.3 Theorem A: Sufficient condition for a functor to be homotopy equiv- alence ...... 96 4.1.4 Theorem B: The Exact Homotopy Sequence ...... 101 4.2 The K-Groups of Exact Categories ...... 110 4.2.1 Quillen’s Q-Construction ...... 110 4.2.2 The Higher K-groups of an Exact Category ...... 115 4.2.3 Higher K-Groups ...... 120 4.3 Characteristic Exact Sequences and Filtrations ...... 123 4.3.1 Additivity Theorem ...... 125 4.3.2 The Prime Examples ...... 127 4.4 Reduction by Resolution ...... 130 4.4.1 Extension closed and Resolving Subcategories ...... 132 4.5 Dévissage and Localization in Abelian Categories ...... 143 4.5.1 Semisimple Objects ...... 145 4.5.2 Quillen’s Localization Theorem ...... 146 4.6 K-Theory Spaces and Reformulations ...... 149 4.7 Negative K-Theory ...... 149 4.7.1 Spectra and Negative Homotopy Groups ...... 150 CONTENTS 5
4.8 Suspension of an Exact Category ...... 151 4.8.1 Cofinality and Idempotent Completion ...... 154 4.8.2 The K-theory Spectra ...... 156
A Not Used 157 A.0.3 Some Jargon from [H] (SKIP)...... 157 A.0.4 On SSet Realization ...... 160 A.0.5 Inclusion of Geometric Realizations ...... 160 6 CONTENTS Chapter 1
Background from Category Theory
Among the sources I used in this chapter are [HS, Sv, Wc1] and most importantly [HS]. Importance of Category Theory, as a learning tool, is underrated. To me, Category Theory is a way to learn how analogy works in mathematics, from one area to others. This is a good way to understand different areas of mathematics, just by learning one single area. First, I recall the basic definitions from [HS].
1.1 Preliminary Definitions
Definition 1.1.1. A Category C consists of the following:
1. A class of objects, denoted by Obj(C ).
2. For any two objected A, B in Obj(C ), a set of morphisms, from A to B, denoted by
Mor(A, B), more precisely by MorC (A, B).(Depending on the context, several other notations are used, for Mor(A, B). One of them is Hom(A, B). Morphisms are also called "arrows", "maps" and, other things appropriate to the specific context.)
3. To each triple A, B, C of objects, a law of composition
Mor(A, B) × Mor(B,C) −→ Mor(A, C) sending (f, g) 7→ gf.
The above data satisfy the following Axioms:
A 1 Mor(A, B) are mutually disjoint.
A 2 For composeable morphisms f, g, h, the associativity holds: h(gf) = (hg)f.
7 8 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
A 3 For each object A, teethe is a morphism 1A : A −→ A such that, for composable f, g:
1Af = f and g1A = g.
Given a category C , the following are some obvious definitions:
1. A morphism f : X −→ Y in C , is said to be an isomorphism, if there is a morphism g : Y −→ X such that fg = 1Y and gf = 1X . In this case, g would be called the inverse of f.
2. A morphism f : X −→ Y in C is called a monomorphism or injective, if for g1f = g2f =⇒ g1 = g2, for all pairs of morphisms g1, g2 : A −→ X. A morphism f : X −→ Y in C is called a epimorphism or surjective, if for fg1 = fg2 =⇒ g1 = g2, for all pairs of morphisms g1, g2 : Y −→ B.
3. An object L in C would be called an initial object, if Mor(L, X) is a singleton, for all X in Obj(C . An object R in C would be called a final object (orterminal object), if Mor(X,F ) is a singleton, for all X in Obj(C . An object 0 in C would be called zero object, if it is both initial and final object.
4. Injective objects and projective objects (will skip for now).
5. For a category C , define the opposite category C opp. Where Obj(E ) = Obj(C opp), and for two objects in C , MorC opp (A, B) = MorC (A, B).
Definition 1.1.2. A covariant functor F : C −→ D from a category C to another category D is defined by the following data:
1. To each object A ∈ C , it associates an object FA ∈ D.
2. For objects A, B, there is a set theoretic map
F : MorE (A, B) −→ MorD (F A, F B)
3. Further, F (fg) = F (f)F (g) for any two composeable morphisms f, g.
A contravariant functor F : C −→ D is a covariant functor C opp −→ D.
Definition 1.1.3. Given two covariant functors F,G : C −→ D, a natural transformation
τ : F −→ G, associates, to each object X in C , a morphism τX : F (X) −→ G(X), such that for any morphism f ∈ Mor(X,Y ) the diagram
τX F (X) / G(X)
F (f) G(f) commutes. F (Y ) / G(Y ) τY 1.1. PRELIMINARY DEFINITIONS 9
If τX is an isomorphism, for all objects X, the τ would be called a natural equivalence. Likewise, define natural transformation and natural equivalence between two contravari- ant functors.
Example 1.1.4. Let C be a category and A ∈ Obj(C ). Then
X 7→ MorC (A, X) is a covariant functor C −→ Sets. and
X 7→ MorC (X,A) is a contravariant functor C −→ Sets. They are called representable functors. These are, perhaps, the most significant examples of functors.
Some special functors:
Definition 1.1.5. Let F : C −→ D be a functor.
1. F is said to be full, if
∀ X,Y ∈ Obj(C ) the map F : MorC (X,Y ) −→ MorD (FX,FY ) is surjective.
2. F is called faithful, if
∀ X,Y ∈ Obj(C ) the map F : MorC (X,Y ) −→ MorD (FX,FY ) is injective.
3. F is called fully faithful, if
∀ X,Y ∈ Obj(C ) the map F : MorC (X,Y ) −→ MorD (FX,FY ) is bijective.
4. In particular, if F : Obj(C ) −→ Obj(D) is an "inclusion", then C is called a sub- category. So, the concept a full subcategory is to be distinguished from a non-full subcategory.
1.1.1 Classical and Standard Examples
We recall a some of the classical and Standard examples.
Examples 1.1.6. We recall a few examples and establish notations.
1. The category of sets will be denoted by Set. The objects of Set consists of the class of all sets. For two sets X,Y , a morphism f : X −→ Y is a set theoretic map. 10 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
2. The category of Topological spaces will be denoted by Top. The objects of Top con- sists of the class of all topological spaces. For two topological spaces X,Y , Mor(X,Y ) is the set of all continuous maps f : X −→ Y . Note the empty set φ is the initial object and singleton sets {x} are the terminal objects in Top. In Topology, there are two more important categories:
(a) The category of Pointed Topological spaces will be denoted by Top•. The
objects of Top• consists of the class of all pairs (X, x), where X is a topological space and x ∈ X is a point, to be called the base point. For two objects (X, x), (Y, y), Mor((X, x), (Y, y)) is the set of all continuous maps f : X −→ Y ,
with f(x) = y. Note, Top• has a zero object, namely ({x}, x) , where {x} is any singleton set. (b) The category of Topological Pairs will be denoted by Top − Pairs. The objects of Top − Pairs consists of the class of all pairs (X,U), where X is a topological space and U ⊆ X is a topological subspace. For two objects (X,U), (Y,V ), Mor((X, x), (Y, y)) is the set of all continuous maps f : X −→ Y , with f(U) ⊆ V .
We have commutative diagram of natural functors:
i Top / Top _ • 8 ι j Top − Pairs
where the vertical functor ι is a full subcategory, while i, j may be called the "forgetful functors". Note, i, j would not be full, while they are faithful.
3. The category of Groups will be denoted by Gr. The objects of Gr consists of the class of all groups. For two groups X,Y , Mor(X,Y ) is the set of all group homomorphisms f : X −→ Y .
4. The category of Abelian Groups will be denoted by Ab. The objects of Ab consists of the class of all abelian groups. For two abelian groups X,Y , Mor(X,Y ) is the set of all group homomorphisms f : X −→ Y .
5. The category of Rings, with unity and 0 6= 1 will be denoted by Ring. The objects of Ring consists of the class of all Rings, with unity and 0 6= 1. For two Rings X,Y , Mor(X,Y ) is the set of all ring homomorphisms f : X −→ Y , sending 1 7→ 1. 1.1. PRELIMINARY DEFINITIONS 11
6. The category of commutative Rings, with unity and 0 6= 1 will be denoted by cRing. The objects of cRing consists of the class of all commutative Rings, with unity and 0 6= 1. For two commutative Rings X,Y , Mor(X,Y ) is the set of all ring homomorphisms f : X −→ Y , sending 1 7→ 1.
7. The category of Schemes will be denoted by Sch. The objects of Sch consists of the
class of all Schemes. For two Schemes (X, OX ), (Y, OY ), Mor ((X, OX ), (Y, OY )) is
the set of all morphisms f :(X, OX ) −→ (Y, OY ) of schemes (see [Hr, Sec II.2]).
8. Lat A be a commutative ring.
(a) Then, QCoh(A) or Mod(A) will denote the category of all A-modules. Ob- jects of Mod(A) is the class of all A-modules. Given two A-modules M,N, a morphism f : M −→ N is an A-linear homomorphism. In particular, if A = k is a field, the Mod(k) is the category of all vectors spaces. (b) Coh(A) or fMod(A) will denote the category of all finitely generated A-modules. Objects of fMod(A) is the class of all finitely generated A-modules. Given two finitely generated A-modules M,N, a morphism f : M −→ N is an A-linear homomorphism. In particular, if A = k is a field, the fMod(k) is the category of all vectors spaces, of finite dimension. (c) P(A) will denote the category of all finitely generated projective A-modules. Objects of P(A) is the class of all finitely generated Projective A-modules. Given two finitely generated A-modules P,Q, a morphism f : P −→ Q is an A-linear homomorphism.
9. Lat (X, OX ) be a Scheme (see [Hr, Sec II.5]) .
(a) Then, QCoh(X) will denote the category of all quasi-coherent OX -modules.
Objects of QCoh(X) is the class of all Quasi-Coherent OX -modules. Given two
Quasi-Coherent OX -modules F, G, a morphism f : F −→ G is a morphism of
OX -modules.
(b) Coh(X) will denote the category of all coherent OX -modules. Objects of Coh(X)
is the class of all Coherent OX -modules. Given two Coherent OX -modules F, G,
a morphism f : F −→ G is a morphism of OX -modules.
(c) V ect(X) will denote the category of all locally free OX -modules. Objects of
V ect(X) is the class of all locally free OX -modules. Given two locally free
OX -modules F, G, a morphism f : F −→ G is a morphism of OX -modules. 12 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
Above examples of categories, lead to a number of inclusion functors. Reader would be well advised to think about them. However, we recall the following.
Example 1.1.7. Let A be a commutative ring.
∗ 1. Given a finitely generated projective A-module P , let P = HomA(P,A). Then,
P 7→ P ∗ defines a contravariant functor P(A) −→ P(A)
Given a morphism ϕ : P −→ Q, and f ∈ Q∗, ϕ∗(f) is defined by the commutative diagram f Q / A O ? ϕ ϕ∗(f) P
2. Composition of functors are functors. So, P −→ P ∗∗ is a covariant functor P(A) −→ P(A).
∗ 3. For P ∈ Obj(P(A)) and for p ∈ P , define the evaluation map evp : P −→ A, by ∗∗ evp(f) = f(p). Then, evp ∈ P . So, we have a homomorphism
ev : P −→ P ∗∗. In fact, it is and isomorphism.
∗∗ Let IDP(A) denote the identity functor. Also, let D(P ) = P denote the double
dual functor. Then, ev : IDP(A) −→ D is a natural equivalence.
1.1.2 Pullback, Pushforward, kernel and cokernel
We define pullback and push forward.
g f Definition 1.1.8. Let B / XAo be two morphisms in a category C . Consider the diagram: Z ϕ0 ζ
ϕ # Y / A γ0 γ f B g / X We say that (Y, ϕ, γ), in short Y , is pullback of f, g , if
1. the rectangle commutes, i. e fϕ = gγ, and 1.1. PRELIMINARY DEFINITIONS 13
2. Given morphisms ϕ0, γ0 such that fϕ0 = gγ0, there is a unique morphism ζ such the the outer triangles commute.
We would write P ullback(f, g) := (Y, ϕ, γ), to mean that (Y, ϕ, γ) is the pullback of (f, g).
Likewise, the pushout of morphisms f : X −→ A, g : X −→ B in the category C is given by the commutative diagram:
f X / A
g ϕ ϕ0 B γ / Y ζ
γ0 + Z
That means, we say that (Y, ϕ, γ), in short Y , is the pushout of (f, g), if
1. the rectangle commutes, i. e ϕf = γg, and
2. Given morphisms ϕ0, γ0 such that ϕ0f = γ0g, there is a unique morphism ζ such the the outer triangles commute.
We would write P ushF wd(f, g) := (Y, ϕ, γ) or P ushOut(f, g) := (Y, ϕ, γ), to mean that (Y, ϕ, γ) is the pushout of (f, g). Remarks:
1. While the definition of pullback and pushout makes sense, the existence is not guar- anteed. But, if it exists, it is uniques up to isomorphism.
2. It is easy to see that pullback and pushout exists, in the following categories: (1) Gr, (2) Ab, (3) QCoh(A), where A is a commutative ring.
Very similar and retaliated is the concept of direct product and direct coproduct (sum).
Definition 1.1.9. Let C be a category and A, B ∈ Obj(C ). Consider the diagram:
Z ϕ0 ζ
ϕ # Y / A γ0 γ B 14 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
We say that (Y, ϕ, γ), in short Y , is the direct product of A, B , if Given morphisms ϕ0, γ0 such that fϕ0 = gγ0, there is a unique morphism ζ such the the outer triangles commute.
1. Again, while definition makes sense, existence of direct product is not guaranteed. But, it it exists, it is unique up to isomorphism. In that case, the direct product is denoted by A × B.
2. If C has a terminal object 0T , then the direct product is, in deed, the pullback of the diagram A
B / 0T
Likewise, the coproduct of morphisms A, B in the category C is given by the commutative diagram: A
ϕ ϕ0 B γ / Y ζ
γ0 + Z That means, we say that (Y, ϕ, γ), in short Y , is the direct coproduct of (A, B), if Given morphisms ϕ0, γ0 such that ϕ0f = γ0g, there is a unique morphism ζ such the the outer triangles commute.
1. Again, while definition makes sense, existence of direct co-product is not guaranteed. But, it it exists, it is unique up to isomorphism. In that case, the direct co-product is denoted by A ` B.
2. Depending on the context, direct co-product is also called the "direct sum". In that case, it would be denoted by A ⊕ B.
3. If C has an initial object 0I , then the direct product is, in deed, the pushout of the diagram 0I / A
B
We define kernels. 1.1. PRELIMINARY DEFINITIONS 15
Definition 1.1.10. Suppose C is a category with a zero object 0. Given X,Y ∈ Obj(C ), there is a unique "zero element" 0XY ∈ Mor(X,Y ) given by the commutative diagram:
X / 0
3 ∀ f ∈ Mor(W, X) 0XY f = 0WY , and ∀ g ∈ Mor(Y,Z) g0XY = 0XZ . 0 XY Y
Suppose σ : X −→ Y is a morphism.
1. The Kernel of σ : X −→ Y is defined to be a morphism ι : K −→ X such that
(a) σι = 0 and
(b) Further,
∀ τ ∈ Mor(L, X) with στ = 0 ∃ a unique τ0 ∈ Mor(L, K) 3 τ = ιτ0.
(c) With my love for diagrams, the definitions is given by the diagram:
0 + L τ / X σ / Y
τ0 ∃! ι σ K / X 3/ Y 0
2. The coKernel of σ is defined to be a morphism ζ : Y −→ C such that
(a) ζσ = 0 and
(b) Further,
∀ ψ ∈ Mor(Y,Z) with ψσ = 0 ∃ a unique η ∈ Mor(C,Z) 3 ηζ = ψ
(c) With my love for diagrams, the definitions is given by the diagram:
0 X / Y +/ C σ ζ ∃! η σ ψ X / Y /3 Z 0 16 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
1.1.3 Adjoint Functors and Equivalence of Categories
We define Adjoint of a functors next.
Definition 1.1.11. Let F : C −→ D and G : D −→ C be two covariant functors. We say that F is a Left Adjoint of G and/or G is a Right Adjoint of F , if ∀ X ∈ Obj(C ),A ∈ Obj(D), there is a bijection
∼ η := ηXA : MorD (FX,A) −→ MorC (X, GA), which is natural, in the sense that, for any morphisms f : X −→ Y ∈ C and g : A −→ B ∈ D, the following two diagrams commute:
ηXA ηXA MorD (FX,A) ∼ / MorC (X, GA) MorD (FX,A) ∼ / MorC (X, GA) O O ∗ ∗ g∗ G(g)∗ F (f) f ∼ ∼ Mor (FX,B) / Mor (X, GB) Mor (FY,A) / Mor (Y, GA) D ηXB C D ηYA C In other words, the following two functors: ( (X,A) 7→ Mor (FX,A) C opp × D −→ Sets D are naturally equivalent. (X,A) 7→ MorC (X, GA)
Likewise, we define Left/Right Adjoint of contravariant functors.
Definition 1.1.12. A functor F : C −→ D would be called an equivalence of categories, if there is a functor G : D −→ C such that FG is naturally equivalent to 1D and GF is naturally equivalent to 1C (as in 1.1.3). If follows, F is an equivalence of categories if and only if the following two conditions hold:
∼ 1. (Essentially Surjective): For any object Z ∈ Obj(D) there is an isomorphism FX −→ Z , for some object X ∈ Obj(C ).
2. (Fully Faithful): For all objects X,Y ∈ Obj(C ), the map
∼ MorC (X,Y ) −→ MorD (FX,FY ) is a bijection. We will recall the following example. Example 1.1.13. Suppose A is a commutative ring. Then, there is an equivalence of categories QCoh(A) −→∼ QCoh(Spec (A))
Proof. See [Hr, Sec II.5]. Note the functor above is a contra variant functor; not covariant. 1.2. ADDITIVE AND ABELIAN CATEGORIES 17 1.2 Additive and Abelian Categories
Definition 1.2.1. A category C is called an additive category, if (1) C has a zero object 0, (2) For X,Y ∈ Obj(C ) the direct product X × Y exists, (3) For X,Y ∈ Obj(C ), the set Mor(X,Y ) has the structure of an abelian group, such that the compositions is bilinear. That means, for objects X,Y,Z in C and f ∈ Mor(X,Y ), g ∈ Mor(Y,Z) the composition maps ( g : Mor(X,Y ) −→ Mor(X,Z) h 7→ gh ∗ are group homomorphims. f ∗ : Mor(Y,Z) −→ Mor(X,Z) h 7→ hf
Definition 1.2.2. Suppose C , D are two additive categories. A functor F : C −→ D is called a functor of additive categories, if for all objects X,Y of C , the map
F : MorC (X,Y ) −→ MorD (FX,FY ) is a group homomorphism.
Proposition 1.2.3. Suppose C is an additive category. Then, for X,Y ∈ Obj(C ), the direct sum exists and X × Y = X ⊕ Y .
Proof. See [HS, Prop II.9.1, pp. 76].
Proposition 1.2.4. Suppose C is an additive category and X,Y ∈ Obj(C ). Then, for f, g ∈ Mor(X,Y ), then we have the following commutative diagram:
∆ X / X × X X ⊕ X
hf,gi f+g - Y
Proof. See [HS, Prop II.9.4, pp. 76]. We clarify, the vertical map (f, g) is, by definition, given by the diagram: 0 / X
f X / X ⊕ X
(f,g) g #, Y 18 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
Lemma 1.2.5. Suppose C is an additive category and σ : X −→ Y is a morphism. Then, a morphism ι : K −→ X defines the kernel of σ if and only if ∀ A ∈ Obj(C ) the sequence of groups
ι∗ σ∗ 0 / Mor(A, K) / Mor(A, X) / Mor(A, Y ) is exact.
Likewise, a morphism ζ : Y −→ C defines the coKernel of σ if and only if ∀ Z ∈ Obj(C ) the sequence of groups
ζ∗ σ∗ 0 / Mor(C,Z) / Mor(Y,Z) / Mor(X,Z) is exact.
1.2.1 Abelian Categories
Definition 1.2.6. Suppose C is an additive category. Further, assume every morphism σ : X −→ Y has a kernel and a coKernel. Define the image and coImage
Im(σ) := ker (coKer(σ)) coIm(σ) := coKer (ker(σ))
Then, there is a natural map, coIm(σ) −→ Im(σ).
Definition 1.2.7. (see [Sv]) Suppose A is an additive category. Then, A would be called an Abelian Category, if
1. Every morphism σ : X −→ Y has a kernel and a coKernel.
2. For all morphisms σ : X −→ Y , the canonical morphism coIm(σ) −→ Im(σ) is an isomorphism.
∼ Remark 1.2.8. For an arrow σ : X −→ Y in an abelian category A , coIm(σ) −→ Im(σ) is an isomorphism. Because of this, throughout rest of these notes, we would usually identify coIm(σ) and Im(σ), without further clarifications.
The definition in [HS, pp. 78], appears a little different:
Definition 1.2.9. (see [Sv]) Suppose A is an additive category. Then, A would be called an Abelian Category, if
1. Every morphism σ : X −→ Y has a kernel and a coKernel. 1.2. ADDITIVE AND ABELIAN CATEGORIES 19
2. Every monomorphism is the kernel of its coKernel. Every epimorphism is the coK- ernel of its kernel.
3. Every morphism is expressible as composition of an epimorphism and a monomor- phism.
Proof of Equivalence of Two Definitions, follows from the following [HS, Prop 9.6, pp. 78]:
Proposition 1.2.10. Suppose A is an abelian category and σ : X −→ Y is a morphism. Then, we have the diagram: µ = ker(σ) µ η K / X / I = co ker(σ) ν σ η = co ker(µ) =: coIm(σ) Y where ν = ker() =: Im(σ) Think I := image(σ) C σ = νη
Corollary 1.2.11. Suppose A is an abelian category.
1. A morphism σ : X −→ Y is isomorphism if and only if it is a monomorphism and an epimorphism.
2. Pullback and push forward exists.
Proof. See [HS, Cor 9.8] for the first one. Pullback exists, because it is a kernel:
X 9 _ ϕ
# P (ϕ, ψ) / X ⊕ Y / Z O ;
ψ ? % Y Example 1.2.12. Here are the main examples and comments:
1. Suppose A is a commutative ring. Then, Mod(A) = QCoh(A) and fMod(A) = Coh(A) are Abelian categories. (Perhaps, the definition of the Abelian category was modeled after these two examples.)
2. More generally, let X be a scheme. Then, QCoh(X) and Coh(X) are Abelian cate- gories. 20 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
3. We remark, for a commutative ring A, the category P(A) is not necessarily an Abelian category. P(A) will be an Exact category, which we define next.
Lemma 1.2.13. Suppose A is an abelian category and f : M −→ N be an arrow. Then, f is an isomorphism if and only if f epi and mono.
Proof. Assume f is an isomorphism and g : N −→ M be the inverse of f. So, fg = 1N and gf = 1M . Suppose fh = 0 for some arrow h : U −→ M. Then, h = 1M h = gfh = g0 = 0. Hence, f is mono. likewise f is epi. Now suppose f is both epi and mono. Since f is mono, ker(f) = 0 and likewise coKer(f) = 0. From this it follows, coIm(f) = M, Im(f) = N and the induced map is f : coIm(f) = M −→ Im(f) = N, which is an isomorphism by definition of Abelian categories. The proof is complete.
Lemma 1.2.14. Suppose A is an abelian category and f : X −→ Y is a morphism. Let ν : I,→ Y be the image of σ and ν : X I be the corresponding epi morphism. Then, there is a factorization f = µν, where µ is epi and ν is mono. This factorization is unique, up to isomorphism, in the following sense:
I o ? ? µ ν X o ι / Y f ? q p / J
Given any other factorsation f = µ0ν0, where µ0 is epi and ν0 is mono, there is an isomor- phism ι : I −→∼ J, such that the diagram commutes.
Proof. Suppose t : ker(f) ,→ X be the kernel of f. Then, pqt = ft = 0. Since p is mono, qt = 0. Since µ : X −→ I is coKernel of t, there is an arrow ι : I −→ J, such that ιµ = q. Also, (pι)µ = pq = f = νµ. Since µ is mono, pι = ν. This establishes that the diagram commutes. Now, ι is epi, because so is q and ι is mono because so is ν. By Lemma 1.2.13, ι is an isomorphism.
1.3 Exact Category
We define Exact Categories as follows (see [Sm1]). 1.3. EXACT CATEGORY 21
Definition 1.3.1. Consider additive category E , together with a family of sequence of morphisms i p X / Y / / Z to be called conflations. (1.1) We also say i p 0 / X / Y / Z / 0 is exact. (1.2) The left part X / Y of such a conflation would be called an inflation and be denoted as such. Likewise, the right part Y / / Z would be called a deflation and be deooted as such.
Such an additive category E , together with such a family of conflations (1.1), would be called an Exact Category, if the following conditions are satisfied:
1. In a conflation (1.1), the inflation i is the kernel of p and p is a coKernel of i.
2. Conflations are closed under isomorphisms.
3. inflations and deflations are closed under composition.
i 4. Any diagram ZXo / Y of morphisms, with i inflation, can be completed to a push forward diagram
i X / Y with j inflation. Z / W j
5. Likewise, any diagram X / ZYo o p of morphisms, with p deflation, can be completed to a pullback diagram
W / Y q p with q deflation. X / Z
6. For all objects X,Y ∈ Obj(C ), the following
X / X ⊕ Y / Y is a conflation.
Further, an inflation is also called an admissible monomorphism and a deflation is also called an admissible epimorphism. 22 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
Definition 1.3.2. Suppose E , B are exact categories and F : B −→ E is a functor of additive categories. We say F is an exact functor, if it sends conflations to conflations.
Definition 1.3.3. Suppose E , B are exact categories such that B ⊆ E be a full subcate- gory. We say that B is a fully exact subcategory of E , if B is closed under extensions in E , which means:
For a conflation (1.1) in E , if X,Z are isomorphic to an object in B, then so is Y .
1. This gives a structure of an exact category to B, by declaring a sequence in B exact, if it is isomorphic to an exact sequence in E .
2. Inclusion B ⊆ E preserves and detects conflations.
3. In this case, we also say that B ⊆ E is an extension closed exact subcategory.
Lemma 1.3.4. Every small exact category E can be embedded into an abelian category C , as a fully exact, extension closed subcategory.
Proof. See [Q, pp 92]
Example 1.3.5. Here is a list of example (see [Sm1, Section 2.1.2]).
1. To start with, any abelian category is an exact category. Where a sequence
ι p 0 / K / M / C / 0 (1.3)
is declared a conflations (or exact), if ker(p) = ι and co ker(ι) = p.
(a) So, for a ring R, the category R-mod, of all (left) R-modules is abelian (hence an exact) category, where conflations are defined as above (1.3). (b) For a commutative ring A, QCoh(A) = Mod(A) and Coh(A) = fMod(A) are abelian categories, where conflations are defined as above (1.3).
(c) For a scheme X, the category OX -Mod (resp. QCoh(X)) of OX -modules (resp.
quasi-coherent) OX -modules, is an abelian (hence an exact) category, where conflations are defined as above (1.3).
(d) For a noetherian scheme X, the category Coh(X) of coherent OX -modules is an abelian (hence an exact) category, where conflations are defined as above (1.3). 1.4. LOCALIZATION AND QUOTIENT CATEGORIES 23
2. For a noetherian scheme X, the category V ect(X) of locally free sheaves form an exact category. If fact, V ect(X) is an exact subcategory of Coh(A).
In particular, for a commutative noetherian ring A, the category P(A) of finitely generated projective A-modules form an exact category.
3. Suppose E is an exact category. Let Ch(E ) be the category, whose objects are chain complexes:
• • di (A , d ): ··· / Ai−1 / Ai / Ai+1 / ··· 3 dd = 0.
Depending on the authors, subscripts are also use as follows:
di (A•, d•): ··· / Ai+1 / Ai / Ai−1 / ··· 3 dd = 0.
Morphisms in Ch(E ) are chain complex maps, given by commutative diagrams:
di ··· / Ai−1 / Ai / Ai+1 / ··· • • • • • f :(A , d ) −→ (B , ∂ ): f i ··· / Bi−1 / Bi / Bi+1 / ··· ∂i
A sequence
(A•, d•) / (B•, d•) / (C•, d•)
is declared exact, if
∀ i ∈ Z Ai / Bi / Ci is exact.
Then, Ch(E ) is an exact category. Its full subcategory Chb(E ) of bounded chain complexes is also an exact subcategory. A complex (A•, d•) ∈ Chb(E ), if Ai = 0 ∀ i 0, i 0
1.4 Localization and Quotient Categories
The notes of Schlichting [Sm1] seems most helpful for this section. Inverting multiplicative subsets S of a commutative rings A, is routinely covered in commutative algebra classes. However, this process extends to inversion of a class of morphisms in a category, as follows. 24 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
Definition 1.4.1. Suppose C is a category and S be a class of morphisms in C .(One can think of S as a subcategory, while we intend to invert all the morphisms in S.) The localization of C with respect to S, is a functor ι : C −→ S−1C , where S−1C is a category, with the following universal property.
Given any functor F : C −→ D, such that F (f) is an isomorphism in D,
ι C / S−1C −1 ∃ a unique functor ϕ : S C −→ D 3 ϕ commute. F " D
As usual, existence on localization S−1C is not guaranteed, while if it exists, it is unique up to a unique equivalence.
We work toward giving a sufficient condition for existence.
Definition 1.4.2. Suppose C is a category and S be a class of morphisms in C . We say that S satisfies a "calculus of right fractions" if the following three conditions hold:
1. The class S is closed under composition. The identity 1X is in S, for all X ∈ Obj(C ).
2. The first diagram below, can be completed to the second commutative diagram:
t X W / X
f with s ∈ S, g f with t ∈ S (1.4) Y Z s / Y s / Z
3. Suppose f, g : X −→ Y be two morphisms in C and s : Y −→ Z, in S, such that sf = sg. Then, there is a morphism t : W −→ X in S such that ft = gt.
If dual of these three conditions hold, then S is said to satisfy a "calculus of left fractions". If S satisfies both the conditions, then we say that S satisfies "calculus of fractions".
We remark that, barring set theoretic issues, S−1C exists, whenever S satisfies calculus of left or right fractions. We give the following version.
Lemma 1.4.3. Suppose C is a category and S is class of morphisms in C . Assume codomains of morphisms in S has a set of isomorphism classes. Then, the localization category S−1C exists. 1.4. LOCALIZATION AND QUOTIENT CATEGORIES 25
Proof. We assume S satisfies calculus or right fractions. The objects of S−1C would be the same as those of C . To define morphisms, for two objects X,Y , in view of Equation 1.4, let
P air(X,Y ) = {(s, f) ∈ MorC (U, X) × MorC (U, Y ): Z ∈ Obj(C ), s ∈ S} Under the hypothesis, we can treat P air(X,Y ) as a set, by restricting U to a set of represen- tatives of isomorphism classes of objects. Refer to the elements (s, f) ∈ P air(X,Y ), by the s f s f t g diagrams XUo / Y . Two such diagrams XUo / Y , XVo / Y in P air(X,Y ), are said to be equivalent, if U O s f t t : W −→ U ~ ∃ either t or s ∈ S 3 XW Y commute. s : W −→ V ` > s t g V One checks that this is an equivalence relation on P air(X,Y ). Let fs−1 denote the equiv- s f alence class of the diagram XUo / Y and let −1 MorS−1C (X,Y ) := {fs :(s, f) ∈ P air(X,Y )}.
−1 −1 s f Let fs ∈ MorS−1C (X,Y ) and gt ∈ MorS−1C (Y,Z) be give by the diagrams XUo / Y , t g YVo / Z . To define compositions, by the conditions of calculus of right fractions, we complete the following commutative diagram: ϕ g W / V / Z τ t with τ ∈ S. Define (gt−1)(fs−1) := (gϕ)(sτ)−1. XUo / Y s f Again, one checks that this composition is well defined. Further, it is clear that the functor ι : C −→ S−1C satisfies the universal property. The proof is complete.
The quotient of additive categories by a subcategory is defined likewise, as follows.
Definition 1.4.4. Suppose A is an abelian category and B ⊆ A is an abelian subcategory. The quotient of by , is an abelian category A , together with an exact functor ι : −→ A B B A A such that ι(X) = 0 for all X ∈ Obj( ), with the following universal property: B B Given any exact functor F : A −→ D, where D is an abelian category, such that F (X) = 0, for all objects in B,
ι C / A A B ∃ a unique additive functor ϕ : −→ D 3 ϕ commute. B F D 26 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
If it the quotient A exists, then it is unique up to a unique equivalence However, existence B on localization is not guaranteed. Subsequently, we give a sufficient condition for existence of the quotient.
Definition 1.4.5. Let A be an abelian category. A full subcategory B ⊆ A is said to be a Serre Subcategory, if for any conflation
K / M / / C in A K, C Obj(B) ⇐⇒ M ∈ Obj(B) (up to isomorphisms).
That means, if and only if B is closed under subobjects, quotient objects and extensions. A Serre subcategory is an abelian subcategory.
Lemma 1.4.6. Let A be an abelian category (small) and B ⊆ A be a Serre subcategory. Then, the quotient category A exists. B
Proof. Suppose S be the set of morphisms f in A , such that ker(f), co ker(f) ∈ B. Then, S is satisfies the calculus of fractions:
1. Let f : X −→ Y , g : Y −→ Z be in S. We show that gf ∈ S. We have ker(f) ker(gf) / / ker(g) ∩ Im(f) is a conflation.
Since ker(g) ∈ Obj(B), ker(g) ∩ Im(f) ∈ Obj(B). Also, since ker(f) ∈ Obj(B), ker(gf) ∈ Obj(B). By reversing the arrows, co ker(gf) ∈ Obj(B). So, S is closed under composition. 2. Now, we check the second condition of calculus of right fractions (Equation 1.4). Let Y / ZXo f s be arrows in B with s ∈ S. Consider the pull back diagram
g X ×Z Y / X
t s Y / Z f
By Lemma 1.5.1, ker(t) = ker(s) ∈ Obj(B). Now, extend the pullback diagram, to conflesions: g X×Z Y 0 / ker(f) / X / co ker(g) / 0
t s s 0 / Y / Z / co ker(f) / 0 ker(f) f where t is induced by t, co ker(t) = co ker(t), and s is induced by s. 1.4. LOCALIZATION AND QUOTIENT CATEGORIES 27
Now, from Snake Lemma 1.5.4,
ker(s) / ker(s) / co ker(t) / co ker(s) is exact.
Since ker(s), co ker(s) are in B, it follows that co ker(t) is in B. So, t ∈ S. So, the second condition, for right fractions, is satisfied by S. By reversing the arrows, it follows that the corresponding condition of left fractions is satisfied.
3. To check that third condition, let f, g : M −→ N be two maps in A and s : N −→ W be a map is S, such that sf = sg. With F = f − g, we have sF = 0. It follows, there is an arrow F0 : M −→ ker(s0 such that F = F0ι, as in the diagram u ker(s) ker(F ) / M ×N ker(s) / ker(s) ; 8 F0 ι ζ ι F0 M / N This lead to ker(F ) / M / N F t F s s 0 0 # W ' W Claim t is in S. Clearly, ker(t) = 0 ∈ B. Now, co ker(t) = Im(F ) ⊆ ker(s) ∈ B. Hence, co ker(t) is in B. So, t ∈ S. Dual of this property is checked by reversing the arrows.
This establishes that S satisfies the calculus of fractions. Hence S−1A exists. Now, one checks, that S−1 =: A satisfies the required universal property. A B
1.4.1 Quotient of Exact Categories
More generally, following [Sm2], we define quotient of exact categories.
Definition 1.4.7. Suppose E is an exact category and P ⊆ E be an extension closed full subcategory. An exact category Q, together with an exact functor ι : E −→ Q, would be called a quotient of E by P, if ι satisfies the following conditions:
1. ι(P ) ' 0 for all P ∈ Obj(P).
2. The functor ι is universal, in the following sense: Suppose D is an exact category ζ : E −→ D is an exact functor, such that ζ(P ) ' 0 ∀ P ∈ Obj(P). Then, ι E / Q ∃ Unique functor ϕ : Q −→ D ϕ commute. ζ D 28 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
Remarks:
1. The existence of such a quotient Q is not guaranteed. However, when it exists, it is unique up to isomorphism (functorial equivalence). In that case, we denote := E . Q P
2. Readers may compare this definition with [Sm2, 1.14, 1.16].
3. It follows form the proof of Lemma 1.4.6, for a Serre subcategory of an abelian category , the quotient A exists. A B
4. Following Schlichting [Sm2], we give a sufficient condition for existence of such a quotient, as follows. This would be of some interest to us in Section 4.7.
Lemma 1.4.8. Suppose E is a small exact category and P ⊆ E be an extension closed full subcategory. A morphism f : M −→ N in E would be called a weak isomorphism, if f = fnfn−1 ··· f1 is a finite composition of morphisms fi : Mi−1 −→ Mi is E , for i = 1, . . . , n, with M0 = M and Mn = N, such that
1. either fi is a deflation, with ker(fi) ∈ Obj(P),
2. or either fi is an inflation, with co ker(fi) ∈ Obj(P).
Let Σ denote the class of all weak isomorphisms. Further assume that Σ satisfies the calculus of left or right fractions. Then, E exists. Namely, the functor ι : −→ Σ−1 P E E satisfy the universal property of the the quotient E . P
Proof. By Lemma 1.4.3, Σ−1E exists. A sequence in Σ−1E is declared a conflasion, if it is isomorphic to a conflation in E . This makes Σ−1E an exact category. Now let ζ : E −→ D be an exact functor, such that ζ(P ) ' 0 for all P ∈ Obj(P). If f ∈ Σ, then it follows that ζ(f) is an isomorphism. Hence, it follows that there is a unique functor ϕ :Σ−1E −→ D such that ϕι = ζ. It is also clear that ϕ is exact. The proof is complete.
Remark 1.4.9. Schlichting [Sm2] gives a sufficient condition, for the class Σ in (1.4.8) satisfies calculus of left or right fractions.
1.5 Frequently Used Lemmas
In this section, we list a frequently used Lemmas in K-Theory. 1.5. FREQUENTLY USED LEMMAS 29
1.5.1 Pullback and Pushforward Lemmas
Following two lemmas on pullback and push forward lemmas are used frequently in K- Theory. The following two frequently used lemmas in K-Theorey.
v h Lemma 1.5.1. Suppose C is a category with zero. Let X / ZYo be two arrow in C . Let p1 P / X
p2 v be the pullback. Y / Z h
1. Suppose (K, η) = ker(p2). Then, (K, p1η) = ker(v).
2. Let ι : K −→ X be the kernel of v. Then there is an induced arrow η : K −→ P , given by the commutative diagram: K η ι
p1 # P / X 0
p2 v Y / Z h
Then, (K, η) = ker(p2). It is expressed better by the diagram:
K _ K _ η ι
p1 P / X
p2 v Y / Z h
One can write down the same, in terms of the kernels of the horizontal maps p1 and h.
Proof. See [HS, II Theorem 6.2]. Reversing the arrows, we have the following.
h v Lemma 1.5.2. Suppose C is a category with zero. Let XZo / Y be two arrow in C . Let h Z / X
v i1 be the pushout. Y / A i2 30 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
1. Suppose j : A −→ C be the coKernel of i2. Then, ji1 : X −→ C is the coKernel of h.
2. Suppose ζ : X −→ D be the cockerel of h. Then, the following commutative diagram defines a map β : A −→ C: h Z / X
v i1 ζ Y / A i2
β 0 + C
Then, (C, β) is the coKernel of i2. Same is better expressed by the diagram
h ζ Z / X / C
v i1 Y / A / C i2 β
Proof. Reverse the arrow in the proof of (1.5.1).
1.5.2 The Snake Lemma
A key ingredients to K-Theory, is a classical result in Homological Algebra that is known as the Snake Lemma. Before we state and prove Snake Lemma, we prove the following elementary lemma.
Lemma 1.5.3. Suppose A is an abelian category. Consider the following diagram of arrows:
f g K / M / C 3 fg = 0.
Let t : ker(g) ,→ M be the kernel of g and s : Im(f) ,→ M corresponds to the monomor- phism, corresponding to Im(f). Then, there is a unique arrow ι : Im(f) −→ ker(g) such that the diagram s Im(f) / M
ι commute. ker(g) / M t In fact, ι is a mono. 1.5. FREQUENTLY USED LEMMAS 31
Proof. Since, t is mono, ι would also be mono, if it exists. Consider the diagram
f g , K u / / Im(f) s / M / C
v t g K / ker(g) / M /1 C f
Since gsu = gf = 0 and u is epi, gs = 0. now, from definitions of kernel s, there is a morphism ι : Im(f) ,→ ker(g), as required.
Most elementary version of Snake Lemma is stated for Modules over a ring. The following is one of the most general versions.
Lemma 1.5.4. Suppose A is an abelian category. Consider the commutative diagram
i j K / M / L / 0 f g h in A , 0 / A / B / C ι ζ where the rows are exact in A . Then, there is a natural exact sequence
δ ker(f) / ker(g) / ker(h) / coKer(f) / coKer(g) / coKer(h) , where the maps between the kernels, and between the coKernels are induced by the respective morphisms i, j, ι, ζ. The morphism δ is defined in the proof.
Proof. This proof is improvisation to some literature available in the net (due to Julia Goedecke). We extend the above diagram and name the morphisms:
ik jk ker(f) / ker(g) / ker(h) _ _ _ fk gk hk i j K / M / L / 0
f g h 0 / A / B / C ι ζ
fc gc hc coKer(f) / coKer(g) / coKer(h) ιc ζc
Construction of δ: Let (P, u, v) := P ullback(j, hk) and (Q, ϕ, η) := P ushF orward(ιc, fc), 32 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY which we display in the following diagram:
i0 v ker(j) / P _ / / ker( h) : : _ i0 u hk i0 i1 j K / / ker(j) /2 M / L / 0 i g h ζ # 0 / A / B / / coKer(ι) /, C ι ζ0
fc ϕ coKer(f) / Q / / coKer(ι) η θ
By properties of Exact categories (in this case Abelian Categories) or by Lemmas 1.5.1, 1.5.2, η, u are injective and v, ϕ are surjective Also, by (1.5.1) and (1.5.2), we have ker(j) ∼= ker(v) =: i0 and coKer(η) = coKer(ι). We have
0 0 1. ϕgui i0 = ϕgi = ϕιf = ηfcf = η0 = 0. Since i0 is surjective, ϕgui = 0. Since i0 = ker(v), there is a map
v P / ker(h)
ϕgu α : ker(h) −→ Q 3 α commute. Q |
2. Likewise (dually), θ(ϕgu) = ζ0gu = hju = hhkv = 0v = 0. Since η = ker(θ), there is an arrow P β β : P −→ coKer(f) 3 ϕgu commute. z coKer(f) η / Q
3. Hence αv = ϕgu = ηβ. This implies θ(αv) = θ(ηβ) = 0. Since η = ker(θ), there is an arrow P γ γ : P −→ coKer(f) 3 αv z coKer(f) η / Q
4. Now, ηγi0 = αvi0 = 0. Since η is injective, γi0 = 0. Therefore,
v P / ker(h) γ δ ∃ δ : ker(h) −→ coKer(f) 3 αv commute. Ñ u coKer(f) η / Q 1.5. FREQUENTLY USED LEMMAS 33
This completes the definition of the desired arrow δ. Now, we proceed to prove exactness.
1. Exactness at ker(g): By Lemma 1.5.3, there is an monomorphism Θ: Im(ik) −→ ker(jk), such that sι = t, where s : ker(jk)) ,→ ker(g) is the kernel of jk, and t : Im(ik) ,→ ker(g) is the monomorphism, corresponding to the image of ik. To define the morphism in the opposite direction, consider the commutative diagram and label the morphisms:
ik jk - ker(f) / ker(jk) /- ker(g) ker(h) _ w s _ _
fk τ gk hk ϕ η K / / ker(j) /2 M 3 L i j In this diagram the morphism τ is defined by the property of kernel ker(j), because jgks = jkgks = 0. Now let (U, λ, µ) := P ullBack(τ, ϕ). Consider the diagram:
λ s U / / ker(jk) / ker(g) _ µ τ gk ϕ η K / / ker(j) /2 M i Note λ is epi. We have
ϕµ = τλ =⇒ iµ = ηϕµ = ητλ = gksλ =⇒ giµ = 0 =⇒ ιfµ = 0 =⇒ fµ = 0,
because ι is mono. By property of kernel fk, we have
µ f U / K / A
ψ
fk f ker(f) / K / A
So, gkikψ = ifkψ = iµ = gksλ =⇒ ikψ = sλ. Diagramatically,
µ s U / / ker(jk) / ker(g)
ψ u t ker(f) / / Im(ik) /1 ker(g) ik By Lemma 1.2.14, µ = Im(sµ). Let = ker(sµ), as an arrow. Then, tuψ = 0 and hence uψ = 0. So, there is an arrow Ψ, as in the commutative diagram:
µ s U / / ker(jk) / ker(g) ψ Ψ Inparticular tΨ = s u t ker(f) / / Im(ik) /1 ker(g) ik 34 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
Since sΘ = t and s, t are mono, it follows ΦΘ = 1 and ΘΨ = 1. This completes the proof of exactness at ker(g).
2. Exactness at ker(h): We have the following commutative diagram:
ker(g) jk w
" v & P / ker(h) gk
u hk K / M / L i j f g h A / B / C ι ζ
First, we want to prove δjk = 0. Since η is monic, we will prove ηδjk = 0, or ηδvw = 0. However, ηδvw = ηγw = αvw = ϕguw = ϕggk = 0. Therefore by Lemma 1.5.3, there is an arrow Ψ: Im(jk) ,→ ker(δ) such that tΨ = s, where t : ker(δ) ,→ ker(h) is the kernel of δ and s : Im(jk) ,→ ker(h) is the monomorphism, corresponding to Im(jk). Same is displayed in the commutative diagram:
s Im(jk) / ker(h)
Ψ ker(δ) / ker(h) t
Now we proceed to define the inverse of Ψ. Consider the diagram
ik jk λ ker(f) / ker(g) / ker(h) / / coKer(jk) _ _ _ _ fk gk hk µ K / M / L / / F i j ν 3
p where (F, µ, ν) := P ushF orw(λ, hk) coKer(gk)
o Image(g)
If follows, µ is mono and ν is epi. It follows νjgk = 0. So, νj factors through 1.5. FREQUENTLY USED LEMMAS 35
coKer(gk). We further extend the above diagram:
ik jk λ ker(f) / ker(g) / ker(h) / / coKer(jk) _ fk gk hk µ K / M / L / / F i j ν 3 _
p f coKerg (gk) ξ _ q ψ A ι / B 2/ G f c ω coKer(f)
where (G, ξ, ψ) := pushF W D(p, q) = pushF W D(νj, g). Since q is mono, so is ξ. By the similar argument above, ψι factors through coKer(f). Now, we have the pushforward diagram, which defines an arrow τ.
ι A / B
fc ϕ ψ coKer(f) η / Q
τ ω , G Now,
ωδv = τηδv = τηγ = ταv = τϕgu = ψgu = ξνju = ξνhkv = ξµλv Since v is epi, ωδ = ξµλ. In summary,
λ ker(h) / / coKer(jk) _ µ δ F _ ξ coKer(f) ω / G With t = ker(δ), we decompose:
δ t ker(δ) / ker(h) / / coIM(δ) /. coKer(f)
Ω ω ker(h) / / coKer(j ) / F / G λ k µ ξ 36 CHAPTER 1. BACKGROUND FROM CATEGORY THEORY
We have ξµλt = ωδt = 0. So, λt = 0. Since coIm(δ) = coKer(t), there is a unique morphism Ω, making the first rectangle commutative. Again, since λt = 0, by property of kernel s, we have the commutative diagram, for some arrow Θ:
δ t . ker(δ) / ker(h) e / / coIM(δ) m / coKer(f)
Θ Ω ω Im(j ) / ker(h) / / coKer(j ) / F / G k s λ k µ ξ
So, we have sΘ = t. Since tΨ = s, and s, t are mono, we have ΘΨ = Id and ΨΘ = Id. This establishes the exactness at ker(h).
3. Exactness at coKer(f): This follows from the dual argument of the proof of exact- ness at ker(h).
4. Exactness at coKer(g): This follows from the dual argument of the proof of exact- ness at ker(g).
The proof is complete.
1.5.3 Limits and coLimits
To be Inserted. Chapter 2
Homotopy Theory
Much of the materials in this chapter would be available in standard textbooks on Topology. However, some of the not-so-standard materials were taken from [H].
2.1 Elements of Topological Spaces
We shall begin this chapter with the definition of topological spaces. The basic definitions included in this section are omnipresent in the literature and the net. First and foremost, Topology is study of continuous functions. First, we define Topological spaces.
Definition 2.1.1. Suppose X is a nonempty set. A topology on X is a collection U of subsets of X, to be called open sets of X, such that
1. the empty set φ and X are open. That is φ, X ∈ U.
2. Union (finite or infinite) of open sets is open. That is if {Ui : i ∈ I} ⊆ U, then S i∈I Ui ∈ U.
n 3. Finite intersection of open sets is open. That is, if U1,U2,...,Un ∈ U , then ∩i=1Ui ∈ U.
When the set T is understood, we may just say X is a topological space.
Now, assume (X, U) is topological space. Here are few more definitions:
1. A subset C ⊆ X is called a closed set, if its complement Cc := X \ C is open. Therefore,
37 38 CHAPTER 2. HOMOTOPY THEORY
(a) Intersection (finite or infinite) of closed sets is closed. (b) Finite union of closed sets is closed.
2. Let x ∈ X be a point. A subset U is called a neighborhood of x, if there is an open subset V , such that x ∈ V ⊆ U. If U itself is open, we say U is an open neighborhood of x.
3. A set of open sets B ⊆ U is called a basis of X, if given any open neighborhood x ∈ U, of a point x, there is a an open set V ∈ B, such that x ∈ V ⊆ U.
So, given any open set U, we have U = ∪i∈I Vi, where Vi ∈ B for all i ∈ I.
4. Given a subset A ⊆ X, then \ A := {C : A ⊆ C and C is closed}
is called the closure of A. So, A is the smallest closed set containing A.
5. A subset D ⊆ X is called dense in X, if D ∩ U 6= φ, for all nonempty open sets U. It follows, D is a dense subset of X, if and only if the closure D = X.
Definition 2.1.2. Suppose (X, U) and (Y, V) and two topological spaces. A set theoretic map f : X −→ Y is called a continuous function, if f −1(V ) ∈ U, for all V ∈ V.
1. If follows, the collection of all topological spaces, form a category (see Examples 1.1.6). For topological spaces (X, U), (Y, V), Mor((X, U), (Y, V)) is defined to be the set of all continuous functions. This category was denoted by Top.
2. A continuous function f :(X, U) −→ (Y, V) is called homeomorphism, if f : X −→ Y is bijective and f −1 : Y −→ X is continuous. So, homeomorphism f are the "isomorphisms" in the category Top.
Examples 2.1.3. Here are some examples of topological spaces.
1. (Trivial Topology) Let X be a set and U = {φ, X}. Then, (X, U) is a topological space. This is called the trivial topology on X and also the Indiscrete topology. In this case, given any topological space (Y, V), any set theoretic function f : Y −→ X is continuous.
2. (Discrete Topology) Let X be a set and P(X) be the power set of X, (i. e. P(X) is the set of all subsets of X). Then, (X, P(X)) is topological space, to be called the discrete topology on X. We have the following comments: 2.1. ELEMENTS OF TOPOLOGICAL SPACES 39
(a) In the discrete topology on X, all subsets of X are open (and also closed). (b) B = {{x} : x ∈ X} be the set of all singleton subsets of X. Then, B is base for this topology. (c) Suppose (Y, V) is topological space and f : X −→ Y is any set theoretic function. Then, f :(X, P(X)) −→ (Y, V) is continuous.
3. (Induced Topology) Suppose (X, U) is a topological space and Y ⊆ X is a subset. Let V = {Y ∩ U : U ∈ U}. Then, (Y, V) is a topological space.
4. (Usual Topology on Rn) For our purpose, the most important topology is the n n usual topology on R . For any x0 ∈ R and r > 0, define the open ball, of radius r, as n B(x0, r) = {x ∈ R :k x − x0 k< r}
A subset U ⊆ Rn is defined to be open, in usual topology, if U is union of open balls (possibly infinite union). Let U be the collection of all such open sets, Then (Rn, U) is a topological space.
(a) Suppose X ⊆ Rn be a subset. Then, the usual topology on Rn induces a topology on X (as in (3)). We continue to call it the usual topology on X. The concept of continuity, taught in undergraduate classes, coincides with the continuity defined by Definition 2.1.2.
(b) Usual topology on Cn is defined in the same way. (c)( Exercise) Prove that the set Q of rational numbers is a dense subset of R.
5. Examples from Algebra:
(a)( Affine Schemes) Suppose A is a commutative ring. Let Spec (A) be the set of all prime ideals of A. For any ideal I ⊂ A, let V (I) = {℘ ∈ Spec (A): I ⊆ ℘}. The Zariski Topology on Spec (A) is defined to be the one, where closed sets are V (I), where I runs through all the ideals of A. i. So, an open sets in Zariski Topology on Spec (A) are Spec (A)\V (I), where I is an ideal. ii. For f ∈ A, define D(f) = {℘ ∈ Spec (A): f ∈ ℘}. Then, B = {D(f): f∈ / A} forms a basis for this topology. 40 CHAPTER 2. HOMOTOPY THEORY
(b)( Projective Schemes) Suppose S = S0⊕S1⊕S2⊕· · · be a graded commutative
ring. Let S+ = S1 ⊕ S2 ⊕ · · · , to be called the irrelevant ideal. Let
Proj (S) = {℘ ∈ Spec (S): ℘ is homogeneous prime ideal,S+ 6⊆ ℘}
For any homogeneous ideal I ⊂ S, let V (I) = {℘ ∈ Proj (S): I ⊆ ℘}. The Zariski Topology on Proj (S) is defined to be the one, where closed sets are V (I), where I runs through all the homogeneous ideals of A. i. So, an open sets in Zariski Topology on Proj (S) are Proj (S) \ V (I), where I is a homogeneous ideal.
ii. For a homogeneous elemtn f ∈ Sn, define D(f) = {℘ ∈ Proj (S): f ∈ ℘}. Then, B = {D(f): f∈ / A} forms a basis for this topology. (We caution that, as "schemes" Spec (A) and Proj (S) would have more struc- tures, than what we gage above (see [Hr]))
The following are two fundamental concepts in topology.
Definition 2.1.4. Suppose X is a topological space. We say that is Hausdorff space, if any two distinct points x, y ∈ X, x 6= y, there are two open neighborhoods x ∈ Ux and y ∈ Uy such that Ux ∩ Uy = φ.
Clearly, Rn is a Hausdorff space. Definition 2.1.5. Suppose X is a topological space. An open cover of X is a collection S of open sets {Ui : i ∈ I}, such that X = i∈I Ui.
1. X is said to be compact, if every open cover {Ui : i ∈ I} of X has a finite sub cover. Sn This means, there are i1, . . . , in ∈, such that X = j=1 Uij .
2. A subset Y ⊆ X is called the compact subset of X, if Y , with its induced topology, is a compact topological space.
We have two important exercise.
Exercise 2.1.6. Suppose X is a Hausdorff space and K ⊆ X is a compact subset. Then, K is closed. (This fails, if X is not Hausforff.)
Proof. We prove that Y := X \ K is open. Fix y ∈ Y . Then, ∀ x ∈ K, there are open sets Ux,Vx such that x ∈ Ux, y ∈ Vx and Ux ∩ Vx = φ. Since {Ux ∩ K : x ∈ K} is an open cover of K, and K is compact K ⊆ Ux1 ∪ · · · ∪ Uxn for finitely many x1, . . . xn ∈ K. Write
V = Vx1 ∩ · · · ∩ Vxn . Then, V is open, y ∈ V and K ∩ V = φ. So, y ∈ V ⊆ Y . Therefore, Y is open. 2.1. ELEMENTS OF TOPOLOGICAL SPACES 41
Exercise 2.1.7. Suppose K ⊆ Rn is a subset. Then, K is compact if and only if K is closed and bounded.
Proof. Usually taught in the undergraduate Analysis courses and above.
2.1.1 Frequently used Topologies
We already defined Hausdorff Spaces and Compact spaces. Following is a list of a few more that we may encounter in these notes.
Definition 2.1.8. Suppose X is a topological space.
1. The Topological space X is called is called locally compact, if X is Hausdorff and if every point x ∈ X has a compact neighborhood.
2. The Topological space X is called a Compactly generated space, if X is Hausdorff and if a subset A ⊆ X is closed ⇐⇒ A ∩ C is closed for every compact subset C of X (see [W, pp. 18]). (The definition in [H, Def. 2.4.21] seems to differ a little. Perhaps, the goal in [H] was provide better functorial sense (see [H, Prop. 2.4.22].)
Following construction is useful, for our purpose.
Construction 2.1.9. Suppose X is Hausdorff space. We construct a new topology, de- noted by k(X), as follows: (1) Underlying set in k(X) is X, i.e. it is a topology on X. (2) A subset A ⊆ X is is closed in k(X) ⇐⇒ A ∩ C is closed for every compact subset C of X. We have the following observations:
1. k(X) ,→ X is continuous. So, closed sets in X are closed in k(X).
2. k(X) is compactly generates.
3. Let K denote the category of compactly generated spaces. Then, there is an inclusion functor K ,→ Top. Further,
X 7→ k(X) defines as functor Hausdorff −→ K .
where Hausdorff denotes the category of Hausdorff spaces. (Compare with [H, Prop. 2.4.22].) 42 CHAPTER 2. HOMOTOPY THEORY
Given two topological spaces, X,Y , we would have to work with the function spaces MorTop(X,Y ). Following, is how MorTop(X,Y ) topologized.
Definition 2.1.10. Let X,Y be two topological spaces. Then, MorTop(X,Y ) may be called a function space. We define two topologies on MorTop(X,Y ).
1. First, we define the Compact-Open Topology. For any two subsets A, B ⊆ X, let
C(A, B) = {f ∈ MorTop(X,Y ): f(A) ⊆ B}.
B = {C(K,U): K is compact subset and U is open subset of X}.
The Compact-Open Topology on MorTop(X,Y ) is the topology generated by B.
Unless stated otherwise, MorTop(X,Y ) together with Compact-Open Topology will
be devoted by MorTop(X,Y ).
(a) That means, Compact-Open Topology on MorTop(X,Y ) is the smallest topol-
ogy on MorTop(X,Y ), containing B. One can see an open set in this topology is union of finite intersection of members of B.
(b) Let x0 ∈ X. The the evaluation map evx0 : MorTop(X,Y ) −→ Y is continuous. −1 Because, for an open set U of Y , evx0 (U) = C({x0},U). (c) The following Lemma is about Hausdorff property: Lemma 2.1.11. If X,Y is Hausdorff, then the Compact-Open Topology on
MorTop(X,Y ) is also Hausdorff.
Proof. Let f, g ∈ MorTop(X,Y ) and f 6= y. So, there is x0 ∈ X such that y1 :=
f(x0) 6= g(x0) =: y2. Since Y is Hausdorff, there are open neighborhood y1 ∈ V1
and y2 ∈ V2 such that V1 ∩ V2 = φ. It follows C({x0},V1) ∩ C({x0},V2) = φ and
f ∈ C({x0},V1), g ∈ C({x0},V2). The proof is complete.
2. For topological spaces X,Y , F(X,Y ) would denote the compactly generated topo-
logical space k (MorTop(X,Y )).
2.2 Homotopy
The set of all real numbers would be denoted by R. Denote, the unit sphere and the unit disc/Ball, as follows
n n+1 n n S = x ∈ R :k x k= 1 , D = {x ∈ R :k x k≤ 1} . 2.2. HOMOTOPY 43
For n = 0, we let D0 = {0} and S−1 = φ. Also, write I := [0, 1], for the unit interval. So, n−1 n n n ∼ n we have inclusions S ⊆ D ⊆ R . Note D = I are homeomorphic. Definition 2.2.1. We give variety of definitions and notations, related to homotopy.
1. Let X,Y be topological spaces and f, g : X −→ Y be two continuous maps. We say f is homotopic to g, if ( H(x, 0) = f(x) ∃ a continuous map H : X × I −→ Y 3 ∀ x ∈ X (2.1) H(x, 1) = g(x). Homotopy is an equivalence relation. We define the Homotopy Category H omoTop of topological spaces, as follows:
(a) The objects of H omoTop are the topological spaces. (b) For topological spaces X,Y , and continuous maps f : X −→ Y , let f denote the homotopy equivalence class of f. The set of moronism in H omoTop is given by
MorH omoTop(X,Y ) := Mor(X,Y ) := {f : f : X −→ Y is a continuous map}
2. Now we consider Homotopy of maps in the category Top•. Assume X,Y are pointed
spaces, with base points x0 ∈ X and y0 ∈ Y . Assume f, g : X −→ Y preserve
base points. (In other words, f, g :(X, x0) −→ (Y, y0) are two maps in the category
Top•.) Then, we say that f is homotopic to g, if H(x, 0) = f(x) x ∈ X ∃ continuous map H : X × I −→ Y 3 H(x, 1) = g(x) x ∈ X (2.2) H(x0, t) = y0 t ∈ I We say that H is a base point preserving homotopy. This homotopy of base point preserving maps is also an equivalence relation. Define the Homotopy Category
H omoTop• of pointed topological spaces, in the same way as H omoTop.
3. Now we consider Homotopy in th category TopPairs, of topological pairs (X,X0).
Recall, a map f :(X,X0) −→ (Y,Y0) in TopPairs is a continuous map f : X −→ Y
such that f(X0) ⊆ Y0.
Given two maps f, g :(X,X0) −→ (Y,Y0) of topological pairs, f is defined to homo- topic to g, if H(x, 0) = f(x) x ∈ X ∃ continuous map H : X × I −→ Y 3 H(x, 1) = g(x) x ∈ X (2.3) H(x, t) ∈ Y0 x ∈ X0, t ∈ I 44 CHAPTER 2. HOMOTOPY THEORY
In this case also, homotopy of topological pairs is an equivalence relation. Define the Homotopy Category H omoTopPair of topological pairs, in the same way as H omoTop. As for the original categories, we have a commutative diagram of functors: ¯i H omoT op• / H omoT op 6 ¯ι ¯j H omoT opP air Here the vertical functor represents a full subcategory.
n n 4. Fix a base point ∗ ∈ S , say ∗ = (1, 0,..., 0) ∈ S . Given a pointed space (X, x0), n πn(X, x0) would denote the set of all equivalences classes of maps (S , ∗) −→ (X, x0). That means,
( n πn(X, x0) := MorH omoTop• ((S , ∗), (X, x0)) is the representable functor, n from H omoT op• −→ Set corresponding to the object (S , ∗). (2.4)
th This set πn(X, x0) is referred to as the n -homotopy set (at x0). This study of these
sets πn(X, x0) constitutes the Classical Homotopy Theory.
Remark. The interpretation (2.4), of πn, as a representable functor, provides a clue, n that one can replace (S , ∗), by any sequence (Tn, ∗) of pointed spaces, and develop n a theory considering the sets τn(X, x0) := MorH omoTop• ((T , ∗), (X, x0)), parallel to the Classical Homotopy Theory.
(a) So, π0(X, x0) is the set of all path connected components of X.
(b) Note, π1(X, x0) is called the Fundamental Group of X.
(c) For fixed n, the association (X, x0) 7→ πn(X, x0) can also be considered as
covariant functor from Top• −→ Set, and we have a commutative diagram of funtors: Top• πn
& omoT op / Set H • πn More explicitly, given continuous maps
ϕ :(X, x0) −→ (Y, y0) denote πn(ϕ): πn(X, x0) −→ πn(Y, y0) 2.2. HOMOTOPY 45
(d) Subsequently, we explain that, for n ≥ 1, there are group structures on πn(X, x0).
In fact, the group structure on πn(X, x0) would be abelian groups, for n ≥ 2.
n n n n n 5. Let ∂I ⊆ I denote the boundary of I . Consider the maps (I , ∂I ) −→ (X, x0) of pairs of topological spaces and homotopy.
(a) If follows:
Lemma 2.2.2. The set πn(X, x0) is in bijection with the set of equivalence n n classes of maps (I , ∂I ) −→ (X, x0) of pairs of topological spaces. In other words, there is a bijection
∼ n n πn(X, x0) −→ MorHomoT opP air ((I , ∂I ), (X, x0)) .
n In Outline of the Proof. First, consider the quotient map λ : I ∂In . Let n In ∗ = [∂I ] ∈ ∂In be the base point. Then, n ∼ In i. There is a homeomorphism θ :(S , ∗) −→ ∂In , ∗ . ii. There is a bijection
( n ∼ Mor I , ∗ , (X, x ) −→ Mor ((In, ∂In), (X, x )) Top• ∂In 0 TopPair 0 sending f 7→ fλ
n iii. A continuous map f :(S , ∗) −→ (X, x0) in Top•, gives rise to a map −1 n n fθ λ :(I , ∂I ) −→ (X, x0). This defines a bijection
n n n HomTop• ((S , ∗), (X, x0)) −→ HomTopPair ((I , ∂I ), (X, x0))
So, we established something stronger. one further check that this bijection respects homotopy.
(b) Using this description, it follows that, for n ≥ 1, the set πn(X, x0) has a group structure, which is abelian if n ≥ 2. n n For f, g :(I , ∂I ) −→ (X, x0) the product is given by the class of ( f(2t , t , . . . , t ) 0 ≤ t ≤ 1 (fg):(In, ∂In) −→ (X, x ) 3 (fg)(t , . . . , t ) = 1 2 n 1 2 0 1 n 1 g(2t1 − 1, t2, . . . , tn) 2 ≤ t1 ≤ 1
One checks, that this induces a well defined product on πn(X, x0), for n ≥ 1. (c) Obviously, the constant map is the identity, which needs a proof, as well. 46 CHAPTER 2. HOMOTOPY THEORY
(d) For n ≥ 2, the groups πn(X, x0) is abelian. This also needs proof, that used the second coordinate.
6. Suppose ϕ, ψ :(X, x0) −→ (Y, y0) are homotopic, in the sense of (2.2), then
πn(ϕ) = πn(ψ): πn(X, x0) −→ πn(Y, y0) ∀ n ≥ 0.
Proof. This is reinterpretation of the fact (2.4), that
n πn(X, x0) := MorH omoTop• ((S , ∗), (X, x0)) is the representable functor.
∼ 7. Suppose X is a path connected space and x0, x1 ∈ X. Then, πn(X, x0) −→ πn(X, x1). To establish this, in two steps:
(a) As always, I = [01]. Let γ : I −→ X be a path, with γ(0) = x0 and γ(1) = x1. n n Also, let f :(I , ∂I ) −→ (X, x0) is a map in TopPair. Define
n n µ : I −→ [0, 1] by µ(t) = max{| ti − .5 |}, where t = (t1, . . . , tn) ∈ I .
1 n Note µ(t) ≤ 2 ∀ i ∈ I . Now define ( f(2t − .5) if µ(t) ≤ 1 f ∗ γ :(In, ∂In) −→ (X, x ) by f ∗ γ(t) = 4 1 1 1 γ(4µ(t) − 1) if 4 ≤ µ(t) ≤ 2
n n Note, f ∗ γ :(I , ∂I ) −→ (X, x1) is a map in TopPair. One checks, if f, g are homotopic in TopPair, then f ∗ γ is homotopic to .f ∗ γ. This establishes that γ induces a map
Ψγ : π0(X, x0) −→ π(X, x1).
In fact, Ψγ is a homomorphism, for n ≥ 1.
(b) In fact, Ψγ is a bijection (or isomorphism for n ≥ 1). 0 0 Let γ (t) = γ(1 − t). Then γ is a path from x1 to x0. One checks that Ψγ and
Ψγ0 are inverse of other.
8. Now, suppose f, g : X −→ Y are homotopic, in Top only, by a homotopy H : X × I −→ Y . Then,
For, x0 ∈ X α(t) = H(x0, t): I −→ Y, is the trajectory of x0 y0 := f(x0) 7→ y1 = g(x0).
Then, conjugation by α defines an isomorphism
hα : πn(Y, f(x0)) −→ πn(Y, g(x0)) 2.3. FIBRATIONS 47
It follows, that the diagram
πn(f) πn(X, x0) / πn(Y, y0)
o hα commute. π (g) n & πn(Y, y1)
2.3 Fibrations
I recovered three definitions of Fibrations [H, S, W]. However, they are about homotopy lifting property. We first recall the one from [H].
Definition 2.3.1 (See [H]). Let J denote the set of inclusions Dn ,→ Dn × I sending x 7→ (x, 0). A map f : X −→ Y is called a fibration, if f has right lifting property, with respect to J, in the sense of the diagram, n / X In / X D _ ; _ ; ϕ ϕ f Equivalently, f Dn × I / Y In × I / Y meaning, given the outer commutative diagram of continuous maps, there is a continuous map ϕ, making all the triangles commute. Such fibrations are often known as weak fibrations (or Serre fibration). (While we give two more definitions from [S, W], by default "fibration", would mean a weak fibration.)
Corollary 2.3.2. The constant map X −→ {x0} is trivially a fibration. This fact is stated as, every topological space X is fibrant.
Proof. Suppose F0 : D −→ X. Define ϕ : D × I −→ X, by ϕ(x, t) = F0(x). So, the diagram n / X D _ : ϕ f commute. n D × I / {x0} We recall two more definitions, from Spanier [S] and Whitehead [W]. Definition 2.3.3. Let p : E −→ B be a continuous map.
1. (See Spanier [S, pp. 66]): We say p is a topological fibration, if p has homotopy lifting property, with respective to every space X:
X / E _ ; i0 p , which is called homotopy lifting property. X × I / B F 48 CHAPTER 2. HOMOTOPY THEORY
A topological fibration is also called a Hurewicz fibration.
2. (See [W, pp. 29]): Under the same notations, as above, p is called a fibration, which we may call White fibration, the homotopy lifting property holds for X in the category K of Compactly generated topological space (see [H, pp. 18]).
3. Therefore,
f is topological fibration =⇒ f is White fibration =⇒ f is Weak fibration.
The following [H, Lemma 2.4.16] is of our primary interest.
−1 Lemma 2.3.4. Suppose p : X −→ Y is a weak fibration, and x0 ∈ X. Let F = p (p(x0)) and y0 = p(x0). Let ι : F,→ X denote the inclusion map. Then, there is a long exact sequence ι∗ p∗ ··· / πn+1(F, x0) / πn+1(X, x0) / πn+1(Y, y0)
∂n+1 ι∗ p∗ / πn(F, x0) / πn(X, x0) / πn(Y, y0)
/ ········· (2.5)
/ π1(F, x0) / π1(X, x0) / π1(Y, y0)
/ π0(F, x0) / π0(X, x0) / π0(Y, y0)
Here ∂n is group homomorphism, ∀ n ≥ 2. For n = 0,
1. π0(X, x0) is to be understood to be a pointed set, where the path component of x0 is the base point.
2. By kernel, we mean the inverse image of the base point.
3. By exactness, we mean that the image is same as the kernel.
Proof. See [S, Theorem 7.2.10] for a detailed proof. While the maps ι∗ and p∗ are the ob- vious functorial maps, we define the connecting homomorphism ∂ = ∂n+1 : πn+1(Y, y0) −→ n+1 n+1 πn(F, x0). Let α = [γ] ∈ πn+1(Y, y0), represented by a map γ :(I , ∂I ) −→ (Y, y0). n Let γ0 : I × 0 −→ X be the constant map x0. Then, we have the commutative diagram:
γ0 In × 0 / X ; p g n I × I γ / Y 2.4. CONSTRUCTION OF FIBRATIONS 49 where g is obtained by homotopy/left lifting property of the fibration p. It follows, n n+1 n n pg(∂I ) ⊆ γ(∂I ) = {y0}. Therefore g(∂I ) ⊆ F . Define g1 : I −→ F by g1(t) = g(t, 1). n n n Then, g1(∂I ) = x0. Therefore, g1 :(I , ∂I ) −→ (F, x0). Define ∂(α) = [g1] ∈ πn(F, x0). One checks that ∂ is well defined and the exactness.
2.4 Construction of Fibrations
This section is some excerpts from [W, Secton I.7]. Not surprisingly, we have some interest in the long exact sequence (2.5), while it does not appear to be easy to detect whether a continuous map p : X −→ Y is a fibration or not. Given a continuous map p : X −→ Y , we would replace it by a fibration X −→ Y where X is homotopic to X .
1. As usual I = [0, 1].
2. For a space Y , let P(Y ) := P(I,Y ) := F(I,Y ) be the space of all paths in Y . See (2.1.10) for topology on the function space F(I,Y ).
3. Suppose p : X −→ B be a continuous map.
4. Let Ip = {(x, u) ∈ X × P(B): p(x) = u(0)} . So, Ip ⊆ X × P(Y ). More explicitly, Ip is the set pairs (x, γ) where x ∈ X and γ is part in Y , starting at p(x).
The following are some results from [W, Secton I.7].
Theorem 2.4.1. For any two spaces , X,Y the projections X × Y −→ X is a (White) fibration.
Corollary 2.4.2. The following are (White) fibration.
p : P(X) −→ X × X p(u) = (u(0), u(1)) p0 : P(X) −→ X p0(u) = u(0) p1 : P(X) −→ X p1(u) = u(1)
Theorem 2.4.3. Composition of (White) fibration is a (White) fibration.
Theorem 2.4.4 (Hurewicz). Let p : X −→ B be continuous and B is paracompact. Then, −1 p is a (White) fibration if there is a an open cover B = ∪iVi such that p Vi −→ Vi are fibrations. 50 CHAPTER 2. HOMOTOPY THEORY
Theorem 2.4.5. Let p : X −→ B be a fibration (any kind) and f : B0 −→ B be continuous. Then, the pullback p0 : X0 −→ B0 is a fibration:
X0 / X
p0 B0 / B f In particular, for A ⊆ B, the map p−1A −→ A is a fibration.
Proof. Easy, diagram chase. Corollary 2.4.6. Let f : X −→ Y be a map. Then, If −→ X is a (white) fibration.
Proof. The following f 0 If / P(Y )
0 p0 p0 is a pullback. X / Y f 0 Since p0 is a fibration, so is p0. The proof is complete.
We define a few functions: For y ∈ Y ey : I −→ Y the constant map y ε : Y −→ P(Y ) ε(y) = ey p0 : P(Y ) −→ Y p0(γ) = γ(0) p1 : P(Y ) −→ Y p(γ) = γ(1) 0 f 0 f : I −→ P(Y ) f (x, γ) = γ 0 f 0 p0 : I −→ X p0(x, γ) = x f λ : X −→ I λ(x) = (x, εf) f 0 p : I −→ Y p = p1f
Following are helpful commutative diagrams:
f X / Y
ε So, εf(x) = ef(x). εf " P(Y )
X εf λ f 0 If / P(Y ) f 0 $ If / P(Y ) 1 p0 p1 p 0 p p0 0 XY" X / Y f Note, the map f : X −→ Y does not fit in the bottom of the last diagram. 2.4. CONSTRUCTION OF FIBRATIONS 51
Theorem 2.4.7. With the notations as above, we have
0 f 1. The map p = p1f : I −→ Y is a (White) fibration.
2. First„ ( 0 0 p0λ = 1X , λp0 ' 1If 0 pλ = f, fp0 ' p
0 3. So, importantly, p0 and λ are homotopy equivalences.
4. Explicitly,
0 p((x, γ)) = p1f (x, γ) = p1(γ) = γ(1) the other end of γ.
0 Proof. See [W, Thereom 7.30]. First, we prove that p = p1f is a (white) fibration. Consider the commutative diagram:
g Z × 0 / If _ p f Write g(z, 0) = (g1(z), g2(z)(s)) ∈ I ⊆ X × P(Y ) with s ∈ I. Z × I / Y H
Since the path g2(z)(s)) starts at f(g1(z)) and because of the commutativity, we have
g2(z)(0) = f(g1(z)) g2(z)(1) = H(z, 0)
For (z, t) ∈ Z × I, define a path g2(z)(s) if t = 0 γ(z, t): I −→ Y γ(z, t)(s) = g2(z)(s/t) if t 6= 0, s ≤ t (s−t)t H z, 1−t if 0 < t < s
Then, γ(z, t) is a path from g2(z)(0) = f(gi(z)). Also, γ(z, t)(1) = H(z, t). Now, define
f G : Z × I −→ I G(z, t) = (g1(z), γ(z, t))
So, H lifts to a homotopy G. This establishes that f 0 is a (white) fibration. (It looks correct. But γ(z, t) looks like a loop: γ(z, t)(0) = γ(z, t)(1)) The equalities in (2) are obvious. The last equivalence follows from third and second: 0 0 0 pλ = f =⇒ pλp0 = fp0 =⇒ p ' fp0. 0 0 So, we need to prove λp0 ' 1X . Note λp0(x, γ) = (x, eγ(0)). Now, F (−, 0) = λp0 With F ((x, γ(s)), t) = (x, γ(st)) 0 F (−, 1) = 1
This completes the proof of (2). Now, (3) follows from (2). 52 CHAPTER 2. HOMOTOPY THEORY
Corollary 2.4.8. Suppose ∗ := y0 ∈ Y is the base point. Then, fiber
f −1 T := p (∗) = {(x, γ) ∈ X × P(Y ): γ(1) = ∗ = y0, f(x) = γ(0)}
f So, (x, γ) ∈ T , if γ is a path from f(x) 7→ y0.
Following is the summary:
Corollary 2.4.9. Let f : X −→ Y be a continuous map. Then, we have the diagram
p Tf / If / Y
0 p0 o commute up to homotopy X / Y f and p is a White Fibration and hence a weak fibration. The fiber of p is Tf So, up to homotopy, f fits in a Homotopy Fibration, which is the top line. It follows from Lemma 2.3.4, there is a long exact sequence
f ··· / πn(T , x0) / πn(X, x0) / πn(Y, y0)
∂n f / πn−1(T , x0) / πn−1(X, x0) / πn−1(Y, y0)
/ ········· (2.6)
f / π1(T , x0) / π1(X, x0) / π1(Y, y0)
f / π0(T , x0) / π0(X, x0) / π0(Y, y0)
Notation 2.4.10. For a map f : X −→ Y and y0 ∈ Y , Quillen [Q], uses the notation f F (f, y0) := T , as described above (2.4.8). We would possibly, use Quillen’s notations subsequently.
The Loop Space
Definition 2.4.11. With X = ∗ the singleton and f : X −→ Y , with f(∗) = y0, in Corollary 2.4.9, we write
f ΩY := T to be called the loop space of Y at y0. 2.5. CW COMPLEXES 53
The loop space ΩY is to be considered as a pointed space, with constant path y0 to be the base point. It follows form the long exact sequence (2.4.9) that
πi (ΩY, ∗) = πi+1 (Y, y0) ∀ i ≥ 0
2.5 CW Complexes
An very important category, associated to Top, is the category of CW complexes. Quillen’s work [Q] is heavily dependent on the topology of CW complexes. This material is available in any standard source, and among them is the book of Hatcher [Ha]. Before we give a definition of CW complexes, we give some definitions. As before (see Section 2.2), Dn ⊆ Rn will denote the unit disc, ∂Dn := Sn−1 ⊆ Dn will denote the unit sphere, which is the boundary of Dn.
Definition 2.5.1. Let (X,A) be a topological pair and f : X −→ Y be a continuous map. ` Define the topological space X f Y by the push forward diagram A / X
f ιX in Top. Y / X ` Y ιY f ` ` So, X f Y is constructed, set theoretically, from the disjoint union X Y by identifying ` a ∼ f(a) ∀ ∈ A. The topology of X f Y , is the largest one that makes ιX and ιY ` continuous. We say that X f Y is obtained from Y , by attaching X, along A, via f. Of our particular interest would be the case, when (X,A) = (Dn, Sn−1), which encap- sulates the concept of "attaching cells".
Definition 2.5.2. Let n ≥ 0 and Un = {x ∈ Dn :k x k< 1}, denote the interior of Dn. Suppose X is a topological space. An n-cell of X is a subspace U ⊆ X, which is homeomorphic of Un. A cell in X is an n-cell, for some n ≥ 0. An n-cell U would, sometimes, be denoted by U n, with the superscript, indicating the dimension. We also write dim(U) = n, for an n-cell U.
A CW complex is defined as follow.
Definition 2.5.3. A CW complex is a topological space X, together with a sequence of subspaces X0 ⊆ X1 ⊆ · · · ⊆ Xn · · · ⊆ X, such that, the following conditions hold:
∞ n 1. X = ∪i=0X . 54 CHAPTER 2. HOMOTOPY THEORY
2. X0 has discrete topology.
n n−1 n 3. Inductively, X is obtained from X , by attaching n-cells eα, via maps ϕα : Sn−1 −→ Xn−1. This means, there is an indexing set In and a family of contin- n−1 n−1 n uous maps {ϕα : S −→ X : α ∈ I }, ` `n n−1 ϕα n−1 S / X α∈I _ n−1 n−1 n {ϕα : S −→ X : α ∈ I } 3 is a push forward in Top. `n n n α∈I D / X By definition (2.5.1), the topology on Xn is determined by this diagram.
4. A subset A ⊆ X is open (or closed) if and only if A ∩ Xn is open (or closed) in Xn, for all n ≥ 0. (This condition is redundant, if X = Xn for some n.)
Following are comments and Information:
1. The above definition was taken from the book of Hatcher [Ha]. As is pointed out in [Ha], a variant of this definition in available in [W]. Many other definitions averrable in the literature, assumes that X is Hausdorff.
2. We have,
n a m a m X = eα ,X = eα are disjoint union. α∈Im,m≤n α∈Im,m≥0 The subspace Xn is called the n-skeleton of X.
n 3. For α ∈ I , the map ϕα extends as follows:
n−1 α n−1 S _ / X
n ` n n D / β∈In D / X _
Φα * X
n n ∼ The map Φα is called the characteristic map of eα. The restriction (Φα)|Un : U −→ n eα is a homeomorphism.
−1 4. It follows, a subset A ⊆ X is is open (or closed) if and only if Φα (A) is s open (or n S∞ n closed) in D , ∀ α ∈ n=0 I . To prove this, given a subset A ⊆ X, one needs to check, A ∩ Xn is open (or closed), which is done by induction. 2.5. CW COMPLEXES 55
n0 n 5. For each n0 ≥ 0, X is closed in X. To see this, first note that, for any α ∈ I , −1 n−1 n−1 n n Φα (X ) = S , is closed in D . Therefore, Xn−1 ,→ Xn is closed in X , which follows from pushout topology on Xn. Therefor Xn0 ∩ Xn is closed in Xn, for all n.
6. Important Remark: More formally, one should say that, for given a topological space X, a CW structure on X is given by the above process. Such a process provides n−1 n−1 n the above information, including the families {ϕα : S −→ X : α ∈ I , n ≥ 0}. Alternately, a CW structure on X can be given by
n (a) A family E := {eα ⊆ X : α ∈ I , n ≥ 0} of cells on X such that
a m n a m X = eα and, let X := eα are disjoint union. α∈Im,m≥0 α∈Im,m≤n
n n n ∼ (b) For α ∈ I , a Characteristic maps Φα : D −→ X, such that (Φα)|Un : U −→ eα n−1 n−1 is a homeomorphism and Φα(S ) ⊆ X .
The push forward condition (3) would be a consequence of the above two condi- tions. Further, some authors like say (X, E ) is a CW complex and E is called a cell decomposition of X. So, a topological space can have more than one CW structures.
We define sub complexes of CW complexes.
Definition 2.5.4. Suppose X is a CW complex, with cell decomposition E := {eα ⊆ X : α ∈ In, n ≥ 0}. A closed subset Y ⊆ X is called a sub complex of X, if Y is union of a n n n subfamily of cells {aα : α ∈ J , n ≥ 0}, where J ⊆ I .
The following is a key lemma on CW complex.
Lemma 2.5.5. Suppose X is CW complex. Let Y ⊆ X be a compact subset. Then, Y is contained in a finite sub complex of X.
Proof. First, it is shown that Y can only meet finitely many cells in X. Inductively, for i = 1, 2,..., we can choose x ∈ eni ∩ Y , where α 6= α ∀ i 6= j. Let Z = {x , x ..., }. We i αi i j 1 2 claim that Z is closed. Inductively, assume Z ∩ Xn−1 is closed. It would suffice to show n −1 n n ∀ α ∈ I , Φα (X ∩ Z) is closed in D . Now,
−1 n −1 n−1 −1 n Φα (X ∩ Z) = Φα (X ∩ Z) ∪ Φα (eα ∩ Z)
By induction, the first one is a closed set in Sn−1 and the second one is a singleton or null. This establishes that Z is a closed set, and hence compact. Same argument shows that 56 CHAPTER 2. HOMOTOPY THEORY any subset of Z is closed. Hence, Z is a discrete compact set. Therefore, Z is a finite set. This is a contradiction. Therefore, Y meets only finitely many cells of X. In other words, Y is contained in finitely many cells. So, it is shown that Finite union of cells is is contained in a finite sub n complex. So, it is enough to show, each eα is contained in a finite sub complex. 0 0 0 0 Clearly, the zero cells eα ⊆ X is closed in X . Since X0 is closed in X, {eα} is closed in X. So, zero cells are contained in a finite sub complex. Now, use induction. n n n−1 n Consider the characteristic map Φα : D −→ X. Then, Φα(D ) = ϕα(S ) ∪ eα. Now, ϕ ( n−1) ⊆ Xn−1. Therefore ϕ ( n−1) ⊆ ∪ ∪m eni , with n ≤ n − 1. So, by induction, α S α S i=1 αi i n−1 n−1 n ϕα(S ) ⊆ A, where A ⊆ X is a finite sub complex. Now, it is checked that A ∪ eα is n n−1 n−1 −1 n n m closed, because (A∪eα)∩X is closed in X and Φα (A∪eα) = D . For β ∈ ∪m≤nI , n−1 n−1 −1 n −1 n α 6= β, Φβ(S ) ⊆ X . Therefore, Φβ (A ∪ eα) = Φβ (A), which is closed, in X and hence in X. Therefore, A ∪ eα is a sub complex. The proof is complete. We proceed to prove that CW complexes are Hausdorff.
Lemma 2.5.6. Suppose X is a CW complex and x0 ∈ X. Then, {x0} is closed.
n n−1 n−1 n Proof. Suppose x0 ∈ X \ X . Then, {x0} ∩ X = φ, and x0 ∈ eα, for some unique n n n α ∈ I . Now, it follows from push out topology on X that {x0} is closed in X and hence in X. The following is an useful construction of open sets.
Construction 2.5.7. Suppose X is a CW complex, as above.
1. Let U ⊆ Xn0 be an open subset, in Xn0 . Then, there are open sets N(U) ⊂ X (not unique) such that N(U) ∩ Xn0 = U. The proof below would provide more explicit construction of such open sets.
2. Let U, V ⊆ Xn0 be open subsets, in Xn0 , with U ∩ V = φ. Then, there are open sets N(U),N(V ) ⊂ X such that N(U)∩Xn0 = U, N(V )∩Xn0 = V and N(U)∩N(V ) = φ.
n n n Proof. First, we give a easy version. For n ≥ n0, define N (U). Suppose, N (U) ⊆ X one in Xn has been defined. For α ∈ In+1 define