Brauer groups of smooth loci in linear systems and torsors over Jacobians of plane curves

技術的要約：線形系における滑らかな軌跡のブラウアー群、および平面曲線上のヤコビアンのトーソル

問題設定
本論文は、単連結な滑らかな射影多様体 $X$ 上の線形系 $|L|$ における滑らかな軌跡 $|L|_{sm}$ のコホモロジー的ブラウアー群 $Br(|L|_{sm}) := H^2_{\text{ét}}(|L|_{sm}, \mathbb{G}_m)$ を調査するものである。ここで、$|L|_{sm}$ は滑らかな因子をパラメータ化し、その補集合は特異な因子の判別式軌跡 $\Delta_L$ である。主要な動機は、普遍的な滑らかな曲線 $\mathcal{C} \to B$（ここで $B = |L|_{sm}$）の相対ヤコビアン $\mathcal{J} \to B$ の上のトーソルを分類する、テイト・シャファレヴィッチ群 $\text{X}(\mathcal{J}) := H^1(B, \text{Pic}^0_{\mathcal{C}/B})$ の構造を理解することにある。著者らは、平面曲線、原始的に分極されたK3曲面、および3次四元体という特定の幾何学的設定に対して、これらの群を決定することを目指している。

手法
アプローチは、特異点の数に基づく判別式軌跡 $\Delta_L$ の層化に基づいている。著者らは $\Delta_k$ を、ちょうど $k$ 個の特異点（表面の場合、具体的には通常のノード）を持つ超曲面の軌跡として定義し、普遍的な特異点集合 $\Sigma \subset |L| \times X$ を分析する。

1. 豊富性の条件： 著者らは、線束 $L$ に対する一連の「豊富性の条件」（$\dagger$ と表記）を導入する。これらの条件は、判別式軌跡が既約であること、および2つのノードを持つ曲線の軌跡 $\Delta_2$ が既約な因子であること、さらに普遍的な2ノード軌跡 $\Sigma_2$ が既ブルであることであることを保証する。これらの条件は、セヴェリ多様体やジェット豊富性（例：5-very ampleness）に関する結果を用いて検証される。
2. ホモロジー計算： 純粋性によるブラウアー群の性質とギウス・シーケンスを用いることで、著者らは $Br(|L|_{sm})[n]$ を判別式のボレル・ムーア・ホモロジーに関連付ける。具体的には、計算を、クラス $[\Sigma_2]$ が $H^2(\Sigma, \mathbb{Z}/2\mathbb{Z})$ において消滅するかどうかの判定へと帰着させる。
3. 相対対称積： 相対ヤコビアンのテイト・シャファレヴィッチ群を計算するために、著者らは相対対称積 $C^{(n)}_B$ のブラウアー群を研究する。彼らは、十分大きな $n$ に対して、アーベル・ヤコビ写像 $C^{(n)}_B \to \mathcal{J}$ がブラウアー・セヴェリ多様体（射影空間のファイブレーション）となることを利用する。関連するブラウアー・クラスの周期を曲線の幾何学に関連付けるために、点の追加によって誘導される閉包含を通じて、$C^{(n)}_B$ のブラウアー群間の同型関係を確立する。
4. 完全系列： $\text{X}(\mathcal{J})$ の最終的な計算は、ルビー・スペクトル系列から導かれる完全系列、およびエタール層の短完全系列 $0 \to \text{Pic}^0_{\mathcal{J}/B} \to \text{Pic}_{\mathcal{J}/B} \to \text{NS}_{\mathcal{J}/B} \to 0$ を組み合わせることによって得られる。

主要な結果

• ブラウアー群に関する一般定理： 単連結な滑らかな射影多様体 $X$ と、条件 $\dagger$ を満たす「十分に豊富な」線束 $L$ に対して、$Br(|L|_{sm})$ は高々 $\mathbb{Z}/2\mathbb{Z}$ である。具体的には、クラス $[\Sigma_2]$ が $H^2(\Sigma, \mathbb{Z}/2\mathbb{Z})$ において非ゼロであれば消滅し、そうでなければ $\mathbb{Z}/2\mathbb{Z}$ となる。
• 平面曲線：
  • 次数 $d \ge 3$ の平面曲線の線形系については、$d$ が奇数のとき $Br(|L|_{sm}) \cong 0$ であり、$d$ が偶数のとき $Br(|L|_{sm}) \cong \mathbb{Z}/2\mathbb{Z}$ である。
  • $d \ge 4$ の場合、相対ヤコビアンのテイト・シャファレヴィッチ群はトーソル $\text{Pic}^1_{\mathcal{C}/B}$ によって生成され、$\text{X}(\mathcal{J}) \cong \mathbb{Z}/d\mathbb{Z}$ となる。
  • $d=3$（3次曲線）の場合、テイト・シャファレヴィッチ群は $\text{X}(\mathcal{J}) \cong \mathbb{Z}/6\mathbb{Z}$ である。このケースは、2ノード軌跡の既約性により、別途の扱いを必要とする。
• K3曲面：
  • ピカール数が1で次数 $L^2$ が $L^2 \ge 20$ である原始的に分極されたK3曲面 $(S, L)$ に対して、$Br(|L|_{sm}) = 0$ である。条件 $L^2 \ge 20$ は、$L$ が5-very ampleであることを保証する。
  • 本論文は、低次数のK3曲面に対する反例を示している。次数2の場合、ブラウアー群は非常に大きく（任意の素数 $p$ に対して少なくとも $\mathbb{F}_p$ 上で343次元）、次数4の場合、$Br(|L|_{sm}) \cong \mathbb{Z}/2\mathbb{Z}$ である。
• 3次四元体： 一般的な滑らかな3次四元体 $X$ に対して、線形系 $|\mathcal{O}_X(1)|$ の滑らかな部分のブラウアー群は消滅する。すなわち、$Br(|\mathcal{O}_X(1)|_{sm}) = 0$ である。

意義および主張
著者らは、自身の研究を、K3曲面やハイパーケラー多様体の研究においてしばしば技術的な障壁となる、線形系の基底のブラウアー群に対する「驚くほど効果的な制御」を提供するものであると位置づけている。主な貢献は、普遍的な滑らかな平面曲線の相対ヤコビアンのテイト・シャファレヴィッチ群を明示的に計算し、その生成元と構造を特定したことにある。

本論文は、これらの結果が、$K3^{[n]}$ 型および $OG10$ 型のコンパクト・ハイパーケラー多様体に付随するラグランジュ・ファイブレーション（具体的には Laza–Saccà–Voisin ファイブレーション）の滑らかな軌跡に適用可能であることを指摘している。高次数または一般的なケースにおけるブラウアー群の消滅は、一般的なラグランジュ・ファイブレーションの滑らかな軌跡がしばしば自明なブラウアー群を持つことを示唆しており、これはツイストされた層やモジュライ空間の研究を容易にする特性である。著者らは、偶数次における非自明なブラウアー・セヴェリ多様体の幾何学的実現、あるいは3次曲線の特定の2-捩れ（2-torsion twists）については扱っておらず、これらを未解決の問題として残している。