[論文レビュー] The Lagrangian Floer-quantum-PSS package and canonical orientations in Floer theory

Frol Zapolsky|arXiv (Cornell University)|Jul 8, 2015

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

ひとこと要約

この論文は、相対的Pin構造の代わりに標準的向きを用いることで、ラグランジュFloer homologyと量子homologyの間のPSS同型を任意の係数へ拡張する。同型が量子積およびモジュール構造を保存することを証明し、弱化されたStiefel–Whitney条件を満たす非可換なラグランジュ部分多様体に対しても有効であり、正の符号を決定する完全なフレームワークを、決定的線束と擬補間理論によるホロモルフィック曲線の理論を通じて提供する。

ABSTRACT

The purpose of this paper is to extend the construction of the PSS-type isomorphism between the Floer homology and the quantum homology of a monotone Lagrangian submanifold $L$ of a symplectic manifold $M$, provided that the minimal Maslov number of $L$ is at least two, to arbitrary coefficients. We provide a proof, again over arbitrary coefficients, that this isomorphism respects the natural algebraic structures on both sides, such as the quantum product and the quantum module action. This isomorphism serves as the technical foundation for the construction of Lagrangian spectral invariants in a joint paper with Remi Leclercq (arXiv:1505:07430). Our constructions work when the second Stiefel--Whitney class of $L$ vanishes on the image of the boundary homomorphism $π_3(M,L) o π_2(L)$, a condition strictly weaker than being relatively Pin; in particular we do not require $L$ to be orientable. The constructions are done using canonical orientations, and require no further choices such as relative Pin-structures. Such structures do however play a significant role when endowing the various complexes and homologies with structures of modules over Novikov rings, and in calculations.

研究の動機と目的

• 通常のZ/2ZやZ係数にとどまらず、任意の係数環へ、ラグランジュFloer homologyと量子homologyの間のPSS同型を一般化すること。
• 同型が両側の量子積および量子モジュール作用構造を保存することを証明すること。
• 相対的Pin構造や可換性の仮定を排除し、決定的線束による標準的向きを用いることで、追加の選択肢を不要にする。
• 穴あきリーマン面におけるコーシー–リーマン作用素の補間理論を用いて、Floer理論における符号の完全な追跡フレームワークを提供すること。
• RP^n ⊂ CP^n やCP^2およびCP^1×CP^1におけるモノトーンなラグランジュトーラスといった主要な例について、明示的な量子複体を計算すること。

提案手法

• リーマン面の特異化に伴う決定的線束の補間性質を用いて、Fredholm作用素に対する標準的向きを構成する。
• b-滑らか写像と事前補間技術を適用し、モジュライ空間におけるノード点付近での擬補間曲線の挙動を制御する。
• b-滑らか写像に関連するコーシー–リーマン作用素を用いてFloer PDEを定義し、符号を制御した解空間を研究する。
• ノードを持つリーマン面を跨いでFloer PDEの解を補間するフレームワークを構築し、モジュライ空間全体にわたる向きの整合性を保証する。
• 評価写像の交点数を用いて、マスロフ指数2のディスクと関連した符号追跡機構を実装し、モジュライ空間の0次元部分複体を用いる。
• スペクトル系列と双対性構造を用いて、ハミルトニアンとラグランジュFloer homologyを関連させ、ねじれ係数付きの量子homologyを計算する。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュFloer homologyと量子homologyの間のPSS同型を、可換性や相対的Pin構造を仮定しない任意の係数環へ拡張することは可能か？
• RQ2 マスロフ指数2のディスクのバブルが発生する場合、特に任意の係数環上でも境界作用素の符号を一貫して追跡することは可能か？
• RQ3 PSS同型は両側のFloer homologyおよび量子homologyにおける量子積および量子モジュール作用構造を保存するか？
• RQ4 キャッピングが面積やホモロジー類ではなくホモトピー類によって区別される場合、標準的量子複体の構造はいかなるものか？
• RQ5 一般係数付きラグランジュFloer homologyの文脈において、標準的向きは一貫性のある向きとどのように比較されるか？

主な発見

• w2(L)がπ3(M,L) → π2(L)の像上で消えるという条件下で、任意の係数環上にPSS同型が構成可能であり、これはLが相対的Pinである必要があるという条件よりも弱い。
• 同型は量子積および量子モジュール作用構造を保存する。これは、PSS写像下でも代数的演算が整合的であることを確認する。
• 決定的線束による標準的向きを用いることで、相対的Pin構造などの追加の選択肢を排除した。
• RP^n ⊂ CP^n (n ≥ 2) に対して、境界作用素は∂q₀ = (−e^A + e^C)x + (e^B − e^C)y と計算され、クラスB, Cのディスクの交点数はそれぞれ−1, 1である。
• CP^2におけるチェカノフトーラスに対して、境界作用素は∂x = (−e^β + 2(e^{h−2β−α} + e^{h−2β} + e^{h−2β+α}))q₂ と与えられ、5つのマスロフ指数2のディスクからの寄与を反映する。
• CP^1×CP^1における異種トーラスに対して、境界作用素は∂x = (−e^β + e^{A−β} + e^{B−β} + e^{A−β−α} + e^{B−β+α})q₂ であり、∂q₀は5つの項のキャンセルを経て符号の一貫性が確認される。