Brauer group of moduli stacks of parabolic principal bundles over a curve

1. 研究の背景と問題設定

背景:
代数多様体やスタックの「ブラウアー群（Brauer group）」は、コホモロジー的定義（$H^2_{\text{ét}}(Y, \mathbb{G}_m)_{\text{torsion}}$）を持つ重要な不変量です。これは、多様体の有理性（rationality）の問題や、数体上の有理点の研究におけるブラウアー・マニン障害（Brauer-Manin obstruction）において中心的な役割を果たします。

問題:
近年、曲線上のパラボリック・ベクトル束のモジュライ空間におけるブラウアー群の研究が進められてきました（SL(r, C), PGL(r, C), Sp(r, C) などの構造群に対して）。しかし、以下の 2 つの点において一般化や未解決の問題が残されていました。

1. PGL(r, C)-束のモジュライ・スタック: 既存の結果（[BCD1]）は、重み（weights）が「フル・フラッグ（full-flag）」系である場合に限定されていました。任意の「 generic（一般）」な重み系に対する PGL(r, C)-束のモジュライ・スタックのブラウアー群の計算は行われていませんでした。
2. 単純かつ単連結な群 G に対する準パラボリック束: 任意の単純かつ単連結な複素線形代数群 $G$ に対する、準パラボリック（quasi-parabolic）主 $G$-束のモジュライ・スタックのブラウアー群の振る舞いは不明でした。

目的:
本論文は、以下の 2 つの主要な目標を達成することを目指しています。

1. 任意の一般重み系に対する、曲線上のパラボリック安定主 PGL(r, C)-束のモジュライ・スタックのブラウアー群を、対応する粗モジュライ空間（coarse moduli space）の滑らかな部分のブラウアー群と同一視すること。
2. 任意の単純かつ単連結な代数群 $G$ に対して、準パラボリック主 $G$-束のモジュライ・スタックの解析的および代数的ブラウアー群が自明（ゼロ）であることを証明すること。

2. 主要な結果

定理 1.1 (PGL(r, C)-束の場合)

曲線 $X$ 上のパラボリック安定主 PGL(r, C)-束のモジュライ・スタックを $\mathcal{N}^{m,\alpha}_X(r, \delta)$、対応する粗モジュライ空間を $N^{m,\alpha}_X(r, \delta)$ とします。ここで $\alpha$ は一般重み系（generic system of weights）です。
粗モジュライ空間の滑らかな部分 $N^{m,\alpha}_X(r, \delta)^{\text{sm}}$ に対して、以下の同型が成り立ちます。
$$\text{Br}(\mathcal{N}^{m,\alpha}_X(r, \delta)) \simeq \text{Br}(N^{m,\alpha}_X(r, \delta)^{\text{sm}})$$
これは、[BCD1] の結果をフル・フラッグ系から任意の一般重み系へ拡張したものです。

定理 1.2 (一般の単純単連結群 G の場合)

$G$ を単純かつ単連結な複素線形代数群とします。$X$ 上の準パラボリック主 $G$-束のモジュライ・スタックを $\mathcal{M}^{\text{par}}_G(p, P)$ とします。
このスタックの解析的ブラウアー群および代数的ブラウアー群はともに自明です。
$$\text{Br}(\mathcal{M}^{\text{par}}_G(p, P)) = 0$$
具体的には、$H^2(\mathcal{M}^{\text{par}}_G, (\mathcal{O}^{\text{an}}_{\mathcal{M}^{\text{par}}_G})^*)_{\text{torsion}} = 0$ が成り立ちます。

3. 手法と証明の概略

PGL(r, C) 束のケース（セクション 3, 4）

1. 固定点の次元評価:
   $r$-ねじれ線束の群 $\Gamma$ がパラボリック安定ベクトル束のモジュライ空間 $M^{m,\alpha}_X(r, \xi)$ に作用します。PGL-束のモジュライ空間は、この作用による商 $M^{m,\alpha}_X(r, \xi) / \Gamma$ として記述されます。
   重要なステップは、非自明な $\Gamma$ の元による固定点集合の余次元（codimension）を評価することです。スペクトル曲線（spectral curve）を用いた被覆 $\gamma: Y \to X$ を構成し、パラボリック構造のプッシュフォワードを調べることで、固定点集合の余次元が少なくとも 3 であることを示しました（補題 3.1、命題 3.3、系 3.5）。
2. スタックと粗空間の関係:
   固定点集合の余次元が 3 以上であるという事実は、モジュライ・スタックと粗モジュライ空間の間の「特異点」や「非自由な軌道」が、ブラウアー群の計算において無視できるほど高次元であることを意味します。
   Deligne-Mumford スタックの性質と、有限群による商におけるコホモロジーの不変性を用いることで、スタックのブラウアー群が、その粗空間の滑らかな部分のブラウアー群と一致することを導き出しました。

一般の群 G のケース（セクション 5）

1. 均質化定理（Uniformization Theorem）の活用:
   準パラボリック主 $G$-束のモジュライ・スタック $\mathcal{M}^{\text{par}}_G$ は、ある無限次元のスキーム（ind-Grassmannian）$Q^{\text{par}}_G$ を、ループ群 $L_X(G)$ が作用する商スタックとして表現できます（$\mathcal{M}^{\text{par}}_G \simeq [L_X(G) \backslash Q^{\text{par}}_G]$）。
2. コホモロジーの計算:
   • $Q^{\text{par}}_G$ の特異コホモロジー $H^*_B(Q^{\text{par}}_G, \mathbb{Z})$ を計算し、$H^1$ と $H^3$ がゼロであることを示しました（補題 5.6）。
   • これにより、$Q^{\text{par}}_G$ の解析的ブラウアー群がゼロであることが導かれます。
3. スペクトル系列による比較:
   $Q^{\text{par}}_G \to \mathcal{M}^{\text{par}}_G$ が主 $L_X(G)$-束であることを利用し、Leray スペクトル系列を用いて、$\mathcal{M}^{\text{par}}_G$ の解析的ブラウアー群が $Q^{\text{par}}_G$ のそれへ埋め込まれることを示しました。
4. 代数的・解析的ブラウアー群の一致:
   提案 5.5 の条件（ホロモルフィック線束が代数構造を持ち、$H^2_B$ が線束で代表されること）が $\mathcal{M}^{\text{par}}_G$ に対して満たされることを確認し、代数的ブラウアー群と解析的ブラウアー群が同型であることを示しました。
   結果として、解析的ブラウアー群がゼロであることから、代数的ブラウアー群もゼロであることが結論付けられました。

4. 主要な貢献と意義

1. 重み系の一般化:
   PGL(r, C)-束のモジュライ空間におけるブラウアー群の計算において、重み系が「フル・フラッグ」に限定されていた既存の枠組みを破り、任意の一般重み系に対して結果を拡張しました。これは、パラボリック構造のより広いクラスに対する理解を深めるものです。
2. 単連結群への拡張:
   構造群が SL(r, C) などの特定の群だけでなく、任意の単純かつ単連結な代数群 G に対して、準パラボリック主束のモジュライ・スタックのブラウアー群が自明であることを初めて示しました。これは、群の構造がモジュライ空間のトポロジー的性質（特にブラウアー群）に与える影響に関する重要な知見です。
3. 手法の洗練:
   スペクトル曲線を用いた固定点の次元評価や、無限次元 Grassmannian とループ群の作用を利用した均質化定理の応用など、モジュライ空間のトポロジーを解析するための強力な手法を統合して提示しました。

結論

本論文は、曲線上のパラボリック主束のモジュライ空間のトポロジカルな不変量であるブラウアー群について、PGL(r, C) 系における一般重み系への拡張と、一般の単純単連結群 $G$ に対する自明性の証明という 2 つの重要な成果を達成しました。これらの結果は、代数幾何学におけるモジュライ理論の発展と、有理点問題や有理性問題への応用において重要な基礎を提供するものです。