[論文レビュー] Holomorphic disks and topological invariants for rational homology three-spheres

Peter Ozsváth, Zoltán Szabó|arXiv (Cornell University)|Jan 25, 2001

Geometric and Algebraic Topology参考文献 31被引用数 10

ひとこと要約

この論文は、ヘーガード面の対称積における正則ディスクを用いて、有理ホモロジー3次元球面のための新しい位相的不変量を導入する。スピンc構造にラグランジュフローホモロジーを適応させることで、写像類群の作用に関して不変であるZ-次数付きアーベル群を構成し、3次元多様体位相の研究におけるシンプレクティック幾何学的枠組みを提供する。

ABSTRACT

The aim of this article is to introduce and study certain topological invariants for oriented, rational homology three-spheres Y. These groups are relatively Z-graded Abelian groups associated to Spin C structures over Y. Given a Heegaard splitting of Y = U0 ∪Σ U1, these theories are variants of the Lagrangian Floer homology for the g-fold symmetric product of Σ relative to certain totally real subspaces associated to U0 and U1.

研究の動機と目的

• 有理ホモロジー3次元球面のための新しい位相的不変量を、シンプレクティック位相幾何学を用いて定義すること。
• そのような3次元多様体上のスピンc構造に対してZ-次数付きアーベル群を関連付けること。
• ヘーガード分割の設定において、ラグランジュフローホモロジーを一般化すること。
• コボルディズムに関して関手的であり、写像類群の作用と整合する不変量を確立すること。
• 正則ディスクを用いた対称積におけるシンプレクティック幾何学的枠組みを提供し、3次元多様体不変量を研究すること。

提案手法

• 3次元多様体をY = U₀ ∪Σ U₁とヘーガード分割によって分解する。
• ヘーガード面Σのg重対称積内に、U₀およびU₁に対応する2つの完全実部分多様体を構成する。
• これらの部分多様体に対してラグランジュフローホモロジーを適用し、ホモロジー理論を定義する。
• スピンc構造の1番目のチエーン類を用いて、得られたホモロジー群に相対的Z-次数を付与する。
• フローホモロジー複体の微分を計算する主な対象として、対称積内の正則ディスクを用いる。
• ラグランジュ部分多様体のホトポイーおよびヘーガード移動に関して不変性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュフローホモロジーは、有理ホモロジー3次元球面の不変量を定義するためにどのように適応可能か？
• RQ2 スピンc構造が、得られるホモロジー群の次数付けにおいて果たす役割は何か？
• RQ3 ヘーガード移動やコボルディズムなどの位相的変換に関して、不変量はどのように変化するか？
• RQ4 ヘーガード面の対称積内の正則ディスクは、3次元多様体の計算可能な不変量をもたらせるか？
• RQ5 新しい不変量と、リードマイスター捩れやセイバーグ・ワトソン不変量といった古典的不変量との関係は何か？

主な発見

• 論文は、有理ホモロジー3次元球面上の各スピンc構造に対して、Z-次数付きアーベル群の不変量を構成する。
• 不変量は、ヘーガード面の対称積内の正則ディスクを用いたラグランジュフローホモロジーによって定義される。
• 得られたホモロジー群は、ヘーガード分割の選び方に依存せず、自然な同型を除いて不変である。
• コボルディズムに関して関手的であり、写像類群の作用を尊重する。
• 非自明な3次元多様体に対して不変量は非自明であり、有理ホモロジー球面同士の位相的差異を検出できる。
• ホモロジー群の次数は、スピンc構造の1番目のチエーン類によって決定され、より洗練された不変量を提供する。