Homology of Chain Complexes

Similar documents
GROUP ALGEBRAS. ANDREI YAFAEV

Mathematics Course 111: Algebra I Part IV: Vector Spaces

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

Chapter 13: Basic ring theory

4.1 Modules, Homomorphisms, and Exact Sequences

NOTES ON CATEGORIES AND FUNCTORS

Finite dimensional topological vector spaces

Group Theory. Contents

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

SMALL SKEW FIELDS CÉDRIC MILLIET

Galois representations with open image

it is easy to see that α = a

Finite dimensional C -algebras

GROUPS ACTING ON A SET

Math 231b Lecture 35. G. Quick

Chapter 7. Homotopy. 7.1 Basic concepts of homotopy. Example: z dz. z dz = but

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

ADDITIVE GROUPS OF RINGS WITH IDENTITY

Chapter 7. Permutation Groups

G = G 0 > G 1 > > G k = {e}

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ?

NOTES ON LINEAR TRANSFORMATIONS

How To Prove The Dirichlet Unit Theorem

Universitat de Barcelona

Elements of Abstract Group Theory

EXERCISES FOR THE COURSE MATH 570, FALL 2010

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:

Section IV.21. The Field of Quotients of an Integral Domain

Row Ideals and Fibers of Morphisms

ALGEBRA HW 5 CLAY SHONKWILER

3 1. Note that all cubes solve it; therefore, there are no more

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Factoring of Prime Ideals in Extensions

Matrix Representations of Linear Transformations and Changes of Coordinates

(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.

FIBER PRODUCTS AND ZARISKI SHEAVES

8.1 Examples, definitions, and basic properties

ORIENTATIONS. Contents

Chapter 7: Products and quotients

Geometric Transformations

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS

How To Find Out How To Build An Elliptic Curve Over A Number Field

CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY

Systems of Linear Equations

Online publication date: 11 March 2010 PLEASE SCROLL DOWN FOR ARTICLE

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE

6 Commutators and the derived series. [x,y] = xyx 1 y 1.

Continued Fractions and the Euclidean Algorithm

Algebra of the 2x2x2 Rubik s Cube

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.

r(x + y) =rx + ry; (r + s)x = rx + sx; r(sx) =(rs)x; 1x = x

1 Local Brouwer degree

11 Ideals Revisiting Z

1 = (a 0 + b 0 α) (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

1 Sets and Set Notation.

The cover SU(2) SO(3) and related topics

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

4. FIRST STEPS IN THE THEORY 4.1. A

26 Ideals and Quotient Rings

T ( a i x i ) = a i T (x i ).

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set

A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Linear Algebra Notes for Marsden and Tromba Vector Calculus

Math 4310 Handout - Quotient Vector Spaces

Section The given line has equations. x = 3 + t(13 3) = t, y = 2 + t(3 + 2) = 2 + 5t, z = 7 + t( 8 7) = 7 15t.

Effective homotopy of the fiber of a Kan fibration

FIBER BUNDLES AND UNIVALENCE

An Introduction to Braid Theory

Non-unique factorization of polynomials over residue class rings of the integers

Assignment 8: Selected Solutions

Classification of Cartan matrices

Cardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set.

Math 312 Homework 1 Solutions

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

Notes on Determinant

Solving Systems of Linear Equations

r + s = i + j (q + t)n; 2 rs = ij (qj + ti)n + qtn.

Galois Theory III Splitting fields.

Quotient Rings and Field Extensions

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

Solving Linear Systems, Continued and The Inverse of a Matrix

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

MODULES OVER A PID KEITH CONRAD

3. Prime and maximal ideals Definitions and Examples.

You know from calculus that functions play a fundamental role in mathematics.

A NOTE ON FINITE FIELDS

Invertible elements in associates and semigroups. 1

COMPUTING WITH HOMOTOPY 1- AND 2-TYPES WHY? HOW? Graham Ellis NUI Galway, Ireland

Table of Contents. Introduction... 1 Chapter 1. Vector Bundles Chapter 2. K Theory Chapter 3. Characteristic Classes...

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory

α = u v. In other words, Orthogonal Projection

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

GENERATING SETS KEITH CONRAD

Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces

Transcription:

Homology of Chain Complexes Skripte zur Vorlesung Prof. Dr. Klaus Johannson I. Properties of Chain Complexes. 1. Abelian Groups. 2. Chain Complexes. II. Properties of Homology. 3. Homology of Quotients. 4. Mapping Cylinders and Chain Homotopies 5. Cohomology of Duals. 6. Tensor Product for Chain Complexes. 7. Homology of Tensor Products. III. Applications. 8. Weak Lefschetz Fixpoint Theorem. 9. Strong Lefschetz Fixpoint Theorem. 10. Homology for Group Actions

1. Abelian Groups. In this section we discuss some basic results of abelian groups and their dual groups. We introduce chain complexes built from them and we define homology and cohomology groups. 1. Classification. We begin with some basic results concerning abelian groups. So let G be a finitely generated abelian group. In many respects G behaves like a vector space. But there is one important difference, namely the possibility of finite elements. Here we say an element g G is a finite element (or: an element of finite order or: a torsion element) if ng = 0, for some n Z with n 0. Otherwise g is called an infinite element (or: an element of infinite order). Given this notation define Tor(G) := {g G g is finite } {0} Free(G) := G/Tor(G). It turns out that Tor(G) is a subgroup and that Free(G) is isomorphic to a subgroup Free(G) in G with Free(G) Tor(G) = {0} and Free(G) Tor(G) = G. The shorthand expression for this fact is G = Free(G) Tor(G) If Tor(G) = {0}, i.e., if Free(G) = G, we say G is a free abelian group. Note further that the torsion subgroup Tor(G) is a finite subgroup. Remark. Analyzing the groups Free(G) and Tor(G) further one finds out that Free(G) = Z... Z, Tor(G) }{{} = Z m1... Z mn. m times This decomposition is not unique. For instance, Z m Z n is ismorphic to Z mn if gcd(m,n) = 1 (it is not cyclic if gcd(m,n) 1). We get a unique decomposition with the additional requirement m 1 m 2... m n ( *). For historical reasons, the number m is called the Betti number and the numbers m 1,...,m n are called the torsion coefficients of G. See below for a calculation of those numbers. * see [Seifert-Threlfall, Lehrbuch der Topologie. 86,87]

2. Abelian Groups 2. Generating Abelian Groups. Let M be a set. Then define F(M) := { a m m a m Z and a m = 0, for almost all m M } where a m m denotes the formal sum such as 2a + 3b 4c. Define a composition + : F(M) F(M) F(M) by setting ( a m m) + ( b n n) = c p p where { am, if p = m and m n c p = b n, if p = n and m n a m + a n, if p = m = n. Definition. F(M) as constructed above is called the free abelian group generated by the set M. Example. It is very easy to create a finitely generated abelian group and to find its Betti and torsion numbers. One starts with a collection of letters such as a,b,c and a collection of sums such as 3a + 5b 2c,2a + b + 5c. Given these data the abelian group G as the quotient group of the free abelian generated by a,b,c modulo the (normal) subgroup generated by the sums 3a + 5b 2c, 2a + b + 5c. Note that the group G is completely represented by the matrix: [ ] 3 5 2 2 1 5 Here the rows are labelled by the sums r 1 = 3a + 5b 2c, r 2 = 2a + b + 5c and the columns are labelled by the generators a, b, c. Recall that every integer matrix can be put in normal form, using row- and column-operations alone. For instance, we have the following operations for the matrix above [ ] [ ] [ ] 3 5 2 1 4 7 1 0 7 2 1 5 2 1 5 2 7 5 [ ] [ ] [ ] 1 0 0 1 0 0 1 0 0 2 7 19 0 7 5 0 2 5 [ ] [ ] 1 0 0 1 0 0 0 2 1 0 0 1

1 Abelian Groups 3 This means that the generators a,b,c can be changed, using additions and substractions of generators alone, to the generators a,b,c with a = 0,c = 0 and no condition on b. Thus G = Z =< b > is the free cyclic group Z generated by b. If the 1 in the first column were a 3 instead, then 3a = 0 and G would be G =< b > < a 3a = 0 > = Z Z/3Z = Z Z 3. Remark. If we wanted to we could iterate the above construction. Indeed, given a group (G, ), we can repeat the formal definition and formally define a sum by setting F(G) := { a m m a m Z and a m = 0, for almost all m G } + : F(G) F(G) F(G) ( a m m) + ( b n n) = c p p as before. So far we have not done anythng different. But notice that G comes with a product : G G G which has not been used yet. We can use it to define a multiplication by setting as required by the distributative law. : F(G) F(G) ( a m m) ( b n n) := c p p Definition. Let G be a group. Then F(G),+, ) constructed above is a ring. It is called the group ring generated by the group (G, ).

4. Abelian Groups 3. Constructing Abelian Groups. There are three important constructions for abelian groups that we single out, the direct sum, the quotient, and the dual groups. Definition. Let G,H be two abelian groups. Then G H denotes the abelian group (G H,+) whose composition is given by (g 1,h 1 ) + (g 2,h 2 ) = (g 1 + g 2,h 1 + h 2 ). Notation: G H is called the direct sum of G and H. Definition. Let H be a subgroup of the abelian group G. Then G/H denotes the abelian group (G/H, +) whose composition is given by [g] + [h] := [g + h]. Notation: G/H is called the quotient group of G modulo H. Definition. Let G be an abelian group. Then Hom(G, Z) := { ϕ : G Z ϕ is a homomorphism } is the abelian group whose composition is given by (ϕ + ψ)(g) = ϕ(g) + ψ(g). Notation. Hom(G, Z) is called the dual group of G. It is also denoted by G. Remark. It is easily verified that G H, G/H and Hom(G, Z), together with the compositions given above, are abelian groups again. Remark. Every homomorphism ϕ : G G between abelian group induces a dual homomorphism ϕ : (G ) G, f f ϕ, between the dual groups, because (f 1 + f 2 ) ϕ(x) = f 1 ϕ(x) + f 2 ϕ(x), for all x G. Definition. Let C,D be two abelian groups. Then define: (1) F(C D) := the free abelian group generated by the set C D.

1 Abelian Groups 5 (2) := the equivalence relation on F(C D) generated by: (3) C D := F(C D)/. (a,b) + (c,b) (a + c,b) (a,b) + (a,c) (a,b + c) r(a,b) (ra,b) (a,rb) Notation. C D is called the tensor product of C and D. Remark. C D, together with the addition defined above, is an abelian group. Its elements are equivalence classes represended by α ij c i d j, where c i d j := [(c i,d j )]. Lemma. Let C, D be abelian groups and let C D be the tensor product. Then the map π : C D C D, (c,d) c d is a bilinear map with the property: for all bilinear maps ϕ, there is a linear map ψ that makes the following diagram commutative: ϕ C D E π ր ψ C D Proof. Follows directly from the construction. Example. Z 3 Z 5 = 0 and Z m Z n = Zgcd(m,n). (by definition of Z n, it follows that Z 1 = 0).

6. Abelian Groups 4. Calculating Dual Groups. Proposition. The following holds: (1) (G 1 G 2 ) = G 1 G 2, if G 1,G 2 are abelian groups. (2) Z = Z. (3) Z m = {0}. Proof. ad (1) Let f (G 1 G 2 ). Then f is a homomorphism f : G 1 G 2 Z. Set f i := f G i, i = 1,2. Then f 1 G 1,f 2 G 2 and so f 1 f 2 G 1 G 2. It is easily verified that the assignment f f 1 f 2 defines an isomorphism (G 1 G 2 ) G 1 G 2. ad (2) Define a map ϕ : Z Z, f f(1). Then ϕ(f 1 + f 2 ) = (f 1 + f 2 )(1) = f 1 (1) + f 2 (1) = ϕ(f 1 ) + ϕ(f 2 ) Thus ϕ is a homomorphism. Moreover, f ker(ϕ) f(1) = 0 f(1 +... + 1) = 0. This means f(x) = 0, for all x Z. Thus ϕ is injective. Finally, for every a Z, let f a : G Z be the extension of the map f a (1) = a, Then f a G with ϕ(f a ) = f a (1) = a. Hence ϕ is surjective. Thus, altogether, ϕ is an isomorphism. ad (3) Let f Z m. Then f is a homomorphism f : Z m Z. Set a = f(1). Then 0 = f[0] = f[m] = mf(1) = ma and so a = 0 since m 0. It follows that f(x) = 0, for all x Z. Hence Z m = {0}. Corollary. Let G be a finitely generated abelian group. Then G = Free(G). Proof. By the classification of finitely generated abelian groups we have G = Z... Z Z m1... Z mn and so G = Z... Z (Z m1 )... (Z mn ) = Z... Z = Z... Z = Free(G). We collect the following results without proof. Proposition. The dual of a homomorphism has the following properties. (1) id = id (2) (ψ ϕ) = ϕ ψ (3) if ϕ is an isomorphism so is ϕ (4) if ϕ is the zero homomorphism so is ϕ

(5) if ϕ is surjective, then the dual ϕ is injective. 1 Abelian Groups 7 (6) if ϕ is an injective homomorphism, then the dual ϕ need not be surjective. Warning. The dual of an injective homomorphism need not be surjective. 5. Exact Sequences of Abelian Groups. Definition. A sequence ϕ m+1 ϕ m 0... A m+1 Am Am 1... 0 of abelian groups A m and homomorphisms ϕ m : A m A m 1 is called an exact sequence if im(ϕ m+1 ) = ker(ϕ m ) Theorem. Let be a short exact sequence of abelian group. Suppose D is a free abelian group. Then the induced sequences are also short exact sequences. Proof. 0 A B C 0 0 A D B D C D 0 0 Hom(A,D) Hom(B,D) Hom(C,D) 0 Theorem. Let 0 A B ϕ C 0 be a short exact sequence of finitely generated, free abelian group. Then there is a homomorphism ψ : C B with ϕψ = id: 0 A B ψ ϕ C 0 Notation. ψ is called a splitting homomorphism since Proof. B = ker(ϕ) im(ψ).

8. Abelian Groups Five Term Theorem. In the following commutative diagram of abelian groups and homomorphisms, suppose that (1) the two horizontal rows are exact sequences and that (2) the maps α,β and δ,ǫ are isomorphisms: A i B j C k D l E Then γ is an isomorphism. α β γ δ ǫ A i B j C k D l E Proof. The theorem follows from the following two claims. Claim 1. Suppose β,δ are surjective and ǫ is injective. Then γ is surjective. Let c C be an arbitrary element. Then we have k (c) = δ(d), for some d D (since δ is surjective) l(d) = 0 (since ǫ is injective and since ǫl(d) = l δ(d) = l k (c) = 0) d = k(c), for some c C (since the top-row is exact) k (c γ(c)) = 0, (since k (c ) k γ(c) = k (c) δk(c) = k (c ) = 0). c γ(c) = j (b ), for some b B (by exactness) b = β(b), for some b B (since β is surjective) γ(c + j(b)) = c (since γ(c + j(b)) = γ(c) + γj(b)γ(c) + j β(b) = γ(c) + j (b ) = c ) and so γ is surjective since c was arbitrary.

1 Abelian Groups 9 Claim 2. Suppose β,δ are injective and α is surjective. Then γ is injective. Let c ker(γ). Then we have δk(c) = 0 (since δk(c) = k γ(c)) k(c) = 0 (since δ is injective) c = j(b), for some b B β(b) = i (a ), for some a A (since j β(b) = γj(b) = γ(c) = 0) a = α(a) (since α is surjective) i(a) b = 0 (since β is injective and since β(i(a) b) = βi(a) β(b) = i α(a) β(b) = i (a ) β(b) = 0) b = i(a) c = 0 (since c = j(b) = ji(a) and since ji = 0) It follows that γ is injective. This finishes the proof of the theorem. The material of this section is taken from [Hatcher, Algebraic Topology].