群の表現論入門 - 表現と既約分解

群の表現とは、群の元をベクトル空間上の線型変換として実現することです。抽象的な群の構造を、行列という具体的で計算しやすい対象に翻訳できるため、群論の中でも特に強力な道具となっています。

群の表現の定義

$G$ を群、 $V$ を体 $K$ 上の有限次元ベクトル空間とします。 $G$ の $V$ 上の表現とは、群準同型

$ρ : G \to GL (V)$

のことです。ここで $GL (V)$ は $V$ の正則線型変換全体がなす群です。 $V$ の基底を固定すれば $GL (V) ≅ GL_{n} (K)$ なので、表現とは「群の各元に $n$ 次正則行列を対応させる準同型」と言い換えられます。 $n = dim V$ をこの表現の次数と呼びます。

群準同型であるという条件は、すべての $g, h \in G$ に対して $ρ (g h) = ρ (g) ρ (h)$ が成り立つことを意味します。これにより群の演算が行列の積として忠実に反映されます。

$ρ (e) = I$ （単位行列）も自動的に従う。

以下では特に断らない限り、体 $K$ は複素数体 $C$ とし、ベクトル空間は有限次元とします。

具体例

最も基本的な例をいくつか見ていきます。

自明表現　任意の群 $G$ に対して、すべての元を単位行列に送る写像 $ρ (g) = I$ は表現になります。次数は任意にとれますが、通常は 1 次のもの（ $ρ (g) = 1$ for all $g$ ）を自明表現と呼びます。群の構造を何も反映しないので情報量はありませんが、表現論の議論で基準点として重要な役割を果たします。

巡回群の表現　巡回群 $C_{n} = ⟨ r ∣ r^{n} = e ⟩$ の 1 次表現を考えます。 $ρ (r) = ζ$ とおくと $ρ (r^{n}) = ζ^{n} = 1$ が必要なので、 $ζ$ は $1$ の $n$ 乗根でなければなりません。したがって $C_{n}$ の 1 次表現は

$ρ_{k} (r) = e^{2 πik / n}, k = 0, 1, \dots, n - 1$

の $n$ 個あります。 $k = 0$ が自明表現に対応します。

対称群 $S_{3}$ の 2 次表現　 $S_{3}$ は正三角形の対称群でもあります。正三角形を原点中心に配置し、各対称操作を $R^{2}$ 上の直交変換として表すと、 $S_{3}$ の 2 次表現が得られます。具体的には、 $120°$ 回転 $r$ と辺に関する反転 $s$ に対して

$ρ (r) = (- \frac{1}{2} \frac{3}{2} - \frac{3}{2} - \frac{1}{2}), ρ (s) = (10 0 - 1)$

と定めると、これは群準同型になります。

部分表現と既約表現

表現 $(ρ, V)$ の部分空間 $W \subset V$ が $G$ 不変であるとは、すべての $g \in G$ に対して $ρ (g) (W) \subset W$ が成り立つことです。このとき $W$ への制限 $ρ ∣_{W} : G \to GL (W)$ も表現となり、これを部分表現と呼びます。

既約表現

${0}$ と $V$ 以外に $G$ 不変部分空間を持たない表現。これ以上分解できない「原子」にあたる。

可約表現

非自明な $G$ 不変部分空間を持つ表現。より小さい表現に分解できる可能性がある。

既約表現は群の表現論における基本的な構成要素です。任意の表現を既約表現の「直和」として書けるかどうかが、理論の中心的な問題となります。

完全可約性

表現 $(ρ, V)$ が完全可約であるとは、 $V$ が既約な $G$ 不変部分空間の直和として分解できることです。すなわち

$V = W_{1} \oplus W_{2} \oplus \dots \oplus W_{k}$

と書けて、各 $W_{i}$ が既約表現であるということです。

$G$ 不変部分空間 $W$ が存在するとき、 $V = W \oplus W^{'}$ と $G$ 不変な補空間 $W^{'}$ がとれるとは限りません。一般の体上では可約だが完全可約でない表現が存在します。しかし複素数体上の有限群の表現では、この問題は起こりません。それを保証するのが Maschke の定理です。

Maschke の定理

有限群 $G$ の体 $K$ 上の表現において、 $K$ の標数が $∣ G ∣$ を割らないならば、すべての表現は完全可約です。

特に $K = C$ の場合、標数は $0$ なので条件は常に満たされます。したがって、有限群の複素表現は必ず既約表現の直和に分解できます。

証明の核心は、 $G$ 不変な内積を構成することです。 $V$ 上の任意の内積 $⟨ \cdot, \cdot ⟩_{0}$ から出発して

$⟨ u, v ⟩_{G} = \frac{1}{∣ G ∣} g \in G \sum ⟨ ρ (g) u, ρ (g) v ⟩_{0}$

と定めると、 $⟨ \cdot, \cdot ⟩_{G}$ は $G$ 不変な内積になります。 $G$ 不変部分空間 $W$ に対して直交補空間 $W^{⊥}$ をとれば、 $W^{⊥}$ も $G$ 不変となり $V = W \oplus W^{⊥}$ が得られます。この操作を繰り返せば、 $V$ は既約部分空間の直和に分解されます。

$\frac{1}{∣ G ∣}$ で割る操作が本質的なので、 $K$ の標数が $∣ G ∣$ を割る場合（モジュラー表現論）にはこの議論が使えず、完全可約性が崩れます。

標数 $p$ が $∣ G ∣$ を割る場合の表現論で、通常の表現論とは大きく異なる理論が展開される。

Schur の補題

既約表現の間の準同型に関する基本的な結果が Schur の補題です。

$(ρ, V)$ と $(σ, W)$ を $G$ の既約表現とし、 $φ : V \to W$ を $G$ 準同型（すなわちすべての $g$ に対して $φ \circ ρ (g) = σ (g) \circ φ$ を満たす線型写像）とします。このとき、 $φ$ は零写像であるか同型写像であるかのいずれかです。

証明は簡潔です。 $ker φ$ は $V$ の $G$ 不変部分空間なので、 $V$ の既約性から $ker φ = {0}$ または $ker φ = V$ です。同様に $Im φ$ は $W$ の $G$ 不変部分空間なので、 $W$ の既約性から $Im φ = {0}$ または $Im φ = W$ です。 $φ \neq = 0$ ならば $ker φ = {0}$ かつ $Im φ = W$ となり、 $φ$ は同型です。

さらに $K = C$ で $V = W$ （同じ既約表現）の場合、 $φ$ はスカラー倍 $φ = λ \cdot id_{V}$ でなければなりません。これは $φ$ が固有値 $λ$ を持ち、 $φ - λ \cdot id$ も $G$ 準同型かつ非同型（全射でない）なので零写像になることから従います。

既約表現の個数

有限群 $G$ の複素既約表現の同型類の個数は、 $G$ の共役類の個数に等しいという事実があります。これは指標理論から導かれる結果で、表現の分類において共役類が決定的な役割を果たすことを示しています。

群	共役類の数	既約表現の数
$C_{n}$	$n$	$n$
$S_{3}$	3	3
$S_{4}$	5	5
$D_{4}$	5	5

さらに、既約表現の次数 $d_{1}, d_{2}, \dots, d_{r}$ は

$d_{1}^{2} + d_{2}^{2} + \dots + d_{r}^{2} = ∣ G ∣$

を満たします。例えば $S_{3}$ は位数 6 で共役類が 3 つなので、 $d_{1}^{2} + d_{2}^{2} + d_{3}^{2} = 6$ の正整数解を求めると $1^{2} + 1^{2} + 2^{2} = 6$ しかありません。したがって $S_{3}$ の既約表現は 1 次が 2 つ、2 次が 1 つです。

$S_{3}$ の既約表現の完全な記述

$S_{3}$ の 3 つの既約表現を具体的に書き下します。

自明表現 $ρ_{1}$ 　すべての元を $1$ に送ります。次数 1 です。

符号表現 $ρ_{2}$ 　偶置換を $1$ に、奇置換を $- 1$ に送ります。これも次数 1 です。 $ρ_{2} (σ) = sgn (σ)$ と書けます。

標準表現 $ρ_{3}$ 　先ほど行列で与えた 2 次表現がこれにあたります。 $S_{3}$ は ${1, 2, 3}$ の置換群なので $C^{3}$ に自然に作用しますが、この 3 次表現は既約ではありません。 $G$ 不変な部分空間 $W = {(a, a, a) ∣ a \in C}$ （自明表現に対応）と、その補空間 $U = {(x_{1}, x_{2}, x_{3}) ∣ x_{1} + x_{2} + x_{3} = 0}$ に分解でき、 $U$ が 2 次の既約表現（標準表現）を与えます。

位数 8 の群の複素既約表現の次数の組として、あり得ないものはどれですか？

$1, 1, 1, 1, 2$
$1, 1, 1, 1, 1, 1, 2$
$1, 1, 2, 2$
$1, 1, 1, 1, 1, 1, 1, 1$

__RESULT__

$d_{1}^{2} + d_{2}^{2} + \dots = 8$ を満たす必要があります。 $1 + 1 + 4 + 4 = 10 \neq = 8$ なので $(1, 1, 2, 2)$ はあり得ません。他の選択肢はすべて二乗和が 8 になります。

表現の直和と既約分解の一意性

2 つの表現 $(ρ, V)$ と $(σ, W)$ に対して、直和表現 $ρ \oplus σ$ が $V \oplus W$ 上の表現として

$(ρ \oplus σ) (g) (v, w) = (ρ (g) v, σ (g) w)$

で定義されます。行列で書けばブロック対角行列

$(ρ \oplus σ) (g) = (ρ (g) 0 0 σ (g))$

です。Maschke の定理により、有限群の任意の複素表現 $V$ は

$V ≅ W_{1}^{\oplus m_{1}} \oplus W_{2}^{\oplus m_{2}} \oplus \dots \oplus W_{r}^{\oplus m_{r}}$

と既約表現の直和に分解でき、各 $W_{i}$ の同型類と重複度 $m_{i}$ は一意的に定まります。この一意性は Schur の補題から証明されます。

表現論の目標は、与えられた群のすべての既約表現を決定し、任意の表現をそれらの直和に分解する方法を確立することです。この作業をさらに効率的に行うための道具が指標（character）であり、それについては別の記事で扱います。