[論文レビュー] Fukaya algebras via stabilizing divisors

François Charest, Chris Woodward|arXiv (Cornell University)|May 29, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用数 8

ひとこと要約

この論文は、有理数のシンプレクティッククラスを持つシンプレクティック多様体内のコンパクトで向き付け可能かつ相対的にスピンなラグランジュ部分多様体に対して、安定化被覆を用いて、有限次元かつ厳密に単位的であるフクヤ代数を構成する。代数のホモトピー型および弱マウラー＝カルタン解のモジュライ空間が摂動データの選択に依存しないこと、およびフロアコホモロジーがデータの選択に至るまでゲージ同値性の下で不変であることを確立する。

ABSTRACT

We use the technique of stabilizing divisors introduced by Cieliebak-Mohnke to construct finite dimensional, strictly unital Fukaya algebras of compact, oriented, relatively spin Lagrangians in compact symplectic manifolds with rational symplectic classes. The homotopy type of the algebra and the moduli space of solutions to the weak Maurer-Cartan equation are shown to be independent of the choice of perturbation data. The Floer cohomology is the cohomology of a complex of vector bundles over the space of solutions to the weak Maurer-Cartan equation and is shown to be independent of the choice of perturbation data up to gauge equivalence.

研究の動機と目的

• 有理数のシンプレクティッククラスを持つシンプレクティック多様体内のコンパクトで向き付け可能かつ相対的にスピンなラグランジュ部分多様体に対して、有限次元かつ厳密に単位的であるフクヤ代数を構築すること。
• ラグランジュフロア理論における無限次元形式の課題を克服するため、有限次元モデルを導入すること。
• 摂動データの選択に依存しないフクヤ代数のホモトピー型および弱マウラー＝カルタン解のモジュライ空間の不変性を確立すること。
• 弱マウラー＝カルタン方程式の解空間上のベクトルバンドルの複体のコホモロジーとして定義されるフロアコホモロジーが、摂動データの選択に依存しないこと（ゲージ同値性の下で）を示すこと。

提案手法

• シエリエバックとモーンケが導入した安定化被覆の技法を用い、擬全純曲線のモジュライ空間を制御する。
• 摂動されたコーシー＝リーマン作用素の摂動データに安定化被覆を組み込むことで、有限次元モデルとしてフクヤ代数を構成する。
• この有限次元枠組み内において弱マウラー＝カルタン方程式を定義し、その解空間をベクトルバンドルの複体の基盤として研究する。
• ゲージ同値性を用いて異なる摂動データを関連付け、フロアコホモロジーがそれらの選択にわたって不変であることを証明する。
• 相対的にスピン構造および有理数のシンプレクティッククラス条件を用いて、代数の定義可能性と有限性を保証する。
• フクヤ代数のホモトピー型を分析し、摂動データの変更に対して不変であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有理数のシンプレクティッククラスを持つシンプレクティック多様体内のコンパクトで向き付け可能かつ相対的にスピンなラグランジュ部分多様体に対して、安定化被覆を用いて有限次元かつ厳密に単位的なフクヤ代数を構成できるか？
• RQ2 安定化被覆を用いる場合、フクヤ代数のホモトピー型は摂動データの選択に依存しないか？
• RQ3 この有限次元設定において、弱マウラー＝カルタン方程式の解のモジュライ空間は、異なる摂動データの選択に対してどのように振る舞うか？
• RQ4 摂動データを変更した場合、得られるフロアコホモロジーはゲージ同値性の下で不変か？
• RQ5 弱マウラー＝カルタン方程式の解空間上のベクトルバンドルの複体のコホモロジーとして、フロアコホモロジーを記述できるか？

主な発見

• 安定化被覆を用いて構成されたフクヤ代数は、有限次元かつ厳密に単位的であり、標準的構成における無限次元性の問題を解決する。
• フクヤ代数のホモトピー型は摂動データの選択に依存せず、代数的構造の堅牢性を保証する。
• 弱マウラー＝カルタン方程式の解のモジュライ空間は、ホモトピー同値性の下で摂動データの選択に依存しない。
• フロアコホモロジーは、弱マウラー＝カルタン方程式の解空間上のベクトルバンドルの複体のコホモロジーとして実現される。
• フロアコホモロジーは摂動データの選択に依存せず、ゲージ同値性の下で不変であり、その本質的性質を確認する。
• この構成は、シンプレクティッククラスの有理数性および相対的にスピン構造に強く依存しており、有限性と定義可能性を保証する。