[論文レビュー] Equivariant Open Gromov-Witten Theory of $\mathbb{R}\mathbb{P}^{2m} \hookrightarrow \mathbb{C}\mathbb{P}^{2m}$

Amitai Netser Zernik|arXiv (Cornell University)|Sep 26, 2017

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

ひとこと要約

本稿は、球面的ブLOWアップと拡張された等長形式を用いた、安定なディスク写像のモジュライ空間の解消を介して、$\mathbb{R}\mathbb{P}^{2m} \hookrightarrow \mathbb{C}\mathbb{P}^{2m}$ のラグランジュ埋め込みに対する等長的オープン・グロモフ＝ウィトテン不変量を導入する。これらの形式に対してストークスの定理を確立し、解消空間上の積分として不変量を定義可能にし、$\mathbb{R}\mathbb{P}^{2m}$ の等長的コホモロジーの量子変形を符号化する。$m=1$ の非等長的極限ではウェルシュインター不変量に特異化される。この構成は、後続の研究におけるこれらの不変量の固定点公式の基盤をなす。

ABSTRACT

We define equivariant open Gromov-Witten invariants for $\mathbb{R}\mathbb{P}^{2m} \hookrightarrow \mathbb{C}\mathbb{P}^{2m}$ as sums of integrals of equivariant forms over resolution spaces, which are blowups of products of moduli spaces of stable disc-maps modeled on trees. These invariants encode the quantum deformation of the equivariant cohomology of $\mathbb{R}\mathbb{P}^{2m}$ by holomorphic discs in $\mathbb{C}\mathbb{P}^{2m}$ and, for $m=1$, specialize to give Welschinger's signed count of real rational planar curves in the non-equivariant limit.

研究の動機と目的

• 安定なディスク写像のモジュライ空間の解消を用いて、$(\mathbb{C}\mathbb{P}^{2m}, \mathbb{R}\mathbb{P}^{2m})$ のペアに対する等長的オープン・グロモフ＝ウィトテン不変量を定義すること。
• ストークスの定理を満たす拡張された等長形式の複体 $(\Omega_b, D)$ を構成し、積分によって不変量を定義可能にする。
• 複素解析的ディスクを用いた $\mathbb{R}\mathbb{P}^{2m}$ の等長的コホモロジーの量子変形を符号化するフレームワークを提供すること。
• 固定点公式によるこれらの不変量の計算の基盤を、[18] で発展させる。
• $m=1$ の場合に、ウェルシュインターの実有理型曲線の符号付き数え上げを等長的設定に拡張すること。

提案手法

• ラベル付き木でインデックス付けされた、安定なディスク写像のモジュライ空間の積の再帰的球面的ブLOWアップにより、解消空間 $\widetilde{M}_b^r$ を構成する。
• 閉じた多様体にトーラス作用があるかのように振る舞う、拡張された等長形式の複体 $(\Omega_b, D)$ を定義し、$\int_b D\omega = 0$ を満たす。
• 解消空間 $\widetilde{M}_b^r$ と、より少ない標識点を持つ安定写像のモジュライ空間を結ぶ忘却写像 $\operatorname{For}_b^r: \widetilde{M}_b^r \to \widehat{M}_b^r$ を用いる。
• $L \times L$ 内の対角部分多様体に沿った球面的ブLOWアップ構成を適用し、評価写像を含むカルテジアン・スクエアとして $\widetilde{M}_b^r$ を定義する。
• 一貫した積分を保証するため、安定なディスク写像のモジュライ空間に相対的向き系を導入する。
• ホモロジー的摂動補題を用いて、弱いバインディング・コホモロジーの構成における選択肢を削減し、積分的・$A^\infty$-代数的視点を結びつける。

実験結果

リサーチクエスチョン

• RQ1 境界の障害がモジュライ空間に存在するにもかかわらず、ラグランジュ $\mathbb{R}\mathbb{P}^{2m} \hookrightarrow \mathbb{C}\mathbb{P}^{2m}$ に対して、等長的オープン・グロモフ＝ウィトテン不変量を一貫して定義する方法は何か？
• RQ2 解消空間と球面的ブLOWアップが、オープン不変量のためのwell-definedな積分理論を構築する上で果たす役割は何か？
• RQ3 軌道的多様体に角を持つ場合とトーラス作用を伴う場合に、ストークスの定理をどのように定式化・適用し、不変性を保証できるか？
• RQ4 これらの不変量が、$\mathbb{R}\mathbb{P}^{2m}$ の等長的コホモロジーの量子変形をどのように符号化するか？
• RQ5 $m=1$ で等長パラメータをゼロに設定した非等長的極限において、不変量がウェルシュインターの実有理型平面曲線の符号付き数え上げにどのように特異化されるか？

主な発見

• 等長的オープン・グロモフ＝ウィトテン不変量は、解消空間 $\widetilde{M}_b^r$ 上での積分 $I(k,\vec{l},\beta) = \int_b \omega_{(k,\vec{l},\beta)}$ として定義され、$\omega_{(k,\vec{l},\beta)}$ は拡張された等長形式である。
• 拡張された形式の複体 $\Omega_b$ はストークスの定理を満たす：$\int_b D\omega = 0$ であり、不変量が選択に依存せずwell-definedであることを保証する。
• $m=1$ の場合、非等長的極限において、不変量は $\mathbb{R}\mathbb{P}^2$ 内の $k$ 個の点と $\mathbb{C}\mathbb{P}^2$ 内の $l$ 個の共役対称ペアを通る実有理型平面曲線の符号付き数え上げに特異化される。
• 解消空間 $\widetilde{M}_b^r$ は、ラベル付き木でインデックス付けされた、安定なディスク写像のモジュライ空間の積の繰り返し球面的ブLOWアップとして構成され、モジュライ空間の境界成分を解消する。
• この構成により、ソロモンとトゥカチンスキーの $A^\infty$-代数的視点と積分的・理論的視点の橋渡しを実現し、潜在的関数 $\Phi(w)$ が $\mathbb{R}\mathbb{P}^{2m}$ の等長的コホモロジーの量子変形を符号化する。
• 本研究で開発されたフレームワークは、[18] における固定点公式の基盤を提供し、不変量の計算を固定点集合の寄与に還元することで簡略化する。