[論文レビュー] Calculating intersection numbers on moduli spaces of pointed curves

Stephanie Yang|arXiv (Cornell University)|Aug 14, 2008

Algebraic Geometry and Number Theory参考文献 10被引用数 13

ひとこと要約

この論文は、安定曲線のモジュライ空間上のタウトロジカルクラスの交差数を計算するためのアルゴリズムを提示する。境界クラスは装飾付き安定グラフを用いて統合される。この手法をMapleに実装し、種数4のタウトロジカル関係を計算し、低種数およびマークド点の数に対するゴレンシュタイン商のランクを特定する。

ABSTRACT

This is a note on calculating intersection numbers on moduli spaces of curves. A codimension 3 relation among tautological classes on the moduli space of genus 4 curves is given.

研究の動機と目的

• 安定曲線のモジュライ空間上でのタウトロジカルクラス、特に境界クラスを含む交差数を体系的に計算するためのアルゴリズムの開発。
• ψ、κ、λクラスのみを扱う既存の計算ツールを、位相的に定義された境界クラスを含めるように拡張すること。
• ベルグストローム＝トムマシーの予想に従い、コhomologyにおける種数4のタウトロジカル関係の係数を計算すること。
• 低種数およびマークド点の数に対する、タウトロジカル環のゴレンシュタイン商のランクを特定すること。
• コン pact 型および有理尾を持つ曲線の部分空間におけるタウトロジカル環の構造を分析し、ゴレンシュタイン予想を支援すること。

提案手法

• グラバーとパンダリパンド（2003年）の境界クラスの乗法公式を、装飾付き安定グラフを用いて適応する。
• 安定グラフを用いて、安定曲線の双対グラフを表現する。頂点は成分、辺はノード、半辺はマークド点を表す。
• G-構造を定義し、グラフの特殊化を形式化することで、交差数の再帰的計算を可能にする。
• アルゴリズムをMapleに実装し、装飾付きグラフの枠組みを活用して最高次交差数を計算する。
• アルゴリズムを適用し、コhomologyにおける種数4のタウトロジカル関係の係数を計算する。
• 小規模な $ g $ および $ n $ に対して、$ R^*(\overline{\mathcal{M}}_{g,n}) $、$ R^*(\mathcal{M}^{\operatorname{ct}}_{g,n}) $、および $ R^*(\mathcal{M}^{\operatorname{rt}}_{g,n}) $ のゴレンシュタイン商のランクを計算する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして $ \overline{\mathcal{M}}_{g,n} $ 上で境界クラスを含む交差数を体系的に計算できるか？
• RQ2 ベルグストローム＝トムマシーの予想に従い、コhomologyにおける種数4のタウトロジカル関係の係数は何か？
• RQ3 低種数およびマークド点の数に対する、$ \overline{\mathcal{M}}_{g,n} $、$ \mathcal{M}^{\operatorname{ct}}_{g,n} $、および $ \mathcal{M}^{\operatorname{rt}}_{g,n} $ のタウトロジカル環のゴレンシュタイン商のランクは何か？
• RQ4 コン pact 型および有理尾を持つ曲線のタウトロジカル環は、完全なモジュライ空間の構造とどのように比較できるか？
• RQ5 計算されたランクから見て、これらのタウトロジカル環に対してゴレンシュタイン予想はどの程度成立しているか？

主な発見

• アルゴリズムは、コhomologyにおける種数4のタウトロジカル関係の係数を効果的に計算でき、ベルグストローム＝トムマシーの結果に従いその存在を確認した。
• 低次の $ g $ および $ n $ に対して、$ R^*(\overline{\mathcal{M}}_{g,n}) $、$ R^*(\mathcal{M}^{\operatorname{ct}}_{g,n}) $、および $ R^*(\mathcal{M}^{\operatorname{rt}}_{g,n}) $ のゴレンシュタイン商のランクが計算され、ゴレンシュタイン予想に対する数値的証拠が得られた。
• Mapleへの実装により、境界クラスを含む交差数の効率的計算が可能となり、HodgeIntegrals やMapleベースのツールではカバーされていなかった空白を埋めた。
• 装飾付き安定グラフによる手法は、境界ストラトとその交差を捉える組合せ的フレームワークを提供する。
• コン pact 型および有理尾を持つ曲線の部分空間における計算されたランクは、ゴレンシュタイン予想の下での期待と一致し、低種数におけるその妥当性を支持する。
• 結果として、これらの部分空間のタウトロジカル環が低次の次数で良好に振る舞い、有限次元的であり、ゴレンシュタイン双対性と整合的であることが示された。