[論文レビュー] 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¹-角度構造（S¹-角度構造）上の体積関数が作用として機能する有限次元変分原理を導入する。この体積関数の臨界点は、双曲計量のためのターフォードの接合方程式、または本質的表面のためのハーケンの正規表面方程式の解を与える。これは、S¹-角度構造の滑らかでコンpaktoな空間上での体積最大化を通じて、ポincare予想の新たな変分的定式化を提供する。

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.

研究の動機と目的

• トーラス境界を持つ3次元多様体におけるCassonおよびRivinの体積に基づく変分プログラムを、閉じた三角形分割された擬3次元多様体へ一般化すること。
• S¹-角度構造上の体積関数を用いて、ターフォードの接合方程式およびハーケンの正規表面方程式の有限次元変分的定式化を確立すること。
• S¹-角度構造のコンパクト空間上での体積関数の臨界点が、滑らかである場合にはターフォード方程式の解（滑らかな点）、非滑らかである場合には2-正方形型解（正確に1つまたは2つの非ゼロの四角形座標をもつ）をもつハーケン方程式の解に対応することを示すこと。
• 単連結で最小三角形分割である場合に、体積関数の滑らかな最大点の存在を、ターフォード方程式の可解性と結びつけることで、Poincaré予想の新たな変分的定式化を提供すること。

提案手法

• 閉じた、向き付けられた、三角形分割された擬3次元多様体 (M,T) におけるS¹-角度構造の空間 SAS(M,T) を定義し、それがコンパクトで閉じた滑らかな多様体であることを示す。
• 各S¹-角度構造にMilnor-Lobachevsky関数を用いて体積を割り当て、SAS(M,T) → ℝ への連続な実数値体積関数 V を定義する。
• 体積関数の微分可能性を分析する：滑らかな臨界点はターフォードの接合方程式の解に対応する。
• 非滑らかな体積関数の臨界点が、正確に1つまたは2つの非ゼロの四角形座標を持つハーケンの正規表面方程式の解を生成することを示す。
• SAS(M,T) のコンパクト性を用いて、体積関数の最大点の存在を保証する。
• Futer-Guéritaud、Segerman-Tillmann、Luo-Tillmann の結果を応用し、体積最大点の非滑らかさが、トポロジー的制約（可約性、トーラス性、Seifertファイバード、またはRP²#RP²#RP²和成分）に起因することを結びつける。

実験結果

リサーチクエスチョン

• RQ1 閉じた三角形分割された3次元多様体上でのS¹-角度構造の空間上での体積関数は、常に最大値をとるのか。また、その臨界点にどのようなトポロジー的情報が符号化されているか。
• RQ2 S¹-角度構造上での体積関数の滑らかな臨界点を用いて、ターフォードの接合方程式の解を構成できるか。
• RQ3 S¹-角度構造上での体積関数の非滑らかな臨界点は、正確に1つまたは2つの非ゼロの四角形座標を持つハーケン方程式の解に対応するか。
• RQ4 最小三角形分割、閉じた、非可約、向き付け可能な3次元多様体において、体積関数の滑らかな最大点が存在することは、ターフォード方程式の解の存在を示唆するのに十分か。
• RQ5 最小三角形分割において、滑らかな最大点が存在しないことは、多様体が可約、トーラス的、Seifertファイバード、または3つのRP²の和成分を含むことと同値か。

主な発見

• 任意の閉じた、向き付けられた、三角形分割された擬3次元多様体 (M,T) に対して、S¹-角度構造の空間 SAS(M,T) はコンパクトで閉じた滑らかな多様体である。
• 体積関数 V: SAS(M,T) → ℝ は連続的であり、SAS(M,T) のコンパクト性により最大値をとる。
• V の最大点 p が滑らかであれば、p はターフォードの接合方程式の解をもたらす。
• V の最大点 p が非滑らかであれば、p はハーケンの正規表面方程式の2-正方形型解（正確に1つまたは2つの非ゼロの四角形座標）をもたらす。
• 最小三角形分割、閉じた、非可約、向き付け可能な3次元多様体において、V のすべての最大点が滑らかであれば、多様体はターフォード方程式の解をもつ（予想1）。
• 最小三角形分割、閉じた、非可約、向き付け可能な3次元多様体において、体積関数が非滑らかな最大点をもつならば、多様体は可約、トーラス的、Seifertファイバード、または3つの射影平面の連結和を含む（定理1.2）。