Simplicial Homology. Simplicial Homology. Sara Kališnik. January 10, Sara Kališnik January 10, / 34
|
|
- Clifford Houston
- 5 years ago
- Views:
Transcription
1 Sara Kališnik January 10, 2018 Sara Kališnik January 10, / 34
2 Homology Homology groups provide a mathematical language for the holes in a topological space. Perhaps surprisingly, they capture holes indirectly, by focusing on what surrounds them. Their main ingredients are group operations and maps that relate topologically meaningful subsets of a space with each other. b B e a A F T C d E D c Simplicial complex for which we will carry out a computation as an example. Sara Kališnik January 10, / 34
3 Homology Fix a dimension i and a field F. i-chains An i-chain is a formal sum of i-simplices c i σ i, where c i F and the sum is taken over all possible i-simplices σ i K. The set of all such i-chains is denoted C i (K). We can add two i-chains: given c = c i σ i and d = s i σ i, we define multiply i-chains by scalars c + d = (c i + s i )σ i. Sara Kališnik January 10, / 34
4 Homology Fix a dimension i and a field F. the vector space of i-chains Hence C i (K) forms a vector space over F, and is called the vector space of i-chains in K. Note: The set of i-simplices forms an example of a basis for C i (K). Hence the rank of C i (K) is simply n i, the number of i-simplices in K. For i < 0 and i > dim(k), we have C i (K) = 0 since there are no simplices in those dimensions. Sara Kališnik January 10, / 34
5 Homology From now on, we will make the simplifying assumption that our field F is simply the binary field Z/2Z; in this case, an i-chain can be thought of as just a collection of i-simplices and adding two i-chains corresponds to taking the symmetric difference of the collections. Sara Kališnik January 10, / 34
6 Homology The Boundary of a Simplex To relate the vector spaces of chains, we define the boundary of an i-simplex as the sum of its (i 1)-dimensional faces. Writing σ = [u 0, u 1,..., u i ] for the simplex spanned by the listed vertices, its boundary is i i σ = [u 0, u 1,..., û j,..., u i ] j=0 where the hat indicates that u j is omitted. Sara Kališnik January 10, / 34
7 Homology The Boundary Map For an i-chain, c = i c iσ i, the boundary is the sum of the boundaries of its simplices, i c = i c i σ i. Hence, taking the boundary maps an i-chain to a (i 1)-chain, and we write i : C i (K) C i 1 (K). This map is linear and we will refer to it as the boundary homomorphism or, shorter, the boundary map for chains. Sara Kališnik January 10, / 34
8 Homology Example b B e a A F T C d E D c Then 2 (T ) = B + C + F C 1 (K), and 1 (F ) = b + d. Note also that 1 ( 2 (T )) = 1 (B+C+F ) = 1 (B)+ 1 (C)+ 1 (F ) = b+e+e+d+b+d = 0. Sara Kališnik January 10, / 34
9 Homology The Chain Complex The chain complex is the sequence of chain vector spaces connected by boundary maps,... i+2 C i+1 (K) i+1 C i (K) i C i 1 (K) i 1... C 0 (K) 0 Sara Kališnik January 10, / 34
10 Computing Homology b B e a A F T C d E D c C 0 (K) = a, b, c, d, e, C 1 (K) = A, B, C, D, E, C 2 (K) = T, C i (K) = 0 for i 3. Sara Kališnik January 10, / 34
11 Computing Homology b B e a A F T C d E D c The boundary maps are 2 = , 1 = A B C D E F a b c , 0 = (0). d e Sara Kališnik January 10, / 34
12 Homology i-cycles An i-cycle is an i-chain with empty boundary, that is, i C i (K) is an i-cycle iff i (c) = 0. The set of all such i-cycles forms a subspace of C i (K), which we denote by Z i (K) = ker i ; we set its rank to z i. Sara Kališnik January 10, / 34
13 Homology Example b B e a A F T C d E D c The group of 1-cycles Z 1 (K) contains the chains B + C + D, A + D + F + G, as well as many more. On the other hand, Z 2 (K) = 0 as can be seen by direct computation. Sara Kališnik January 10, / 34
14 Homology i-boundaries Given an i-chain c C i (K), we say that c is an i-boundary if there exists d C i+1 (K) such that c = i+1 (d). The set of i-boundaries also forms a subspace of C i (K), and we denote it by B i (K) = Im i+1 ; we set its rank to b i. Sara Kališnik January 10, / 34
15 Homology The fundamental property that makes homology work is that the boundary of a boundary is necessarily zero. Fundamental Lemma of Homology i i+1 d = 0 for every integer i and every (i + 1)-chain d. We just need to show that i i+1 σ = 0 for an (i + 1)-simplex σ. The boundary, i+1 σ, consists of all i-faces of σ. Every (i 1)-face of σ belongs to exactly two i-faces, so i ( i+1 σ) = 0. Sara Kališnik January 10, / 34
16 Homology i-th homology The i-th homology group of K is H i (K) = Z i (K)/B i (K). The rank of this group is called the i-th Betti number of K, β i = rank(h i (K)). The elements of H i are called i-dimensional homology classes, and they correspond to cosets c + B i, where c is an i- cycle. Any two cycles in the same class are called homologous; note that c, c Z i (K) are homologous iff there is a (i + 1)-chain d such that c + c = (d). Sara Kališnik January 10, / 34
17 Computing Homology To find homology, we need to study pairs of matrices (A, B) with A B = 0. Let B : U V and A: V W be such that A B = 0. Let F : U U, G: V V and H : W W be invertible linear transformations. Then HAG 1 GBF = 0 and there is an isomorphism of vector spaces Ker(A)/Im(B) = Ker(HAG 1 )/Im(GBF ). Sara Kališnik January 10, / 34
18 Computing Homology This implies that we can use the following operations on a pair (A, B): 1 An arbitrary row operation on A. 2 An arbitrary column operation on B. 3 Perform a column operation on A and a row operation on B simultaneously, with the operations related as follows: If the column operation on A is multiplication of the i-th column by x, then the row operation on B is multiplication of the i-th row by x 1. If the column operation on A is the transposition of two columns, then the row operation on B is the transposition of the corresponding rows of B. If the column operation on A is the addition of x times the i-th column to the j-th column, then the row operation on B is the subtraction of x times the j-th row from the i-th row. Sara Kališnik January 10, / 34
19 Computing Homology Given a pair (A, B) with A B = 0, we can perform operations of the type just described to obtain a pair (A, B ), with I n , I m Here k, l and m are columns in the leftmost, middle and rightmost blocks of column of A respectively. The dimension of homology is l. The pair (A, B ) is uniquely determined by (A, B). Sara Kališnik January 10, / 34
20 Computing Homology Let us compute H 1 of A B C D a b e d c T E F The pair we observe is A B C D E F a b c d e , Sara Kališnik January 10, / 34
21 Computing Homology We first do row operations on 1 : A B C D E F a a+b c , d e T A 0 B 1 C 1 D 0 E 0 F 1 Sara Kališnik January 10, / 34
22 Computing Homology We first do row operations on 1 : A B C D E F a a+b c , d a+b+e T A 0 B 1 C 1 D 0 E 0 F 1 Sara Kališnik January 10, / 34
23 Computing Homology We first do row operations on 1 : A B C D E F a a+b a+b+e , c d T A 0 B 1 C 1 D 0 E 0 F 1 Sara Kališnik January 10, / 34
24 Computing Homology We first do row operations on 1 : A B C D E F a a+b a+b+e , c a+b+e+d T A 0 B 1 C 1 D 0 E 0 F 1 Sara Kališnik January 10, / 34
25 Computing Homology We first do row operations on 1 : A B C D E F a a+b a+b+e , c a+b+c+e+d T A 0 B 1 C 1 D 0 E 0 F 1 Sara Kališnik January 10, / 34
26 Computing Homology Next we perform column operations on 1 : A B C D A+B+C+D+E F a a+b a+b+e , c a+b+c+e+d T A 0 B 1 C 1 D 0 A+B+C+D+E 0 F 1 Sara Kališnik January 10, / 34
27 Computing Homology Next we perform column operations on 1 : A B C D A+B+C+D+E B+C+F a a+b a+b+e c a+b+c+e+d , T A 0 B 0 C 0 D 0 A+B+C+D+E 0 B+C+F 1 After we are done, the pair is in the desired form. From here we can read off that β 1 = 1. Also H 1 (K) = A + B + C + D + E = Z/2Z. Sara Kališnik January 10, / 34
28 Making homology more sensitive It is useful to ask how sensitive a measure homology is of the shape of a simplicial complex, but considering a simple shape recognition task, namely the recognition of printed letters. We begin with the first three letters of the alphabet, and find that H 1 succeeds at distinguishing between them. Sara Kališnik January 10, / 34
29 Making homology more sensitive However, after this initial success, we see that every other letter has the same first Betti number as one of these three. Homology can be refined to discriminate more finely between the letters. To understand how this works, we digress a bit to discuss how an analogous problem in manifold topology is approached. Sara Kališnik January 10, / 34
30 Making homology more sensitive The homology groups H i (R n ) vanish for all i > 0. What this means is that homology is unable to distinguish between R m and R n when m = n. From the point of view of a topologist who is interested in distinguishing different manifolds from each other, this means that homology is in some ways a relatively weak invariant. This failure can be addressed by computing homology on auxiliary or derived spaces, constructed using various geometric constructions. Sara Kališnik January 10, / 34
31 Making homology more sensitive Removing a point While the homology groups of R n vanish, the homology groups of R n \ {0} do not. To see this, we observe that we have the inclusion i: S n 1 R n \ {0} as well as the map r : R n \ {0} S n 1 defined by r(v) = f v. r i is equal to the identity map for Sn 1, and the other composite i r is homotopic to the identity map of R n \ {0} via the straight line homotopy H(v, t) = (1 t)i r + tid R n \{0}. With this we can detect the difference between R n and R m, with m = n, by recognizing that the homology of the result of removing a single point from the two spaces are different, since homology detects the difference between spheres of different dimensions. Sara Kališnik January 10, / 34
32 Making homology more sensitive Removing singular points Consider the space given by the crossing of two lines. This space is also contractible, as one can easily see by retracting each line segment onto the crossing point A. On the other hand, we recognize that its shape has features which distinguish it from an interval or a circle, and might want to detect that homologically. If we remove the singular point A, we will find that the space remaining breaks up into four distinct components, which can be detected by H 0. Sara Kališnik January 10, / 34
33 Making homology more sensitive If one uses homology on suitably constructed auxiliary spaces, one can obtain classification criteria for many interesting problems in shape discrimination. Try 2 To think through how we might apply these ideas to the problem of distinguishing between letters, let us define an end of a space X to be a point x X so that there is a neighborhood N of x which is homeomorphic to [0, 1), and so that the homeomorphism carries x to 0. Sara Kališnik January 10, / 34
34 Making homology more sensitive Try 2 In this case, the auxiliary or derived space is the set of ends of the space, e(x), and we can compute its zero-dimensional homology H 0, to get the Betti number β 0. We now obtain the following partition of the set of letters. Sara Kališnik January 10, / 34
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 informationChapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View
Chapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View As discussed in Chapter 2, we have complete topological information about 2-manifolds. How about higher dimensional manifolds?
More informationHOMOLOGY THEORIES INGRID STARKEY
HOMOLOGY THEORIES INGRID STARKEY Abstract. This paper will introduce the notion of homology for topological spaces and discuss its intuitive meaning. It will also describe a general method that is used
More information6 Axiomatic Homology Theory
MATH41071/MATH61071 Algebraic topology 6 Axiomatic Homology Theory Autumn Semester 2016 2017 The basic ideas of homology go back to Poincaré in 1895 when he defined the Betti numbers and torsion numbers
More information7.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 informationCELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1
CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA PAOLO DEGIORGI Abstract. This paper will first go through some core concepts and results in homology, then introduce the concepts of CW complex, subcomplex
More informationMATH 215B HOMEWORK 5 SOLUTIONS
MATH 25B HOMEWORK 5 SOLUTIONS. ( marks) Show that the quotient map S S S 2 collapsing the subspace S S to a point is not nullhomotopic by showing that it induces an isomorphism on H 2. On the other hand,
More informationHomework 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 informationAlgebraic Topology Homework 4 Solutions
Algebraic Topology Homework 4 Solutions Here are a few solutions to some of the trickier problems... Recall: Let X be a topological space, A X a subspace of X. Suppose f, g : X X are maps restricting to
More information3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.
Department of Mathematics and Statistics University of South Florida TOPOLOGY QUALIFYING EXAM January 24, 2015 Examiners: Dr. M. Elhamdadi, Dr. M. Saito Instructions: For Ph.D. level, complete at least
More informationCorrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015
Corrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015 Changes or additions made in the past twelve months are dated. Page 29, statement of Lemma 2.11: The
More informationSOLUTIONS TO THE FINAL EXAM
SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering
More informationNeural Codes and Neural Rings: Topology and Algebraic Geometry
Neural Codes and Neural Rings: Topology and Algebraic Geometry Ma191b Winter 2017 Geometry of Neuroscience References for this lecture: Curto, Carina; Itskov, Vladimir; Veliz-Cuba, Alan; Youngs, Nora,
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationCS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a
Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations
More informationHairy balls and ham sandwiches
Hairy balls and ham sandwiches Graduate Student Seminar, Carnegie Mellon University Thursday 14 th November 2013 Clive Newstead Abstract Point-set topology studies spaces up to homeomorphism. For many
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationLecture 12: Feb 16, 2017
CS 6170 Computational Topology: Topological Data Analysis Spring 2017 Lecture 12: Feb 16, 2017 Lecturer: Prof Bei Wang University of Utah School of Computing Scribe: Waiming Tai This
More informationC n.,..., z i 1., z i+1., w i+1,..., wn. =,..., w i 1. : : w i+1. :... : w j 1 1.,..., w j 1. z 0 0} = {[1 : w] w C} S 1 { },
Complex projective space The complex projective space CP n is the most important compact complex manifold. By definition, CP n is the set of lines in C n+1 or, equivalently, CP n := (C n+1 \{0})/C, where
More informationSolution: We can cut the 2-simplex in two, perform the identification and then stitch it back up. The best way to see this is with the picture:
Samuel Lee Algebraic Topology Homework #6 May 11, 2016 Problem 1: ( 2.1: #1). What familiar space is the quotient -complex of a 2-simplex [v 0, v 1, v 2 ] obtained by identifying the edges [v 0, v 1 ]
More informationEILENBERG-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 informationSheaf theory August 23, 2016
Sheaf theory August 23, 216 Chapter 1 The statement of de Rham s theorem Before doing anything fancy, let s start at the beginning. Let U R 3 be an open set. In calculus class, we learn about operations
More informationA 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 information10 Excision and applications
22 CHAPTER 1. SINGULAR HOMOLOGY be a map of short exact sequences of chain complexes. If two of the three maps induced in homology by f, g, and h are isomorphisms, then so is the third. Here s an application.
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationGEOMETRY 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 informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationHomework 4: Mayer-Vietoris Sequence and CW complexes
Homework 4: Mayer-Vietoris Sequence and CW complexes Due date: Friday, October 4th. 0. Goals and Prerequisites The goal of this homework assignment is to begin using the Mayer-Vietoris sequence and cellular
More information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set
More information30 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 informationMATH8808: 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 informationGeometry Qualifying Exam Notes
Geometry Qualifying Exam Notes F 1 F 1 x 1 x n Definition: The Jacobian matrix of a map f : N M is.. F m F m x 1 x n square matrix, its determinant is called the Jacobian determinant.. When this is a Definition:
More informationTensor, Tor, UCF, and Kunneth
Tensor, Tor, UCF, and Kunneth Mark Blumstein 1 Introduction I d like to collect the basic definitions of tensor product of modules, the Tor functor, and present some examples from homological algebra and
More informationDefinition 2.3. We define addition and multiplication of matrices as follows.
14 Chapter 2 Matrices In this chapter, we review matrix algebra from Linear Algebra I, consider row and column operations on matrices, and define the rank of a matrix. Along the way prove that the row
More informationHOMOLOGY AND COHOMOLOGY. 1. Introduction
HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together
More informationMath 6510 Homework 11
2.2 Problems 40 Problem. From the long exact sequence of homology groups associted to the short exact sequence of chain complexes n 0 C i (X) C i (X) C i (X; Z n ) 0, deduce immediately that there are
More informationUV k -Mappings. John Bryant, Steve Ferry, and Washington Mio. February 21, 2013
UV k -Mappings John Bryant, Steve Ferry, and Washington Mio February 21, 2013 Continuous maps can raise dimension: Peano curve (Giuseppe Peano, ca. 1890) Hilbert Curve ( 1890) Lyudmila Keldysh (1957):
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationAlgebraic Topology I Homework Spring 2014
Algebraic Topology I Homework Spring 2014 Homework solutions will be available http://faculty.tcu.edu/gfriedman/algtop/algtop-hw-solns.pdf Due 5/1 A Do Hatcher 2.2.4 B Do Hatcher 2.2.9b (Find a cell structure)
More informationHandlebody 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 informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More information32 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 informationHomology theory. Lecture 29-3/7/2011. Lecture 30-3/8/2011. Lecture 31-3/9/2011 Math 757 Homology theory. March 9, 2011
Math 757 Homology theory March 9, 2011 Theorem 183 Let G = π 1 (X, x 0 ) then for n 1 h : π n (X, x 0 ) H n (X ) factors through the quotient map q : π n (X, x 0 ) π n (X, x 0 ) G to π n (X, x 0 ) G the
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationMATH 215B HOMEWORK 4 SOLUTIONS
MATH 215B HOMEWORK 4 SOLUTIONS 1. (8 marks) Compute the homology groups of the space X obtained from n by identifying all faces of the same dimension in the following way: [v 0,..., ˆv j,..., v n ] is
More informationMA441: Algebraic Structures I. Lecture 18
MA441: Algebraic Structures I Lecture 18 5 November 2003 1 Review from Lecture 17: Theorem 6.5: Aut(Z/nZ) U(n) For every positive integer n, Aut(Z/nZ) is isomorphic to U(n). The proof used the map T :
More informationEquivalence of the Combinatorial Definition (Lecture 11)
Equivalence of the Combinatorial Definition (Lecture 11) September 26, 2014 Our goal in this lecture is to complete the proof of our first main theorem by proving the following: Theorem 1. The map of simplicial
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More informationCourse notes in algebraic topology
Course notes in algebraic topology Benson Farb CLASS NOTES, Fall 2012 Comments/corrections/suggestions welcome November 11, 2012 2 Contents 1 Homology 5 1.1 Construction of simplicial homology....................
More informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
More information1 The Local-to-Global Lemma
Point-Set Topology Connectedness: Lecture 2 1 The Local-to-Global Lemma In the world of advanced mathematics, we are often interested in comparing the local properties of a space to its global properties.
More informationTHE 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 informationSolutions to Problem Set 1
Solutions to Problem Set 1 18.904 Spring 2011 Problem 1 Statement. Let n 1 be an integer. Let CP n denote the set of all lines in C n+1 passing through the origin. There is a natural map π : C n+1 \ {0}
More informationHomology 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 information0.1 Universal Coefficient Theorem for Homology
0.1 Universal Coefficient Theorem for Homology 0.1.1 Tensor Products Let A, B be abelian groups. Define the abelian group A B = a b a A, b B / (0.1.1) where is generated by the relations (a + a ) b = a
More informationMath 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.
Problem List I Problem 1. A space X is said to be contractible if the identiy map i X : X X is nullhomotopic. a. Show that any convex subset of R n is contractible. b. Show that a contractible space is
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationTopology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2
Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2 Andrew Ma August 25, 214 2.1.4 Proof. Please refer to the attached picture. We have the following chain complex δ 3
More informationFUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents
FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM SAMUEL BLOOM Abstract. In this paper, we define the fundamental group of a topological space and explore its structure, and we proceed to prove Van-Kampen
More informationLinear Algebra 1 Exam 2 Solutions 7/14/3
Linear Algebra 1 Exam Solutions 7/14/3 Question 1 The line L has the symmetric equation: x 1 = y + 3 The line M has the parametric equation: = z 4. [x, y, z] = [ 4, 10, 5] + s[10, 7, ]. The line N is perpendicular
More informationTHE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES
Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main
More informationTOPOLOGY TAKE-HOME CLAY SHONKWILER
TOPOLOGY TAKE-HOME CLAY SHONKWILER 1. The Discrete Topology Let Y = {0, 1} have the discrete topology. Show that for any topological space X the following are equivalent. (a) X has the discrete topology.
More informationTHE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM
THE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM KATHERINE GALLAGHER Abstract. The fundamental group is an essential tool for studying a topological space since it provides us with information about
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationAn 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 information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationAN INTRODUCTION TO THE FUNDAMENTAL GROUP
AN INTRODUCTION TO THE FUNDAMENTAL GROUP DAVID RAN Abstract. This paper seeks to introduce the reader to the fundamental group and then show some of its immediate applications by calculating the fundamental
More informationFREUDENTHAL 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 informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationManifolds 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(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.
0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested
More informationThe Fundamental Group and Covering Spaces
Chapter 8 The Fundamental Group and Covering Spaces In the first seven chapters we have dealt with point-set topology. This chapter provides an introduction to algebraic topology. Algebraic topology may
More informationAlgebraic Topology M3P solutions 2
Algebraic Topology M3P1 015 solutions AC Imperial College London a.corti@imperial.ac.uk 3 rd February 015 A small disclaimer This document is a bit sketchy and it leaves some to be desired in several other
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationFoliations of Three Dimensional Manifolds
Foliations of Three Dimensional Manifolds M. H. Vartanian December 17, 2007 Abstract The theory of foliations began with a question by H. Hopf in the 1930 s: Does there exist on S 3 a completely integrable
More informationPersistent Homology. 128 VI Persistence
8 VI Persistence VI. Persistent Homology A main purpose of persistent homology is the measurement of the scale or resolution of a topological feature. There are two ingredients, one geometric, assigning
More information2.5 Excision implies Simplicial = Singular homology
2.5 Excision implies Simplicial = Singular homology 1300Y Geometry and Topology 2.5 Excision implies Simplicial = Singular homology Recall that simplicial homology was defined in terms of a -complex decomposition
More informationTHE 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 informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationLecture 4: Orbits. Rajat Mittal. IIT Kanpur
Lecture 4: Orbits Rajat Mittal IIT Kanpur In the beginning of the course we asked a question. How many different necklaces can we form using 2 black beads and 10 white beads? In the question, the numbers
More informationALGEBRAIC TOPOLOGY IV. Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by
ALGEBRAIC TOPOLOGY IV DIRK SCHÜTZ 1. Cochain complexes and singular cohomology Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by Hom(A, B) = {ϕ: A B ϕ homomorphism}
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
More informationNoncommutative geometry and quantum field theory
Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological
More informationfor some n i (possibly infinite).
Homology with coefficients: The chain complexes that we have dealt with so far have had elements which are Z-linear combinations of basis elements (which are themselves singular simplices or equivalence
More informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
More informationLecture 4: Knot Complements
Lecture 4: Knot Complements Notes by Zach Haney January 26, 2016 1 Introduction Here we discuss properties of the knot complement, S 3 \ K, for a knot K. Definition 1.1. A tubular neighborhood V k S 3
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationBROUWER FIXED POINT THEOREM. Contents 1. Introduction 1 2. Preliminaries 1 3. Brouwer fixed point theorem 3 Acknowledgments 8 References 8
BROUWER FIXED POINT THEOREM DANIELE CARATELLI Abstract. This paper aims at proving the Brouwer fixed point theorem for smooth maps. The theorem states that any continuous (smooth in our proof) function
More informationHOMEWORK 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 informationAlgebraic Topology. Len Evens Rob Thompson
Algebraic Topology Len Evens Rob Thompson Northwestern University City University of New York Contents Chapter 1. Introduction 5 1. Introduction 5 2. Point Set Topology, Brief Review 7 Chapter 2. Homotopy
More informationExercise: Consider the poset of subsets of {0, 1, 2} ordered under inclusion: Date: July 15, 2015.
07-13-2015 Contents 1. Dimension 1 2. The Mayer-Vietoris Sequence 3 2.1. Suspension and Spheres 4 2.2. Direct Sums 4 2.3. Constuction of the Mayer-Vietoris Sequence 6 2.4. A Sample Calculation 7 As we
More information