Algebraic Topology II Notes Week 12

Size: px
Start display at page:

Download "Algebraic Topology II Notes Week 12"

Transcription

1 Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other words, f : H 4n (CP 2n ) H 4n (CP 2n ) [CP 2n ] [CP 2n ] Proof. Say α generates H 2 (CP 2n ). Then, as f induces an isomorphism on H 2, we have: f (α) = ±α. We also know that α 2n generates H 4n (CP 2n ), i.e. α 2n, [CP 2n ] = 1, or If f ([CP 2n ]) = [CP 2n ], then which is a contradiction! H 4n (CP 2n ) [CP 2n ] H 0 (CP 2n ) α 2n 1 1 = α 2n, [CP 2n ] = α 2n, f ([CP 2n ]) = f (α 2n ), [CP 2n ] = (f (α)) 2n, [CP 2n ] (1) = (±α) 2n ), [CP 2n ] = α 2n, [CP 2n ] = 1, Proposition 1.2. Let M n be a closed, connected, oriented n-manifold and let f : S n M be a continuous map of non-zero degree, i.e., the morphism f : H n (S n ; Z) H n (M; Z) is non-trivial. Show that H (M; Q) = H (S n ; Q). Proof. Assume that 1 i n 1 such that H i (M; Q) = 0. Then by Universal Coefficient Theorem, H i (M; Q) = Hom Q (H i (M; Q), Q) 0 If 0 α H i (M; Q) is the generator, then by Poincaré Duality, β H n i (M; Q) such that α β generates H n (M; Q) = Q. Especially, α β 0. On one hand, f : H i (M; Q) H i (S n ; Q) = 0 is a zero map. Consequently, f (α β) = f (α) f (β) = 0 0 = 0. On the other hand, f (α β) = (deg f) generator of H n (S n ; Q) 0, a contradiction. 1

2 Definition 1.3 (Manifold with Boundary). M is a n-manifold with boundary if any x M has a neighbourhood U x homeomorphic to R n or R n +(x n 0). if U x = R n, H n (M, M x) = H n (U x, U x x) = Z if U x = R n +, H n (M, M x) = H n (U x, U x x) = H n (R n +, R n + {0}) = 0 And the boundary of M is defined to be M = {x M H n (M, M x) = 0}. Example 1.4. (D n ) = S n 1, (R n +) = R n 1. Remark 1. M is a manifold of dimenison n 1 with no boundary. Definition 1.5. (M, M) is orientable, if M \ M is orientable as a manifold with no boundary. Proposition 1.6. If (M, M) is compact, orientable n-manifold with boundary, then! µ M H n (M, M) inducing local orientations µ x H n (M, M x) at all x M \ M. Note 1. In the long exact sequence for the pair (M, M), we have if M is oriented. H n (M, M) [M] = µ M [ M] H n 1 ( M) Theorem 1.7 (Poincaré Duality). If (M, M) is a connected, oriented n-manifold with boundary, then Hc(M) i µ M = where Hc(M, i M) === def lim support. H n i (M, M) or Hc(M, i M) µ M H n i (M). = Kcompact M\ M H i (M, (M \ K) M) is the cohomology with compact Proposition 1.8. If M n = V n+1 is a connected manifold with V compact, then the Euler characteristic χ(m) is even. An immediate corollary is Corollary 1.9. RP 2n, CP 2n, HP 2n cannot be boundaries of compact manifolds. In order to prove Proposition 1.8, we need another proposition: 2

3 Proposition Assume V 2n+1 is an oriented, compact manifold with connected boundary V = M 2n. If R is a field (especially Z/2Z if M is non-orientable), then dim R H n (M; R) is even. Proof of Proposition Let s consider the long exact sequence for the pair (V, M): H n (V ; R) i H n (M; R) δ H n+1 (V, M; R) = [M] = [V ] i H n (M; R) H n (V ; R) where i, i are induced by the inclusion i : M = V V. By exactness, Im i = Ker δ P.D. = Ker i, so dim Im i = dim Ker i = dim H n (M; R) dim Im i. Since i, i are Hom-dual, dim Im i = dim Im i. Therefore, dim H n (M; R) = dim H n (M; R) = 2 dim Im i is even. Proof of Proposition 1.8. If n = dim M is odd, then χ(m) = 0 is even. If n = 2m is even, then work with Z/2Z-coefficients, χ(m) = 2m i=0 ( 1) i dim Z/2Z H i (M; Z/2Z) m 1 (1) = 2 ( 1) i dim Z/2Z H i (M; Z/2Z) + ( 1) m dim Z/2Z H m (M; Z/2Z) i=0 dim Z/2Z H m (M; Z/2Z) mod 2 (2) 0 mod 2 Equation (1) is due to Poincaré Duality, dim Z/2Z H n i (M; Z/2Z) = dim Z/2Z H i (M; Z/2Z), 0 i m 1. Congruence (2) is by Proposition Note 2. Im i H n (M 2n ) is self-annihilating with respect to cup product, i.e. if α, β Im i, then α β = 0. by Proposition 1.10, dim Im i = 1 2 dim Hn (M 2n ). Proof. For any α = i (α), β = i (β) B, where α, β H 2n (V ), we have δ(α β) = δ(i (α) i (β)) = δi (α β) = 0 3

4 Hence, α β Ker (δ : H 4n (M) H 4n+1 (V )) = 0 by the following commutative diagram H 4n (M) δ H 4n+1 (V ) = P.D. H 0 (M) = P.D. H 0 (V ) with the bottom arrow an injection. 1.2 Signature Let M n be a closed, oriented, n-manifold. σ(m) = 0 if 4 dim M = n. if dim M = 4k, then σ(m) is defined to be the signature of the non-degenerate cup product pairing (, ) : H 2k (M; R) H 2k (M; R) R (α, β) (α, β)[m] σ(m):=(the number of positive eignvalues)-(the number of negative eignvalues). ( ) 0 1 Example σ(s 2 S 2 ) = σ = 0, σ(cp 2n ) = 1, σ(cp 2 #CP 2 ) = Remark 2. Signature σ is a cobordism invariant, i.e. if W = M N, then σ(m) = σ(n). Theorem If in the above notations M 4k = V 4k+1 is connected with V compact and orientable, then σ(m) = 0. Remark 3. σ(cp 2 # CP 2 ) = 0. In fact, CP 2 # CP 2 is the boundary of a connected, oriented 5-manifold; σ(cp 2 #CP 2 ) = 2 0, so CP 2 #CP 2 is NOT the boundary of a connected, oriented 5-manifold, but as we will see later, it IS the boundary of a non-orientable 5-manifold. 4

5 Proof. Let A = H 2n (M) and we ll always work over R-coefficients. We have a non-degenerate and symmetric pairing ϕ : A A R. Let A + be the subspace on which the pairing is positive-definite, A be the subspace on which the pairing is negative-definite. Let r = dim A +, 2l = dim A (by Proposition 1.10). Then, automatically, dim A = 2l r and σ(m) = r (2l r) = 2r 2l. In order to prove that σ(m) = 0, we want to show that r = l! Let B A be the self-annihilating l-dimensional subspace given by Proposition 1.8 and Note 2. Therefore, A + B = {0}, A B = {0}. Hence, dim A + + dim B dim A = 2l, i.e. r + l 2l i.e. r l dim A + dim B dim A = 2l, i.e. 2l r + l 2l i.e. r l In conclusion, r = l and σ(m) = Connected Sums Definition 1.13 (Connected Sum). Let M n, N n be closed, connected, oriented n-manifolds, then their connected sum is defined to be M#N := (M \ D n 1 ) f (N \ D n 2 ) where f : D n 1 = S n 1 D n 2 = S n 1 is an orientation-reversing homeomorphism. Remark 4. M#N is still a closed, connected, oriented n-manifold, H 0 (M#N) = Z, H n (M#N) = Z and H k (M#N) = H k (M) H k (N), 0 < k < n. Remark 5. Cup product α β = 0 for any α H k (M) and β H l (N) with k, l > 0. Example S 2 S 2 and CP 2 #CP 2 have the same cohomology groups, but different cohomogy rings, since H 0 = Z, H 2 = Z Z = Zα Zβ, H 4 = Z, α β 0 in S 2 S 2 ; while α β = 0 in CP 2 #CP 2. 5

6 Example σ(cp 2 #CP 2 ) = 2, so CP 2 #CP 2 cannot be the boundary of a compact oriented 5-manifold. However, CP 2 #CP 2 = W 5, where W 5 is a compact non-orientable 5-manifold. W can be constructed as follows: 1. Start with (CP 2 I)#(RP 2 S 3 ). 2. Run an orientation reversing path γ from one CP 2 to the other, by traveling along an orientation reversing path in RP Enlarge the path to a tube and remove its interior. What is left is a 5-dimensional non-orientable manifold with W = CP 2 #CP 2. 2 Homotopy Theory Let X be a topological space, x 0 X. Earlier we defined the fundamental group π 1 (X, x 0 ) = {f : (I, I) (X, x 0 )}/ = {f : (S 1, s 0 ) (X, x 0 )}/ where refers to the homotopy of maps. And also some properties of π 1 : functorial, i.e. f : X Y induces f : π 1 (X, x 0 ) π 1 (Y, f(x 0 )); homotopy invariant; group structure; related to H Higher Homotopy Groups Definition 2.1 (Higher homotopy groups). π n (X, x 0 ) = {f : (I n, I n ) (X, x 0 )}/ = {f : (S n, s 0 ) (X, x 0 )}/ 6

7 where I n = [0, 1] n, I n = {(x 1,..., x n ) I n i, s.t. x i {0, 1}} and refers to homotopy of maps. When n = 0, I 0 =point, I 0 =. So Define for n 1, f, g π n (X, x 0 ), π 0 = set of connected components of X (f + g)(s 1,..., s n ) = { f(2s1, s 2,..., s n ) 0 s g(2s 1 1, s 2,..., s n ) 1 2 s 1 1 Lemma 2.2. If n 2, π n is an abelian group. Goal: Prove Whitehead s Theorem. Theorem 2.3 (Whitehead s Theorem). If a map f : X Y between connected CW complexes induces isomorphisms on π n for all n, then f is a homotopy equivalence. If moreover, f is the inclusion of a subcomplex X Y, then X is a deformation retract of Y. 7

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

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

GEOMETRY HW 12 CLAY SHONKWILER

GEOMETRY HW 12 CLAY SHONKWILER GEOMETRY HW 12 CLAY SHONKWILER 1 Let M 3 be a compact 3-manifold with no boundary, and let H 1 (M, Z) = Z r T where T is torsion. Show that H 2 (M, Z) = Z r if M is orientable, and H 2 (M, Z) = Z r 1 Z/2

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

1 Whitehead s theorem.

1 Whitehead s theorem. 1 Whitehead s theorem. Statement: If f : X Y is a map of CW complexes inducing isomorphisms on all homotopy groups, then f is a homotopy equivalence. Moreover, if f is the inclusion of a subcomplex X in

More information

30 Surfaces and nondegenerate symmetric bilinear forms

30 Surfaces and nondegenerate symmetric bilinear forms 80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces

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

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

Manifolds and Poincaré duality

Manifolds and Poincaré duality 226 CHAPTER 11 Manifolds and Poincaré duality 1. Manifolds The homology H (M) of a manifold M often exhibits an interesting symmetry. Here are some examples. M = S 1 S 1 S 1 : M = S 2 S 3 : H 0 = Z, H

More information

NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008

NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh)   aar. Heidelberg, 17th December, 2008 1 NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Heidelberg, 17th December, 2008 Noncommutative localization Localizations of noncommutative

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 231b Lecture 16. G. Quick

Math 231b Lecture 16. G. Quick Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector

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

Characteristic Classes, Chern Classes and Applications to Intersection Theory

Characteristic Classes, Chern Classes and Applications to Intersection Theory Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2

More information

An introduction to calculus of functors

An introduction to calculus of functors An introduction to calculus of functors Ismar Volić Wellesley College International University of Sarajevo May 28, 2012 Plan of talk Main point: One can use calculus of functors to answer questions about

More information

7.3 Singular Homology Groups

7.3 Singular Homology Groups 184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the

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

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

On embedding all n-manifolds into a single (n + 1)-manifold

On embedding all n-manifolds into a single (n + 1)-manifold On embedding all n-manifolds into a single (n + 1)-manifold Jiangang Yao, UC Berkeley The Forth East Asian School of Knots and Related Topics Joint work with Fan Ding & Shicheng Wang 2008-01-23 Problem

More information

Homework 3 MTH 869 Algebraic Topology

Homework 3 MTH 869 Algebraic Topology Homework 3 MTH 869 Algebraic Topology Joshua Ruiter February 12, 2018 Proposition 0.1 (Exercise 1.1.10). Let (X, x 0 ) and (Y, y 0 ) be pointed, path-connected spaces. Let f : I X y 0 } and g : I x 0 }

More information

Introduction to surgery theory

Introduction to surgery theory Introduction to surgery theory Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 17. & 19. April 2018 Wolfgang Lück (MI, Bonn) Introduction to surgery theory

More information

A duality on simplicial complexes

A duality on simplicial complexes A duality on simplicial complexes Michael Barr 18.03.2002 Dedicated to Hvedri Inassaridze on the occasion of his 70th birthday Abstract We describe a duality theory for finite simplicial complexes that

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

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

Study Guide Harvard Mathematics Qualification Exam. Atanas Atanasov Charmaine Sia

Study Guide Harvard Mathematics Qualification Exam. Atanas Atanasov Charmaine Sia Study Guide Harvard Mathematics Qualification Exam E-mail address: nasko@math.harvard.edu E-mail address: sia@math.harvard.edu Atanas Atanasov Charmaine Sia Contents Chapter 1. Notes 7 1. Algebraic Topology

More information

Homework 3: Relative homology and excision

Homework 3: Relative homology and excision Homework 3: Relative homology and excision 0. Pre-requisites. The main theorem you ll have to assume is the excision theorem, but only for Problem 6. Recall what this says: Let A V X, where the interior

More information

MATH8808: ALGEBRAIC TOPOLOGY

MATH8808: ALGEBRAIC TOPOLOGY MATH8808: ALGEBRAIC TOPOLOGY DAWEI CHEN Contents 1. Underlying Geometric Notions 2 1.1. Homotopy 2 1.2. Cell Complexes 3 1.3. Operations on Cell Complexes 3 1.4. Criteria for Homotopy Equivalence 4 1.5.

More information

GEOMETRY FINAL CLAY SHONKWILER

GEOMETRY FINAL CLAY SHONKWILER GEOMETRY FINAL CLAY SHONKWILER 1 Let X be the space obtained by adding to a 2-dimensional sphere of radius one, a line on the z-axis going from north pole to south pole. Compute the fundamental group and

More information

GALOIS COHOMOLOGY GEUNHO GIM

GALOIS COHOMOLOGY GEUNHO GIM GALOIS COHOMOLOGY GEUNHO GIM Abstract. This note is based on the 3-hour presentation given in the student seminar on Fall 203. We will basically follow [HidMFG, Chapter IV] and [MilADT, Chapter I 0,, 2].

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

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

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

Handlebody Decomposition of a Manifold

Handlebody Decomposition of a Manifold Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody

More information

CLASS NOTES MATH 527 (SPRING 2011) WEEK 5

CLASS NOTES MATH 527 (SPRING 2011) WEEK 5 CLASS NOTES MATH 527 (SPRING 2011) WEEK 5 BERTRAND GUILLOU 1. Mon, Feb. 14 The same method we used to prove the Whitehead theorem last time also gives the following result. Theorem 1.1. Let X be CW and

More information

THE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES

THE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES THE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES SPUR FINAL PAPER, SUMMER 2017 JUAN CARLOS ORTIZ MENTOR: JACKSON HANCE Abstract Given a manifold M, Milnor and Stasheff studied in [1] the diagonal cohomology

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

The Real Grassmannian Gr(2, 4)

The Real Grassmannian Gr(2, 4) The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds

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

Division Algebras and Parallelizable Spheres III

Division Algebras and Parallelizable Spheres III Division Algebras and Parallelizable Spheres III Seminar on Vectorbundles in Algebraic Topology ETH Zürich Ramon Braunwarth May 8, 2018 These are the notes to the talk given on April 23rd 2018 in the Vector

More information

THE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER

THE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER THE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER Abstract. The fundamental group is an invariant of topological spaces that measures the contractibility of loops. This project studies

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

The Hopf Bracket. Claude LeBrun SUNY Stony Brook and Michael Taylor UNC Chapel Hill. August 11, 2013

The Hopf Bracket. Claude LeBrun SUNY Stony Brook and Michael Taylor UNC Chapel Hill. August 11, 2013 The Hopf Bracket Claude LeBrun SUY Stony Brook and ichael Taylor UC Chapel Hill August 11, 2013 Abstract Given a smooth map f : between smooth manifolds, we construct a hierarchy of bilinear forms on suitable

More information

Cohomology operations and the Steenrod algebra

Cohomology operations and the Steenrod algebra Cohomology operations and the Steenrod algebra John H. Palmieri Department of Mathematics University of Washington WCATSS, 27 August 2011 Cohomology operations cohomology operations = NatTransf(H n ( ;

More information

FREUDENTHAL SUSPENSION THEOREM

FREUDENTHAL SUSPENSION THEOREM FREUDENTHAL SUSPENSION THEOREM TENGREN ZHANG Abstract. In this paper, I will prove the Freudenthal suspension theorem, and use that to explain what stable homotopy groups are. All the results stated in

More information

Hilbert function, Betti numbers. Daniel Gromada

Hilbert function, Betti numbers. Daniel Gromada Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes

More information

Homology of a Cell Complex

Homology of a Cell Complex M:01 Fall 06 J. Simon Homology of a Cell Complex A finite cell complex X is constructed one cell at a time, working up in dimension. Each time a cell is added, we can analyze the effect on homology, by

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

Hodge Theory of Maps

Hodge Theory of Maps Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar

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

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

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

The Riemann-Roch Theorem

The Riemann-Roch Theorem The Riemann-Roch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. Beyond ellipticity 5. The Riemann-Roch

More information

Graduate algebraic K-theory seminar

Graduate algebraic K-theory seminar Seminar notes Graduate algebraic K-theory seminar notes taken by JL University of Illinois at Chicago February 1, 2017 Contents 1 Model categories 2 1.1 Definitions...............................................

More information

Remarks on the Milnor number

Remarks on the Milnor number José 1 1 Instituto de Matemáticas, Universidad Nacional Autónoma de México. Liverpool, U. K. March, 2016 In honour of Victor!! 1 The Milnor number Consider a holomorphic map-germ f : (C n+1, 0) (C, 0)

More information

Bordism and the Pontryagin-Thom Theorem

Bordism and the Pontryagin-Thom Theorem Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such

More information

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Boolean Algebras, Boolean Rings and Stone s Representation Theorem Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to

More information

11 Annihilators. Suppose that R, S, and T are rings, that R P S, S Q T, and R U T are bimodules, and finally, that

11 Annihilators. Suppose that R, S, and T are rings, that R P S, S Q T, and R U T are bimodules, and finally, that 11 Annihilators. In this Section we take a brief look at the important notion of annihilators. Although we shall use these in only very limited contexts, we will give a fairly general initial treatment,

More information

Pure Math 467/667, Winter 2013

Pure Math 467/667, Winter 2013 Compact course notes Pure Math 467/667, Winter 2013 Algebraic Topology Lecturer: A. Smith transcribed by: J. Lazovskis University of Waterloo April 24, 2013 Contents 0.0 Motivating remarks..........................................

More information

The Classification of (n 1)-connected 2n-manifolds

The Classification of (n 1)-connected 2n-manifolds The Classification of (n 1)-connected 2n-manifolds Kyler Siegel December 18, 2014 1 Prologue Our goal (following [Wal]): Question 1.1 For 2n 6, what is the diffeomorphic classification of (n 1)-connected

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

THE POINCARE-HOPF THEOREM

THE POINCARE-HOPF THEOREM THE POINCARE-HOPF THEOREM ALEX WRIGHT AND KAEL DIXON Abstract. Mapping degree, intersection number, and the index of a zero of a vector field are defined. The Poincare-Hopf theorem, which states that under

More information

Lecture 11: Hirzebruch s signature theorem

Lecture 11: Hirzebruch s signature theorem Lecture 11: Hirzebruch s signature theorem In this lecture we define the signature of a closed oriented n-manifold for n divisible by four. It is a bordism invariant Sign: Ω SO n Z. (Recall that we defined

More information

An introduction to discrete Morse theory

An introduction to discrete Morse theory An introduction to discrete Morse theory Henry Adams December 11, 2013 Abstract This talk will be an introduction to discrete Morse theory. Whereas standard Morse theory studies smooth functions on a differentiable

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

THE QUADRATIC FORM E 8 AND EXOTIC HOMOLOGY MANIFOLDS

THE QUADRATIC FORM E 8 AND EXOTIC HOMOLOGY MANIFOLDS THE QUADRATIC FORM E 8 AND EXOTIC HOMOLOGY MANIFOLDS Washington Mio (Tallahassee) Andrew Ranicki (Edinburgh) The Bryant-Mio-Ferry-Weinberger construction of 2n-dimensional exotic homology manifolds for

More information

Math 757 Homology theory

Math 757 Homology theory theory Math 757 theory January 27, 2011 theory Definition 90 (Direct sum in Ab) Given abelian groups {A α }, the direct sum is an abelian group A with s γ α : A α A satifying the following universal property

More information

Isogeny invariance of the BSD formula

Isogeny invariance of the BSD formula Isogeny invariance of the BSD formula Bryden Cais August 1, 24 1 Introduction In these notes we prove that if f : A B is an isogeny of abelian varieties whose degree is relatively prime to the characteristic

More information

Topological K-theory, Lecture 3

Topological K-theory, Lecture 3 Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ

More information

7. Homotopy and the Fundamental Group

7. Homotopy and the Fundamental Group 7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have

More information

EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B

EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B SEBASTIAN GOETTE, KIYOSHI IGUSA, AND BRUCE WILLIAMS Abstract. When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic,

More information

Exotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017

Exotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017 Exotic spheres Overview and lecture-by-lecture summary Martin Palmer / 22 July 2017 Abstract This is a brief overview and a slightly less brief lecture-by-lecture summary of the topics covered in the course

More information

ALGEBRAIC MODELS, DUALITY, AND RESONANCE. Alex Suciu. Topology Seminar. MIT March 5, Northeastern University

ALGEBRAIC MODELS, DUALITY, AND RESONANCE. Alex Suciu. Topology Seminar. MIT March 5, Northeastern University ALGEBRAIC MODELS, DUALITY, AND RESONANCE Alex Suciu Northeastern University Topology Seminar MIT March 5, 2018 ALEX SUCIU (NORTHEASTERN) MODELS, DUALITY, AND RESONANCE MIT TOPOLOGY SEMINAR 1 / 24 DUALITY

More information

Math 225C: Algebraic Topology

Math 225C: Algebraic Topology Math 225C: Algebraic Topology Michael Andrews UCLA Mathematics Department June 16, 2018 Contents 1 Fundamental concepts 2 2 The functor π 1 : Ho(Top ) Grp 3 3 Basic covering space theory and π 1 (S 1,

More information

THE INFINITE SYMMETRIC PRODUCT AND HOMOLOGY THEORY

THE INFINITE SYMMETRIC PRODUCT AND HOMOLOGY THEORY THE INFINITE SYMMETRIC PRODUCT AND HOMOLOGY THEORY ANDREW VILLADSEN Abstract. Following the work of Aguilar, Gitler, and Prieto, I define the infinite symmetric product of a pointed topological space.

More information

arxiv:math/ v2 [math.sg] 5 Jan 2005

arxiv:math/ v2 [math.sg] 5 Jan 2005 THE HOMOTOPY TYPE OF THE SPACE OF SYMPLECTIC BALLS IN S 2 S 2 ABOVE THE CRITICAL VALUE arxiv:math/0406129v2 [math.sg] 5 Jan 2005 Abstract. We compute in this note the full homotopy type of the space of

More information

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds

More information

Math 225B: Differential Geometry, Final

Math 225B: Differential Geometry, Final Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of

More information

Homotopy types of moment-angle complexes

Homotopy types of moment-angle complexes Homotopy types of moment-angle complexes based on joint work with Jelena Grbic, Stephen Theriault and Jie Wu Taras Panov Lomonosov Moscow State University The 39th Symposium on Transformation Groups Tokyo

More information

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.

More information

From singular chains to Alexander Duality. Jesper M. Møller

From singular chains to Alexander Duality. Jesper M. Møller From singular chains to Alexander Duality Jesper M. Møller Matematisk Institut, Universitetsparken 5, DK 2100 København E-mail address: moller@math.ku.dk URL: http://www.math.ku.dk/~moller Contents Chapter

More information

Iwasawa algebras and duality

Iwasawa algebras and duality Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place

More information

Quiz-1 Algebraic Topology. 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic.

Quiz-1 Algebraic Topology. 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic. Quiz-1 Algebraic Topology 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic. 2. Let X be an Euclidean Neighbourhood Retract space and A a closed subspace of X

More information

Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism

Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized

More information

MAT 530: Topology&Geometry, I Fall 2005

MAT 530: Topology&Geometry, I Fall 2005 MAT 530: Topology&Geometry, I Fall 2005 Problem Set 11 Solution to Problem p433, #2 Suppose U,V X are open, X =U V, U, V, and U V are path-connected, x 0 U V, and i 1 π 1 U,x 0 j 1 π 1 U V,x 0 i 2 π 1

More information

HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY

HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY Last Modified April 14, 2014 Some notes on homework: (1) Homework will be due every two weeks. (2) A tentative schedule is: Jan 28, Feb 11, 25, March 11, 25,

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

Division Algebras and Parallelizable Spheres, Part II

Division Algebras and Parallelizable Spheres, Part II Division Algebras and Parallelizable Spheres, Part II Seminartalk by Jerome Wettstein April 5, 2018 1 A quick Recap of Part I We are working on proving the following Theorem: Theorem 1.1. The following

More information

A surgery formula for the smooth Yamabe invariant

A surgery formula for the smooth Yamabe invariant A surgery formula for the smooth Yamabe invariant B. Ammann 1 M. Dahl 2 E. Humbert 3 1 Universität Regensburg Germany 2 Kungliga Tekniska Högskolan, Stockholm Sweden 3 Université Henri Poincaré, Nancy

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

From singular chains to Alexander Duality. Jesper M. Møller

From singular chains to Alexander Duality. Jesper M. Møller From singular chains to Alexander Duality Jesper M. Møller Matematisk Institut, Universitetsparken 5, DK 21 København E-mail address: moller@math.ku.dk URL: http://www.math.ku.dk/~moller Contents Chapter

More information

APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY

APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then

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

Derived categories, perverse sheaves and intermediate extension functor

Derived categories, perverse sheaves and intermediate extension functor Derived categories, perverse sheaves and intermediate extension functor Riccardo Grandi July 26, 2013 Contents 1 Derived categories 1 2 The category of sheaves 5 3 t-structures 7 4 Perverse sheaves 8 1

More information

1.1 Definition of group cohomology

1.1 Definition of group cohomology 1 Group Cohomology This chapter gives the topological and algebraic definitions of group cohomology. We also define equivariant cohomology. Although we give the basic definitions, a beginner may have to

More information

DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS

DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA 1, DENISE DE MATTOS 2, AND EDIVALDO L. DOS SANTOS 3 Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain

More information

32 Proof of the orientation theorem

32 Proof of the orientation theorem 88 CHAPTER 3. COHOMOLOGY AND DUALITY 32 Proof of the orientation theorem We are studying the way in which local homological information gives rise to global information, especially on an n-manifold M.

More information

A complement to the theory of equivariant finiteness obstructions

A complement to the theory of equivariant finiteness obstructions F U N D A M E N T A MATHEMATICAE 151 (1996) A complement to the theory of equivariant finiteness obstructions by Paweł A n d r z e j e w s k i (Szczecin) Abstract. It is known ([1], [2]) that a construction

More information

BEN KNUDSEN. Conf k (f) Conf k (Y )

BEN KNUDSEN. Conf k (f) Conf k (Y ) CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective

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

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