arxiv: v1 [math.at] 1 Aug 2016

Transcription

1 Kan Complees, Homotop and Cohomolog 1 KAN COMPLEXES, HOMOTOPY AND COHOMOLOGY b JAN STEINEBRUNNER ABSTRACT This article shows several new methods for proofs on Kan complees while using them to give a compact introduction to the homotop groups of these complees Then more advanced objects are studied starting with homolog and the Hurewicz homomorphism Eilenberg- Mac Lane-spaces are constructed eplicitl and can then be used to define spectral cohomolog In the end the equivalence to the usual simplicial cohomolog is shown arxiv: v1 [mathat] 1 Aug 2016 CONTENTS 1 Basic constructions 2 2 The Kan Propert 3 3 Connections to Topolog 6 4 Homotop 7 5 Homotop Groups 10 6 Applications : The eact sequence of a pair and minimal complees 13 7 Simplicial (Co-)Homolog 14 8 The Hurewicz Homomorphism 17 9 Eilenberg-Mac Lane-Spaces Spectral Cohomolog 21 MOTIVATION Kan complees are combinatorial objects similar to simplicial complees with an additional propert making it possible to define a notion of homotop, homotop groups and man other common constructions in topolog The theor of Kan complees requires almost no previous knowledge Yet, most of the literature on this topic is aimed at advanced mathematicians, who are alread familiar with algebraic topolog This article will make the theor accessible to non-eperts and undergraduate students The main obstacle, however, is that man of the fundamental proofs are indeed elementar, though often, due to an involved combinatorial structure, quite confusing Thus we will give several methods for simplifing and structuring such arguments In the first part the will be used to give a compact and basic introduction into combinatorial homotop groups The second part deals with (co)homolog and applies the techniques to give elementar proofs for known statements such as Hurewicz s theorem or the equivalence of spectral and simplicial cohomolog in the categor of simplicial sets After giving all basic definitions in section 1, we define ccles and fillings These geometrical concepts help to make arguments more intuitive In section 3 we will get a short insight in how to identif Kan complees with topological spaces 1 ) Then a 1 ) This requires the reader to know some basics of topolog, but it is onl meant to improve geometrical intuition and to show applications Thus, it is helpful but not necessar for the rest of this article

2 2 J STEINEBRUNNER definition of homotop can be given, fitting the intuition gained b this identification In the Ke lemma we can prove an equivalent characterization of homotop, which is more useful to work with This makes it eas to introduce homotop groups and the eact sequence of a pair quickl without mentioning much combinatorics Part two starts in section 7 b introducing simplicial (co)homolog This then leads to an elementar proof of Hurewicz s theorem in a special case Using a trivial completion we will be able to construct Eilenberg-Mac Lane spaces eplicitl These spaces then have to be isomorphic to those obtained via the Dold-Kan correspondence Simplical maps to them define the spectral cohomolog, b this we mean the cohomolog theor represented b a spectrum We get an elementar identification of the coccles and coboudaries in the spectral setting with those of simplicial one This ields a natural isomorphism of the cohomolog theories on the simplicial sets A statement, which we do just mention, but not prove here, can then be used to transfer these results to the topological categor 1 BASIC CONSTRUCTIONS We shortl set up the basic definitions A more detailed introduction can, for eample, be found in [1] or [2] Simplicial sets can be understood as a generalization of simplicial complees There is a set of n-simplices for each dimension n N 0 and so-called face operators are used to keep track of which faces each simple has The best wa to understand the degenerac operators is to regard them in the special case of eample 14 DEFINITION 11 (Simplicial set) A simplicial set K is a sequence of disjoint sets K n for n N 0 together with maps d i = d i,n : K n K n 1 as well as s i = s i,n : K n K n+1, called face and degenerac operators for i n N 0, such that for all j n N 0 : (11) (12) (13) (14) (15) d i d j = d j 1 d i if i < j s i s j = s j+1 s i if i j d i s j = s j 1 d i if i < j d i s i = id Kn = d i+1 s i d i s j = s j d i 1 if i > j + 1 DEFINITION 12 We denote the (n + 1)-tuple of faces of b := (d 0,, d n ) A subcomple L of a simplicial set K is a sequence of subsets L n K n forming a simplicial set with the restricted face and degenerac operators A simplicial Pair (K, L ) is a simplicial set K with a distinguished subcomple L K A pointed simplicial set (K, ) is a simplicial set with a distinguished base point K 0 A pointed simplicial (K, L, ) Pair has its base point in the distinguished subcomple : L 0 A simple of the form = s i is called degenerate

3 Kan Complees, Homotop and Cohomolog 3 DEFINITION 13 A map f between simplicial sets K, L is a sequence of maps f n : K n L n compatible with face and degenerac operators : f n d i = d i f n and f n s i = s i f n Maps of pointed simplicial sets or simplicial Pairs f : (K, L ) (K, L ) should preserve this etra structure, so f () = and f (L ) L We get categories of simplical sets sset, pointed simplicial sets sset +, simplicial pairs spair and pointed simplicial pairs spair + DEFINITION 14 Let [n] denote the totall ordered set ( {0,, n}, ) for an n N 0 Then the standard n-simple n is the simplicial set consisting of order preserving maps : n k := { : [k] [n] non-decreasing} = {( 0,, k ) [n] k+1 0 k } With the face and degenerac operators given b omitting and repeating entries : d i ( 0,, n ) = ( 0,, i 1, i+1, ) and s i ( 0,, n ) = ( 0,, i, i, ) This simplicial set has two interesting subcomplees : contains all simplices : [k] [n], such that X is not onto The (n, k)-horn Λ n contains all simplices, for which Im() = ([k]) does not contain the set [n] \ {k} = {0,, k 1, k + 1,, n} REMARK 15 n is the generic eample of a simplicial set, the rules for the operators are clearl satisfied One can think of n as the conve hull of n + 1 affine-linearl independent points p 0,, p n R n Then a simple = ( 0,, k ) is the conve hull of the points p 0,, p k In this picture d i and s i reall do what one epects Then n is the boundar of n and Λ n k is n without the kth face Here a degenerate simple is a simple for which its geometrical dimension is lower than combinatorial dimension, these are eactl those simplices in which an entr occurs twice REMARK 16 A base point K generates a subcomple S K It is easil seen that this subcomple has onl one simple in each dimension, which we will denote b n or just, we even call S onl whenever this does not lead to confusion DEFINITION 17 For two simplical sets K and L their product is defined b (K L) n := K n L n, with the face and degenerac operators : d i (, ) = (d i, d i ) and s i (, ) = (s i, s i ) for (, ) K n L n and i [n] The coproduct or disjoint union is given b (K L) n := K n L n with operators such that K, L are subcomplees Arbitrar (co-)products are defined in a similar manner 2 THE KAN PROPERTY We introduce a notion of ccles and boundaries We will see, for eample in lemma 26, that their properties fit the topological intuition

4 4 J STEINEBRUNNER DEFINITION 21 An (n + 2) tuple ( 0,, n+1 ) (K n ) n+2 of n-simplices in a simplicial set is called n-ccle if it is compatible in the sense that it satisfies d i j = d j 1 i for all i < j [n + 1] It is an n-boundar if there is an (n + 1)-simple such that = ( 0,, n+1 ) 2 ) An (n + 2) tuple ( 0,, k 1,?, k+1,, n+1 ), where the kth simple is not specified et, is called (n, k)-horn, if it is compatible in the above sense An n-simple k completing the horn to a boundar ( 0,, n+1 ) is called completion of the horn An (n + 1)-simple filling the corresponding boundar is called a filling of the horn REMARK 22 Ever boundar is a ccle, because d i d j = d j 1 d i There is a oneto-one correspondence between the n simplices of K n of K and the simplicial maps n K Similarl the n-ccles are one-to-one to the simplicial maps n+1 K and the (n, k)-horns correspond to the maps Λ n+1 k K DEFINITION 23 A simplicial set K is called Kan comple if ever horn has a filling One can think of the above definitions as indicated in the following picture For the moment this should just provide some intuition, but using the definition from section 3 this becomes meaningful, as it can be interpreted as simplices in S (R 2 \ {holes}) FIGURE 1 A (1, 2)-horn with dashed completion and gre filling, a 1-ccle that cannot be filled and a 1 boundar with filling in S (R 2 \ {holes}) The net two ideas follow from the Kan propert and are ver important for this article, we will see a lot of applications in the sections 4 to 6 DEFINITION 24 For an (n, k)-horn ( 0,,?,, n+1 ) in a Kan comple we write ( 0,, k 1,, k+1,, n+1 ) and mean that is defined to be some simple that completes the horn 2 ) Ccles, boundaries and horns are all enumerated b the dimension of the simplices, which the contain Thus an n-boundar is filled b an (n + 1) simple

5 Kan Complees, Homotop and Cohomolog 5 DEFINITION 25 An (n + 2) tuple of (n 1)-ccles (c 0,, c n+1 ), c i = (0 i,, i n) is called compatible if it satisfies j i = j 1 i for all i < j [n + 1] That is that the matri ((c 0 ) T,, (c n+1 ) T ) has the following shifted mirror smmetr : n 1 0 n 1 1 n 0 n 1 n+1 n+1 1 n 0 n+1 0 n 1 n+1 1 n 2 n+1 2 n n n+1 n n n n+1 n+1 n+1 n n+1 n+1 LEMMA 26 If (c 0,, c n+1 ) are compatible ccles in a Kan comple and all c i but c k are known to be boundaries, then c k is a boundar as well Proof Let i = c i for n-simplices i and i k Then the compatibilit of ( 0,, k 1,?, k+1,, n+1 ) is implied b the compatibilit of c i, since d j i = i j Using the Kan propert we can complete this horn b some k Then k has to be c k, as it is, due to the compatibilit condition, completel determined b the other i s : d i k = d k 1 i = c k 1 i = c i k for i < k and d i k = d k i+1 = c k i+1 = c i k for k i In other words : One column in a matri with the smmetr is completel determined b the others Either wa, k shows that c k is a boundar EXAMPLE 27 As an eample we regard this in the case n = 1 A 0-ccle c = (, ) consists of two points, K 0 It can be filled if there is a line h K 1 that has and as its endpoints : d 0 h = and d 1 h =, or equivalentl h = (, ) A compatible set of such ccles would be ((, ), (, z), (, z)) Then the above statement is for k = 0 : If there is a line from to z and from to z, then there is also a line from to LEMMA 28 Arbitrar (co-)products of Kan complees are again Kan complees Proof We restrict our attention to the case of a product of two complees The case of an arbitrar inde set is ver similar and the coproduct case is also not too difficult Let (z 0,,?,, z n ) be a horn in (K L) We can write z i = ( i, i ) and due to the definition of the face operators in a product, ( 0,,?,, n ) and ( 0,,?,, n ) are compatible in K resp L Using the Kan properties we can complete both horns separatel b k and k, but then z k := ( k, k ) completes the first horn REMARK 29 A quotient of two Kan complees does not have to be a Kan comple again As a general rule, an operation of simplicial sets can onl preserve the Kan propert, if its action on the homotop groups can be easil understood This is also, wh we are not able to give interesting eamples of Kan complees at the moment For instance n, n and Λ n k do not satisf the Kan propert, whereas the trivial comple does A ver important eample will be the singular comple S (X) of a topological space X in section 3 The most interesting eamples will be the Eilenberg-Mac Lane spaces H(A, n) for each abelian group A Ab and natural number n N >0 in chapter 9 The are spaces with onl one non-trivial homotop group π n (H(A, n) ) = A

6 6 J STEINEBRUNNER 3 CONNECTIONS TO TOPOLOGY We now define two Functors between sset and T op, which will make it possible to translate statements about one categor into the other one DEFINITION 31 The topological standard n-simple n is for n N 0 defined b n := {(v 0,, v n ) R n+1 i [n]: v i 0 and n We get maps δ i : n 1 n and σ i : n+1 n for i [n] b For a simplicial set K δ i (v 0,, v n 1 ) := (v 0,, v i 1, 0, v i,, v n+1 ) and σ i (v 0,, v n+1 ) := (v 0,, v i + v i+1,, v n+1 ) i=0 v i = 1} its (geometric) realization K is the topological space given b ( ) / K n n n N 0 where the equivalence relation is generated b (d i, v) (, δ i v) and (s i, w) (, σ i w) for all n N, K n, v n 1, w n+1, i [n] REMARK 32 The geometric realization is functor to CW, the categor of CW - complees The realization of the standard n-simple is the topological standard n- simple, so n = n is still well-defined The realization of n is homeomorphic to a sphere Ma discusses this topic in part 2 of his book [1] DEFINITION 33 For a topological space X its singular comple S (X) is given b S n (X) := Hom T op ( n, X ) with the simplicial set structure d i f = f δ i and s i f = f σ i for all n N, f S n (X), i [n] REMARK 34 The singular comple S (X) is a Kan comple for an space X, as one can easil see Just as with CW T op, it seems convenient to restrict our attention to the Kan complees Kan sset The singular comple functor is a right adjoint to the geometric realization, ie there is a natural isomorphism : Hom T op ( K, X) = Hom sset (K, S (X)) This statement can be found in chapter 15 of [1] For a good introduction into categories, functors, adjointness and so on, I recommend to read chapter 1 of Switzer s tetbook [3] THEOREM 35 For ever Kan comple K and ever CW comple X, there are natural homotop equivalences : K S ( K ) and X S (X)

7 Kan Complees, Homotop and Cohomolog 7 Proof The proof of this theorem involves a lot of work A full eposition can, for eample, be found in chapter 16 of Ma s book [1] or, with a more modern treatment, in I11 of [2] We just give a short eplanation of the statement : A homotop equivalence is a map f : X Y having a homotop-inverse g : Y X, so f g id Y and g f id X We have not defined homotopies for Kan complees, but we will mention them in remark 49 In fact, homotop equivalent spaces are ver similar, so the functors S and are, informall speaking, inverse up to homotop More formall, one can sa that the induce an equivalence of the homotop categories We will not need this statement for an proof or theorem staing in the simplicial world However, it will be used ver often, when we want to appl our results about Kan complees to topological spaces The most important eamples for this will be the proof of Hurewicz s theorem for topological spaces in 83 and the proof that the singular and the spectral cohomolog theories are equivalent on T op in chapter 10 4 HOMOTOPY DEFINITION 41 Two n-simplices, K n in a Kan comple with the same boundar = are said to be homotopic, written as, if the following n-ccle is filled : (s n 1 d 0,, s n 1 d n 1,, ) The filling (n + 1)-simple is called a homotop, it is denoted b h: REMARK 42 One has to check that the given tuple is reall a ccle, but this follows immediatel from the rules for d i and s i and the fact that d i = d i for all i [n] Geometricall speaking the definition states that, if the space between and can be filled Here the other components of h are not important, as the are degenerate The following Ke-lemma will do the main part in proving that homotop is an equivalence relation In addition it will justif our definition 24, where then the new simple is determined up to homotop It states that replacing a simple in a boundar b another one still gives a boundar, if and onl if the two simplices were homotopic Thinking of K = S (X) for some topological space X, this should be clear, because we just have to glue the homotop and the filling together, as the following picture illustrates : LEMMA 43 (Ke-Lemma) Let c = ( 0,, k 1,, k+1,, n ) be an (n 1)- boundar in a Kan comple K, and let K n 1 satisf =, such that c = ( 0,,, ) is a ccle Then c is a boundar if and onl if Proof We know that c is at least a ccle because we have = Now assume that it is a boundar In order to show, we have to fill the ccle We want to use lemma 26 for this (Case : k n) We claim that h := (s n 2 d 0,, s n 2 d n 2,, )

8 8 J STEINEBRUNNER FIGURE 2 The Ke lemma : A boundar and a homotop can be glued to a new boundar ( (s n 1 0 ),, h,, (s n 1 n 1 ), c, c ) (K n+1 n 1 )n+2 is a compatible (n + 2) tuple of (n 1)-ccles One can check this b regarding it in matri form : d 0 s n 1 0 d 1 s n 1 0 d n 2 s n d 0 s n 1 1 d 1 s n 1 1 d n 2 s n s n 2 d 0 s n 2 d 1 s n 2 d n 2 d 0 s n 1 n 1 d 1 s n 1 n 1 d n 2 s n 1 n 1 n 1 n 1 Now compatibilit should follow b d i = d k 1 i for k < i and d i = d k i+1 for k i as well as the rules of interaction between s i and d j For eample take i < j [n 1] : d i s n 1 j = s n 2 d i j = s n 2 d j 1 i = d j 1 s n 1 i Given the compatibilit of the above matri, lemma 26 tells us that h is filled, since (s n 2 i ) has an obvious filling and c and c are supposed to be boundaries Thus is homotopic to Moreover the matri shows that, given h: and therefore h filled, c is a boundar So it proves both directions at once (Case : k = n) Here the (n + 2) tuple we used in the first case does not work, because h would have to be at the same position as c But using ( (s n 1 0 ),, (s n 1 n 2 ), c, c, h) (K n+1 n 1 )n+2 ields a proof similar to the one above 0 n 1 n 0 n 1 n COROLLARY 44 Homotop is an equivalence relation Proof Refleivit follows b regarding the boundar of a degeneration of : (s n ) = (d 0 s n,, d n+1 s n ) = (s n 1 d 0,, s n 1 d n 1,, ) To show anti-transitivit let h: and h : z be homotopies of n-simplices The Ke-Lemma 43 tells us that, if we replace in h b : h = (s n 1 d 0,, s n 1 d n 1,, z) c = (s n 1 d 0,, s n 1 d n 1,, z) the resulting ccle c is still filled, because is homotopic to z But then c alread is a homotop from to z

9 Kan Complees, Homotop and Cohomolog 9 DEFINITION 45 Given a pair of Kan complees (K, L ) we call two n-simplices, K n homotopic relative L, if d i = d i for 1 i n and d 0, d 0 L n 1, such that for some h L L n the ccle c = (h L, s n 1 d 1,, s n 1 d n 1,, ) is filled b some h K n+1 This h is called relative homotop, denoted b h : rel L REMARK 46 The relative case is often ver similar to the absolute one Here one should also check that c is a ccle for an appropriate h L Now, appl to each entr of this ccle Then, b regarding the obtained matri, one sees that h L has to be a homotop d 0 d 0 in L LEMMA 47 (relative Ke-Lemma) For a pair of Kan complees (K, L ) we have : Let b = (l, 1,, n ) be an (n 1)-boundar in K where l L n 1 and let b := (l, 1,, k,, n) Then there is an l L n 1 such that b is filled, if and onl if k is homotopic to k relative L Proof The argumentation is ver similar to the one in lemma 43, but here one has to do some etra work for the l part We onl work in the case k n + 1, the remaining one then follows quite similarl For the first direction of the proof let h: k rel L k be a relative homotop The following (n 1, k)-horn lies completel in L, because d 0 h L b definition and s n 2 d 0 i = s n 2 d i 1 l L Thus we can use the Kan propert of L to define l L n 1 to complete : z = (s n 2 d 0 1,, d 0 h,, s n 2 d 0 n 1, l, l ) Now, if the following (n + 2) tuple of (n 1)-ccles is compatible, the proof is finished, because then b l is filled due to lemma 26 and all most of the other columns are boundaries b definition : ( z, (s n 1 1 ),, h,, (s n 1 n 1 ), b, b l ) (Kn+1 n 1 )n+2 One can check compatibilit using the corresponding matri : s n 2 d 0 0 d 0 s n 1 1 d 0 h d 0 s n 1 n 1 d 1 s n 1 1 s n 2 d 1 k d 1 s n 1 n 1 d 0 h s n 2 d 0 n 1 d n 2 s n 1 1 s n 2 d n 2 k d n 2 s n 1 n 1 l 1 k n 1 l 1 k n 1 l k n 1 n l k n 1 n For the other direction we can use the same matri But now l is alread given b b l and we have to define d 0 h b filling z = (s n 2 d 0 1,, d 0 h,, s n 2 d 0 n 1, l, l ) in L

10 10 J STEINEBRUNNER As in corollar 44 we now easil get the following corollar To ensure refleivit one should define in the case that d 0 L, which is not clear from definition 45 COROLLARY 48 Homotop relative to a subcomple is an equivalence relation REMARK 49 One can define a homotop between two simplical maps of simplicial sets f, g : K L to be a simplicial map h : K 1 L such that h K {0} = f and h K {1} = g This is an equivalence relation, if L is a Kan comple In the case K = n the maps f and g represent the n-simplices im f, im g K n The have the same boundar, if the maps agree on n : f n = g n Then we have im f im g in the sense of our definition, if and onl if there is a homotop h : f g that is constant on n 1 We will not work out these things, as the require additional work Yet, it is a ver interesting enhancement to several things we are going to consider, so I recommend to have a look at Ma s tetbook [1], where this is elaborated in detail 5 HOMOTOPY GROUPS DEFINITION 51 For all n N 0 the nth homotop group of a pointed Kan comple (K, ) is the set of n-simplices with boundar in the basepoint, up to homotop : π n (K, ) := { K n = (,, )} / For n 1 the composition of two equivalence classes [], [] π n (K, ) is defined b [] where completes (,,,,, ) Similarl for a pointed Kan pair (K, L, ) and n N >0 the nth relative homotop group is the set π n (K, L, ) := { K n = (l,,, ), l L } / rel L, and for n 2 [][] = [] is defined b completing the net horn for some h L n 1 : (h,,,,,, ) For a map f : (K, ) (L, ) we set f = π n (f ) : π n (K, ) π n (L, ) b f [] = [f ()] REMARK 52 For a topological space X, its topological homotop groups can be defined as the combinatorial ones of its singular comple : π T op n (X, 0 ) := π n (S (X), S ( 0 )), π T op n (X, Y, 0 ) := π n (S (X), S (Y), S ( 0 )) This identification can be used to motivate the definition of the multiplication in π n b the following picture : The homotop groups are invariant under the homotopies from remark 49 : Ie if f g : (K, ) (L, ) then f = g This is for eample proven b Ma in [1] Using the approach of Goerss and Jardine in [2], this statement follows almost immediatel

11 Kan Complees, Homotop and Cohomolog 11 FIGURE 3 The concatenation of two loops and is homotopic to their product Combined with theorem 35 this shows that the homotop groups are also compatible with the geometric realization; ie there is a natural isomorphism : π n (K, L, ) = π n (S K, S L, S ) = π T op n ( K, L, ) REMARK 53 Let (h,,,,, ) be filled as in the definition, then h has to be (,,, d 0, d 0 (), d 0 ) Thus we get [d 0 ][d 0 ] = [d 0 ()] and so we have found that d 0 : π n (K, L, ) π n 1 (L ) is a group homomorphism It is well-defined due to remark 46, but we do not have et that the homotop groups are reall well defined groups THEOREM 54 The (relative) homotop groups are well defined sets for n 0 (1) and groups for n 1 (2), these groups are abelian for n 2 (3) The assignments (K, ) π n (K, ) and (K, L, ) π n (K, L, ) are functorial Proof Due to corollar 44 and 48 we know that homotop is an equivalence relation, thus the homotop groups are well defined as sets For the following proof, let,, z,,, z K n be representatives of π n (K, ), so = = = (,, ) We first restrict our attention to the case of the absolute homotop groups Claim 1 : The composition is well-defined If we fi two representatives, this is just the statement of the Ke-lemma 43 But if is another representative of [] then the same lemma tells us that (,,,,, ) is filled, because (,,,,, ) is filled That shows [][ ] = [] If [], we easil get [ ][ ] = [] Claim 2 : The group laws hold A neutral element is given b e = [] because s n = (,,,, ) implies [][] = [] and s n 1 shows [][] = [] For a given we find a left-inverse element b filling the horn (,,,,, ), since this construction ields [][] = [] = e Let [][] = [], [][z] = [()z] and [][z] = [z] Then, in the following matri, the second to last column is filled, because all the others are :

12 12 J STEINEBRUNNER z z z ()z z ()z This shows [][z] = [()z] For the net proofs we will omit lines and collums onl containing stars, as the do not provide additional information anwa Claim 3 : These groups are abelian for n 2 First we show that for arbitrar, the ccles (,,, ), (,,, ) and (,,, ) are filled, b using that (s i ) = (,,,,, ) is a boundar : Now we can use this in the following matri to show that [][] = [][] : Claim 4 : This construction is functorial To see that f : π n (K, ) π n (K, ) is well-defined b f [] = [f ()], take two representatives with K n Given a homotop K n+1 h:, we regard f (h) : f (h) = f n ( h) = (f (s n 1 d 0 ),, f (), f ()) = (s n 1 d 0 f (),, f (), f ()) because f commutes with d i and s i So f (h): f () f () and therefore f ([]) = f ([]) To check that f is a group homomorphism, let (,,,,, ) be a boundar witnessing the composition [][] = [] If it is filled b some h K n+1 we get Thus we have [f ()][f ()] = [f ()] (f (h)) = (,,, f (), f (), f ()) Claim 5 : The relative homotop groups also satisf the required properties The proofs in the relative case are obtained b adding a new column and row to the preceding matrices To give an eample we do so for the associativit : Let,, z be representatives for π n (K, L ) and let the following ccles be filled : (l 0,,,, z, z, ), (l 1,,,, z, ()z, ), (l 3,,,,,, ) This implies [][z] = [z] and so on Then we define l 2 L n to fill (,,, l 0, l 1, l 2, l 3 ),

13 Kan Complees, Homotop and Cohomolog 13 which is a horn because all the l i have trivial boundar Now the following matri is compatible and ever column but the second to last is certainl filled l 0 l 1 l 2 l 3 l 0 l 1 z z z l 2 z ()z ()z l 3 Thus it shows [][z] = [][z] The other proofs are copied similarl from the absolute case One should remark that in the relative case, alwas one dimension more is needed to carr the simplices from the subcomple L This is the case for the definition as a set, the group structure and the commutativit REMARK 55 One easil shows that there is a bijection π n (K,, ) = π n (K, ), which is a group isomorphism for n 2 Also, the homotop groups of a (co-)product can easil be calculated, the reader might tr this as an eercise Following the general rule from remark 29 it should be eas to define the loop-space of a pointed Kan comple (K, ) Indeed, one can define a path-space b P(K, ) n := { K n+1 d 0 d n = } with the same operators di P := d i and s P i := s i Then d n+1, which is not used in P, induces a simplicial map : d n+1 : P(K, ) K The preimage of the base-point is the loop-space Ω(K, ) := d 1 n+1 () One can then check that P alwas has trivial homotop groups and the homotop groups of Ω are those of K shifted b one dimension 6 APPLICATIONS : THE EXACT SEQUENCE OF A PAIR AND MINIMAL COMPLEXES THEOREM 61 The following natural sequence of a pointed pair (K, L, ) is eact : p π n+1 (K, L, ) π n (L, ) i π n (K, ) p π n (K, L, ) p π 1 (K, L, ) π 0 (L, ) i π 0 (K, ) π 0 (K, ) / π 0 (L, ) Here i: L K is the inclusion, p : π n (K, ) = π n (K,, ) π n (K, L, ) is due to remark 55, and [] is [d 0 ] as in remark 53 : Proof First we show that composing two maps gives the trivial map : Let [] π n (K, ) Then p [] = [d 0 ] = [] π n 1 (L, ) If [] π n (K, L, ), we have = (l,,, ) for some l L B the Ke-lemma this implies l in K, so i [] = [d 0 ] = [] π n 1 (K ) For [l] π n (L, ) we fill (l,,,, l) in L and b definition rell l Thus p i [l] = [l] = [] π n (K, L, ) Net, we have to show that the kernels are contained in the images :

14 14 J STEINEBRUNNER Let i [l] = [] for some [l] π n (L, ) Because l in K, b the Ke-lemma we can replace in (,, ) the first star b l and get a filling h K n+1 : h = (l,,, ) We can regard h as a representative in π n+1 (K, L, ), satisfing [h] = [d 0 h] = [l] Now take [] π n (K, ) such that p [] = [] or, equivalentl, rell Because (,, ) is filled, the relative Ke-lemma finds some l L n for us such that (l,,,, ) is filled in K n But, since s 0 = (,,,, ) is filled as well, the absolute Ke-lemma tells us l That is just i [l] = [l] = [] π n (K, ) Finall, for [] π n (K, L, ) with [] = [], take a homotop h: d 0 in L n Define K to complete (h,,,,, ), which is a ccle because d n 1 h = d 0 This implies = (,, ) as well as rell Therefore [] π n (K, ) and p [] = [] = [] π n (K, L, ) As another short application we want to consider minimal and n-connected complees : DEFINITION 62 A Kan comple K is called minimal, if for an, K n with = homotop implies equalit : = A Kan comple (K, ) is called n-connected, if we have π k (K, ) = 0 for all 0 k n LEMMA 63 Ever Kan comple K has a minimal subcomple M K which is a homotop retract This means, there is a retraction r : K M such that r M = id M and there is a homotop h : r id K This subcomple is unique up to isomorphism Proof This can be found in Ma s tetbook [1] chapter 9, where he also elaborates other facts about minimal complees REMARK 64 Using remark 52 the induced map of r ields an isomorphism r : π n (K, ) π n (M, ) The inverse is given b i, for i : M K the inclusion This works because (i r) and (r i) both are homotopic to the identit, thus homotop-invariance tells us that (i r) and (r i) have to be the identit LEMMA 65 For ever n-connected and minimal Kan comple (K, ) we have that it is trivial up to dimension n : K k = {} for all 0 k n Proof This is easil done b induction on k If k = 0, for eample, then ever K 0 has to be homotopic to because π 0 (K, ) = {[]} On the other hand minimalit then implies = The rest is left to the reader 7 SIMPLICIAL (CO-)HOMOLOGY We now shortl introduce the simplicial homolog and cohomolog of a simplicial set References to a more detailed approach can be found in remark 74

15 Kan Complees, Homotop and Cohomolog 15 DEFINITION 71 We define the simplicial homolog Hn sim (K, L ; A) of a simplicial pair (K, L ) spair with coefficients in an abelian group A step b step It is easil verified in each step that the construction is functorial For an n N a simplicial n-chain c is a formal A-linear combination of n-simplices : c = a 1 ( 1 ) + + a k ( k ) here k N 0, a i A and i K n After dividing out simplices L n of the subcomple, this forms the group : C n := C sim n (K, L ; A) := K n A/L n A = {a 1 ( 1 ) + a i, i } / L n : () = 0 Now, the face maps d i can be used to construct a differential d : C n C n 1 : d n () := n ( 1) i (d i ) where K n and d n c = a 1 d n ( 1 ) + i=0 We define the set of n-boundaries B n and n-ccles Z n to be these subgroups of C n : Z n = ker d n and B n = im d n+1 The relation d i d j = d j 1 d i for i j [n] implies d 2 = d n 1 d n = 0, in other words B n = im d n+1 ker d n = Z n So the following definition is possible : H sim n (K, L ; A) = H n := Z n /B n This defines a sequence of functors from the categor of simplicial pairs to that of abelian groups H n : spair Ab We write the equivalence class [()] in the quotient Z n /B n, simpl as [] H or even [] So [d] H = 0 This is a homolog theor in the sense of the Eilenberg-Steenrod aioms To formulate them, observe that for each simplicial pair we get canonical maps of pairs : (Y, ) ixy (X, ) ιxy (X, Y) DEFINITION 72 (Eilenberg-Steenrod Aioms) A homolog theor is a sequence of homotop-invariant, covariant functors H n : spair Ab for n N 0 from the categor spair to the categor of abelian groups Ab, satisfing : Aiom 1 : There is an natural map n such that the following sequence is eact for an (X, Y) : Hn+1(ιXY ) H n+1 (X, Y) n+1 H n (Y, ) Hn(iXY ) H n (X, ) Hn(ιXY ) H n (X, Y) n Aiom 2 : For an famil of simplicial sets (X i ) i I, we get a natural isomorphism : ( ) H n X i, = H n (X i, ) i I Aiom 3 : There is a group A, called the coefficients of H n, such that for the trivial space { A if n = 0 H n (, ) = 0 if n 0 i I

16 16 J STEINEBRUNNER Similarl a cohomolog theor is a sequence of homotop-invariant, contravariant functors H n : CPair Ab satisfing analogues of these aioms In aiom 1 one has to revert all arrows and in aiom 2 the coproducts and have to be replaced b a product LEMMA 73 The simplicial homolog Hn sim (, ; A) is a homolog theor with coefficients A in the sense of Eilenberg and Steenrod Proof Homotop-invariance can easil be deduced from the well-known one for the homolog of chain complees To do so, one has to construct a chain-homotop out of the simplicial homotop The homomorphism n : H n (X, Y) H n 1 (Y) can be set to n [] = d[] Y n A for Z n (X, Y; A) which is well-defined, because we know d[] = 0 mod Y n d[] Y n A = C n (Y, ; A) More details can be found in the references in remark 74 REMARK 74 For an pair of topological spaces (X, Y) the singular homolog is usuall defined to be the simplicial homolog of its singular comple : Hn sing (X, Y; A) := Hn sim (S (X), S (Y); A) This is a homolog theor on the categor of topological spaces As this is a common wa to define homolog in the literature, one can find a lot of information on this in the most algebraic topolog tetbooks For eample, the approach of Switzer [3][ch 10] perfectl fits our needs More details can be found in chapter two of Hatcher s book [4] Using the equivalence S ( K ) K from 35 and the homotop invariance of H, we see that the simplicial homolog is compatible with the geometric realization as well : H sim n (K, L ; A) = H sim (S ( K ), S ( L ); A) def = H sing ( K, L ; A) n DEFINITION 75 In a similar manner, the simplicial cohomolog Hsim(K, n L ; A) is defined : Here an n-cochain α is a map, assigning each n-simple of K an element of A, with the equivalence relation that two cochains are identified, if the agree on K n \L n : C n := Hom(K n Z, A) / Hom(L n Z, A) = Hom Set (K n \ L n, A) The codifferential d n : C n C n+1 is d n c = c d n Coccles are Z n := ker d n, coboundaries are B n := Im d n 1 and finall the cohomolog is : H n sim(k, L ; A) = H n := Z n /B n n REMARK 76 All the duals of remark 74 hold Especiall this is a cohomolog theor and it agrees via S and with the singular cohomolog on T op If we do not specif A or sim, we mean the simplicial (co-)homolog with coefficients in Z, if L is not mentioned, L = is understood : H n (K, L ) = H sim n (K, L ; Z) and H n (K ) = H sim n (K, ; Z)

17 Kan Complees, Homotop and Cohomolog 17 8 THE HUREWICZ HOMOMORPHISM DEFINITION 81 The Hurewicz homomorphism ϕ : π n (K, L, ) H n (K, L ) or ϕ : π n (K, ) H n (K, ) is defined b : ϕ([] π ) := [] H LEMMA 82 The Hurewicz map is a well-defined and natural group homomorphism Proof Ever representative for an element [] π π n (K, L, ) of the nth homotop group is an n-ccle in homolog : = (l,,, ) implies d[] = [l] ±[] = 0 since [l] = [] = 0 because l, L n If h : rel L is a homotop, then h = (l,,,,, ) implies d[h] = [l] [] + ± [] [] ± [] = ([] []) and since an boundar is 0 in homolog, we get ±([] H [] H ) = 0 [] H = [] H So ϕ is well-defined Similarl it is a group homomorphism, because h = (,,,, ) leads to [] H + [] H = [] H Naturalit is clear THEOREM 83 If K is trivial in the dimensions lower than n : K n 1 = {}, then the Hurewicz homomorphism is an isomorphism between the nth homotop group and the nth homolog group for n 2 In the case n = 1 one has to take the abelization Ab(π 1 (K, )) of the first homotop group COROLLARY 84 (Hurewicz Theorem) (1) : For an (n 1)-connected Kan comple (K, ) the Hurewicz homomorphism is an isomorphism in dimension n (2) : The usual Hurewicz theorem also holds : For an (n 1)-connected topological space (X, ) the Hurewicz homomorphism is an isomorphism in dimension n : ϕ : Ab(π n (K, )) H n (K, ) and ϕ : Ab(π n (X, )) H n (X, ) Proof (2) immediatel follows from (1), because the homotop and homolog groups of a topological space are b definition those of its singular comple (1) can be reduced to theorem 83 b choosing a minimal subcomple M K via lemma 63 Then M is (n 1)-connected, due to the homotop-invariance of the homotop groups As we have seen in lemma 65 this implies M n 1 = {}, since M is minimal So we can appl the theorem to M and translate the result back to K because the homolog groups are homotop-invariant as well Here we make essential use of homotopies, homotop-invariance and minimal complees, although we have not worked out these concepts Yet, as mentioned in remark 49, the can be found in [1] and are not too hard to understand Proof of theorem 83 From lemma 82 we know that ϕ is a group homomorphism Assume that π n (K, ) is abelian, the case n = 1 is then a slight generalization Surjective : The nth homolog of K is generated b [] H for K n The condition K n 1 = {} forces to be (,, ) So can also be regarded as a representative in

18 18 J STEINEBRUNNER π n (K, ) and of course ϕ([] π ) = [] H Injective : It is enough to show that d = 0 holds in the homotop group for K n+1 This means that we have to show that [d 0 ] π [d 1 ] π ± = [] π = 0 For n = 1 this is just the definition of addition, because = (a, b, c) witnesses [a] π + [c] π = [b] π So we need the following generalization : Claim : (,, k,, n+1 ) is filled if and onl if [ k ] π [ k+1 ] π = 0 The proof is done b decreasing induction on k The base k = n 1 works just as n = 1 above To get the inductive step we regard the following matri : a a a b a b b a a b k+2 k+2 k+3 k+4 a a k+3 k+3 k+3 k+4 k+4 k+4 Here a is a representative of [a] B induction (,, a b, b, a,, ) is filled We get that (,,,,,,, ) is a boundar b generalizing the argument in the proof that the higher homotop groups are abelian, see theorem 54 The matri now shows that the ccle (,, a, b, k+2, ) is filled if and onl if the ccle (,,, a b, k+2, ) is filled The latter is, b induction, equivalent to [a b] π [ k+2 ] π ± = 0 This completes the induction, because [a b] π [ k+2 ] π ± = [a] π + [b] π [ k+2 ] π ± 9 EILENBERG-MAC LANE-SPACES Here, we will introduce a trivial completion for n-skletons It can be used to construct Kan complees K with trivial higher homotop groups As a special case, one gets the so-called Eilenberg-Mac Lane spaces, which onl have one non-trivial homotop group DEFINITION 91 A simplicial n-skeleton S is a finite sequence of sets S 0,, S n with face and degenerac operators satisfing the rules known from the definition of simplicial sets Simplicial maps between such n-skeletons have to commute with the operators This defines the categor ssk n A completion of such an n-skeleton is a simplicial set K continuing the sequence : K i = S i for i [n], such that the operators are the same An n-skeleton is said to have the Kan propert, if for k < n ever k-horn is filled and an n-horn can be completed to an n-ccle Such an n-skeleton is called minimal, if it satisfies =, as for the minimal complees, and if in addition for, S n n-simplices = implies =

19 Kan Complees, Homotop and Cohomolog 19 REMARK 92 There is an restriction functor R n : sset ssk n that simpl forgets about all dimensions higher than n We can find a adjoint functor ˆ : ssk n sset, called the completion functor, which etends an n-skeleton in a canonical wa : LEMMA 93 There is a canonical completion Ŝ for an simplicial n-skeleton S, such that if S satisfies the Kan propert, Ŝ does so and in addition it has trivial higher homotop groups : π k (Ŝ, ) = 0 for k n The completion preserves minimalit This ields a completion functor ˆ : ssk n sset, which is right-adjoint to the restriction functor : For an simplicial set K and skeleton S, there is a natural isomorphism : Hom sset (K, Ŝ ) = Hom sskn (R n K, S ) Proof Let S be an n-skeleton We then define the completion K = Ŝ b iterativel filling all the k-ccles with eactl one simple of dimension k + 1 for k n : K k :={c = ( 0,, k ) K k+1 k 1 i < j [k]: d i j = d j 1 i } = {c c (k 1)-ccle in K }, d i ( 0,, k ) = i and s i c = (s i 1 d 0 c,, s i 1 d i 1 c, c, c, s i d i+1 c,, s i d k c) The rules for the simplicial operators are fulfilled For eample b the definition of s i, s i has the right form and we have d i d j c = d i j = d j 1 i = d j 1 d i c If S is Kan, we are interested in the Kan propert of the completion Firstl, observe that for k n b definition ever k-ccle is filled Thus, to fill an (k, l)-horn ( 0,,?,, k+1 ) we just have to complete it to a k-ccle If k = n, the Kan propert of the skeleton gives such a completion to a ccle For k > n, we simpl fill (d l 1 0,, d l 1 l 1, d l l+1,, d l k+1 ) b some l Then ( 0,, l,, k+1 ) is a k-ccle and thus filled It is clear that minimalit is preserved in the dimensions lower than n For the nth dimension we get it, because here b the skeleton-minimalit no two different simplices have the same boundar In higher degrees the same rule holds due to the construction The construction is clearl functorial To check the adjointness of the functors we have to uniquel etend an f : R n L S to a map L Ŝ This is done, b defining f () := f (k+2) (d 0,, d k+1 ) = (f (d 0 ),, f (d k+1 )) for L k+1, k n This is also mandator to make f compatible with the face operator, impling uniqueness DEFINITION 94 A Kan comple (K, ) is called Eilenberg-Mac Lane-space in dimension n 1 for some abelian group A, if it satisfies { A if k = n π k (K, ) = 0 if k n LEMMA 95 There is a minimal Eilenberg-Mac Lane-space H(A, n) for an dimension n 1 and an abelian group A It is unique up to isomorphism

20 20 J STEINEBRUNNER Proof We do not check uniqueness here eplicitl, as it is not essential A proof can be found in chapter 23 of Ma [1] Alternativel, the reader could tr a proof b induction on the dimension k, etending the argument from lemma 65 We define a minimal (n + 1)-skeleton b H(A, n) k = {} for k < n, H(A, n) n = A and H(A, n) n+1 = {(a 0,, a n+1 ) A n+2 a 0 a 1 + ± a n+1 = 0} and s i a = (, e, a, a, e, ) for a A and e the identit in A The ith face map in dimension (n + 1) shall pick the ith entr of (a 0, a 1, ) : d i (a 0, ) = a i As soon as we have checked that this is a Kan skeleton, we can use lemma 93 Regard an (n, k)-horn : (a 0, a 1,,?,, a n+1 ) It is completed b, if and onl if a 0 a 1 ± ± = 0 There is eactl one solution, because A is a group Now, consider an (n + 1, k)-horn : a 0 0 a 0 1 a 0 n+1 a 1 0 a 1 1 a 1 n+1? a n+1 0 a n+1 n a n+1 n+1 a n+2 0 a n+2 n a n+2 n+1 There is a canonical completion for the kth column : (a k 0,, ak n+1 ) using ak l = a l k 1 for k > l and a k l = a l 1 k for k l But it is not et clear that this satisfies the algebraic equation in the definition of H(A, n) n+1 If the matri is completed fulfilling the smmetr, ever entr occurs twice with different sign, thus the alternating sum is zero : n+1 n+2 ( 1) b+c a c b = 0 b=0 c=0 n+1 n+2 n+1 ( 1) b a k b = ( 1) k+1 ( 1) b+c a c b b=0 c=0 c k b=0 The d th column satisfies the condition of H(A, n) n+1, if and onl if n+1 b=0 ( 1)b a d b = 0 Therefore, b the above equation, the new k th column has to satisf the condition, because all the other columns do so Now the skeleton is constructed and can be canonicall etended Then, the homotop groups are trivial in all degrees but n In dimension n we have a canonical map A π n (H(A, n) ), a [a], because all faces of a are trivial Homotopies h H(A, n) n+1 have the boundar h = (e,, e, a, b) but b definition this implies a = b Similarl, if h H(A, n) n+1 witnesses an addition : h = (, e,,, ), then + = + = REMARK 96 As a b-product, the above construction could be used to calculate the (co-)homolog of Eilenberg-Mac Lane spaces If A is finite, the rank of the corresponding (co-)chain comple in degree k is the number of k-simplices, which is bounded b A k!/n! For A infinite, the number of simplices has the same cardinalit as A

21 Kan Complees, Homotop and Cohomolog SPECTRAL COHOMOLOGY DEFINITION 101 We define a simplicial map between the Kan complees µ : H(A, n) H(A, n) H(A, n), making H(A, n) k an abelian group for all k µ is defined in the nth dimension b : µ(a, b) = a b for a, b H(A, n) n = A In the lower dimensions µ is trivial It can be uniquel etended to all higher dimension, since H(A, n) is defined to be a canonical completion The compatibilit with implies µ((a 0, ), (b 0, )) = (µ(a 0, b 0 ), ) for (a 0, ), (b 0, ) H(A, n) k, k > n, because the face operators in the product are d i d i DEFINITION 102 in dimension n N 0 We define the covariant spectral coccle functor Zspec n : spair Ab with coefficients in A Ab b Z n spec(k, L ; A) := Hom spair ((K, L ), (H(A, n), )), with the group-structure induced b µ : α + β := µ (α β) DEFINITION 103 A simplicial map of pairs f : (K, K ) (L, L ) is called nullhomotopic, if it can be etended to a map of pairs f : (K 1, K 1 ) (L, L ), with f K [0] = f and f (K [1] ) = For a simplicial set K, its cone (CK, ) is : CK := K 1 / K [1] Then f is nullhomotopic, if it can be etended to some f : (CK, CK, ) (L, L, ) REMARK 104 The details of these definitions are not hard to check, however the reader is asked to think about them for a moment After appling to CK one reall gets the cone over K and therefore the realization of a nullhomotopic map is homotopic to the constant map LEMMA 105 A simplicial map f : (K, K ) (L, L ) is nullhomotopic if and onl if there is a sequence of maps g : (K n, K n) (L n+1, L n+1 ) such that d ig() = g(d i ) for i [n] and d n+1 g() = f (), where K n Proof For the onl if part take a nullhomotop h and set g() := h((, [0,, 0, 1])) For the if part define h( [0,, 0]) := f () and h( [0,, 0, 1,, 1]) = s n 1 s k g(d k d n 1 ) where there are k zeros and n k 1 ones in [0,, 0, 1,, 1] and K n 1 Here several details have to be checked b the reader An alternative is using the path space from remark 55 and defining g as a simplicial map K PL to the path space

22 22 J STEINEBRUNNER DEFINITION 106 The spectral coboundar B n spec(k, L ) ZSp n (K, L ) is defined to be the image of Zspec(i) n : Zspec(CK, n CL ) Zspec(K, n L ), where i is the inclusion Now, we can define the spectral cohomolog functor Hspec n : spair Ab in dimension n N 0 with coefficients in A Ab b H n spec(k, L ; A) := Z n spec(k, L ; A) / B n spec(k, L ; A) LEMMA 107 The above construction works as intended and the coboundaries are eactl those coccles which are nullhomotopic Proof It is easil seen that Hom spair ((K, L ), (H(A, n), )) is an abelian group For a map of pairs f : (K, L ) (K, L ) we get an induced map : f : Hom spair ( (K, L ), (H(A, n), ) ) Hom spair ((K, L ), (H(A, n), )) b f (α) = α f This is a group homomorphism because f acts from the right and µ from the left side : f (α + β) = (µ (α β)) f = µ ((α β) f ) = µ (f α f β) = f α + f β A coboundar is of the form i α = α i = α (K,L ) and thus it is the restriction of a map on the cone α : (CK, CL ) (H(A, n), ) Therefore it is clear that a coccle is a coboundar, if and onl if it is nullhomotopic The induced map f is well-defined on the quotient H = Z/B, since we have f B(K, L ) B(K, L ), as for i α B(K, L ) we have (Cf ) (i α) = i (f α) B(K, L ) THEOREM 108 For an simplicial pair (K, L ) we have natural isomorphisms : Z n spec(k, L ) = Z n sim(k, L ) and B n spec(k, L ) = B n sim(k, L ) Therefore both homolog theories are equivalent : H n spec(k, L ) = H n sim(k, L ) Proof Let (K, L ) be an simplicial pair There is a natural isomorphism : ϕ : C n sim(k, L ; A) = Hom Set (K n / Ln, A) = Hom sskn (R n (K, L ), R n (H(A, n), )) This is works, since the skeleton R n (H(A, n) ) is nearl trivial Claim : ϕ(α) can be etended to (K n+1, L n+1 ) if and onl if α is a (simplicial) coccle A simplicial etension f : R n+1 (K, L ) R n+1 (H(A, n), ) of ϕ(α) has to satisf : f () = f (n+2) ( ) = (α(d 0 ),, α(d n+1 )) for K n+1 This determines f completel The right hand side is onl a simple, if (d α)() = α(d) = α(d 0 ) α(d 1 ) ± α(d n+1 ) = 0 As we require this for all, f can indeed be defined if and onl if d α = 0, so eactl if α is a coccle Thus the claim holds and the completion propert of H(A, n) ields : Z n sim(k, L ; A) = Hom sskn+1 (R n+1 (K, L ), R n+1 (H(A, n), )) = Hom spair ((K, L ), (H(A, n), ) = Z n spec(k, L ; A)

23 Kan Complees, Homotop and Cohomolog 23 Claim : ϕ(α) is nullhomotopic if and onl if α is a (simplicial) coboundar We use lemma 105 for this Regard some map g : K k H(A, n) k+1, with d i g() = g(d i ) and d n+1 g() = f () Then one can define For an K n β C n 1 sim (K, L ; A) = Hom Set (K n 1 /L n 1, A) b β() := g() A we get g() = (d 0 g(), ) = (g(d 0 ),, g(d n ), f ()) = (β(d 0 ),, β(d n ), α()) This is a simple if and onl if β(d 0 ) β(d 1 ) ± ( 1) n+1 α() = 0, or equivalentl (d β)() = β(d) = ( 1) n α() Since this holds for all, we get that α = d ( 1) n β is a coboundar if and onl if such a g eists in dimension k = n In the other dimensions g can be etended canonicall This proves the claim, which then implies the equalit of the coboundar sets REMARK 109 For a topological space X its spectral cohomolog is defined b H k spec(x, Y; A) := [(X, Y), (H, )] = Hom T op ((X, Y), (H, ))/ where H is a topological Eilenberg-Mac Lane space with π T op k (H, ) = A and is the topological homotop of maps Since the homotop groups commute with the topological realization, we can choose H = H(A, k) Using the strong statements X S (X) and K S ( K ) from theorem 35 we have (also using adjointness of S and ) : H k spec(x; A) = Hom T op (X, H(A, k) )/ = Hom T op ( S (X), H(A, k) )/ = Hom sset (S (X), S ( H(A, k) ))/ = Hom sset (S (X), H(A, k))/ = H k spec(s (X); A) Since we also now that H k sing(x; A) = H k sim(s (X); A) b definition, we can use theorem 108 to show that for ever topological pair (X, Y) there is a natural isomorphism : H k spec(x, Y; A) = H k sing(x, Y; A) REFERENCES [1] J Peter Ma, Simplicial Objects in Algebraic Topolog, Midwa reprint, Chicago, 1982 [2] Paul G Goers and John F Jardin, Simplicial Homotop Theor, Springer, Basel, 1999 [3] Robert M Switzer, Algebraic Topolog - Homotop and Homolog, Springer, Berlin, 1975 [4] Allen Hatcher, Algebraic Topolog, Cambridge Universit Press, Cambridge, 2002