[論文レビュー] Asymptotic behaviour of rational curves

David Bourqui|arXiv (Cornell University)|Jul 19, 2011

Algebraic Geometry and Number Theory参考文献 52被引用数 5

ひとこと要約

本稿は、代数的多様体上の有理曲線のモジュライ空間の漸近的挙動を、同次座標環を核心的道具として用いて調査する。有限生成な同次座標環と特定の幾何的条件（たとえば、1つの関係式とディバイザーの基底）を満たす多様体に対して、内在的次数 $ y $ の有理曲線のモジュライ空間は、次元 $ \dim(X) + \langle y, \omega_X^{-1} \rangle $ である幾何的非可約性を持つことが示され、この設定におけるマンイン予想の幾何的定式化が得られる。

ABSTRACT

We investigate the asympotic behaviour of the moduli space of morphisms from the rational curve to a given variety when the degree becomes large. One of the crucial tools is the homogeneous coordinate ring of the variey. First we explain in details what happens in the toric case. Then we examine the general case.

研究の動機と目的

• 射影的多様体 $ X $ に対して、次数が増加するモルフィズム $ \mathbf{P}^1 \to X $ のモジュライ空間の漸近的挙動を理解すること。
• 内在的次数をネロン・セベール双対に用いて、マンイン予想を幾何的設定に一般化すること。
• 特にトーリックでない場合において、同次座標環を用いた有理曲線の数え上げの概念的枠組みを提供すること。
• モジュライ空間 $ \mathbf{Mor}(\mathbf{P}^1, X, y) $ が幾何的非可約である条件を確立し、その次元を計算すること。
• 高(genus)曲線へのアプローチを拡張し、同次座標環に1つの関係式をもつ多様体におけるマンイン予想の証明の統一性を検討すること。

提案手法

• 固定されたアメーブルラインバンドルに依存するのではなく、モルフィズム $ \mathbf{P}^1 \to X $ をパラメトライズするために、内在的次数 $ \mathbf{deg}(\varphi) \in \operatorname{NS}(X)^\vee $ を用いる。
• モジュライ空間の幾何を分析するための主要な代数的道具として、$ X $ の同次座標環を用いる。
• Euler積分解と生成関数 $ F_{\boldsymbol{n}} $ を用いて、有限体上での点数の推定を行う。
• ワイエル予想と支配収束定理を用いて、正規化された点数の極限が1に収束することを示し、非可約性を示す。
• 特に、$ \operatorname{Pic}(X) $ のディバイザーの基底と1つの関係式を持つ場合に、同次座標環の構造に依存する。
• $ \mathbf{P}^1 $-スキーム上の族へと方法を拡張し、高(genus)曲線へ一般化するが、誤差項の制御は依然として大きな課題である。

実験結果

リサーチクエスチョン

• RQ1 $ d \to \infty $ のとき、モジュライ空間 $ \mathbf{Mor}(\mathbf{P}^1, X, {\mathcal{L}}, d) $ の漸近的挙動は何か？
• RQ2 内在的次数 $ y $ の有理曲線のモジュライ空間の次元は、$ X $ の幾何的不変量とどのように関係するか？
• RQ3 同次座標環に1つの関係式をもつ多様体に対して、同次座標環を用いて幾何的マンイン予想を証明できるか？
• RQ4 $ \mathbf{Mor}(\mathbf{P}^1, X, y) $ が幾何的非可約であるための条件は何か？
• RQ5 一般にトーリックでない場合における点数近似の誤差項は、どのように振る舞うか？

主な発見

• 内在的次数 $ y \in \operatorname{Eff}(X)^\vee \cap \operatorname{Pic}(X)^\vee $ に対して、モジュライ空間 $ \mathbf{Mor}(\mathbf{P}^1, X, y) $ は次元 $ \dim(X) + \langle y, \omega_X^{-1} \rangle $ である幾何的非可約性を持つ。
• 与えられた仮定のもとで、極限 $ \lim_{r \to \infty} p^{-r(\dim(X) + \langle y, \omega_X^{-1} \rangle)} \cdot \# \mathbf{Mor}_U(\mathbf{P}^1, X, y)(\mathbf{F}_{p^r}) = 1 $ が成り立つ。
• 同次座標環に1つの関係式をもつ一般化されたデル・ペッツォ表面に対しても、この方法は適用可能であり、[Der06] で分類されている。
• 高(genus)曲線へ一般化は可能であるが、誤差項の制御は依然として大きな課題である。
• 恒等式 $$ \sum_{\boldsymbol{n} \in \{0,1\}^I} \mu_X^0(\boldsymbol{n}) \cdot \frac{\# \mathscr{T}_{X,\boldsymbol{n}}(L)}{\#L^{\dim(\mathscr{T}_X)}} = (1 - \#L)^{\operatorname{rk}(\operatorname{Pic}(X))} \cdot \frac{\#X(L)}{\#L^{\dim(X)}} $$ は、点数と座標環の幾何の間の概念的リンクを提供する。
• 主な技術的洞察は、誤差項を制御するためには、定義関係式の次数に対して相対的に「十分に大きい」べきである必要がある、という点にある。