[論文レビュー] Relations in the tautological ring of the moduli space of K3 surfaces

Rahul Pandharipande, Qizheng Yin|arXiv (Cornell University)|Jul 29, 2016

Algebraic Geometry and Number Theory参考文献 18被引用数 7

ひとこと要約

この論文は、 genus 1 における Getzler の関係式を用いて、普遍 K3 表面の第3ファイバー積における対角の普遍的分解を導出し、Gromov-Witten 理論と仮想クラスを応用することで、すべての $\kappa$ クラスに対する明示的な境界関係を確立し、Marian-Oprea-Pandharipande 予想を確認した。その結果、準極小 K3 表面のモジュライ空間の全トートロジカル・リングは、ノイザー＝レフシェッツ部分集合によって生成されることを示した。

ABSTRACT

We study the interplay of the moduli of curves and the moduli of K3 surfaces via the virtual class of the moduli spaces of stable maps. Using Getzler's relation in genus 1, we construct a universal decomposition of the diagonal in Chow in the third fiber product of the universal K3 surface. The decomposition has terms supported on Noether-Lefschetz loci which are not visible in the Beauville-Voisin decomposition for a fixed K3 surface. As a result of our universal decomposition, we prove the conjecture of Marian-Oprea-Pandharipande: the full tautological ring of the moduli space of K3 surfaces is generated in Chow by the classes of the Noether-Lefschetz loci. Explicit boundary relations are constructed for all kappa classes. More generally, we propose a connection between relations in the tautological ring of the moduli spaces of curves and relations in the tautological ring of the moduli space of K3 surfaces. The WDVV relation in genus 0 is used in our proof of the MOP conjecture.

研究の動機と目的

• K3 表面のモジュライ空間の全トートロジカル・リングがノイザー＝レフシェッツ部分集合によって生成されることを示す、Marian-Oprea-Pandharipande 予想の証明。
• トートロジカル・リングにおけるすべての $\kappa$ クラスに対する明示的な境界関係の構成。
• genus 1 における Getzler の関係式を用いて、普遍 K3 表面の第3ファイバー積における対角の普遍的分解を確立する。
• 曲のモジュライ空間のトートロジカル・リングにおける関係が、K3 表面のモジュライ空間のトートロジカル・リングにおける関係と関連していることを示す。

提案手法

• genus 1 における Getzler の関係式を用いて、普遍 K3 表面の第3ファイバー積における対角の普遍的分解を構成する。
• 安定写像のモジュライ空間の仮想クラスを応用し、相対的安定写像モジュライ空間からの評価写像を介して、普遍 K3 表面上の標準的除集合クラス $\chi$ を定義する。
• $\kappa$ クラスを、$\chi$ と相対接空間バンドルの第2チャーン類 $c_2(\tau_\pi)$ の積の押し出しとして定義する。
• genus 0 の Gromov-Witten 理論における WDVV 関係式を輸出することで、K3 表面のモジュライ空間のトートロジカル・リングにおける関係を導出する。
• 余次元と $H$-インデックスに関する二重帰納法を用いて、すべての $\kappa$ クラスがノイザー＝レフシェッツによって生成される部分環に属することを証明する。
• 完全な Yau-Zaslow 公式を活用し、適切なクラスに対して非自明な還元 Gromov-Witten 不変量を保証することで、除集合クラスの標準的構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 K3 表面のモジュライ空間の全トートロジカル・リングは、ノイザー＝レフシェッツ部分集合によってのみ生成されるか？
• RQ2 曲のモジュライ空間のトートロジカル・リングにおける関係は、K3 表面のモジュライ空間のトートロジカル・リングに輸出可能か？
• RQ3 トートロジカル・リング内のすべての $\kappa$ クラスは、ノイザー＝レフシェッツ部分集合の線形結合として表現可能か？
• RQ4 genus 1 の関係式を用いて、普遍 K3 表面の第3ファイバー積における対角の普遍的分解を構成可能か？
• RQ5 K3 表面のモジュライ空間のトートロジカル・リングにおける $\kappa$ クラスの境界関係の正確な構造は何か？

主な発見

• 準極小 K3 表面のモジュライ空間の全トートロジカル・リングは、ノイザー＝レフシェッツ部分集合によって生成され、Marian-Oprea-Pandharipande 予想が裏付けられた。
• すべての $\kappa$ クラスに対して明示的な境界関係が構成され、それらがノイザー＝レフシェッツによって生成される部分環に属することが示された。
• Getzler の genus 1 関係式を用いて、普遍 K3 表面の第3ファイバー積における対角の普遍的分解が構成されたが、その項の一部は Beauville-Voisin 分解では可視化されないノイザー＝レフシェッツ部分集合に支持されている。
• genus 0 の WDVV 関係式が、トートロジカル・リングにおける主要な関係を導出するのに用いられ、主予想の証明を可能にした。
• 余次元と $H$-インデックスに関する帰納法により、$H$-因子を含まない $\kappa$ クラスを含むすべての $\kappa$ クラスがノイザー＝レフシェッツによって生成される部分環に属することが成功裏に証明された。
• 還元 Gromov-Witten 不変量を用いた除集合クラスの構成により、すべての $\kappa$ クラスが任意の選択を伴わずに正しく定義され、有理数的であることが保証された。