[論文レビュー] Higher-rank instanton cohomology and the quilted Atiyah-Floer conjecture

David L. Duncan|arXiv (Cornell University)|Nov 21, 2013

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

ひとこと要約

本稿は、第一ベッチ数が正である3次元多様体上の高ランクインスタントンフロー・ホモロジーの基礎的道具を確立し、r ≥ 2 に対して PU(r)-バンドルに焦点を当てる。インスタントンフロー理論のきめ細かな微分幾何的枠組みを構築し、整合的な摂動と横断性の技術を用いて、インスタントンフロー・コホモロジーとキルト付きラグランジュフロー・コホモロジーのチェーンレベル同型を構成することで、キルト付きアティヤ＝フロウ予想の証明に向けたプログラムを開始する。

ABSTRACT

Given a closed, connected, oriented 3-manifold with positive first Betti number, one can define an instanton Floer group as well as a quilted Lagrangian Floer group. The quilted Atiyah-Floer conjecture states that these cohomology groups are isomorphic. We initiate a program for proving this conjecture.

研究の動機と目的

• r ≥ 2 に対して PU(r)-バンドルのインスタントンフロー・コホモロジーの包括的理論を構築し、古典的な SU(2)/SO(3) の場合を拡張すること。
• 第一ベッチ数が非自明な3次元多様体上の高ランクゲージ理論に微分幾何的基盤を提供すること。
• インスタントンフロー・コホモロジーとキルト付きラグランジュフロー・コホモロジーの間の同型を示すというキルト付きアティヤ＝フロウ予想の証明に向けたプログラムを開始すること。
• 両方のフロー理論における横断性を実現するために不可欠な、ホロノミー写像とその微分に対する一様 L^p および W^{k,p} 評価を確立すること。
• インスタントン理論およびキルト付きラグランジュフロー理論の両方で横断性を同時に達成する整合的摂動を構成し、チェーンレベルでの比較を可能にすること。

提案手法

• 第一ベッチ数が正である3次元多様体上の PU(r)-バンドルを用いたインスタントンフロー・ホモロジーのゲージ理論的枠組みを採用する。
• PU(r)-バンドル上の平坦接続のゲージ同値類が生成するチェーン複体によってインスタントンフロー・コホモロジーを定義する。
• 2+1次元の場の理論の枠組みを用いて、シンプレクティック不変量（ラグランジュフロー・コホモロジー）とゲージ理論的不変量（インスタントンフロー・コホモロジー）を関連付ける。
• 埋め込まれた曲面上でのホロノミー写像からハミルトニアンベクトル場を構成し、局所自明化とリー代数への射影を用いる。
• 曲率および共変微分の上界を用いて、ホロノミーの微分に対する一様 L^p および W^{k,p} 評価を導出する。
• 接続空間の制御された摂動を通じて、インスタントン理論およびキルト付きラグランジュフロー理論の両方で横断性を保つ整合的摂動を確立する。

実験結果

リサーチクエスチョン

• RQ1 r ≥ 2 に対して、PU(r)-バンドルのインスタントンフロー・コホモロジーは、古典的な SU(2)/SO(3) 理論を拡張して、厳密に定義可能か？
• RQ2 PU(r)-バンドル上でのホロノミー写像とその微分に対して、一様 L^p および W^{k,p} 界をどのように確立できるか？
• RQ3 インスタントンフロー理論およびキルト付きラグランジュフロー理論の両方で同時に横断性を保証する条件は何か？
• RQ4 インスタントンフロー・コホモロジーとキルト付きラグランジュフロー・コホモロジーの間でチェーンレベル同型を構成可能か？
• RQ5 平坦接続空間の摂動は、曲面上の平坦接続のモジュライ空間上のシンプレクティック構造とどのように相互作用するか？

主な発見

• 本稿は、PU(r)-バンドル上でのホロノミー写像とその微分に対する一様 L^p 界を確立し、定数はバンドルおよび接続空間にのみ依存することを示した。
• ホロノミー関数に付随するハミルトニアンベクトル場の W^{1,p} 評価を証明し、そのノルムが曲率の L^p ノルムによって上界で抑えられることを示した。
• ホロノミー写像の微分は、曲率の L^p ノルムによって制御され、ホロノミー写像の線形化を通じて明示的な依存関係を有する。
• 整合的摂動を仮定することで、インスタントンフロー・コホモロジーとキルト付きラグランジュフロー・コホモロジーの間でチェーンレベル同型を構成した。
• 幾何的・解析的構造を保ちながら、幾分かの摂動スキームにより、両方のフロー理論で横断性を同時に達成した。
• 本フレームワークは、既知の r=2 の結果を任意の r ≥ 2 に拡張する高ランクインスタントンフロー理論の厳密な基盤を提供した。