[論文レビュー] Stable maps to rational curves and the relative Jacobian

Steffen Marcus, Jonathan Wise|arXiv (Cornell University)|Oct 22, 2013

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

ひとこと要約

本稿は、コンpact型曲線のモジュライ空間上での2つの幾何的サイクルの基本的同値性を確立する。それは、ゴム型有理的標的への相対的安定写像の仮想基本クラスの押し出しと、相対的ヤコビアンのゼロ切断との交差によって得られる二重分岐サイクルの同値性である。主な結果は、この2つのサイクルが、有理的尾部曲線に制限されていた既存の結果を、コンパクト型全領域に拡張して、二重分岐サイクルの2つの主要な構成法を統合することを確認する。

ABSTRACT

We consider two cycles on the moduli space of compact type curves and prove that they coincide. The first is defined by pushing forward the virtual fundamental classes of spaces of relative stable maps to an unparameterized rational curve, while the second is obtained as the intersection of the Abel section of the universal Jacobian with the zero section. Our comparison extends results of Cavalieri-Marcus-Wise where the same identity was proved over on the locus of rational tails curves.

研究の動機と目的

• コンパクト型曲線のモジュライ空間上での2つの自然なサイクル類の幾何的比較を確立すること。
• 二重分岐サイクルと仮想基本クラス押し出しの一致が、有理的尾部部分集合に限られていた既知の結果を、コンパクト型全領域へ拡張すること。
• 二重分岐サイクルの2つの異なる構成法を統合すること：1つはゴム型標的への相対的安定写像を介するもの、もう1つは相対的ヤコビアン上の交差理論を介するもの。
• 代数幾何におけるタウトロジカルクラスおよび二重ヒューリッツ数の文脈において、基礎的な比較を提供すること。

提案手法

• 各成分で次数がゼロとなるラインバンドルを用いて、コンパクト型曲線のモジュライ空間上での普遍的相対ヤコビアンへの標準的切断を構成する。境界 divisor を用いて調整する。
• 標的 $\mathscr{P} = [\mathbb{P}^1 / \mathbf{G}_m]$ のモジュラー解釈を用いて、所定の分岐プロファイルを持つ相対的安定写像を定義する。
• Costello の仮想プッシュダウン定理を適用し、相対的安定写像のモジュライ空間の仮想基本クラスと交差サイクルとの関係を確立する。
• 相対的ヤコビアン、ゼロ切断、および相対的安定写像のモジュライ空間の間のカルテジアン図式を構築し、二重分岐サイクルがファイバー積として得られることを示す。
• 境界 divisor を用いて、コンパクト型曲線の各成分上で次数がゼロとなるラインバンドルの帰納的構成を行う。
• 除数 $f^{-1}(\mathscr{D}_+^{\exp}) - f^{-1}(\mathscr{D}_-^{\exp})$ に付随するラインバンドルは、境界成分を除き canonical 切断と一致することに依拠し、構成全体の一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ゴム型有理的曲線への相対的安定写像の仮想基本クラス押し出しと二重分岐サイクルは、コンパクト型全領域上で一致するか？
• RQ2 古典的に相対ヤコビアンを介して定義される二重分岐サイクルは、相対的安定写像のモジュライ空間からの押し出しとして幾何的に実現可能か？
• RQ3 有理的尾部部分集合でのみ既知であった2つのサイクル構成法の一致が、より大きなコンパクト型全領域へ拡張可能か？
• RQ4 境界 divisor の調整は、コンパクト型曲線上の相対ヤコビアンへの適切な切断を定義するためにどのように寄与するか？

主な発見

• 仮想基本クラス押し出し $\Pi_*[\overline{M}^{\rm ct}(\mathscr{P}/\mathcal{B}\mathbf{G}_m)]^{\rm vir}$ は、コンパクト型曲線のモジュライ空間上で二重分岐サイクル $\mathbf{DR}$ と等しい。
• 2つの構成法の一致は $\overline{M}^{\rm ct}$ 全体に普遍的に成り立ち、[CMW12] の結果を有理的尾部部分集合から拡張する。
• 境界 divisor を用いて $\mathcal{O}_C(\sum x_i p_i)$ を調整することで得られる相対ヤコビアンの標準的切断は、各成分上で次数ゼロの適切で一意なラインバンドルをもたらす。
• この切断の構成は、相対的安定写像構造と整合的であり、境界成分を調整した後、2つのヤコビアンへの写像が一致することを保証する。
• 相対ヤコビアン、ゼロ切断、および $\overline{M}^{\rm ct}(\mathscr{P}/\mathcal{B}\mathbf{G}_m)$ を含むカルテジアン図式により、二重分岐サイクルがファイバー積として得られることを確認し、幾何的対応関係を裏付ける。
• この結果により、二重ヒューリッツ数およびタウトロジカルクラスを、安定写像のモジュライとヤコビアン交差理論の両方の観点から統合的に研究するためのフレームワークが提供される。