[論文レビュー] Algebraic structures on the topology of moduli spaces of curves and maps

Y. P. Lee, Ravi Vakil|ArXiv.org|Sep 10, 2008

Algebraic Geometry and Number Theory参考文献 26被引用数 5

ひとこと要約

この論文は、曲線のモジュライ空間の位相に深いつながりを持つ代数的構造を確立し、Gromov–Witten理論、可積分系、およびタウトロジカル関係を統合する。Wittenのrスピン曲線に関する予想を証明する。高(genus)の不変量が、Giventalの形式的体系と普遍的なタウトロジカル関係を介して、genusゼロのデータによって決定されることを示し、Telemanの分類とFaber–Shadrin–Zvonkineの一意性定理を活用する。

ABSTRACT

We discuss selected topics on the topology of moduli spaces of curves and maps, emphasizing their relation with Gromov--Witten theory and integrable systems.

研究の動機と目的

• 曲線のモジュライ空間、Gromov–Witten不変量、可積分系を結ぶ代数的構造を説明すること。
• 異なる理論における高(genus)不変量を制御するタウトロジカル関係の役割を明確にすること。
• 普遍的関係を通じて、幾何的および公理的Gromov–Witten理論の同等性を確立すること。
• 再構成定理とGivental群作用の不変性を用いて、rスピン曲線に関するWittenの予想を証明すること。
• モジュライ空間コホロロジーにおける多項式性、Gorenstein予想、トポロジカル場理論の理解を統合すること。

提案手法

• Givental群の作用素を用いて、幾何的および公理的Gromov–Witten理論をGivental形式的体系で関連付ける。
• Cohomological 2次元トポロジカル場理論のTelemanの分類を適用し、高(genus)不変量がgenusゼロのデータによって決定されることを示す。
• Faber–Shadrin–Zvonkineの再構成定理を用いて、Wittenの相関関数をgenusゼロの相関関数に還元する。
• g-還元原理を用いて、ψおよびκ類の単項式を双対グラフ上のダブルヒューリッツサイクルの線形結合として表現する。
• Givental群作用の下でのタウトロジカル関係の不変性を応用し、タウトロジカル方程式の普遍性を証明する。
• ELSVA型公式と多項式的構造を用いて、ヒューリッツ数とモジュライ空間の交差数を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 KdV階層のような可積分系は、曲線のモジュライ空間におけるψ類の交差数の母関数をどのように支配するか？
• RQ2 M_gのコホロロジーにおけるタウトロジカル関係は、異なる理論におけるGromov–Witten不変量をどの程度制御できるか？
• RQ3 再構成定理とタウトロジカル環における普遍的関係を用いて、Wittenのrスピン曲線に関する予想を証明できるか？
• RQ4 Givental群作用は、幾何的および公理的Gromov–Witten理論を結ぶ際に果たす正確な役割は何か？
• RQ5 g-還元原理は、どのようにgenus-g相関関数をgenusゼロのデータに還元可能にするか？

主な発見

• Faber–Shadrin–Zvonkineの定理を用いて、高(genus)相関関数がgenusゼロデータから一意に再構成可能であることを示し、Wittenのrスピン曲線に関する予想を証明した。
• Wittenのrスピン不変量の母関数は、バーラソロ制約を満たし、可積分系を介して予想が確認された。
• 曲線のモジュライ空間におけるすべてのタウトロジカル関係は普遍的であり、すべての公理的Gromov–Witten理論に成立する。これはGivental群作用の不変性によって検証された。
• ダブルヒューリッツサイクルはタウトロジカル環を生成し、それらのρによる押し出しは、M_g,nにおけるψおよびκ類の次数≥gの単項式を実現する。
• g-還元原理により、任意の次数≥gのψ類単項式が、少なくとも1本の辺を持つ双対グラフクラスの線形結合として表現可能であり、これによりgenusゼロへの還元が可能となった。
• 同一のgenusゼロデータおよび同一のgenusゼロへの還元が、幾何的および公理的Gromov–Witten理論の同等性を確立し、Wittenの予想を証明した。