[論文レビュー] On the tautological rings of M_{g, 1} and its universal Jacobian

Qizheng Yin|arXiv (Cornell University)|Jun 17, 2012

Advanced Differential Equations and Dynamical Systems参考文献 18被引用数 8

ひとこと要約

本稿では、普遍ジャコビアンのチャウ環上の $\mathfrak{sl}_2$-作用を用いて、曲線のモジュライ空間 $\mathcal{M}_{g,1}$ におけるトートロジカル関係を生成する新しい手法を提案する。この作用から導かれる微分作用素を適用することで、トートロジカル環 $\mathcal{R}(\mathcal{M}_{g,1})$ が $\kappa_1,\ldots,\kappa_{\lfloor g/3\rfloor}$ および $\psi$ で生成されることを証明し、$g \leq 19$ に対してファーバーの予想を確認するとともに、$\mathcal{M}_g$ に対して $g \leq 23$ まで再証明し、$g=24$ でファーバー＝ザジエの関係を回復する。この手法は、広範な計算的・理論的意義を持つ体系的かつ組合せ論的なトートロジカル関係の生成法を提供する。

ABSTRACT

We give a new method of producing relations in the tautological ring R(M_{g, 1}), using the sl_2-action on the Chow ring of the universal Jacobian. With these relations, we prove that R(M_{g, 1}) is generated by κ_i for i no greater than g/3, together with ψ. Our computation shows that Faber's conjectures for M_{g, 1} are true for g up to 19. Further, by pushing relations forward to M_g, we obtain a new proof of Faber's conjectures (for M_g) for g up to 23. For g = 24, our method recovers all the Faber-Zagier relations. We also give an algebraic proof of an identity of Morita.

研究の動機と目的

• 幾何的・代数的構造を用いて、トートロジカル環 $\mathcal{R}(\mathcal{M}_{g,1})$ におけるトートロジカル関係を体系的に生成する手法の開発。
• $\mathcal{R}(\mathcal{M}_{g,1})$ が $\kappa_1,\ldots,\kappa_{\lfloor g/3\rfloor}$ および $\psi$ で生成されることを証明し、$\mathcal{M}_{g,1}$ におけるファーバーの予想の重要な側面を解決する。
• 押し出し写像を介して $\mathcal{M}_g$ へ拡張し、$g \leq 23$ に対してファーバーの予想を再証明するとともに、$g=24$ でファーバー＝ザジエの関係を回復する。
• $\mathfrak{sl}_2$-作用の枠組みを用いてモリータの恒等式の代数的証明を構成する。

提案手法

• 普遍ジャコビアン $J \to \mathcal{M}_{g,1}$ のチャウ環上の $\mathfrak{sl}_2$-作用を活用し、トートロジカル環 $\mathcal{T}(J)$ に作用する微分作用素 $\mathcal{D}$ を定義する。
• 幾何的根拠により消失する多項式 $p_{i,j}$ および $\psi$ の類に対して $\mathcal{D}$ を作用させることで、$\mathcal{T}(J)$ 内の関係を構成する。
• 得られた関係を、$\mathcal{T}(J)$ の商として同型である部分代数 $\mathcal{R}(\mathcal{M}_{g,1})$ に制限することで、$\mathcal{M}_{g,1}$ 内のトートロジカル関係を得る。
• 大きな素数を法としてトートロジカルコhomology群の次元を計算し、大きな係数に対しても数値的安定性と正確性を確保するため、計算機代数を用いる。
• $\mathcal{M}_{g,1}$ から $\mathcal{M}_g$ への押し出し写像を適用し、関係を転送し、既知のファーバー＝ザジエの関係と整合性を確認する。
• 複雑な関係を整理・簡略化し、計算的に扱えるようにするため、「Dutch house」の組合せ論的枠組みを用いる。

実験結果

リサーチクエスチョン

• RQ1 $\mathfrak{sl}_2$-作用が、$\mathcal{M}_{g,1}$ におけるトートロジカル関係を体系的に生成するために用いられるか。
• RQ2 トートロジカル環 $\mathcal{R}(\mathcal{M}_{g,1})$ は $\kappa_1,\ldots,\kappa_{\lfloor g/3\rfloor}$ および $\psi$ で生成されるか。
• RQ3 この $\mathfrak{sl}_2$-作用から導かれる関係は、$\mathcal{M}_{g,1}$ に対して $g \leq 19$ までファーバーの予想を確認するか。
• RQ4 これらの関係を $\mathcal{M}_g$ に押し出し、$g \leq 23$ に対してファーバーの予想を再証明できるか。
• RQ5 この手法は $g=24$ でファーバー＝ザジエの関係を回復するか。
• RQ6 この枠組み内でモリータの恒等式の代数的証明を構成できるか。

主な発見

• トートロジカル環 $\mathcal{R}(\mathcal{M}_{g,1})$ は、$\mathfrak{sl}_2$-作用法により $\kappa_1,\ldots,\kappa_{\lfloor g/3\rfloor}$ および $\psi$ で生成されることを証明した。
• 関係空間のコンピュータ支援による検証を通じて、$g \leq 19$ に対して $\mathcal{M}_{g,1}$ におけるファーバーの予想が正当であることが確認された。
• 関係を $\mathcal{M}_g$ に押し出し、$g=23$ まで $\mathcal{M}_g$ におけるファーバーの予想が再証明された。
• $g=24$ では、この手法により正確にファーバー＝ザジエの関係の集合が回復され、この genus における関係空間の完全性が示された。
• 計算の結果、$g=24$ でコドイメンジョン13において $\mathcal{M}_{g,1}$ に1つの関係が欠落していることが判明し、$\mathcal{M}_{24}$ ではコドイメンジョン12で1つの関係が欠落していることが示され、中間コドイメンジョン付近に潜在的なギャップがある可能性が示唆された。
• $\mathfrak{sl}_2$-作用と微分作用素 $\mathcal{D}$ を用いて、モリータの恒等式の代数的証明が確立され、新たな概念的導出が得られた。