[論文レビュー] On Irreducible Symplectic Varieties of $\mathrm{K3}^{[n]}$-type in Positive Characteristic

Ziquan Yang|arXiv (Cornell University)|Nov 13, 2019

Algebraic Geometry and Number Theory参考文献 59被引用数 4

ひとこと要約

本稿は、特性が0または $ p > n+1 $ である体上での $\mathrm{K3}^{[n]}$-型の非退化なシンプレクティック多様体の定義を確立し、それらの混合特性のモジュライ空間を構成し、オグスのクリスタリン・トーリー定理を超特異 $\mathrm{K3}^{[n]}$-型多様体に一般化する。主な貢献は、クリスタリン・コホモロジーとネロン＝セベリ群の構造を用いて、このような多様体を分類するクリスタリン・トーリー定理の確立である。

ABSTRACT

We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties. Our main result is a generalization of Ogus' crystalline Torelli theorem for supersingular K3 surfaces. For applications, we answer a slight variant of a question asked by F. Charles on moduli spaces of sheaves on K3 surfaces and give a crystalline Torelli theorem for supersingular cubic fourfolds.

研究の動機と目的

• 任意の標数0または $ p > n+1 $ である体上での $\mathrm{K3}^{[n]}$-型多様体の堅牢な定義を、古典的な複素数および $ p $-進定義に拡張すること。
• $\mathbb{Z}_{(p)}$ 上のプリミティブに極化された $\mathrm{K3}^{[n]}$-型多様体の混合特性モジュライ空間を構成し、それが正則な準射影的スキームによるファイナル・エタール被覆を持つデリーニュ＝マクナリー・スタックであることを証明すること。
• 超特異 $\mathrm{K3}$ 表面のオグスのクリスタリン・トーリー定理を、正標数における高次元の $\mathrm{K3}^{[n]}$-型多様体に一般化すること。
• F. チャールズが提起した、正標数における $\mathrm{K3}$ 表面の層のモジュライ空間の有界性に関する問題の変種を解決すること。
• 立方体の四次元超曲面のファノ多様体（直線のファノ多様体）を介して、超特異な立方体四次多様体に対するクリスタリン・トーリー定理を確立すること。

提案手法

• 標数 $ p > n+1 $ である完全体 $ k $ 上で、$ W(k) $ への持ち上げと整合する極化およびホッジ数の条件を用いて、$\mathrm{K3}^{[n]}$-型多様体を定義する。
• 形式的変形理論とウィットベクトルコホモロジーの理論を用いて、$ k $ 上の $ X $ 上のラインバンドルおよび極化が、$ W(k) $ の有限平坦拡大上の形式的変形へ持ち上がるこを示す。
• $\mathbb{Z}_{(p)}$ 上のプリミティブに極化された $\mathrm{K3}^{[n]}$-型多様体の度数 $ d $ のモジュライ函子 $\mathsf{M}_{n,d}$ を構成し、それが有限型のデリーニュ＝マクナリー・スタックであることを証明する。
• レベル構造と向きを導入することで、正則な準射影的スキームによって代表される良いモジュライ空間を得る。
• クリスタリン・コホモロジー $ H^2_{\mathrm{cris}}(X/W) $ が、ネロン＝セベリ群および極化と整合する $ F $-クリスタル構造を自然に持つことを証明する。
• 形式的ブラーフォームの理論とセールのウィットベクトルコホモロジーを用いて、$ H^2_{\mathrm{cris}}(X/W) $ 上のフロベニウス作用の核を分析し、$ W_i = W/p^iW $ に対して次元が $ \min(i, h-1) $ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 正標数 $ p > n+1 $ である体上に、$\mathrm{K3}^{[n]}$-型多様体の良い定義を定義できるか？
• RQ2 $\mathbb{Z}_{(p)}$ 上のプリミティブに極化された $\mathrm{K3}^{[n]}$-型多様体のモジュライ空間は存在し、良い幾何的性質を持つだろうか？
• RQ3 超特異 $\mathrm{K3}^{[n]}$-型多様体に対して、オグスの結果を一般化したクリスタリン・トーリー定理が成り立つだろうか？
• RQ4 この枠組みを用いて、正標数における $\mathrm{K3}$ 表面の層のモジュライ空間の有界性を確立できるだろうか？
• RQ5 超特異な立方体四次多様体の直線のファノ多様体に対して、クリスタリン・トーリー定理は成り立つだろうか？

主な発見

• モジュライ函子 $\mathsf{M}_{n,d}$ は $\mathbb{Z}_{(p)}$ 上の有限型のデリーニュ＝マクナリー・スタックであり、正則な準射影的スキームによる有限エタール被覆を持つ。
• 代数閉体 $ k $ 上の標数 $ p > n+1 $ である $\mathrm{K3}^{[n]}$-型多様体 $ X $ 上の任意のラインバンドル $\zeta $ に対して、$ W(k) $ の有限平坦拡大 $ W' $ が存在し、$ X $ が $\mathrm{Spf}\,W' $ 上に形式的変形を持ち、$ \zeta $ がその上に延長可能である。
• $ W(k) $ の有限平坦拡大 $ V' $ 上での $ X $ の変形 $ X_{V'} $ がプリミティブ極化を持ち上げるならば、$ X_{V'} $ の任意の幾何的一般ファイバーは $\mathrm{K3}^{[n]}$-型である。
• 超特異 $\mathrm{K3}^{[n]}$-型多様体 $ X $ は、クリスタリン・コホモロジー $ H^2_{\mathrm{cris}}(X/W) \to H^2_{\mathrm{cris}}(X'/W) $ に上に持ち上がる同型 $ \psi: \mathrm{NS}(X) \to \mathrm{NS}(X') $ によって、同型を除いて一意に決定される。この同型はフロベニウスおよび極化を保存する。
• $ H^2_{\mathrm{cris}}(X/W) $ 上のフロベニウス作用の核の次元は、$ W_i = W/p^iW $ に対して $ \min(i, h-1) $ である。ここで $ h $ は形式的ブラーフォームの高さである。
• $ n \geq 1 $ に対して、写像 $\beta_n: H^1(B_n) \to H^1(\Omega_Y^1) $ は単射であり、これはカルティエ作用素のコホモロジー的構造が制御され、安定化することを意味する。