[論文レビュー] Descendent bounds for effective divisors on the moduli space of curves

Rahul Pandharipande|ArXiv.org|May 5, 2008

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

ひとこと要約

本稿は、$\overline{M}_{g,1}$ 上のdescendent交差理論を用いて、コンパクト化されたモジュライ空間 $\overline{M}_g$ 上の有効除算子の傾きに対する鋭い下界 $\frac{60}{g+4}$ を確立する。$\delta_0$ と $\lambda$ に対する $\psi$-類の積分比を評価することにより、計算に適した正確な下界が得られ、漸近的予測と一致し、Hurwitz被覆を用いた従来の手法を改善する。

ABSTRACT

The slope of the moduli space of genus g curves is bounded from below by 60/(g+4) via a descendent calculation.

研究の動機と目的

• $\overline{M}_g$ 上の除算子の傾きに対する有効な下界を交差理論を用いて特定すること。
• descendent類を用いた $\overline{M}_{g,1}$ 上の正確で計算可能な下界を有効除算子の傾きに対して提供すること。
• descendent手法と従来のHurwitz被覆に基づくアプローチとの有効性を比較すること。
• descendent積分から得られる境界の中で、$\frac{60}{g+4}$ が最適であることを確立すること。

提案手法

• この手法は、忘却準同型 $\epsilon: \overline{M}_{g,n} \to \overline{M}_g$ を通じて、$\overline{M}_{g,n}$ からの有効曲線類を $\overline{M}_g$ に押し出すことを利用する。
• 除算子の傾きの下界として、比 $\frac{\int_{\overline{M}_{g,1}} \psi_1^{3g-3} \cdot \delta_0}{\int_{\overline{M}_{g,1}} \psi_1^{3g-3} \cdot \lambda}$ を評価する。
• 分子は $\delta_0$ の正規化とストリング方程式を用いて計算され、$\frac{1}{2} \cdot \frac{1}{(24)^{g-1}(g-1)!}$ を得る。
• 分母はGrothendieck-Riemann-Roch公式と $L_1$ Virasoro制約を用いて評価され、$g$ に関する有理関数が得られる。
• 最終的な比は $\frac{60}{g+4}$ に簡略化され、正確な傾き下界が得られる。
• 既知のホッジ積分評価とベルヌーイ数の恒等式を用いることで、正確な計算が達成される。

実験結果

リサーチクエスチョン

• RQ1 descendent交差理論から得られる、$\overline{M}_g$ 上の有効除算子の傾きに対する最良の可能な下界は何か？
• RQ2 $\overline{M}_{g,1}$ 上の $\psi$-類の積分を用いることで、漸近的または組合せ論的手段ではなく正確な傾き下界を導けるか？
• RQ3 descendent手法は、従来のHurwitz被覆に基づく手法と比較して、精度と単純さの面で優れているか？
• RQ4 $\frac{60}{g+4}$ は、$\overline{M}_{g,n}$ 上のすべてのdescendent積分から得られる境界の中で最適であるか？
• RQ5 $\psi$-類上で $\delta_0$ と $\lambda$ の積分比が $n$ の増加に伴い減少するか？ これは最適性の予想を支持するか？

主な発見

• $\overline{M}_g$ 上の任意の有効除算子 $D \subset \overline{M}_g$ で、$\alpha\lambda - \beta_0\delta_0 - \sum \beta_i\delta_i$ の形をしたものの傾きは、$\frac{\alpha}{\beta_0} \geq \frac{60}{g+4}$ を満たす。
• 正確な値 $\frac{60}{g+4}$ は、比 $\frac{\int_{\overline{M}_{g,1}} \psi_1^{3g-3} \cdot \delta_0}{\int_{\overline{M}_{g,1}} \psi_1^{3g-3} \cdot \lambda}$ として達成され、鋭い下界を提供する。
• この境界の漸近的挙動は $g \to \infty$ のとき $\sim \frac{60}{g}$ となり、[3] での実験的予測と一致する。
• descendent積分を用いる手法は、従来の研究で用いられたHurwitz被覆のアプローチと比較して、はるかに単純な組合せ論で正確な結果を得る。
• $\frac{60}{g+4}$ は、$\overline{M}_{g,n}$ 上のdescendent積分から得られるすべての境界の中で最良であると予想され、低世代の計算に基づく。
• 計算は、既知のホッジ積分評価、ストリング方程式、および $L_1$ Virasoro制約を用いて正確な簡略化が達成される。