[論文レビュー] The geometric Bogomolov conjecture

Serge Cantat, Ziyang Gao+2 more|arXiv (Cornell University)|Sep 4, 2018

Advanced Differential Equations and Dynamical Systems参考文献 21被引用数 2

ひとこと要約

本稿は、特徴量がゼロの関数体上での幾何的ボゴモロフ予想を証明する。アーベル多様体の関数体上の非特異的部分多様体 X に対して、X がねじれコセットでない（つまり特異的でない）ならば、X 内の小点の集合はザリスキ密ではない。証明は、ネロン＝ターテの高さに関連する自然な (1,1)-形式、ならびにモノドロミーの議論を用いてホロノミーに関する不変性を示し、最終的に K/k-トレースが自明なアーベル多様体に問題を還元し、力学的および代数的幾何学的手法を適用する。

ABSTRACT

We prove the geometric Bogomolov conjecture over a function field of characteristic zero.

研究の動機と目的

• 関数体上のアーベル多様体の非特異的部分多様体に対して、小点の集合がザリスキ密でないことを示す、特徴量ゼロにおける幾何的ボゴモロフ予想を証明すること。
• 小点の集合がザリスキ密である条件を、多様体の幾何的構造と結びつけて、明確な基準を確立すること。
• 曲線や低次元多様体の既存の結果を、任意の部分多様体に対する一般の場合に拡張すること。
• Betti葉層と自然な高さ理論を統合し、特にモノドロミーとホロノミー不変性の文脈で、以前の手法を統一的かつ強化すること。
• Yamaki と Gubler による長年の予想を解決し、Ullmo, Zhang および他の研究者らの基盤的業績に基づくものである。

提案手法

• アーベルスキームの一般ファイバーに、局所的Betti写像とモノドロミーを用いて定義されるBetti葉層を導入し、ねじれ点の構造とそのホロノミーを捉える。
• 滑らかでない部分を除くアーベルスキーム上の自然な半正定 (1,1)-形式 ω を構成し、これはBetti葉層の葉に沿って消え、ネロン＝ターテの高さと関係する。
• Gublerの不等式を用いて、小点がXにおいてザリスキ密ならば、Xの自然な高さが消えることを示し、これにより積分が消えることを導く： ∫_{X^o} ω^{dim X + 1} ∧ (π^* ν)^{m-1} = 0。
• この消滅条件が、部分多様体XがBetti葉層に関して不変である、すなわち滑らかな点における葉の接空間がXの接空間に含まれることを強制することを証明する。
• Pila-Zannierとは独立したMuchnikの力学的結果を用い、ファイバー上のモノドロミー作用に関して不変な任意の部分多様体は、アーベル部分多様体のねじれコセットでなければならないことを示す。
• 基底変換とアーベル多様体のトレースと非トレース部への分解により、一般の場合をトレースが自明な場合に還元し、不変性とねじれコセット構造を適用して、X が特異的であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 関数体上のアーベル多様体の部分多様体 X における小点の集合が、どのような条件下でザリスキ密になるか？
• RQ2 特徴量ゼロの関数体上での幾何的ボゴモロフ予想は、一般に証明可能か？
• RQ3 Betti葉層とそのモノドロミー作用は、自然な高さおよび小点のザリスキ密性とどのように関係するか？
• RQ4 小点のザリスキ密性が部分多様体 X に課す構造的制約は何か？
• RQ5 ファイバー上のモノドロミー作用が、部分多様体をねじれコセットに強制する程度はどの程度か？

主な発見

• 特徴量ゼロにおける幾何的ボゴモロフ予想は成立する：X が特異的でない限り、ある ε > 0 に対して X_ε は X においてザリスキ密でない。
• X の自然な高さがゼロであることは、X^o 上での (1,1)-形式 ω の積分がゼロであることと同値であり、これはXがBetti葉層に関して不変であることと同値である。
• 部分多様体XがBetti葉層に関して不変であることと、X 内の小点の集合がザリスキ密であることとは同値である。
• 各ファイバー Ab に対して、Xb はモノドロミー群に関して不変であり、したがって Ab のアーベル部分多様体のねじれコセットである。
• K/k-トレースが自明な場合、X はアーベル多様体そのもののねじれコセットであり、一般にはトレース部分と非トレース部分の積のねじれコセットである。
• 証明により、アーベルスキームにおけるXのザリスキ閉包がねじれコセットであることが示され、X が予想における意味で特異的であることが確認された。