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

Rahul Pandharipande, Aaron Pixton|arXiv (Cornell University)|Jan 19, 2013

Algebraic Geometry and Number Theory参考文献 25被引用数 33

ひとこと要約

本稿は、安定商のモジュライ空間の仮想的幾何を用いて、曲線のモジュライ空間のタウトロジカルな環におけるファーバー＝ザジエ関係を証明する。安定商関係をより単純な形に変換することで、著者らはファーバー＝ザジエ予想が成り立つことを確立し、関係がコhomologyで消え、特定の次数および種数の条件を満たすとき境界のタウトロジカルな環に属することを示す。

ABSTRACT

The virtual geometry of the moduli space of stable quotients is used to obtain Chow relations among the kappa classes on the moduli space of nonsingular genus g curves. In a series of steps, the stable quotient relations are rewritten in successively simpler forms. The final result is the proof of the Faber-Zagier relations (conjectured in 2000).

研究の動機と目的

• $$\mathcal{M}_g$$ のタウトロジカルな環における $$\kappa$$ クラスの間の関係に関するファーバー＝ザジエ予想を証明すること。
• 固定された種数 $$g$$ に対して、ファーバー＝ザジエ関係が $$\mathcal{M}_g$$ のチャウ環およびコhomologyで成り立つことを確立すること。
• ファーバー＝ザジエ関係が内部 $$\mathcal{M}_g$$ のみならず、境界 $$\partial\overline{\mathcal{M}}_g$$ 上のタウトロジカルなクラスへも持ち上がることを示すこと。
• 三角行列かつ可逆な変換行列を通じて、安定商関係とファーバー＝ザジエ関係の同値性を示すこと。
• 安定商のモジュライ空間の仮想クラスを用いた幾何的構成を通じて、ファーバー＝ザジエ関係を構成すること。

提案手法

• 著者らは、安定商のモジュライ空間の仮想的幾何を用いて、$$\kappa$$ クラスの間の初期のチャウ関係を導出する。
• 集合分割と対称関数を用いた組合せ論的および代数的技法を用いて、安定商関係を段階的な簡略化により再表現する。
• 重要な変換は、安定商関係 $$\mathsf{SQ}_\sigma$$ を、分割のサイズおよび長さに制約を課した $$\mathbb{Q}$$-線形結合 $$\mathsf{FZ}_\tau$$ として表現することである。
• 証明は、指数型母関数 $$\Psi(t,\mathbf{p})$$ 及びその対数を用いて定義される係数 $$C_r^{\text{FZ}}(\sigma)$$ に依存し、これらはファーバー＝ザジエ関係をパrameter化する。
• 重要なステップとして、構造定数 $$f_{i,j,k}$$ を含む恒等式を指数公式を用いて検証し、変換行列が対角成分が1の三角行列であることを保証する。
• 変換行列の可逆性により、安定商関係とファーバー＝ザジエ関係が $$\mathbb{Q}[\kappa_1,\kappa_2,\dots]$$ 内で同じイデアルを生成することが示される。

実験結果

リサーチクエスチョン

• RQ1 2000年に予想されたファーバー＝ザジエ関係は、実際のタウトロジカルな環 $$R^*(\mathcal{M}_g)$$ において関係として成立するか？
• RQ2 安定商のモジュライ空間の仮想クラスから得られる安定商関係は、系統的にファーバー＝ザジエ関係に変換可能か？
• RQ3 ファーバー＝ザジエ関係は内部 $$\mathcal{M}_g$$ での有効性に加え、コンパクト化されたモジュライ空間の境界 $$\partial\overline{\mathcal{M}}_g$$ 上のタウトロジカルなクラスとしても表現可能か？
• RQ4 安定商関係とファーバー＝ザジエ関係を結ぶ正確な代数的構造は何か？
• RQ5 $$R^*(\mathcal{M}_g)$$ 内の $$\kappa$$ クラスの関係のイデアルは、ファーバー＝ザジエ関係によって生成されるか？

主な発見

• 条件 $$g-1+|\sigma|<3r$$ および $$g\equiv r+|\sigma|+1\mod 2$$ を満たすとき、ファーバー＝ザジエ関係は $$R^r(\mathcal{M}_g)$$ で成立することが証明された。
• 関係 $$[\exp(-\gamma^{\text{FZ}})]_{t^r\mathbf{p}^\sigma}=0$$ が $$R^r(\mathcal{M}_g)$$ 内で消えることが示され、予想の妥当性が裏付けられた。
• 同じ関係が $$R^*(\partial\overline{\mathcal{M}}_g)$$ に属するため、これはコンパクト化されたモジュライ空間の境界上でのタウトロジカルなクラスへ持ち上がることを意味する。
• 安定商関係からファーバー＝ザジエ関係への変換は、対角成分が1の三角行列として実現され、両者の関係集合が同値であることが証明された。
• 証明により、ファーバー＝ザジエ関係が $$\mathbb{Q}[\kappa_1,\kappa_2,\dots]$$ 内の $$\kappa$$ クラスの関係の全イデアルを生成することが確立された。
• 構造定数 $$f_{i,j,k}$$ は、変換の一貫性を保証する重要な恒等式を満たしており、指数公式を用いて検証された。