[論文レビュー] Twistor spaces for supersingular K3 surfaces

Daniel Bragg, Max Lieblich|arXiv (Cornell University)|Apr 19, 2018

Algebraic Geometry and Number Theory参考文献 29被引用数 16

ひとこと要約

本稿は、普遍的 $μ_p$-gerbe 上のねじれた層の相対的モジュライ空間を用いて、超特異 K3 表面の twistor 空間の正の特徴的性質の類似を構築する。これにより、ブラウアー群と幾何的族の関係が確立される。結晶コhomology の Torelli 定理を確立し、極付き K3 モジュライ空間における超特異部分集合の有理的性を証明し、Ogus-Torelli 定理および潜在的良い還元に関する新しい証明を、特徴 3 においても有効に示す。

ABSTRACT

We develop a theory of twistor spaces for supersingular K3 surfaces, extending the analogy between supersingular K3 surfaces and complex analytic K3 surfaces. Our twistor spaces are obtained as relative moduli spaces of twisted sheaves on universal gerbes associated to the Brauer groups of supersingular K3 surfaces. In rank 0, this is a geometric incarnation of the Artin-Tate isomorphism. Twistor spaces give rise to curves in moduli spaces of twisted supersingular K3 surfaces, analogous to the analytic moduli space of marked K3 surfaces. We describe a theory of crystals for twisted supersingular K3 surfaces and a twisted period morphism from the moduli space of twisted supersingular K3 surfaces to this space of crystals. As applications of this theory, we give a new proof of the Ogus-Torelli theorem modeled on Verbitsky's proof in the complex analytic setting and a new proof of the result of Rudakov-Shafarevich that supersingular K3 surfaces have potentially good reduction. These proofs work in characteristic 3, filling in the last remaining gaps in the theory. As a further application, we show that each component of the supersingular locus in each moduli space of polarized K3 surfaces is unirational.

研究の動機と目的

• 特徴 0 における複素 K3 表面の古典的 twistor 構成を、正の特徴の超特異 K3 表面へと拡張すること。
• 普遍的 gerbe 上のねじれた層のモジュライを用いて、Artin-Tate 同型の幾何的実現を確立すること。
• ねじれた超特異 K3 表面のモジュライ空間から結晶空間へのねじれた周期写像を構築すること。
• Ogus-Torelli 定理および Rudakov-Shafarevich の潜在的良い還元に関する結果について、特徴 3 を含む新しい証明を提供すること。
• 極付き K3 モジュライ空間における各超特異部分集合の成分が有理的であることを示すこと。

提案手法

• 超特異 K3 表面 $X$ 上に普遍的 $μ_p$-gerbe を構成し、その平坦コhomology $\mathrm{H}^2(X,\boldsymbol{\mu}_p)$ が、底体上に $\mathbf{A}^1$ に同型な Brauer 群の族をパラメトライズすることを示す。
• この普遍的 gerbe 上のねじれた層の相対的モジュライ空間を用いて、超特異 twistor 家族を定義する。これらは、同一の基底表面をもつが、gerbe 構造が変化するねじれた K3 表面の族である。
• 表面の結晶コhomology を用いて、ねじれた超特異 K3 表面のモジュライ空間から結晶空間へのねじれた周期写像を定義する。
• ねじれた結晶コhomology の Torelli 定理を適用し、ねじれた超特異 K3 表面の同型類がその周期データによって決定されることを示す。
• 繰り返しのねじれた層のモジュライ空間を用いて、任意の超特異 K3 表面が、$\sigma_0=1$ の一意な表面から、逐次的モジュライ構成によって得られることを示す。
• $pNS(X)^*/pNS(X)$ 内の等光的ベクトルの幾何を活用し、twistor 直線をパラメトライズし、Brauer 群が変化する族を構成する。

実験結果

リサーチクエスチョン

• RQ1 正の特徴における超特異 K3 表面に対して、twistor 空間はどのように幾何的に実現可能か？
• RQ2 Brauer 群は、複素 twistor 家族に類似するねじれた K3 表面の族をパラメトライズする上で、果たす役割は何か？
• RQ3 このモジュライ論的構成を用いて、ねじれた超特異 K3 表面に対して結晶コhomology の Torelli 定理を確立できるか？
• RQ4 twistor 家族は、普遍的 gerbe 上のねじれた層のモジュライ空間として自然に生じるか？
• RQ5 極付き K3 モジュライ空間における超特異部分集合は有理的であり、その接空間の幾何的構造は何か？

主な発見

• ねじれた超特異 K3 表面のモジュライ空間は、結晶周期ドメインの開部分集合へ、全射的かつ分岐のない写像をもつ。このドメインは有理的である。
• 極付き K3 表面のモジュライ空間 $M_{2d}$ における超特異部分集合 $S_{2d}$ の任意の既約成分は有理的である。
• $S_{2d}$ の一般点における接空間は、twistor 直線に対応する接方向によって張られる。
• Ogus-Torelli 定理は、Verbitsky の複素解析的証明に類似した結晶コhomology の Torelli 的な方法により、ねじれた超特異 K3 表面に対して証明された。
• Rudakov と Shafarevich の超特異 K3 表面の潜在的良い還元に関する結果が、特徴 3 において再証明され、理論における残りのギャップが埋められた。
• すべての超特異 K3 表面は、$\sigma_0=1$ の表面から、適切な Mukai ベクトルをもつねじれた層のモジュライ空間を繰り返しとることで得られる。