[论文解读] Methods from Differential Geometry in Polytope Theory

Karim Adiprasito|arXiv (Cornell University)|Mar 11, 2014

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

一句话总结

本文运用微分几何中的方法——特别是亚历山德罗夫空间理论、离散莫射理论以及凸超曲面的几何——解决了多面体与单纯复形理论中长期存在的问题。它证明了正常旗复形上的霍奇猜想，建立了实排列补集的莱夫谢茨型定理，并利用共轭网和带边界的局部凸超曲面等工具，解决了2-排列的极小性与射影唯一性等经典问题。

ABSTRACT

The purpose of this thesis is to study classical combinatorial objects, such as polytopes, polytopal complexes, and subspace arrangements, using tools that have been developed in combinatorial topology, especially those tools developed in connection with (discrete) differential geometry, geometric group theory and low-dimensional topology.

研究动机与目标

• 使用度量几何，特别是亚历山德罗夫空间理论，建立单纯复形直径的上界。
• 利用离散莫射理论解决凸与星形复形中的可坍缩性与非回避性猜想。
• 利用离散微分几取证得2-排列的极小性，并解决佩尔斯与希帕德的经典问题。
• 通过几何构造证明射影唯一多面体的普遍性，并反驳希帕德猜想。
• 通过将共轭网与局部凸超曲面等概念应用于多面体复形，统一组合拓扑与微分几何。

提出的方法

• 利用有界曲率的亚历山德罗夫空间理论推导正常旗复形的直径上界，从而证明该类复形上的霍奇猜想。
• 应用福尔曼的离散莫射理论研究子空间排列的补集，使实排列的莱夫谢茨超平面定理得以推广。
• 采用离散对偶性与补面对匹配分析2-排列的分层结构，并通过向外匹配的面对证明其极小性。
• 利用带边界的局部凸超曲面理论与共轭网解决极小性与射影唯一性问题。
• 在凸位置构造理想交错层理立方环面（CCTs），以证明存在大量具有低维实现空间的4-多面体。
• 应用旋转对称性与投影将几何不等式转化为球面上的距离计算，证明球面几何中关键的包含关系。

实验结果

研究问题

• RQ1 霍奇猜想是否对正常旗复形成立？能否通过度量几何证明？
• RQ2 能否在不依赖深层代数几何时，为实子空间排列补集建立类似莱夫谢茨的超平面定理？
• RQ3 2-排列是否在面数最少的意义上是极小的？能否通过离散微分几何证明？
• RQ4 射影唯一多面体的普遍性能否被确立？这是否能反驳希帕德猜想？
• RQ5 是否存在无穷多个实现空间维数较低的4-多面体？能否显式构造出此类例子？

主要发现

• 通过度量几何与亚历山德罗夫空间理论，证明了正常旗复形上的霍奇猜想，建立了直径的上界。
• 为实子空间排列的补集建立了离散莱夫谢茨定理，推广了此前依赖代数几何的成果。
• 利用离散莫射理论与补面对匹配证明了2-排列的极小性，解决了佩尔斯与希帕德的经典问题。
• 展示了理想交错层理立方环面在凸位置的存在性，从而构造出大量实现空间维数较低的4-多面体。
• 构造了希帕德关于射影唯一性猜想的反例，证明了在固定维数下射影唯一多面体的普遍性。
• 证明：若球面上某些投影点之间的距离小于π/4，则该点位于某半个球面的内部，从而支持关键的包含性论证。