[论文解读] Maps on graphs can be deformed to be coincidence-free

P. Christopher Staecker|arXiv (Cornell University)|Jun 27, 2010

Computational Geometry and Mesh Generation参考文献 3被引用 4

一句话总结

本文证明，若余定义域图不与圆周同胚，则任意两个连通图之间的连续映射均可通过同伦实现无重合。核心方法借助‘道路交通’类比，利用图结构中的分叉点对映射进行同伦重定向，以避开重合点，表明在此情形下，尼尔森数或 Reidemeister 踪迹等非平凡重合不变量必为零，从而否定了相关文献中先前的错误主张。

ABSTRACT

We give a construction to remove coincidence points of continuous maps on graphs (1-complexes) by changing the maps by homotopies. When the codomain is not homeomorphic to the circle, we show that any pair of maps can be changed by homotopies to be coincidence free. This means that there can be no nontrivial coincidence index, Nielsen coincidence number, or coincidence Reidemeister trace in this setting, and the results of our previous paper "A formula for the coincidence Reidemeister trace of selfmaps on bouquets of circles" are invalid.

研究动机与目标

• 解决先前文献中声称可计算圆 bouquet 图上非平凡重合不变量的根本性缺陷。
• 确立在何种条件下图上映射的重合点可通过同伦消除。
• 证明当余定义域不是圆周时，重合指标、尼尔森数与 Reidemeister 踤迹均必为零。
• 通过证明其同伦不稳定性，纠正早期文献（特别是 [3]）中对重合指标的错误使用。
• 阐明图论背景下不动点理论与重合理论之间的本质区别。

提出的方法

• 采用受道路交通类比启发的同伦策略，将两个映射视为在单行道网络中行驶的车辆。
• 在边内部的每个重合点附近应用局部同伦变换，通过三价顶点（即‘分叉’）将映射重新定向，以避免碰撞。
• 采用一种拓扑构造：映射退至公共顶点，经不同边穿行以交错通过，之后以相反顺序恢复原路径。
• 依赖于余定义域图非流形（特别是不与圆周同胚）的假设，以确保存在可用于重定向的三价顶点。
• 使用引理将问题约化为边内部的重合点，从而可反复应用局部同伦构造。
• 迭代应用该构造以消除所有重合点，从而证明在给定条件下，任意一对映射均可被同伦变为无重合。

实验结果

研究问题

• RQ1 当余定义域不是圆周时，任意一对图之间连续映射是否总可通过同伦实现无重合？
• RQ2 为何重合指标在图的设定下（特别是圆 bouquet 图）表现不佳？
• RQ3 当余定义域不是圆周时，图上映射的尼尔森数与 Reidemeister 踪迹的正确行为是什么？
• RQ4 在此设定下，重合指标的失效如何推翻先前研究（如 [3] 中的重合 Reidemeister 踪迹公式）的结果？
• RQ5 在何种情况下，图上映射的非平凡重合不变量仍可能存在？

主要发现

• 若连通图 X 到连通图 Y 的任意两个连续映射，且 Y 不与圆周同胚，则可通过同伦使它们无重合。
• 当余定义域不是圆周时，图上映射的重合指标、尼尔森数与 Reidemeister 踤迹均必为零，因为所有重合点均可通过同伦消除。
• [3] 中用于计算重合 Reidemeister 踤迹的构造存在根本性错误，因其依赖于一个行为不稳定的重合指标，该指标在重合值穿过楔点时会不可预测地改变。
• [3] 中的错误特异性地源于：在非楔点附近将重合指标定义为如同空间是微分流形一般，但当像通过楔点时，该定义在同伦下失效。
• 当余定义域为圆周时，非平凡重合不变量仍可能存在；例如，对映射 f,g: S¹ → S¹，有 MC(f,g) = |deg(f) - deg(g)|。
• 本结果表明，图上的重合理论并非不动点理论的推广：图上自映射的不动点可能为本质的（不可消除），而与恒等映射的重合点总可被消除。