[論文レビュー] Rational points on log Fano threefolds over a finite field

Yoshinori Gongyo, Yusuke Nakamura+1 more|arXiv (Cornell University)|Dec 15, 2015

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

ひとこと要約

本稿では、特徴量 >5 の有限体上での3次元klt Fano三様体が有理点を持つことを、$W\mathcal{O}$-有理特異点と有理的鎖連結性の2つの主要な性質を証明することで確立する。これらは高次Wittベクターコホロロジーの消失を意味し、$\#X(\mathbb{F}_q) \equiv 1 \pmod{q}$ という合同式を導く。この合同式により、少なくとも1つの有理点が保証される。

ABSTRACT

We prove the $W\mathcal{O}$-rationality of klt threefolds and the rational chain connectedness of klt Fano threefolds over a perfect field of characteristic $p>5$. As a consequence, any klt Fano threefold over a finite field has a rational point.

研究の動機と目的

• 特徴量 >5 の有限体上での滑らかなFano多様体に関するEsnaultの定理を、特異Fano型三様体に一般化すること。
• 特徴量 >5 の有限体上でのklt Fano三様体に有理点が存在することを確立すること。
• 特徴量 >5 の完備体上でのklt三様体が $W\mathcal{O}$-有理特異点を持つことの証明。
• 特徴量 >5 のklt Fano三様体が有理的鎖連結であることを示すこと。
• Fano型の場合に、高次Wittベクターコホロロジー $H^i(X, W\mathcal{O}_{X,\mathbb{Q}})$ が $i>0$ で消失することを確立すること。

提案手法

• 最小モデルプログラム（MMP）における帰納法を用いて、pl-収縮とpl-フリップを用いてklt三様体の $W\mathcal{O}$-有理性を証明する。
• MMP操作におけるplt中心の正規化技術を用いて、$W\mathcal{O}$-有理性を保つ。
• Lefschetzトレース公式と[BBE]の結果を用いて、コホロロジーの消失を $q$ を法とする有理点数に結びつける。
• グローバルおよび相対MMP技術を用いて、Fano型の曲面に還元することで有理的鎖連結性を確立する。
• Lerayスペクトル系列を用いて、特異多様体のコホロロジーと $W\mathcal{O}$-有理特異点を持つ多様体のコホロロジーを関連付ける。
• $W\mathcal{O}$-有理特異点と有理的鎖連結性が、$i>0$ に対して $H^i(X, W\mathcal{O}_{X,\mathbb{Q}})$ の消失を意味することを活用する。

実験結果

リサーチクエスチョン

• RQ1 特徴量 >5 の有限体上でのklt Fano三様体は有理点を持つのか？
• RQ2 特徴量 >5 の体上での3次元において、最小モデルプログラムの下で $W\mathcal{O}$-有理性は保存されるか？
• RQ3 特徴量 >5 の完備体上でのklt Fano三様体は有理的鎖連結か？
• RQ4 特徴量 >5 のFano型三様体において、$H^i(X, W\mathcal{O}_{X,\mathbb{Q}})$ が $i>0$ で消失するか？
• RQ5 滑らかなFano多様体に限らない、特異Fano型三様体への $\#X(\mathbb{F}_q) \equiv 1 \pmod{q}$ の拡張は可能か？

主な発見

• 特徴量 >5 の有限体上での任意のklt Fano三様体は、$\#X(\mathbb{F}_q) \equiv 1 \pmod{q}$ であるため、有理点を持つ。
• $W\mathcal{O}$-有理特異点は、特徴量 >5 の完備体上でのすべてのklt三様体に成立し、解体 $\varphi: V \to X$ に対して $i>0$ で $R^i\varphi_*(W\mathcal{O}_{V,\mathbb{Q}}) = 0$ が成り立つ。
• 特徴量 >5 のklt Fano三様体は有理的鎖連結であり、CampanaとKollár–Miyaoka–Moriの特徴量0における結果を一般化する。
• 特徴量 >5 の完備体上での任意のklt Fano三様体において、高次Wittベクターコホロロジー $H^i(X, W\mathcal{O}_{X,\mathbb{Q}})$ は $i>0$ で消失する。
• $q$ を法とする有理点数は $\#X(\mathbb{F}_q) \equiv 1 \pmod{q}$ を満たし、Esnaultの定理が特異Fano型の場合に拡張される。
• $\mathbb{F}_q$ 上の双有理なklt三様体 $X$ と $Y$ に対して、$\#X(\mathbb{F}_q) \equiv \#Y(\mathbb{F}_q) \pmod{q}$ が成り立ち、$q$ を法とする有理点数が保存される。