[論文レビュー] Lectures on monopole Floer homology

Francesco Lin|arXiv (Cornell University)|May 10, 2016

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

ひとこと要約

この論文は、3次元多様体上のシバーグ・ヴェンデン理論から導かれる、低次元位相幾何における強力な不変量であるモノポール Floer homology についての簡潔な紹介を提供する。理論の背後にある微分幾何、モース理論、およびS¹-可換ホモロジー構造を説明し、マノレスクの補正項——Rokhlin不変量の整数上昇——を構成することで、5次元以上での三角形分割予想の反証に至る。

ABSTRACT

These lecture notes are a friendly introduction to monopole Floer homology. We discuss the relevant differential geometry and Morse theory involved in the definition. After developing the relation with the four-dimensional theory, our attention shifts to gradings and correction terms. Finally, we sketch the analogue in this setup of Manolescu's recent disproof of the long standing Triangulation Conjecture.

研究の動機と目的

• 低次元位相幾何の研究者を対象に、モノポール Floer homology についての教育的導入を提供すること。
• 特にシバーグ・ヴェンデン方程式とS¹-可換モース理論に焦点を当て、理論の幾何学的・解析的基盤を明確にすること。
• モノポール Floer homology と Rokhlin 不変量の間の関係を確立し、三角形分割に対する位相的障害を可能にする。
• モノポール Floer homology を用いて、マノレスクによる三角形分割予想の反証の別証明を提示すること。
• モノポール Floer homology とヘーガード Floer homology の間の形式的類似性、特に補正項の文脈において強調すること。

提案手法

• ゲージ変換による商をとった接続とヒッグス場の空間におけるS¹-可換モース理論を用いて、モノポール Floer homology を構築する。
• 3つの変種：HM-to、HM-from、HM-bar を導入し、それぞれをスピンc 構造ごとに分解し、1番目のチャーン類によって次数づける。
• ペアリング ⟨c₁(𝔰) ∪ x, [Y]⟩ によって定義される相対的 Z/dZ の次数を用い、c₁(𝔰) が torsion のときには絶対次数を Q 上に定義する。
• F[[V]] 上の HS-bar モジュールの構造を用いて、補正項 α(Y)、β(Y)、γ(Y) を構成し、Q の作用によるタワーの構造を利用する。
• ポアンカレ双対性とコボルディズム不変性を適用し、β(−Y) = −β(Y) を示す。これは反証に重要な対称性である。
• Floer homology のモジュール構造を活用し、負定値スピンコボルディズムにおいて不等式を導出し、ホモロジー・コボルディズムに関して不変であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体の配置空間におけるS¹-可換モース理論を用いて、モノポール Floer homology をどのように構成できるか？
• RQ2 モノポール Floer homology におけるRokhlin不変量と補正項 α、β、γ の正確な関係は何か？
• RQ3 ホモロジー球面の向きの反転に対して、補正項はどのように変化するか？
• RQ4 補正項が、ホモロジー・コボルディズム群における位数2のホモロジー球面の存在に対する障害をどのように提供するか？
• RQ5 モノポール Floer homology の形式的構造は、マノレスクによる三角形分割予想の反証を再現できるか？

主な発見

• 補正項 α(Y)、β(Y)、γ(Y) は Rokhlin 不変量の整数上昇であり、α(Y) ≥ β(Y) ≥ γ(Y) であり、モジュール構造と特定の関係を持つ。
• 補正項 β は β(−Y) = −β(Y) を満たすため、任意の位数2のホモロジー球面は β(Y) = 0 を満たさなければならない。
• β が整数上昇であり、符号反転性を満たすため、すべての位数2のホモロジー球面において Rokhlin 不変量は消える。
• 補正項はホモロジー・コボルディズムに関して不変であり、負定値スピンコボルディズムに対して β(Y₁) ≥ β(Y₀) + b₂(W)/8 という不等式によって示される。
• Rokhlin 不変量を上昇させ、β(−Y) = −β(Y) を満たす整数上昇 β が存在するならば、三角形分割予想が真であれば矛盾が生じる。
• したがって、特定の位数2のホモロジー球面において β が非ゼロであることから、5次元以上では三角形分割予想は偽であることが示された。