Current browse context:
math.AT
Change to browse by:
References & Citations
Mathematics > Algebraic Topology
Title: Extendability of simplicial maps is undecidable
(Submitted on 2 Aug 2020 (v1), last revised 31 Mar 2022 (this version, v2))
Abstract: We present a short proof of the \v{C}adek-Kr\v{c}\'al-Matou\v{s}ek-Vok\v{r}\'inek-Wagner result from the title (in the following form due to Filakovsk\'y-Wagner-Zhechev).
For any fixed even $l$ there is no algorithm recognizing the extendability of the identity map of $S^l$ to a PL map $X\to S^l$ of given $2l$-dimensional simplicial complex $X$ containing a subdivision of $S^l$ as a given subcomplex.
We also exhibit a gap in the Filakovsk\'y-Wagner-Zhechev proof that embeddability of complexes is undecidable in codimension $>1$.
Submission history
From: Arkadiy Skopenkov [view email][v1] Sun, 2 Aug 2020 14:31:34 GMT (138kb)
[v2] Thu, 31 Mar 2022 08:11:45 GMT (51kb)
Link back to: arXiv, form interface, contact.