[論文レビュー] Nearby Lagrangians with vanishing Maslov class are homotopy equivalent

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

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 4

ひとこと要約

この論文は、余接 bundle 内の閉じた正確なラグランジュ部分多様体で、Maslov 級数が消えるものについて、それがゼロ切断とホモトピー同値であることを証明する。局所系を含む拡張された Fukaya 圈と、粗い幾何学および $A_\infty$-代数論の技術を用いて、著者は、このようなラグランジュ部分多様体が単連結であり、基本群に同型写像を誘導することを確立する。その結果、$\field{F}_2$ 上でホモトピー同値が得られ、一般の場合には被覆空間の議論によって拡張される。

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 内で Maslov 級数が消える閉じた正確なラグランジュ部分多様体がゼロ切断とホモトピー同値であることを確立すること。
• Fukaya 圈を、$\field{F}_2$ 上の任意の次元の局所系を備えたラグランジュ部分多様体を含むように拡張すること。
• 生成ラグランジュ部分多様体上の自明な局所系が、この拡張された圏を分裂生成することを証明すること。
• 基本多様体が単連結であるとき、そのようなラグランジュ部分多様体が単連結であることの証明。
• 方向性被覆と基本群の議論を用いて、非可縮方向多様体の場合に一般化すること。

提案手法

• Fukaya–Seidel–Smith の議論を適応し、Maslov 級数が消えるラグランジュ部分多様体が、$\field{F}_2$ 系数の Fukaya 圈においてゼロ切断と擬似同型であることを示す。
• 有限次元の $\field{F}_2$ 上の局所系を備えたラグランジュ部分多様体を含む拡張された Fukaya 圈 $\ncal{S}(M)$ を構成する。
• $A_\infty$-加群論を用いて、対角を解消するラグランジュ部分多様体上の自明な局所系が $\ncal{S}(M)$ を分裂生成することを示す。
• 被覆空間の議論を適用する：基本多様体の方向性被覆に移行し、向き付け可能な場合に還元する。
• スペクトル系列と $p$-adic 濃度を用いて、$\field{Z}$ 上の Floer コホモロジーのランクが 1 であることを示し、ラグランジュ部分多様体がゼロ切断と擬似同型であることを示す。
• Steenrod 平方作用素と $\field{F}_2$ 上の Wu 公式を用いて、ラグランジュ部分多様体が相対的にスピン的であることを導出し、技術的障害を除去する。

実験結果

リサーチクエスチョン

• RQ1 余接 bundle 内で Maslov 級数が消える閉じた正確なラグランジュ部分多様体は、基本群に同型写像を誘導するか？
• RQ2 Fukaya 圈を任意の次元の局所系を含むように拡張できるか？また、その拡張は分裂生成対象を有するか？
• RQ3 基本多様体が単連結であるとき、そのようなラグランジュ部分多様体は単連結か？
• RQ4 非可縮方向多様体の場合、そのようなラグランジュ部分多様体のホモトピー型はどのように特定できるか？
• RQ5 普遍被覆は、ホモトピー同値を捉える Fukaya 圈を構成する際に果たす役割は何か？

主な発見

• 閉じた正確なラグランジュ部分多様体が $T^*N$ 内で Maslov 級数が消えるとき、その包含写像は基本群に同型を誘導する。
• 拡張された Fukaya 圈 $\ncal{S}(M)$ は、対角を解消するラグランジュ部分多様体上の自明な局所系によって分裂生成される。
• 単連結な $N$ に対して、そのようなラグランジュ部分多様体は単連結であり、したがってその普遍被覆は収縮可能である。
• $\field{Z}$ 上の Floer コホモロジー $HW^*_{b}(T^*_nN, Q)$ はランク 1 の自由アーベル群である。これは、ラグランジュ部分多様体がゼロ切断と擬似同型であることを示唆する。
• $\field{F}_2$ 系数と Steenrod 操作を用いることで、ラグランジュ部分多様体が相対的にスピン的であることが導かれ、技術的障害が除去される。
• 方向性被覆を用いて非可縮方向多様体 $N$ に一般化され、すべてのケースで包含写像がホモトピー同値であることが証明される。