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

Rahul Pandharipande, Aaron Pixton|arXiv (Cornell University)|Jan 11, 2011

Algebraic Geometry and Number Theory参考文献 3被引用数 30

ひとこと要約

この論文は、安定商のモジュライ空間から導かれる関係を用いて、曲線のモジュライ空間 $\mathcal{M}_g$ における完全なタウトロジカル関係の集合を確立し、それらが古くから予想されてきたファーバー＝ツァギエール関係と同値であることを証明する。主な結果は、微分作用素と生成関数を用いた一連の変換により、安定商の関係をファーバー＝ツァギエール形式に変換することであり、十数年の不確実性の末に予想が裏付けられる。

ABSTRACT

These notes cover our series of three lectures at Humboldt University in Berlin for the October 2010 conference "Intersection theory on moduli space" (organized by G. Farkas). The topic concerns relations among the kappa classes in the tautological ring of the moduli space of genus g curves. After a discussion of classical constructions in Wick form, we derive an explicit set of relations obtained from the virtual geometry of the moduli space of stable quotients. In a series of steps, the stable quotient relations are transformed to simpler and simpler forms. Our final result establishes a previously conjectural set of tautological relations proposed a decade ago by Faber-Zagier. The Faber-Zagier relations are defined using g and a single series in one variable with coefficients (6i)!/(3i)!(2i)!. Whether these relations span the complete set of relations among the kappa classes on the moduli space of genus g curves is an interesting question.

研究の動機と目的

• 曲線のモジュライ空間 $\mathcal{M}_g$ における長年のファーバー＝ツァギエール予想のタウトロジカル関係を証明すること。
• 仮想幾何学的制約を用いて、安定商のモジュライ空間からこれらの関係を導出すること。
• 生成関数の三角的かつ可逆な変換を通じて、安定商の関係とファーバー＝ツァギエール関係が等価であることを示すこと。
• 生成関数と微分作用素を用いた統一的な枠組みを提供し、タウトロジカル関係を符号化・比較すること。

提案手法

• 仮想幾何学的性質を用いて、安定商のモジュライ空間から初期関係を導出し、それにより定理3が得られる。
• 安定商の関係を段階的な簡略化を経て変換し、最終的に命題3および定理5に至る。
• 生成関数 $\Phi(t,x)$ と $\Theta(t,x)$、および微分作用素 $\mathcal{D}$ を用いて、$\kappa$ 級に依存する関係を符号化する。
• 対数および指数関数的演算を生成関数に適用し、タウトロジカル関係に対応する係数を抽出する。
• 変数 $z_{i,j}$ と分割 $\sigma$ を導入し、接空間および対角クラスを符号化することで、関係の体系的比較を可能にする。
• 対角成分が1の三角行列を用いて、安定商（$\mathsf{SQ}$）とファーバー＝ツァギエール（$\mathsf{FZ}$）関係の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 安定商のモジュライ空間から導かれるタウトロジカル関係は、ファーバー＝ツァギエール予想と同値であるか？
• RQ2 生成関数と微分作用素を用いて、安定商の関係を体系的にファーバー＝ツァギエール形式に変換できるか？
• RQ3 $\mathsf{SQ}$ と $\mathsf{FZ}$ 関係の間の正確な代数的構造は何か？
• RQ4 生成関数 $\Phi(t,x)$ と $\Theta(t,x)$ の係数は、$\mathcal{M}_g$ の幾何をどのように符号化しているか？

主な発見

• 安定商のモジュライ空間の仮想幾何学的性質から導かれる関係は、ファーバー＝ツァギエール関係と同値であることが証明された。
• 対角成分が1の三角行列による変換によって同値性が確立され、関係のイデアルが完全に等価であることが示された。
• 安定商関係の生成関数 $\Phi(t,x)$ は、$t$ に関して高々単純極をもつ対数的展開を満たし、係数抽出が良好に保証される。
• 定理2（安定商）における関係は、$\mathbb{Q}[\kappa_0, \kappa_1, \kappa_2, \dots]$ の係数を用いたファーバー＝ツァギエール関係の線形結合として示された。
• 関係の係数一致を保証するための重要な補題が用いられ、$f = e^{yg}$ を満たすべきべき級数 $g$ の存在が示された。
• 最終的な結果として、ファーバー＝ツァギエール予想が正当化された：安定商から導かれるタウトロジカル関係は、$R^*(\mathcal{M}_g)$ における完全な関係の集合に正確に一致する。