Brauer group of moduli of stable parabolic $\text{SL}(r,\mathbb{C})$ and $\text{PGL}(r,\mathbb{C})$-connections and Higgs bundles over a curve

1. 問題設定 (Problem Statement)

• 背景: ブローワー群は、スキームや代数スタックの重要な不変量であり、普遍束（universal bundle）の存在に対する障害を測定します。また、有理性（rationality）の問題においても中心的な役割を果たします。
• 対象: 種数 $g \ge 3$ のコンパクトリーマン面 $X$ と、その上の有限点集合 $S = \{x_1, \dots, x_n\}$（放物的点）を考えます。
• 目的:
  1. 固定された行列式 $\xi$ を持つ、安定な放物的 SL(r, C)-接続のモジュライ空間 $M^{m,\alpha}_{pc}(r, \xi)$ のブローワー群を計算すること。
  2. 同様に、安定な強放物的 SL(r, C)-ヒッグス束のモジュライ空間 $M^{m,\alpha}_{Higgs}(r, \xi)$ のブローワー群を計算すること。
  3. 安定な放物的 PGL(r, C)-接続のモジュライスタックと、その粗モジュライ空間（coarse moduli space）の滑らかな部分におけるブローワー群の等式を確立すること。

既存の研究（[BBS, BD]）は放物的束や対数接続に焦点を当てていましたが、本論文はこれらを放物的接続およびヒッグス束へ拡張し、さらに PGL 群のケースにおけるスタックと粗空間の関係を明らかにすることを狙っています。

2. 手法と準備 (Methodology and Preliminaries)

• 放物的構造の定義:
  • ベクトル束 $E$ の各放物的点 $x \in S$ において、重み付き旗（weighted flag）と重み $\alpha$ を定義します（定義 2.1）。
  • 放物的接続は、極限（residue）が旗を保存し、特定の固有値（重み $\alpha$）を持つ対数接続として定義されます（定義 2.3）。
  • 強放物的ヒッグス束は、旗をシフトさせるヒッグス場 $\Phi$ を持つペア $(E^*, \Phi)$ として定義されます（定義 5.1）。
• 一般性条件 (Genericity):
  • 重みの系 $\alpha$ が「一般的（generic）」である場合、半安定性と安定性が一致します（定義 2.5, 2.6）。この条件の下でモジュライ空間が滑らかになることを利用します。
• 次元解析と余次元の評価:
  • モジュライ空間 $M^{m,\alpha}_{pc}(r, \xi)$ の滑らかな部分 $U$（基底ベクトル束が安定な部分）と、その補集合 $Z$（基底が半安定でない部分）を考慮します。
  • Lemma 4.2において、$g \ge 3, r \ge 2$ の条件下で、特異点集合 $Z$ の余次元が 2 以上であることを示します。これは、ブローワー群が開集合から全体へ拡張可能であることを意味します（コホモロジー的純度）。
• Torsor 構造の利用:
  • 放物的接続のモジュライ空間 $U$ は、安定な放物的束のモジュライ空間 $N^{m,\alpha}(r, \xi)$ 上の余接束 $T^*N^{m,\alpha}(r, \xi)$ に関するトローサー（torsor）として記述できます（Lemma 4.3）。
  • これにより、$U$ のブローワー群は基底空間 $N^{m,\alpha}(r, \xi)$ のブローワー群と同型であることが導かれます。
• PGL 群への拡張と群作用:
  • $r$-ねじれ線束の群 $\Gamma = \{M \in \text{Pic}(X) \mid M^{\otimes r} \cong \mathcal{O}_X\}$ が SL 接続のモジュライ空間に作用します。
  • Lemma 6.1により、$r$-ねじれ線束 $L$ には、$L^{\otimes r}$ 上の自明な接続と整合する一意なホロモルフィック接続 $D_L$ が存在することを示し、この作用を定義します。
  • Proposition 6.2およびCorollary 6.4では、この群作用の固定点集合（fixed point locus）の余次元が 3 以上であることを示します。これは、スタックと粗空間の間のブローワー群の比較において決定的な役割を果たします。

3. 主要な貢献と結果 (Key Contributions and Results)

論文の主要な定理は以下の通りです。

定理 1.1 (SL(r, C) の場合)

放物的データ $(m, \alpha)$ において $\alpha$ が一般的であるとき、安定な放物的 SL(r, C)-接続のモジュライ空間 $M^{m,\alpha}_{pc}(r, \xi)$ と、安定な強放物的 SL(r, C)-ヒッグス束のモジュライ空間 $M^{m,\alpha}_{Higgs}(r, \xi)$ のブローワー群は、以下の巡回群に同型です。

$$\text{Br}(M^{m,\alpha}_{pc}(r, \xi)) \cong \text{Br}(M^{m,\alpha}_{Higgs}(r, \xi)) \cong \mathbb{Z}/\nu\mathbb{Z}$$

ここで、$\nu$ は以下の最大公約数です：
$$\nu = \gcd(r, d, m^1_1, m^1_2, \dots, m^{\ell_1}_1, \dots, m^{\ell_n}_n)$$
（$d$ は行列式の次数、$m^i_j$ は放物的点における旗の多重度）。

• 意義: この結果は、接続とヒッグス束のモジュライ空間が、そのブローワー群の観点から同じ不変量を持つことを示しており、両者の間の自然な変形（Hodge モジュライ空間を通じた関係）がトポロジカルな不変量においても一貫していることを裏付けています。

定理 1.2 (PGL(r, C) の場合)

放物的 PGL(r, C)-接続のモジュライスタック $\mathcal{N}^{m,\alpha}_{pc}(r, i)$ と、その粗モジュライ空間 $N^{m,\alpha}_{pc}(r, i)$ の滑らかな部分 $N^{m,\alpha}_{pc}(r, i)^{sm}$ について、以下の同型が成り立ちます。

$$\text{Br}\left(\mathcal{N}^{m,\alpha}_{pc}(r, i)\right) \cong \text{Br}\left(N^{m,\alpha}_{pc}(r, i)^{sm}\right)$$

• 意義: 以前の結果（[BCD], [BC]）が PGL 束のケースで確立されていたものを、PGL 接続のケースへ拡張しました。特に、スタックのブローワー群が、その粗空間の滑らかな部分のブローワー群と一致することは、スタック上の普遍束の存在問題や有理性の議論において極めて重要です。この同型は、固定点集合の余次元が 3 以上であること（Corollary 6.4）と、有限群による商がブローワー群を保存する性質に基づいています。

4. 論文の意義と結論 (Significance and Conclusion)

• 理論的拡張: 既存の放物的束や対数接続に関するブローワー群の計算結果を、より一般的な「放物的接続」と「強放物的ヒッグス束」の枠組みに成功して拡張しました。
• SL と PGL の統一的理解: SL 群の固定行列式を持つモジュライ空間と、PGL 群のモジュライスタックの両方について、ブローワー群の具体的な構造（$\mathbb{Z}/\nu\mathbb{Z}$）と、スタックと粗空間の関係を明らかにしました。
• 技術的厳密性: 放物的接続のモジュライ空間における特異点の余次元評価や、$r$-ねじれ線束による群作用の固定点集合の次元解析など、高度な代数幾何学的技法を用いて証明の厳密性を担保しています。
• 応用: ブローワー群は普遍束の存在や、モジュライ空間の有理性（rationality）を判定する鍵となる不変量です。本論文の結果は、これらのモジュライ空間の幾何学的性質を深く理解するための基礎を提供します。

総じて、本論文は放物的幾何学におけるモジュライ空間のトポロジカルな不変量に関する重要な進展であり、SL 群と PGL 群の両方の文脈でブローワー群の構造を完全に記述した点で画期的な成果です。