[論文レビュー] The Shafarevich conjecture revisited: Finiteness of pointed families of polarized varieties

Ariyan Javanpeykar, Ruiran Sun+1 more|arXiv (Cornell University)|May 12, 2020

Algebraic Geometry and Number Theory参考文献 58被引用数 12

ひとこと要約

この論文は、固定された標的点を持つ曲線からモジュライ空間への非定数の準同型写像の数が有限であるという条件下で、極小化された多様体の点付き族に関する有限性結果を証明する。主な貢献は、双曲幾何と変形理論的手法を用いて、正則的に極小化された多様体のためのシャファレヴィチ予想の新しい版を検証することであり、モジュライ空間上の整数点やパーシステンス予想への応用を含む。

ABSTRACT

Motivated by Lang-Vojta's conjectures on hyperbolic varieties, we prove a new version of the Shafarevich conjecture in which we establish the finiteness of pointed families of polarized varieties. We then give an arithmetic application to the finiteness of integral points on moduli spaces of polarized varieties.

研究の動機と目的

• 曲線のアラケロフ＝パーチンの有限性定理を一般化して、極小化された多様体の点付き族に関する有限性結果を確立すること。
• やや強い有界性と双曲幾何を用いて、極小化された多様体のモジュライ空間に対してパーシステンス予想を検証すること。
• 有限生成体上の極小化された多様体のモジュライ空間における整数点の有限性を証明することで、算術的応用を提供すること。
• 点付き族の有限性が、ラング＝ヴォイタの予想における双曲的多様体と整数点の関係にどのように関連するかを明らかにすること。

提案手法

• 固定されたヒルベルト多項式を持つ極小化された多様体をパラメトライズする、有限型のデリーニュ＝マクマロンスタックを、ヒルベルトスキーム理論とマツサカの大定理を用いて構成する。
• 変形理論とヒッグスバンドル技法を適用して、基底多様体上の族の幾何を制御する。
• アラケロフ不等式と canonical バンドルの半正則性を用いて、曲線からモジュライ空間への準同型写像の有限性条件を導出する。
• 分類写像の準有限性を用いて、曲線 $C$ から多様体 $U$ への非定数の準同型写像で、固定された標的点を持つものの問題を有限性条件に還元する。
• 任意の曲線 $C$ と十分に多くのマークド点に対して、$U$ への引き戻しの数が有限であることを示すことにより、モジュライ空間のやや強い有界性を確立する。
• 有限性結果と、算術的に双曲的な多様体の理論および体拡張を用いて、パーシステンス予想を結びつける。

実験結果

リサーチクエスチョン

• RQ1 高次元のモジュライ空間に対して、極小化された多様体の点付き族の有限性は、古典的なシャファレヴィチ予想を一般化して成り立つか？
• RQ2 有界性の性質を用いて、正則的に極小化された多様体のモジュライ空間に対してパーシステンス予想を検証できるか？
• RQ3 極小化された多様体のモジュライ空間の双曲的性質が、有限生成体上での整数点の有限性をどの程度まで示唆するか？
• RQ4 曲線からモジュライ空間への非定数の準同型写像の有限性は、canonical バンドルの正則性と変形理論の結果の帰結として生じるか？

主な発見

• 固定された $N$ 個の点 $c_i$ に対して $f(c_i) = u_i$ を満たす非定数の準同型写像 $f: C \to U$ の集合は、$N \nleq \frac{\deg h - 1}{2}(2g(\overline{C}) - 2 + \#(\overline{C} \setminus C))$ のとき有限である。これは、シャファレヴィチ予想の点付き版を証明する。
• ヒルベルト多項式 $h$ を持つ極小化された多様体のモジュライ空間 $\mathcal{M}_h$ は、やや強い有界性を持つ。すなわち、任意の曲線 $C$ と十分に多くのマークド点に対して、固定された像を持つ $U$ への準同型写像の数は有限である。
• 任意の代数閉体 $k$ 上の体の特徴が 0 であるような多様体 $U$ が、$\mathcal{M} \otimes_{\mathbb{Q}} k$ への準有限写像をもつとき、パーシステンス予想は成り立つ。これは、体拡張上での算術的に双曲的な振る舞いを保証する。
• パーシステンス予想を用いて、アーベル的スキーム内の滑らかな超曲面におけるリチャードソン＝サインの整数点の有限性結果を、有限生成体へ一般化する。
• 証明は、ヴィエフェグ＝ツォーによって確立された正則的に極小化された多様体のモジュライ空間の双曲的性質と、固定されたファイバー条件における族の有界性に依存する。
• 曲線の genus $g \geq 2$ の場合、$h(t) = (2g-2)t + (1-g)$ かつ $N=0$ のとき、古典的なシャファレヴィチ予想が特別な場合として回復される。