Symmetric Differentials on K3 Surfaces

技術要約：K3曲面上の対称微分

問題設定
本論文は、任意の標数 $p \ge 0$ の代数閉体 $k$ 上のK3曲面における、大域的な対称微分の分類を扱う。具体的には、$n \ge 1$ に対するベクトル空間 $H^0(X, \text{Sym}^n \Omega^1_X)$ の次元を決定することを目的としている。特性ゼロにおけるこれらの空間の消滅は、（超越的な手法によるKobayashiの結果、および最近のCiliberto–Gounelasによる代数的な証明により）K3曲面に対して既知の定理であるが、正標数 $p > 0$ における挙動は未解決であった。著者らは、すべての標数におけるこれらの空間を計算し、対称微分の存在と射影化余接束 $P(\Omega^1_X)$ の双有理幾何学との関係を明らかにすることを目指している。

手法
証明は、対称微分の存在に一重有理性（uniruledness）が必要であることを確立するフェーズと、明示的な射影モデルと格子論を用いて超特異（supersingular）K3曲面の具体的なケースを分析するフェーズの、主に2つの段階に分かれている。

1. 対称微分から一重有理性へ:

   • スペクトル因子（Spectral Divisors）: 非ゼロの切断 $s \in H^0(X, \text{Sym}^n \Omega^1_X)$ は、射影化余接束 $P(\Omega^1_X)$ 内のスペクトル因子 $\Sigma_s$ を定義する。
   • 半安定性と簡約化: $X$ が一重有理でないと仮定した場合、著者らは（Langerによる結果を用い）$\Omega^1_X$ のフロベニウス・プルバックの傾斜半安定性（slope-semistability）を利用して、最小のスペクトル因子が簡約（reduced）、既約、かつ水平（horizontal）であることを示す。
   • 分離性と根の抽出: 特性 $p > 0$ において、スペクトル因子を定義する一般的二元形式は非分離的である場合がある。著者らは、フロベニウス単項準同型を用いることで、次数 $n = p^e \cdot m$ を分解し、分離的かつ既約な一般的二元形式を持つ新しい切断 $t$ を生成する、大域的な $p$ 乗根抽出プロセスを構築する。
   • エタール被覆: もし $m \ge 2$ であれば、分離的なスペクトル因子は $X$ の連結な有限エタール被覆を与える。K3曲面は自明なエタール基本群を持つため、このような被覆は存在し得ず、これは $m=1$ でない限り矛盾を導く。
   • フロベニウス捻れ付きベクトル場: $m=1$ の場合、切断 $t$ は $(F^e_X)^* \Omega^1_X$ の非ゼロの大域的切断に対応する。著者らは、カルテ（Cartier）の標準接続と降下（descent）の議論を用いてこれを排除し、非一重有理なK3曲面上ではそのような切断は存在し得ないことを示す。
   • 結論: したがって、非ゼロの対称微分を持つ任意のK3曲面は一重有理であり、その結果として超特異（Shioda-supersingular）である。

2. 超特異K3曲面の分析:

   • 四次多項式モデル: 著者らはJangの定理を拡張し、超特異K3曲面が $\mathbb{P}^3$ 内の滑らかな四次曲面と同型であるための必要十分条件が、$p \neq 2$ または ($p=2$ かつアルティン不変量 $\sigma_0 \ge 3$) であることを示す。
   • 四次曲面における消滅: 彼らは、いかなる標数においても、射影空間内の次元 $\ge 2$ の滑らかな超曲面は非ゼロの対称微分を持たないことを証明する。これにより、すべての超特異K3曲面（$p=2$ かつ $\sigma_0 \le 2$ の場合を除く）について消滅が確立される。
   • 標数2、$\sigma_0 = 2$: このケースにおいて、著者らは特定の既約ファイバー（一つの $I^*_0$ と16個のタイプIII）を持つ準楕円ファイブレーションを利用する。彼らは $L^2 = -24$ となる短完全列 $0 \to L \to \Omega^1_X \to L^{-1} \to 0$ を構成する。ファイブレーション内の有理曲線上の反復されたフロベニウス・プルバックの下での拡大類（extension class）を分析することで、この拡大は非分裂であり、$\Omega^1_X$ の対称べきに大域的切断が存在しないことを証明する。
   • 標数2、$\sigma_0 = 1$: この唯一の曲面は、$\mathbb{P}^2 \times \mathbb{P}^2$ 内の次数 $(1,2)$ と $(2,1)$ の滑らかな完全交差として実現される（Dolgachev–Kondô）。ここで、余接束は $\Omega^1_X \cong L \oplus L^{-1}$ と分裂する。著者らは対称べきを明示的に計算し、$n$ が偶数のときは $\dim_k H^0(X, \text{Sym}^n \Omega^1_X) = 1$ であり、$n$ が奇数のときは $0$ であることを見出す。

主要な貢献と結果

• 定理 1.1: 正の次数の非ゼロの大域的対称微分を持つ、代数閉体上のK3曲面 $X$ は、標数が $p=2$ であり、$X$ が超特異（アルティン不変量 $\sigma_0 = 1$）である場合、かつその場合に限る。この例外的なケースにおいて、$\dim_k H^0(X, \text{Sym}^n \Omega^1_X)$ は $n$ が偶数のとき $1$であり、$n$が奇数のとき$0$ である。
• 定理 1.3: 超特異K3曲面が $\mathbb{P}^3$ 内の滑らかな四次曲面と同型であるための条件を特徴付ける、Jangの定理の強化：これは、$p \ge 3$ または ($p=2$ かつ $\sigma_0 \ge 3$) である場合に起こる。
• 擬効果的（Pseudoeffective）: $P(\Omega^1_X)$ のトートロジー類が擬効果的であるための必要十分条件は、$p=2$ かつ $\sigma_0 = 1$ であることである。
• エンリケス曲面: これらの結果は、エンリケス曲面について、対称微分は $p=2$ かつ曲面が「例外的な（非通常の）」場合を除いて消滅することを意味する。

意義と主張

著者らは、自らの研究が、すべての標数におけるK3曲面上の対称微分の完全な分類を提供し、これまで未知であった正標数のケースを解決したと主張している。本論文は、超越的な手法を回避した、特性ゼロにおける（消滅の）新しい代数的な証明を提示している。

その意義は、対称微分が不変量として極めて敏感である点にある。それらは、種数ゼロの異なるタイプの曲面を区別し（アベル/バイエリック曲面とK3/エンリケス曲面を分離）、さらにK3曲面の族の中で、一般的な超特異の場合と、特性2における唯一の $\sigma_0=1$ の場合を区別する。著者らは、対称微分を用いて非一重有理な超特異曲面を構成するChurchの手法は、K3曲面には適用できないことを示唆している。なぜなら、そのような対称微分を持つ唯一のK3曲面は、一重有理（$\sigma_0=1$ の特性2）だからである。

手法については、例外的なケースにおいて、「手作業による（by hand）」、すなわち、一般的なモジュライ理論ではなく、明示的な射影モデル、格子論的基準、および準楕円ファイブレーションとフロベニウス・プルバックの相互作用に依存していると述べられている。また、本論文は、任意の標数においてスペクトル被覆のエタール性を制御するために、二元形式の普遍判別式（$\mathbb{Z}$ 上で定義される）の有用性を強調している。