[論文レビュー] The Lagrangian Cubic Equation

Paul Biran, Cedric Membrez|arXiv (Cornell University)|Jun 23, 2014

Geometric and Algebraic Topology参考文献 35被引用数 1

ひとこと要約

本稿は、単調なシンプレクティック多様体の量子ホモロジー環において、ラグランジュ球面のホモロジー類を含む普遍的な立方関係を確立し、そのクラスの量子積が次元およびチャーン数に依存する特定の立方方程式を満たすことを証明する。主な結果は、クラスの自身との量子積を支配するラグランジュ立方方程式であり、これはグロモフ＝ウィンターインバリアントとフロイド理論的インバリアントを結びつける。この結果は、デーン変形および単調な場合の数え上げ幾何学への応用をもたらす。

ABSTRACT

Let $M$ be a closed symplectic manifold and $L \subset M$ a Lagrangian submanifold. Denote by $[L]$ the homology class induced by $L$ viewed as a class in the quantum homology of $M$. The present paper is concerned with properties and identities involving the class $[L]$ in the quantum homology ring. We also study the relations between these identities and invariants of $L$ coming from Lagrangian Floer theory. We pay special attention to the case when $L$ is a Lagrangian sphere.

研究の動機と目的

• 単調なシンプレクティック多様体におけるラグランジュ球面の量子ホモロジー類が満たす普遍的な立方方程式を確立すること。
• ラグランジュ部分多様体の量子ホモロジー、ラグランジュフロイドホモロジー、およびグロモフ＝ウィンターインバリアントの間の相互作用を調査すること。
• 特に最小マスロフ数が次元を割り切る場合に、ラグランジュ球面の量子ホモロジー環の構造を特徴づけること。
• フロイド理論的および数え上げ的幾何的技法を用いて、立方関係における係数 γS の計算フレームワークを提供すること。

提案手法

• ラグランジュフロイドホモロジーを用いて、ラグランジュ球面 S のホモロジー類 [S] の量子積に対する立方関係を導出すること。
• 次数 |q| = −2 を持つ量子ホモロジー環 QH(M; Z[q]) 上での量子積 ∗ の適用。
• 次元 n および最小チャーン数 CM に関する条件の下で、立方方程式 [S]∗3 = γS[S]qn の計算。
• S に沿ったデーン変形を用いて、偶数次元球面の場合に σL = 0 が成り立つことを示し、立方方程式を簡略化すること。
• パール複体からのスペクトル系列を用いて、特に Q-ホモロジー球面に対してラグランジュ部分多様体の量子ホモロジーを計算すること。
• 係数 σL を、⟨c1, A⟩ = n/2 を満たすクラス A における種数 0 グロモフ＝ウィンターインバリアントの和として表現すること。

実験結果

リサーチクエスチョン

• RQ1 単調なシンプレクティック多様体の量子ホモロジー環において、ラグランジュ球面の量子ホモロジー類 [S] が満たす普遍的な立方関係は何か？
• RQ2 立方関係 [S]∗3 = γS[S]qn における係数 γS は次元 n および最小チャーン数 CM にどのように依存するか？
• RQ3 どのような場合に立方方程式が二次式に簡略化されたり、恒等的に 0 になるとみられるのか。その背後にある位相的または幾何的条件は何か？
• RQ4 一般化されたラグランジュ立方方程式における係数 σL は、グロモフ＝ウィンターインバリアントを用いてどのように表現できるか？
• RQ5 デーン変形はどのようにして σL = 0 を強制し、これは量子積の対称性とどのように関係するか？

主な発見

• 奇数次元のラグランジュ球面 S に対して、量子積は [S]∗[S] = 0 を満たし、これは量子ホモロジー環における二次的消滅を示している。
• 偶数次元の S に対して、CM が n を割り切る場合、[S]∗3 = γS[S]qn が成り立ち、γS ∈ Z であり、2CM が n を割り切らない場合には γS は 4 で割り切れる。
• CM が n を割り切らない場合、立方関係は消える：[S]∗3 = 0。
• 一般化されたラグランジュ立方方程式における係数 σL は、⟨c1, A⟩ = n/2 を満たすクラス A における種数 0 グロモフ＝ウィンターインバリアントの和として表現可能である。
• χ = 2 かつ 2CM|n を満たすラグランジュ球面に対して、デーン変形の対称性により σL = 0 が成り立ち、立方方程式は [S]∗3 = χ²τL[S]qn に簡略化され、τL ∈ 1/4Z である。
• 偶数次元のラグランジュ Q-ホモロジー球面に対して、NL ∤ n+1 または [L] ≠ 0 ならば、量子ホモロジー QH∗(L; ΛQ) は H∗(L; Q)⊗ΛQ に同型であるが、そうでない場合には、マスロフ指数 n+1 のディスクの個数に応じて、0 に消えるか、同型である可能性がある。