[論文レビュー] Recursive Formulas for the Characteristic Numbers of Rational Plane Curves

Lars Ernström, Gary J. Kennedy|arXiv (Cornell University)|Apr 28, 1996

Algebraic Geometry and Number Theory参考文献 9被引用数 23

ひとこと要約

本稿では、たかだか1つの尖点をもつ有理平面曲線の特徴的数に対する再帰的公式を導出する。点、接線、フラッグ条件を組み合わせた設定において、Kontsevichの安定写像フレームワークを点と直線のインシデント対応に適応し、安定リフトのモジュライ空間を定義。境界除部分の線形同値性を活用して、すべてのこのような特徴的数、特に指定された直線上または指定された点に尖点をもつ曲線の特徴的数を決定する再帰的関係を導出する。

ABSTRACT

We derive recursive equations for the characteristic numbers of rational nodal plane curves with at most one cusp, subject to point conditions, tangent conditions and flag conditions, developing techniques akin to quantum cohomology on a moduli space of stable lifts.

研究の動機と目的

• 有理平面曲線に対するKontsevichの再帰的公式を、たかだか1つの尖点をもつ曲線に拡張すること。
• 指定された数の点条件、接線条件、フラッグ条件（点-直線インシデント）を満たす有理平面曲線の列挙。
• 有理曲線の高次接触条件を取り扱うために、P²の射影化された接バンドルへの安定リフトの枠組みを構築すること。
• 代数的スタック上の交差論を用いて、指定された直線上または指定された点に尖点をもつ曲線の特徴的数を計算すること。

提案手法

• P²における点と直線のインシデント対応Iへの安定写像の部分空間として、$\overline{M}^1_{0,n}(\mathbf{P}^2,d)$ と表記される安定リフトのモジュライ空間を構成する。
• この空間上の特別な境界除部分の線形同値性を活用し、量子コホモロジーに類似した再帰的恒等式を導出する。
• スタック $\overline{M}^1_{0,n}(\mathbf{P}^2,d)$ 上での交差論により、第一順位のGromov-Witten不変量を定義し、自己同型群の存在により有理数係数を許容する。
• 不変量の母関数を導入し、量子コホモロジーの結合則に類似した基本的恒等式（式6.6）を導出する。
• 基本的恒等式を特定のケースに適用し、$C_d(a,b,c;1)$、$C_d(a,b,c;h)$、$C_d(a,b,c;h^2)$ の明示的再帰的公式を導出する。
• 再帰的公式を用いて、次数10まですべての特徴的数を計算し、次数3から5についての表を提供する。

実験結果

リサーチクエスチョン

• RQ1 点、接線、フラッグ条件を満たす有理平面曲線（次数$d$、たかだか1つの尖点）の数に対する再帰的公式をどのように導出できるか？
• RQ2 安定リフトのモジュライ空間における境界除部分の構造はどのようなものか？ そして、それが再帰的計算をどのように支援するか？
• RQ3 特徴的数 $C_d(a,b,c;1)$、$C_d(a,b,c;h)$、$C_d(a,b,c;h^2)$ 相互の関係性および標準的 $N_d(a,b,c)$ 数との関係は何か？
• RQ4 安定リフトとスタック上の交差論の枠組みを用いて、尖点をもつ有理曲線を含む列挙的不変量を計算できるか？
• RQ5 自己同型が存在する場合、交差数の分数係数（例：$1/2$）は不変量の計算において果たす役割は何か？

主な発見

• 本稿では、$C_d(a,b,c;1)$（次数$d$の1尖点有理曲線で、$a$個の点、$b$本の直線に接し、$c$個の指定された点で直線に接するもの）に対する再帰的公式（式1133）を導出。条件は $a+b+2c=3d-2$ を満たす。
• 次数3の場合、$C_3(a,b,c;1)$ の特徴的数を計算し、Schubert、Kleiman、Aluffiの既知の結果と一致し、一貫性を確認した。
• 指定された直線上に尖点をもつ1尖点有理四次曲線の数は $C_5(a,b,c;h)$ で表され、表7.10に示すように $C_5(0,6,0;h) = 239546016$ および $C_5(0,0,6;h) = 1800$ となる。
• 指定された直線上に尖点をもつ1尖点有理五次曲線の数は $C_5(a,b,c;h)$ で表され、表7.13に示すように $C_5(0,0,6;h) = 7560$、$C_5(0,0,5;h) = 58680$、$C_5(0,0,4;h) = 417528$ となる。
• $C_d(a,b,c;h^2)$（指定された点に尖点をもつ曲線を数える）の特徴的数は、指定された点にへこみをもつ双対尖点立方曲線の数に等しくなることが示され、立方曲線の列挙幾何における双対性を反映している。
• 著者らは、次数10までにわたる4つの特徴的数系列をすべて計算し、次数3、4、5について完全な表を提供。ソースコードは要請に応じて提供可能。