SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
|
|
- Amice Watson
- 6 years ago
- Views:
Transcription
1 SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon as we know the homology of the spaces involved. The result itself is already nice as it allows for some explicit calculations. However, more importantly to us, the techniques leading to this result will play an essential role in the next section where we study product structures in cohomology. As a first step, we establish the algebraic Künneth theorem which is a statement about the homology of tensor products of chain complexes over principal ideal domains. Next, in order to be able to apply this to singular homology we establish the Eilenberg Zilber theorem according to which for two spaces X and X the chain complexes C (X) C (X ) and C (X X ) are naturally chain homotopy equivalent. The method of acyclic models used in these proofs is a very convenient tool which in many cases allows us to avoid explicit geometric or combinatorial arguments. There are further applications of this method in the following section. We begin with some basic definitions. Definition 1. Let R be a commutative ring. A (non-negatively, homologically) graded R-module M is a collection of R-modules M k, k 0. An element in M k is homogeneous of degree k. A morphism f : M N of graded R-modules is a collection of R-module maps f k : M k N k, k 0. Graded R-modules and morphisms between them assemble in a category grmod 0 (R). We know already many examples of graded abelian groups since each chain complex over R has an underlying graded R-modules, i.e., there is a forgetful functor U : Ch 0 (R) grmod 0 (R) (which we will always drop from notation). Similarly, every graded R-module gives rise to a chain complex by endowing it with the zero differentials (a construction we already used twice in this course), giving rise to a functor grmod 0 (R) Ch 0 (R). Moreover, the homology groups of a chain complex assemble to a graded R-module. In fact, there is a homology functor H : Ch 0 (R) grmod 0 (R). Our first goal is to understand the behavior of the homology functor H : Ch 0 (R) grmod 0 (R) with respect to tensor products at least for nice rings R. Definition 2. Let R be a commutative ring and let M, N grmod 0 (R). (1) The tensor product M R N grmod 0 (R) is defined by (M R N) k = M p R N q, k 0. p+q=k (2) The torsion product Tor R (M, N) grmod 0 (R) is defined by Tor R (M, N) k = Tor R (M p, N q ), k 0. p+q=k We leave it to the reader to check that we actually obtain functors of two variables R, Tor R : grmod 0 (R) grmod 0 (R) grmod 0 (R). Next, we extend the tensor product to chain complexes C, D Ch 0 (R). The underlying graded module of the tensor product C R D Ch 0 (R) is the tensor product of the underlying graded 1
2 2 SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS modules, i.e., we again set (C R D) k = p+q=k C p R D q, k 0. Since the differential : (C R D) k (C R D) k 1 has to be additive it is enough to define it on elements of the form c d with c C p, d D q. And in that case we set (c d) = (c) d + ( 1) p c (d). The reader checks that the fundamental relation 2 = 0: (C R D) k (C R D) k 2 is satisfied, concluding the definition of the tensor product C R D Ch 0 (R). Moreover, one easily verifies that the tensor product defines an additive functor of two variables R : Ch 0 (R) Ch 0 (R) Ch 0 (R). The sign showing up in the definition of the differential of the tensor product is a special instance of the Koszul sign convention. According to this convention, whenever the order of a homogeneous element of degree p and a homogeneous element of degree q is reversed in a formula, then a sign ( 1) pq has to show up. In our case, the differential is basically modeled by a product rule or Leibniz rule. But as the differential which is a map of degree -1 jumps over the element c of degree p this gives rise to a sign ( 1) 1 p = ( 1) p. (Although we do not want to get into this, let us mention that this sign convention is not just some heuristics but can be turned into precise mathematics.) One motivation for this definition of the tensor product comes from the first of the following examples (all of which have variants for modules over commutative rings). Example 3. (1) Recall that, in general, if X and X are CW complexes, then the product X X does not carry a natural CW structure. However, if X and X are finite CW complexes then so is X X. If we denote the set of k-cells of a CW complex X by J k (X), then for the induced CW structure on X X we have J k (X X ) = J p (X) J q (X ), k 0. p+q=k Since for sets S, S we have natural isomorphisms Z(S S ) = Z(S) Z(S ) and Z(S S ) = Z(S) Z(S ), we conclude that at least levelwise we obtain an isomorphism C cell k (X X ) = (C cell (X) C cell (X )) k. One can check that this description is also compatible with differentials, i.e., that we have an isomorphism of chain complexes C cell (X X ) = C cell (X) C cell (X ). (2) Let C Ch 0 (Z) and let A be an abelian group. If we consider A as a chain complex concentrated in degree zero (and hence necessarily with trivial differentials), then the tensor product of these chain complexes is naturally isomorphic to the levelwise tensor product of section 1. (3) Let us write I + Ch 0 (Z) for the chain complex Z Z Z in which the differential Z Z Z is given by z ( z, z). Then for C Ch 0 (Z) there is a natural isomorphism I + C = cyl(c). Here, cyl denotes the cylinder construction for
3 SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS 3 chain complexes introduced on exercise sheet 2. (The motivation for the notation I + and more examples along these lines are discussed on exercise sheet 5.) Thus, if we want to study the homology of the product of two finite CW complexes then we are led to the algebraic problem of relating the homology of the tensor product of two chain complexes to the homology groups of the respective two chain complexes. At least for principal ideal domains, this relation is controlled by an algebraic Künneth theorem as we show next. The point of working with principal ideal domains here is that in that context submodules of free modules are again free (this fails for more general rings, making the situation more complicated). Interesting examples for such rings are fields and Z. The following lemma works for arbitrary commutative rings. Lemma 4. Let R be a commutative ring and let F, D Ch 0 (R). If F is levelwise free and has zero differentials then there is a natural isomorphism F R H (D) = H (F R D) of graded R-modules. Proof. Let us unravel the definition of the differential : (F R D) k (F R D) k 1. Since F has a trivial differential, one observes that on the summand F p R D q the differential is given by ( 1) p id : F p R D q F p R D q 1 followed by the inclusion F p R D q 1 (F R D) k 1. Since F is levelwise free the tensor product functors F p R ( ) are exact. This implies that at the level of cycles we have a natural isomorphism Z k (F R D) = (F R Z(D)) k. Similarly, we have natural isomorphisms B k (F R D) = (F R B(D)) k and, using the right exactness of R, at the level of homology this yields the desired natural isomorphism F R H (D) = H (F R D). There is a variant of this lemma in the case that the second factor is levelwise free and comes with trivial differentials. Theorem 5. (Algebraic Künneth theorem) Let R be a principal ideal domain and let C, D Ch 0 (R) such that C or D is levelwise free. Then there is a natural short exact sequence 0 (H(C) R H(D)) k H k (C R D) Tor R (H(C), H(D)) k 1 0. Moreover, these sequences split (but the splitting is not natural). Proof. The proof is very similar to the proofs of the algebraic universal coefficient theorems in (co)homology so that we allow ourselves to not carry out all details. We give the proof in the case that C is levelwise free and begin by considering the presentations 0 B k 1 (C) j Z k 1 (C) p H k 1 (C) 0, k 1. Since C is levelwise free and R is a principal ideal domain, this is a free presentation and it can hence be used in the calculation of Tor R (H k 1 (C), ). In the remainder of the proof short hand notations like Z k 1, Z 1 will always refer to C and not to D. As a next step, let us consider the short exact sequence, 0 Z k i C k B k 1 0, where is induced from the differential. These short exact sequences split because the B k 1 are free, and we hence obtain a levelwise split short exact sequence of chain complexes 0 Z C B 1 0,
4 4 SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS in which the graded R-modules Z and B 1 are considered as chain complexes with trivial differentials. An application of the additive functor ( ) R D yields a further levelwise split short exact sequence of chain complexes 0 Z R D i id C R D id B 1 R D 0. A typical part of the associated long exact homology sequence looks like... H k+1 (B 1 R D ) δ k+1 H k (Z R D ) H k (C R D ) H k (B 1 R D ) δ k... In order to simplify this a bit, note that the chain complexes B 1 and Z are levelwise free and come with trivial differentials. Thus, Lemma 3 implies that this sequence can be rewritten as δ k+1 δ... (B R H (D)) k (Z R H (D)) k H k (C R D ) (B R H (D)) k k 1... and hence gives rise to a short exact sequence 0 cok(δ k+1 ) H k (C R D ) ker(δ k ) 0. The explicit description of the connecting homomorphism δ k in this long exact sequence allows us to identify δ k+1 as δ k+1 = (j id) : (B R H (D)) k (Z R H (D)) k. Note that j shows up in the free presentation of H (C) and observe that this allows us to make the identifications cok(δ k+1 ) = (H(C) R H(D)) k and ker(δ k ) = Tor R (H(C), H(D)) k 1. Thus, we obtain the desired short exact sequence and we let the reader verify the statement concerning the splitting. In the special case that R = Z and that the chain complex D is simply an abelian group A considered as a chain complex concentrated in degree zero, we have just reproduced the algebraic universal coefficient theorem for homology from section 2. Theorem 6. (Geometric Künneth theorem for finite CW complexes) Let X, X be finite CW complexes and let R be a principal ideal domain. Then there is a natural short exact sequence 0 (H cell (X; R) R H cell (X ; R)) k H cell k (X X ; R) Tor R (H cell (X; R), H cell (X ; R)) k 1 0. Moreover, this short exact sequence splits (but the splitting is not natural in the spaces). Proof. We apply the algebraic Künneth theorem to the levelwise free chain complexes C cell (X; R) and C cell (X ; R). That way we obtain a similar short exact sequence with the group in the middle replaced by H k (C cell (X; R) R C cell (X ; R)). But using elementary properties of the tensor product and Example 3.(1) we obtain isomorphisms of chain complexes C cell (X; R) R C cell (X ; R) = (C cell (X) Z R) R (C cell (X ) Z R) = C cell (X) Z C cell (X ) Z R = C cell (X X ) Z R = C cell (X X ; R). Thus, by passing to homology we obtain the desired short exact sequence.
5 SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS 5 Using the isomorphism between cellular and singular homology, this already allows us to calculate the homology of certain product spaces (see the end of this section and the exercises). Instead, we would like to get rid of the restrictive assumption on the spaces and obtain a similar result for arbitrary spaces. More importantly, the techniques which allow us to do so will play a key role in the next section in which we introduce product structures in singular cohomology. Thus, let us consider spaces X, X and for simplicity let us work with integral coefficients. Then the algebraic Künneth theorem applied to the levelwise free chain complexes C (X), C (X ) in principle allows us to calculate the homology of C (X) C (X ). But instead of this we would prefer to learn something about the homology of the product space, i.e., about the homology of C (X X ). Contrary to the cellular context, the relation between the chain complexes C (X) C (X ) and C (X X ) is more subtle, and our next goal is to investigate this relation. Building on the algebraic Künneth theorem we are able to relate these two chain complexes by first gaining an additional insight about contractible spaces. If X and X are contractible spaces, then the algebraic Künneth theorem implies that the homology of C (X) C (X ) vanishes in positive dimensions. Just to be clear, so far we only knew this for the homology of C (X X ) since a product of contractible spaces is again contractible. But in what follows it is essential that this is also the case for the homology of C (X) C (X ). With this observation we will now show that for arbitrary spaces X, X the chain complexes C (X) C (X ) and C (X X ) are naturally chain homotopy equivalent. Before reading further in this section, we suggest that the reader again has a look at the construction of the chain level cross product in section 5 of the previous course. The methods used in that context are very similar to the ones in some of the following proofs, the difference being that we have now more advanced algebraic tools. (This similarity can be made precise by means of the so-called acyclic models theorem, but we will not get into that.) Thus, we want to find a relation between the functors Top Top Ch 0 (Z) given by (X, X ) C (X X ) and (X, X ) C (X) C (X ). In dimension zero the respective functors are given by C 0 (X X ) and C 0 (X) C 0 (X ). Since the free abelian group functor sends products to tensor products, these two functors are naturally isomorphic. Denoting by κ x : 0 X the map picking out a specified point x X, such a natural isomorphism C 0 (X X ) = C 0 (X) C 0 (X ) is given by the linear extension of the correspondence C 0 (X X ) κ (x,x ) κ x κ x C 0 (X) C 0 (X ). Let us refer to these isomorphisms as the canonical isomorphisms. Although the situation is more complicated in larger dimensions there is the following result. Proposition 7. There is a natural transformation φ: C (X X ) C (X) C (X ), X, X Top, which in degree zero is the canonical isomorphism C 0 (X X ) = C 0 (X) C 0 (X ). Moreover, any two such natural transformations φ, φ are naturally chain homotopic. Proof. We want to construct φ inductively over the dimension of the chains. In dimension zero there is no choice, since the transformation φ 0 : C 0 (X X ) C 0 (X) C 0 (X ) has to be the canonical one. We will continue inductively and, given k 1, we assume that natural transformations φ l : C l (X X ) (C (X) C (X )) l, l k 1, are already constructed such that they assemble to partial chain maps. In dimension k, we begin by considering the special case of
6 6 SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS X = X = k (the so-called models) and we thus want to construct a map φ k : C k ( k k ) (C ( k ) C ( k )) k. In k k there is the particular k-chain given by the diagonal map d k : k k k and first construct φ k (d k ). Whatever this element is, since we want to construct a partial chain map, it has to satisfy the relation φ k (d k ) = φ k 1 (d k ) in (C ( k ) C ( k )) k 1. There are now two cases. (1) Case k = 1: In this case we are looking for an element φ 1 (d 1 ) (C ( 1 ) C ( 1 )) 1 with prescribed boundary equal to φ 0 ( d 1 ) = κ e1 κ e1 κ e0 κ e0. If ι 1 : 1 1 denotes the identity map, then such an element is given by κ e0 ι 1 + ι 1 κ e1. In fact, this follows from the calculation (κ e0 ι 1 + ι 1 κ e1 ) = κ e0 (ι 1 ) + (ι 1 ) κ e1 = κ e0 (κ e1 κ e0 ) + (κ e1 κ e0 ) κ e1 = κ e1 κ e1 κ e0 κ e0. (2) Case k 2: The boundary of the element φ k (d k ) we want to construct has to be φ k 1 ( d k ). By inductive assumption we already have a partial chain map up to dimension k 1, thus we calculate (φ k 1 ( d k )) = φ k 2 ( ( (d k ))) = 0. But this is to say that φ k 1 ( d k ) (C ( k ) C ( k )) k 1 is a positive dimensional cycle of C ( k ) C ( k ). Since k is contractible, the algebraic Künneth theorem implies that this tensor product has trivial homology in positive dimensions. Thus, the cycle φ k 1 ( d k ) has to be a boundary, and any chosen preimage of φ k 1 ( d k ) under will be used to define φ k (d k ). Now, if we are given an arbitrary k-simplex (σ, τ): k X X for arbitrary spaces X, X, then we observe that this simplex factors as (σ τ) d k : k k k X X. But this means that (σ, τ) = (σ τ) (d k ) and the desired naturality of φ k hence forces us to set φ k (σ, τ) = (σ τ )(φ k (d k )). We conclude the definition of φ k on chains by a linear extension and the definition of φ by induction. By construction, φ is natural, consists of group homomorphisms, and it agrees with the canonical isomorphism in dimension zero. It remains to check that φ is compatible with the boundary operators. For this purpose let us again consider an arbitrary k-simplex (σ, τ): k X X and calculate (φ(σ, τ)) = ( (σ τ )(φ(d k )) ) = (σ τ )( φ(d k )) = (σ τ )(φ( d k )) = φ ( (σ τ) (d k ) ) = φ ( (σ τ) (d k ) ) = φ( (σ, τ)). Thus we established the existence of such a natural transformation φ. Let us now show that two such transformations φ, φ are naturally chain homotopic, i.e., we want to construct natural maps s k : C k (X X ) (C (X) C (X )) k+1, k 0,
7 SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS 7 such that s k + s k 1 = φ k φ k : C k (X X ) (C (X) C (X )) k, k 0, where we set s 1 = 0. In the case of k = 0, we can simply set s 0 = 0 since the maps φ 0 and φ 0 agree. Let now k 1 and let us assume inductively that we constructed natural partial chain homotopies up to dimension k 1. In order to define s k, we again stick to the special case of X = X = k and to the particular k-simplex d k : k k k. Whatever the element s k (d k ) is, its boundary would have to agree with (φ k φ k s k 1 )(d k ). But the boundary of this expression can be calculated as (φ φ s k 1 )(d k ) = ( (φ φ) s k 1 ) ) (d k ) = ( (φ φ) + s k 2 (φ φ) ) (d k ) = 0. Thus, (φ k φ k s k 1 )(d k ) (C ( k ) C ( k )) k is a positive dimensional cycle. Since all positive dimensional homology groups of this chain complex vanish, this cycle has to be a boundary and we choose any preimage of it under as the definition of s k (d k ) (C ( k ) C ( k )) k+1. Given an arbitrary k-simplex (σ, τ): k X X, then the desired naturality forces us to set s k (σ, τ) = (σ τ )(s k (d k )). We conclude the definition of s k by linear extension and the definition of s by induction. By construction s consists of natural homomorphisms of abelian groups and it remains to check that we indeed get chain homotopies this way. But considering (σ, τ): k X X this follows from the following calculation which finally concludes the proof. ( s + s )(σ, τ) = (σ τ )s(d k ) + s(σ τ) (d k ) = (σ τ ) s(d k ) + (σ τ )s (d k ) = (σ τ )(φ φ)(d k ) = (φ φ)(σ τ) d k = (φ φ)(σ, τ), We refer to the strategy of this proof as the method of acyclic models. Although we will not make this method precise the reader will develop a good feeling for what is meant. As a further illustration we will give most details in one more such proof. Later, we will allow us to be more and more sketchy. For now, let us recall from section 5 of the previous course that we also have a map in the opposite direction given by the chain level cross product. Proposition 8. There is a natural transformation : C (X) C (X ) C (X X ), X, X Top, such that for x X, x X, σ : p X, and τ : q X we have κ x τ : q = 0 q κ x τ X X and σ κ x : p = p 0 σ κ x X X. Moreover, any two such natural transformations are naturally chain homotopic. The existence of such a natural transformation was already established in the previous course. Here, the result is reformulated using tensor products of chain complexes (which takes care of the biadditivity and the derivation property in the older formulation). Note that the cross product coincides in degree zero with the canonical isomorphism C 0 (X) C 0 (X ) = C 0 (X X ). As for the uniqueness up to homotopy, this is a consequence of the following stronger result.
8 8 SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS Proposition 9. Let F, G: Top 2 Ch 0 (Z) be any of the two functors (X, X ) C (X) C (X ) and (X, X ) C (X X ). If α, β : F G are natural transformations (1) such that α 0 = β 0 is the canonical isomorphism if F and G are different or (2) such that α 0 = β 0 = id if F and G agree, then α and β are naturally chain homotopic. Proof. We only show that any natural transformations ψ, ψ : C (X) C (X ) C (X X ) which both coincide with the canonical isomorphism in degree zero are naturally chain homotopic. The case of the other direction is already taken care of by Proposition 7 and the remaining two cases are left as exercises. Thus, we want to construct maps s k : (C (X) C (X )) k C k+1 (X X ), k 0, such that s k + s k 1 = ψ ψ : (C (X) C (X )) k C k (X X ), where we set s 1 = 0. In the case of k = 0, we can simply set s 0 = 0 since ψ and ψ coincide in that dimension. Let now k 1 and let us assume inductively that we constructed natural partial chain homotopies up to dimension k 1. A construction of s k is equivalent to the construction of natural maps s k : C p (X) C q (X ) C k+1 (X X ), p + q = k. We first consider the special case of X = p and X = q. In that case there is the universal element ι p ι q C p (X) C q (X ) given by the tensor product of the two respective identities. Whatever the element s k (ι p ι q ) is, its boundary has to be (ψ ψ s k 1 )(ι p ι q ). But, using the inductive assumption, the boundary of this expression can be calculated as (ψ ψ s k 1 )(ι p ι q ) = ( (ψ ψ) s k 1 ) ) (ι p ι q ) = ( (ψ ψ) + s k 2 (ψ ψ) ) (ι p ι q ) = 0. Thus, (ψ ψ s k 1 )(ι p ι q ) C k ( p q ) is a positive dimensional cycle. Since p q is contractible, all its positive dimensional homology groups vanish and this cycle is hence a boundary. Any preimage of (ψ ψ s k 1 )(ι p ι q ) under is used as the definition of s k (ι p ι q ). Given arbitrary simplices σ : p X, τ : q X with p + q = k, the naturality of the chain homotopy forces us to set s k (σ τ) = (σ τ) (s k (ι p ι q )). A linear extension and induction concludes the definition of the homomorphisms s k, k N. By construction these define natural homomorphisms of abelian groups and we only have to check that we indeed obtain chain homotopies s: ψ ψ this way. So, for σ : p X and τ : q X let us calculate concluding the proof. ( s + s )(σ τ) = (σ τ) s(ι p ι q ) + s(σ τ ) (ι p ι q ) = (σ τ) s(ι p ι q ) + (σ τ) s (ι p ι q ) = (σ τ) (ψ ψ)(ι p ι q ) = (ψ ψ)(σ τ )(ι p ι q ) = (ψ ψ)(σ τ), The previous three propositions taken together yield the following.
9 SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS 9 Theorem 10. (Eilenberg Zilber theorem) Let X and X be topological spaces. The chain level cross product and the morphisms φ of Proposition 7 are inverse natural chain homotopy equivalences : C (X) C (X ) C (X X ) and φ: C (X X ) C (X) C (X ). Proof. By Proposition 7 and Propositon 8 both natural transformations coincide with the canonical isomorphisms in degree zero. Thus, the composition of them and the identity transformation C (X) C (X ) C (X X ) φ C (X) C (X ) and C (X) C (X ) id C (X) C (X ) coincide with the identities in degree zero. Proposition 9 implies that there is a natural chain homotopy s: φ id. Similarly, we also obtain a natural chain homotopy s : φ id, and hence conclude that these are inverse natural chain homotopy equivalences. Thus, although the chain complexes C (X) C (X ) and C (X X ) are not isomorphic they are chain homotopy equivalent. The algebraic Künneth theorem then has the following additional geometric variant. Theorem 11. (Geometric Künneth theorem for singular homology) Let X and X be topological spaces and let R be a principal ideal domain. Then there is a natural short exact sequence 0 (H (X; R) R H (X ; R)) k H k (X X ; R) Tor R (H (X; R), H (X ; R)) k 1 0. Moreover, this short exact sequence splits (but the splitting is not natural in the spaces). Proof. By the algebraic Künneth theorem applied to the levelwise free chain complexes C (X; R) and C (X ; R) we know that there is such a short exact sequence with the middle term replaced by H k (C (X; R) R C (X ; R)). But by the Eilenberg Zilber theorem we have a natural chain homotopy equivalence C (X; R) R C (X ; R) = (C (X) Z R) R (C (X ) Z R) = C (X) Z C (X ) Z R C (X X ) Z R = C (X X ; R), specializing to a natural isomorphism H k (C (X; R) R C (X ; R)) = H k (X X ; R). Thus, in particular, if the homology of one of the spaces involved is free then the torsion term vanishes and the homology of the product is just the tensor product of the homologies of the two spaces. Over a field, the torsion group is always trivial so that we obtain the following consequence. Corollary 12. Let X, X be topological spaces and let F be a field. Then the homology cross product induces a natural isomorphism of graded F-vector spaces : H (X; F) F H (X ; F) = H (X X ; F). Among other examples, the reader is asked to establish the following one in the exercises. Example 13. Let T n = S 1... S 1 be the n-dimensional torus, i.e., the n-fold product of S 1 with itself. For an arbitrary abelian group A there is a natural isomorphism H k (T n ; A) = A (n k), 0 k n.
10 10 SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS This isomorphism is not only an abstract isomorphism but it also tells us what the generators look like. They are given by cross products of the corresponding generators of the homology groups of the circles.
EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY
EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationMath 757 Homology theory
Math 757 Homology theory March 3, 2011 (for spaces). Given spaces X and Y we wish to show that we have a natural exact sequence 0 i H i (X ) H n i (Y ) H n (X Y ) i Tor(H i (X ), H n i 1 (Y )) 0 By Eilenberg-Zilber
More informationSECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationNOTES ON CHAIN COMPLEXES
NOTES ON CHAIN COMPLEXES ANDEW BAKE These notes are intended as a very basic introduction to (co)chain complexes and their algebra, the intention being to point the beginner at some of the main ideas which
More informationRational homotopy theory
Rational homotopy theory Alexander Berglund November 12, 2012 Abstract These are lecture notes for a course on rational homotopy theory given at the University of Copenhagen in the fall of 2012. Contents
More information2.5 Excision implies Simplicial = Singular homology
2.5 Excision implies Simplicial = Singular homology 1300Y Geometry and Topology 2.5 Excision implies Simplicial = Singular homology Recall that simplicial homology was defined in terms of a -complex decomposition
More information48 CHAPTER 2. COMPUTATIONAL METHODS
48 CHAPTER 2. COMPUTATIONAL METHODS You get a much simpler result: Away from 2, even projective spaces look like points, and odd projective spaces look like spheres! I d like to generalize this process
More informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
More informationCHAPTER 10. Cohomology
208 CHAPTER 10 Cohomology 1. Cohomology As you learned in linear algebra, it is often useful to consider the dual objects to objects under consideration. This principle applies much more generally. For
More informationExercises for Algebraic Topology
Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via
More information0.1 Universal Coefficient Theorem for Homology
0.1 Universal Coefficient Theorem for Homology 0.1.1 Tensor Products Let A, B be abelian groups. Define the abelian group A B = a b a A, b B / (0.1.1) where is generated by the relations (a + a ) b = a
More informationMONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY
MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY Contents 1. Cohomology 1 2. The ring structure and cup product 2 2.1. Idea and example 2 3. Tensor product of Chain complexes 2 4. Kunneth formula and
More informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More information6 Axiomatic Homology Theory
MATH41071/MATH61071 Algebraic topology 6 Axiomatic Homology Theory Autumn Semester 2016 2017 The basic ideas of homology go back to Poincaré in 1895 when he defined the Betti numbers and torsion numbers
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationTensor, Tor, UCF, and Kunneth
Tensor, Tor, UCF, and Kunneth Mark Blumstein 1 Introduction I d like to collect the basic definitions of tensor product of modules, the Tor functor, and present some examples from homological algebra and
More informationON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS
ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationCELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1
CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA PAOLO DEGIORGI Abstract. This paper will first go through some core concepts and results in homology, then introduce the concepts of CW complex, subcomplex
More informationAlgebraic Topology Final
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Algebraic Topology Final Solutions 1. Let M be a simply connected manifold with the property that any map f : M M has a
More informationVECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES
VECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES THOMAS HÜTTEMANN Abstract. We present an algebro-geometric approach to a theorem on finite domination of chain complexes over
More informationRational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley
Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Reference. Halperin-Stasheff Obstructions to homotopy equivalences Question. When can a given
More informationHOMOLOGY AND COHOMOLOGY. 1. Introduction
HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationThe Universal Coefficient Theorem
The Universal Coefficient Theorem Renzo s math 571 The Universal Coefficient Theorem relates homology and cohomology. It describes the k-th cohomology group with coefficients in a(n abelian) group G in
More informationALGEBRAIC TOPOLOGY IV. Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by
ALGEBRAIC TOPOLOGY IV DIRK SCHÜTZ 1. Cochain complexes and singular cohomology Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by Hom(A, B) = {ϕ: A B ϕ homomorphism}
More informationTHE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things.
THE STEENROD ALGEBRA CARY MALKIEWICH The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. 1. Brown Representability (as motivation) Let
More informationMath 272b Notes; Spring 2005 Michael Hopkins
Math 272b Notes; Spring 2005 Michael Hopkins David Glasser February 9, 2005 1 Wed, 2/2/2005 11 Administrivia mjh@mathharvardedu Computing homotopy groups lets you classify all spaces Homotopy theory on
More informationMinimal Cell Structures for G-CW Complexes
Minimal Cell Structures for G-CW Complexes UROP+ Final Paper, Summer 2016 Yutao Liu Mentor: Siddharth Venkatesh Project suggested by: Haynes Miller August 31, 2016 Abstract: In this paper, we consider
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More information0, otherwise Furthermore, H i (X) is free for all i, so Ext(H i 1 (X), G) = 0. Thus we conclude. n i x i. i i
Cohomology of Spaces (continued) Let X = {point}. From UCT, we have H{ i (X; G) = Hom(H i (X), G) Ext(H i 1 (X), G). { Z, i = 0 G, i = 0 And since H i (X; G) =, we have Hom(H i(x); G) = Furthermore, H
More informationDerived Functors and Explicit Projective Resolutions
LECTURE 12 Derived Functors and Explicit Projective Resolutions A Let X and Y be complexes of A-modules. Recall that in the last lecture we defined Hom A (X, Y ), as well as Hom der A (X, Y ) := Hom A
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationDEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE
DEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE ANGELA ORTEGA (NOTES BY B. BAKKER) Throughout k is a field (not necessarily closed), and all varieties are over k. For a variety X/k, by a basepoint
More informationTopological Data Analysis - Spring 2018
Topological Data Analysis - Spring 2018 Simplicial Homology Slightly rearranged, but mostly copy-pasted from Harer s and Edelsbrunner s Computational Topology, Verovsek s class notes. Gunnar Carlsson s
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationRational Hopf G-spaces with two nontrivial homotopy group systems
F U N D A M E N T A MATHEMATICAE 146 (1995) Rational Hopf -spaces with two nontrivial homotopy group systems by Ryszard D o m a n (Poznań) Abstract. Let be a finite group. We prove that every rational
More informationLecture in the summer term 2017/18. Topology 2
Ludwig-Maximilians-Universität München Prof. Dr. Thomas Vogel Lecture in the summer term 2017/18 Topology 2 Please note: These notes summarize the content of the lecture, many details and examples are
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationMATH 215B HOMEWORK 5 SOLUTIONS
MATH 25B HOMEWORK 5 SOLUTIONS. ( marks) Show that the quotient map S S S 2 collapsing the subspace S S to a point is not nullhomotopic by showing that it induces an isomorphism on H 2. On the other hand,
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
More informationfor some n i (possibly infinite).
Homology with coefficients: The chain complexes that we have dealt with so far have had elements which are Z-linear combinations of basis elements (which are themselves singular simplices or equivalence
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More information10 Excision and applications
22 CHAPTER 1. SINGULAR HOMOLOGY be a map of short exact sequences of chain complexes. If two of the three maps induced in homology by f, g, and h are isomorphisms, then so is the third. Here s an application.
More informationEXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS
EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS CLARA LÖH Abstract. By Gromov s mapping theorem for bounded cohomology, the projection of a group to the quotient by an amenable normal subgroup
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationGK-SEMINAR SS2015: SHEAF COHOMOLOGY
GK-SEMINAR SS2015: SHEAF COHOMOLOGY FLORIAN BECK, JENS EBERHARDT, NATALIE PETERNELL Contents 1. Introduction 1 2. Talks 1 2.1. Introduction: Jordan curve theorem 1 2.2. Derived categories 2 2.3. Derived
More information1 Hochschild Cohomology and A : Jeff Hicks
1 Hochschild Cohomology and A : Jeff Hicks Here s the general strategy of what we would like to do. ˆ From the previous two talks, we have some hope of understanding the triangulated envelope of the Fukaya
More informationThe Cubical Cohomology Ring: An Algorithmic Approach
The Cubical Cohomology Ring: An Algorithmic Approach Tomasz Kaczynski Université de Sherbrooke and Marian Mrozek Jagiellonian University in Kraków and WSB-NLU in Nowy S acz September 27, 2012 Abstract
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationChern Classes and the Chern Character
Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the
More informationTopology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2
Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2 Andrew Ma August 25, 214 2.1.4 Proof. Please refer to the attached picture. We have the following chain complex δ 3
More informationMath 6802 Algebraic Topology II
Math 6802 Algebraic Topology II Nathan Broaddus Ohio State University February 9, 2015 Theorem 1 (The Künneth Formula) If X and Y are spaces then there is a natural exact sequence 0 i H i (X ) H n i (Y
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationLOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT
LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT DENNIS GAITSGORY 1. Statement of the problem Throughout the talk, by a chiral module we shall understand a chiral D-module, unless explicitly stated
More information6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not
6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky
More informationOn the Merkulov construction of A -(co)algebras
On the Merkulov construction of A -(co)algebras Estanislao Herscovich Abstract The aim of this short note is to complete some aspects of a theorem proved by S. Merkulov in [7], Thm. 3.4, as well as to
More informationCOMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY
COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationarxiv:math/ v1 [math.at] 6 Oct 2004
arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationLECTURE X: KOSZUL DUALITY
LECTURE X: KOSZUL DUALITY Fix a prime number p and an integer n > 0, and let S vn denote the -category of v n -periodic spaces. Last semester, we proved the following theorem of Heuts: Theorem 1. The Bousfield-Kuhn
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationUNIVERSAL DERIVED EQUIVALENCES OF POSETS
UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationThe positive complete model structure and why we need it
The positive complete model structure and why we need it Hood Chatham Alan told us in his talk about what information we can get about the homotopical structure of S G directly. In particular, he built
More informationIterated Bar Complexes of E-infinity Algebras and Homology Theories
Iterated Bar Complexes of E-infinity Algebras and Homology Theories BENOIT FRESSE We proved in a previous article that the bar complex of an E -algebra inherits a natural E -algebra structure. As a consequence,
More informationSolution: We can cut the 2-simplex in two, perform the identification and then stitch it back up. The best way to see this is with the picture:
Samuel Lee Algebraic Topology Homework #6 May 11, 2016 Problem 1: ( 2.1: #1). What familiar space is the quotient -complex of a 2-simplex [v 0, v 1, v 2 ] obtained by identifying the edges [v 0, v 1 ]
More informationMath Homotopy Theory Spring 2013 Homework 13 Solutions
Math 527 - Homotopy Theory Spring 2013 Homework 13 Solutions Definition. A space weakly equivalent to a product of Eilenberg-MacLane spaces is called a generalized Eilenberg-MacLane space, or GEM for short.
More informationQUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry
QUALIFYING EXAM, Fall 2017 Algebraic Topology and Differential Geometry 1. Algebraic Topology Problem 1.1. State the Theorem which determines the homology groups Hq (S n \ S k ), where 1 k n 1. Let X S
More informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
More informationNotes on the definitions of group cohomology and homology.
Notes on the definitions of group cohomology and homology. Kevin Buzzard February 9, 2012 VERY sloppy notes on homology and cohomology. Needs work in several places. Last updated 3/12/07. 1 Derived functors.
More informationA NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS
A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS RAVI JAGADEESAN AND AARON LANDESMAN Abstract. We give a new proof of Serre s result that a Noetherian local ring is regular if
More informationAlgebraic Topology. Len Evens Rob Thompson
Algebraic Topology Len Evens Rob Thompson Northwestern University City University of New York Contents Chapter 1. Introduction 5 1. Introduction 5 2. Point Set Topology, Brief Review 7 Chapter 2. Homotopy
More informationALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.
ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)
More informationAn Introduction to Spectral Sequences
An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationIntroduction to higher homotopy groups and obstruction theory
Introduction to higher homotopy groups and obstruction theory Michael Hutchings February 17, 2011 Abstract These are some notes to accompany the beginning of a secondsemester algebraic topology course.
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More information