[论文解读] Volume Optimization, Normal Surfaces and Thurston's Equation on Triangulated 3-Manifolds

Feng Luo|arXiv (Cornell University)|Mar 6, 2009

Geometric and Algebraic Topology参考文献 19被引用 7

一句话总结

本文在三角剖分的3-流形上提出了一种有限维的变分原理，其中取值于圆周上的角结构（S¹-角结构）的体积泛函作为作用量。该体积泛函的临界点可给出Thurston粘合方程（对应双曲度量）或Haken的正规曲面方程（对应本质曲面）的解，从而通过在紧致光滑的S¹-角结构空间上进行体积最大化，为庞加莱猜想提供了一种新的变分形式表述。

ABSTRACT

We propose a finite dimensional variational principle on triangulated 3-manifolds so that its critical points are related to solutions to Thurston's gluing equation and Haken's normal surface equation. The action functional is the volume. This is a generalization of an earlier program by Casson and Rivin for compact 3-manifolds with torus boundary. Combining the result in this paper and the work of Futer-Guéritaud, Segerman-Tillmann and Luo-Tillmann, we obtain a new finite dimensional variational formulation of the Poncare-conjecture. This provides a step toward a new proof the Poincaré conjecture without using the Ricci flow.

研究动机与目标

• 将Casson与Rivin基于体积的变分程序从具有环面边界的部分3-流形推广至闭合的、三角剖分的伪3-流形。
• 利用S¹-角结构上的体积泛函，建立Thurston粘合方程与Haken正规曲面方程的有限维变分形式。
• 证明S¹-角结构空间上体积泛函的临界点，对应于Thurston方程的解（光滑点）或Haken方程的2-四边形型解（非光滑点）。
• 通过将体积泛函在紧致空间上的光滑最大点的存在性与单连通、最小三角剖分中Thurston方程的可解性相联系，为庞加莱猜想提供一种新的变分表述。

提出的方法

• 在闭合、定向、三角剖分的伪3-流形(M,T)上定义S¹-角结构空间SAS(M,T)，并证明其为紧致、闭合的光滑流形。
• 为每个S¹-角结构分配一个体积，通过Milnor-Lobachevsky函数定义，从而得到一个连续的实值体积泛函V: SAS(M,T) → ℝ。
• 分析体积泛函的可微性：光滑临界点对应于Thurston粘合方程的解。
• 证明体积泛函的非光滑临界点可产生Haken正规曲面方程的解，且恰好包含一个或两个非零四边形坐标（即2-四边形型解）。
• 利用SAS(M,T)的紧致性，保证体积泛函存在最大点。
• 结合Futer-Guéritaud、Segerman-Tillmann与Luo-Tillmann的结果，将体积最大值的非光滑性与拓扑约束（可约性、环面性、Seifert纤维化，或RP²#RP²#RP²和项）相联系。

实验结果

研究问题

• RQ1 在闭合三角剖分3-流形上，S¹-角结构空间上的体积泛函是否总能达到最大值？其临界点中编码了哪些拓扑信息？
• RQ2 S¹-角结构上体积泛函的光滑临界点能否用于构造Thurston粘合方程的解？
• RQ3 S¹-角结构上体积泛函的非光滑临界点是否对应于Haken正规曲面方程中恰好一个或两个非零四边形坐标的解？
• RQ4 在最小三角剖分的闭合、不可约、定向3-流形上，若体积泛函存在光滑最大点，是否足以推出Thurston粘合方程有解？
• RQ5 在最小三角剖分中，若体积泛函不存在光滑最大点，是否等价于该流形为可约、环面化、Seifert纤维化，或包含三个RP²的连通和？

主要发现

• 任意闭合、定向、三角剖分的伪3-流形(M,T)的S¹-角结构空间SAS(M,T)是一个紧致、闭合的光滑流形。
• 体积泛函V: SAS(M,T) → ℝ是连续的，并由于SAS(M,T)的紧致性而达到最大值。
• 若体积泛函的最大点p是光滑的，则p给出Thurston粘合方程的解。
• 若体积泛函的最大点p是非光滑的，则p给出Haken正规曲面方程的2-四边形型解（恰好一个或两个非零四边形坐标）。
• 对于最小三角剖分的闭合、不可约、定向3-流形，若所有体积泛函的最大点均为光滑，则该流形支持Thurston粘合方程的解（猜想1）。
• 在最小三角剖分的闭合、不可约、定向3-流形中，若体积泛函存在非光滑最大点，则该流形必为可约、环面化、Seifert纤维化，或包含三个实射影平面的连通和（定理1.2）。