Sign up or sign in
logo
  1. Topology and Dynamics
  2. Icon: chevron
  3. STDC
  4. Icon: chevron
  5. 2024

Geometric Topology

‟Computability of Immersions” by Daniel Epelbaum <daniel@math.ucsb.edu>, UCSB

Abstract:

Suppose we are handed a map of smooth manifolds and would like to know if it is homotopic to an immersion. In general this problem is undecidable, indeed even immersibility of an arbitrary manifold into $\mathbb{R}^n$ is undecidable. In this talk we will see how to use techniques from rational homotopy theory, and the h-principle of Hirsch and Smale to provide an algorithm for this problem whenever the codimension of the manifolds is odd.