[論文レビュー] A lifting of an automorphism of a K3 surface over odd characteristic

Junmyeong Jang|arXiv (Cornell University)|Jul 22, 2014

Algebraic Geometry and Number Theory参考文献 1被引用数 3

ひとこと要約

本稿は、奇数の特異的特徴を持つ代数閉体上でのK3表面の自己同型の上げ定理を確立する。有限高さのK3表面の弱い tame 自己同型および特異的K3表面の特定の非シンプレクティックまたはシンプレクティック自己同型は、ウィット環上に上げられることが証明される。主な貢献は、有限高さの弱い tame K3表面に対して、その自己同型群全体がウィット環上にグローバルに上げられることの存在であり、特定の順序の純粋非シンプレクティック自己同型を備えたK3表面の一意性である。

ABSTRACT

In this paper, we prove that, over an algebraically closed field of odd characteristic, a weakly tame automorphism of a K3 surface of finite height can be lifted over the ring of Witt vectors of the base field. Also we prove that a non-symplectic tame automorphism of a supersingular K3 surface or a symplectic tame automorphism of a supersingular K3 surface of Artin-invariant at least 2 can be lifted over the ring of Witt vectors. Using these results, we prove, for a weakly tame K3 surface of finite height, there is a lifting over the ring of Witt vectors to which whole the automorphism group of the K3 surface can be lifted. Also we prove a K3 surface equipped with a purely non-symplectic automorphism of a certain order is unique up to isomorphism.

研究の動機と目的

• 奇数の特徴を持つ有限高さのK3表面の弱い tame 自己同型が、その基底体のウィット環上に上げられることを証明すること。
• この上げ結果を、特異的K3表面の非シンプレクティックおよびシンプレクティック tame 自己同型へと拡張すること。
• 有限高さの弱い tame K3表面に対して、その自己同型群全体がウィット環上にグローバルに上げられることを示すこと。
• 代数閉体上で奇数の特徴を持つ、特定の順序の純粋非シンプレクティック自己同型を備えたK3表面の一意性を確立すること。

提案手法

• K3表面の第二ウィットコホロロジーへの自己同型の作用を分析するため、クリスタリンコホロロジーとスロープ分解の使用。
• 自己同型作用下での安定部分加群を用いた、K3表面のネロン＝セバール群を保存するウィット環上への上げの構成。
• 正の特徴におけるK3表面のトーリン型定理を応用し、コホロロジー上の自己同型作用と幾何的自己同型を関連付ける。
• 超越的ラティス上の表現と正則2形式上の表現の整合性を活用し、線形作用の整合的上げを通じて自己同型を上げること。
• 形式ブラーファンクターのディエュドネモジュール構造を用いて、高さおよびクリスタリンコホロロジー分解を分析する。
• 基底を複素数体に変更することで複素幾何学への還元を行い、既知の複素K3表面における純粋非シンプレクティック自己同型の一意性結果を適用する。

実験結果

リサーチクエスチョン

• RQ1 奇数の特徴を持つ有限高さのK3表面の弱い tame 自己同型は、その基底体のウィット環上に上げられるか？
• RQ2 特異的K3表面の非シンプレクティックまたはシンプレクティック tame 自己同型は、ウィット環上に上げられるか？
• RQ3 有限高さの弱い tame K3表面に対して、その自己同型群全体がウィット環上にグローバルに上げられるか？
• RQ4 与えられた順序 $ N \in \Sigma = \{13,17,19,25,27,32,33,40,44,50,66\} $ に対して、$ 2N $ を割らない奇数の特徴を持つ代数閉体上に、純粋非シンプレクティック自己同型を備えたK3表面が一意に存在するか？
• RQ5 自己同型の上げが存在することは、基底体上でのK3表面の一意性を示唆するか？

主な発見

• 奇数の特徴を持つ代数閉体上に存在する有限高さのK3表面の弱い tame 自己同型は、その基底体のウィット環上に上げられる。
• 特異的K3表面の非シンプレクティック tame 自己同型またはアーティン不変量が2以上の特異的K3表面のシンプレクティック tame 自己同型は、ウィット環上に上げられる。
• 有限高さの弱い tame K3表面に対して、その自己同型群全体が一般ファイバーに上げられるウィット環上への上げが存在する。
• 奇数の特徴におけるK3表面のクリスタリン超越的ラティスのランクは、自己同型の正則2形式上の表現における像の順序 $ N $ に対して $ \phi(N) $ で割り切れる。
• $ N \in \Sigma $ に対して、純粋非シンプレクティック自己同型を備えたK3表面は、$ 2N $ を割らない奇数の特徴を持つ代数閉体上では同型を除き一意に存在する。
• 純粋非シンプレクティック自己同型を備えた順序 $ N \in \Sigma $ のK3表面は、有限体上にモデルをもち、その還元は対応する複素K3表面の良い還元と同型である。