[論文レビュー] Virtual Neighborhood Technique for Holomorphic Curve Moduli Spaces

An-Min Li, Sheng Li|arXiv (Cornell University)|Oct 29, 2017

Geometric and Algebraic Topology参考文献 33被引用数 4

ひとこと要約

本稿では、RuanとLi-Ruanの枠組みに基づく仮想近傍技術を導入し、一般のシンプレクティック多様体に対するGromov-Witten不変量を、仮想近傍の最高次元部分にわたる積分によって定義する。低次元部分に起因する複雑さを回避する。著者らは、局所的正則化手続きと指数的減衰制御を施したグローバルバンドル構成を用いて、これらの不変量がKontsevich-Manin公理すべて（WDVV方程式および分割公理を含む）を満たすことを証明する。

ABSTRACT

In this paper we use the approach of Ruan and Li-Ruan to construct virtual neighborhoods and show that the Gromov-Witten invariants can be defined as an integral over top strata of virtual neighborhood. We prove that the invariants defined in this way satisfy all the Gromov-Witten axioms of Kontsevich and Manin.

研究の動機と目的

• 一般のシンプレクティック多様体に対して、半正則条件を課さずにGromov-Witten不変量を定義すること。
• 正則的曲線のモジュライ空間における低次元部分に起因する技術的困難を解決すること。
• 最高次元部分が積分を通じて不変量を支えるような仮想近傍を構成すること。
• 得られた不変量がGromov-Witten公理すべて（WDVVおよび分割を含む）を満たすことの証明。
• 有限ランクのオビバンデルと制御された減衰を示すバンドル写像を用いたグローバル正則化の確立。

提案手法

• 局所的正則化として、$G_{b_o}$-不変部分空間 $\widetilde{K}_{b_o}$ を用いた厚化されたFredholm系を構成し、$\mathbf{A}$ 上の $Diff^+(\Sigma)$-不変距離を用いる。
• バンドル写像 $\mathcal{S}: \mathbf{F} \to \mathcal{E}$ とその線形化 $D\mathcal{S}$ が全射であることを用いて、グローバル仮想近傍 $\mathbf{U} = \mathcal{S}^{-1}(0) \subset \mathcal{U}$ を定義する。
• $\overline{\mathcal{M}}_{g,n}(A)$ の有限開被覆 $\{\mathbf{O}_{[b_i]}(\delta_i, \rho_i)\}$ を用い、整合性のある群作用と遷移データを持つ。
• $\mathcal{U}$ 上に有限ランクのオビバンデル $\mathbf{F}$ を構成し、$\widetilde{\mathbf{F}}|_{b_i}$ が $\mathbb{R}[G_{b_i}]$ を含むようにし、Siebertの構成を模倣する。
• Thom形式 $\Phi_c$ と指数的減衰推定を用いて、$\mathbf{U}^T_c$ 上の積分を $\mathbf{U}^T_{1c} \times \mathbf{U}^T_{2c}$ 上の積分の積に還元し、分割公理の証明を可能にする。
• ストークスの定理と $\Phi - \Delta^* = d\sigma$ を満たす形式 $\sigma$ を用い、積分をPoincaré双対性と交差数に結びつける。

実験結果

リサーチクエスチョン

• RQ1 モジュライ空間の低次元部分を回避することで、半正則条件を課さずにGromov-Witten不変量を定義できるか？
• RQ2 RuanとLi-Ruanの手法に基づく仮想近傍構成が、Kontsevich-Manin公理すべてを満たす不変量を生み出せるか？
• RQ3 低次元部分に近い場所での微分形式の指数的減衰を、最高次元部分への積分による不変量定義にどう活用できるか？
• RQ4 有限ランクのオビバンデルと制御された全射性を持つバンドル写像を用いたグローバル正則化は可能か？
• RQ5 仮想近傍の文脈において、Thom形式とPoincaré双対性を用いて分割公理を証明できるか？

主な発見

• 仮想近傍の最高次元部分への積分によって定義されたGromov-Witten不変量は、すべてのKontsevich-Manin公理を満たす。
• 低次元部分に近い場所での形式の指数的減衰のおかげで、モジュライ空間に低次元部分が存在しても不変量は適切に定義される。
• 分割公理は符号因子 $\epsilon(K,\alpha) = (-1)^{\deg(K_2)\sum_{i=1}^{n_1} \deg(\alpha_i)}$ およびPoincaré双対 $\Delta^* = \sum_{a,b} \eta^{ab} \beta_a \otimes \beta_b$ を伴って成立する。
• WDVV方程式は、公理的枠組みと仮想近傍構成の整合性のおかげで成立する。
• バンドル写像 $\mathcal{S}: \mathbf{F} \to \mathcal{E}$ とその微分 $D\mathcal{S}$ が全射であることで、グローバル正則化が達成され、ゼロ集合が適切に定義される。
• 重なり合う局所チャート間のグルーピングと遷移データと整合的であり、グローバルな一貫性が保証される。