[論文レビュー] Maslov 0 nearby Lagrangians are homotopy equivalent

Mohammed Abouzaid|arXiv (Cornell University)|May 3, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用数 2

ひとこと要約

この論文は、余接 bundle 内の閉じた正確なラグランジュ部分多様体で、マスロフ類が自明であるものの、すべてがゼロ切断とホモトピー同値であることを証明する。高ランクの局所系を含むように Fukaya 圏を拡張し、被覆に基づく Fukaya 圏を用いることで、このようなラグランジュ部分多様体の普遍被覆が自明であることが示され、一般の設定下でのホモトピー同値性の結果が得られる。

ABSTRACT

We prove that the inclusion of every closed exact Lagrangian with vanishing Maslov class in a cotangent bundle is a homotopy equivalence. We start by adapting an idea of Fukaya-Seidel-Smith to prove that such a Lagrangian is equivalent to the zero section in the Fukaya category with integral coefficients. We then study an extension of the Fukaya category in which Lagrangians equipped with local systems of arbitrary dimension are admitted as objects, and prove that this extension is generated, in the appropriate sense, by local systems over a cotangent fibre. Whenever the cotangent bundle is simply connected, this generation statement implies that the universal covering of every closed exact Lagrangian of vanishing Maslov index is trivial. Finally, we borrow ideas from coarse geometry to develop a Fukaya category associated to the universal cover, allowing us to prove the result in the general case.

研究の動機と目的

• 余接 bundle 内のマスロフ類が消える閉じた正確なラグランジュ部分多様体がゼロ切断とホモトピー同値であることを確立すること。
• 任意の有限ランクの局所系を備えたラグランジュ部分多様体を対象として含むように Fukaya 圏を拡張すること。
• 余接 bundle が単連結である場合に、この拡張された圏が余接ファイバー上に台を持つ局所系によって生成されることを証明すること。
• 非単連結な場合に対処するための被覆に基づく Fukaya 圏を構築すること。
• このようなラグランジュ部分多様体の普遍被覆が自明であることを確立し、主なホモトピー同値性の結果に至ること。

提案手法

• Fukaya–Seidel–Smith の議論を適応し、マスロフ類が自明な閉じた正確なラグランジュ部分多様体が、整数係数 Fukaya 圏においてゼロ切断と擬同型であることを示す。
• 任意の有限ランクの局所系を備えたラグランジュ部分多様体を対象として含む拡張された Fukaya 圏を構成する。
• 余接 bundle が単連結であるという仮定の下で、この拡張された圏が単一の余接ファイバー上に台を持つ局所系によって生成されることを証明する。
• 生成性の結果を用いて、余接 bundle が単連結である場合に、このようなラグランジュ部分多様体の普遍被覆が自明であることを導く。
• 環境多様体の普遍被覆に関連する新しい Fukaya 圏を定義し、単連結でない場合への結果の拡張を図る。
• 粗い幾何学的手法を用いて、普遍被覆内でのラグランジュ部分多様体の振る舞いを制御し、一般の場合の証明を可能にする。

実験結果

リサーチクエスチョン

• RQ1 余接 bundle 内のマスロフ類が自明な閉じた正確なラグランジュ部分多様体は、すべてゼロ切断とホモトピー同値であるか？
• RQ2 Fukaya 圏を高ランクの局所系を含む形に拡張することは可能か？ その際、生成性の性質が保たれるか？
• RQ3 環境の余接 bundle が単連結である場合、マスロフ類が自明な閉じた正確なラグランジュ部分多様体の普遍被覆は自明になるか？
• RQ4 非単連結な場合に対処するため、シンプレクティック多様体の普遍被覆に関連する Fukaya 圏をどのように定義できるか？
• RQ5 余接ファイバー上の局所系は、拡張された Fukaya 圏の生成にどのような役割を果たすか？

主な発見

• 余接 bundle 内のマスロフ類が自明な閉じた正確なラグランジュ部分多様体は、すべてゼロ切断とホモトピー同値である。
• 単連結な余接 bundle の場合、高ランクの局所系を含む拡張された Fukaya 圏は、単一の余接ファイバー上に台を持つ局所系によって生成される。
• 単連結な場合、このようなラグランジュ部分多様体の普遍被覆は自明である。
• 被覆に基づく Fukaya 圏の構成により、ホモトピー同値性の結果を単連結でない余接 bundle に対しても拡張できる。
• 粗い幾何学的手法の使用により、普遍被覆のシンプレクティック位相的性質を制御でき、一般証明が可能になる。