SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS

Size: px
Start display at page:

Download "SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS"

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 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 information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 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 information

Math Homotopy Theory Hurewicz theorem

Math 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 information

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0

NOTES 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 information

Math 757 Homology theory

Math 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 information

SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES

SECTION 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 information

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

A 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 information

p,q H (X), H (Y ) ), where the index p has the same meaning as the

p,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 information

CW-complexes. Stephen A. Mitchell. November 1997

CW-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 information

Algebraic Geometry Spring 2009

Algebraic 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 information

Math 6510 Homework 10

Math 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 information

INTRO TO TENSOR PRODUCTS MATH 250B

INTRO 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 information

A Primer on Homological Algebra

A 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 information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De 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 information

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

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 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 information

NOTES ON CHAIN COMPLEXES

NOTES 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 information

Rational homotopy theory

Rational 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 information

2.5 Excision implies Simplicial = Singular homology

2.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 information

48 CHAPTER 2. COMPUTATIONAL METHODS

48 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 information

EXT, TOR AND THE UCT

EXT, 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 information

CHAPTER 10. Cohomology

CHAPTER 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 information

Exercises for Algebraic Topology

Exercises 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 information

0.1 Universal Coefficient Theorem for Homology

0.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 information

MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY

MONDAY - 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 information

An Outline of Homology Theory

An 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 information

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

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 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 information

6 Axiomatic Homology Theory

6 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 information

Hungry, Hungry Homology

Hungry, 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 information

Tensor, Tor, UCF, and Kunneth

Tensor, 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 information

ON 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 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 information

Math 210B. Artin Rees and completions

Math 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 information

CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1

CELLULAR 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 information

Algebraic Topology Final

Algebraic 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 information

VECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES

VECTOR 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 information

Rational 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 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 information

HOMOLOGY AND COHOMOLOGY. 1. Introduction

HOMOLOGY 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 information

Algebraic Topology exam

Algebraic 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 information

The Ordinary RO(C 2 )-graded Cohomology of a Point

The 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 information

Algebraic Geometry Spring 2009

Algebraic 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 information

The Universal Coefficient Theorem

The 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 information

ALGEBRAIC TOPOLOGY IV. Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by

ALGEBRAIC 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 information

THE 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. 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 information

Math 272b Notes; Spring 2005 Michael Hopkins

Math 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 information

Minimal Cell Structures for G-CW Complexes

Minimal 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 information

Math 752 Week s 1 1

Math 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 information

0, 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

0, 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 information

Derived Functors and Explicit Projective Resolutions

Derived 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 information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC 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 information

DEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE

DEFINITION 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 information

Topological Data Analysis - Spring 2018

Topological 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 information

PERVERSE SHEAVES ON A TRIANGULATED SPACE

PERVERSE 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 information

Rational Hopf G-spaces with two nontrivial homotopy group systems

Rational 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 information

Lecture in the summer term 2017/18. Topology 2

Lecture 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 information

Lecture on Equivariant Cohomology

Lecture 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 information

MATH 215B HOMEWORK 5 SOLUTIONS

MATH 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 information

121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality

121B: 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 information

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )

Eilenberg-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 information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 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 information

MTH 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 MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories

More information

Math 210B. Profinite group cohomology

Math 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 information

for some n i (possibly infinite).

for 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 information

The Hurewicz Theorem

The 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 information

10 Excision and applications

10 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 information

EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS

EXPLICIT 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 information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

ALGEBRAIC 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 information

GK-SEMINAR SS2015: SHEAF COHOMOLOGY

GK-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 information

1 Hochschild Cohomology and A : Jeff Hicks

1 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 information

The Cubical Cohomology Ring: An Algorithmic Approach

The 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 information

1. Classifying Spaces. Classifying Spaces

1. 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 information

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY 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 information

Chern Classes and the Chern Character

Chern 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 information

Topology 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 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 information

Math 6802 Algebraic Topology II

Math 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 information

Direct Limits. Mathematics 683, Fall 2013

Direct 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 information

LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT

LOCAL 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 information

6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not

6. 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 information

On the Merkulov construction of A -(co)algebras

On 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 information

COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY

COMMUTATIVE 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 information

Homological Methods in Commutative Algebra

Homological 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 information

arxiv:math/ v1 [math.at] 6 Oct 2004

arxiv: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 information

Duality, Residues, Fundamental class

Duality, 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 information

58 CHAPTER 2. COMPUTATIONAL METHODS

58 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 information

LECTURE X: KOSZUL DUALITY

LECTURE 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 information

STABLE MODULE THEORY WITH KERNELS

STABLE 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 information

UNIVERSAL DERIVED EQUIVALENCES OF POSETS

UNIVERSAL 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 information

Math 248B. Applications of base change for coherent cohomology

Math 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 information

The positive complete model structure and why we need it

The 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 information

Iterated Bar Complexes of E-infinity Algebras and Homology Theories

Iterated 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 information

Solution: 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:

Solution: 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 information

Math Homotopy Theory Spring 2013 Homework 13 Solutions

Math 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 information

QUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry

QUALIFYING 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 information

This 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:

This 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 information

Notes on the definitions of group cohomology and homology.

Notes 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 information

A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS

A 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 information

Algebraic Topology. Len Evens Rob Thompson

Algebraic 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 information

ALGEBRAIC 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. 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 information

An Introduction to Spectral Sequences

An 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 information

Smith theory. Andrew Putman. Abstract

Smith 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 information

Introduction to higher homotopy groups and obstruction theory

Introduction 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 information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A 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