[論文レビュー] Node polynomials for families: results and examples

Steven L. Kleiman, Ragni Piene|ArXiv.org|Nov 29, 2001

Algebraic Geometry and Number Theory参考文献 21被引用数 7

ひとこと要約

本稿は、複素表面におけるノード曲線の枚数を数えるための代数的幾何学的技法を開発し、平面曲線における8個までのノードについてG"ottscheの予想を確認し、5次3次元超曲面における6ノード曲線のVainsencherの数え上げを裏付け、ピカール数1のアーベル多様体上でのBryanとLeungの数え上げを拡張する。ノード曲線の数え上げに対して明示的な有効範囲を伴う多項式公式を確立し、これまでの研究を自己完結的で体系的な手法によって前進させる。

ABSTRACT

We continue the development of methods for enumerating nodal curves on smooth complex surfaces, stressing the range of validity. We illustrate the new methods in three important examples. First, for up to eight nodes, we confirm Göttsche's conjecture about plane curves of low degree. Second, we justify Vainsencher's enumeration of irreducible six-nodal plane curves on a general quintic threefold in four-space. Third, we supplement Bryan and Leung's enumeration of nodal curves in a given homology class on an Abelian surface of Picard number one.

研究の動機と目的

• 滑らかな複素表面におけるノード曲線を数えるための一般的で自己完備的な代数的幾何学的技法を構築すること、特に被覆表面が変化する族において特に焦点を当てる。
• 平面曲線に対して、ノード多項式に関するG"ottscheの予想を8個までのノードについて確認し、再帰的公式に依存しない直接的検証を提供すること。
• 従来の存在結果を超えて、特に3次元超曲面やアーベル多様体上の曲線に対して、数え上げ公式の有効範囲を拡張すること。
• Vainsencher や Bryan-Leung の先行結果を精緻化・一般化し、ノード曲線の数え上げが有効でかつ多項式的である条件を明確にすること。
• ピカール数1のアーベル多様体上のノード曲線のノード多項式が、幾何学的 genus $ g $ に関して $ r+1 $ 次であり、$ g > g_0 $ に対して有効であることを確立すること。ここで $ g_0 $ は $ m $ と $ r $ のみに依存する。

提案手法

• ノード曲線の集合のクラスを計算するために代数的幾何学的技法を用い、特に $ r $ 個のノードを持つ普遍曲線のクラスの押し出しに注目する。
• 曲線が非通常の特異点を持つ集合の次元を制御するための $ k $-非常に正則性の理論を適用し、数え上げ公式が有効であることを保証する。
• ベル多項式と母関数の形式的体系を用いて、ノード曲線の数 $ N_{g,r} $ を $ g $ に関する多項式として表現し、対数的母関数から導出する。
• 次元数え上げと余次元の議論を通じて有効性条件を確立し、特に $ \mathop{\rm cod}\nolimits Y(\infty) > r $ を満たすようにする。これにより、非還元的または高階特異点を持つ曲線の寄与を除外する。
• 相対双対化線分束と相対 canonical 写像を用いて、パrameter 空間上の普遍曲線の幾何を分析し、特性類の計算を可能にする。
• 相対過剰交差公式を適用して、$ r $ 個のノードを持つ曲線の集合の次数を計算し、$ [U(r)] $ のクラスと $ p_* $ を通じた押し出しを用いる。

実験結果

リサーチクエスチョン

• RQ1 G"ottscheの予想が、$ r \leq 8 $ 個のノードを持つ次数 $ m $ の平面曲線に対して、どの $ m $ に対して有効であるか？
• RQ2 一般の $ \mathbb{P}^4 $ 内の5次3次元超曲面における6ノード平面曲線のVainsencherの数え上げの正確な有効範囲は何か？ また、存在定理を超えて拡張可能か？
• RQ3 ピカール数1のアーベル多様体上での固定ホモロジー類における既約 $ r $-ノード曲線の数え上げを、幾何学的 genus $ g $ に関する多項式公式に拡張可能か？ そしてどの $ g $ に対して有効か？
• RQ4 ノード多項式公式の有効性条件は、特に $ \mathbb{P}^4 $ 内の平面やアーベル多様体などの族において、被覆表面の幾何にどのように依存するか？
• RQ5 $ r $ 個のノードを持つ曲線の集合がうまく定義されており、そのクラスが計算可能であるための条件は何か？ これにより、非還元的または高階特異点を持つ曲線の寄与を回避する。

主な発見

• 本稿は $ r \leq 8 $ に対して G"ottscheの予想を確認し、一般の点 $ \frac{m(m+3)}{2} - r $ を通る次数 $ m $ の平面曲線のノード数が、$ m $ に関して $ 2r $ 次のノード多項式で与えられ、$ m \geq r/2 + 1 $ に対して有効であることを示した。
• $ m \geq 4 $ に対して、$ \mathbb{P}^4 $ 内の一般の次数 $ m $ の3次元超曲面に含まれる6ノード平面曲線の数は、$ m $ に関して18次多項式で与えられ、Vainsencherの先行結果を明示的な有効範囲とともに確認・拡張した。
• 一般の5次3次元超曲面における既約6ノード曲線の数は、全数え上げから可約寄与を差し引くことで回復され、$ m \geq 4 $ に対して有効であり、特に $ m = 5 $ の重要なケースも含む。
• ピカール数1のアーベル多様体上では、自己交叉が $ d = 2m^2 $ で、原始的クラスの $ m $ 倍のホモロジー類 $ \gamma $ に属する既約 $ r $-ノード曲線の数 $ N_{g,r} $ は、$ g $ に関して $ r+1 $ 次の多項式で与えられ、$ g > g_0 $ に対して有効である。ここで $ g_0 $ は $ m $ と $ r $ のみに依存する。$ r \leq 8 $ の9つの多項式は明示的に列挙されている。
• 公式が有効である条件は $ m > \frac{3r+5}{2} $ であることが示され、これにより $ k $-非常に正則性と余次元の制御が保証され、反例によりこの条件が鋭いことが確認された。
• 本稿は、$ N_{g,r} $ の母関数がベル多項式と関係しており、$ N_{g,r} = \frac{g}{r!} P_r(a_1, \dots, a_r) $ と表され、ここで $ a_r = (g-1)b_r $ であり、$ b_1, \dots, b_8 $ は明示的に計算された整数であると示した。これにより対称関数論との構造的関係が明確になった。