[論文レビュー] Lagrangian boundary conditions for anti-self-dual instantons and the Atiyah-Floer conjecture

Katrin Wehrheim|ArXiv.org|Jul 13, 2006

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

ひとこと要約

本稿では、境界上のSU(2)接続空間におけるラグランジュ境界条件を用いて、境界をもつ3次元多様体のための新しいインスタントンフローコホモロジーを提案する。ヘーガード面を台とする円筒上でのアンチ自己双対インスタントンとラグランジュ境界条件を考察することにより、インスタントンフローコホモロジーとシンプレクティックフローコホモロジーの間の橋渡しを確立し、エネルギーの減衰とチャーン＝サイモンズ汎関数による境界挙動の制御を通じた、新規な解析的枠組みを用いてアティヤ＝フラワー予想の証明への道筋を提示する。

ABSTRACT

The purpose of this survey is to explain an approach to the Atiyah-Floer conjecture via a new instanton Floer homology with Lagrangian boundary conditions. This is a joint project with Dietmar Salamon. This paper also provides a rough guide to the analysis of anti-self-dual instantons with Lagrangian boundary conditions (in earlier papers), which is the crucial ingredient of our approach.

研究の動機と目的

• 境界をもつ3次元多様体のための、SU(2)接続空間におけるラグランジュ境界条件を用いた新しいインスタントンフローコホモロジーを確立すること。
• 第三の中間的フローコホモロジーを介して、インスタントンフローコホモロジーとシンプレクティックフローコホモロジーの間の幾何学的・解析的橋渡しを提供すること。
• ヘーガード面上の平坦SU(2)接続のシンプレクティックモジュライ空間の特異点を、境界条件を伴うゲージ理論的枠組みを導入することによって解消すること。
• アンチ自己双対インスタントンのエネルギーが境界付近でべき則的に減衰することを証明し、コンパクトネスと収束に関する結果を得ること。
• ゲージ理論における軌道とシンプレクティック幾何における擬正則曲線の比較を通じて、アティヤ＝フラワー予想の完全な証明の基盤を築くこと。

提案手法

• 境界をもつ3次元多様体のための新しいフローコホモロジー HF_inst([0,1]×Σ, L_H0 × L_H1) を定義し、ℝ×[0,1]×Σ 上のアンチ自己双対インスタントンとラグランジュ境界条件を用いる。
• 特別なゲージ（Ξ = A + R dr）を導入し、アンチ自己双対方程式を分離し、境界付近における接続の挙動を制御する。
• ストークスの定理を用いてエネルギー積分を境界成分上のチャーン＝サイモンズ汎関数の差に書き直し、エネルギーとホロノミー、平坦接続の拡張を結びつける。
• チャーン＝サイモンズ汎関数を用いて等周型不等式を確立し、接続の微分のL²ノルムに沿ったφ方向の関数の変動を有界化する。
• エネルギーとチャーン＝サイモンズ推定に基づき、微分不等式 d/dr ln 𝔈(r) ≥ (πr)⁻¹ を導出し、その結果として 𝔈(r) ≤ r¹/π 𝔈(1) の減衰を得る。
• 減衰推定を用いて、ラグランジュ境界条件を満たす有限エネルギーインスタントンのモジュライ空間のコンパクトネスを証明する。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュ境界条件を備えた新しいインスタントンフローコホモロジーは、インスタントンとシンプレクティックフローコホモロジーの間を補間可能か？
• RQ2 ℝ×[0,1]×Σ 上のアンチ自己双対インスタントンのエネルギーは、境界付近で r¹/π のように減衰するか？ これによりコンパクトネスが保証されるか？
• RQ3 特異なモジュライ空間の存在下でも、チャーン＝サイモンズ汎関数はエネルギーの境界寄与項を制御可能か？
• RQ4 中間的フローコホモロジー HF_inst([0,1]×Σ, L_H0 × L_H1) は、閉じた3次元多様体のインスタントンフローコホモロジーと、ラグランジュ対のシンプレクティックフローコホモロジーの両者と同型であるか？
• RQ5 解析的枠組みは、リーマン面上の平坦SU(2)接続の特異なシンプレクティック商 R_Σ を取り扱えるか？

主な発見

• 有限エネルギーのアンチ自己双対インスタントンのエネルギー 𝔈(r) は、微分不等式 d/dr ln 𝔈(r) ≥ (πr)⁻¹ から導かれる減衰推定 𝔈(r) ≤ r¹/π 𝔈(1) を満たす。
• チャーン＝サイモンズ汎関数は境界寄与項を制御し、|CS(A, A~)| は接続の微分のL²ノルムとホロノミー差のL³ノルムによって有界化される。
• 境界上でのパス A_r(φ) のL²短さは、r → 0 のときエネルギーへの境界寄与項が消えることを示し、境界での正則性を保証する。
• エネルギーの減衰と境界の制御により、ラグランジュ境界条件を満たす有限エネルギーインスタントンのモジュライ空間のコンパクトネスが保証され、新しいフローコホモロジーの定義の重要なステップが達成される。
• 中間的フローコホモロジー HF_inst([0,1]×Σ, L_H0 × L_H1) は、HF_inst(Y) および HF_syp(R_Σ, L_H0, L_H1) と同型であると予想され、アティヤ＝フラワー予想の証明への道筋を提供する。
• 本手法は、特異なシンプレクティック商を扱うためのゲージ理論的アプローチを境界条件とともに用いることで、ドストォグラウス＝サラモンの断片的極限を一般化する。