Topological complexity of motion planning algorithms
|
|
- Myron Holland
- 5 years ago
- Views:
Transcription
1 Topological complexity of motion planning algorithms Mark Grant School of Mathematics - University of Edinburgh 31st March 2011 Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
2 Overview 1 Configuration spaces 2 Topology 3 Topological complexity of motion planning 4 Methods of computation 1 Upper bounds 2 Lower bounds 5 Future work Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
3 Configuration spaces The set of attainable configurations of a mechanical system form a topological space X, the so-called configuration space or C-space of the system {points in X } {configurations of system} {continuous paths in X } { continuous motions of system} Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
4 Configuration spaces Obstacles in workspace appear thickened in C-space, where the robot is represented as a point Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
5 Configuration spaces Flying robot in 3D workspace may have X = SO(3) R 3 (orientation) (position) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
6 Configuration spaces Configurations of robot arm given by angles θ i S 1 or [a i, b i ] and extensions q j [a j, b j ] X = S 1 S 1 S 1 [a 1, b 1 ] [a n, b n ] Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
7 Configuration spaces The configuration space of k particles of radius r in a box is X (k, r) [0, 1] 3k Its topology is not well understood, except in a few cases (high or low density, k = 3) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
8 Topology Topological spaces A topological space is a set X with a collection of open subsets satisfying: X, X X are open U V open whenever U, V open λ U λ open whenever each U λ is open Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
9 Topology Topological spaces A topological space is a set X with a collection of open subsets satisfying: X, X X are open U V open whenever U, V open λ U λ open whenever each U λ is open Allows to formalize notions such as nearby points, continuity, connectedness, convergence,... Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
10 Topology Most topologies come from a measure of distance Metric spaces A metric on a set X is a function d : X X R satisfying 1 d(x, y) 0 and d(x, y) = 0 if and only if x = y 2 d(y, x) = d(x, y) 3 d(x, z) d(x, y) + d(y, z) (triangle inequality) The pair (X, d) is called a metric space Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
11 Topology For example, R n = {x = (x 1, x 2,..., x n ) x i R} has its Euclidean metric d(x, y) = (x 1 y 1 ) (x n y n ) 2, and any subset X R n inherits this metric Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
12 Topology The metric topology on (X, d) has open sets U X characterised by: For each x U, the open ball B(x, ε) = {y X d(x, y) < ε} is contained in U for some ε > 0 Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
13 Topology Continuity A function f : X Y between topological spaces is continuous if U open in Y implies f 1 (U) = {x X f (x) U} open in X The identity function Id X : X X, Id X (x) = x and the constant function X {x 0 } to the one-point space are continuous for any space X Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
14 Topology Intuitively, f takes nearby points to nearby points Metric continuity A function f : (X, d X ) (Y, d Y ) between metric spaces is continuous at x X if for every ε > 0 there exists δ > 0 such that f ( B(x, δ) ) B ( f (x), ε ), and f is continuous if it is continuous at all x X Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
15 Topology Homeomorphism Spaces X and Y are homeomorphic if there are continuous maps f : X Y and g : Y X such that f g = Id Y and g f = Id X Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
16 Topology If X and Y are spaces, there is a natural product topology on X Y = {(x, y) x X, y Y } Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
17 Topology If X and Y are spaces, there is a natural product topology on X Y = {(x, y) x X, y Y } The interval [a, b] = {x R a x b} inherits its topology from that of R Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
18 Topology Homotopy Two continuous maps f 0, f 1 : X Y are homotopic if there is a continuous map H : X [0, 1] Y such that f 0 (x) = H(x, 0) and f 1 (x) = H(x, 1) for all x X. Then H is a homotopy, and we write f 0 f 1 Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
19 Topology Homotopy Two continuous maps f 0, f 1 : X Y are homotopic if there is a continuous map H : X [0, 1] Y such that f 0 (x) = H(x, 0) and f 1 (x) = H(x, 1) for all x X. Then H is a homotopy, and we write f 0 f 1 A homotopy H : S 1 [0, 1] X between loops f 0, f 1 : S 1 X Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
20 Topology Homotopy of spaces Two spaces X, Y are homotopy equivalent, written X Y, if there are continuous maps f : X Y and g : Y X such that f g Id Y and g f Id X Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
21 Topology Contractibility X is contractible if X {x 0 } Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
22 Topology Contractibility X is contractible if X {x 0 } R 2 is contractible, but R 2 D is not Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
23 Topology Paths A path in a space X is a continuous function γ : [0, 1] X The path space of (X, d) is the metric space (X [0,1], d path ) where X [0,1] = {paths γ : [0, 1] X }, d path (γ, ω) = sup d(γ(t), ω(t)) t [0,1] Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
24 Topology Paths A path in a space X is a continuous function γ : [0, 1] X The path space of (X, d) is the metric space (X [0,1], d path ) where X [0,1] = {paths γ : [0, 1] X }, d path (γ, ω) = sup d(γ(t), ω(t)) t [0,1] Can talk about nearby paths Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
25 Topological complexity of motion planning Let X be a C-space Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
26 Topological complexity of motion planning Let X be a C-space A Motion Planning Algorithm in X takes as input a pair (A, B) X X and outputs a path γ : [0, 1] X from A to B Assumption: There always exists such a path (X is path-connected) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
27 Topological complexity of motion planning Topological reformulation Consider the endpoint map π : X [0,1] X X, π(γ) = ( γ(0), γ(1) ). Then an MPA in X is a section of this, that is, a function s : X X X [0,1] such that π ( s(a, B) ) = (A, B) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
28 Topological complexity of motion planning Topological reformulation Consider the endpoint map π : X [0,1] X X, π(γ) = ( γ(0), γ(1) ). Then an MPA in X is a section of this, that is, a function s : X X X [0,1] such that π ( s(a, B) ) = (A, B) Theorem (M. Farber) There exists a continuous section s as above if and only if X is contractible Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
29 Topological complexity of motion planning So, MPAs may have essential discontinuities, or instabilities, due to the topology of X. Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
30 Topological complexity of motion planning So, MPAs may have essential discontinuities, or instabilities, due to the topology of X. Our premise It is desirable to minimise these discontinuities, to produce optimally stable MPAs Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
31 Topological complexity of motion planning An MPA s : X X X [0,1] is called tame if there is a finite partition X X = F 1 F 2 F k such that 1 F i F j = for i = j 2 Each s i = s Fi : F i X [0,1] is continuous 3 Each F i is nice (ENR) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
32 Topological complexity of motion planning Definition The Topological Complexity of the space X, denoted TC(X ), is the smallest k such that there exists a tame MPA on X with sets X X = F 1 F 2 F k Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
33 Topological complexity of motion planning Example: The n-sphere S n = {x R n+1 d(x, 0) = 1} is path-connected (n > 0) and not contractible Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
34 Topological complexity of motion planning Case 1: n odd There is a nowhere vanishing vector field v on S n Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
35 Topological complexity of motion planning Case 1: n odd There is a nowhere vanishing vector field v on S n F 1 = {(A, B) S n S n B = A}, s 1 = shortest path A to B Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
36 Topological complexity of motion planning Case 1: n odd There is a nowhere vanishing vector field v on S n F 1 = {(A, B) S n S n B = A}, s 1 = shortest path A to B F 2 = {(A, A)}, s 2 = equator in direction v(a) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
37 Topological complexity of motion planning Case 2: n even Vector field v with two zeroes A 0, A 0 S n F 1 = {(A, B) S n S n B = A}, s 1 = shortest path A to B Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
38 Topological complexity of motion planning Case 2: n even Vector field v with two zeroes A 0, A 0 S n F 1 = {(A, B) S n S n B = A}, s 1 = shortest path A to B F 2 = {(A, A) A = A 0, A 0 }, s 2 = equator in direction v(a) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
39 Topological complexity of motion planning Case 2: n even Vector field v with two zeroes A 0, A 0 S n F 1 = {(A, B) S n S n B = A}, s 1 = shortest path A to B F 2 = {(A, A) A = A 0, A 0 }, s 2 = equator in direction v(a) F 3 = {(A 0, A 0 ), ( A 0, A 0 )}, s 3 = any paths Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
40 Topological complexity of motion planning So TC(S n ) = { 2 if n odd 2 or 3 if n even Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
41 Topological complexity of motion planning The flying robot has C-space X = SO(3) R 3 Theorem (M. Farber) If X Y then TC(X ) = TC(Y ) (Homotopy Invariance) Since X SO(3), we have TC(X ) = TC(SO(3)) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
42 Topological complexity of motion planning The Lusternik-Schnirelmann category cat(x ) of X is the smallest k such that X = U 1 U 2 U k where each U i X is open and U i X is homotopic to a constant Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
43 Topological complexity of motion planning The Lusternik-Schnirelmann category cat(x ) of X is the smallest k such that X = U 1 U 2 U k where each U i X is open and U i X is homotopic to a constant Theorem (M. Farber) If X is a topological group, then TC(X ) = cat(x ) It is known that cat(so(3)) = 4, therefore the flying robot has TC(X ) = 4 Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
44 Methods of computation: Upper bounds General dimensional upper bound TC(X ) 2 dim(x ) + 1 X is simply connected if any loop γ : S 1 X is homotopic to a constant If X is simply connected then TC(X ) dim(x ) + 1 Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
45 Methods of computation: Upper bounds Product formula TC(X Y ) TC(X ) + TC(Y ) 1 The robot arm has X = S 1 S 1 S 1 [a 1, b 1 ] [a n, b n ] (S 1 ) n Hence TC(X ) (n 1) = 2n (n 1) = n + 1 Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
46 Methods of computation: Lower bounds Lower bounds for TC(X ) come from Algebraic Topology AT is (roughly) the study of functors {Topological spaces} {Algebraic objects} X F (X ) {Continuous maps} {Homomorphisms} f : X Y F (f ): F (X ) F (Y ) or F (f ): F (Y ) F (X ) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
47 Methods of computation: Lower bounds Cohomology is a functor {Topological spaces} {Graded rings} X H (X ) = H 0 (X ) + H 1 (X ) + H 2 (X ) + f : X Y H (f ): H (Y ) H (X ) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
48 Methods of computation: Lower bounds Cohomology is a functor {Topological spaces} {Graded rings} X H (X ) = H 0 (X ) + H 1 (X ) + H 2 (X ) + f : X Y H (f ): H (Y ) H (X ) In particular, the diagonal map Δ: X X X given by Δ(x) = (x, x) induces a ring homomorphism H (X X ) H (Δ) H (X ) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
49 Methods of computation: Lower bounds Theorem (M. Farber) If there are elements z 1, z 2,..., z n H (X X ) such that H (Δ)(z i ) = 0 and z 1 z 2 z n = 0, then TC(X ) > n Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
50 Methods of computation: Lower bounds Theorem (M. Farber) If there are elements z 1, z 2,..., z n H (X X ) such that H (Δ)(z i ) = 0 and z 1 z 2 z n = 0, then TC(X ) > n This allows us to show, for example, that TC(S n ) = { 2 if n odd 3 if n even TC(robot arm) = n + 1 Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
51 Methods of computation: Lower bounds Theorem (M. Farber) If there are elements z 1, z 2,..., z n H (X X ) such that H (Δ)(z i ) = 0 and z 1 z 2 z n = 0, then TC(X ) > n This allows us to show, for example, that TC(S n ) = { 2 if n odd 3 if n even TC(robot arm) = n + 1 The lower bound can be refined using cohomology operations, which impose more algebraic structure on cohomology Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
52 Future work Open questions TC =?? (4 or 5) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
53 Future work Open questions TC =?? (4 or 5) The real projective n-space is RP n = {lines through 0 in R n+1 } TC(RP n ) = smallest dimension where RP n immerses =?? Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
54 Future work Navigation functions A navigation function on a Riemannian manifold X is a smooth function F : X X R satisfying various metric-like properties, such as 1 F(x, y) 0 2 F(x, y) = 0 if and only if x = y Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
55 Future work Navigation functions A navigation function on a Riemannian manifold X is a smooth function F : X X R satisfying various metric-like properties, such as 1 F(x, y) 0 2 F(x, y) = 0 if and only if x = y Can construct MPAs using the negative gradient flow grad(f) (direction of steepest descent) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
56 Future work What to do when the topology of C-space is not known in advance? Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
57 Future work What to do when the topology of C-space is not known in advance? Treat X and TC(X ) as random variables and employ probablilistic techniques? How to learn X by sampling? Persistent homology? Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
58 References 1 M. Farber, Topological complexity of motion planning, Discrete Comput. Geom. 29 (2003), M. Farber, Instabilities of robot motion, Topology Appl. 140 (2004), M. Farber, Topology of robot motion planning, in: Morse Theoretic Methods in Nonlinear Analysis and in Symplectic Topology (P. Biran et al (eds.)) (2006), M. Farber, Invitation to Topological Robotics, EMS (2008) Mark Grant (University of Edinburgh) TC of MPAs 31st March / 39
Durham E-Theses. Topological Complexity of Conguration Spaces COSTA, ARMINDO,EMANUEL
Durham E-Theses Topological Complexity of Conguration Spaces COSTA, ARMINDO,EMANUEL How to cite: COSTA, ARMINDO,EMANUEL (2010) Topological Complexity of Conguration Spaces, Durham theses, Durham University.
More informationTOPOLOGICAL COMPLEXITY
MASTER S THESIS TOPOLOGICAL COMPLEXITY VASSILIOS AIMONIOTIS UNIVERSITY OF CRETE DEPARTMENT OF MATHEMATICS AND APPLIED MATHEMATICS 2014 ii. Examination Committee Konstantin Athanassopoulos (Supervisor)
More informationThe Relative Topological Complexity of Pairs of Spheres
The Relative Topological Complexity of Pairs of Spheres Robert Short Lehigh University Jan. 12, 2018 Robert Short (Lehigh University) Rel TC of Spheres JMM 2018 Jan. 12, 2018 1 / 28 Motion Planning in
More informationTopological Robotics
Topological Robotics Michael Farber Ever since the literary works of Capek and Asimov, mankind has been fascinated by the idea of robots. Modern research in robotics reveals that, along with many other
More informationTopological Complexity and Motion Planning in Certain Real Grassmannians
Topological Complexity and Motion Planning in Certain Real Grassmannians Khalid BOUTAHIR Faculté des Sciences de Meknès 11 Octobre 2014 UMI (FSM) Khalid BOUTAHIR 1 / 11 INTRODUCTION: Topological Complexity
More informationOn the topology of matrix configuration spaces
On the topology of matrix configuration spaces Daniel C. Cohen Department of Mathematics Louisiana State University Daniel C. Cohen (LSU) Matrix configuration spaces Summer 2013 1 Configuration spaces
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationMetric Thickenings of Euclidean Submanifolds
Metric Thickenings of Euclidean Submanifolds Advisor: Dr. Henry Adams Committe: Dr. Chris Peterson, Dr. Daniel Cooley Joshua Mirth Masters Thesis Defense October 3, 2017 Introduction Motivation Can we
More informationLUSTERNIK-SCHNIRELMANN CATEGORY OF THE CONFIGURATION SPACE OF COMPLEX PROJECTIVE SPACE
LUSTERNIK-SCHNIRELMANN CATEGORY OF THE CONFIGURATION SPACE OF COMPLEX PROJECTIVE SPACE CESAR A. IPANAQUE ZAPATA arxiv:1708.05830v4 [math.at] 13 Jul 2018 Abstract. The Lusternik-Schnirelmann category cat(x)
More informationProject: Construction of the Fundamental Group
Project: Construction of the Fundamental Group Renzo s math 472 This worksheet is designed to lead you to define and discover our first functor: the fundamental group. 1 Definitions First of all, let us
More informationProjective Dehn twist
Spherical Dehn twist Spherical vs Projective and more Institute for Advanced Study September 23, 2016 Spherical Dehn twist Spherical vs Projective and more Symplectic manifolds A symplectic manifold (M
More informationSpaces with high topological complexity
Proceedings of the Royal Society of Edinburgh, 144A, 761 773, 2014 Spaces with high topological complexity Aleksandra Franc Faculty of Computer and Information Science, University of Ljubljana, Tržaška
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 informationLOWER BOUNDS FOR TOPOLOGICAL COMPLEXITY
LOWER BOUNDS FOR TOPOLOGICAL COMPLEXITY ALEKSANDRA FRANC AND PETAR PAVEŠIĆ Abstract. We introduce fibrewise Whitehead- and fibrewise Ganea definitions of topological complexity. We then define several
More informationTOPOLOGICAL COMPLEXITY OF H-SPACES
TOPOLOGICAL COMPLEXITY OF H-SPACES GREGORY LUPTON AND JÉRÔME SCHERER Abstract. Let X be a (not-necessarily homotopy-associative) H-space. We show that TC n+1 (X) = cat(x n ), for n 1, where TC n+1 ( )
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 informationarxiv: v1 [math.at] 22 Jul 2017
ON LS-CATEGORY AND TOPOLOGICAL COMPLEXITY OF CONNECTED SUM ALEXANDER DRANISHNIKOV, RUSTAM SADYKOV arxiv:1707.07088v1 [math.at] 22 Jul 2017 Abstract. The Lusternik-Schnirelmann category and topological
More informationSummer School. Novikov Morse Theory for Closed 1-Forms
Summer School Novikov Morse Theory for Closed 1-Forms Kloster Steinfeld, 10. 15. September 2006 Graduiertenkolleg 1150: Homotopy and Cohomology Prof. Dr. C.-F. Bödigheimer (Universität Bonn) Dr. M. Szymik
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
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 information7. 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 informationOn the K-category of 3-manifolds for K a wedge of spheres or projective planes
On the K-category of 3-manifolds for K a wedge of spheres or projective planes J. C. Gómez-Larrañaga F. González-Acuña Wolfgang Heil July 27, 2012 Abstract For a complex K, a closed 3-manifold M is of
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 informationCATEGORICAL SEQUENCES AND APPLICATIONS
STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume XLVII, Number 2, June 2002 CATEGORICAL SEQUENCES AND APPLICATIONS GRAŢIELA CICORTAŞ Abstract. Ralph Fox characterized the Lusternik-Schnirelmann category
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 informationAn 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 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 informationarxiv: v2 [math.at] 5 Sep 2012
EQUIVARIANT TOPOLOGICAL COMPLEXITY HELLEN COLMAN AND MARK GRANT arxiv:1205.0166v2 [math.at] 5 Sep 2012 Abstract. We define and study an equivariant version of Farber s topological complexity for spaces
More informationQualifying Exams I, 2014 Spring
Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More informationON THE ZERO-DIVISOR-CUP-LENGTH OF SPACES OF ORIENTED ISOMETRY CLASSES OF PLANAR POLYGONS. 1. Introduction
ON THE ZERO-DIVISOR-CUP-LENGTH OF SPACES OF ORIENTED ISOMETRY CLASSES OF PLANAR POLYGONS DONALD M. DAVIS Abstract. Using information about the rational cohomology ring of the space M(l 1,..., l n ) of
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationMultidimensional Persistent Topology as a Metric Approach to Shape Comparison
Multidimensional Persistent Topology as a Metric Approach to Shape Comparison Patrizio Frosini 1,2 1 Department of Mathematics, University of Bologna, Italy 2 ARCES - Vision Mathematics Group, University
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
More information1 Spaces and operations Continuity and metric spaces Topological spaces Compactness... 3
Compact course notes Topology I Fall 2011 Professor: A. Penskoi transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Spaces and operations 2 1.1 Continuity and metric
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
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 informationTopological Simplification in 3-Dimensions
Topological Simplification in 3-Dimensions David Letscher Saint Louis University Computational & Algorithmic Topology Sydney Letscher (SLU) Topological Simplification CATS 2017 1 / 33 Motivation Original
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 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 informationBased on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press,
NOTE ON ABSTRACT RIEMANN INTEGRAL Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, 2003. a. Definitions. 1. Metric spaces DEFINITION 1.1. If
More informationThe Fundamental Group
The Fundamental Group Renzo s math 472 This worksheet is designed to accompany our lectures on the fundamental group, collecting relevant definitions and main ideas. 1 Homotopy Intuition: Homotopy formalizes
More informationAfter taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.
Lecture 1: August 25 Introduction. Topology grew out of certain questions in geometry and analysis about 100 years ago. As Wikipedia puts it, the motivating insight behind topology is that some geometric
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 informationDIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM
DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such
More informationWe thank F. Laudenbach for pointing out a mistake in Lemma 9.29, and C. Wendl for detecting a large number errors throughout the book.
ERRATA TO THE BOOK FROM STEIN TO WEINSTEIN AND BACK K. CIELIEBAK AND Y. ELIASHBERG We thank F. Laudenbach for pointing out a mistake in Lemma 9.29, and C. Wendl for detecting a large number errors throughout
More informationConjectures on counting associative 3-folds in G 2 -manifolds
in G 2 -manifolds Dominic Joyce, Oxford University Simons Collaboration on Special Holonomy in Geometry, Analysis and Physics, First Annual Meeting, New York City, September 2017. Based on arxiv:1610.09836.
More informationA sampling theory for compact sets
ENS Lyon January 2010 A sampling theory for compact sets F. Chazal Geometrica Group INRIA Saclay To download these slides: http://geometrica.saclay.inria.fr/team/fred.chazal/teaching/distancefunctions.pdf
More informationQuiz-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 informationJ-holomorphic curves in symplectic geometry
J-holomorphic curves in symplectic geometry Janko Latschev Pleinfeld, September 25 28, 2006 Since their introduction by Gromov [4] in the mid-1980 s J-holomorphic curves have been one of the most widely
More informationCALCULATION OF FUNDAMENTAL GROUPS OF SPACES
CALCULATION OF FUNDAMENTAL GROUPS OF SPACES PETER ROBICHEAUX Abstract. We develop theory, particularly that of covering spaces and the van Kampen Theorem, in order to calculate the fundamental groups of
More information1 Hochschild Cohomology and A : Jeff Hicks
1 Hochschild Cohomology and A : Jeff Hicks Here s the general strategy of what we would like to do. ˆ From the previous two talks, we have some hope of understanding the triangulated envelope of the Fukaya
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationSMSTC Geometry and Topology
SMSTC Geometry and Topology 2013-2014 1 Andrew Ranicki http://www.maths.ed.ac.uk/ aar SMSTC Symposium Perth, 9th October, 2013 http://www.smstc.ac.uk http://www.maths.ed.ac.uk/ aar/smstc/gt34info.pdf http://www.maths.ed.ac.uk/
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationMONDAY - 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 informationi = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)
2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationBordism 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 informationarxiv: v6 [math.at] 26 Aug 2013
HIGHER TOPOLOGICAL COMPLEXITY AND ITS SYMMETRIZATION arxiv:1009.1851v6 [math.at] 26 Aug 2013 IBAI BASABE, JESÚS GONZÁLEZ, YULI B. RUDYAK, AND DAI TAMAKI Abstract. We develop the properties of the n-th
More informationWe will outline two proofs of the main theorem:
Chapter 4 Higher Genus Surfaces 4.1 The Main Result We will outline two proofs of the main theorem: Theorem 4.1.1. Let Σ be a closed oriented surface of genus g > 1. Then every homotopy class of homeomorphisms
More informationThe Relative Topological Complexity of Pairs of Right-Angled Artin Groups
The Relative Topological Complexity of Pairs of Right-Angled Artin Groups Robert Short Lehigh University February 28, 2018 Robert Short (Lehigh University) Rel TC of RAAGs CUNY Grad Center February 28,
More informationAlgebraic 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 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 informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationCoarse Geometry. Phanuel Mariano. Fall S.i.g.m.a. Seminar. Why Coarse Geometry? Coarse Invariants A Coarse Equivalence to R 1
Coarse Geometry 1 1 University of Connecticut Fall 2014 - S.i.g.m.a. Seminar Outline 1 Motivation 2 3 The partition space P ([a, b]). Preliminaries Main Result 4 Outline Basic Problem 1 Motivation 2 3
More informationOn LS-Category of a Family of Rational Elliptic Spaces II
E extracta mathematicae Vol. 31, Núm. 2, 235 250 2016 On LS-Category of a Family of Rational Elliptic Spaces II Khalid Boutahir, Youssef Rami Département de Mathématiques et Informatique, Faculté des Sciences,
More informationInverse Function Theorem
Inverse Function Theorem Ethan Y. Jaffe 1 Motivation When as an undergraduate I first learned the inverse function theorem, I was using a textbook of Munkres [1]. The proof presented there was quite complicated
More informationMorse Theory and Applications to Equivariant Topology
Morse Theory and Applications to Equivariant Topology Morse Theory: the classical approach Briefly, Morse theory is ubiquitous and indomitable (Bott). It embodies a far reaching idea: the geometry and
More informationE 0 0 F [E] + [F ] = 3. Chern-Weil Theory How can you tell if idempotents over X are similar?
. Characteristic Classes from the viewpoint of Operator Theory. Introduction Overarching Question: How can you tell if two vector bundles over a manifold are isomorphic? Let X be a compact Hausdorff space.
More informationConvex Symplectic Manifolds
Convex Symplectic Manifolds Jie Min April 16, 2017 Abstract This note for my talk in student symplectic topology seminar in UMN is an gentle introduction to the concept of convex symplectic manifolds.
More informationCHAPTER 9. Embedding theorems
CHAPTER 9 Embedding theorems In this chapter we will describe a general method for attacking embedding problems. We will establish several results but, as the main final result, we state here the following:
More informationIsodiametric problem in Carnot groups
Conference Geometric Measure Theory Université Paris Diderot, 12th-14th September 2012 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Isodiametric
More informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationTHE TOPOLOGICAL COMPLEXITY OF THE KLEIN BOTTLE. 1. Introduction. Theorem 1.1. The topological complexity of the Klein bottle K equals 5.
THE TOPOLOGICAL COMPLEXITY OF THE KLEIN BOTTLE DONALD M. DAVIS Abstract. We use obstruction theory to determine the topological complexity of the Klein bottle. The same result was obtained by Cohen and
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 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 informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationImmerse Metric Space Homework
Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps
More informationMULTIVALUED FUNCTIONS AND FUNCTIONALS. AN ANALOGUE OF THE MORSE THEORY
MULTIVALUED FUNCTIONS AND FUNCTIONALS. AN ANALOGUE OF THE MORSE THEORY S. P. NOVIKOV I. Let M be a finite or infinite dimensional manifold and ω a closed 1-form, dω = 0. Integrating ω over paths in M defines
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
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 informationNORIO IWASE AND MICHIHIRO SAKAI
TOPOLOGICAL COMPLEXITY IS A FIREWISE L-S CATEGORY NORIO IWASE AND MICHIHIRO SAKAI Abstract. Topological complexity TC() of a space is introduced by M. Farber to measure how much complex the space is, which
More informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
More informationSpectra and the Stable Homotopy Category
Peter Bonventre Graduate Seminar Talk - September 26, 2014 Abstract: An introduction to the history and application of (topological) spectra, the stable homotopy category, and their relation. 1 Introduction
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More information1 )(y 0) {1}. Thus, the total count of points in (F 1 (y)) is equal to deg y0
1. Classification of 1-manifolds Theorem 1.1. Let M be a connected 1 manifold. Then M is diffeomorphic either to [0, 1], [0, 1), (0, 1), or S 1. We know that none of these four manifolds are not diffeomorphic
More informationThe Milnor 7-sphere does not admit a special generic map into R 3
The Milnor 7-sphere does not admit a special generic map into R 3 Dominik Wrazidlo Institute of Mathematics for Industry (IMI) Kyushu University September 16, 2018 Introduction M n : connected closed smooth
More informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
More informationNotes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California
Notes for Math 535 Differential Geometry Spring 2016 Francis Bonahon Department of Mathematics, University of Southern California Date of this version: April 27, 2016 c Francis Bonahon 2016 CHAPTER 1 A
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationarxiv: v1 [math.at] 26 Jul 2018
arxiv:1807.09947v1 [math.at] 26 Jul 2018 MOTION PLANNING IN CONNECTED SUMS OF REAL PROJECTIVE SPACES DANIEL C. COHEN AND LUCILE VANDEMBROUCQ ABSTRACT. The topological complexity TC(X) is a homotopy invariant
More informationAperiodic Substitution Tilings
Aperiodic Substitution Tilings Charles Starling January 4, 2011 Charles Starling () Aperiodic Substitution Tilings January 4, 2011 1 / 27 Overview We study tilings of R 2 which are aperiodic, but not completely
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 2 November 6 November Deadline to hand in the homeworks: your exercise class on week 9 November 13 November Exercises (1) Let X be the following space of piecewise
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 information