[論文レビュー] Knots, sutures and excision

P. B. Kronheimer, Tomasz Mrowka|ArXiv.org|Jul 30, 2008

Geometric and Algebraic Topology参考文献 14被引用数 23

ひとこと要約

本稿では、平衡的サチュレートド3次元多様体に対して、補助的パーツと貼り合わせることで閉じた3次元多様体を作成し、それに対して標準的なフローアホモロジーを適用することで、モノポールおよびインスタントンフローアホモロジーを導入する。主な貢献は、接触トポロジーまたはワイテンの予想に依存しない、結び目に対する性質Pの新しい証明であり、また、ファイバード結び目を検出できる新規不変量—モノポールおよびインスタントン結び目ホモロジー—の構成である。これらの不変量は、サーフェスのトーラスノルムを捉えている。

ABSTRACT

We develop monopole and instanton Floer homology groups for balanced sutured manifolds. Applications include a new proof of Property P for knots.

研究の動機と目的

• 貼り合わせの構成を用いて、平衡的サチュレートド3次元多様体に対するモノポールおよびインスタントンフローアホモロジーを定義すること。
• 貼り合わせにより得られる閉じた多様体にフローアホモロジーを適用することで、新規の不変量—モノポールおよびインスタントン結び目ホモロジー—を構築すること。
• 接触トポロジーやシンプレクティックトポロジーに依存しない、インスタントンフローアホモロジーを用いた性質Pの新しい独立した証明を提供すること。
• インスタントンホモロジーが、非可縮の3次元多様体上でトーラスノルムを捉えていることを示すこと。これは[15]で提起された問いに答える。
• ギギニとニの結果を拡張し、新規のモノポールおよびインスタントン結び目ホモロジー不変量を用いて、ファイバード結び目を特徴づけること。

提案手法

• 境界に沿って、平衡的サチュレートド多様体と追加のパーツ（例えばハンドル体）を貼り合わせることで、閉じた3次元多様体を作成する。
• 得られた閉じた多様体にモノポールまたはインスタントンフローアホモロジーを適用し、元のサチュレートド多様体の不変量を定義する。
• フローアの切断定理を用いて、貼り合わせデータの選択に依存しない不変性を正当化する。
• 結び目の群のSU(2)表現の表現多様体の構造に着目し、特に、ミッドリアンをiに送る表現を用いて、結び目ホモロジー群を定義する。
• インスタントンホモロジーの非自明性定理を適用し、性質Pを満たす結び目に対して、不変量が非自明であることを証明する。
• ギギニとニの議論を適応し、ホモロジーの最高フィルトレーションレベルにおけるランクが1であるかどうかが、結び目がファイバードであることと同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 貼り合わせの構成を用いて、平衡的サチュレートド3次元多様体に対してモノポールおよびインスタントンフローアホモロジーを定義できるか？
• RQ2 得られる不変量は、ヘーガードフローアの場合と同様に、ファイバード結び目を検出できるか？
• RQ3 インスタントンフローアホモロジーを用いて、接触トポロジーやシンプレクティックトポロジーに依存せずに、結び目に対する性質Pの新しい証明が可能か？
• RQ4 インスタントンホモロジーは、非可縮の3次元多様体上でトーラスノルムを捉えているか？
• RQ5 ここでのインスタントン結び目ホモロジーは、結び目に対してフローアの元来のインスタントンホモロジーと同型か？

主な発見

• 貼り合わせにより閉じた多様体を作成する構成により、平衡的サチュレートド多様体に対する新規な不変量がモノポールおよびインスタントンフローアホモロジーとして得られる。
• ここでのインスタントン結び目ホモロジーは、結び目に対してフローアの元来のインスタントンホモロジーと同型であり、従来の研究と整合性が確認される。
• ワイテンの予想や接触トポロジーに依存しない、性質Pのための新しい独立した証明が、インスタントンフローアホモロジーを用いて確立された。
• 結び目の補空間のインスタントンホモロジーは、多様体上のトーラスノルムを捉えている。これは[15]で提起された問いに答える。
• モノポールおよびインスタントン結び目ホモロジーは、ファイバード結び目を検出でき、最高フィルトレーションレベルにおけるホモロジーのランクが1であることは、かつおなに、結び目がファイバードであることと同値である。
• 構成から、インスタントン結び目ホモロジー群のオイラー特徴標数が、対称化されたアレクサンダー多項式の係数である可能性が示唆されるが、これはまだ予想のままである。