[論文レビュー] Quantum homology of compact convex symplectic manifolds

Sergei Lanzat|arXiv (Cornell University)|Feb 5, 2013

Geometric and Algebraic Topology参考文献 14被引用数 3

ひとこと要約

この論文は、凸（接触型）境界をもつ半正定的コンパクトなシンプレクティック多様体へ、グロモフ・ウィッテン理論および量子ホモロジーを拡張する。凸性と半正定性のもとで、擬全純球のモジュライ空間が良好に定義されることを確立し、$\mathbb{F} = \mathbb{Z}_2$ または $\mathbb{Q}$ 上の絶対的および相対的量子ホモロジー代数を構成し、これらの量子ホモロジー代数に対してポincare9-リーマンスキー双対性を証明する。

ABSTRACT

We study the space of pseudo-holomorphic spheres in compact symplectic manifolds with convex boundary. We show that the theory of Gromov-Witten invariants can be extended to the class of semi-positive manifolds with convex boundary. This leads to a deformation of intersection products on the absolute and relative singular homologies. As a result, absolute and relative quantum homology algebras are defined analogously to the case of closed symplectic manifolds. In addition, we prove the Poincaré-Lefschetz duality for the absolute and relative quantum homology algebras.

研究の動機と目的

• 閉シンプレクティック多様体から、凸（接触型）境界をもつコンパクトなシンプレクティック多様体へ、グロモフ・ウィッテン不変量および量子ホモロジーの理論を拡張すること。
• 半正定的コンパクトな凸シンプレクティック多様体に対して、絶対的および相対的量子ホモロジー代数を定義すること。
• これらの量子ホモロジー代数に対して、ポincare9-リーマンスキー双対性を確立すること。
• シンプレクティックトポロジーに適合する境界条件をもつ非閉シンプレクティック多様体における量子ホモロジーのフレームワークを提供すること。

提案手法

• 境界の凸性を用いて、境界に正規するリークヴィルベクトル場の存在を保証し、擬全純曲線の制御を可能にする。
• 半正定性条件を適用して、擬全純球のモジュライ空間が一般に滑らかで向き付け可能な多様体であることを保証する。
• ノビコフ環を係数とするグロモフ・ウィッテン不変量を用いた、特異ホモロジーの交差積の変形によって、量子ホモロジー代数を構成する。
• ノビコフ環 $\Lambda$ と量子積構造を用いて、絶対的量子ホモロジー $QH_*(M)$ および相対的量子ホモロジー $QH_*(M,\partial M)$ を定義する。
• 量子積における無限和の収束を保証するため、ノビコフ環および量子ホモロジーに値関数構造を導入する。
• 量子ペアリング $\Delta_2$ と $\Pi_2$ が非退化であることを示すことにより、ポincare9-リーマンスキー双対性を証明する。古典的双対性を量子設定に一般化する。

実験結果

リサーチクエスチョン

• RQ1 半正定的コンパクトなシンプレクティック多様体に凸境界が存在する場合、グロモフ・ウィッテン不変量を一貫して定義できるか？
• RQ2 接触型構造をもつ境界をもつ状況において、量子ホモロジー代数はどのように構成できるか？
• RQ3 凸シンプレクティック多様体の相対的および絶対的設定において、量子ホモロジーに対してポincare9-リーマンスキー双対性が成り立つか？
• RQ4 ノビコフ環および値関数構造は、量子積の定義可能性を保証するために果たす役割は何か？
• RQ5 特定の例、例えば 4-球の原点におけるシンプレクティックブローモーと余接ディスクバンドルのブローモーにおいて、量子積はどのように振る舞うか？

主な発見

• 半正定的コンパクトな凸シンプレクティック多様体における擬全純球のモジュライ空間は、一般に滑らかで向き付け可能であり、コンパクトであるため、グロモフ・ウィッテン不変量を定義可能である。
• 絶対的および相対的量子ホモロジー代数 $QH_*(M)$ および $QH_*(M,\partial M)$ は、$\mathbb{F} = \mathbb{Z}_2$ または $\mathbb{Q}$ 上で良好に定義され、量子積は古典的交差積を変形する。
• 量子ペアリング $\Delta_2$ と $\Pi_2$ は非退化であるため、量子ホモロジー代数に対してポincare9-リーマンスキー双対性が成り立つ。
• 原点における 4-球のシンプレクティックブローモー（サイズ $\delta$）において、量子積は $E \ast_1 E = -[pt] + E \otimes s^{-\delta} q^{-2}$ を満たし、非自明な量子補正が生じることを示す。
• genus $g$ の曲面上の余接ディスクバンドルのブローモーにおいて、$[\Sigma] \ast_1 [\Sigma] = (2-2g)[pt]$ および $E \ast_2 E^\vee = [pt] - E \otimes s^{-\delta} q^{-2}$ が成り立ち、例外的球からの量子補正が顕在する。
• 相対的量子ホモロジー代数 $QH_*(M,\partial M)$ の単位元は $[M,\partial M]$ であり、任意の $z$ に対して $[M,\partial M] \ast_3 z = z$ を満たすため、相対的量子ホモロジー代数のユニタル構造が確認される。