Algorithmic aspects of immersibility and embeddability

12/21/2018
by   Fedor Manin, et al.
0

We analyze an algorithmic question about immersion theory: for which m, n, and CAT=Diff or PL is the question of whether an m-dimensional CAT-manifold is immersible in R^n decidable? As a corollary, we show that the smooth embeddability of an m-manifold with boundary in R^n is undecidable when n-m is even and 11m ≥ 10n+1.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset