[論文レビュー] A Morse-Bott approach to monopole Floer homology and the Triangulation conjecture

Francesco Lin|arXiv (Cornell University)|Apr 17, 2014

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

ひとこと要約

この論文は、特に双対と同型なスピンc構造を持つ場合に、Seiberg-Witten勾配流れにおけるモース・ボット特異点を扱うために、モノポール Floer homology を一般化する。$̅{Pin}(2)$-等変なバージョンをマノレスクの不変量に類似して構成し、トライアングリュレーション予想の反証を新たな方法で示す。その結果、ホモロジー球面で Rokhlin不変量が1であるものは、ホモロジー コボルディズム群において位数2をもたないことが示される。

ABSTRACT

In the present work we generalize the construction of monopole Floer homology due to Kronheimer and Mrowka to the case of a gradient flow with Morse-Bott singularities. Focusing then on the special case of a three-manifold equipped with a spin$^c$ structure isomorphic to its conjugate, we define the counterpart in this context of Manolescu's recent $\mathrm{Pin}(2)$-equivariant Seiberg-Witten-Floer homology. In particular, we provide an alternative approach to his disproof of the celebrated Triangulation conjecture.

研究の動機と目的

• Seiberg-Witten 勾配流れにおけるモース・ボット特異点を扱うように、クロノイマーとムロウカのモノポール Floer homology を拡張すること。
• マノレスクの構成に類似した、モース・ボット設定における $̅{Pin}(2)$-等変な Seiberg-Witten-Floer homology を定義すること。
• 5次元以上でのトライアングリュレーション予想の反証を再証明すること。
• ホモロジー球面に対して、ホモロジー コボルディズムに関して不変で、かつ mod 2 で Rokhlin 不変量に還元される新しい不変量 $β(Y)$ を確立すること。
• ホモロジー コボルディズム群に位数2で Rokhlin 不変量が1である元が存在しないことを示し、これにより予想を反証すること。

提案手法

• 勾配流れがモース・ボット臨界部分多様体を持ち、法方向でヘッセ行列が正則である場合に、モノポール Floer homology の構成を一般化する。
• 無限次元的設定と対称性を扱うために、配置空間に完成化とスライシング手続きを導入する。
• 特異点を解消し、円柱 $× Y$ 上の臨界部分多様体間の軌道のモジュライ空間を定義するために摂動を用いる。
• スピンc 構造が自己双対である場合に生じる追加のクaternion的対称性を活用し、$̅{Pin}(2)$-等変なホモロジー理論を構成する。
• この理論を応用して、$β(-Y) = -β(Y)$ を満たし、mod 2 で Rokhlin 不変量に還元されるホモロジー球面 $Y$ に対する $β(Y)$ 不変量を定義する。
• 臨界部分多様体への漸近的条件を満たす、$× Y$ 上の摂動された Seiberg-Witten 方程式の解のモジュライ空間を分析する。

実験結果

リサーチクエスチョン

• RQ1 勾配流れが孤立した非退化特異点ではなく、モース・ボット特異点を持つ場合に、モノポール Floer homology を拡張することは可能か？
• RQ2 モース・ボット設定における $̅{Pin}(2)$-等変な Seiberg-Witten-Floer homology の適切な類似物は何か？
• RQ3 このような理論を用いて、マノレスクによるトライアングリュレーション予想の反証を再証明できるか？
• RQ4 $β(Y)$ 不変量が向きの反転に対して奇数性を示すということは、ホモロジー コボルディズム群に位数2で Rokhlin 不変量が1である元が存在しないことを示唆するか？
• RQ5 この新しい不変量を用いて、ホモロジー コボルディズム群の構造をさらに制約できるか？

主な発見

• 論文は、モース・ボット設定における $̅{Pin}(2)$-等変な Seiberg-Witten-Floer homology を構成し、マノレスクの枠組みを非孤立臨界点にまで拡張した。
• ホモロジー球面に対して、ホモロジー コボルディズムに関して不変で、$β(-Y) = -β(Y)$ を満たす $β(Y)$ 不変量を定義した。
• $β(Y)$ 不変量は mod 2 で Rokhlin 不変量に還元され、その向きの反転における奇数性から、ホモロジー コボルディズム群に位数2で Rokhlin 不変量が1である元が存在しないことが示される。
• これは、短完全列 $0 \to \ker \mu \to \Theta_3^H \to \mathbb{Z}/2\mathbb{Z} \to 0$ が分解しないことを意味し、これは5次元以上でのトライアングリュレーション予想の失敗に同値である。
• この新しい構成は、ホモロジー コボルディズム群の構造とトライアングリュレーションの障害に関する新たな視点を提供するトップロジカル不変量をもたらす。