[论文解读] Moves on Filtered PL Manifolds and Stratified PL Spaces

Louis Crane, David N. Yetter|arXiv (Cornell University)|Apr 11, 2014

Advanced Combinatorial Mathematics参考文献 7被引用 5

一句话总结

本文引入了一组有限的组合移动——扩展的Bistellar操作——用于关联通过局部平坦子流形过滤的分段线性（PL）流形以及具有有限局部模型的分层PL空间的三角剖分。通过将Pachner的Bistellar操作推广至包含过滤和分层结构的情形，作者建立了此类空间的任意两个三角剖分均可通过有限序列的这些操作相互关联，从而为带有缺陷的拓扑量子场理论提供了组合基础。

ABSTRACT

We extend results of Pachner and Casali to give finite sets of moves relating triangulations of PL manifolds respecting filtrations by locally flat manifolds and stratifications in which a finite family of simple local models exists for neighborhoods of strata.

研究动机与目标

• 将Pachner的Bistellar操作扩展至具有有限局部模型的过滤PL流形与分层PL空间。
• 提供一组有限且组合有效的移动，用于关联此类空间的三角剖分，类似于无缺陷情形下的Bistellar等价性。
• 建立一个利用有限组合移动构建带有缺陷的拓扑量子场理论（TQFT）的框架。
• 将Bistellar等价性的概念推广至包含分层结构的情形，其中分层的邻域具有有限类型的局部模型。
• 证明在有限局部模型约束下，扩展的Bistellar操作足以关联任意两个分层空间的三角剖分。

提出的方法

• 将过滤流形定义为具有子流形局部平坦过滤的PL流形，并定义尊重该过滤的三角剖分。
• 引入“强烈邻域”（stark neighborhood）的概念——即分层内部的邻域，可通过迭代锥化操作获得规范三角剖分。
• 将扩展的Bistellar操作定义为形如 $\Sigma^{n-k}(A*\partial B) \to \Sigma^{n-k}(\partial A * B)$ 的替换，其中 $A$ 是分层中的一单纯形，$B$ 是一个不相交的单纯形。
• 通过关键引理（即星形细分保持边界复形）将Casali关于边界保持移动下的Bistellar等价性结果推广至过滤与分层情形。
• 使用迭代悬垂与规范扩展来对分层的乘积邻域进行三角剖分，确保与过滤结构相容。
• 证明在具有有限类局部模型的空间中（例如过滤流形或处于一般位置的浸入），仅需有限类别的移动即可。

实验结果

研究问题

• RQ1 是否存在一组有限的组合移动，可关联过滤PL流形的所有三角剖分，类似于无缺陷情形下Pachner的Bistellar操作？
• RQ2 何种条件下，分层PL空间可确保仅需有限种类的组合移动来关联其三角剖分？
• RQ3 如何定义扩展的Bistellar操作，以在保持分层与过滤结构的同时，实现三角剖分之间的转换？
• RQ4 在何种情形下，分层周围邻域的局部模型可允许在所有三角剖分中使用一组有限且统一的移动？
• RQ5 这些移动是否可应用于构建在余维数1和2（如3-流形中的绳结与Seifert曲面）中的TQFT缺陷？

主要发现

• 任意两个过滤PL流形的三角剖分均可通过有限序列的保持过滤结构的扩展Bistellar操作相互关联。
• 对于具有有限类局部模型的分层PL空间（例如强烈邻域），仅需有限种类的组合移动即可关联任意两个三角剖分。
• 扩展的Bistellar操作推广了标准Bistellar操作，适用于尊重分层结构的三角剖分，其形式为在过滤或悬垂邻域中将 $A*\partial B$ 替换为 $\partial A*B$。
• 在3-球面 $S^3$ 中的绳结 $K$ 及其Seifert曲面 $\Sigma$ 的情形下，五对逆向移动已足够：3维Bistellar移动、$\Sigma$ 中的悬垂2维移动，以及在 $S^3\setminus\Sigma$ 中具有顶点的双重悬垂1维移动。
• 对于完全正则的浸入 $f: N_{n-1} \to M_n$，由重数定义的分层具有有限局部模型，从而确保仅需有限族的移动。
• 通过迭代锥化将分层的三角剖分规范扩展至其强烈邻域，可确保与移动定义相容，并支持主定理的证明。