[论文解读] Strong homotopy types, nerves and collapses

Jonathan Ariel Barmak, Elías Gabriel Minian|ArXiv.org|Jul 17, 2009

Advanced Topology and Set Theory参考文献 16被引用 10

一句话总结

本文通过一种新型的坍缩——强坍缩——引入了单纯复形的强同伦型，提供了一种比经典单纯坍缩更结构化的替代方案。它证明了核心的存在性与唯一性，表明在极小复形之间的强同伦等价必为同构，并证明了顶点齐次非回避复形的核心本身也是非回避的，从而将回避猜想约化至极小复形类。

ABSTRACT

We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong collapse and it is a particular kind of simplicial collapse. The advantage of using strong collapses is the existence and uniqueness of cores and their relationship with the nerves of the complexes. From this theory we derive new results for studying simplicial collapsibility with a different point of view. We analyze vertex-transitive simplicial $G$-actions and prove a particular case of the Evasiveness conjecture for simplicial complexes. Moreover, we reduce the general conjecture to the class of minimal complexes. We also strengthen a result of V. Welker on the barycentric subdivision of collapsible complexes. We obtain this and other results on collapsibility of polyhedra by means of the characterization of the different notions of collapses in terms of finite topological spaces.

研究动机与目标

• 开发一种基于强坍缩的单纯复形新同伦理论，其结构比经典坍缩更清晰。
• 通过引入具有唯一且良好行为的核心的框架，解决经典可坍缩理论中核心不唯一的问题。
• 研究强同伦型、单纯复形的骨架与有限拓扑空间之间的关系，以更好地理解可坍缩性。
• 证明顶点齐次单纯复形的回避猜想的一个特例。
• 通过证明顶点齐次非回避复形的核心本身也是非回避的，将一般回避猜想约化至极小复形类。

提出的方法

• 将强坍缩定义为移除一个被支配顶点的开星，其中支配意味着其邻域是单纯锥。
• 通过邻近类引入强同伦等价的概念，推广经典同伦理论。
• 使用有限 $T_0$-空间来建模单纯复形，通过单纯形的偏序集建立有限空间与单纯复形之间的对偶关系。
• 通过函数 $\mathcal{F}: V_K \to \mathbb{N}$ 定义复形 $\mathcal{F}K$ 的 $n$ 重多重，推广多重拷贝的概念。
• 通过顶点删除顺序的归纳法，证明若 $\mathcal{F}K$ 是 $n$-可坍缩的，则 $K$ 也是 $n$-可坍缩的。
• 通过迭代应用骨架运算，证明重复应用可收敛至复形的核心，从而建立一种新的核心计算方法。

实验结果

研究问题

• RQ1 能否定义一种更具结构化的坍缩概念，以确保核心唯一性并简化可坍缩性分析？
• RQ2 强同伦型、骨架与单纯复形核心之间存在何种关系？
• RQ3 顶点齐次且非回避的复形的核心是否仍为非回避的？
• RQ4 能否将回避猜想约化至极小复形类？
• RQ5 在群作用于复形的背景下，强坍缩与经典坍缩及非回避性之间有何关系？

主要发现

• 任何有限单纯复形在强坍缩下的核心在同构意义下唯一，解决了经典核心不唯一的问题。
• 强坍缩是经典坍缩的一个特例，但其保证了极小复形之间的强同伦等价必为同构。
• 骨架运算在迭代应用下收敛至复形的核心，为核心检测提供了一种新计算方法。
• 若 $\mathcal{F}K$ 是 $n$-可坍缩的，则 $K$ 也是 $n$-可坍缩的，特别地，若 $\mathcal{F}K$ 是非回避的，则 $K$ 也是非回避的。
• 顶点齐次非回避复形的核心本身也是非回避的，且该复形同构于其核心的 $n$ 重多重。
• 回避猜想可约化至极小复形类：若一个极小、顶点齐次且非回避的复形是单点，则整个猜想成立。