論文「有限群スキームのドリントルダブルとその表現圏について」の技術的サマリー

著者: Daniel Arreola, Shlomo Gelaki
概要: 本論文は、代数閉体 $k$（標数 $p \ge 0$）上の有限群スキーム $G$ のドリントルダブル $D(G)$ のホップ代数商対（Hopf algebra quotient pairs）の分類を行い、その表現圏 $\mathcal{Z}(G) := \text{Rep}(D(G))$ のテンソル部分圏の構造を完全に記述することを目的としています。特に、標数 $p > 0$ の非半単純な設定において、$p=0$ での既知の結果（Naidu-Nikshych-Witherspoon によるもの）を一般化する新しい分類理論を構築しています。

1. 問題設定と背景

• 対象: 有限群スキーム $G$ のドリントルダブル $D(G)$ とその表現圏 $\mathcal{Z}(G)$。$\mathcal{Z}(G)$ は有限な非退化なリボン編み込みテンソル圏（finite non-degenerate ribbon braided tensor category）として知られています。
• 既存の状況 ($p=0$): 標数 0 の場合、$\mathcal{Z}(G)$ は半単純な融合圏（fusion category）であり、そのテンソル部分圏は Naidu, Nikshych, Witherspoon [NNW] によって分類されました。彼らの手法は、単純対象間の「中央化」を検出する $S$ 行列（modular data）に依存していました。
• 課題 ($p>0$): 標数 $p > 0$ の場合、$\mathcal{Z}(G)$ は一般に半単純ではありません。この非半単純な設定では、単純対象に対して計算可能な $S$ 行列が存在しないため、[NNW] の手法は直接適用できません。
• 目的: 標数 $p$ に関わらず、$\mathcal{Z}(G)$ のテンソル部分圏を、群スキーム論的なデータを用いて完全に分類し、その双対性（Müger 中心化子）や非退化性などの性質を決定すること。

2. 手法とアプローチ

著者らは、$S$ 行列に代わるアプローチとして、ホップ代数の商対（Hopf algebra quotient pairs）の分類を採用しました。

1. ホップ代数商対とテンソル部分圏の対応:
   有限次元ホップ代数 $H$ の表現圏 $\text{Rep}(H)$ のテンソル部分圏は、$H$ のホップ代数商対の同値類と 1 対 1 に対応します（[BN] による既知の結果）。したがって、$\mathcal{Z}(G) = \text{Rep}(D(G))$ の部分圏を分類するには、$D(G)$ の商対 $(D, \theta)$（$\theta: D(G) \twoheadrightarrow D$）を分類すれば十分です。

2. 群スキーム論的データの導入:
   商代数 $D$ を記述するために、以下の群スキーム論的データ $(K, H, B)$ を定義します。

   • $K, H$: $G$ の互いに可換な（centralize each other）正規部分群スキーム。
   • $B$: $G$-等変なホップ代数写像 $B: k[H] \to \mathcal{O}(K)$。

3. 構成:
   上記のデータを用いて、新しいホップ代数 $D(K, H, B)$ を構成します。これは、$\mathcal{O}(K)$ と $k[G/H]$ のスミス積（smash product）およびテンソル積の一般化であり、2-コサイクル $\sigma$ と 2-ココサイクル $\tau$ を用いて定義されます。
   $$D(K, H, B) := \mathcal{O}(K)^{\text{cop}} \#_{\sigma}^{\tau} k[G/H]$$
   ここで、$\sigma$ と $\tau$ は $B$ と群スキームの切断（section）から導かれます。

3. 主要な結果

3.1. ホップ代数商対の分類（定理 3.5, 3.9）

$D(G)$ の任意のホップ代数商 $D$ は、ある群スキーム論的データ $(K, H, B)$ に対して $D(K, H, B)$ に同型であり、商写像 $\theta: D(G) \twoheadrightarrow D(K, H, B)$ は具体的に記述されます。

• 同値性の分類: 2 つの商対 $(D(K, H, B), \theta)$ と $(D(K', H', B'), \theta')$ が同値であるための必要十分条件は、$(K, H, B) = (K', H', B')$ であることです。
• 構造: 得られるホップ代数 $D(K, H, B)$ は、常にリボン編み込み構造を持ち、その $R$ 行列とリボン要素が明示的に与えられます。

3.2. テンソル部分圏の分類と双対性（定理 4.2, 4.5）

• 部分圏の分類: 写像 $(K, H, B) \mapsto \mathcal{Z}(K, H, B) := \text{Rep}(D(K, H, B))$ は、$\mathcal{Z}(G)$ のテンソル部分圏の集合と、条件を満たす三つ組 $(K, H, B)$ の集合の間の全単射を与えます。
• Müger 中心化子: 部分圏 $\mathcal{Z}(K, H, B)$ の Müger 中心化子（Müger centralizer）は、パラメータを入れ替えた $\mathcal{Z}(H, K, B)$ であることが証明されました（定理 4.5）。これは標数 0 の結果 [NNW] をホップ代数論的な枠組みで一般化したものです。
• 対称性・非退化性・ラグランジュ性:
  • 対称的（Symmetric）: $\mathcal{Z}(K, H, B)$ が対称的であるための条件は $K \subseteq H$ かつ $B$ の特定の条件を満たすことです。
  • 非退化（Non-degenerate）: 中心化子が自明であるための条件は $HK = G$ かつ特定の写像がホップ代数同型であることです。
  • ラグランジュ（Lagrangian）: 自己双対かつ最大な対称部分圏であるための条件は $K=H$ かつ $B=B^*$ です。

3.3. 単純対象と射影対象の記述（定理 4.10）

[GS1] の幾何学的記述を用いて、部分圏 $\mathcal{Z}(K, H, B)$ 内の単純対象と射影対象を記述しました。

• 単純対象は、$K$ の共役軌道 $C_g$ に対応する部分圏 $\mathcal{Z}(K, H, B)_{C_g}$ に分解され、各成分はねじれた群代数 $k_{\psi_g}[G_g/H]$ の表現と対応します。
• フロベニウス・ペロン次元（Frobenius-Perron dimension）も明示的に計算されました。

4. 特殊な場合と例（第 5 章）

• 定数群（Constant groups）: $G$ が定数群（有限群）の場合、結果は [NNW] の結果と一致し、$S(K, H, B)$ として知られるカテゴリを再構成します。
• 連結群（Connected groups）: $G$ が連結な場合（$G(k)=1$）、部分圏は $\text{Rep}(G/H)$ に同値になります。
• 具体例:
  • $G = \mathbb{G}_{a,1}$（1 次フロベニウス核）の場合、パラメータ $\lambda \in k$ によって分類される非退化な編み込み部分圏の無限族を構成しました。
  • $G = \mathbb{G}_{a,2}$ の場合、非自明なココサイクル $\tau$ が現れ、テンソル積代数でもスミス積代数でもない新しいホップ代数の族が得られることを示しました。

5. 意義と貢献

1. 非半単純設定への一般化: 標数 $p > 0$ の非半単純な編み込みテンソル圏の構造を、$S$ 行列に依存しないホップ代数論的な手法で完全に記述しました。これは、$p=0$ の結果を本質的に拡張するものです。
2. 統一的な枠組みの提供: 群スキームの正規部分群と等変写像という、非常に具体的で計算可能なデータを用いて、複雑なテンソル圏の構造を分類する統一的な枠組みを提供しました。
3. 新しいホップ代数の発見: 商代数 $D(K, H, B)$ の構成を通じて、リボン構造を持つ新しいホップ代数の大きな族（特に非自明なココサイクルを持つもの）を明らかにしました。
4. 応用可能性: 結果は、ねじれたドリントルダブル $D_\omega(G)$ や、より一般的な有限ホップ代数の表現圏の分類への拡張が期待されます（付録および考察）。

総じて、本論文は有限群スキームのドリントルダブルの表現圏の構造理解において、標数 $p$ に依存しない強力な分類定理を確立し、非半単純な編み込み圏の理論における重要な進展をもたらしています。