[論文レビュー] Fixed-point Localization for $\mathbb{RP}^{2m} \subset \mathbb{CP}^{2m}$

Amitai Netser Zernik|arXiv (Cornell University)|Mar 8, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用数 4

ひとこと要約

本稿は、複素射影空間 $\mathbb{CP}^{2m}$ 内の実射影空間 $\mathbb{RP}^{2m}$ の等変開 Gromov-Witten 不変量に対して、境界寄与を補助空間を用いて相殺する独創的な統合技法を用いて、固定点局在公式を構築する。主な結果は、これらの不変量が Givental 相関関数と降下的ディスク積分で表されることを示し、実有理曲線の平面における実点および共役対点制約を持つ Welschinger 不変量の新たな公式を導出する。

ABSTRACT

We derive a fixed-point formula for integrals on moduli spaces of stable maps to projective spaces of even dimension. This gives a formula for the equivariant open Gromov-Witten invariants of (RP^{2m},CP^{2m}) and the structure constants of the equivariant Fukaya A-infinity algebra of RP^2m in CP^{2m} with bulk deformations. The formula involves contributions from Givental's correlators for the closed theory and the descendent integrals of discs, and specializes to give a new expression for the Welschinger count of real rational curves in the plane passing through some real and conjugation invariant pairs of points.

研究の動機と目的

• 安定なディスクのモジュライ空間における境界寄与が存在する状況下で、等変開 Gromov-Witten 不変量の固定点局在技法を開発すること。
• ナチュラルな局在法が開 Gromov-Witten 理論で失敗するのを補うために、境界項を相殺する補助空間を導入すること。
• バッチおよび等変パラメータを含む、等変 $A_\infty$-代数 $\mathrm{End}_{\mathrm{Fuk}^T(\mathbb{CP}^{2m})}(\mathbb{RP}^{2m})$ の構造定数を計算すること。
• 実射影平面における実有理曲線の Welschinger 不変量を、新しい局在公式を通じて開 Gromov-Witten 不変量から再構成すること。

提案手法

• r本の辺を持つ木構造のディスク配置をパラメータ化する空間の塔 $\widetilde{M}_r^b \to M_r^b \to \widehat{M}_r^b$ を用いて、安定ディスクのモジュライ空間を解体する。
• これらの空間上で、等変コhomology と Cartan-Weil 微分 $D = d - \sum \lambda_j \iota_{\xi_j}$ を用いて拡張された形式を定義する。
• 対角的ブロー・アップ $\widetilde{L} \times L$ を通じたホモトピー再帰着法を導入し、統合写像 $\int_b \omega = \sum_{r \geq 0} \frac{1}{r!} \int_{\widetilde{M}_r^b} \widetilde{\omega}_r \cdot \Lambda^{\boxtimes r}$ を定義する。
• 勾配降下法と特異的固定点公式を用いて、非横断的固定点寄与を処理し、チューブラー近傍とブロー・アップを用いて局在化を正則化する。
• ホモロジー的摂動補題を適用して、境界項を相殺する補助空間を構成し、非自明な境界寄与があるにもかかわらず局在化を可能にする。
• 固定点成分 $\widehat{F}_\varphi$ と重み $\xi_\varphi / \mathrm{Aut}\, \varphi$、等変エULER類 $e(\widehat{N}_\varphi)$ を用いた固定点公式 $\int_b \omega = \sum_{\varphi \in W} \frac{\xi_\varphi}{\mathrm{Aut}\, \varphi} \int_{\widehat{F}_\varphi} \widehat{\omega}_\varphi / e(\widehat{N}_\varphi)$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 境界寄与が消えない状況下で、固定点局在法を開 Gromov-Witten 理論にどのように拡張できるか。
• RQ2 バッチおよび等変パラメータを含む、等変 $A_\infty$-代数 $\mathrm{End}_{\mathrm{Fuk}^T(\mathbb{CP}^{2m})}(\mathbb{RP}^{2m})$ の正確な構造は何か。
• RQ3 実射影平面における実有理曲線の Welschinger 不変量が、新しい局在公式を通じて開 Gromov-Witten 不変量から回復可能か。
• RQ4 境界項を相殺するための補助空間をどのように構成できるか。また、それらの幾何学的およびホモロジー的役割は何か。
• RQ5 等変エULER類および固定点寄与は、開不変量の局在公式において果たす役割は何か。

主な発見

• 本稿は、$\mathbb{RP}^{2m} \subset \mathbb{CP}^{2m}$ の等変開 Gromov-Witten 不変量に対する固定点局在公式を確立し、重み $\xi_\varphi / \mathrm{Aut}\, \varphi$ と等変エULER類 $e(\widehat{N}_\varphi)$ を持つ固定点成分 $\widehat{F}_\varphi$ の和として表現する。
• この公式は、バッチおよび等変パラメータを含む、等変 $A_\infty$-代数 $\mathrm{End}_{\mathrm{Fuk}^T(\mathbb{CP}^{2m})}(\mathbb{RP}^{2m})$ の剛性最小モデルの構造定数を計算する。
• ホモロジー的摂動法による補助空間の導入により、非自明な境界寄与を効果的に処理し、ナチュラルな方法では失敗する状況でも局在化を可能にする。
• $m=1$ の場合、公式は Solomon の不変量を回復し、それらが Welschinger 不変量の2倍であることを示す：$W_{k,l} = \frac{1}{2} I_1(k, (0,0,l), \frac{k+2l+1}{3})$ であり、Welschinger 数え上げの新たな表現を提供する。
• 統合写像はストークスの定理 $\int_b D\omega = 0$ を満たし、Cartan-Weil 微分下での拡張形式複体の整合性が保証される。
• この構成はトーラス作用と整合し、$T$-等変チューブラー近傍を許容するため、幾何学的安定性が保証される。