Homotopical Algebra Yuri Berest, Sasha Patotski Fall 2015 These are lecture notes of a graduate course MATH 7400 currently taught by Yuri Berest at Cornell University. The notes are taken by Sasha Patotski; the updates will appear every week. If you are reading the notes, please send us corrections; your questions and comments are also very much welcome. Emails: [email protected] and [email protected]. ii Contents 1 Homotopy theory of categories 1 1 Basics of simplicial sets . .1 1.1 Definitions . .1 1.2 Motivation . .3 1.3 Examples of (co-)simplicial sets . .5 1.4 Remarks on basepoints and reduced simplicial sets . .7 1.5 The nerve of a category . .8 1.6 Examples of nerves . .9 1.7 One example: the nerve of a groupoid . 11 2 Geometric realization . 12 2.1 General remarks on spaces . 12 2.2 Definition of geometric realization . 14 2.3 Two generalizations of geometric realization . 16 2.4 Kan extensions . 17 2.5 Comma categories . 20 2.6 Kan extensions using comma categories . 22 3 Homotopy theory of categories . 24 3.1 The classifying space of a small category . 24 3.2 Homotopy-theoretic properties of the classifying spaces . 26 3.3 Connected components . 28 3.4 Coverings of categories . 28 3.5 Explicit presentations of fundamental groups of categories . 30 3.6 Homology of small categories . 31 3.7 Quillen's Theorem A . 34 3.8 Fibred and cofibred functors . 37 3.9 Quillen's Theorem B . 39 2 Algebraic K-theory 41 1 Introduction and overview . 41 2 Classical K-theory . 42 2.1 The group K0(A)............................. 42 2.2 The group K1(A)............................. 42 iii 2.3 The group K2(A)............................. 43 2.4 Universal central extensions . 44 3 Higher K-theory via \plus"-construction . 46 3.1 Acyclic spaces and maps . 46 3.2 Plus construction . 50 3.3 Higher K-groups via plus construction . 50 3.4 Milnor K-theory of fields . 54 3.5 Loday product . 56 3.6 Bloch groups . 57 3.7 Homology of Lie groups \made discrete" . 58 3.8 Relation to polylogarithms, and some conjectures . 62 4 Higher K-theory via Q-construction . 63 4.1 Exact categories . 63 4.2 K-group of an exact category . 64 4.3 Q-construction . 66 4.4 Some remarks on the Q-construction . 66 4.5 The K0-group via Q-construction . 67 4.6 Higher K-theory . 69 4.7 Elementary properties . 70 4.8 Quillen{Gersten Theorem . 71 5 The \plus = Q" Theorem . 72 5.1 The category S−1S ............................ 73 5.2 K-groups of a symmetric monoidal groupoid . 74 5.3 Some facts about H-spaces . 75 5.4 Actions on categories . 77 5.5 Application to \plus"-construction . 80 5.6 Proving the \plus=Q" theorem . 83 6 Algebraic K-theory of finite fields . 89 6.1 Basics of topological K-theory . 90 6.2 λ-structures and Adams operations . 91 6.3 Witt vectors and special λ-rings . 93 6.4 Adams operations . 95 6.5 Higher topological K-theory and Bott periodicity . 96 6.6 Quillen Theorem for Finite fields . 97 6.7 λ-operations in Higher K-theory . 98 7 Final remarks on Algebraic K-theory . 104 7.1 Historic remarks on algebraic and topological K-theory . 104 7.2 Remarks on delooping . 106 iv 3 Introduction to model categories 109 1 Model categories . 109 1.1 Axioms . 109 1.2 Examples of model categories . 111 1.3 Natural constructions . 112 2 Formal consequences of axioms . 114 2.1 Lifting properties . 114 2.2 Homotopy equivalence relations . 116 2.3 Whitehead Theorem . 121 3 Homotopy category . 122 3.1 Definition of a homotopy category . 123 3.2 Homotopy category as a localization . 124 3.3 Derived functors . 126 3.4 Quillen's Adjunction Theorem . 127 3.5 Quillen's Equivalence Theorem . 129 3.6 About proofs of of Quillen's Adjunction and Equivalence Theorems . 130 3.7 Example: representation functor . 132 A Topological and geometric background 135 1 Connections on principal bundles . 135 2 Coverings of spaces . 137 3 Homotopy fibration sequences and homotopy fibers . 140 v vi Chapter 1 Homotopy theory of categories 1 Basics of simplicial sets 1.1 Definitions Definition 1.1.1. The simplicial category ∆ is a category having the finite totally ordered sets [n] := f0; 1; : : : ; ng, n 2 N, as objects, and order-preserving functions as morphisms (i.e. the functions f :[n] ! [m] such that i 6 j ) f(i) 6 f(j)). Definition 1.1.2. A simplicial set is a contravariant functor from ∆ to the category of sets Sets. Morphism of simplicial sets is just a natural transformation of functors. Notation 1.1.3. We denote the category Fun(∆op; Sets) of simplicial sets by sSets. Definition 1.1.4. Dually, we define cosimplicial sets as covariant functors ∆ ! Sets. We denote the category of cosimplicial sets by cSets. There are two distinguished classes of morphisms in ∆: i d :[n − 1] ,! [n](n > 1; 0 6 i 6 n) j s :[n + 1] [n](n > 0; 0 6 j 6 n) called the face maps and degeneracy maps respectively. Informally, di skips the value i in its image and sj doubles the value j. More precisely, they are defined by ( ( k if k < i k if k j di(k) = sj(k) = 6 k + 1 if k > i k − 1 if k > j Theorem 1.1.5. Every morphism f 2 Hom∆ ([n]; [m]) can be decomposed in a unique way as f = di1 di2 ··· dir sj1 ··· sjs where m = n − s + r and i1 < ··· < ir and j1 < ··· < js. 1 The proof of this theorem is a little technical, but a few examples make it clear what is going on. For the proof, see for example Lemma 2.2 in [GZ67]. Example 1.1.6. Let f : [3] ! [1] be f0; 1 7! 0; 2; 3 7! 1g. One can easily check that f = s0 ◦ s2. Corollary 1.1.7. For any f 2 Hom∆([n]; [m]), there is a unique factorization s d f :[n] / / [k] / [m] where s is surjective and d injective. Corollary 1.1.8. The category ∆ can be presented by fdig and fsjg as generators with the following relations: djdi = didj−1 i < j j i i j+1 s s = s s i 6 j (1.1) 8 disj−1 if i < j <> sjdi = id if i = j or i = j + 1 :>di−1sj if i > j + 1 Corollary 1.1.9. Giving a simplicial set X∗ = fXngn>0 is equivalent to giving a family of sets fXng equipped with morphisms di : Xn ! Xn−1 and si : Xn ! Xn+1 satisfying didj = dj−1di i < j sisj = sj+1si i 6 j (1.2) 8 s d if i < j <> j−1 i disj = id if i = j or i = j + 1 > :sjdi−1 if i > j + 1 i i The relation between (1.1) and (1.2) is given by di = X(d ) and si = X(s ). Remark 1.1.10. It is convenient (at least morally) to think of simplicial sets as a graded right \module" over the category ∆, and of cosimplicial set as a graded left \module". A standard way to write X 2 Ob(sSets) is o o / X0 / X1 o X2 ::: o o / with solid arrows denoting the maps di and dashed arrows denoting the maps sj. Definition 1.1.11. For a simplicial set X∗ the elements of Xn := X[n] 2 Sets are called n-simplices. 2 Definition 1.1.12. For a simplicial set X∗, an n-simplex x 2 Xn is called degenerate if x 2 Im(sj : Xn−1 ! Xn) for some j. The set of degenerate n-simplices is given by n−1 [ fdegenerate n-simplicesg = sj(Xn−1) ⊆ Xn (1.3) j=0 An alternative way to describe degenerate simplices is provided by the following Lemma 1.1.13. The set of degenerate n-simplices in X∗ is given by [ X(f)(Xk) = colim X(f)(Xk): (1.4) f :[n][k] f :[n][k] f6=id Proof. Exercise. Remark 1.1.14. Although formula (1.3) looks simpler, formula (1.4) has advantage over (1.3) as it can be used to define degeneracies in simplicial objects of an arbitrary category C (at least, when the latter has small colimits). Definition 1.1.15. If X = fXng is a simplicial set, and Yn ⊆ Xn is a family of subsets, 8n > 0, then we call Y = fYng a simplicial subset of X if • Y forms a simplicial set, • the inclusion Y,! X is a morphism of simplicial sets. The definition of simplicial (and cosimplicial) sets can be easily generalized to simplicial and cosimplicial objects in any category. Definition 1.1.16. For any category C we define a simplicial object in C as a functor ∆op ! C. The simplicial objects in any category C form a category, which we will denote by sC. Definition 1.1.17. Dually, we define a cosimplicial object in C as a (covariant) functor ∆ ! C. The category Fun(∆; C) of cosimplicial objects in C will be denoted by cC. 1.2 Motivation In this section we provide some motivation for the definition of simplicial sets, which might seem rather counter-intuitive. We will discuss various examples later in section 1.3 which will hopefully help to develop some intuition. Definition 1.2.1. The n-dimensional geometric simplex is the topological space ( n ) n n+1 X ∆ = (x0; : : : ; xn) 2 R : xi = 1; xi > 0 i=0 3 Thus ∆0 is a point, ∆1 is an interval, ∆2 is an equilateral triangle, ∆3 is a filled n n tetrahedron, etc.