[論文レビュー] Classifying sections of del Pezzo fibrations, II

Brian Lehmann, Sho Tanimoto|arXiv (Cornell University)|Jul 10, 2021

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

ひとこと要約

本稿は、複素曲面上の分岐 del Pezzo 纤維構造（次数 ≥2）に対して、移動可能 Bend-and-Break レムマを導入することで、相対的自由な切断の分類を可能にし、幾何的 Manin の予想を確立する。この手法により、全線系を備えたような fibrations に対して、ネフ錐の平行移動内の各数的類が、切断空間のちょうど一つの既約成分に対応することが保証され、一意性が保証され、安定写像と自由な有理曲線の接合を用いた帰納的分類が可能になる。

ABSTRACT

Let $X$ be a del Pezzo surface over the function field of a complex curve. We study the behavior of rational points on $X$ leading to bounds on the counting function in Geometric Manin's Conjecture. A key tool is the Movable Bend and Break Lemma which yields an inductive approach to classifying relatively free sections for a del Pezzo fibration over a curve. Using this lemma we prove Geometric Manin's Conjecture for certain split del Pezzo surfaces of degree $\geq 2$ admitting a birational morphism to $\mathbb P^2$ over the ground field.

研究の動機と目的

• 複素曲線上の del Pezzo 纤維構造の切断空間の既約成分を分類すること、特に相対的自由な切断に焦点を当てる。
• 有界な表面族によって制御される非支配的かつ非相対的自由な切断族の構造的理解を確立すること。
• 全線系と高い高さの下で、与えられた数的類に属する相対的自由な切断をパラメトライズする成分の一意性を証明すること。
• 安定写像と自由な有理曲線の接合を用いた帰納的枠組みを提供し、高さの大きな切断を研究すること。
• 全線系を備えた分岐 del Pezzo 表面（次数 ≥2）に対して、幾何的 Manin の予想を検証すること。

提案手法

• 切断に関する問いを、ファイバー内の有理曲線の性質に還元するため、移動可能 Bend-and-Break レムマを導入する。
• −K_{X/B} の相対的ネフ性を、切断および表面の挙動を制御する主要な幾何的仮定として用いる。
• ファイバー内の自由な有理曲線に対して接合と滑らか化の技術を適用し、低い高さの切断から新しい相対的自由な切断を構成する。
• アーベル・ジャコビ写像とグロモフ＝ウィッテン不変量を、切断成分に関する構造的結果を通じて間接的に用いる。
• 数的類写像 μ: M → N₁(X)ℤ を用いて、切断成分の構造とその一意性を分析する。
• R-加群と有限個の基本成分 M₁,…,Ms を用いた加群論的構成を適用し、数的類写像のファイバーのサイズを研究する。

実験結果

リサーチクエスチョン

• RQ1 ファイバーのネフ錐の平行移動内の各数的類が、切断空間のちょうど一つの既約成分に対応するための条件は何か？
• RQ2 移動可能 Bend-and-Break レムマを用いて、del Pezzo 纤維構造における高さの大きな相対的自由な切断を帰納的に分類する方法は何か？
• RQ3 非相対的自由または非支配的な切断族の挙動を制御する有界な表面族は何か？
• RQ4 del Pezzo 纤維構造に全線系が存在する場合、その切断空間成分の構造にどのような影響を与えるか？
• RQ5 数的類写像 μ: M → N₁(X)ℤ が、あるネフ錐の平行移動上で単射であるための条件は何か？

主な発見

• 全線系を備えた次数 ≥2 の del Pezzo 纤維構造に対して、任意の数的類 β ∈ α + Nef₁(Xη) に対して、Sec(X/B) のちょうど一つの既約成分が存在し、それが一般には相対的自由な切断をパラメトライズする。
• 移動可能 Bend-and-Break レムマにより、高さ ≥ Q(X) の任意の相対的自由な切断の閉包は、安定写像のモジュライ空間に、一つの自由な垂直有理曲線と一つの相対的自由な切断からなる二成分の安定写像を含むことが保証される。
• 高さ ≥ C(X) の非支配的切断族は、各ファイバーの反 canonical 度 ≤2 である有限個の表面 Y の合併に掃引される。
• 高さ ≥ D(X) の支配的でない相対的自由でない切断族は、各ファイバーの反 canonical 度が 2 である有界な表面族 Y に含まれる。
• 数的類写像 μ の α + R におけるファイバー（R ∈ Nef₁(F)ℤ）のサイズは、正確に s（基本成分の数）に等しく、これは各クラスにおいて μ の単射性を示唆する。
• 証明は、任意の二成分 M, M′ ∈ M が共通の自由曲線 R により接続可能であり、R·M = R·M′ を満たすという主張に依拠しており、これによりファイバーのサイズ解析と一意性が得られる。