[論文レビュー] Steenrod Pseudocycles, Lifted Cobordisms, and Solomon's Relations for Welschinger's Invariants

Xujia Chen|arXiv (Cornell University)|Sep 24, 2018

Geometric and Algebraic Topology参考文献 19被引用数 11

ひとこと要約

本稿は、実シンプレクティック4次元多様体のWelschinger不変量に対する2つのWDVV形式の関係を、安定な実曲線のモジュライ空間から実J-ホロモルフィック写像のモジュライ空間へホモロジー関係をステーヌロド擬サイクルと持ち上げられたコボルディズムを用いて上昇させることにより確立する。このアプローチは非可換なモジュライ空間における可換性の問題を解決し、符号を修正したSolomonの予想された再帰関係を確認し、非可換空間を横断する関係の持ち上げにための位相的枠組みを提供する。

ABSTRACT

We establish two WDVV-style relations for the disk invariants of real symplectic fourfolds by implementing Georgieva's suggestion to lift homology relations from the Deligne-Mumford moduli spaces of stable real curves. This is accomplished by lifting judiciously chosen cobordisms realizing these relations. The resulting lifted relations lead to the recursions for Welschinger's invariants announced by Solomon in~2007 and have the same structure as his WDVV-style relations, but differ by signs from the latter. Our topological approach provides a general framework for lifting relations via morphisms between not necessarily orientable spaces.

研究の動機と目的

• 安定な実曲線のモジュライ空間から非可換な実J-ホロモルフィック写像のモジュライ空間へのホモロジー関係を上昇させる際の概念的・技術的課題を解決すること。
• Georgievaの提案に従い、コボルディズムによる関係の上昇を実装し、Solomonが予想したWelschinger不変量のWDVV形式再帰関係を回復すること。
• 特に実Gromov-Witten理論の文脈において、必ずしも可換でない空間間の写像を通じて関係を上昇させる一般化された位相的枠組みを構築すること。
• Welschingerの曲線数とSolomonの写像数を、バンドルと交差理論を用いた符号修正再帰関係によって一致させること。

提案手法

• 適切に選ばれた境界鎖 $\Upsilon$ を用いて、$\mathbb{R}\overline{\mathcal{M}}_{0,1,2}$ および $\mathbb{R}\overline{\mathcal{M}}_{0,0,3}$ からの0次元および1次元ホモロジー関係を、境界付きモジュライ空間 $\widehat{\mathfrak{M}}_{k,l;l^*}(B;J)$ へ上昇させる。
• ステーヌロド擬サイクルを用いて、符号付きのマーク付き写像としてディスク数を再解釈し、非可換な設定でも交差理論を可能にする。
• 相対的向き、交差符号、ウォールクロッシング公式などの位相的道具を適用し、上昇された関係を不変量の数え上げに翻訳する。
• 忘却写像 $\mathfrak{f}_{1,2}$ および $\mathfrak{f}_{0,3}$ の相対的可換性を妨げる超曲面に沿って $\overline{\mathfrak{M}}_{k,l}(B;J)$ を切断することで、境界付きモジュライ空間の構成を実施する。
• ウォールクロッシング効果を $\partial\widehat{\mathfrak{M}}_{k,l;l^*}(B;J)$ と $\Upsilon$ の交差として表現するための重要な位相的補題（補題3.5）を用いることで、正確な補正項を可能にする。
• 線形化された $\overline{\partial}$-作用素の分解公式と向きデータを組み合わせ、複素および実不変量を用いて符号付き写像数を計算する。

実験結果

リサーチクエスチョン

• RQ1 実J-ホロモルフィック写像のモジュライ空間が可換でない場合、Welschinger不変量のWDVV型関係はどのように導出可能か？
• RQ2 実シンプレクティック設定におけるSolomonの予想されたWDVV形式再帰関係の正しい符号構造は何か？
• RQ3 安定な実曲線のモジュライ空間からのホモロジー関係は、トポロジカルな整合性を保ったまま、実写像のモジュライ空間へ上昇可能か？
• RQ4 忘却写像における相対的可換性の障害は、一貫したコボルディズムの上昇を可能にするためにどのように解消できるか？
• RQ5 ステーヌロド擬サイクルと符号付きマーク付き写像は、非可換なモジュライ空間における不変量の定式化において果たす役割は何か？

主な発見

• 本稿は、Solomonが予想したWelschinger不変量のWDVV形式関係を確認し、非可換性に起因する特定の符号補正により、複素ケースとは異なることを示している。
• 2つの新しいWDVV型再帰関係が確立された：1つは $\mathbb{R}\overline{\mathcal{M}}_{0,1,2}$ 関係から、もう1つは $\mathbb{R}\overline{\mathcal{M}}_{0,0,3}$ 関係から、両者ともウォールクロッシング補正を含む。
• 符号を修正した関係は、ステーヌロド擬サイクルとコボルディズムを用いた新規な上昇手続きにより導出され、元々の証明概要における長年の技術的ギャップを解消した。
• この枠組みは、非可換空間間の写像を通じてホモロジー関係を上昇させる一般化された方法を提供し、複素Gromov-Witten理論の技術を拡張する。
• 符号付き数え上げには、積 $\prod_{i\in L_0^*} h_i \cdot_X B_{\mathbb{C}}$ と複素不変量 $N_B^{\phi;\mathfrak{p}}$ が含まれ、正確な再帰項をもたらす。
• 最終的な再帰式 (5.20) は、モジュライ空間の分解と、$B_{\mathbb{R}} = 0$ および $B_{\mathbb{R}} \neq 0$ の場合の寄与項の計算（向きデータと交差理論を用いて）により検証された。