[論文レビュー] Equivariant and Bott-type Seiberg-Witten Floer Homology: Part II

Rugang Ye|ArXiv.org|Jan 15, 1999

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

ひとこと要約

本稿では、特に有理ホモロジー球面を含む3次元多様体に対して、同相型不変性を示しながら、3つの同等なバージョン（特異的、de Rham、Cartan）を用いて、等長的かつボット型のセイバーウェン・フローアホモロジーおよびコホモロジーを構成する。この研究は、低次元位相幾何学およびゲージ理論における応用を想定した、等長的フローア理論の強固な枠組みを確立する。

ABSTRACT

We construct equivariant and Bott-type Seiberg-Witten Floer homology and cohomology for 3-manifolds, in particular rational homology spheres, and prove their diffeomorphism invariance. We present several versions of the equivariant theory: the singular version, the de Rham version and the Cartan version, with the first playing the most important role. These versions are shown to be equivalent to each other. A few typos are removed.

研究の動機と目的

• 3次元多様体、特に有理ホモロジー球面に対して、等長的セイバーウェン・フローアホモロジーの包括的理論を構築すること。
• 特異的、de Rham、カタンの3つの等長的理論のバージョンを導入し、それらの同値性を確立・比較すること。
• 非退化な臨界多様体を持つ場合に適用可能なボット型モース＝ボット理論を、セイバーウェン・フローア理論に拡張すること。
• 構築されたホモロジーおよびコホモロジー理論の同相型不変性を証明すること。
• ゲージ理論、幾何位相幾何学、および関連する数学的物理分野における将来的な応用の基盤を提供すること。

提案手法

• 特異的バージョンは、円作用に関連する適切な局所系統を係数に持つ特異ホモロジーを用いて構成される。
• de Rhamバージョンは、ゲージ群による商をとった接続の空間上の微分形式を用いて定義され、等長的微分形式を組み込む。
• カタンモデルは、円群の分類空間上の等長的微分形式を用い、de Rham複体に値をとる形で定式化される。
• 3つのバージョンの同値性は、明示的なチェーンホモトピー同値およびチェーン・ウェイの構成によって誘導される自然同型を通じて確立される。
• 非退化な臨界多様体を有するチャーン＝サイモンズ汎関数を考察することで、ボット型の設定への理論の拡張がなされ、モース＝ボット的扱いが可能になる。
• 同相型不変性は、計量や摂動の選び方に依存しないホモロジー群の独立性を示すことにより証明され、継続写像およびゲージ不変性に依拠する。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体、特に有理ホモロジー球面に対して、等長的セイバーウェン・フローアホモロジーを一貫して定義する方法は何か？
• RQ2 特異的、de Rham、カタンの3つのモデルの間にはどのような関係があり、それらは同値であるか？
• RQ3 非孤立な臨界点を扱えるように、ボット型モース＝ボット枠組みをセイバーウェン・フローア理論に統合できるか？
• RQ4 等長的理論は、3次元多様体の同相型変換に対してどのように振る舞うか？
• RQ5 この理論が、低次元位相幾何学およびゲージ理論における不変量に与える影響は何か？

主な発見

• 特異的、de Rham、カタンの3つのバージョンの等長的セイバーウェン・フローアホモロジーは、自然な同型写像を介して同値であることが証明され、その同値性が確立された。
• 非退化な臨界多様体を持つ3次元多様体に対して、ボット型セイバーウェン・フローアホモロジーが構成され、標準理論の一般化が達成された。
• 得られたホモロジーおよびコホモロジー理論は、3次元多様体の同相型変換に対して不変であることが確認され、その位相的意義が裏付けられた。
• この構成は、有理ホモロジー球面に対しても有効であり、等長的フローア理論の適用範囲を広いクラスの3次元多様体へ拡張した。
• この理論は、対称性を有するゲージ理論的不変量を統一的に扱うフレームワークを提供し、位相幾何学および数学的物理分野における将来的な応用が期待される。