[論文レビュー] Perfect Morse functions and exotic S^2 x S^2's

Jacob Rasmussen|arXiv (Cornell University)|May 25, 2010

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

ひとこと要約

本稿は、非自明な Ozsváth-Szabó 不変量を持つ、S²×S² と位相的に同相な滑らかな多様体に完全なモース関数が存在するかを検討する。ゲージ理論的不変量とモース理論を用いて、そのような多様体は完全なモース関数をもつことはできないと証明するが、仮定された多様体の存在は未だ不確かであるため、著者は論文を撤回した。

ABSTRACT

The main theorem of the paper shows that a smooth manifold which is homeomorphic to S^2xS^2 and has nonvanishing Ozsvath-Szabo invariant does not admit a perfect Morse function. I am withdrawing the paper because it is unclear to me if such a manifold exists.

研究の動機と目的

• 非自明な Ozsváth-Szabó 不変量を持つ、S²×S² と位相的に同相な滑らかな多様体が完全なモース関数をもつ可能性を検証すること。
• ゲージ理論的不変量がモース理論的構造に課す位相的および滑らかさの制約を調査すること。
• 完全なモース関数が異種 S²×S² 構造の微分位相幾何学と整合するかを評価すること。

提案手法

• 異種 S²×S² 多様体を区別する滑らかさの不変量としての Ozsváth-Szabó 不変量の応用。
• 4次元多様体上の滑らかな関数の臨界点構造を分析するためのモース理論の使用。
• S²×S² と位相的に同型な4次元多様体上で、最小の臨界点数をもつ完全なモース関数の分析。
• ゲージ理論的制約とモース理論的障害を組み合わせ、存在しないことを導く。
• 非自明な Ozsváth-Szabó 不変量が完全なモース関数の存在を妨げる論理的帰納。

実験結果

リサーチクエスチョン

• RQ1 非自明な Ozsváth-Szabó 不変量を持つ、S²×S² と位相的に同型な滑らかな多様体が完全なモース関数をもつことができるか？
• RQ2 ゲージ不変量とモース理論の相互作用から生じる4次元多様体における位相的障害は何か？
• RQ3 異種 S²×S² 構造は、その滑らかさの不変量のため、完全なモース関数を支持できない必然的要因をもつか？

主な発見

• 非自明な Ozsváth-Szabó 不変量を持つ、S²×S² と位相的に同型な滑らかな多様体は、完全なモース関数をもつことはできない。
• 障害は、完全なモース関数の最小臨界点構造と非自明なゲージ理論的不変量との矛盾に起因する。
• そのような多様体の存在は未だ不確かであり、議論の前提に疑問を投げかけている。
• 論文の結論は、不変量条件を満たす多様体の存在に依存しており、現時点では検証されていない。
• この根本的な不確実性のため、著者は結果の条件付き性を認識し、論文を撤回した。