[論文レビュー] On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension

Jason P. Bell, Dragos Ghioca+2 more|arXiv (Cornell University)|Oct 12, 2016

Algebraic Geometry and Number Theory参考文献 18被引用数 9

ひとこと要約

本稿は、特性が0の代数閉体上における非負のコイダラ次元をもつ最小三様相に対して、Medvedev-Scanlon予想を証明する。Beauville-Bogomolov分解を用い、ネフ錐の力学と$c_2$-収縮を介して双有理自己同型を分析することで、任意の有理ファイブレーションを保存しないような自己同型はZariski稠密な軌道を持つことを示し、この場合における三様相について予想を解決する。主な結果として、$ \kappa(X) > 0$ であるすべての最小三様相について、および $ \kappa(X) = 0$ である場合において標準的予想のもとで、予想が成立することが確認される。

ABSTRACT

Motivated by work of Zhang from the early `90s, Medvedev and Scanlon formulated the following conjecture. Let $K$ be an algebraically closed field of characteristic $0$ and let $X$ be a quasiprojective variety defined over $K$ endowed with a dominant rational self-map $Φ$. Then there exists a point $α\in X(K)$ with Zariski dense orbit under $Φ$ if and only if $Φ$ preserves no nontrivial rational fibration, i.e., there exists no non-constant rational function $f\in K(X)$ such that $Φ^*(f)=f$. The Medvedev-Scanlon conjecture holds when $K$ is uncountable. The case where $K$ is countable (e.g., $K=\overline{\mathbb{Q}}$) is much more difficult; here the conjecture has only been proved in a small number of special cases. In this paper we show that the Medvedev-Scanlon conjecture holds for all varieties of positive Kodaira dimension, and explore the case of Kodaira dimension $0$. Our results are most complete in dimension $3$.

研究の動機と目的

• 代数閉体 $\overline{\mathbb{Q}}$ 上の非負コイダラ次元をもつ最小三様相について、Medvedev-Scanlon予想を確立すること。
• 既知のケースを超えて、特に $\kappa(X) > 0$ および $\kappa(X) = 0$ をもつ多様体について、予想の有効性を拡張すること。
• 最小モデルプログラムにおける標準的予想のもとで、$\kappa(X) = 0$ の場合、多様体をCalabi-Yau、ハイパーカラーやアーベル多様体の積に還元すること。
• ねじれ正則標準束をもつ最小三様相における擬自己同型の力学をネフ錐と$c_2$-収縮を用いて分析すること。

提案手法

• 代数閉体 $\overline{\mathbb{Q}}$ 上でBeauville-Bogomolov分解定理を適用し、$\kappa(X) = 0$ である最小三様相をCalabi-Yau、ハイパーカラーやアーベル多様体の積に分解する。
• 正のコイダラ次元をもつ多様体上の双有理自己同型は、有理ファイブレーションを保存する必要があることを利用し、それにより軌道が稠密でないことが示され、Medvedev-Scanlon予想は自明に成立する。
• $\phi^*$ がネフ錐 $\operatorname{Nef}(X)$ に作用する様子を分析し、$c_2(X) \cdot D \leq M$ で定義される領域のコンパクト性を用いて、$\phi^*$ があるアーベルクラス $A$ を固定することを示す。
• $\phi^*$ により固定される（ねじれを除いて）非常に正則な線分束 $\mathcal{M}$ を構成し、線形同値を用いてスケーリング後に $\phi^*\mathcal{M} \cong \mathcal{M}$ を示す。
• $c_2$-収縮 $\pi: X \to Y$ を用いて問題を低次元の場合に還元し、このような収縮の有限性と $\phi$ が $Y$ 上の $\overline{\phi}$ に降下することを用いる。
• $p$-進弧補題と $\mathbb{P}^1$ 上の有理写像に関する結果を適用し、$\dim Y = 1$ の場合に非自明なファイブレーションが存在しないことを示し、$\overline{\phi}$ が3点を固定する場合に矛盾が生じることを導く。

実験結果

リサーチクエスチョン

• RQ1 正のコイダラ次元をもつ最小三様相について、Medvedev-Scanlon予想は成立するか？
• RQ2 標準的予想のもとで、$\kappa(X) = 0$ の場合、予想はCalabi-Yau、ハイパーカラー、アーベル多様体のタイプに還元可能か？
• RQ3 ねじれ正則標準束をもつ最小三様相における擬自己同型が、有理ファイブレーションを保存しない場合、どのような力学的挙動が生じるか？
• RQ4 $c_2$-収縮とネフ錐構造は、不変ファイブレーションまたは稠密な軌道の存在をどのように制約するか？
• RQ5 コイダラ次元 $\kappa(X) = 0$ をもつ最小三様相の双有理自己同型が、稠密な軌道をもつ低次元多様体への自己同型に降下する条件は何か？

主な発見

• 正のコイダラ次元 $\kappa(X) > 0$ をもつすべての最小三様相について、Medvedev-Scanlon予想は自明に成立する。なぜなら、任意の双有理自己同型は有理ファイブレーションを保存する必要があるからである。
• ねじれ正則標準束をもつ $\kappa(X) = 0$ の最小三様相について、$c_2(X)$ がネフ錐上で正である限り、$\phi^*$-不変なアーベルクラスが存在するため、予想は成立する。
• 非ゼロの半正則除集合 $D$ で $c_2(X) \cdot D = 0$ を満たすものが存在する場合、対応する $c_2$-収縮 $\pi: X \to Y$ を用いて問題を低次元に還元できる。
• 場合 $\dim Y = 3$ では、写像 $\pi$ は双有理的である。もし $\phi$ がファイブレーションを保存しないならば、$Y$ は有理的でなければならないが、これは $\kappa(X) = 0$ に矛盾する。ゆえに、このようなファイブレーションは存在しない。
• $\dim Y = 2$ の場合、既知の曲面に関する結果により予想は成立する。$\dim Y = 1$ の場合、$\mathbb{P}^1$ 上の自己同型 $\overline{\phi}$ が3点を固定するならば、自明でなければならない。これは不変量の欠如に矛盾する。
• 以上より、非自明な有理ファイブレーションは保存されず、すべての最小三様相について $\kappa(X) \geq 0$ の場合に予想は確認された。