Wedderburn decomposition of the rational group algebras of $\operatorname{SL}_2(q)$ and $\operatorname{PSL}_2(q)$

この論文「WEDDERBURN DECOMPOSITION OF THE RATIONAL GROUP ALGEBRAS OF SL2(q) AND PSL2(q)」は、有限リー型群 $SL_2(q)$ および $PSL_2(q)$ に対する有理数体 $\mathbb{Q}$ 上の群環 $\mathbb{Q}G$ のウェダーバーン分解（直和分解）について、$q$ のみに依存する明示的な組み合わせ論的公式を導出することを目的としています。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記述します。

1. 問題設定 (Problem)

有限群 $G$ と数体 $F$ に対する群環 $FG$は、半単純環の場合（$F$の標数が$|G|$ を割り込まない場合）、ウェダーバーン・アチン定理により、有限次元の除環上の行列環の直和に分解されます。
$$FG \cong \bigoplus_{i=1}^r M_{n_i}(D_i)$$
ここで、各 $M_{n_i}(D_i)$ は単純成分と呼ばれます。特に、$F=\mathbb{Q}$（有理数体）の場合、この分解を具体的に決定することは、群の表現論や代数構造の理解において重要な古典的な問題です。
本研究は、有限体 $\mathbb{F}_q$ 上の 2 次特殊線形群 $SL_2(q)$ とその射影版 $PSL_2(q)$ について、この分解を $q$ の関数として明示的に記述することを課題としています。既存の研究では、シャダペア（Shoda pairs）を用いた手法や計算機代数系（GAP の WEDDERGA パッケージ）による計算が存在しますが、大規模な群に対しては厳密な計算が困難であり、一般の $q$ に対する統一的な公式は不足していました。

2. 手法 (Methodology)

著者らは、以下の理論的枠組みを組み合わせて解析を行いました。

• 指標理論とガロア共役:
  複素既約指標の集合 $Irr(G)$におけるガロア共役類（$\mathbb{Q}$上の共役）を特定します。各ガロア共役類は、有理数体上の既約表現（$\mathbb{Q}G$-加群）に対応します。
• シュル指数（Schur Index）の決定:
  各複素既約指標 $\chi$ に対するシュル指数 $m_{\mathbb{Q}}(\chi)$ を計算します。これは、$\mathbb{Q}$ 上の表現が複素表現を何回含むか、あるいは除環の次数に関係する重要な不変量です。
  • $PSL_2(q)$ の場合、すべての指標に対して $m_{\mathbb{Q}}(\chi) = 1$ であることが知られています（Lemma 3.1）。
  • $SL_2(q)$ の場合、$q$ が奇数であるとき、一部の指標（特に $q \equiv 1, 3 \pmod 4$ の場合の特定の系列）で $m_{\mathbb{Q}}(\chi) = 2$ となり得ます（Lemma 4.1, Table 4-1）。
• 中心と除環の構造:
  シュル理論（Lemma 2.2）に基づき、単純成分 $M_n(D)$ について、その中心 $Z(D)$ が $\mathbb{Q}(\chi)$（指標値から生成される体）に同型であり、次数 $[D:Z(D)] = m_{\mathbb{Q}}(\chi)^2$ であることを利用します。
• 四元数代数の明示的構成:
  シュル指数が 2 となる場合、対応する除環 $D$ は四元数代数 $(a, b)_F$ として記述されます。著者らは、ヒルベルト記号や局所不変量を用いて、$SL_2(q)$ の特定の成分に対応する四元数代数 $(a, b)_{\mathbb{Q}(\chi)}$ のパラメータ $a, b$ を $q$ の素因数分解や合同条件に基づいて具体的に決定しました（Lemma 4.3）。
• 指標表の解析:
  $SL_2(q)$ と $PSL_2(q)$ の既知の指標表（Table 2-1 至 2-4）を用いて、各指標の次数と値の域を分類し、ガロア共役類のサイズと構造を $q$ の約数を用いて記述しました。

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

著者らは、$q$ の性質（2 のべきか奇数素数のべきか、$q \equiv 1, 3 \pmod 4$ か、平方数か）に応じて、以下の定理を証明しました。

A. $PSL_2(q)$ の場合 (Theorems 1 & 2)

$q$ が 2 のべきの場合（Theorem 1）と奇数素数のべきの場合（Theorem 2）で分解が異なります。

• 分解の構造:
  群環 $\mathbb{Q}G$ は、以下の種類の行列環の直和として記述されます。
  1. 有理数体 $\mathbb{Q}$ 上の行列環 $M_q(\mathbb{Q})$（ステインベルグ表現に対応）。
  2. 1 次元表現に対応する $\mathbb{Q}$。
  3. $d \mid (q \pm 1)$ となる $d$ に対して、$\mathbb{Q}(\zeta_d + \zeta_d^{-1})$（実分円体）上の行列環 $M_{q \pm 1}(\mathbb{Q}(\zeta_d + \zeta_d^{-1}))$。
  4. $q \equiv 3 \pmod 4$ の場合、$\mathbb{Q}(\sqrt{-q})$ 上の行列環 $M_{(q-1)/2}(\mathbb{Q}(\sqrt{-q}))$ が現れます。
  5. $q \equiv 1 \pmod 4$ の場合、$q$ が平方数かどうかで $\mathbb{Q}(\sqrt{q})$ 上の行列環や、$\mathbb{Q}$ 上の行列環の重複度が変化します。
• 非同型単純加群の数:
  各次元の非同型な単純 $\mathbb{Q}G$-加群の数を、$q \pm 1$ の約数の数 $\tau$ とオイラー関数 $\phi$ を用いた組み合わせ論的公式で与えました（Lemma 3.3, 3.4）。

B. $SL_2(q)$ の場合 (Theorem 3)

$q$ が奇数素数のべきである場合、$PSL_2(q)$ とは異なり、中心 $Z(SL_2(q))$ の影響により分解がより複雑になります。

• シュル指数の影響:
  $m_{\mathbb{Q}}(\chi) = 2$ となる指標が存在するため、単純成分は四元数代数上の行列環となります。
• 四元数代数の具体化:
  分解に含まれる除環 $D$ は、以下の形式で明示的に記述されます。
  • $D_d \cong (\zeta_d - \zeta_d^{-1}, -q)_{\mathbb{Q}(\zeta_d + \zeta_d^{-1})}$
  • $D'_d \cong (\zeta_d - \zeta_d^{-1}, -1)_{\mathbb{Q}(\zeta_d + \zeta_d^{-1})}$
  • $D' \cong (-1, -1)_{\mathbb{Q}(\sqrt{q})}$
  • $D''$ は $q=p^{2m}$ の場合、$p \equiv 1, 3 \pmod 4$ に応じて $(-1, -p)_{\mathbb{Q}}$ や $(-\ell, -p)_{\mathbb{Q}}$ となります。
• 分解公式:
  Theorem 3 は、$q \equiv 1, 3 \pmod 4$ の場合および $q$ が平方数か否かに応じて、$\mathbb{Q}G$ の完全なウェダーバーン分解を、上記の四元数代数を含む行列環の直和として与えています。

4. 意義 (Significance)

• 明示的公式の確立:
  これまで計算機に依存していたり、特定のケースに限られていた $SL_2(q)$ と $PSL_2(q)$ の有理群環の分解を、$q$ のみで記述される統一的な組み合わせ論的公式として確立しました。
• 四元数代数の分類への寄与:
  有限リー型群の群環分解において現れる除環が、具体的にどのような四元数代数で記述されるかを明らかにしました。特に、$SL_2(q)$ におけるシュル指数 2 の現象が、群環の構造にどのように反映されるかを詳細に記述しています。
• 表現論的応用:
  各次元の非同型な単純加群の数を正確に数え上げることで、群環のモジュール圏の構造理解に貢献します。これは、群環のイデアル構造や、関連する数論的対象（例えば、群環の単位群など）の研究の基礎となります。
• 一般化への道筋:
  本論文で用いられた手法（指標表のガロア共役解析とシュル指数の組み合わせ）は、他の有限リー型群やより一般的な群に対する有理群環の分解研究へのモデルケースを提供します。

要約すると、この論文は $SL_2(q)$ と $PSL_2(q)$ の有理群環の構造を、$q$ の数論的性質に基づいて完全に解明し、その分解を行列環と四元数代数の明示的な直和として記述した画期的な成果です。