Brauer group of moduli of parabolic symplectic bundles

技術的要約：放物型シンプレクティック束のモジュライのブラウアー群

問題設定
本論文は、放物型シンプレクティック安定束のモジュライ空間の平滑なロカスにおけるコホモロジー的ブラウアー群 $Br(Y) \cong H^2_{\text{ét}}(Y, \mathbb{G}_m)_{\text{tor}}$ の計算を扱う。$X$ を種数 $g \geq 3$ の滑らかで連結な複素射影曲線とする。著者らは、偶数ランク $r \geq 2$、有限個の放物点集合 $D \subset X$、および $X$ 上の線束 $L$ を固定する。対象となる対象は、放物型シンプレクティック束 $(E_*, \phi_*, L(D))$ であり、ここでシンプレクティック形式は $L(D)$ に値を取り（特別な放物構造を備えた）、$D$ における放物データは、多重度と重みに関する特定の対称条件を満たす。目的は、集中した重みおよび任意の生成的（generic）な重みのシステムの両方について、モジュライ空間の平滑なロカス $(M^{m,\alpha}_{L(D)})^{\text{sm}}$ のブラウアー群を決定することである。

手法とセットアップ
著者らは、幾何学的不変量理論（GIT）、フィルタリングされた層の理論、および壁越え（wall-crossing）の手法を組み合わせて用いる。

1. 放物型シンプレクティック構造： 論文では、放物型ベクトル束を（MaruyamaおよびYokogawaに従い）フィルタリングされた層として用いる枠組みを利用して、放物型シンプレクティック束を定義する。主要なセットアップは、「対称型」である多重度 $m$ と重み $\alpha$ のシステムである。この対称性は、各放物点 $p$ に対して、多重度が $m_{p,j} = m_{p, \ell(p)+1-j}$ であり、重みが $\alpha_{p,j} = 1 - \alpha_{p, \ell(p)+1-j}$ を満たすことを要求する。これらの条件下では、放物型シンプレクティック形式 $\phi_*$ は、$L$ に値を取る基礎となるベクトル束 $E$ 上の非退化なシンプレクティック形式 $\phi$ を誘導する。

2. 集中した重みへの還元： 証明の戦略は、重み $\alpha$ が「集中している」（定義3.7）場合、すなわち重みが $1/2$ に十分に近く、特定の不等式が成立する場合から始まる。この領域において、補題3.8は、放物型シンプレクティック安定性と標準的なシンプレクティック安定性の間の対応関係を確立する。これにより、放物型モジュライ空間 $M^{m,\alpha}_{L(D)}$ から、半安定シンプレクティック束（ねじれた $Sp(r, \mathbb{C})$-束）のモジュライ空間 $M_L$ への射 $\pi_0$ を構成することが可能となる。

3. ファイブレーションとスペクトル系列： 集中した重みのとき、$\pi$ の安定なロカスへの制限は、旗多様体の積 $\prod Sp(r, \mathbb{C})/P_i$ と同型なファイバー束であることが示される。著者らは、このファイブレーションに関連する $\mathbb{G}_m$ のレーリー・スペクトル系列を利用する。これにより、ファイバーのピカール群、基底（シンプレクティック束のモジュライ）のブラウアー群、および全空間のブラウアー群を関連付ける5項完全系列が得られる。

4. 生成的重みのための壁越え： 集中した重みから任意の生成的な重みへと結果を拡張するために、著者らは、Thaddeusによる変形GIT（幾何学的不変量理論）の原理、特に壁越えに関する研究を援用する。彼らは、アンプル錐内の重みの単一の壁を越えることが、余次元2以上の部分集合を除いて、モジュライ空間の平滑なロカス間の同型を誘導することを示す。ブラウアー群は余次元 $\geq 2$ の部分集合の除去に対して不変であるため、ブラウアー群は生成的な重みのチャンバー間で不変である。

主要な貢献と結果
主要な貢献は、対称な重み条件の下での、放物型シンプレクティック束のモジュライの平滑なロカスのブラウアー群の明示的な計算である。主要な結果である定理1.1（定理4.3および系4.6に詳述）は以下のように述べる：

$M^{m,\alpha}_{L(D)}$ を、対称な多重度 $m$ と重み $\alpha$ を持つモジュライとする。その平滑なロカスのブラウアー群は以下の通りである：

1. $\deg(L)$ が偶数の場合：
   $$Br((M^{m,\alpha}_{L(D)})^{\text{sm}}) \simeq \mathbb{Z} / \gcd(2, m_{p_1,1}, \dots, m_{p_n, \ell(p_n)})\mathbb{Z}$$

2. $\deg(L)$ が奇数の場合：
   $$Br((M^{m,\alpha}_{L(D)})^{\text{sm}}) \simeq \begin{cases} 0 & \text{if } r/2 \geq 3 \text{ is odd}, \\ \mathbb{Z} / \gcd(2, m_{p_1,1}, \dots, m_{p_n, \ell(p_n)})\mathbb{Z} & \text{if } r/2 \geq 3 \text{ is even}. \end{cases}$$

著者らは、非自明なケースにおけるブラウアー群の生成元が、[BHl] の結果と同様に、曲線上の点に制限された射影ポアンカレ束のクラスに関連していることを指摘している。

意義と範囲
本論文は、シンプレクティック束のモジュライのブラウアー群に関する先行研究（具体的には [BHl] の研究）を、放物型の設定へと一般化することを主張している。その意義は以下の点にある：

• 対称な重み条件の下での、放物型シンプレクティック安定性と標準的なシンプレクティック安定性の間の関係を確立したこと。
• 線束 $L$ の次数のパリティ、ランク $r$、および 2 と放物型多重度の最大公約数に依存する、これらのモジュライ空間のブラウアー群の完全な計算を提供したこと。
• アンプル錐内において、重みが生成的であり続ける限り、重みの変形の下でのブラウアー群の不変性を示したこと。

著者らは、重みと多重度のシステムが「対称型」であり、かつ 0 を含まない場合に結果を明示的に制限している。彼らは、非対称な重みやモジュライ空間の特異なロカスに関する結果を主張していない。本研究は、シンプレクティック群 $Sp(r, \mathbb{C})$ の単連結性と、基礎となるシンプレクティック・モジュライのブラウアー群の既知の構造に大きく依拠している。