[论文解读] Subdivisions, shellability, and the Zeeman conjecture

Karim Adiprasito, Bruno Benedetti|arXiv (Cornell University)|Feb 29, 2012

Commutative Algebra and Its Applications被引用 3

一句话总结

本文证明了凸多面体的足够细分的矩形三角剖分是可壳化的，引入了一种相对壳化框架以分析粘合操作。它确立了三角剖分是分段线性（PL）的充分必要条件是经过有限次导出细分后变为可壳化，从而解决了Zeeman、Whitehead以及Billera–Swartz长期悬而未决的问题，并将关于可坍缩性和非回避性的结果加以推广。

ABSTRACT

We prove that the second derived subdivision of any rectilinear triangulation of any convex polytope is shellable. Also, we prove that the first derived subdivision of every rectilinear triangulation of any convex 3-dimensional polytope is shellable. This complements Mary Ellen Rudin's classical example of a non-shellable rectilinear triangulation of the tetrahedron. Our main tool is a new relative notion of shellability that characterizes the behavior of shellable complexes under gluing. As a corollary, we obtain a new characterization of the PL property in terms of shellability: A triangulation of a sphere or of a ball is PL if and only if it becomes shellable after sufficiently many derived subdivisions. This improves on results by Whitehead, Zeeman and Glaser, and answers a question by Billera and Swartz. We also show that any contractible complex can be made collapsible by repeatedly taking products with an interval. This strengthens results by Dierker and Lickorish, and resolves a conjecture of Oliver. Finally, we give an example that this behavior extends to non-evasiveness, thereby answering a question of Welker.

研究动机与目标

• 确立任意凸多面体的矩形三角剖分的第二级导出细分是可壳化的。
• 证明任意三维凸多面体的矩形三角剖分的第一级导出细分是可壳化的，补充了Rudin的非可壳化例子。
• 提出一种相对壳化的概念，以表征可壳化复形在粘合操作下的行为。
• 以充分多次导出细分后的壳化性为条件，提供分段线性（PL）性质的新表征。
• 通过展示任意同伦等价于点的复形在反复与区间取积后变为可坍缩（且非回避）的性质，推广了关于可坍缩性和非回避性的结果。

提出的方法

• 引入一种新的相对壳化概念，以分析可壳化复形在沿子复形粘合时的行为。
• 将相对壳化框架应用于证明矩形三角剖分的导出细分的壳化性。
• 通过归纳法和多面复形的结构分解，验证在导出细分下壳化性的保持。
• 利用已知的导出细分和PL拓扑结果，将壳化性与PL性质联系起来。
• 应用与区间的积构造，将同伦等价于点的复形转化为可坍缩复形，推广了Dierker和Lickorish的先前结果。
• 通过构造在反复与区间取积下该性质保持不变的例子，将分析扩展至非回避性。

实验结果

研究问题

• RQ1 能否证明任意凸多面体的矩形三角剖分的第二级导出细分是可壳化的？
• RQ2 任意三维凸多面体的矩形三角剖分的第一级导出细分是否都存在一个壳化？
• RQ3 一个三角剖分的球面或球体的PL性质能否通过有限次导出细分后的壳化性来表征？
• RQ4 是否可以通过反复与区间取积，使任意同伦等价于点的复形变为可坍缩的？
• RQ5 壳化性在细分下的行为是否在Welker意义下也适用于非回避性？

主要发现

• 任意凸多面体的矩形三角剖分的第二级导出细分是可壳化的。
• 任意三维凸多面体的矩形三角剖分的第一级导出细分是可壳化的。
• 一个球面或球体的三角剖分是PL的，当且仅当它在经过足够多次导出细分后变为可壳化。
• 任意同伦等价于点的复形可以通过足够多次与区间取积变为可坍缩的。
• 壳化性在细分下的行为确实可推广至非回避性，通过构造的例子得以证明。
• 本文解决了Oliver关于可坍缩性的猜想，并回答了Billera和Swartz以及Welker关于非回避性的问题。