[論文レビュー] Counting curves which move with threefolds

Herbert Clemens, Holger P. Kley|ArXiv.org|Jul 20, 1998

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

ひとこと要約

本稿では、固定された環境空間 P 内で、K-自明な3次元多様体 X に連続的な曲線族が存在し、その曲線族が非障害的条件を満たす場合、X の一般の変形における仮想的曲線数を計算するための公式を開発する。この手法は変形理論と障害理論を用い、動く族の寄与を補正する項を導出し、変形された3次元多様体上の曲線に対する正確な数え上げ不変量をもたらす。

ABSTRACT

Let X be a (possibly nodal) K-trivial threefold moving in a fixed ambient space P. Suppose X contains a continuous family of curves, all of whose members satisfy certain unobstructedness conditions in P. A formula is given for computing the corresponding virtual number of curves, that is, the number of curves on a generic deformation of X "contributed by" the continuous family on X.

研究の動機と目的

• K-自明な3次元多様体 X に連続的な曲線族が存在する場合、その X の一般の変形における仮想的曲線数を特定すること。
• 変形の下で、動く曲線族の寄与を数え上げ的カウントに組み込むこと。
• 変形過程における幾何的およびコホモロジー的障害を補正する公式を確立すること。
• 非障害的仮定の下で、特異点（例えばノード型）をもつ3次元多様体への曲線数え上げ不変量の一般化すること。
• 変形理論的技法を用いて、3次元多様体の族における仮想的曲線数の体系的な計算手法を提供すること。

提案手法

• 固定された環境空間 P 内での3次元多様体 X の小さな変形における曲線の挙動を、変形理論を用いて分析する。
• 変形された3次元多様体上の曲線のモジュライ空間の仮想次元を計算するために、障害理論を適用する。
• 環境空間 P 内の動く曲線族の正規バンドルおよびコホモロジーに基づいた補正項を導出する。
• オイラー特性およびチャーン類を含む公式を用いて、仮想的曲線数を計算する。
• P 内の曲線における非障害的条件を用いることで、モジュライ空間が滑らかで期待される次元を持つことを保証する。
• 障害空間の計算を単純化するために、X の K-自明性に依存し、正規バンドルの標準的バンドルが自明であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 K-自明な3次元多様体 X 上の連続的な曲線族は、その一般の変形における仮想的曲線数にどのように寄与するか？
• RQ2 このような動く族から生じる仮想的曲線数を計算するための正確な公式は何か？
• RQ3 ノード特異点をもつ3次元多様体を変形する際、障害理論的補正項は数え上げ的カウントにどのように影響するか？
• RQ4 環境空間 P 内の曲線の非障害的性質は、仮想的カウントにどのように影響するか？
• RQ5 3次元多様体の標準バンドルの自明性は、曲線数え上げ公式の一貫性を保証するために果たす役割は何か？

主な発見

• 本稿では、X の一般の変形における仮想的曲線数を計算する公式を導出しており、X 上の連続的な曲線族からの寄与を考慮している。
• 公式は、環境空間 P 内の曲線の正規バンドルのコホモロジーに起因する補正項を組み込んでいる。
• X にノード特異点が存在しても、曲線が P 内で非障害的条件を満たしていれば、結果は有効である。
• 仮想的カウントが X の特定の変形に依存せず、初期の曲線族にのみ依存することが示された。
• この手法により、Calabi-Yau 3次元多様体における古典的曲線数え上げの一般化である、well-defined な数え上げ不変量が得られた。
• 定理 3.3（v2 で強化されたもの）は、やや弱い仮定の下で公式を確立しており、その適用範囲を拡大している。