論文「INVARIANTS IN EQUIVARIANT BIRATIONAL GEOMETRY」の技術的サマリー

著者: Andrew Kresch, Yuri Tschinkel
概要: 本論文は、有限群 $G$ が作用する代数多様体の等変双有理幾何（equivariant birational geometry）における新しい不変量、特に等変 Burnside 群（Equivariant Burnside groups）$Burn_n(G)$ の導入とその応用について論じています。古典的な双有理幾何の問題（有理性、安定有理性など）を群作用の文脈に拡張し、群作用が線形化可能かどうか（linearizable）や、二つの群作用が共役かどうかを判別するための強力な道具立てを提供しています。

---

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

1.1 双有理幾何と等変双有理幾何

古典的な双有理幾何は、代数多様体の関数体の同型類の分類を扱います。特に、多様体が有理的（rational）か安定有理的（stably rational）か（すなわち、関数体が純超越拡大またはその安定化と同型か）という問題は、次元 2 では解決されていますが、次元 3 以上では未解決の難問です。

等変双有理幾何では、有限群 $G$ が多様体 $X$ に作用している場合を考えます。主な問いは以下の通りです：

• 二つの $G$-作用は、$G$-双有理同値（$G$-birational equivalence）か？
• 与えられた $G$-作用は、ある $G$-表現 $V$ の射影化 $\mathbb{P}(V)$ への $G$-双有理同値か（線形化可能か）？
• 安定線形化可能（stably linearizable）か？

1.2 既存の手法と限界

これまでに、固定点の存在、Picard 群の構造、コホモロジー不変量（Amitsur 群など）、中間ヤコビアンなどが不変量として研究されてきました。しかし、これらは非可換群の作用や高次元の多様体に対しては不十分であり、特に「線形化不可能な作用」を区別するための微細な不変量が不足していました。

---

2. 主要な手法と理論的枠組み

2.1 等変 Burnside 群 $Burn_n(G)$ の導入

本論文の核心的な貢献は、[84] で導入された等変 Burnside 群 $Burn_n(G)$ の体系的な解説と、その計算手法、構造の解明です。

• 定義: $Burn_n(G)$ は、$G$ の作用を持つ $n$ 次元多様体の双有理類を符号化する符号（symbols）からなるアーベル群です。
• 符号の構成: 各符号は $(H, Y \curvearrowright K, \beta)$ の形をとります。
  • $H \subseteq G$: 幾何学的安定化群（abelian 群）。
  • $Y$: 残りの作用を表す群（$Z_G(H)/H$ の部分群）。
  • $K$: 体（$F$ の関数体）。
  • $\beta$: 接空間における $H$ の作用を表す指標の列 $(b_1, \dots, b_{n-d})$。
• 関係式:
  • **順序関係 **(Order): 指標の順序は交換可能。
  • **共役関係 **(Conjugation): $G$ による共役で不変。
  • **ブローアップ関係 **(Blow-up): 滑らかな $G$-部分多様体でのブローアップ操作に対応する関係式。これが双有理不変性を保証します。
  • **消滅関係 **(Vanishing): 特定の指標が 0 になる場合など。

2.2 モデルの選択と「除子的形式（Divisorial Form）」

Burnside 群のクラスを定義するには、適切なモデル（特異点解消とブローアップを施した滑らかな射影モデル）が必要です。

• 除子的形式: 著者らは、任意の $G$-多様体を、安定化群がすべて可換であり、かつ特定の条件（指標が Picard 群から生成されるなど）を満たす「除子的形式」のモデルに変換できることを示しています（Corollary 6.10）。
• この形式にすることで、Burnside 群のクラス $[X \curvearrowright G]$ を、固定点成分や安定化層（stabilizer stratification）のデータから一意的に計算できるようになります。

2.3 特殊化（Specialization）とモチフィック体積

• 特殊化写像: 完全離散付値環（DVR）上のモデルを用いて、一般ファイバーの Burnside 類を特殊ファイバーの Burnside 類へ写す写像 $\rho_t^G$ を定義しています（Theorem 8.1）。
• この手法は、非線形化可能な多様体への特殊化を持つ族から、一般項も非線形化可能であることを示すために用いられます。

---

3. 主要な結果と貢献

3.1 新しい不変量の体系化

論文は、以下の不変量を Burnside 群の文脈で統一的に扱っています：

• Amitsur 群: $Am_2(X, G)$, $Am_3(X, G)$, $Am_4(X, G)$ など。これらは、$G$-線形化された直線束の存在や、普遍トータル（universal torsor）への作用の持ち上げ可能性に関するコホモロジー的障害を表します。
• Bogomolov 乗数: 不変体の非分岐 Brauer 群に関連する不変量。
• 圧縮不可能符号（Incompressible symbols）: ブローアップ関係式で消えない符号。これらは双有理同値でない作用を区別する強力な道具となります（例：Bertini 型、Geisser 型の対合の分類）。

3.2 線形化可能性への応用

• 線形化不可能性の証明: 次元 3 以上の有理多様体における $G$-作用の線形化不可能性を証明する具体的な例を多数提示しています。
  • 例：$S_5$ 作用を持つ二次曲面、$M_{11}$ 群の作用、Burkhardt 四次曲面など。
  • これらの証明は、従来の固定点や Picard 群の手法では不可能だったケースを、Burnside 群や Amitsur 群の計算によって解決しています。
• 安定線形化可能性: 線形化不可能でも、安定線形化可能（$X \times \mathbb{P}^n \sim_G \mathbb{P}(V)$）である場合の条件を議論しています（例：No-name リーマを用いた構成）。

3.3 構造的特徴

• フィルタリングと部分群: Burnside 群のフィルタリング構造を定義し、特定の安定化群の型に焦点を当てた部分群 $Burn_n^{\mathcal{H}}(G)$ を導入しました。
• 可換群と非可換群: 可換群 $G$ の場合はより単純な構造を持ちますが、非可換群の場合は共役関係や安定化群の中心性（Proposition 6.7）が重要な役割を果たします。

---

4. 意義と今後の展望

4.1 理論的意義

• 等変双有理幾何の新たなパラダイム: 従来の幾何学的・コホモロジー的な不変量を超え、組合せ論的な符号（Burnside 群）を用いることで、群作用の双有理分類を体系的に扱えるようになりました。
• Cremona 群の有限部分群の分類: 2 次元の Cremona 群 $Cr_2$ の有限部分群の分類は完了していますが、3 次元以上（$Cr_n, n \ge 3$）では未解決です。本論文で提示された Burnside 群は、この難問に対する強力な不変量を提供します。

4.2 限界と今後の課題

• 計算の複雑さ: 高次元や非可換群の場合、Burnside 群の計算は非常に困難です。特に「圧縮不可能符号」の完全な分類は未解決です。
• 非可換安定化群: 現在の理論は「除子的形式」への帰着を通じて安定化群を可換化していますが、非可換な安定化群を直接扱う理論の拡張（例：代数群 $N$ への拡張）は今後の課題です。
• 代数群への拡張: 有限群だけでなく、代数トーラスや一般の線形代数群への拡張の可能性が議論されていますが、トーラス作用の場合は双有理分類が非等変な商空間の分類に帰着されるため、Burnside 群の必要性は薄れる可能性があります。

4.3 結論

本論文は、等変双有理幾何における「不変量」の概念を、Burnside 群という新しい枠組みで再定義し、線形化問題への具体的な解決策を提供しました。特に、特殊化手法と組み合わせることで、非線形化可能な作用の存在を証明する強力なツールとして機能しており、今後の研究の基盤となる重要な成果です。