[論文レビュー] CM liftings of K3 surfaces over finite fields and their applications to the Tate conjecture

Kazuhiro Ito, Tetsushi Ito+1 more|arXiv (Cornell University)|Sep 25, 2018

Advanced Algebra and Geometry参考文献 26被引用数 7

ひとこと要約

この論文は、有限体上の有限高さのK3表面が、複素乗法（CM）をもつ特徴的0のリフトをもつことを示した。これは、直交シムーラ多様体の整数的標準モデルとKuga-Satake準同型を用いる。この結果とMukaiおよびBuskinによるホッジ予想に関する研究を組み合わせることで、任意の有限体上のK3表面の平方におけるcodimension-2サイクルに対するTate予想が証明され、特徴的2および3を含むすべての特性で成立する。

ABSTRACT

We give applications of integral canonical models of orthogonal Shimura varieties and the Kuga-Satake morphism to the arithmetic of K3 surfaces over finite fields. We prove every K3 surface of finite height over a finite field admits a characteristic 0 lifting whose generic fiber is a K3 surface with complex multiplication. Combined with the results of Mukai and Buskin, we prove the Tate conjecture for the square of a K3 surface over a finite field. To obtain these results, we construct an analogue of Kisin's algebraic group for a K3 surface of finite height, and construct characteristic 0 liftings of the K3 surface preserving the action of tori in the algebraic group. We obtain these results for K3 surfaces over finite fields of any characteristics, including those of characteristic 2 or 3.

研究の動機と目的

• 有限体上の有限高さのK3表面に対して、特徴的0のリフトが複素乗法（CM）をもつことを確立すること。
• 任意の有限体上のK3表面の平方におけるcodimension-2代数的サイクルに対するTate予想を証明すること。
• 特徴的2および3で技術的困難が生じるが、すべての特性にまでこの結果を拡張すること。
• 有限高さのK3表面に対してKisin型代数群を構成し、その群を用いてリフト下でのホッジ構造を制御すること。
• 特徴的2におけるKuga-Satake準同型のエタール性の証明における誤りを、整数的比較定理を用いて是正すること。

提案手法

• 各 quasi-polarized K3表面（$ \overline{\mathbb{F}}_q $ 上で有限高さ）に対して、シムーラ多様体のKisinの構成と類似する、$ \mathbb{Q} $ 上の代数群 $ I $ を構成する。
• 各最大トーラス $ T \subset I $ に対して、$ T(\mathbb{Q}) $ が特徴的0のリフトにおける特徴的0のコホロロジーに作用するように、$ \mathbb{Q} $-ホッジ構造を保つK3表面のリフトを構成する。
• 直交シムーラ多様体の整数的標準モデルを用いて、$ T(\mathbb{Q}) $ のコホロロジーへの作用が有理的であることを保証する。
• Bhatt-Morrow-Scholzeの整数的比較定理を用いて、小特徴的（2および3）における技術的困難を処理する。
• F-クリスタルを用いた直交シムーラ多様体上のKuga-Satake準同型の修正されたエタール性を活用する。
• 一般化されたファイバーにおける $ T(\mathbb{Q}) $ の作用を用い、各元が $ X \times X $ 上のcodimension-2代数的サイクルによって引き起こされることを示す。これはMukaiおよびBuskinによるホッジ予想の結果に基づく。

実験結果

リサーチクエスチョン

• RQ1 有限体上の有限高さのK3表面は、すべて特徴的0のリフトをもち、その一般化ファイバーに複素乗法（CM）をもつのか？
• RQ2 任意の有限体上のK3表面に対して、$ X \times X $ 上のcodimension-2サイクルに対するTate予想は、特性にかかわらず証明可能か？
• RQ3 K3表面に付随する代数群のトーラスの作用を保つような特徴的0リフトをどのように構成できるか？
• RQ4 直交シムーラ多様体の整数的標準モデルは、リフト下でのホッジ構造の有理的性をどのように制御するか？
• RQ5 現代のp進コホロロジー道具を用いて、特徴的2におけるKuga-Satake準同型のエタール性の誤りをどのように是正できるか？

主な発見

• 有限体 $ \mathbb{F}_q $ 上の有限高さのK3表面は、$ \mathbb{F}_q $ を有限拡大に置き換えることで、一般化ファイバーが複素乗法（CM）をもつ特徴的0のリフトをもつ。
• 任意の有限体 $ \mathbb{F}_q $ 上のK3表面 $ X $ に対して、$ X \times X $ 上のcodimension-2代数的サイクルに対するTate予想は、特性にかかわらず成立する。
• Bhatt-Morrow-Scholzeの整数的比較定理を用いることで、特徴的2および3を含むすべての特性でCMリフトの構成が有効である。
• 各 $ T(\mathbb{Q}) $ の元が、K3表面の積に関するホッジ予想の結果を用いて、$ X \times X $ 上のcodimension-2代数的サイクルによって引き起こされる。
• 特徴的2におけるKuga-Satake準同型のエタール性の証明における誤りは、直交シムーラ多様体上のF-クリスタルと整数的比較定理を用いて是正された。
• 結果はすべての有限体に拡張可能であり、特徴的 $ p \geq 5 $ に対してもNygaard-Ogus理論が適用可能であるが、主な手法はすべての特性にわたって一様に適用可能である。