Dichotomy for the p-primary Brauer-Manin obstruction in characteristic p

技術要約：標数 $p$ における $p$ 次主成分ブラウアー–マネン障害の二分性

問題設定
本論文は、標数 $p > 0$ の大域関数体 $k$ 上の滑らかな射影的かつ幾何学的に連結な多様体 $X$ に対するブラウアー–マネン障害の振る舞いを調査している。具体的には、どの場所 $v$ が $p$ 次主成分ブラウアー–マネン障害に対して「潜在的に関連している（potentially relevant）」かを問題としている。場所 $v$ が潜在的に関連しているとは、有限拡大 $L/k$、および $v$ の上にある $L$ の場所 $w$ が存在し、要素 $A \in \text{Br}(X_L)$ に対して評価写像 $\text{ev}_A: X(L_w) \to \text{Br}(L_w)$ が非定数となることを指す。

この問いは、数体の場合における最近の結果（Bright and Newton; Ambrosi, Newton, and Pagano）に動機付けられている。それらの結果は、$H^0(X, \Omega^2) \neq 0$ であれば、ほとんどすべての場所が潜在的に関連していることを示している。著者らは、陽的特性における単単一（unipotent）なブラウアー群の役割を考慮しつつ、同様の二分性が正標数においても存在するかどうかを明らかにしようとしている。

数学的枠組みと手法
解析は、幾何学的ブラウアー群 $\text{Br}(X_{\bar{k}})[p^\infty]$ の $p$ 次主成分ねじれ部分群の構造に基づいている。MilneおよびSerreに従い、この群の可除部分による商は、準代数群 $G_X$ の $\bar{k}$ 点として識別される。この群 $G_X$ は、有限エタール群 $D_X$ による滑らかな連結単単一群 $U_X$ の拡大である。著者らは、$U_X$ を $X$ の**単単一ブラウアー群（unipotent Brauer group）**と定義している。

手法は、主に以下の2つの技術的ツールを組み合わせたものである。

1. 平坦コホモロジーの表現可能性： 本論文は、多様体 $X$ のスプレッディング・アウト（spreading out） $\pi: \mathcal{X} \to C$ に随伴する平坦コホモロジー層 $R^q\pi_*\mu_{p^n}$ に関する Bragg および Olsson [BO] の生成的な表現可能性の結果を利用している。
2. 評価のフィルタリング： $U_X \neq 0$ の場合、著者らは、陽的特性における Kato の局所ブラウアー群のフィルタリングに関する Krishna および Majumder [KM] の最新の結果を用いている。このフィルタリングにより、非定数な評価写像をもたらすブラウアー群の要素の特性付けが可能となる。

証明は、関数体 $k$ を持つ曲線 $C$ 上の滑らかなモデル $\pi: \mathcal{X} \to C$ を構成し、層 $R^2\pi_*\mu_{p^n}$ および $R^3\pi_*\mu_{p^n}$ の $C$ 上での挙動を分析することによって行われる。$U_X$ の次元は、$X_{\bar{k}}$ の結晶コホモロジー群のスロープに関連している。

主要な貢献と結果
中心的な結果は、単単一ブラウアー群 $U_X$ の消滅に基づく二分性である：

• 定理 A (i)： $U_X = 0$ かつ $X$ のピカール・スキームが $p$ 次ねじれを持たない場合、$p$ 次主成分ブラウアー–マネン障害に潜在的に関連する場所は有限個である。この場合、潜在的に関連する場所の集合は、特定の滑らかなスプレッディング・アウト $\pi: \mathcal{X} \to C$ が、$R^2\pi_*\mu_p$ が有限平坦群スキームであり、$R^3\pi_*\mu_p$ がアフィン群スキームであるという性質を満たさない場所の集合に含まれる。
• 定理 A (ii)： $U_X \neq 0$ である場合、$k$ のほとんどすべての場所が $p$ 次主成分ブラウアー–マネン障害に潜在的に関連している。証明では、適切なモデルのサポート内にある任意の場所において、単単一群スキーム $R^2\pi_*\mu_p$ の非自明性を利用することで、非定数な評価写像を持つブラウアー類を構成できることを示している。

系および特殊なケース：

• 系 B： $p$ 次主成分の結果と既知の $\ell$ 次主成分の結果（$\ell \neq p$）を組み合わせると、$U_X = 0$ かつピカール・スキームがねじれフリーであれば、完全なブラウアー–マネン障害に対して関連するのは有限個の場所のみである。
• 定数多様体 (定理 C)： $X$ が有限体 $\mathbb{F}$ 上で定義されている場合（すなわち、$X$ が $k$ 上の定数多様体である場合）：
  • $U_X = 0$ かつピカール・スキームがねじれフリーであれば、ブラウアー–マネン・ペアリングは恒等的にゼロである。
  • $U_X \neq 0$ であれば、すべての場所が潜在的に関連している。
• 幾何学的に $p$ 次ねじれフリーなブラウアー群 (Proposition 4.1)： $\text{Br}(X_{\bar{k}})[p^\infty] = 0$ （これは $U_X=0$ を意味する）ならば、$X$ が良減少を持つ場所は潜在的に関連しない。本論文は、これらの条件を満たす非アイソトリバティック（non-isotrivial）なK3曲面の例を提示しており、これが定数多様体のケースとは異なることを示している。

意義と主張
本論文は、単単一ブラウアー群の存在と不在によって駆動される、正標数におけるブラウアー–マネン障害の振る舞いにおける根本的な二分性を確立したと主張している。

• $U_X = 0$ のとき、障害は「小さい」：すなわち、$p$ 次成分を通じてハッセ原理を妨げる可能性があるのは、有限個の場所のみである。
• $U_X \neq 0$ のとき、障害は「大きい」：すなわち、ほとんどすべての場所が潜在的に関連している。

著者らは、証明に必要な曲線 $C$ の存在は Bragg–Olsson によって保証されているものの、例外的な場所の集合を具体的に特定することは、定数多様体や良減少を持つ場合などの特定のケースを除いて、一般には困難であることを指摘している。本研究は、ブラウアー–マネン障害の理解を数体から大域関数体へと拡張し、正標数における単単一現象の特異な役割を浮き彫りにしている。