[論文レビュー] Parameter spaces for curves on surfaces and enumeration of rational curves

Lucia Caporaso, Joe Harris|ArXiv.org|Aug 22, 1996

Advanced Numerical Analysis Techniques被引用数 17

ひとこと要約

本稿では、有理曲線の退化族に対して交比関数を用いた再帰的技法を開発し、特にヒルツェブルク面 $ℓ_n$ 上の有理曲線をパラメトライズするセベリ多様体の次数を計算する。主な結果は、一般の $2n+3$ 個の点を通過する $|2C|$ 線形系統内の非可約有理曲線の数 $N(2C)$ の閉形式の公式で、$∑_{k=0}^{n-1}(n-k)^2\binom{2n+2}{k}$ と表され、母関数の解釈と $n=2,3,4$ に対する明示的値が与えられる。この手法は、変形理論と族の正規化を用いて、ケンツェビッチの公式をルールド面へ拡張するものである。

ABSTRACT

We answer some enumerative questions about irreducible rational curves on Hirzebruch surfaces, by combining an idea of Kontsevich with the study of the geometry of certain natural parameter spaces. Our formulas generalize Kontsevich's formula for rational plane curves of given degree.

研究の動機と目的

• 有理曲面 $S$ 上の線形系統 $|D|$ に含まれる非可約有理曲線をパラメトライズするセベリ多様体 $V(D)$ の次数 $N(D)$ を計算すること、特に $S = \mathbb{F}_n$ の場合を対象とする。
• 平面 $\mathbb{P}^2$ 上の有理曲線に対するケンツェビッチの公式を、曲線成分に追加の幾何的制約を受けるルールド面 $\mathbb{F}_n$ へ拡張すること。
• 一般の点を通る $\mathbb{F}_n$ 上の有理曲線を数えるために、退化と交比関数に基づく再帰的技法を開発すること。
• $\mathbb{F}_n$ 上の $N(2C)$ に対する閉形式の公式を導出し、二項係数と母関数を用いて表現すること。

提案手法

• 交比法を用いる：ベース $\Gamma$ 上に平坦な有理曲線族を構成し、各ファイバーに4点をマークすることで、正規化 $\Gamma^\nu$ 上に交比関数を定義する。
• 交比関数の零点と極を解析し、最後の点を通る $N(D)$ 個の曲線が零点として同定される一方、他の零点と極は可約ファイバーに由来する。
• 変形理論を用いてセベリ多様体の幾何を研究し、タクノードのような特異点や、$\Delta_{m-1}$ のような部分多様体に注目する。
• 次数 $D'$ が $D$ より小さい除法類における可約曲線の寄与に還元し、$N(D')$ の帰納的計算を用いる。
• 例外的除法 $E$ への接触順序が指定された曲線分解の寄与を符号化する関数 $\gamma_{i_1,\dots,i_t}(D_{i_1},\dots,D_{i_t})$ を導入する。
• マスターフォーミュラを導出：$nN(D) = \sum_{D_1+D_2=D}(D_1\cdot D_2)\gamma_{1,1}(D_1,D_2) + \sum_{t=2}^n \sum_{\text{分解}} \prod (E\cdot D_j)\gamma_{i_1,\dots,i_t}$ は、$\mathbb{F}_n$ 上の $D$ に対して成立する。

実験結果

リサーチクエスチョン

• RQ1 ケンツェビッチの交比法は、曲線成分が追加の幾何的制約を受けるルールド面 $\mathbb{F}_n$ 上の有理曲線の数を計算するためにどのように適合可能か？
• RQ2 接触順序が指定された可約曲線成分が、$\mathbb{F}_n$ 上の有理曲線の数え上げにおいて、例外的除法 $E$ に与える正確な寄与は何か？
• RQ3 $\mathbb{F}_n$ 上の線形系統 $|2C|$ を通過する非可約有理曲線の数 $N(2C)$ に対して、閉形式の公式を導出可能か？
• RQ4 有理曲線の数え上げは、母関数の係数としてどのように表現可能か？その背後にある組合せ的構造は何か？

主な発見

• $\mathbb{F}_2$ に対して、一般の7点を通る $|2C|$ 内の非可約有理曲線の数は $N(2C) = 10$ であり、$\binom{6}{1} + 4\binom{6}{0}$ として計算される。
• $\mathbb{F}_3$ に対して、$N(2C) = 69$ であり、$\binom{8}{2} + 4\binom{8}{1} + 9\binom{8}{0}$ として計算される。
• $\mathbb{F}_4$ に対して、$N(2C) = 406$ であり、$\binom{10}{3} + 4\binom{10}{2} + 9\binom{10}{1} + 16\binom{10}{0}$ として計算される。
• 一般の $\mathbb{F}_n$ 上での $N(2C)$ の公式は、$\sum_{k=0}^{n-1}(n-k)^2\binom{2n+2}{k}$ であり、テレスコピング二項恒等式を用いて導出される。
• この公式は、$\frac{(1+t)^{2n+3}}{(1-t)^3}$ の $t^n$ の係数として再表現可能であり、母関数の解釈が得られる。
• 本稿では、交差理論と接触順序に基づく係数を有する、曲線分解の重み付き和を含む $N(D)$ のマスターフォーミュラを確立した。