[論文レビュー] Relations in the tautological ring of $M_g$

Eleny-Nicoleta Ionel|ArXiv.org|Dec 4, 2003

Algebraic Geometry and Number Theory参考文献 4被引用数 11

ひとこと要約

この論文は、$\mathbb{P}^1$ への次数 $d$ の被覆を用いた幾何的構成を用いて、モジュライ空間 $\mathcal{M}_g$ のトロイタル環における無限個の非自明な関係式を確立する。マークド点の配置を分析し、Porteousの公式を適用することで、これらの関係式の生成関数が得られ、クラス $\kappa_1, \dots, \kappa_{[g/3]}$ がトロイタル環を生成することを証明する。これはFabreの予想の重要なケースを確認するものである。

ABSTRACT

Using a simple geometric argument, we obtain an infinite family of nontrivial relations in the tautological ring of $M_g$ (and in fact that of $M_{g,2}$). One immediate consequence of these relations is that the classes $κ_1,...,κ_{[g/3]}$ generate the tautological ring of $M_g$, which has been conjectured by Faber, and recently proven at the level of {\em cohomology} by Morita.

研究の動機と目的

• 曲のモジュライ空間における幾何的構成を用いて、$R^*(\mathcal{M}_g)$ における新しい非自明な関係式を確立すること。
• クラス $\kappa_1, \dots, \kappa_{[g/3]}$ がトロイタル環を生成することを証明し、Fabreの予想を確認すること。
• これらの関係式の生成関数の表現を提供し、構造を単純化し、深い代数的パターンを明らかにすること。
• チャウ環における幾何的構成と、$\kappa$ クラス間の明示的多項式関係式を結びつけることにより、コhomology的結果を越えて拡張すること。

提案手法

• $\mathbb{P}^1$ への次数 $d$ の被覆のモジュライ空間を用いて、$A^*(\mathcal{M}_g)$ における幾何的関係式を構成するためのクラス $w_{d,g}$ を定義する。
• ファイバーごとのマークド被覆からのサイクル類を、トロイタルクラスの言語で表すためにPorteousの公式を適用し、チャウ環における関係式を得る。
• 単純な常微分方程式（ODE）を満たす普遍的な生成関数 $G$ を導入し、幾何的関係式を符号化する。
• $\kappa_a$ と補助変数 $x, u$ を含む形式的べき級数における係数として関係式を表現することで、生成関数の式を得る。
• 忘却写像に沿った押し出しと引き戻しを用いて、$\mathcal{C}_g^{d+2}$ 上の関係式を $\mathcal{M}_g$ に結びつける。これにより、複雑なサイクル恒等式をトロイタル表現に還元する。
• Deligne-Mumfordのコンパクト化の構造と、$A^*(\overline{\mathcal{M}}_{g,2})$ 内の関係式に依存し、主要な恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{P}^1$ への次数 $d$ の被覆における幾何的構成は、$\mathcal{M}_g$ のトロイタル環における非自明な関係式を生じるか？
• RQ2 このような幾何的配置から得られる関係式は、一様な生成関数表現を有するか？
• RQ3 生成関数のアプローチにより、$\kappa_1, \dots, \kappa_{[g/3]}$ が $R^*(\mathcal{M}_g)$ を生成することを証明できるか？ これはFabreの予想を確認するものである。
• RQ4 生成関数が示唆するように、 genus に対して低次の多項式関係式が $\kappa$ クラス間に存在するか？

主な発見

• この論文は、クラス $\kappa_1, \dots, \kappa_{[g/3]}$ がトロイタル環 $R^*(\mathcal{M}_g)$ を生成することを証明し、Fabreの予想の重要なケースを確認する。
• マークド分岐点を伴う $\mathbb{P}^1$ への次数 $d$ の被覆に関する幾何的議論を用いて、$R^*(\mathcal{M}_g)$ における無限個の非自明な関係式が構成される。
• これらの関係式は、形式 $\left[\exp\left(-\sum_{a=1}^\infty x^a \kappa_a \sum_{j=0}^a c_{a,j} u^j \right) \cdot (\kappa_{b-1} - 2\sum_{a=0}^\infty \kappa_{a+b} x^{a+1} \sum_{j=0}^a q_{a,j} u^{j+1}) \right]_{x^{g+2-2d}u^d} = 0$ の生成関数に符号化されており、これはすべての $d \geq 2$ および $b \geq 0$ に対して成り立つ。
• 生成関数 $G$ は単純なODEを満たし、そのべき級数展開により、複雑なサイクル関係式が提示された指数形式に簡略化される。
• 関係式は、$A^*(\overline{\mathcal{M}}_{g,2})$ 内のトロイタル関係式の制限として生じることが示され、忘却写像と対角クラスを用いて明示的な表現が得られる。
• この論文は、$\psi_1$ と $\kappa$ クラスの間の非自明な多項式関係式が、次数 $g+2-2d$ で初めて知られた例を提供する。ここで $\psi_1^a$ の係数が非ゼロであることは、低次のトロイタル関係式において重要な意義を有する。