p-Primary Torsion of the Brauer Group in Characteristic p

技術要約：標数 $p$ におけるブラウアー群の $p$ 原始捩子

問題設定
本論文は、標数 $p > 0$ の代数閉体 $k$ 上の固有滑らかな多様体 $X$ に対する、ブラウアー群の $p$ 原始成分、すなわち $\text{Br}(X)[p^\infty]$ の構造を調査するものである。$\ell \neq p$ の場合の $\ell$ 原始捩子は、エタール・コホモロジーとクンマー完全系列を通じてよく理解されているが、$p$ 原始部分は著しくより複雑である。$\text{Br}(X)[p^\infty]$ は、可除部分 $(\mathbb{Q}_p/\mathbb{Z}_p)^{r-\rho}$ （ここで $r$ は結晶コホモロジーにおけるスロープ 1 の多重度、$\rho$ はピカール数）と、捩子部分 $H^3(X, \mathbb{Z}_p(1))[p^\infty]$ に分解される。中心となる課題は、後者の精密な記述であり、これは以下の完全系列に適合する：
$$0 \to U(k) \to H^3(X, \mathbb{Z}_p(1))[p^\infty] \to J \to 0$$
ここで、$U$ は連結な可換単一連結代数群であり、$J$ は有限群である。本論文の目的は、特にアーベル多様体において、$U$ および $J$ の次元、同種類、および明示的な構造を決定することである。

手法
本研究は、算術幾何学におけるいくつかの高度なツールの合成を採用している：

1. イルス（Illusie）の対数ド・ラム・ウィット層の理論： デ・ラム・ウィット複体 $W\Omega^\bullet_{X/k}$ とその対数部分層 $W\Omega^i_{X/k, \log}$ を用いて、平坦コホモロジー $H^i_{fppf}(X, \mu_{p^n})$ を結晶コホモロジーに関連付ける。
2. スロープ・スペクトル系列とドミノ数： 解析はスロープ・スペクトル系列 $E_1^{pq} = H^q(X, W\Omega^p_{X/k}) \Rightarrow H^{p+q}_{\text{cris}}(X/W)$ に依拠している。$p$ 捩子による $E_1$ ページでの非退化性は、Crew と Ekedahl によって導入された「ドミノ数」$T^{ij}$ によって測定される。単一連結群 $U$ の次元は、ドミノ数 $T^{0,2}$ と同定される。
3. ディードネー加群理論： アーベル多様体の場合、この幾何学的問題を、カルティエ・ディードネー環 $W\sigma[F, V]$ 上の線形代数へと翻訳する。Kraft による有限可換群スキームの分類、および Ekedahl-Oort 型によるモジュライ空間の層化を用いる。
4. スコロボガトフ（Skorobogatov）の公式： 主要な手法的ツールとして、$p \neq 2$ の場合の Skorobogatov の公式があり、これは $\text{Hom}(A[p^n], A^\vee[p^n])_{\text{sym}}$ を用いて $\text{Br}(A)[p^n]$ を表現する。これにより、$p$ 捩子部分群 $U[p]$ の関係式をディードネー加群を用いて計算することが可能となる。
5. 平坦双対性と形式群： ミルン（Milne）の表面に対する平坦双対性定理を適用し、Ekedahl の対角 $t$-構造に依存することなく、平坦 Artin-Mazur 形式群の滑らかさを調査する。

主要な貢献と結果

パート I：一般論と最初の応用

• 構造定理： 本論文は、分裂完全系列 $0 \to (\mathbb{Q}_p/\mathbb{Z}_p)^{r-\rho} \to \text{Br}(X)[p^\infty] \to H^3(X, \mathbb{Z}_p(1))[p^\infty] \to 0$ を確認する。
• 単一連結次元： $U$ の次元がドミノ数 $T^{0,2}$ によって与えられることを確立する。曲面の場合、これは Crew の公式 $\dim U = (h_{0,2} - h_{0,1}) - (m_{0,2} - m_{0,1})$ を回収する。
• 通常の多様体： $X$ が通常の（ordinary）多様体であれば、$U = 0$ であり、$J$ は $\text{NS}(X)[p^\infty]$ のポントリャーギン双対である。
• 曲面： $q = -p_a$ である曲面（エンリケス、ゴデaux、および双曲面を含む）については、$U=0$ である。有限群 $J$ は ネロン・セベリ群の $p$ 捩子の双対として同定される。
• 直積： Ekedahl のクネス（Künneth）公式を用いて、$X$ が通常の多様体であれば、$\text{Br}(X \times Y)$ の単一連結部分は $\text{Br}(Y)$ のそれと同型であることを証明する。

パート II：アーベル多様体

• Skorobogatov の公式の適用： 主極大化されたアーベル多様体について、対称ホモモルフィズム群を用いて $\text{Br}(A)[p^n]$ を明示的に計算する。
• $U[p]$ の次元： Ekedahl-Oort 型 $\phi$ を持つ次元 $g$ の主極大化アーベル多様体について、$p$ 捩子部分群 $U[p]$ の次元を組合せ論的に計算する。
• 3次元多様体の分類： すべてのアーベル3次元多様体の同種類としての $U$ の完全な分類を提供する。結果はニュートン多角形と $a$-数によって表形式でまとめられている。重要な知見は、$A$ が $a$-数が 1 の超特異（supersingular）である場合（「supergeneral」と呼ばれる）に限り、$U$ が加法的群 $\mathbb{G}_a$ の直積ではないということである。この特定のケースでは、$U$ は $\mathbb{G}_a \times W_2$ （ここで $W_2$ は長さ 2 のウィット群）と同種である。
• 明示的な Hom 群： Supergeneral な主極大化アーベル3次元多様体に対して、$\text{Hom}(A[p^2], A^\vee[p^2])_{\text{sym}}$ の連結成分を明示的に計算する。これは、モジュライ空間に沿って良好に変化する単一連結群 $W(b,c)_2 \oplus \mathbb{G}_a$ であることが示される。
• 予想： 任意の supergeneral な次元 $g$ のアーベル多様体に対して、$U$ は $\prod_{i=1}^{g-1} W_i$ と同種であるという予想を提示する。

パート III：さらなるトピックと応用

• 単射判定基準： フリシェ（Frölicher）スペクトル系列が $E_1$ で退化し、$H^1_{\text{cris}}$ が捩子を持たないという仮定の下で、$d\log: H^2_{fppf}(X, \mu_{p^n}) \to H^2_{\text{cris}}(X/W_n)$ の単射性に関する Ogus の結果を一般化する。これはアーベル多様体や K3 曲面に適用される。
• 形式群の滑らかさ： Ekedahl の深い対角 $t$-構造を用いずに、すべてのアーベル3次元多様体および広範なアーベル4次元多様体に対する平坦 Artin-Mazur 形式群 $\Phi^i_{fl}(A, \mathbb{G}_m)$ の滑らかさを確立する。
• テイト予想のアナロジー： ディバイザーに対するテイト予想をホッジ予想のアナロジーとして議論し、アルティン・ハッセ指数写像とウィット・ベクトルの構造を利用して、問題を結晶コホモロジーにおける「一様に有限な」元という観点から枠付けする。

意義と主張
本論文は、次元の公式を超えて、単一連結成分の具体的な同種類を決定することにより、ブラウアー群の $p$ 原始捩子の包括的な構造的記述を提供することを主張している。

• すべてのアーベル3次元多様体について $\text{Br}(A)[p^\infty]$ の構造を解決し、単一連結群が $\mathbb{G}_a$ の直積ではない唯一のケース（supergeneral）を特定した。
• Ekedahl-Oort 型に基づく $U[p]$ の次元の明示的な組合せ論的公式を提供する。
• 対角 $t$-構造を回避する、特定の形式群の滑らかさに関する新しい初等的な証明を提供する。
• 一般的な supergeneral の場合における $U$ の同種類に関する予想を提示し、次元 3 における明示的な計算と高次元における部分的な結果によってこれを支持している。

本論文は、$U$ の次元は Crew や Ekedahl によって既知であったが、$p$ 特有の単一連結群の複雑な挙動（具体的にはその同種類）には、ここで提示された明示的なディードネー加群の計算と Skorobogatov の公式の適用が必要であったことを強調している。