[論文レビュー] Weak collapsing and geometrisation of aspherical 3-manifolds

Laurent Bessières, Gérard Besson+3 more|ArXiv.org|Jun 14, 2007

Geometric and Algebraic Topology参考文献 29被引用数 15

ひとこと要約

本稿では、曲率が制御されたリーマン計量と漸近的に双曲的である分厚い部分を持つことによって、非球面的3次元多様体に対する弱い崩壊定理を提示する。このような計量が存在する場合、多様体はセイフェルト被覆をもつ、または圧縮不能なトーラスを含むことが示され、アレクサンドロフ空間理論に依存せずにペレルマンによる幾何化予想の最終段階への代替的ルートを提供する。

ABSTRACT

Let M be a closed, orientable, irreducible, non-simply connected 3-manifold. We prove that if M admits a sequence of Riemannian metrics whose sectional curvature is locally controlled and whose thick part becomes asymptotically hyperbolic and has a sufficiently small volume, then M is Seifert fibred or contains an incompressible torus. This result gives an alternative approach for the last step in Perelman's proof of the Geometrisation Conjecture for aspherical 3-manifolds.

研究の動機と目的

• 非単連結で非球面的3次元多様体の場合に、ペレルマンによる幾何化予想の最終段階に対する代替的証明を提供すること。
• アレクサンドロフ空間理論の深い道具（例えばペレルマンの安定性定理や被覆定理など）を避ける弱い崩壊結果を確立すること。
• スケール不変なスカラー曲率不変量 R(M) を用いて、双曲的およびグラフ3次元多様体を特徴付けること。
• 3次元多様体が曲率が制御された計量の列と崩壊する分厚い部分を持つならば、それがグラフ多様体であることを証明すること。

提案手法

• V₀(M) を M 内の双曲的リンク補完空間の下界として定義し、これは正であり、ある双曲的3次元多様体 H₀ によって達成される。
• ペレルマンの意味での「局所的に制御された曲率」の概念を導入し、リーマン計量のグロモフ＝ハウスドルフ極限における正則性を保証する。
• 点付き C² 収束を用いて、任意の列 (M, gₙ, xₙ) の極限が、V₀(M) よりも体積が厳密に小さい双曲的多様体であることを示す。
• ハーケン多様体に対するサーフォンの双曲化定理を適用し、圧縮不能なトーラスまたはセイフェルト被覆構造の存在を導く。
• スカラー曲率が −6 以上で、体積が双曲的体積に限りなく近い計量を構成し、多様体が双曲的でない場合には矛盾を導く。
• 不変量 R(M) = sup ̂R(g) をすべての計量 g に対して定義し、ここで ̂R(g) = R_min(g) · vol(g)^{2/3} である。この不変量を用いて双曲的およびグラフ多様体を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 閉じた、非可縮的で非単連結な3次元多様体 M が、局所的に制御された曲率を持つ計量の列をもつとき、どのような条件下で、セイフェルト被覆または双曲的部品への幾何的分解が可能になるか？
• RQ2 ペレルマンのリッチ・フローによる証明の最終段階は、アレクサンドロフ空間理論を用いずに再構築可能か？
• RQ3 スケール不変なスカラー曲率不変量 R(M) は、どのようにして双曲的およびグラフ3次元多様体を特徴付けるか？
• RQ4 最小の双曲的リンク補完空間の体積 V₀(M) は、多様体 M の幾何的構造を決定づける上で果たす役割は何か？
• RQ5 弱い崩壊条件（分厚い部分が漸近的に双曲的で、体積が小さい）は、圧縮不能なトーラスまたはセイフェルト被覆の存在を強制するか？

主な発見

• 閉じた、向きつけ可能で非可縮的で非単連結な3次元多様体 M が、局所的に制御された曲率、有界な体積、および体積が V₀(M) よりも厳密に小さい双曲的多様体に収束する分厚い部分を持つ計量の列をもつならば、M はグラフ多様体であるか、圧縮不能なトーラスを含む。
• 不変量 V₀(M) は常に正であり、ある双曲的3次元多様体によって達成され、M が双曲的であることと V₀(M) = vol(M) が同値である。
• 定理 0.3 は、M が双曲的であることと R(M) ≤ −6V₀(M)^{2/3} が同値であり、そうでない場合には厳密に大きいことを示し、これにより M は圧縮不能なトーラスを含むか、セイフェルト被覆をもつ。
• 系 0.2 は、3次元多様体がペレルマンが制御した曲率を持つ計量の列によって崩壊するならば、それがグラフ多様体であることを確立する。
• 証明はアレクサンドロフ空間の安定性定理や被覆定理の使用を避け、幾何化結果へのより直接的で新しいルートを提供する。
• 不変量 R(M) は、スカラー曲率 ≥ −6 を満たすすべての完全計量の中で、最小の体積を実現する双曲的計量で最大値をとる。