[論文レビュー] Mixed 3-manifolds are virtually special

Piotr Przytycki, Daniel T. Wise|arXiv (Cornell University)|May 30, 2012

Geometric and Algebraic Topology参考文献 22被引用数 46

ひとこと要約

この論文は、双曲的でもなくグラフ多様体でもない（混合3次元多様体と呼ばれる）任意のコンパクトで向き付け可能で不可約な3次元多様体の基本群が、有限指数部分群をとることで右角アーティン群に埋め込まれること、つまり「仮想的に特別である」ことを証明している。証明は2段階に分けられる：双曲的およびグラフ多様体のブロックにおける曲面を用いた立方体化、次に立方体的小字消去理論と分離性の議論を用いた特別化。これはリウによる非正曲率の3次元多様体に関する予想を解決する。

ABSTRACT

Let M be a compact oriented irreducible 3-manifold which is neither a graph manifold nor a hyperbolic manifold. We prove that the fundamental group of M is virtually special.

研究の動機と目的

• 混合3次元多様体の基本群が仮想的に特別である、すなわち右角アーティン群の部分群に有限指数部分群として埋め込まれることを確立すること。
• コンパクトで非自明な3次元多様体が非正曲率リーマン計量を備えるならば、その基本群が仮想的に特別である、というリウの予想を解決すること。
• 残りの混合3次元多様体の場合に仮想的に特別であるという結果を拡張し、仮想的特別性に関する3次元多様体群の分類を完成させること。
• 基本群の仮想的特別性を用いて、混合3次元多様体が仮想的にファイバーすることを証明すること。

提案手法

• 証明は幾何学的および組合せ論的群論を用いて、2段階に分けられる：立方体化と特別化。
• 立方体化は、混合多様体の双曲的およびグラフ多様体ブロック内の曲面から非正曲率の立方体複体を構成することを意味する。
• 特別化は、立方体的小字消去理論を用いて、超平面の交差を制御し、分離性技術を適用することで、得られる立方体複体が仮想的に特別であることを保証する。
• 普遍被覆における超平面の安定化子の擬凸性と分離性を保証するために、有限指数部分群を構成する。
• 小字消去補題を適用するために、壁の断片および円錐断片の直径に一様な有界性と相対的コンパクト性を用いる。
• 双曲的でかつコンパクト特別な群に属する擬凸部分群の分離性を用いて、元の群への仮想的特別性の持ち上げを実現する。

実験結果

リサーチクエスチョン

• RQ1 任意の混合3次元多様体は、仮想的に特別な基本群を持つか？
• RQ2 混合3次元多様体の基本群は整数上に線形か？
• RQ3 トロイタル境界を持つ任意の混合3次元多様体は、仮想的にファイバーするか？
• RQ4 仮想的特別性に関する3次元多様体群の完全な分類が可能か、混合の場合を含めて？
• RQ5 コンパクトで非自明な3次元多様体が、非正曲率計量を備えるならば、その基本群が仮想的に特別である、というリウの予想は真か？

主な発見

• 任意の混合3次元多様体の基本群は仮想的に特別である。これは仮想的特別性に関する3次元多様体群の分類を完成させる。
• トロイタル境界を持つ任意の混合3次元多様体は、仮想的特別性とアゴルのファイブレーション定理から、仮想的にファイバーする。
• S³内の任意のねじれの補空間の基本群は、あるnについてSL(n, ℤ)への忠実な表現を持つ。これは仮想的特別性による。
• リウの予想、すなわちコンパクトで非自明な3次元多様体が非正曲率計量を備えるならば、その基本群が仮想的に特別である、という予想は、混合多様体を含むすべてのケースで確認された。
• 証明により、混合3次元多様体は非正曲率計量を備えることが示され、リーとブレスリンの結果と整合的である。
• 混合3次元多様体群の仮想的特別性は、すべての有限生成部分群が分離可能であることを意味し、双曲的およびグラフ多様体の場合の結果を拡張する。