论文标题
简单地图的可扩展性是不可确定的
Extendability of simplicial maps is undecidable
论文作者
论文摘要
我们提供了标题的简短证明，证明了Čadek-krčál-matoušek-vok漂白的结果（由于Filakovský-wagner-Zhechev，以下形式）。 对于任何固定的$ l $，都没有算法识别$ s^l $的身份图的可扩展性，以给定$ 2L $ x $的s^l $ to $ x \ $ x $ - 二维简单复杂$ x $，其中包含$ s^l $的分区。 我们还在Filakovský-Wagner-Zhechev证明中表现出差距，即复合物的嵌入性在Codimension $> 1 $中是无法确定的。
We present a short proof of the Čadek-Krčál-Matoušek-Vokřínek-Wagner result from the title (in the following form due to Filakovský-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ý-Wagner-Zhechev proof that embeddability of complexes is undecidable in codimension $>1$.
