The dual homomorphism to f : A B is the homomorphism f : Hom(A, G) Hom(B, G)

Similar documents
The Universal Coefficient Theorem

EXT, TOR AND THE UCT

HOMOLOGY AND COHOMOLOGY. 1. Introduction

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

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

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

A Primer on Homological Algebra

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

Homology and Cohomology

CHAPTER 10. Cohomology

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

TCC Homological Algebra: Assignment #3 (Solutions)

are additive in each variable. Explicitly, the condition on composition means that given a diagram

1 Whitehead s theorem.

Notes on the definitions of group cohomology and homology.

HOMEWORK SET 3. Local Class Field Theory - Fall For questions, remarks or mistakes write me at

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

Algebraic Topology Final

Lecture 9 - Faithfully Flat Descent

TRIANGULATED CATEGORIES, SUMMER SEMESTER 2012

H i (X) H j (X) H i+j (X X) H i+j (X)

0.1 Universal Coefficient Theorem for Homology

The group C(G, A) contains subgroups of n-cocycles and n-coboundaries defined by. C 1 (G, A) d1

Study Guide Harvard Mathematics Qualification Exam. Atanas Atanasov Charmaine Sia

Recall: a mapping f : A B C (where A, B, C are R-modules) is called R-bilinear if f is R-linear in each coordinate, i.e.,

STABLE MODULE THEORY WITH KERNELS

Adjoints, naturality, exactness, small Yoneda lemma. 1. Hom(X, ) is left exact

Algebraic Topology exam

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

Lie Algebra Cohomology

EQUIVARIANT ALGEBRAIC TOPOLOGY

MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY

43 Projective modules

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

Direct Limits. Mathematics 683, Fall 2013

Math 752 Week s 1 1

NOTES ON CHAIN COMPLEXES

Algebraic Topology. John W. Morgan P. J. Lamberson. August 21, 2003

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0

Operator Algebras II, Homological functors, derived functors, Adams spectral sequence, assembly map and BC for compact quantum groups.

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

Intersection homology duality and pairings: singular, PL, and sheaf-theoretic

38 Irreducibility criteria in rings of polynomials

TEST GROUPS FOR WHITEHEAD GROUPS

Homological Algebra. Department of Mathematics The University of Auckland

Winter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada

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

Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.

Endomorphism Rings of Abelian Varieties and their Representations

This section is preparation for the next section. Its main purpose is to introduce some new concepts.

Algebraic Structures 3

Gorenstein Injective Modules

Homotopy groups with coefficients

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

ERRATA for An Introduction to Homological Algebra 2nd Ed. June 3, 2011

HOMOTOPY THEORY ADAM KAYE

Math 530 Lecture Notes. Xi Chen


Hungry, Hungry Homology

Hochschild cohomology

MATH 215B HOMEWORK 5 SOLUTIONS

Derived Functors and Explicit Projective Resolutions

13 More on free abelian groups

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

EXTENSIONS OF GR O U P S AND M O D U L E S

On the modular curve X 0 (23)

Algebraic Geometry. Lei Fu. Tsinghua University Press. Nankai Institute of Mathematics Tianjin, P. R. China

Good tilting modules and recollements of derived module categories, II.

Universität Regensburg Mathematik

Perverse sheaves learning seminar: Perverse sheaves and intersection homology

Notes on p-divisible Groups

Geometric Realization and K-Theoretic Decomposition of C*-Algebras

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

A Leibniz Algebra Structure on the Second Tensor Power

Half the sum of positive roots, the Coxeter element, and a theorem of Kostant

1 Introduction. 2 Fundamental Group

THE l 2 -COHOMOLOGY OF ARTIN GROUPS

A THEOREM OF HOMOLOGICAL ALGEBRA: THE HILBERT-BURCH THEOREM

Derivations and differentials

Manifolds and Poincaré duality

REPRESENTATION THEORY WEEK 9

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

A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Department of Mathematics, Shanghai Jiao Tong University Shanghai , P. R.

Cohomology and Base Change

Lie Algebra Homology and Cohomology

ON sfp-injective AND sfp-flat MODULES

Tensor Product of modules. MA499 Project II

FROM HOMOLOGICAL ALGEBRA TO GROUP COHOMOLOGY

Algebraic Geometry Spring 2009

Categories and functors

A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Shanghai , P. R. China

Pushouts, Pullbacks and Their Properties

Structures of AS-regular Algebras

A crash course in homological algebra

Lecture 4: Abelian varieties (algebraic theory)

Ext and inverse limits

Etale cohomology of fields by Johan M. Commelin, December 5, 2013

Transcription:

Hom(A, G) = {h : A G h homomorphism } Hom(A, G) is a group under function addition. The dual homomorphism to f : A B is the homomorphism f : Hom(A, G) Hom(B, G) defined by f (ψ) = ψ f : A B G That is the assignment A Hom(A, G) and f f is a contravarient functor from the category of abelian groups and homomorphisms to itself since If i : A A is the identity map on A, then i (ψ) = ψ i = ψ is the identity map on Hom(A, G). And if f : A B, g : B C, ψ : C G (f g )(ψ) = f (g (ψ)) = f (ψ g) = ψ g f = (g f) (ψ) In other words, if the diagram on the left commutes, so does the one on the right: A k C f g B Hom(A, G) f Hom(B, G) k Hom(C, G) g Hence f isomorphism implies f is an isomorphism. The constant fn f = 0 implies f = 0 since f (ψ) = ψ f = ψ 0. 1

Given a chain complex: Its dual is also a chain complex: n+1 n... C n+1 C n C n 1...... Hom(C n+1, G) n+1 Hom(C n, G) n Hom(C n 1, G)... Cohomology Cochains: n (X; G) = Hom(C n, G) = σ α G Coboundary map: δ 1 = 1 : 0 (X; G) 1 (X; G) Cohomology: H n (X; G) = Z n (X; G)/B n (X; G) = ker(δ n+1 )/im(δ n ) n = 0: The dual of C 1 1 C 0 0 0 is 1 (X; G) δ 1 0 (X; G) im(δ 0 ) = 0. Thus H 0 (X; G) = ker(δ 1 )/im(δ 0 ) = ker(δ 1 ) δ 0 0 ψ : C 0 = < V > G, defined by ψ(v α ) = g α δ 1 (ψ) : C 1 = < E > G, δ 1 (ψ)([v 1, v 2 ]) = ψ δ([v 1, v 2 ]) = ψ(v 2 v 1 ) = ψ(v 2 ) ψ(v 1 ). Application: ψ = elevation, δ 1 (ψ) = change in elevation. Application: ψ = voltage at connection points, δ 1 (ψ) = voltage across components. 2

δ 1 (ψ) = 0 iff δ 1 (ψ)([v 1, v 2 ]) = ψ δ 1 ([v 1, v 2 ]) = ψ(v 2 v 1 ) = ψ(v 2 ) ψ(v 1 ) = 0. Thus ker(δ 1 ) = {ψ : C 0 G ψ is constant on the components of X} Hence H 0 (X; G) = components of X G. Recall H 0 (X; G) = components of X G. n = 1: Dual of C 2 2 C 1 1 C 0 is 2 (X; G) δ 2 1 (X; G) δ 1 0 (X; G) H 1 (X; G) = Z 1 (X; G)/B 1 (X; G) = ker(δ 2 )/im(δ 1 ) im(δ 1 ) =? Suppose δ 1 (ψ) = σ : 1 G Then σ is determined by trees in the 1-skeleton of X = X 1. Let T = a set of maximal trees for X 1 & let A = {e a 1 e a T }. If 2 = 0, H 1 (X; G) = ker(δ 2 )/im(δ 1 ) = 1 /im(δ 1 ) = G Recall if 2 = 0, H 1 (X; G) = e α A 3 G e α A

Lemma: If A B Proof: f Hom(A, G) Claim: g onto implies g is 1:1. g C 0 is exact, then f Hom(B, G) g Hom(C, G) 0 is exact. Suppose g (ψ) = ψ g = 0. Since g is onto, ψ(x) = 0 for all x C. Thus ψ = 0 and g is 1:1. Thus we have exactness at Hom(C, G). Claim: im(f) = ker(g) implies im(g ) = ker(f ). im(f) ker(g) implies g f = 0 implies f g = (g f) = 0 = 0 and thus im(g ) ker(f ). Suppose ψ ker(f ), ψ : B G. Then f (ψ) = ψ f = 0. Thus ψ(f(a)) = 0 and ψ induces homomorphism ψ : B/f(A) G g induces an isomorphism g : B/ker(g) = B/f(A) C. G ψ B g C ψ = g B/f(A) g (ψ (g ) 1 ) = ψ (g ) 1 g = ψ 4

Lemma: If 0 A f B g C 0 is split exact, then 0 Hom(A, G) f Hom(B, G) g Hom(C, G) 0 is split exact. Proof: π : B A such that π f = id A. Thus (π f) = f π = identity on Hom(A, G). Thus f is surjective and the dual sequence splits. Note also that Hom( A α, G) = Hom(A α, G), and thus Hom(A C, G) = Hom(A, G) Hom(C, G) Example: The dual of the exact sequence 0 Z 2 Z π Z 2 0 0 Hom(Z, G) t Hom(Z, G) π Hom(Z 2, G) 0 π (ψ) = ψ π : Z π Z 2 ψ G, defined by (ψ π)(1) = ψ(1). t (ψ) = ψ t : Z t Z ψ G, defined by (ψ t)(1) = ψ(2) = ψ(1) + ψ(1) = 2ψ(1). 5

Defn: A free resolution of an abelian group H is an exact sequence of abelian groups,... where each F i is free. f 3 f F 2 f 2 F 1 f 1 F 0 0 H 0 Recall an exact sequence is a chain complex, and the dual of a chain complex is a chain complex. Thus the dualization of this free resolution is a chain complex:... f 2 Hom(F 1, G) f 1 Hom(F 0, G) Let H n (F ; G) = Ker(f n+1)/im(f n) f 0 Hom(H, G) 0 Lemma 3.1: a.) Given two free resolutions F and F of H and H, respectively, every homomorphism α : H H can be extended to a chain map from F to F :... F 2 F 1 φ F 0 ψ H 0 α 2 α 1... F 2 F 1 α 0 φ F 0 α ψ H 0 Furthermore, any two such chain maps extending α are chain homotopic. b.) For any two free resolutions F and F of H, canonical isomorphism H n (F ; G) = H n (F, G) for all n. 6

Example: A short exact sequence of abelian groups, 0 F 1 F 0 H 0 where F i are free is called a free resolution of H. Example: 0 B p (X) Z p (X) H p (X) 0 Example: Let F 0 = the free abelian group generated by the generators of H. Let F 1 = kernel of projection map F 0 H. Dual of the exact seq 0 F 1 F 0 H 0 is the chain complex: 0 f 2 Hom(F 1, G) f 1 Hom(F 0, G) f 0 Hom(H, G) 0 Recall F 1 F 0 H 0 exact implies its dual is also exact: Hom(F 1, G) f 1 Hom(F 0, G) f 0 Hom(H, G) 0 Note H n (F ; G) = Ker(f n+1)/im(f n) = 0 for n > 1. And H 0 (F ; G) = Ker(f 1 )/im(f 0 ) = 0. But H 1 (F ; G) = Ker(f 2 )/im(f 1 ) =?. Definition: Ext(H, G) = H 1 (F ; G) (the extension of G by H). 7

For computational purposes, the following properties are useful. (a) Ext(H H, G) = Ext(H, G) Ext(H, G) since the direct sum of free resolutions is the free resolution of the direct sum. (b) Ext(H, G) = 0 if H is free since 0 H H 0 is a free resolution of H. (c) Ext(Z/n, G) = G/nG by dualizing the free resolution 0 Z n Z Z n 0. to produce the exact sequence: 0 Ext(Z n, G) Hom(Z, G) n Hom(Z, G) Hom(Z n, G) 0 Theorem 1. If a chain complex C of free abelian groups has homology groups H (C), then the cohomology groups H (C; G) of the cochain complex Hom(C, G) are determined by the split exact sequences 0 Ext(H n 1 (C), G) H n (C; G) h Hom(H n (C), G) 0. Corollary 1. If the homology groups H n and H n 1 of a chain complex C of free abelian groups are finitely generated, with torsion subgroups T n H n and T n 1 H n, then H n (C; Z) = (H n /T n ) T n 1. Corollary 2. If a chain map between chain complexes of free abelian groups induces an isomorphism on homology groups, then it induces an isomorphism on cohomology groups with any coefficient group G. 8