[論文レビュー] A homological estimate for the Thurston norm

Vladimir Turaev|ArXiv.org|Jul 29, 2002

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

ひとこと要約

本稿は、歪ラテン多項式環上のねじれホモロジーを用いて、3次元多様体の1次コホモロジーにおけるターフォンノルムの新しいホモロジー的下界を確立する。歪体上のねじれホモロジー加群のランクを活用することで、古典的な結果（例えばシーベルトの不等式）を一般化し、マクマレンのアレクサンダーノルムとハーヴェイの高次順序境界を含む統一的枠組みを提供する。同界は、コホモロジー類がファイバード構造に対応する場合に等号で成立する。

ABSTRACT

We establish a new homological lower bound for the Thurston norm on 1-cohomology of 3-manifolds. This generalizes previous results of C. McMullen, S. Harvey, and the author. We also establish an analogous lower bound for 1-cohomology of 2-dimensional CW-complexes.

研究の動機と目的

• 3次元多様体の1次コホモロジーにおけるターフォンノルムの既存の下界を、ホモロジー不変量を用いて一般化すること。
• シーベルト、マクマレン、ハーヴェイ、コクランおよび著者の以前の研究結果を、一つの枠組みに統合・拡張すること。
• 2次元セル複体の1次コホモロジーに対し、類似の境界を確立すること。
• ねじれホモロジーを用いて、3次元における接合不等式を捉えるホモロジー的推定値を提供すること。

提案手法

• 歪ラテン多項式環 $\Lambda = K[t^{\pm 1}; \alpha]$ を係数とするねじれホモロジーを用いる。ここで $K$ は歪体であり、$\alpha$ は体自己である。
• 群環準同型 $\varphi: \mathbb{Z}[\pi_1(M)] \to \Lambda$ とコホモロジー類 $\psi \in H^1(M)$ の間の整合性を、任意の $\gamma \in \pi_1(M)$ に対して $\varphi(\gamma) \in t^{\psi(\gamma)}K$ と定義する。
• ねじれホモロジー加群 $H_1(M; \Lambda)$ の $K$-ランクを計算し、これが中心的なホモロジー不変量となる。
• $\Lambda$-加群の構造と $K$-加群の自由性を応用して、ターフォンノルムの境界を導出する。
• $\varphi(\pi_1(M)) \subset \Lambda \setminus \{0\}$ の像が巡回群かどうかに応じて場合分けを行い、異なるノルム不等式を導く。
• 一般の2次元複体に対しては、デフォーメーションリトラクトとセル複体上の正則グラフを用いて、オイラー標数の議論が適用可能な状況に還元する。

実験結果

リサーチクエスチョン

• RQ1 シーベルトの不等式、マクマレンのアレクサンダーノルム、ハーヴェイの高次順序境界をすべて含む、ターフォンノルムの統一的ホモロジー的下界を導出できるか？
• RQ2 歪ラテン多項式環 $\Lambda$ を係数とするねじれホモロジー加群 $H_1(M; \Lambda)$ の構造は、ターフォンノルムとどのように関係するか？
• RQ3 どのような条件下で、境界が等号に達するのか、特に $\psi$ がファイブレーション $M \to S^1$ のファイバーに対応する双対である場合に？
• RQ4 ホモロジー的推定値を3次元多様体から2次元セル複体へ拡張できるか？
• RQ5 $\varphi(\pi_1(M))$ の巡回性が、ノルム推定の鋭さにどのように寄与するか？

主な発見

• 非ゼロのコホモロジー類 $\psi \in H^1(M)$ に対して、$\varphi(\pi_1(M))$ が巡回でない場合、$||\psi||_T \geq \mathrm{rk}_K H_1(M; \Lambda)$ が成り立つ。
• もし $\varphi(\pi_1(M))$ が巡回であるならば、$||\psi||_T \geq \max(\mathrm{rk}_K H_1(M; \Lambda) - \varepsilon_M |\psi|, 0)$ が成り立ち、ここで $\varepsilon_M = 2$ は $\partial M$ が空または2次元球面からなる場合、それ以外は $\varepsilon_M = 1$ である。
• 定理2により、$\psi$ がファイブレーション $M \to S^1$ のファイバーに対応する双対である場合、ノルム境界で等号が成立する。
• $H^1(X)$ 上の関数 $\psi \mapsto ||\psi||_X$ は任意の有限2次元複体 $X$ に対して半ノルムであり、$H^1(X; \mathbb{R})$ 上に一様連続な同次半ノルムに拡張可能である。
• この境界は、結び目の生成数がそのアレクサンダー多項式のスパンの半分以上であるというシーベルトの不等式を一般化する。
• $M$ が閉多様体である場合、Seiberg-Witten不変量およびスピン$^c$ 構造のチャーン類を用いて、構成により3次元における接合不等式が回復される。