[論文レビュー] Quantum Structures for Lagrangian Submanifolds

Paul Biran, Octav Cornea|ArXiv.org|Aug 30, 2007

Geometric and Algebraic Topology参考文献 45被引用数 115

ひとこと要約

本稿では、最小マスロフ指数が2以上の単調ラグランジュ部分多様体に対して、J-正則なディスクと勾配流れ線から構成されるピアル複体を用いて、量子ホモロジー理論を導入する。量子積と加群構造がシンプレクティック同倫不変であることを確立し、2を法とするディスク寄与の組み合わせ的数え上げにより不変性を証明する。

ABSTRACT

We discuss various algebraic quantum structures associated to monotone Lagrangian submanifolds and we present a number of applications, computations and examples.

研究の動機と目的

• 最小マスロフ指数 ≥2 である単調ラグランジュ部分多様体に対して、堅牢で不変な量子ホモロジー理論を構築すること。
• シンプレクティック同倫不変性を示すために、ピアル複体上の量子積および加群構造を定義し、その不変性を証明すること。
• 直接的なJ-正則ディスクの数え上げが不変でないという問題を克服し、組み合わせ的構造に基づくホモロジー理論を構築すること。
• ピアル複体とフローリングホモロジーの関係を確立し、スペクトル系列や双対性といった代数的構造を同定すること。
• 複素射影空間、二次曲面、完全交差などの具体例における明示的計算と応用を提供すること。

提案手法

• マスロフ指数2のJ-正則ディスクと擬勾配軌道を用いてピアル複体を構成する。
• 境界上の交点ペアの指定された順序付けを用いて、2を法とする係数を用いて、量子積を定義する。
• 擬正則曲線のグルーリング理論を用いて、微分が d² = 0 を満たし、量子積の結合的性質を証明する。
• ほぼ複素構造の摂動と重み付きソボレフノルムを用いた横断性の議論により、フレドホルム性を保証する。
• グルーリング構成における∂̄-方程式を解くために、近似右逆元を用いた陰関数定理の技法を用いる。
• スペクトル系列と摂動技法を用いて、ハミルトニアンおよびシンプレクティック同倫不変性の下での量子加群および代数的構造の不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 直接的なJ-正則ディスクの数え上げが不変でないにもかかわらず、シンプレクティック同倫不変である量子ホモロジー理論を、単調ラグランジュ部分多様体に対して構築できるか？
• RQ2 ピアル複体から自然に生じる代数的構造—例えば量子積、加群作用、双対性—は何か？
• RQ3 量子構造はフローリングホモロジーとどのように関係し、それらから何を不変量として抽出できるか？
• RQ4 ラグランジュトーリやその他の具体例（例えばクリフォードトーラスや実射影空間）における量子積の明示的公式は何か？
• RQ5 量子構造は、特定のシンプレクティック多様体内のラグランジュ部分多様体にどのような位相的・幾何的制約を課えるか？

主な発見

• ピアル複体は、J-正則ディスクと勾配流れ線から構成される、Z/2Z係数のwell-definedなチェーン複体であり、d² = 0 を満たす。
• ピアル複体のホモロジー上の量子積は、シンプレクティック同倫不変であり、結合的および単位的である。
• マスロフ指数2のJ-正則ディスク u に対して、[u(∂D)] = ka + lb であるとき、量子積係数 α への寄与は ν(k,l) × l(l+1)/2 mod 2 である。
• 係数 β は、ペアになった交点に対して対称的な寄与を用いて同様に計算される。
• 量子積における γ′ + γ″ は、∑ν(k,l) × lk mod 2 で与えられ、交点の対称的ペアリングを反映している。
• 量子加群構造はハミルトニアン摂動のもとで保存され、コンパクトネスの議論により構造のwell-defined性が保証される。