Topological Simplification in 3-Dimensions
|
|
- Dwight Cecil Mason
- 6 years ago
- Views:
Transcription
1 Topological Simplification in 3-Dimensions David Letscher Saint Louis University Computational & Algorithmic Topology Sydney Letscher (SLU) Topological Simplification CATS / 33
2 Motivation Original Question? Given a finite set of points X 0 R d what can you say about the topology of the shape they represent? Letscher (SLU) Topological Simplification CATS / 33
3 Motivation Original Question? Given a finite set of points X 0 R d what can you say about the topology of the shape they represent? Discrete point set = no interesting topology... Right? Letscher (SLU) Topological Simplification CATS / 33
4 Filtrations Input X 0 R d. (Assumed to be generic) α-shape X α = x X 0 B(x, α) α-filtration More generally X α1 X α2 X αk For continuous f : R d R, define X α = {x f (x) α}. For example, f might measure density (medical imaging,...). Letscher (SLU) Topological Simplification CATS / 33
5 Topological Critical Points Definition α s where X α ɛ = Xα for all sufficiently small α. If X 0 is generic or f is a (generic) Morse function then there are finitely many critical point and at each there is a single change in topology. Letscher (SLU) Topological Simplification CATS / 33
6 Homology Suppose that X is a triangulated space. Chains C k (X ) if the vector space (with base field Z/2Z) generated by the k-simplices of X (vertices, edges, triangles,...). Boundary For a k-simplex σ, σ is the formal sum of its (k 1)-simplices. For chains, the boundary operator can be extended linearly ( ) σi = (σ i ) Letscher (SLU) Topological Simplification CATS / 33
7 Homology Cycles Z k (X ) = subspace of chains c with c = 0 Boundaries B k (X ) = spaces of boundaries of (k + 1)-chains Homology H k (X ) = Z k (X )/B k (X ) If X R 3, Rank of H 0 (X ) = number of components of X Rank of H 0 (X ) = number of independent of X Rank of H 0 (X ) = number of voids of X Letscher (SLU) Topological Simplification CATS / 33
8 Homology, examples X Rank of H 0 (X ) Rank of H 1 (X ) Rank of H 2 (X ) Letscher (SLU) Topological Simplification CATS / 33
9 Persistent Homology [L-Edelsbrunner-Zomordian, 2000] H p k (X α) = Z k (X α )/ (Z k (X α ) B k (X α+p ) Equivalently, H p k (X α) = image(h k (X α ) H k (X α+p )) H p 0 (X α) H p 1 (X α) H p 2 (X α) counts the number of components of X α that are still separate in X α+p. measures the number of (independent) loops in X α that are not filled-in in X α+p. measures the number of voids in X α that are not filled-in in X α+p. Letscher (SLU) Topological Simplification CATS / 33
10 Persistence Diagrams Every topological critical point corresponds to a birth or death of a cycle. (We assume these critical points happen at distinct times.) Birth time An α where H k (X α ) = H k (X α ɛ ) Z for all sufficiently small ɛ > 0. Letscher (SLU) Topological Simplification CATS / 33
11 Persistence Diagrams Every topological critical point corresponds to a birth or death of a cycle. (We assume these critical points happen at distinct times.) Birth time An α where H k (X α ) = H k (X α ɛ ) Z for all sufficiently small ɛ > 0. Death time If c is some cycle born at time α, then it s death time is the smallest β such that there exists a cycle c H k (X α ) such that c + c bounds a cycle in X β. Letscher (SLU) Topological Simplification CATS / 33
12 Persistence Diagrams Persistence Diagrams A persistence diagram [Cohen-Steiner-Edelsbrunner-Harer, 2005] is a plot of the birth-death pairs of the plane dim 1 dim 2 dim Letscher (SLU) Topological Simplification CATS / 33
13 Persistence Diagrams dim 1 dim 2 dim Letscher (SLU) Topological Simplification CATS / 33
14 Persistence Diagrams dim 1 dim 2 dim Letscher (SLU) Topological Simplification CATS / 33
15 Persistence Diagrams dim 1 dim 2 dim Letscher (SLU) Topological Simplification CATS / 33
16 Stability of Persistence Diagrams We will augment the persistence diagrams by adding the diagonal with infinite multiplicity. Bottleneck distance If D f and D g are two persistence diagrams the bottleneck distance d B (D f, D g ) = inf sup x φ(x) bijections φ:d f D g x D f Bottle neck distance make the space of persistence diagrams a complete separable metric space. Stability [Cohen-Steiner-Edelsbrunner-Harer, 2005] If f, g : R d R have k-dimensional persistence diagram D f and D g, respectively, then d B (D f, D g ) f g Letscher (SLU) Topological Simplification CATS / 33
17 Simplification Question Suppose f : R d R has persistence diagrams D k. For a fixed ɛ > 0 let D k be D k with all points within a distance ɛ removed. Does there exists f with f f < ɛ and the k-dimensional persistence diagrams of f equal to D k dim dim 2 dim dim 1 dim 2 dim Letscher (SLU) Topological Simplification CATS / 33
18 Simplification dim dim 2 dim dim dim 2 dim dim dim Letscher (SLU) Topological Simplification CATS / 33
19 Simplification in 2-Dimensions [Bauer-Lange-Wardetzky] If f : R 2 R is a tame Morse function then for any ɛ > 0 there exits f : R 2 R such that f f < ɛ The persistence diagram for f are the persistence diagrams for f with every point within ɛ of the boundary removed. Letscher (SLU) Topological Simplification CATS / 33
20 Simplification Counter-example in 3-Dimensions Similar simplification is not possible in R 3 using persistent homology. Letscher (SLU) Topological Simplification CATS / 33
21 Simplification Counter-example in 3-Dimensions Similar simplification is not possible in R 3 using persistent homology. t = 0 t = 1 t = 2 t = 2 + ɛ t = 3 If f is any function with the second persistence diagram then f f 1 but d B (D, D ) ɛ. Letscher (SLU) Topological Simplification CATS / 33
22 Where it Fails Letscher (SLU) Topological Simplification CATS / 33
23 Where it Fails Letscher (SLU) Topological Simplification CATS / 33
24 Homotopy Fix points x 0 X and s 0 S k. Definition π k (X, x 0 ) = {f : (S k, s 0 ) (X, x 0 )}/ where two maps are equivalent is they are homotopic through maps that map s 0 to x 0 Letscher (SLU) Topological Simplification CATS / 33
25 Homotopy Fix points x 0 X and s 0 S k. Definition π k (X, x 0 ) = {f : (S k, s 0 ) (X, x 0 )}/ where two maps are equivalent is they are homotopic through maps that map s 0 to x 0 π 0 (X, x 0 ) = connected components of X (size is the rank of H 0 (X )) Letscher (SLU) Topological Simplification CATS / 33
26 Homotopy Fix points x 0 X and s 0 S k. Definition π k (X, x 0 ) = {f : (S k, s 0 ) (X, x 0 )}/ where two maps are equivalent is they are homotopic through maps that map s 0 to x 0 π 0 (X, x 0 ) = connected components of X (size is the rank of H 0 (X )) π 1 (X, x 0 ) is a non-abelian group (for connected X ) If X is connected the Abelianization of π 1 (X, x 1 ) is H 1 (X ). Carries strictly more information than homology. Letscher (SLU) Topological Simplification CATS / 33
27 Homotopy Fix points x 0 X and s 0 S k. Definition π k (X, x 0 ) = {f : (S k, s 0 ) (X, x 0 )}/ where two maps are equivalent is they are homotopic through maps that map s 0 to x 0 π 0 (X, x 0 ) = connected components of X (size is the rank of H 0 (X )) π 1 (X, x 0 ) is a non-abelian group (for connected X ) If X is connected the Abelianization of π 1 (X, x 1 ) is H 1 (X ). Carries strictly more information than homology. For k > 1, π k (X, x 0 ) is an Abelian group (distinct from H k (X )) Letscher (SLU) Topological Simplification CATS / 33
28 Persistent Homotopy Definition π p k (X α, x 0 ) = {f : (S k, s 0 ) (X α, x 0 )}/ where two maps are equivalent is they are homotopic in X α+p through maps that fix s 0 Equivalently, π p k (X α, x 0 ) = im(π k (X α, x 0 ) π k (X α+p, x 0 )) Letscher (SLU) Topological Simplification CATS / 33
29 Persistent Homotopy Diagrams Birth times Birth time k = 0 π 0 (X α ) = π 0 (X α ɛ ) {c} k = 1 π 1 (X α ) = π 1 (X α ɛ ) Z k > 1 π k (X α ) = π k (X α ɛ ) Z Letscher (SLU) Topological Simplification CATS / 33
30 Persistent Homotopy Diagrams Birth times and death times Birth time Death time k = 0 π 0 (X α ) = π 0 (X α ɛ ) {c} First β where the component c merges with a component existing before time α k = 1 π 1 (X α ) = π 1 (X α ɛ ) Z First β where there exists γ π 1 (X α ) π 1 (X α ɛ ) where γ maps to trivial element in π 1 (X β ) k > 1 π k (X α ) = π k (X α ɛ ) Z First β where there exists γ π k (X α ) π k (X α ɛ ) where γ maps to trivial element in π k (X β ) Letscher (SLU) Topological Simplification CATS / 33
31 How Can the Diagrams Differ in R 3 Persistent homology vs persistent homotopy 0-cycles 1-cycles 2-cycles Letscher (SLU) Topological Simplification CATS / 33
32 How Can the Diagrams Differ in R 3 Persistent homology vs persistent homotopy 0-cycles 1-cycles 2-cycles Unchanged Letscher (SLU) Topological Simplification CATS / 33
33 How Can the Diagrams Differ in R 3 Persistent homology vs persistent homotopy 0-cycles 1-cycles 2-cycles Unchanged Letscher (SLU) Topological Simplification CATS / 33
34 How Can the Diagrams Differ in R 3 Persistent homology vs persistent homotopy 0-cycles 1-cycles 2-cycles Unchanged Moved up Letscher (SLU) Topological Simplification CATS / 33
35 How Can the Diagrams Differ in R 3 Persistent homology vs persistent homotopy 0-cycles 1-cycles 2-cycles Unchanged Moved up Letscher (SLU) Topological Simplification CATS / 33
36 How Can the Diagrams Differ in R 3 Persistent homology vs persistent homotopy 0-cycles 1-cycles 2-cycles Unchanged Moved up Moved Right Letscher (SLU) Topological Simplification CATS / 33
37 Simplification in 3-Dimensions Theorem If M is either a closed, irreducible 3-manifold or R 3 and f : M R is a tame Morse function then for any ɛ > 0 there exits f : M R such that f f < ɛ The persistence diagram for f are the persistence diagrams for f with every point within ɛ of the boundary removed. Letscher (SLU) Topological Simplification CATS / 33
38 Classical 3-Manifold Results Loop Theorem Suppose that M is a compact 3-manifold and B M a compact surface. For any normal subgroup N of π 1 (B) that does not contain the kernel of π 1 (B) π 1 (M) there exists an embedding f : (D, S 1 ) (M, B) such that f (S 1 ) represents a loop in π 1 (B) N. Dehn s Lemma Let M be a compact 3-manifold and f : (D, S 1 ) (M, M) be an embedding on some collar neighborhood A of D. Then there is an embedding g : D M that agrees with f on A. Sphere Theorem Suppose M is a compact 3-manifold with non-trivial π 2 (M). Then there exists an essential 2-sided embedded sphere or projective plane. Letscher (SLU) Topological Simplification CATS / 33
39 3-Manifold Algorithms Issue Non-injective π 1 ( M) π 1 (M) Theory Existence of embedded compressing disk (Loop theorem) Non-trivial π 2 (M) Existence of embedded essential sphere (Sphere theorem) Letscher (SLU) Topological Simplification CATS / 33
40 3-Manifold Algorithms Issue Theory Algorithm Non-injective Existence of embedded compressing Normal surfaces π 1 ( M) π 1 (M) disk (Loop theorem) Non-trivial Existence of embedded essential Normal and almost π 2 (M) sphere (Sphere theorem) normal surfaces Letscher (SLU) Topological Simplification CATS / 33
41 Simplified Case Assumption Two spaces in a filtration X 0 X 1 S 3 Letscher (SLU) Topological Simplification CATS / 33
42 Simplified Case Assumption Two spaces in a filtration X 0 X 1 S 3 What could happen? New components form New 1-handles added forming loops A void forms Letscher (SLU) Topological Simplification CATS / 33
43 Simplified Case Assumption Two spaces in a filtration X 0 X 1 S 3 What could happen? New components form New 1-handles added forming loops A void forms Components merge 2-handles added closing loops Void filled Letscher (SLU) Topological Simplification CATS / 33
44 Simplified Case Goal Find Y such that X 0 Y X 1 π k (Y ) = im(π k (X 0 ) π k (X 1 )) for all k 1 π k (X 0 ) π k (Y ) π k (X 1 ) 1 is exact Letscher (SLU) Topological Simplification CATS / 33
45 Simplified Case Goal Find Y such that X 0 Y X 1 π k (Y ) = im(π k (X 0 ) π k (X 1 )) for all k 1 π k (X 0 ) π k (Y ) π k (X 1 ) 1 is exact Letscher (SLU) Topological Simplification CATS / 33
46 Simplified Case Goal Find Y such that X 0 Y X 1 π k (Y ) = im(π k (X 0 ) π k (X 1 )) for all k 1 π k (X 0 ) π k (Y ) π k (X 1 ) 1 is exact Letscher (SLU) Topological Simplification CATS / 33
47 Existence of Y Non-trivial kernel π 1 (X 0 ) π 1 (X 1 ) Loop theorem implies there exists an embedded disk D with D is an essential curve in X 0 D X 1 X 0 Add a small neighborhood of D to Y. Note: we might need to add several disks. Letscher (SLU) Topological Simplification CATS / 33
48 Existence of Y Non-trivial kernel π 1 (X 0 ) π 1 (X 1 ) Loop theorem implies there exists an embedded disk D with D is an essential curve in X 0 D X 1 X 0 Add a small neighborhood of D to Y. Note: we might need to add several disks. Non-trivial kernel π 2 (X 0 ) π 2 (X 1 ) Sphere theorem implies there is a essential sphere in X 0 bounding a ball B X 1. Add B to Y. Letscher (SLU) Topological Simplification CATS / 33
49 Existence of Y Non-trivial kernel π 1 (X 0 ) π 1 (X 1 ) Loop theorem implies there exists an embedded disk D with D is an essential curve in X 0 D X 1 X 0 Add a small neighborhood of D to Y. Note: we might need to add several disks. Non-trivial kernel π 2 (X 0 ) π 2 (X 1 ) Sphere theorem implies there is a essential sphere in X 0 bounding a ball B X 1. Add B to Y. Non-trivial kernel π 0 (X 0 ) π 0 (X 1 ) Connect components of X 0 by shortest paths in X 1 and add small neighborhoods of the paths to Y. Letscher (SLU) Topological Simplification CATS / 33
50 General Case X 0 X 1 X 2 X 3 Letscher (SLU) Topological Simplification CATS / 33
51 General Case X 1 0 X 0 X 1 X 2 X 3 Letscher (SLU) Topological Simplification CATS / 33
52 General Case X 1 0 X 1 1 X 0 X 1 X 2 X 3 Letscher (SLU) Topological Simplification CATS / 33
53 General Case X 1 0 X 1 1 X 0 X 1 X 2 X 3 Letscher (SLU) Topological Simplification CATS / 33
54 General Case X 1 0 X 1 1 X 1 2 X 0 X 1 X 2 X 3 Letscher (SLU) Topological Simplification CATS / 33
55 General Case X 1 0 X 1 1 X 1 2 X 1 3 X 0 X 1 X 2 X 3 Letscher (SLU) Topological Simplification CATS / 33
56 General Case X 2 0 X 2 1 X 2 2 X 1 0 X 1 1 X 1 2 X 1 3 X 0 X 1 X 2 X 3 Letscher (SLU) Topological Simplification CATS / 33
57 General Case X 3 0 X 3 1 X 3 2 X 2 0 X 2 1 X 2 2 X 1 0 X 1 1 X 1 2 X 1 3 X 0 X 1 X 2 X 3 Letscher (SLU) Topological Simplification CATS / 33
58 General Case X 3 0 X 3 1 X 3 2 X 2 0 X 2 1 X 2 2 X 1 0 X 1 1 X 1 2 X 1 3 X 0 X 1 X 2 X 3 Letscher (SLU) Topological Simplification CATS / 33
59 General Case X 3 0 X 3 1 X 3 2 X 2 0 X 2 1 X 2 2 X 1 0 X 1 1 X 1 2 X 1 3 X 0 X 1 X 2 X 3 Note: Upward diagonal arrows are π k -surjective for all k Downward diagonal arrows are π k -injective for all k Letscher (SLU) Topological Simplification CATS / 33
60 Is it Practical? Letscher (SLU) Topological Simplification CATS / 33
61 Is it Practical? Yes Letscher (SLU) Topological Simplification CATS / 33
62 Is it Practical? Yes and No Letscher (SLU) Topological Simplification CATS / 33
63 Is it Practical? Yes and No In practice it appears that persistent homology and persistent homotopy diagrams agree. Letscher (SLU) Topological Simplification CATS / 33
64 Is it Practical? Yes and No In practice it appears that persistent homology and persistent homotopy diagrams mostly agree. Letscher (SLU) Topological Simplification CATS / 33
65 Is it Practical? Yes and No In practice it appears that persistent homology and persistent homotopy diagrams mostly agree. Algorithm A simple modification of the O(n 3 ) standard persistence algorithm [ELZ] computes the following: Paired birth/death times Letscher (SLU) Topological Simplification CATS / 33
66 Is it Practical? Yes and No In practice it appears that persistent homology and persistent homotopy diagrams mostly agree. Algorithm A simple modification of the O(n 3 ) standard persistence algorithm [ELZ] computes the following: Paired birth/death times Generators for the homology groups at each birth that are minimal in a particular sense Letscher (SLU) Topological Simplification CATS / 33
67 Is it Practical? Yes and No In practice it appears that persistent homology and persistent homotopy diagrams mostly agree. Algorithm A simple modification of the O(n 3 ) standard persistence algorithm [ELZ] computes the following: Paired birth/death times Generators for the homology groups at each birth that are minimal in a particular sense Boundary complexes for each birth that are minimal in a particular sense. Letscher (SLU) Topological Simplification CATS / 33
68 Is it Practical? Yes and No In practice it appears that persistent homology and persistent homotopy diagrams mostly agree. Guarantees? O(n 3 ) worst case runtime (appears quadratic in practice) Letscher (SLU) Topological Simplification CATS / 33
69 Is it Practical? Yes and No In practice it appears that persistent homology and persistent homotopy diagrams mostly agree. Guarantees? O(n 3 ) worst case runtime (appears quadratic in practice) If we re luckly all of the death complexes are disks and we re done. Letscher (SLU) Topological Simplification CATS / 33
70 Is it Practical? Yes and No In practice it appears that persistent homology and persistent homotopy diagrams mostly agree. Guarantees? O(n 3 ) worst case runtime (appears quadratic in practice) If we re luckly all of the death complexes are disks and we re done. Hope we re were lucky. Letscher (SLU) Topological Simplification CATS / 33
71 Is it Practical? Yes and No In practice it appears that persistent homology and persistent homotopy diagrams mostly agree. Guarantees? O(n 3 ) worst case runtime (appears quadratic in practice) If we re luckly all of the death complexes are disks and we re done. Hope we re were lucky. If we re unlucky resort to normal surface theory for the (hopefully few) where the death complexes are not disks (Regina). Letscher (SLU) Topological Simplification CATS / 33
72 Thanks Questions? Letscher (SLU) Topological Simplification CATS / 33
Persistent Homology. 24 Notes by Tamal K. Dey, OSU
24 Notes by Tamal K. Dey, OSU Persistent Homology Suppose we have a noisy point set (data) sampled from a space, say a curve inr 2 as in Figure 12. Can we get the information that the sampled space had
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 informationPersistent homology and nonparametric regression
Cleveland State University March 10, 2009, BIRS: Data Analysis using Computational Topology and Geometric Statistics joint work with Gunnar Carlsson (Stanford), Moo Chung (Wisconsin Madison), Peter Kim
More informationNonparametric regression for topology. applied to brain imaging data
, applied to brain imaging data Cleveland State University October 15, 2010 Motivation from Brain Imaging MRI Data Topology Statistics Application MRI Data Topology Statistics Application Cortical surface
More informationMultivariate Topological Data Analysis
Cleveland State University November 20, 2008, Duke University joint work with Gunnar Carlsson (Stanford), Peter Kim and Zhiming Luo (Guelph), and Moo Chung (Wisconsin Madison) Framework Ideal Truth (Parameter)
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 informationPersistent Homology of Data, Groups, Function Spaces, and Landscapes.
Persistent Homology of Data, Groups, Function Spaces, and Landscapes. Shmuel Weinberger Department of Mathematics University of Chicago William Benter Lecture City University of Hong Kong Liu Bie Ju Centre
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 information7. The Stability Theorem
Vin de Silva Pomona College CBMS Lecture Series, Macalester College, June 2017 The Persistence Stability Theorem Stability Theorem (Cohen-Steiner, Edelsbrunner, Harer 2007) The following transformation
More informationTopological Data Analysis - II. Afra Zomorodian Department of Computer Science Dartmouth College
Topological Data Analysis - II Afra Zomorodian Department of Computer Science Dartmouth College September 4, 2007 1 Plan Yesterday: Motivation Topology Simplicial Complexes Invariants Homology Algebraic
More information5. Persistence Diagrams
Vin de Silva Pomona College CBMS Lecture Series, Macalester College, June 207 Persistence modules Persistence modules A diagram of vector spaces and linear maps V 0 V... V n is called a persistence module.
More informationAn Introduction to Topological Data Analysis
An Introduction to Topological Data Analysis Elizabeth Munch Duke University :: Dept of Mathematics Tuesday, June 11, 2013 Elizabeth Munch (Duke) CompTop-SUNYIT Tuesday, June 11, 2013 1 / 43 There is no
More informationExercises 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 informationBirth and death in discrete Morse theory
Birth and death in discrete Morse theory Neža Mramor Kosta joint work with Henry C. King, Kevin Knudson University of Ljubljana, Slovenia ACAT Bremen 2013 Motivation Discrete Morse theory Parametric discrete
More informationPersistence based Clustering
July 9, 2009 TGDA Workshop Persistence based Clustering Primoz Skraba joint work with Frédéric Chazal, Steve Y. Oudot, Leonidas J. Guibas 1-1 Clustering Input samples 2-1 Clustering Input samples Important
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 informationStability of Critical Points with Interval Persistence
Stability of Critical Points with Interval Persistence Tamal K. Dey Rephael Wenger Abstract Scalar functions defined on a topological space Ω are at the core of many applications such as shape matching,
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 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 informationLearning from persistence diagrams
Learning from persistence diagrams Ulrich Bauer TUM July 7, 2015 ACAT final meeting IST Austria Joint work with: Jan Reininghaus, Stefan Huber, Roland Kwitt 1 / 28 ? 2 / 28 ? 2 / 28 3 / 28 3 / 28 3 / 28
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 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 informationInterleaving Distance between Merge Trees
Noname manuscript No. (will be inserted by the editor) Interleaving Distance between Merge Trees Dmitriy Morozov Kenes Beketayev Gunther H. Weber the date of receipt and acceptance should be inserted later
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 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 informationMostow Rigidity. W. Dison June 17, (a) semi-simple Lie groups with trivial centre and no compact factors and
Mostow Rigidity W. Dison June 17, 2005 0 Introduction Lie Groups and Symmetric Spaces We will be concerned with (a) semi-simple Lie groups with trivial centre and no compact factors and (b) simply connected,
More informationHomological and homotopical filling functions
Homological and homotopical filling functions Robert Young University of Toronto Feb. 2012 The isoperimetric problem Q: Given a curve of length l in the plane, what s the maximum area it can enclose? The
More informationA (computer friendly) alternative to Morse Novikov theory for real and angle valued maps
A (computer friendly) alternative to Morse Novikov theory for real and angle valued maps Dan Burghelea Department of mathematics Ohio State University, Columbus, OH based on joint work with Stefan Haller
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 informationMAT 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 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 informationQuasi Riemann surfaces II. Questions, comments, speculations
Quasi Riemann surfaces II. Questions, comments, speculations Daniel Friedan New High Energy Theory Center, Rutgers University and Natural Science Institute, The University of Iceland dfriedan@gmail.com
More informationA Higher-Dimensional Homologically Persistent Skeleton
A Higher-Dimensional Homologically Persistent Skeleton Sara Kališnik Verovšek, Vitaliy Kurlin, Davorin Lešnik 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Abstract A data set is often given as a point cloud,
More informationL 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 informationSome Topics in Computational Topology. Yusu Wang. AMS Short Course 2014
Some Topics in Computational Topology Yusu Wang AMS Short Course 2014 Introduction Much recent developments in computational topology Both in theory and in their applications E.g, the theory of persistence
More informationHomotopy and geometric perspectives on string topology
Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known
More informationTOPOLOGY OF POINT CLOUD DATA
TOPOLOGY OF POINT CLOUD DATA CS 468 Lecture 8 11/12/2 Afra Zomorodian CS 468 Lecture 8 - Page 1 PROJECTS Writeups: Introduction to Knot Theory (Giovanni De Santi) Mesh Processing with Morse Theory (Niloy
More informationA Higher-Dimensional Homologically Persistent Skeleton
arxiv:1701.08395v5 [math.at] 10 Oct 2017 A Higher-Dimensional Homologically Persistent Skeleton Sara Kališnik Verovšek, Vitaliy Kurlin, Davorin Lešnik Abstract Real data is often given as a point cloud,
More information3-manifolds and their groups
3-manifolds and their groups Dale Rolfsen University of British Columbia Marseille, September 2010 Dale Rolfsen (2010) 3-manifolds and their groups Marseille, September 2010 1 / 31 3-manifolds and their
More information24 PERSISTENT HOMOLOGY
24 PERSISTENT HOMOLOGY Herbert Edelsbrunner and Dmitriy Morozov INTRODUCTION Persistent homology was introduced in [ELZ00] and quickly developed into the most influential method in computational topology.
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 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 informationA general distance for geometrical shape comparison
A general distance for geometrical shape comparison Patrizio Frosini 1,2 1 Department of Mathematics, University of Bologna, Italy 2 ARCES - Vision Mathematics Group, University of Bologna, Italy patrizio.frosini@unibo.it
More informationHomework 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 informationSome Topics in Computational Topology
Some Topics in Computational Topology Yusu Wang Ohio State University AMS Short Course 2014 Introduction Much recent developments in computational topology Both in theory and in their applications E.g,
More informationPersistent Local Systems
Persistent Local Systems Amit Patel Department of Mathematics Colorado State University joint work with Robert MacPherson School of Mathematics Institute for Advanced Study Abel Symposium on Topological
More informationTopological complexity of motion planning algorithms
Topological complexity of motion planning algorithms Mark Grant mark.grant@ed.ac.uk School of Mathematics - University of Edinburgh 31st March 2011 Mark Grant (University of Edinburgh) TC of MPAs 31st
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 information121B: 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 informationTopological 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 informationAn introduction to cobordism
An introduction to cobordism Martin Vito Cruz 30 April 2004 1 Introduction Cobordism theory is the study of manifolds modulo the cobordism relation: two manifolds are considered the same if their disjoint
More informationDiffeomorphism Groups of Reducible 3-Manifolds. Allen Hatcher
Diffeomorphism Groups of Reducible 3-Manifolds Allen Hatcher In a 1979 announcement by César de Sá and Rourke [CR] there is a sketch of an intuitively appealing approach to measuring the difference between
More informationA metric approach to shape comparison via multidimensional persistence
A metric approach to shape comparison via multidimensional persistence Patrizio Frosini 1,2 1 Department of Mathematics, University of Bologna, Italy 2 ARCES - Vision Mathematics Group, University of Bologna,
More informationComparing persistence diagrams through complex vectors
Comparing persistence diagrams through complex vectors Barbara Di Fabio ARCES, University of Bologna Final Project Meeting Vienna, July 9, 2015 B. Di Fabio, M. Ferri, Comparing persistence diagrams through
More informationGraph Induced Complex: A Data Sparsifier for Homology Inference
Graph Induced Complex: A Data Sparsifier for Homology Inference Tamal K. Dey Fengtao Fan Yusu Wang Department of Computer Science and Engineering The Ohio State University October, 2013 Space, Sample and
More informationHOMOTOPY THEORY ADAM KAYE
HOMOTOPY THEORY ADAM KAYE 1. CW Approximation The CW approximation theorem says that every space is weakly equivalent to a CW complex. Theorem 1.1 (CW Approximation). There exists a functor Γ from the
More informationShort geodesic loops on complete Riemannian manifolds with finite volume.
Short geodesic loops on complete Riemannian manifolds with finite volume. Regina Rotman August 30, 2008 Abstract In this paper we will show that on any complete noncompact Riemannian manifold with a finite
More informationBEN 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 informationIntroduction 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 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 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 informationTree-adjoined spaces and the Hawaiian earring
Tree-adjoined spaces and the Hawaiian earring W. Hojka (TU Wien) Workshop on Fractals and Tilings 2009 July 6-10, 2009, Strobl (Austria) W. Hojka (TU Wien) () Tree-adjoined spaces and the Hawaiian earring
More informationarxiv: v5 [math.mg] 6 Sep 2018
PERSISTENT HOMOLOGY AND THE UPPER BOX DIMENSION BENJAMIN SCHWEINHART arxiv:1802.00533v5 [math.mg] 6 Sep 2018 Abstract. We introduce a fractal dimension for a metric space based on the persistent homology
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 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 informationPersistence in discrete Morse theory
Persistence in discrete Morse theory Dissertation zur Erlangung des mathematisch-naturwissenschaftlichen Doktorgrades Doctor rerum naturalium der Georg-August-Universität Göttingen vorgelegt von Ulrich
More informationAlgebraic Topology Lecture Notes. Jarah Evslin and Alexander Wijns
Algebraic Topology Lecture Notes Jarah Evslin and Alexander Wijns Abstract We classify finitely generated abelian groups and, using simplicial complex, describe various groups that can be associated to
More informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
More informationTHE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann*
THE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann* ABSTRACT. We show that the geometric realization of the partially ordered set of proper free factors in a finitely generated
More informationCompactifying string topology
Compactifying string topology Kate Poirier UC Berkeley Algebraic Topology: Applications and New Developments Stanford University, July 24, 2012 What is the algebraic topology of a manifold? What can we
More informationPersistent Local Homology: Theory, Applications, Algorithms
Persistent Local Homology: Theory, Applications, Algorithms Paul Bendich Duke University Feb. 4, 2014 Basic Goal: stratification learning Q: Given a point cloud sampled from a stratified space, how do
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 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 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 informationScalar Field Analysis over Point Cloud Data
DOI 10.1007/s00454-011-9360-x Scalar Field Analysis over Point Cloud Data Frédéric Chazal Leonidas J. Guibas Steve Y. Oudot Primoz Skraba Received: 19 July 2010 / Revised: 13 April 2011 / Accepted: 18
More informationLECTURE 11: TRANSVERSALITY
LECTURE 11: TRANSVERSALITY Let f : M N be a smooth map. In the past three lectures, we are mainly studying the image of f, especially when f is an embedding. Today we would like to study the pre-image
More informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
More informationSURGERY ON A KNOT IN SURFACE I
SURGERY ON A KNOT IN SURFACE I MARTIN SCHARLEMANN AND ABIGAIL THOMPSON Abstract. Suppose F is a compact orientable surface, K is a knot in F I, and (F I) surg is the 3-manifold obtained by some non-trivial
More informationNOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY
NOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY 1. Closed and exact forms Let X be a n-manifold (not necessarily oriented), and let α be a k-form on X. We say that α is closed if dα = 0 and say
More informationPERFECT SUBGROUPS OF HNN EXTENSIONS
PERFECT SUBGROUPS OF HNN EXTENSIONS F. C. TINSLEY (JOINT WITH CRAIG R. GUILBAULT) Introduction This note includes supporting material for Guilbault s one-hour talk summarized elsewhere in these proceedings.
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 informationMATH730 NOTES WEEK 8
MATH730 NOTES WEEK 8 1. Van Kampen s Theorem The main idea of this section is to compute fundamental groups by decomposing a space X into smaller pieces X = U V where the fundamental groups of U, V, and
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 informationMeasuring and computing natural generators for homology groups
Measuring and computing natural generators for homology groups Chao Chen, Rensselaer Polytechnic Institute 110 8th street, Troy, NY 12180, U.S.A. Email: chenc3@cs.rpi.edu Homepage: www.cs.rpi.edu/ chenc3
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 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 informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More informationMATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS
Key Problems 1. Compute π 1 of the Mobius strip. Solution (Spencer Gerhardt): MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS In other words, M = I I/(s, 0) (1 s, 1). Let x 0 = ( 1 2, 0). Now
More informationMicro-support of sheaves
Micro-support of sheaves Vincent Humilière 17/01/14 The microlocal theory of sheaves and in particular the denition of the micro-support is due to Kashiwara and Schapira (the main reference is their book
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 information1 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 informationFINITELY GENERATING THE MAPPING CLASS GROUP WITH DEHN TWISTS
FINITELY GENERATING THE MAPPING CLASS GROUP WITH DEHN TWISTS CHARLOTTE RIEDER Abstract. We begin with a discussion of the mapping class group of a closed orientable surface, then show that the mapping
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 information1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and
Topology MT434P Problems/Homework Recommended Reading: Munkres, J.R. Topology Hatcher, A. Algebraic Topology, http://www.math.cornell.edu/ hatcher/at/atpage.html For those who have a lot of outstanding
More informationCOMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY
COMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY MARK MCLEAN arxiv:1109.4466v1 [math.sg] 21 Sep 2011 Abstract. For each n greater than 7 we explicitly construct a sequence of Stein manifolds diffeomorphic
More informationMetrics on Persistence Modules and an Application to Neuroscience
Metrics on Persistence Modules and an Application to Neuroscience Magnus Bakke Botnan NTNU November 28, 2014 Part 1: Basics The Study of Sublevel Sets A pair (M, f ) where M is a topological space and
More informationLarge automorphism groups of 16-dimensional planes are Lie groups
Journal of Lie Theory Volume 8 (1998) 83 93 C 1998 Heldermann Verlag Large automorphism groups of 16-dimensional planes are Lie groups Barbara Priwitzer, Helmut Salzmann Communicated by Karl H. Hofmann
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 informationEXOTIC 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 informationDEVELOPMENT OF MORSE THEORY
DEVELOPMENT OF MORSE THEORY MATTHEW STEED Abstract. In this paper, we develop Morse theory, which allows us to determine topological information about manifolds using certain real-valued functions defined
More information