Professional Documents
Culture Documents
∗
本間 泰史
概要
このノートでは有限群の表現論および対称群の表現論の基本的なことを論
じる.
目次
1 対称群 5
1.1 定義 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 生成元と関係式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 関係式とあみだくじ . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 共役類と分割数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5 符号 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2 対称式1(基本対称式) 15
3 有限群の表現論 21
3.1 定義 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2 完全可約性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.3 例 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.3.1 有限可換群の表現 . . . . . . . . . . . . . . . . . . . . . . . . 25
3.3.2 3次対称群の表現 . . . . . . . . . . . . . . . . . . . . . . . . 25
3.4 指標 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.5 自明表現への射影公式と応用 . . . . . . . . . . . . . . . . . . . . . 31
3.6 表現の分類 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.7 射影公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.8 指標や射影公式の応用 . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.9 行列成分,シューアの直交関係 . . . . . . . . . . . . . . . . . . . . 40
3.10 群環 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.10.1 群環と畳み込み . . . . . . . . . . . . . . . . . . . . . . . . . 42
∗
理科大理工
1
3.10.2 群環と行列成分 . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.10.3 群環と既約表現 . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.11 フーリエ変換 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.12 誘導表現とフロベニウス相互律 . . . . . . . . . . . . . . . . . . . . 53
3.13 実構造.四元数構造 . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4 対称群の表現論 65
4.1 既約表現の構成とヤング対称化作用素 . . . . . . . . . . . . . . . . 65
4.2 標準表現と交代テンソル積表現 . . . . . . . . . . . . . . . . . . . . 75
4.3 Frobenius formula . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
4.3.1 Frobenius forumla . . . . . . . . . . . . . . . . . . . . . . . . 80
4.3.2 次元公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
4.3.3 hook length forumla . . . . . . . . . . . . . . . . . . . . . . 85
4.3.4 応用例 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.3.5 応用例 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
5 対称式2(シューア多項式) 98
5.1 定義 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
5.2 対称式に対するいくつかの恒等式 . . . . . . . . . . . . . . . . . . . 101
5.2.1 Giambelli の公式 . . . . . . . . . . . . . . . . . . . . . . . . 101
5.2.2 Newton の公式 . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.2.3 Pieri の公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
5.2.4 発展:Littlewood-Richardson rule . . . . . . . . . . . . . . . 115
5.3 Kostka 数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
5.3.1 Kostka 数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
5.3.2 コーシーの恒等式 . . . . . . . . . . . . . . . . . . . . . . . . 117
5.3.3 応用:Frobenius forumla への補題 . . . . . . . . . . . . . . . 123
5.4 変数を増やす . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
5.4.1 involution ω . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
5.5 Skew シューア多項式 . . . . . . . . . . . . . . . . . . . . . . . . . . 131
2
6.3.1 Hopf 代数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
6.3.2 対称式空間の Hopf 代数構造 . . . . . . . . . . . . . . . . . . 160
8 Weyl 構成 179
8.1 シューア Functor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
8.2 証明 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
8.3 応用 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
3
はじめに
このノートで述べることは,
1. 有限群の表現.
2. 対称式.
3. 対称群の表現論.
4. 交代群の表現論.
5. Weyl 構成.
です.このノートを書いた動機は,いろいろな事情から「Fulton-Harris の表現論
の本 [1] の理解しよう」と思ったことです.この本は最初に有限群,対称群の表現
論がありまして,その後リー群やリー環の表現論に入ります(扱うの古典群).コ
ンパクト群の表現論を理解するには,まず有限群の表現から勉強したほうが理解
しやすく,対称群という有限群の表現論を学べば,U (n), SU (n) の表現へと繋がり
ます(よって GL(n, C),SL(n, C) の正則表現へも繋がる).本当は,コンパクト
群の表現を自由に扱えるようになることが目的で読み始めたのですが,このノー
トでは有限群,対称群の表現を扱います. (ノートの量が多くなってしまったので,
SU (n) の表現論は,またべつの機会で).
このノートの読み方としては,そのまま,はじめから順に読むのがよいんでしょ
うが,有限群の表現論のみを勉強したいなら Section 3 を読む.対称式を勉強した
いなら Section 2 と Section 5 を読む.対称群の表現論を勉強したいなら,すべて
読む.という方法がよいかと思います.もとの本 [1] が演習問題ばかりなので,こ
のノートは,話題がばらばらになって,まとまりがないです.逆に,演習問題をと
いたおかげで,このノートには具体例をたくさん書いてあります.その意味では,
一般論と計算法のどちらの勉強にもなる.また,ほとんどに証明がついてますが,
証明がついてないものは Littlewood-Ricahrdson rule などです(その証明は [2] を
参照.このノートを読んだあとなら難しくないと思う).
シューア多項式などの対称式は,いろんなところでお見かけする重要な話題で,
幾何へもいろいろと応用が利く話題です.そんなわけで,一回はまじめに勉強し
なくてはと前から思っていただけに,このノートを作るのは,よい機会でした.こ
のノートがあれば,Macdonald の [2] の第一部はすらすら読めると思います.また
Fulton-Harris の本 [1] の第一部の解説にもなっています.[1] は演習問題が多いの
で苦労するけど,表現論の具体的な計算のためにはよい本です.幾何,無限可積
分系,数理物理をやる人には役立つ本だと思う.僕自身は幾何が専門と称してい
るので,間違いや勘違いはたくさんあることでしょう.数学的な間違いをみつけ
たら,ご一報を.
本間 泰史
4
1 対称群
ここでは対称群についての基礎を学ぶ.
1.1 定義
集合 X に対する置換群とは X から X への全単射(置換)写像の全体であり,写
像の合成により群になるものである.
定義 1.1. X = {1, 2, · · · , d} に対する置換群を d 次対称群とよび Sd と書く.
そして恒等写像である単位元を 1, id, e などと書く.
3. ( )
1 2 ··· i ··· j ··· d
σ=
k1 k2 · · · ki · · · kj · · · kd
に対して,σ · (i, j) は
( )
1 2 ··· i ··· j ··· d
σ · (i, j) =
k1 k2 · · · kj · · · ki · · · kd
となる.
5
1.2 生成元と関係式
群 G と G のいくつかの元 g1 , · · · , gl があって,G の任意の元が g1 , · · · , gl , g1−1 , · · · , gl−1
の積で表せるとき {g1 , g2 , · · · , gl } を G の生成元とよび,G = ⟨g1 , · · · , gl ⟩ などと書
く.次の目的は,対称群 Sd の生成元をもとめることである.
命題 1.3. 対称群 Sd は隣接互換 (1, 2), (2, 3),・ ・ ・,(d − 1, d) で生成される.簡
単のため si = (i, i + 1) とすれば,Sd = ⟨s1 , · · · , sd−1 ⟩ である.またこれらの
生成元は次の関係式を満たす.
2
i = 1, · · · , d − 1
si = 1
si si+1 si = si+1 si si+1 i = 1, · · · , d − 2 (1.1)
s s = s s |i − j| ≥ 2
i j j i
さらに,上の関係式で Sd のすべての関係式をかくことができる.つまり
⟨ s2 = 1 i = 1, · · · , d − 1 ⟩
i
Sd = s1 , · · · , sd−1 si si+1 si = si+1 si si+1 i = 1, · · · , d − 2
si sj = sj si |i − j| ≥ 2
Proof. まず,隣接互換が生成元となることを簡単な例で証明する.
( )
1 2 3 4
σ= ∈ S4
4 3 2 1
を考える.まず隣接互換をかけて二行目の 4 を最も後ろへ持って行く.例えば,
( ) ( )
1 2 3 4 1 2 3 4
(1, 2) =
4 3 2 1 3 4 2 1
( ) ( ) ( )
1 2 3 4 1 2 3 4 1 2 3 4
(1, 2)(2, 3) = (2, 3) =
4 3 2 1 3 4 2 1 3 2 4 1
( ) ( )
1 2 3 4 1 2 3 4
(1, 2)(2, 3)(3, 4) =
4 3 2 1 3 2 1 4
となる.次に二列目の 3 を 3 番目にもっていく操作を行う.以下同様.すると
( ) ( )
1 2 3 4 1 2 3 4
(1, 2)(2, 3)(3, 4)(1, 2)(2, 3)(1, 2) = 1 =
4 3 2 1 1 2 3 4
となる.よって
σ = (1, 2)−1 (2, 3)−1 (1, 2)−1 (3, 4)−1 (2, 3)−1 (1, 2)−1 = (1, 2)(2, 3)(1, 2)(3, 4)(2, 3)(1, 2)
6
となり σ は隣接互換の積でかけたことになる.
生成元の関係式 (1.1) は直接証明すればよい.
つぎに Sd が隣接互換を生成元とし,関係式 (1.1) で生成される群であることを
証明する.
Gd := ⟨s1 , · · · , sd−1 | (1.1)⟩
とする.Gd ∋ si → (i, i + 1) ∈ Sd という写像を定義すれば,si の関係式は Sd 内
の関係式と同じなので,これは準同形写像になる.さらに全射であることは隣接
互換が生成元であることからしたがう.これが同型であることを証明するために
次の補題を用いる.
補題 1.4. Gd の任意の元は
と書ける.
この補題を使って,帰納法により Gd ∼ = Sd であることを証明する.仮定から
∼
Gd−1 = Sd−1 である.よって |Gd−1 | = (d − 1)! である.上の補題から Gd の位数は
|Gd−1 | × d = d! 以下であることがわかる.一方 Gd → Sd は全射準同形であるので,
|Gd | ≥ d! である.よって |Gd | = d! であり,Gd ∼ = Sd が成立する.
となる.
さて Gd の元は gi ∈ Gd−1 の元を使って,g1 s1 g2 s1 g3 s1 · · · という形でかけてい
る.例えば,g1 s1 g2 s1 g3 において,上の式を使って s1 の数を減らすことができ,
g1 s1 g2 s1 g3 = g1 (g2′ s1 g2′′ )g3 = g1′ s1 g2′′ と書ける.このようにして s1 の数をへらすこ
とができ,最終的に s1 は一個残るか消えることになる.
s1 が消える場合にはそれでよい.s1 が一個残る場合には,ある g, g ′ ∈ Gd−1 が
存在して gs1 g ′ と書ける.そこで g ′ を仮定を使って,書き換えれば,
となる.以上で補題が証明された.
7
例 1.5. 生成元のとりかたは,もちろん一つではないが,上の生成元はもっとも標
準的なとり方である.他の生成元のとり方としては,例えば,
Sd = ⟨(1, 2), (1, 3), · · · , (1, d)⟩, Sd = ⟨(1, 2), (1, 2, · · · , d)⟩
などがある(二番目は,群 Sd がたった二つの元から生成されることを意味する).
Proof. 二番目を証明する.
(1, 2)(1, · · · , d)(2, 3){(1, 2)(1, · · · , d)}−1 = (s2 s3 s4 · · · sd−1 )s2 (sd−1 · · · s3 s2 )
=s3 s2 s3 s4 · · · sd−1 sd−1 · · · s3 s2 = s3
であるので,(1, 2), (1, 2, · · · , d) ∈ ⟨(1, 2), (1, 3), · · · , (1, d)⟩ となることからわかる.
1.3 関係式とあみだくじ
隣接互換の関係式の意味をしらべよう.
そのために次の s2i = 1 という関係式だけ除いた群を考える.
⟨ { ⟩
ss s =s ss i = 1, · · · , d − 2
i i+1 i i+1 i i+1
Bd = s1 , · · · , sd−1 .
si sj = sj si |i − j| ≥ 2
8
1 2 3
s1
s2
s1
s2
s1
1 3
2
i i+1
i i+1
i i+1
i i+1
9
1 2 3 2
1 3
1 3 2 3
2 1
そして,上の図は置換
( )
1 2 3
σ= = (2, 3)
1 3 2
である.また上の図は σ が隣接互換の積で書けることも表している.実際
である.一般の場合には ( )
1 2 ··· n
σ=
i1 i2 · · · in
に対して,まず 1, · · · , n を上の段と下の段にかき,上の段の k と下の段の ik を各
k に対して結ぶ.さらに,その図(組紐で上下関係がないものである)をあみだく
じの形に綺麗に書き直す.あみだくじの横棒を互換とみなして上から順にかけて
いけば σ を得ることができる.このように,あみだくじで書くことにより,Sd の
任意の元が隣接互換の積で必ず書けることの別証明を得ることができる.さらに
{si }i の関係式は,あみだくじを次のように変換しても,i, i + 1, i + 2 などの行き
先は変化しないことを意味する.
10
i i+1 i i+1 i i+1 j j+1
i
i+1 i+2 i i+1 i+2 i i+1 j j+1
練習問題 1.7. あみだくじを使って,(1, 2, · · · , d − 1, d) = (1, 2)(2, 3) · · · (d − 1, d)
であることを証明せよ.
また,ちょっと面倒だが σ = si1 · · · sik と σ ′ = sj1 · · · sjl が同じ置換なら,上のあ
みだくじ上の変換をもちいて σ ′ を si1 · · · sik の形にすることが直感的に理解できる
(これは Gd → Sd が単射であることを意味する.真面目な証明はすでに述べた).
補足 1.8. わざわざ組紐群から考えたが,初めからあみだくじで考えてもかまわ
ない.
1.4 共役類と分割数
次に Sd の共役類について考える.
の軌道は
{1, 4, 7, 12}, {2, 10}, {3}, {5, 9}, {6}, {8, 13, 15}, {11, 14}
11
である.そこで
[d, · · · , d, d − 1, · · · , d − 1, · · · , k, · · · , k , · · · , 1, · · · , 1]
| {z } | {z } | {z } | {z }
id id−1 ik i1
とする.このサイクルタイプの代表元の個数は
d!
{did i d !}{(d − 1)id−1 id−1 !} · · · {k ik ik !} · · · {1i1 i1 !}
となる.
12
Proof. 具体例でのみ証明しておこう.サイクルタイプが [4, 3, 2, 2, 2, 1, 1] であると
する.このサイクルタイプの元を得るには
15!
(41 1!)(31 1!)(23 3!)(11 2!)
となる.
命題 1.9 (対称群の共役類). Sd の共役類はサイクルタイプで決定できる.よっ
て共役類の全体と d の分割は一対一に対応する.特に共役類の個数は d の分割
数 p(d)(箱の数が d のヤング図形の数)に等しい.ここで d の分割数とは d の
分割 d = λ1 + · · · + λd (λ1 ≥ λ2 ≥ · · · ≥ λd ≥ 0)の数である(ヤング図形と
の対応は後述).さらに,サイクルタイプが
i = [d, · · · , d, d − 1, · · · , d − 1, · · · , k, · · · , k , · · · , 1, · · · , 1]
| {z } | {z } | {z } | {z }
id id−1 ik i1
の共役類を Ci とすれば,
d!
|Ci | = .
{did id !}{(d − 1)id−1 id−1 !} · · · {k ik ik !} · · · {1i1 i1 !}
また i ⊢ d で i が d の分割であることを表せば,
∑
d! = |Ci |
i⊢d
が成立する.
∑
補足 1.10. かなり後の系 3.29 で d! = λ⊢d (dim Vλ )2 なる式を証明する.ここで
Vλ は λ に対応する Sd の既約表現である.かなり似た式だが,d2λ と |Cλ | は一致す
るわけではない.
13
1.5 符号
対称群 Sd の元は互換の積でかならずかけるのであった.そこで
として定義する.
補足 1.11. 符号は,あみだくじ表示を行って,交点数を数えればよい(交点は隣
接互換であったので).
例 1.12. l 次の巡回置換の符号は (−1)l−1 である.
定義 1.4 (交代群). 偶置換全体(つまり ker sgn)は正規部分群となる.それを
Ad と書き d 次交代群とよぶ.明らかに Sd = Ad ∪ (1, 2)Ad であり,|Ad | = d!/2.
交代群の表現は Section 7 で扱う.
14
2 対称式1(基本対称式)
ここでは,対称式に対する基本的な事柄を学ぶ.シューア多項式や完全対称式
などについてのより深い話は Section 5 で述べる.
d 次対称群 Sd を d 変数多項式環 C[x] = C[x1 , · · · , xd ] へ作用させる.まず座標
(x1 , · · · , xd ) に対して,σ(x1 , · · · , xd ) = (xσ−1 (1) , · · · , xσ−1 (d) ) とする.また x の関
数 f (x) = f (x1 , · · · , xd ) に対して,(σf )(x) = f (σ −1 x) として作用させれば,これ
は関数空間への対称群の作用になる. (作用や表現については Section 3 を見よ).
そこで,f (x) ∈ C[x] に対して,
と作用させることになる.また,
であるので,作用は多項式空間の環構造も保つことに注意する.
対称多項式の基本的な基底とし,基本対称式を導入する.
定義 2.2 (基本対称式). 基本対称式 {e0 (x) = 1, e1 (x), · · · , ed (x)} を
∏
d ∑
d
(t − xi ) = (−1)d−k ed−k (x)tk
i=1 k=0
により定義する(解と係数の関係を思いだそう).または,
∏
d ∑
d
(1 + xi t) = ek (x)tk
i=1 k=0
により定義する.
例えば.
e1 (x) = x1 + · · · + xd ,
∑
e2 (x) = x1 x2 + x2 x3 + · · · xd−1 xd = xi xj ,
i<j
······
ed (x) = x1 · · · xd
15
となり,一般には, ∑
er = xi1 xi2 · · · xir
1≤i1 <i2 <···<ir ≤d
となる.
この基本対称式が対称式の代数的な基底となることを証明したい.そこで,次
の軌道和対称式を定義する.λ = (λ1 , · · · , λd ) ∈ (Z≥0 )d に対して,
1 ∑ 1 ∑ 1 ∑ λ1
Mλ (x) = σxλ = σ(xλ1 1 · · · xλd d ) = xσ(1) · · · xλσ(d)
d
1. 対称式は基本対称式の多項式でかける.
2. 基本対称式の間には多項式関係は存在しない.
別の言い方をすれば,
は環同型となる.
補足 2.2. 実は整数係数の多項式に対しても,同様の事実が成立する.
16
Proof. 軌道和対称式の λ に辞書式順序をいれておく.λ ∈ P+ に対して,
µi = λi − λi+1 (1 ≤ i ≤ d − 1), µ d = λd
とする.つまり,
とする.このとき
Mλ (x) − e1 (x)µ1 e2 (x)µ2 · · · ed (x)µd
とすれば,これは対称式であるが,xλ という項は含まない.また λ より小さい軌
道和対称式の線形和でかける.よって同じ議論を繰り返せば,軌道和対称式が基
本対称式の多項式でかけることがわかる.軌道和対称式は対称式の基底であった
ので,任意の対称式は基本対称式の多項式でかける.
次に代数的に独立であることを証明しよう.d についての帰納法で照明する.
f (e1 (x), · · · , ed (x)) = 0 であると仮定する.xd = 0 とすれば,ed (x) = 0 であり,
∏ ∑
ei (x1 , · · · , xd−1 , 0) は d−1 次変数の基本対称式になる.実際, (1+xi t) = ek (x)tk
で xd = 0 とすればよい.
そこで
f (e1 (x1 , · · · , xd−1 , 0), · · · , ed−1 (x1 , · · · , xd−1 , 0), 0) = 0
となるが,帰納法の仮定から,d−1 変数の基本対称式が代数的に独立であることから
f (y1 , · · · , yd−1 , 0) = 0 となる.よって f は yd を因子としてもつので f (y) = yd f ′ (y)
となる.そこで,
0 = f (e1 , · · · , ed ) = ed f ′ (e1 , · · · , ed )
となり,f ′ (e1 , · · · , ed ) = 0 を得る.f ′ の次数は f の次数より下がっているので,次
数に関する帰納法から f = 0 であることがわかる.
pk = xk1 + · · · + xkd
とする.(p0 = d).このとき次の関係式が成立する.
∑
k
(−1)j pk−j ej = pk − e1 pk−1 + · · · + (−1)k ek p0 = (−1)k (d − k)ek 1≤k≤d
j=0
∑
d
(−1)j pk−j ej = pk − e1 pk−1 + · · · + (−1)d ed pk−d = 0 d≤k
j=0
17
Proof. (より簡単な証明を subsection 5.2 において行う).k = d の場合にまず証
明する.X を対角行列 diag(x1 , · · · , xd ) とする.このとき tr X k = pk (x) である.
また ∏ ∑
0= (X − xi ) = (−1)j X d−j ej (x)
となる.この両辺でトレースをとれば,
∑
d
0= (−1)j pk−j ej = 0
j=0
となる.{e1 , · · · , ed } が代数的に独立であることから,もっとも順序が高い λ につ
いて cλ = 0 がわかる.以下同様にして,すべての λ に対して cλ = 0 を得る.以上
で {p1 , · · · , pd } も代数的に独立であることが証明できた.
次に交代式について述べよう.
18
定義 2.3 (交代式). 多項式 f で (σf ) = sgn(σ)f (∀σ ∈ Sd )となる多項式を交代
式とよぶ.
定義から
f (x1 , · · · , xi , · · · , xj , · · · , xd ) = −f (x1 , · · · , xj , · · · , xi · · · , xn )
であるので
f (x1 , · · · , xi , · · · , xi , · · · , xn ) = 0
|{z}
j
∏
である.つまり (xi − xj ) を因子としてもつ.よって差積 ∆ = i<j (xi − xj ) を因
子にもち,f (x) = ∆(x)g(x) と分解できる.ここで g(x) は対称式である.逆に対
称式 g(x) に差積をかければ交代式になることがわかる,つまり,
交代式の全体 = 対称式の全体 × ∆.
最後に対称式の次元について述べておこう.多項式環のように,次数によって
有限次元の空間に分かれる空間をを次数付きベクトル空間とよぶ.V = ⊕∞k=0 Vk .
このようなベクトル空間に対するポアンカレ級数とは,
∑
PV (t) = (dim Vk )tk
k
のことである.また
∑
k
W = ⊕Wk , Wk = Uj ⊗ Vk−j
j=0
1
P (t) = = 1 + t + t2 + · · ·
1−t
である.
例 2.5 (多項式空間のポアンカレ級数). 次数付き空間としては C[x1 , · · · , xd ] ∼
=
C[x1 ] であるので,V = C[x1 , · · · , xd ] に対しては,
d
∞ ( )
1 d ∑ d+k−1 k
PV (t) = ( ) = t
1−t k=0
k
となる.
19
例 2.6 (対称式空間のポアンカレ級数). S[x] = C[e1 , · · · , ed ] であり,deg(el ) = l で
あるので,
∏
d
1
PS (t) =
1 − tl l=0
| + ·{z
d · · + d} + · · · + 1| + ·{z
· · + 1} = λ1 + · · · + λd
kd k1
というものに対応させる.ヤング図形に対応させれば,次のような s の分割に対
するヤング図形 λ であり,行の長さ l(λ) が d 以下のものである.
kd kd−1 k1
つまり,ts の係数である.よって
20
3 有限群の表現論
3.1 定義
G を有限群とする.つまり G は群で元の数 |G| が |G| < ∞ となるものである.
この定義により ρ∗ は G の表現になる.つまり
ρ∗ (g) = t ρ(g −1 ) : V ∗ → V ∗
である.この表現を双対表現とよぶ.
21
補足 3.2. 我々は G 加群で同値なものを面倒なので区別しないことにする.本来な
ら,それなりに区別すべきである.例えば V , W が G 加群として同値であっても,
V , W には異なった付加的な構造が入るかもしれないし,幾何的,代数的に異なっ
た意味がつけられるかもしれない.その意味でも Φ を具体的に構成することは意
味がある.つまり全く別の方法で構成した表現 V , W が同値であることを見るに
は,絡み作用素を作る必要がある.
さて,以下で基本的な表現の例を紹介する.
例 3.3. 一次元ベクトル空間 C を考えて,ρ(g) = id とすれば,表現になる.これ
を自明表現と呼ぶ.
例 3.4. X を有限集合として,G が左から作用しているとする.つまり,ある準同
形 G → Aut(X) が存在しているとする.ここで Aut(X) は X から X への全単射
写像の全体.このとき {x| ∈ x ∈ X} を基底として有限次元ベクトル空間 V を考
えて, ∑ ∑
g( ax x) = ax gx, ax ∈ C
x∈X
とすれば表現になる.これを置換表現とよぶ.
例 3.5. G の G 自身の左作用を考えると G → Aut(G) を得る.そして,置換表現
を得ることができる.つまり,
∑ ∑
g( ah h) = ah (gh), ah ∈ C
22
∑ ∑
補足 3.6. L(g)( ah h) = ah hg −1 とすれば,右正則表現が定義できる.
∑ ∑
Φ: ah h 7→ ah h−1
という線形写像を考える.これは全単射である.また
∑ ∑ ∑ ∑ ∑
Φ(R(g)( ah h)) = Φ( ah gh) = ah (gh)−1 = ah h−1 g −1 = L(g)(Φ( ah h))
とであるので,左正則表現と右正則表現は同値である.
3.2 完全可約性
有限群 G の表現が完全可約であることを見ていこう.
上の証明から有限群 G の表現はユニタリ表現にできることがわかる.ユニタリ
表現とは表現空間 V に (gv, gw) = (v, w) となるエルミート内積が入ること.この
とき ρ : G → U (V ) ⊂ GL(V ) という準同形を得ることになる.
上の命題の系として次を得る.
系 3.8 (完全可約性). 有限群 G の任意の表現は完全可約である.
補足 3.9. この完全可約性は有限群やコンパクト群に特有な性質である.たとえば,
R の C2 への表現 ( )
1 a
a 7→
0 1
を考える(これは表現であることはあきらか).このとき {(x, 0)|x ∈ C} は不変部
分空間である.しかし,G 不変な補空間はもたない(これも明らか).
23
補足 3.10. 有限体上のベクトル空間への表現などについても完全可約性は成立し
ない.また次の Schur’s lemma も体は C としなくてはならない.
つぎにシューアの補題は強力な武器である.
補題 3.11 (Schur’s lemma). V , W を G の既約表現とする.ϕ : V → W を G
線形写像とする.このとき,
1. ϕ は同型または ϕ = 0
次の主張は既約成分への分解が唯一つであることを述べている.
V = V1⊕a1 ⊕ · · · ⊕ Vk⊕ak
とがわかる.以下同様.
1. すべての既約表現を分類する.
2. 勝手な表現に対する既約分解の方法を述べる.特に,重複度を調べる.
24
3.3 例
簡単な群に対する表現について考え,一般化するためのアイデアを探ろう.
3.3.1 有限可換群の表現
(2πk)l
ρl : G = Zp ∋ k 7→ exp ∈ C∗
p
が既約表現になり,任意の既約表現はこの方法で与えられる.また G = Zp ⊕ Zp′
なら,
2πkl 2πk ′ l′
ρl,l′ : G ∋ (k, k ′ ) 7→ exp( + ) ∈ C∗
p p
が既約表現になり,任意の既約表現はこの方法で与えられる
3.3.2 3次対称群の表現
gv = sgn(g)v
で与えられる.さらに自然に考えられるものとして,3 次元置換表現がある.つま
り C3 の標準基底を e1 , e2 , e3 としたときに,
gei = eg(i)
25
となるので,
g(z1 , z2 , z3 ) = (zg−1 (1) , zg−1 (2) , zg−1 (3) )
となる.
この表現は可約であり,実際 2 次元空間
V = {(z1 , z2 , z3 ) ∈ C | z1 + z2 + z3 = 0}
が S3 の不変部分空間であり,さらに既約である.これを S3 の標準表現とよぶ.
A3 = ⟨τ ⟩ = Z3 ⊂ S3
という可換群 A3 を考える(3次交代群である).
W を S3 加群とする.W を A3 で一次元空間へ分解する.そして,τ に対する
固有ベクトルを vi とし,その固有値を λi とすれば,vi = τ 3 vi = λ3i vi であるので
λi = ω ai (ai ∈ Z)となる.ここで ω = exp( 32 πi).つまり
W = ⊕Vi , Vi = Cvi , τ vi = ω ai vi ,
となる.
さて σ = (1, 2) ∈ S3 とすれば,S3 = ⟨σ, τ ⟩ であり関係式は στ σ = τ 2 である.
そこで,
τ (σ(vi )) = στ 2 (vi ) = ω 2ai σ(vi )
となるので,σ(vi ) も τ に対する固有ベクトルで固有値は ω 2ai である.
Vi = C{vi , σ(vi )} ⊂ W
は 2 次元 S3 不変部分空間となる.さらに,この表現が標準表現と同値であ
ることを述べる.まず標準表現 V の基底として
α = (ω, 1, ω 2 ), β = (1, ω, ω 2 ) ∈ C3
26
を選ぶ.このとき簡単な計算で
τ α = ωα, τ β = ω 2 β, σα = β, σβ = α
W = U ⊕a ⊕ U ′⊕b ⊕ V ⊕c
であり V ⊗ V = U ⊕ U ′ ⊕ V となる.
以上から,群 G の表現を分解するには,まず G 内のうまい可換群の作用により,
一次元固有空間に分解する.さらに,それら固有空間への残りの元の作用を見れ
ばよい.このアイデアはリー群に対するトーラス部分群に対して使えるものであ
る.しかし,一般の有限群に対して,うまり可換群を選ぶことは難しい.そこで
次の subsection で指標を導入する(アイデアとしての固有値を考えるという部分
は同じである).
27
3.4 指標
有限群 G の表現を理解するためのよい方法は,指標である.アイデアとしては前
subsection で述べたように,すべての元の固有値を計算することである.実際,前
subsection の例において σ, τ の固有値がわかればよかった.しかし,そこまでもと
めなくてもよく,実はトレース(固有値の和)だけ考えればよい.例えば,g ∈ G
に対して表現空間を固有分解したときの固有値を {λi } とする.このとき g k の固有
∑
値は {λk } である.このとき λki (k = 1, · · · )がわかれば,g の固有値を知るこ
とができる(固有多項式の係数がわかればよいのであるが,固有多項式の係数は
∑ k
λi の多項式でかける.cf. Section 2 ).よって,すべての g ∈ G に対して,作
用 ρ(g) のトレースを考えればよいことになる.
上記の理由により,次の指標を導入する.
定義 3.5. V を G 加群とする,このとき G 上の複素数値関数 χV を
χV (g) := tr (g)
として定義する.これを指標とよぶ.明らかに
χV (hgh−1 ) = χV (g)
を満たす.つまり G の共役類上で定数である,このように共役類上で定数の
関数を類関数(class function)とよぶ.また指標は表現の同値類の代表元に
よらず同値類のみで定まる.
命題 3.17. V, W を G 加群とする.このとき
1
χV ⊕W = χV +χW , χV ⊗W = χV χW , χV ∗ = χV , χΛ2 V (g) = [χV (g)2 −χV (g 2 )]
2
Proof. 最初の二つは問題ないであろう.三番目を証明する.g ∈ G の order を n と
する.つまり g n = 1 とする.このとき g の V 上での固有値を {λi } とすれば,V ∗
上の固有値は {λ−1i }i となる.そして λi = 1 であるので |λi | = 1 となる.よって
n
λ−1
i = λi を得る.以上から χV ∗ = χV である.
4番目の式を証明する.Λ2 V の固有値は {λi λj |i < j} となる.また
∑ ∑ ∑
( λi )2 − λ2i
λi λj =
i<j
2
28
補足 3.18. 上の証明において,g の固有値 {λi }i は |λi | = 1 を満たすことがわかっ
た.この事実をたまに使う.これは積分して表現空間にエルミート内積を入れた
ときに,作用がユニタリになることから導いてもよい.そして,コンパクトリー
群のユニタリ表現でも,ユニタリ行列ということから固有値の絶対値は 1 である.
練習問題 3.19. 次を証明せよ.
1
χS 2 (V ) (g) = [χV (g)2 + χV (g 2 )]
2
例 3.20.
χΛk (V ) (g)
を計算してみよう.g の固有値を {λi }i とすれば,{λi1 · · · λik |1 ≤ i1 < · · · < ik ≥ n}
が固有値である.よって,その和は k 次基本対称式である.つまり,
∑
tr Λk (V ) (g) = ek = λi1 · · · λik
1≤i1 <···<ik ≤n
∑
k
(−1)j pk−j ej = (−1)k (n − k)ek
j=0
となるので,
∑
k
(−1)j χV (g k−j )χΛj (V ) (g) = (−1)k (n − k)χΛk (V ) (g)
j=0
となる.例えば,
となるので,
1
χΛ3 (V ) (g) = (2χV (g 3 ) − 3χV (g 2 )χV (g) + χV (g)χV (g)2 )
6
となる.以下同様に漸化式を解いていけばよい.実際,ニュートンの公式から冪
和対称式を基本対称式の多項式と具体的に書くことができるが,その公式は
∑d
∑ (−1) k=1 (ik −1)
ed = pi11 pi22 · · · pidd
i1 +2i2 +···+did =d
i1 !1 i2 !2 i3 !3 · · · id !d
i 1 i2 i3 id
(証明は section 5)
29
例 3.21. 有限群 G が有限集合 X の作用しているとする.このときの随伴した置換
表現を考える.このとき χV (g) は g で固定される X の元の数の等しい(これは不
動点定理(fixed-point formula)のもっとも単純な場合である).
となる.このトレースは零である.また不動点の場合(軌道の元の数が 1 個)に
は,gex = ex であるので,固有値は 1 である.そして g の V への表現はこれらブ
ロックをあわせたものである.よって tr g は X の不動点の数に等しい. (トレース
は基底の取り方によらないのであった).
さて,指標は類関数であるので,その共役類での値がわかればもとまる.それ
を表にしたものが指標表(character table)である.ここでは Section 3.3.2 で
の結果から,S3 の表現に対する指標表を書いてみる.
共役類の元の数 1 3 2
S3 の共役類の代表元 1 σ = (1, 2) τ = (1, 2, 3)
自明表現 U の指標 1 1 1
交代表現 U ′ の指標 1 −1 1
標準表現 V の指標 2 0 −1 = ω + ω 2
となるので V ⊗ V = V ⊕ U ⊕ U ′ となることがわかる.
30
3.5 自明表現への射影公式と応用
表現空間から自明表現空間への射影公式を作る.
V G = {v ∈ V | gv = v, ∀g ∈ G}
とする.これは V 内のすべての自明表現の和に一致することは明らか.
このとき ϕ は V から V (自明表現へ)の射影である.
G
∑ ∑
Proof. ϕ は G 線形写像である.実際,任意の h ∈ G に対して, g = hgh−1 で
ある.
そこで自明表現への射影であることをみたい.任意の h ∈ G に対して hϕ(w) =
ϕ(w) であること確かめる.
1 ∑ 1 ∑ ′
hϕ(w) = hgw = g w = ϕ(w)
|G| g∈G |G| g′ ∈G
さらに,上の ϕ のトレースを取ってみると,自明表現の重複度がわかる.
となる.
∑
例 3.24. 有限群 G がベクトル空間 V へ作用しているとする.このとき S = k S k (V )
(S k (V ) は V の k 次対称テンソル積)として,G 不変元の全体 S G のポアンカレ級
数を計算しよう.つまり
∑
PS G (t) = dim S k (V )G tk ,
k
31
を計算する.g の V への作用を ρ(g) として,その固有値を λ1 , · · · , λn とする.こ
のとき,S k (V ) の固有値は
となる.そこで
∑ ∑ 1 ∑
PS G (t) = dim(S k (V )G )tk = ( tr k (g))tk
k k
|G| g∈G
1 ∑ ∑ ∑
= { λ1 (g)i1 · · · λn (g)in tk }
|G| g k i +···+i =k
1 n
となる.一方,
1 ∏n
1
=
det(id − ρ(g)t) i=1 1 − λi (g)t
∑ ∑ ∑
= (1 + λ1 t + λ21 t2 + · · · ) · · · (1 + λn t + λ2n t2 + · · · ) = λ1 (g)i1 · · · λn (g)in tk
k i1 +···+in =k
である.よって,
1 ∑ 1
PS G (t) =
|G| g∈G det(id − ρ(g)t)
となる.
この式を書き換えるために内積などを定義しよう.
32
定義 3.7. 類関数が成すベクトル空間を
1 ∑
(α, β) := α(g)β(g)
|G|
として導入する.
(このノートでは,手前の方に複素共役を入れていることに注意).
以上をまとめれば
命題 3.26 (指標の正規直交性). V , W を既約 G 加群とする.このとき次が成
立する. {
1 ∑ 1 if V ∼
=W
(χV , χW ) = χV (g)χW (g) =
|G|
g∈G 0 if V ≇ W
となる.つまり既約表現たちの指標はノルム 1 であり互いに直交する.特に,
独立である.
系 3.27. 1. 任意の表現はその指標で決定できる.
3.6 表現の分類
G の左正則表現 RG を考える.g(̸= e) ∈ G に対して RG に固定点はない.一方
e ∈ G の G への作用の固定点は RG 全体である.よって
補題 3.28. 左正則表現の指標は次のようになる.
{
0 g ̸= e
χR (g) =
|G| = dim RG g = e
33
左正則表現の指標と任意の既約表現の指標を考える.
1 ∑ 1
(χVi , χR ) = χVi (g)χR (g) = χV (e)|G| = dim Vi
|G| |G| i
となる.つまり,任意の既約表現が RG の部分表現となっているのである.
系 3.29. G の任意の既約表現 Vi は左正則表現の中に重複度 dim Vi で現れる.
特に,既約表現の数は有限個である.また
∑
dim RG = |G| = χR (e) = (χR , χR ) = dim Vi2
i
が成立する.ここで右辺の和は既約表現全体で和をとっている.
∑
補足 3.30. χR = (dim Vi )χVi であるので g ̸= e に対して,
∑
0 = χR (g) = (dim Vi )χVi (g)
i
が成立する.
既約表現の個数が有限個であることがわかった,実は G の共役類の個数と一致
することを見てみよう.
Proof. α が類関数とする.このとき
∑ ∑ ∑
ϕα,V (hv) = α(g)g(hv) = α(hgh−1 )(hgh−1 )(hv) = α(hgh−1 )(hgh−1 )(hv)
g hgh−1 g
∑ ∑
−1
=h α(hgh )gv = h α(g)gv = hϕα,V (v)
g g
となる.
逆を証明する.すべての表現について ϕα,V が G 線形であるとする.そこで G の
左正則表現を考える.f (h) ∈ RG とする.G 線形であることから
∑ ∑
α(g)f (h−1 g −1 h′ ) = α(g)(ghf )(h′ ) = ϕα,R (hf )(h′ )
∑ ∑ ∑
=h(ϕα,R f )(h′ ) = ( α(g)gf )(h−1 h′ ) = α(g)f (g −1 h−1 h′ ) = α(h−1 gh)f (h−1 g −1 h′ )
34
となる(最後のところで和のとり方を g から h−1 gh に変えた).そこで,
∑
(α(g) − α(h−1 gh))f (h−1 g −1 h′ ) = 0
g
とすれば類関数である.逆に,すべての類関数はこれらの線形結合でかける.
上の定理の書き換えるため,表現環を導入しよう.
35
定義 3.8. 群 G の表現環 R(G) とは,G のすべての表現により生成される自由
アーベル群を考えて,V + W − (V ⊕ W ) で生成される部分群で割ったもので
ある.完全可約性から,任意の元は
∑
ai Vi , Vi は既約, ai ∈ Z
と書ける(マイナスも許すので仮想表現とよばれる).さらに環構造をテンソ
ル積で入れる.
次が先ほどの定理の書き換えである.
命題 3.33. 表現環の元から指標を対応させる次の写像は同型である.
さて,既約表現の数と共役類の数が一致した.それらの数を N と書けば,指標
表は N × N 行列になる.共役類を {C1 , · · · , CN },既約表現を {V1 , · · · , VN } とし,
対応する指標を {χ1 , · · · , χN } とする.このとき,
1 ∑ 1 ∑
δij = (χi , χj ) = χi (g)χj (g) = |Ck |χi (Ck )χj (Ck )
|G| g |G| k
よって,
となる(和はすべての既約表現に対してとっている).また g, h ∈ G に対して
C(g) ̸= C(h) とすれば, ∑
χi (g)χi (h) = 0
i
となる.
36
3.7 射影公式
Section 3.5 において,自明表現への射影公式を述べた.それを一般の既約表現
の直和への射影公式へと一般化しよう.
W を既約 G 加群として指標 χW は類関数である.そこで,G 加群 V の G 線形
変換
1 ∑
ψ= χW (g)g ∈ End(V )
|G| g
となる.よって,
dim Vi ∑
πi := χVi (g)g ∈ End(V )
|G|
は V から Vi⊕ai への射影である.
3.8 指標や射影公式の応用
指標や射影公式の応用を述べる.次の例は,何故テンソル積表現を考えるかに
対する一つの答えである.
例 3.36. V を忠実な表現とする.つまり ρ : G → GL(V ) が単射.このとき G のす
べての既約表現は V ⊗n (n 十分大)に含まれる.
を考える.ここで C は共役類を表している.
さて,V は忠実な表現であることから χ(C) = dim V となるのは C = [e] の時
だけである.実際 g ∈ G に対して χ(g) = tr g を考える.g の固有値を λ1 , · · · , λn
∑n
(n = dim V )とすれば |λi | = 1 であった.そこで χ(C) = i=1 λi = n = dim V とな
∑ ∑
るとすれば,| λi | ≤ i |λi | = n であり,等号が成立するには λi = ri λ1(ri ∈ R)
37
∑n
となるときであり,|λi | = 1 から ri = ±1 である.よって χ(C) = i=1 ±λ1 = n
となるには,すべての固有値が 1 となるときのみであり,忠実な表現であること
から g = e となる.
よって,
∑∞
1 dim W 1 ∑ |C|ϕ(C)
an tn = +
n=0
|G| 1 − (dim V )t |G| 1 − χ(C)t
C̸=[e]
1
となるが,右辺第二項において となるものは現れない.つまりこれは非自
1−dim V t
明な t の有理関数である.よって,すべての an が零ということはない.
例 3.37. 次に二つの有限群の直積群の表現がどうなるかを考察する.
有限群 G1 , G2 および Gi 加群 Vi を考える.V1 ⊗ V2 への G1 × G2 の作用を
(g1 , g2 )(v1 ⊗ v2 ) = g1 v1 ⊗ g2 v2
を線形に拡張したものとして定義する.この表現空間を V1 ⊠ V2 と書くことにす
る(有限群 G のテンソル積表現と区別するため).さて Vi の指標を χi と書けば,
G1 × G2 加群 V1 ⊠ V2 に対する指標は
となる.
である.
1 ∑
(χ, χ) = χ((g1 , g2 ))χ((g1 , g2 ))
|G1 × G2 |
(g1 ,g2 )∈G1 ×G2
1 ∑ ∑
= χ1 (g1 )χ1 (g1 )χ2 (g2 )χ2 (g2 )
|G1 ||G2 | g ∈G g ∈G
2 2 1 1
1 ∑
= (χ1 , χ1 )χ(g2 )χ(g2 )
|G2 | g ∈G
2 2
=(χ1 , χ1 )(χ2 , χ2 ) = 1.
38
次に,すべての既約表現が V1 ⊠ V2 と書けることを証明する.G1 × G2 の左正則
表現を考える.このとき V1 ⊠ V2 は重複度 dim V1 ⊠ V2 = dim V1 dim V2 で現れる.
また
∑ ∑ ∑ ∑
|G1 ||G2 | = ( (dim V1i )2 )( (dim V2j )2 ) = (dim V1i dim V2j )2 = (dim V1i ⊠V2j )2
i j i,j i,j
∑
である.一方,G = G1 × G2 とすれば,|G| = k (dim Wk )2 となるが,|G1 ||G2 | =
|G| であるので, ∑ ∑
(dim V1i ⊠ V2j )2 = (dim Wk )2
i,j k
λn + a1 λn−1 + a2 λn−2 + · · · + an = 0
となる.これは p, q が互いに素であることに矛盾する.
そこで,命題を証明しよう.
39
上の命題の応用を与えよう.
として定義する.このとき既約表現の指標 χV に対して,
|G|
χV ∗ χV = χV
dim V
が成立する.
|G|m
χV ∗ · · · ∗ χV = χ
| {z } (dim V )m V
m+1
となる.両辺の単位元での値を考えると,左辺は指標の和と積でかけるので,代
数的整数である.よって
|G|m
(dim V )m−1
も代数的整数である.よって有理数 (dim|G|
m
V )m−1
は整数でなくてはならない.また m
は任意の自然数であるので,|G|, dim V を素因数分解して考えれば,dim V が |G|
の約数であることがわかる.
3.9 行列成分,シューアの直交関係
すべての既約表現の行列成分たちが G 上関数の基底となることを証明したい.
そこで次の補題を必要とする.
40
Proof. L が G 線形であることを証明する.
1 ∑ −1 1 ∑
L(hv) = g L0 (ghv) = (gh−1 )−1 L0 (gv)
|G| g∈G |G| −1
gh ∈G
1 ∑ −1
= h( g L0 (gv)) = hL(v).
|G| g∈G
となる.
命題 3.43 (シューアの直交関係). V , V ′ を既約 G 加群とする.有限群なので
G 不変エルミート内積を入れて,G の作用がユニタリであるとする.そして表
現の行列成分を ρij , ρ′kl とする(1 ≤ i, j ≤ dim V , 1 ≤ k, l ≤ dim V ′ ).この
とき,
1. V ≇ V ′ とすれば,
1 ∑
(ρij , ρ′kl ) = ρij (g)ρ′ (g)kl = 0.
|G| g∈G
2. V = V ′ のとき,
1 ∑ δik δjl
(ρij , ρ′kl ) = ρij (g)ρ′ (g)kl =
|G| g∈G dim V
41
となる.そこで
δki δjl tr L0
= δjl = ⟨L(ej ), el ⟩ = (ρji , ρlk )
dim V dim V
となる.
上の命題は,すべての既約成分の行列成分たちが互いに直交していることを述
べている.特に G 上の関数として一次独立であることもわかる.さらに G 上関数
全体の次元は ∑
dim RG = (dim Vi )2
i
であったので,行列成分が G 上関数の直交基底となることがわかる.
系 3.44 (Peter-Weyl の定理の有限群バージョン). すべての既約成分の行列成
分が G 上関数の直交基底となる(正規化すれば正規直交基底).
補足 3.45. 上の命題は有限群の話なので,難しいことは必要としない.コンパクト
群に対する Peter-Weyl の定理は Stone-Weierstrass の定理という大道具が必要(難
しくはない.大島・小林に詳しい証明が載っている).
3.10 群環
いままでの話を有限群上関数のフーリエ変換という立場でみていこう.そこで
まず.群環を定義する.
3.10.1 群環と畳み込み
で入れたものである(よって C 上代数).ベクトル空間としては正則表現の表
現空間.
また群環の V 上への表現とは環準同形
CG → End(V )
のことである.
42
例 3.46. G の表現 ρ : G → GL(V ) があれば,自然に群環の表現 ρ : CG → End(V )
へ拡張できる.また CG 加群を G へ制限すれば,G の表現である.また CG を左
CG 加群とみたものは左正則表現に対応している.
次に代数になることみたい.結合律だけのべておこう.
∑ ∑
((f1 ∗ f2 ) ∗ f3 )(g) = (f1 ∗ f2 )(gh−1 )f3 (h) = f1 (gh−1 k −1 )f2 (k)f3 (h)
h h,k
∑∑ ∑∑
= f1 (gk −1 h−1 )f2 (h)f3 (k) = f1 (gk −1 (hk −1 )−1 )f2 (hk −1 )f3 (k)
k h k h
∑
= f1 (gh−1 )f2 (hk −1 )f3 (k) = (f1 ∗ (f2 ∗ f3 ))(g).
h,k
f ∗ (g) := f (g −1 )
となる.
43
定理 3.49. 次の環同型が成立する.
⊕
(C(G), ∗) ∼
= CG ∼
= End(Wi )
ここで右辺は G のすべての既約表現に対して和をとっている.また対応は次
で与えられる, ∑ ∑∑
f 7→ f (g)g 7→ f (g)ρi (g).
g i g
Proof. 最初の環同型はすでに述べた.二番目の環同型を証明する.
Wi を既約 G 加群とする.これを群環の表現へ拡張して ρi : CG → End(Wi ) と
いう環準同形を得る.このとき (g, g ′ ) ∈ G × G に対して
とすれば,どちらも G × G の表現になる.さらに.
ρi : CG → End(Wi )
という全射環準同形を得る.CG は正則表現空間とベクトル空間として同型なの
∑
で,次元は (dim Wi )2 である.よって dim CG = dim ⊕End(Wi ) である.全射で
次元が等しいので同型となる.
また環準同形であることは ϕ : CG → ⊕End(Wi ) が ϕ(gh) = ϕ(g)ϕ(h) をみたす
ことからわかる.
⊕
補足 3.50. 上の証明をみてわかるように,CG ∼ = End(Wi ) という分解は G × G
⊕
に関する群環の既約分解である.また群環の行列代数としての実現が End(Wi )
である.End(Wi ) は単純であるので,群環 CG が半単純代数であることがわかる.
単純とは非自明な両側イデアルが存在しないこと.半単純とは単純の直和になる
こと.
∑
系 3.51. 群環の中心(すべての元と可換な元全体)は { g α(g)g | α ∈ Cclass (G)}
からなる.いいかえると CG ∼ = C(G) とすれば,Cclass (G) ⊂ C(G) が畳み込みに関
して中心になる.
44
Proof. 群環の中心は G の随伴作用による不変元であることは明らか.そこで
∑ ∑ ∑ ∑
h( a(g)g)h−1 = a(g)hgh−1 = a(h−1 gh)g = a(g)g
3.10.2 群環と行列成分
上の命題および系のいろいろな見方を述べよう.
∑ pq j
となる.ここで ρj = ρj Epq (Epq は (p, q) 成分が 1 で他が零の行列)と表
qp −1
示する.また Wi の双対表現の行列成分を ρpq pq
i∗ (g) = ρi (g ) = ρi (g) とする
(最後はユニタリであることから.また Wi∗ の基底としては Wi の基底の双
対基底を取っていることに注意.その基底に関して行列成分を書いている).
そこで,行列成分の直交関係式から,
∑∑ ∑∑ ∗ |G| ∑ i∗
i 7→
pq
ρkl ρkl
i (g)ρj (g) = ρkl i
i (g)ρi∗ (g)Epq = δkp δql Epq
j g p,q g
dim Wi p,q
|G| ⊕
i∗
= Ekl ∈ End(Wi∗ ) ⊂ End(Wj )
dim Wi j
∗
となる.このようにして,既約表現 Wi の行列成分 ρkl
i (g) は行列環 End(Wi )
の基底である Ekl に対応していることがわかる.
例えば,行列成分同士の畳み込みは計算しなくてもわかる.
本当に畳み込みが上のようになるかを見ておこう.
∑ ∑∑
−1 pq sl −1 pq
i ∗ ρi (g) =
pq
ρkl ρkl
i (gh )ρi (h) = ρks
i (g)ρi (h )ρi (h)
h h s
∑∑ pq |G| ∑ |G| kq
= ρks (g)i ρls
i (h)ρi (h) = ρks
i (g)δlp δsq = ρ (g)δlp
h s
dim Wi s
dim Wi i
となる.
45
2. 中心についても見ておこう.上の系からわかるように Cclass (G) は畳み込み
に関して C(G) の中心になる.よって α, β ∈ Cclass (G), f ∈ C(G) とすれば,
α ∗ β ∈ Cclass (G),
α∗f =f ∗α
が成立する.つまり類関数全体は畳み込みで閉じていて,すべての関数と可換
である.また,α∗f = f ∗α は α(g) = α(hgh−1 ) であることと同値である.また
∑
命題 3.31 を思い出そう. α(g)g ∈ CG に対して,すべての既約表現に対して
G 線形であることと α が類関数であることは同値であった.そこで α を類関数
⊕ ∑ ⊕
の End(Wi ) への像は,シューアの補題を使えば, λi idWi ∈ End(Wi )
⊕
となることを意味する.これは,まさに行列環 End(Wi ) の中心である.
が成立する.
3.10.3 群環と既約表現
群環 CG 内にはすべての既約表現が現れるのであった.W を CG 内の任意の部
分表現とすれば,それは CGW ⊂ W と同値なので,部分表現 W は CG 内の左イ
デアルに対応する.完全可約性から
CG = W ⊕ W ′
と左イデアルの分解が存在する.単位元 e ∈ G を,この分解に対して,
e = w + w′ ∈ W ⊕ W ′
と分解する.直和なので,このような分解は唯一つである.つまり w, w′ は唯一つ
である.左イデアルであることから,x ∈ CG に対して,
x = xw + xw′ ∈ W ⊕ W ′
46
となる.よって x ∈ W なら x = xw が成立する.特に w = w2 ,ww′ = 0 = w′ w と
なる.以上から,w は冪等であり,W は左イデアル CGw となる.また
CG ∋ x 7→ xw ∈ W
は射影を与える.
逆に冪等元 w があるとする.このとき W = CGw とすれば,G の表現空間であ
る.そして
e = w + (e − w)
とすれば,(e − w)2 = e + w2 − 2w = e − w であるので e − w は冪等元である.そ
して
CG = CGw + CG(e − w)
(冪等元でなくても,勝手な a ∈ CG に対して CGa は G の表現空間である).
となる.
また W が既約表現なら W は最小の左イデアルであることを意味する.そこで,
対応する冪等元 w は直交冪等元の和に分解されない.つまり
w = w1 + w2 , w12 = w1 , w22 = w2 , w1 w 2 = w 2 w 1 = 0
なら w = w1 または w = w2 となる.このような冪等元を原始的とよぶ.
このように有限群の G 内の既約表現を求める問題は,CG 内の最小イデアル
をもとめる問題に同値であり,CG 内の原始的冪等元をもとめる問題に同値で
ある.
∑
例 3.52. a = ag g ∈ CG に対して,
∑
a∗ = ag g −1
E = wCGw ∼
= HomCG (W, W ) = HomG (W, W )
となる.
47
Proof. ϵ, ϵ′ ∈ E = wCGw とすると,w が冪等元なので,ϵϵ′ ∈ E であることがわ
かる.よって代数である.また W E ⊂ W もわかるので,W は右 E 加群である.
特に,E ⊂ Hom(W, W ) であり,G と E の作用は,
ϕϵ (x) = xϵ
として定める.さらに,
ϕϵ ϕϵ′ (x) = xϵ′ ϵ = ϕϵ′ ϵ (x)
であるので,
E ∋ ϵ 7→ ϕϵ ∈ HomG (W, W )
は歪準同形である.逆に ϕ ∈ HomG (W, W ) に対して,ϕ(w) = ϵ ∈ CGw とする.
このとき,x ∈ W = CGw に対して,x = xw であるので,
という写像を考えると,これは G 線形同型であることがわかる.実際,
∑ ∑ ∑ ∑
gΦ( ah h) = ah gh−1 = ah (hg −1 )−1 = Φ(( ah h)g −1 )
であるので.
上で述べたように,既約表現を探すには,原始的冪等元をもとめる問題になる
のであった.一般の有限群では,そう簡単にはいかないが,対称群 Sd に対しては
それを実行することができる(Section 4).
48
3.11 フーリエ変換
この subsetion の話は後で必要ないので,飛ばして読んでかまわない.
⊕
環同型 CG ∼ = End(Wi ) のフーリエ変換としての見方を論ずる.まず,ふつう
のフーリエ変換を思い出そう.
例 3.54 (S 1 の場合). S 1 を可換群とみなす.この既約ユニタリ表現はすべて 1 次元
表現であり,
ρn : S 1 ∋ eiθ 7→ einθ ∈ C∗ , n ∈ Z
で与えられる(練習問題).群 G の既約ユニタリ表現全体(正確には同値類全体)
を Ĝ と書く(G のユニタリ双対とよぶ)ことにすれば,
c1 = Z = {ρn |n ∈ Z}
S
となる.また,すべて一次元表現であるので,既約表現の行列成分=既約表現の
指標となる.そして行列成分の直交関係(指標の直交関係)は,
∫ 2π {
1 1 (n = m)
(χm , χn ) = einθ e−imθ dθ =
2π 0 0 (n ̸= m)
このとき L2 (S 1 ) のフーリエ変換とは
∫ 2π
1
f 7→ fˆ(n) = f (θ)e−inθ dθ = (χn , f )
2π 0
b ∋ n 7→ fˆ(n) ∈ C
fˆ : G
とかけば,フーリエ変換したものは G b 上の関数である.またフーリエ逆変換公式
(フーリエ展開)は ∑
f (θ) = fˆ(n)einθ
n∈Z
となる.さらに Plancherel(プランシュレル)の公式
∫ 2π ∑
1
|f (θ)|2 dθ = |fˆ(n)|2
2π 0 n∈Z
が成立した.
上のフーリエ変換は,前 subsection の C(G) → ⊕End(Wi ) という写像で用いた,
∑
f 7→ f (g)ρi (g), (ρi は Wi の表現)
g∈G
49
に非常に似ている.特にトレースを取れば,
∑ ∫
Ĝ ∋ ρi 7→ f (g) tr (ρi (g)) = f (g)χWi (g)dg ∈ C.
g∈G G
となりユニタリ双対上の関数を得る.ただし,S 1 のフーリエ変換は双対を取って
いることに注意.つまり
∫
ˆ dθ
S ∋ n 7→
1 f (θ)χn (θ) ∈C
S1 2π
となっている.
例 3.55 (R1 の場合). R1 を可換群とみなす.既約ユニタリ表現は 1 次元表現であ
り,ξ ∈ R1 に対して,
ρξ : R ∋ x 7→ eixξ ∈ U (1) ⊂ C∗
として与えられる.よって R のユニタリ双対は
b = {ξ ∈ R} ∼
R =R
となる.行列成分の直交関係(指標の直交関係)は,
∫ {
1 1 (ξ = η)
(χξ , χη ) = eixξ e−ixη dx = δ(ξ − η) =
2π R 0 (ξ ̸= η)
である.またフーリエ逆変換公式は
∫
f (x) = fˆ(ξ)eixξ dξ
R
が成立する.
上の例をみればわかるように,フーリエ変換とは,ある関数をユニタリ双対上
の関数へと変換するものである.そして,フーリエ逆変換とは,関数をすべての既
約成分の行列成分らで展開するものである.上の場合には,既約表現は 1 次元表
現であったので行列成分は指標に一致した.そして指標は表現の同値類のみで定
50
まる関数である.その意味ではフーリエ展開は唯一つである.さて,これを有限
群上関数のフーリエ変換に拡張したいが,少し問題がある.すでに見たように G
上関数全体 C(G) の正規直交基底としては,すべての既約表現の行列成分である.
よって可換群でないなら指標で展開することは出来ない(可換群なら指標と行列
成分が一致した).ただし,類関数は指標を基底として持っていたので,類関数は
指標で展開できる(可換群ならすべての関数が類関数である).また,既約表現は
1 次元以上であることもあるので,それなりに工夫する必要がある.
そこで次のようにフーリエ変換を定義する.
定義 3.10 (作用素値フーリエ変換). G の表現 ρ : G → GL(V ) を考える.また
f ∈ C(G) とする.このとき End(V ) 値フーリエ変換とは
∑
fˆ(ρ) := f (g)ρ(g).
g∈G
(これは同値類の代表元のとり方によらず,well-defined である).
例 3.56. C(G) ∼
= ⊕End(Wi ) の対応から,作用素値フーリエ変換に対して次が成立
することはすでに証明した.
f\
∗ f ′ (ρ) = fˆ(ρ)fˆ′ (ρ).
51
例 3.57. f として既約表現 W の指標 χW (g) をとる.このとき
{
|G| Wi ∼
= W∗
χc
W ([Wi ]) =
0 Wi ≇ W ∗
よって,
1 ∑
χW (g) = χc
W ([Wi ])χWi∗ (g)
|G| i
となる.もちろんこれは類関数に対しても成立する.これが S 1 や R1 のフーリエ
逆変換に対応するものである.
一般の関数に対する逆変換公式を得るたい.そこで,スカラー値フーリエ変換
をユニタリ双対 Ĝ 上で「重み(次元)をつけて積分」したものを考える.
∑ ∑ ∑
dim Wi f (g)χWi (g) = dim Wi fˆ([Wi ]).
i∈Ĝ g∈G i∈Ĝ
(この重みつきの測度をプランシュレル測度という).このとき,左正則表現の指
標 χR (g) を使って,
∑ ∑ ∑
f (g) dim Wi χWi (g) = f (g)χR (g) = |G|f (e)
g∈G i g
となる.これが有限群上の関数に対するフーリエ逆変換公式となる.ここで最後
の項における fˆ は作用素値フーリエ変換である.作用素値フーリエ変換は同値類
の代表元の取り方に依存するし,ρi そのものもとり方に依存する.しかし,上で
はトレースを取っているので,上の展開は代表元のとり方に依存しない.
さらにプランシュレル公式も導いておこう.f ∗ (g) = f (g −1 ) とする.このとき
∑ ∑ ∑
f ∗ f ∗ (e) = f (g)f ∗ (g −1 ) = f (g)f (g) = |f (g)|2
g
一方,上のフーリエ逆変換公式で f を f ∗ f ∗ に置き換えれば
1 ∑ 1 ∑
f ∗ f ∗ (e) = dim Wi tr (ρi (e)f\
∗ f ∗ (ρi )) = dim Wi tr (fˆ(ρi )fb∗ (ρi ))
|G| i |G| i
52
以上から次の有限群上の関数に対するプランシュレルの公式を得る.
∑ 1 ∑
|f (g)|2 = dim Wi tr (fˆ(ρi )fb∗ (ρi ))
g
|G| i
1 ∑ ∑∑
kl
∑ ∑∑
−1 lk −1
f (h) = dim Wi ρkl
i∗ (g)f (g)ρi∗ (h) = dim Wi ρlk
i (g )f (g)ρi (h )
|G| i kl g i kl g
∑ ∑∑ ∑ ∑
−1
= dim Wi kl lk
ρi (g)f (g)ρi (h ) = dim Wi f (g) tr (ρi (g)ρi (h−1 ))
i kl g i g
∑
= dim Wi tr (ρi (h−1 )fˆ(ρi ))
i
となる.この式の一行目の展開は,行列成分による展開であるが,この展開は Wi
の基底の取り方(よって同値類の代表元のとり方にも)依存している.しかし,最
後の等式では,同値類の代表元のとり方に依存していない.その意味で展開はた
だ一つである.
3.12 誘導表現とフロベニウス相互律
有限群 G の部分群 H を考える.V を G の表現として,これを H へ制限したも
のを ResG
H V とかく.この章では,逆に H の表現から G の表現を構成する方法を
紹介する.
G 加群 V を考えて W ⊂ V を H 不変な部分空間とする.つまり HW ⊂ W とす
る.gW = {gw|w ∈ W } としたとき,gHW = gW であるので,G/H の元 σ を
取ってきて,gW を σW と書くことにする.
定義 3.12. 表現 V が W から誘導される(誘導表現)とは,
⊕
V = σW
σ∈G/H
53
Proof. 表現空間 V の基底は {eσ |σ ∈ G/H} である.また W = CeH とする.この
とき eσ = σeH であるので,V = ⊕σ∈G/H σW となる.
IndW = CG ⊗CH W
54
補足 3.63. 任意の G の表現 V が誘導表現とはかぎらないことに注意.また誘導表
現の存在は IndW ⊕ W ′ = IndW ⊕ IndW ′ がわかっているなら,次のようにして証
∑ ⊕ dim Wi
明できる.RH = Wi とする.RG = IndRH はすでにのべた.
が成立する.
H = CK ⊗CH W である.よって
Proof. IndK
となる.
IndW ∼
= HomH (CG, W ) ∼
= {f : G → W | f (gh) = h−1 f (g), h ∈ H, g ∈ G}
∑ ∑
ここで,作用は F ∈ HomH (CG, W ) への作用は (g ′ F )( ag g) = F ( ag gg ′ ) であ
る.また,H 同変 W 値関数空間への作用は (g ′ f )(g) = f (g ′−1 g) である.
補足 3.66. 右辺は次のような意味である.G/H 上のベクトル束として,
SW = G ×H W 7→ G/H.
となる.
∑ ∑
Proof. まず,F ∈ Hom(CG, W ) への G の作用は (g ′ F )( ag g) = F ( ag gg ′ ) と
∑ ∑ ∑
定義する.実際,このとき (g ′ F )(h ag g) = F ( ag hgg ′ ) = hF ( ag gg ′ ) =
∑
h((g ′ F )( ag g)) となり g ′ F ∈ HomH (CG, W ) となる(このように右からの作用
で行う必要がある).
55
また,二番目の対応は,F : CG → W に対して f (g) := F (g −1 ) とすればよい.
このとき f (gh) = F ((gh)−1 ) = h−1 F (g −1 ) = h−1 f (g) を満たす.逆に条件を満た
∑ ∑
す f : G → W に対して,F ( ag g) := ag f (g −1 ) とすれば,
∑ ∑ ∑ ∑ ∑
h(F ( ag g)) = ag hf (g −1 ) = ag f (g −1 h−1 ) = ag F (hg) = F (h ag g)
となる.
そこで IndW ∼= HomH (CG, W ) であることを確かめよう.各 σ ∈ G/H に対し
て代表元 gσ ∈ G を選んでおく.このとき F ∈ HomH (CG, W ) に対して,
∑
Φ : HomH (CG, W ) ∋ F 7→ gσ ⊗ F (gσ−1 ) ∈ CG ⊗CH W = IndW
σ∈G/H
となり,well-defined である.
次に Φ が G 線形であることを見てみる.
∑ ∑
Φ((g ′ F )) = gσ ⊗ (g ′ F )(gσ−1 ) = gσ ⊗ F (gσ−1 g ′ )
そこで g ′ gσ = gτ h とすれば,
∑ ∑ ∑
g ′ Φ(F ) = g ′ gσ ⊗ F (gσ−1 ) = gτ h ⊗ F ((g ′−1 gτ h)−1 ) = gτ ⊗ F (gτ−1 g ′ )
σ τ τ
となる.以上から Φ は G 線形であることもわかる.
∑
この Φ の逆写像を作ろう.v = gσ ⊗ wσ に対して,Ψ(v)(hgσ−1 ) := Fv (hgσ−1 ) =
hwσ と定義する.これより Fv ∈ Hom(CG, W ) へ拡張できる.実際,g ∈ σ とすれ
ば,g = gσ h とかけるので g −1 = h−1 gσ−1 となる.よって,任意の元 g ′ は g ′ = hgσ−1
という表示をもつ.
このとき Fv (h′ hgσ−1 ) = (h′ h)wσ = h′ (hwσ ) = h′ Fv (hgσ−1 ) となるので Fv ∈
HomH (CG, W ) である.さらに
∑ ∑
Φ(Ψ(v)) = gσ ⊗ Fv (gσ−1 ) = g σ ⊗ wσ ,
であるので ΦΨ = id.
また
∑
(ΨΦ(F ))(hgσ−1 ) = Ψ( gσ ⊗ F (gσ−1 ))(hgσ−1 ) = hF (gσ−1 ) = F (hgσ−1 )
であるので ΨΦ = id である.
56
さて,次に誘導表現の指標を考えたい.
H 加群 W に対する表現行列を T として,上のように代表元 {gσi }σi ∈G/H(|G/H| =
n)を選んでおく.また gσ−1i
/ H のときに T (gσ−1
ggσj ∈ i
ggσj ) = 0 と定めておく.この
とき誘導表現の表現行列は
T (gσ−1
1
ggσ 1 ) · · · T (g −1
σ1 ggσ n )
.. .. ..
g 7→ . . .
T (gσ−1
n
ggσ1 ) · · · T (gσ−1
n
ggσn )
となる.
具体的には次のようになる(後で有用).
命題 3.67 (誘導表現の指標). C を G のある共役類とする.また C ∩ H が H
の共役類 D1 , · · · , Dr に分解されたとする.W を H の表現とする.このとき
|G| ∑ |Di |
r
χIndW (C) = χW (Di )
|H| i=1 |C|
が成立する.特に,W が自明表現なら
|G/H|
χIndW (C) = · |C ∩ H|
|C|
57
となる.また gσ−1 i
ggσi ∈ H のときのみ和をとるのであるが,このときは gσ−1 i
ggσi ∈ C
−1 −1
であるので,gσi ggσi ∈ H ∩ C となる.つまり,gσi ggσi ∈ Dk となる k が存在する.
また gσ−1
i
/ H のときは,gσ−1
ggσi ∈ i
ggσi ∈ C となるが,gσ−1
i
ggσi ∈
/ Dk (∀k )となる.
さて,χW は Dk で同じ値をとる.そこで,和を
∑ ∑
でとったときに,何回 gσ−1 i
ggσi ∈ Dk (i = 1, · · · , n, g ∈ C )となるかを数える,
|G|
その数は n|Dk | = |K| |Dk | である.実際,σi を固定して {gσ−1 i
ggσi |g ∈ C} を考えた
とき,
C ∋ g 7→ gσ−1
i
ggσi ∈ C
は全単射であるので,|Dk | = #({gσ−1 i
ggσi |g ∈ C} ∩ Dk ) である.さらに,これを
i = 1, · · · , n と動かすので,n 倍すれば,上の和において χW (Dk ) という値を n|Dk |
回とることになる.よって,
1 ∑ 1 ∑ ∑ |G| 1 ∑
r
χIndW (g) = χW (gσ−1 ggσi ) = |Dk |χW (Dk )
|C| g∈C |C| g∈C i such that gσ = σi
i
|H| |C| k=1
i
∑
となる.また W が自明表現のときは χW (Dk ) = 1 であり, |Dk | = |C ∩ H| であ
るので,
|G/H|
χIndW (C) = · |C ∩ H|
|C|
となる.
次にフロベニウスの相互律について述べたい.フロベニウス相互律とは誘導表
現と制限表現と関係をのべたものである.
W に対して IndW が唯一つ定まり,W = ⊕Wi なら IndW = ⊕IndWi であるの
で,表現環の群準同形
を得たことになる(一般に環準同形にはなるとは限らない).さらに逆方向の写像
(逆写像ではない)は環準同形
である.
例 3.68. G の表現 U 及び,H の表現 W を考える.このとき
U ⊗ IndW = Ind(Res(U ) ⊗ W )
58
Proof. 線形同型写像
と定めるのであった.一方,
g(u ⊗ gσ · wσ ) = gu ⊗ gτ · hwσ
となる.そこで
以上から G 線形であることがわかった.
誘導表現で重要なフロベニウスの相互律を述べるために次の命題が必要である.
となるので代表元のとり方によらない.また G 線形であることは,ggσ = gτ h と
すれば,
となることからわかる.
59
次に拡張の一意性.ϕ : W → U の拡張 ϕ̃′ : IndW → U が存在したとする.しか
し ϕ̃′ (gσ w) = gσ ϕ̃′ (w) = gσ ϕ(w) となるので,これは ϕ と一致する.よって拡張は
一意的である.
また ϕ : W → U , ϕ′ : W → U が在ったときに,その拡張が ϕ̃ = ϕ̃′ : IndW → U で
あるとする.このとき W へ制限すれば ϕ = ϕ′ となる.以上から HomH (W, ResU ) →
HomG (IndW, U ) が単射であることがわかった.全射は G 線形写像 Φ : IndW → U
に対して,Φ|W : W → U を考えれば,この拡張が存在するが一意性から Φ である.
系 3.70 (Frobenius Resiprocity(フロベニウス相互律)). W を H 加群,U を
G 加群とする.このとき
となり,誘導表現は
3.13 実構造.四元数構造
今までは G の複素ベクトル空間への表現について考えてきた.ここでは実ベク
トル空間への表現について考える.
60
定義 3.13 (実構造,四元数構造). 1. G の実ベクトル空間 V0 への表現を考える.
V = V0 ⊗ C は複素ベクトル空間であり,G の表現空間になるが,このよう
な表現 V を実とよぶ.言い方を変えれば,表現 V に G の作用と可換な実構
造が入ることであり,V0 = V ℜ が G の表現空間となるものである.
→V∗ −
B H
ϕ:V − →V
となる.よって H(ϕ2 (x), y) = H(ϕ(x), ϕ(y)), H(x, ϕ2 (y)) = H(ϕ(x), ϕ(y)) である
ので,
λH(x, y) = H(ϕ2 (x), y) = H(x, ϕ2 (y)) = λH(x, y)
となるので λ = λ である.よって λ は零でない実である.また
61
例 3.73. G の既約表現 V を考える.これが実構造を持つとする.このとき実表現
V0 は既約である.実際,可約であるとすると不変部分空間 W0 ⊂ V0 が存在するが
W0 ⊗ C は V の不変部分空間になってしまい矛盾する.
上の例とは逆に,一般には実既約表現は複素表現に拡張しても既約とは限らない.
例 3.74. Zn (n > 2)の R2 への次のような表現を考える.
( )
cos 2πk − sin 2πk
ρ : k 7→ n n
sin 2πk
n
cos 2πk
n
これは既約である.実際これは回転に対応するので,R2 内にこの作用で不変な原
点を通る直線は存在しない.しかし R2 ⊗ C 上へ拡張すれば,可換群であるので既
約表現はすべて一次元である.よって,C2 は可約となる.
実既約表現は複素へ拡張しても既約とは限らないが,次のようなことがわかる.
1. V は既約.
2. V は二つの既約成分へ分解され,それらは互いに複素共役な表現である.
∑ ∑ ∑V
dim
gwi = gjl vl ⊗ αij = vl ⊗ ( gjl αij )
j,l l j=1
∑ ∑ ∑ ∑W
dim
= Gip wp = Gip vl ⊗ αpl = vl ⊗ ( Gip αpl )
p p,l l p=1
となる.よって
∑W
dim ∑V
dim
Gip αpl = gjl αij
p=1 j=1
62
であるので互いに複素共役である.また
∑ ∑
g(wi ) = g( vi ⊗ αji ) = gvi ⊗ αij ∈ W
であるので W も G 不変部分空間であり,
∑ ∑ ∑
gvi ⊗ αij = Gip wp = Gip wp
p p
W ℜ := {w + w | w ∈ W } ⊂ W ⊕ W
63
定理 3.76. V を既約な G 加群とする.このとき次のいずれかが成立する.
Proof. 以前見たように,
1 1
χΛ2 V (g) = (χV (g)2 − χV (g 2 )), χS 2 V (g) = (χV (g)2 + χV (g 2 ))
2 2
である.また
1 ∑ 1 ∑
(χV ∗ , χV ) = χV ∗ (g)χV (g) = χV (g)2
|G| g∈G |G| g∈G
である.さらに,Λ2 V ∗ を分解したときに自明表現があれば,それが交代形式に対
応し,S 2 (V ) を分解したときの自明表現があれば,それが対称形式に対応する.以
上のことがらを使えば証明できる.
2. V , W が四元数表現なら V ⊗ W は実である.
3. V に対して V ∗ ⊗ V は実である.
Proof. V ∗ ⊗ V が実であることのみ証明しておこう.
B : (V ∗ ⊗ V ) × (V ∗ ⊗ V ) ∋ (f1 ⊗ v1 , f2 ⊗ v2 ) 7→ ⟨f1 , v2 ⟩⟨f2 , v1 ⟩ ∈ C
として対称形式を入れれば,これは G 不変であり,G 加群として V ∗ ⊗ V = (V ∗ ⊗
V )∗ = V ∗ ⊗ V である.そこで B(x, y) = H(ϕ(x), y) により実構造 ϕ を定めればよ
い.例えば,{ei }i を V のユニタリ基底として {e∗i }i を双対基底とする.これがユ
ニタリ基底となるような内積をいれれば,G 不変であることがわかる.この基底
によって J を具体的に書けば,J 2 = 1 であることがわかる.
64
4 対称群の表現論
Section 3.10.3 で見たように,群環内の原始的冪等元を見つければ,既約分解を
えることができる.これを対称群で行ってみる.
4.1 既約表現の構成とヤング対称化作用素
Sd を d 次対称群とする.これは有限群なので,既約表現の数は共役類の個数と
一致する.そして共役類の個数は d の分割 d = λ1 + · · · + λk (λ1 ≥ · · · λk ≥ 1)の
個数と対応することはすでにみた. (共役類一つに対して d の分割が一つ対応する.
see Section 2).この分割の個数を p(d) と書き分割数とよぶ.
この p(d) に対して次の母関数表示がある.
∑
∞ ∞ (
∏ )
1
d
p(d)t = = (1 + t + t2 + · · · )(1 + t2 + t4 + · · · )(1 + t3 + t6 + · · · ) · · ·
d=0 n=1
1 − tn
· · + }l + · · · + 2| + ·{z
l| + ·{z · · + 2} + 1| + ·{z
· · + 1}
kl k2 k1
という分割に対応させればよい.収束することは,解析入門などを参照にすれば
∑
わかる.
(この p(d)td の漸近挙動などの研究もある).
65
λ1 1 2 3 1 2 4
λ2 4 5 6 3 5 8
λ3 7 8 6 7
λ4 9 9
図1
また,分割 λ に対して,その共役な分割とはヤング図形 λ に対して,行と列を
入れ替えた図形に対応するものである.例えば (3, 3, 2, 1) の共役は (4, 3, 2) である.
箱の数は変わらないので,同じ数 d に対する分割になっている.
さて,この subsection では,ヤング図形を使って Sd の正則表現から,ある既約
表現への射影を与えることが目標である. (Section 3 で論じた射影公式は,既約表
現の直和への射影であり,既約表現を一つ取り出すものではなかった).
分割 λ1 + λ2 + · · · + λk に対するあるヤング盤 T を考える.このとき次の二つの
部分群が定義できる.
P =Pλ = {g ∈ Sd | g は T の各行を保存する } ∼
= Sλ1 × · · · Sλk ,
Q =Qλ = {g ∈ Sd | g は T の各列を保存する } ∼
= Sµ1 × · · · Sµl .
ここで µ は共役なヤング盤に対する分割である.例えば図1の真ん中のヤング盤
でいえば (1, 2, 3)(4, 5) ∈ P などとなる.これらの部分群を使って,群環 CSd に二
つの元を定義する ∑ ∑
aλ = g, bλ = sgn(g)g.
g∈P g∈Q
とする.
となり表現になる.
66
このとき aλ ∈ CSd → End(V ⊗d ) に対して aλ (V ⊗d ) は.部分空間
S λ1 V ⊗ S λ2 V ⊗ · · · ⊗ S λk V ⊂ V ⊗d
となる.そして,bλ (V ⊗d ) は
aλ (v1 ⊗ · · · ⊗ vd ) = v1 ⊙ · · · ⊙ vd
(正規化はせず v1 ⊙ v2 = v1 ⊗ v2 + v2 ⊗ v1 としている).よってkの像は
S d (V ) ⊂ V ⊗d となる.また Q は各列を保存するものであるが,これは e ∈ Sd
しかない.よって imaga bλ = V ⊗d となる.
bλ (v1 ⊗ · · · ⊗ vd ) = v1 ∧ · · · ∧ vd
3. 一般の場合に考えてみる.簡単のために λ = 3 + 3 + 2 + 1 で考える.このとき
P は 1, 2, 3 を不変,4, 5, 6 を不変,7, 8 を不変,9 を不変にする部分群である.
これは集合 {1, 2, 3} に対する置換群,{4, 5, 6} に対する置換群, {7, 8} に対す
る置換群,{9} に対する置換群の積である.よって S3 × S3 × S2 × S1 とな
る.これに対応する aλ を考えると,最初の S3 の部分で (V ⊗ V ⊗ V ) ⊗ V ⊗6
から S 3 (V ) ⊗ V ⊗6 になり,これを繰り返して S 3 (V ) ⊗ S 3 (V ) ⊗ S 2 (V ) ⊗ V を
得る.bλ に対しても同様である.ただし,順番が異なるので,
v1 ⊗ v2 ⊗ v3 − v3 ⊗ v2 ⊗ v1 7→ (v1 ∧ v3 ) ⊗ v2
などの同型写像を使っている.
67
我々の目的は Sd の既約表現の構成であった.そのため群環の冪等元となるヤン
グ対称化作用素を導入する.
定義 4.1. 分割 λ に対して,あるヤング盤 T を考える(標準的に限る必要はな
い).そして上のようにして aλ , bλ を定義する.このとき
cλ = aλ bλ ∈ CSd
を考える.これをヤング対称化作用素とよぶ.
となり. ∑ ∑
V(1,··· ,1) = CSd ( sgn(g)g) = C sgn(g)g
g∈Sd g∈Sd
さらに,Sd の作用を考えると,
∑ ∑
g′( sgn(g)g) = sgn(g ′ ) sgn(g)g
68
となるので,これは交代表現になる.
また,この場合も λ = (1, · · · , 1) に対するほかのヤング盤を考えても,cλ =
∑
sgn(g)g となる.
となる.そして
(1, 2)cλ = cλ
(1, 3)cλ = (1, 3) + (1, 2, 3) − 1 − (2, 3)
(2, 3)cλ = (2, 3) + (1, 3, 2) − (1, 2, 3) − (1, 2) = −cλ − (1, 3)cλ
(1, 2, 3)cλ = (1, 3)(1, 2)cλ = (1, 3)cλ
(1, 3, 2)cλ = (1, 3)(2, 3)cλ = −(1, 3)cλ − cλ
となるので,
V(2,1) = C{cλ , (1, 3)cλ }
となる.さらに作用をみると既約二次元表現であるので標準表現となる.
さて,別の標準ヤング盤 T0′ を考えることもできる.最初の行に (1, 3),二番
目の行に 2 を入れたものである.このとき
となる.また,
となる.よって
′
V(2,1) = C{c′λ , (1, 2)c′λ }
69
′
さらに V(2,1) ∩ V1,2 = 0 であることもわかる.
ヤング盤が変わる場合には,次のように考えるのがよい.T0 , T0′ の関係は 2 と
3 が入れ替わっている.そこで,g = (2, 3) として,a′λ = gaλ g −1 , b′λ = gbλ g −1 ,
c′λ = gcλ g −1 となる.言い換えると,Pλ′ = gPλ g −1 ,Q′λ = gQλ g −1 である.そこ
で,Vλ′ = CSd c′λ = CSd gcλ g −1 = Vλ g −1 となる.さらに,Vλ ∋ v 7→ vg −1 ∈ Vλ′
は G 線形同型写像であり,Vλ ∼ = Vλ′ である.このことは d 次対称群でもどう
ようであり,分割 λ に対するヤング盤をどのように選んでも,同値な既約表
現を得ることができる.
実際,上の例において,他のヤング盤(上記以外は標準ヤング盤ではない)
を考えても同様に標準表現が得られることがわかる.しかし,その表現空間
は Vλ ⊕ Vλ′ に含まれることがわかる(これは同値な表現の直和の分解の仕方
が一通りでないことを意味している).CSd 内には Vλ は dim Vλ 個の直和に
分かれるが,λ に対する,すべての標準ヤング盤を考えれば,その直和分解を
得ることが出来る.特に,ヤング図形 λ に対する標準ヤング盤の数が dim Vλ
と一致する. (補足 4.9)
以下で定理 4.3 の証明を行う.
d の分割 λ の対するあるヤング盤 T 固定して,
として, ∑ ∑
aλ = g, bλ = sgn(g)g
g∈P g∈Q
補題 4.5. 1. p ∈ P に対して,pa = ap = a.
70
∑
ことを証明する. ng g が条件をみたすとする.このとき,
∑ ∑
ng pg sgn(q)q = np−1 gq−1 sgn(q)g
T T ′ = gT
1 2 3 4 8 3
4 5 6 2 5 6
7 8 9 1
9 7
71
(1, 2)T (4, 2)(1, 8)T ′
2 1 3 2 1 3
4 5 6 4 5 6
7 8 9 8
9 7
これを残りの行に対して繰り返していけば,p ∈ P , q ′ ∈ Q′ で pT = q ′ T ′ となる
ようにできる.よって pT = q ′ gT であり,p = q ′ g となる.そこで q ′ = gqg −1 とな
る q ∈ Q が存在するので p = (gqg −1 )g = gq となり,g = pq −1 ∈ P Q となる.以上
で証明された.
さて,分割に次のような辞書式順序をつける.
定義 4.2 (辞書式順序). 分割 λ, µ に対して,λ > µ とは「最初の零でない λi − µi
が正」として順序付けする.例えば (3, 3, 2, 1) > (3, 3, 1, 1, 1) である.
2 1 3 2 1 3
4 5 6 4 5 6
7 8 10 9 8
9 7 10
72
t = (i, j) とすれば,aλ t = aλ , tbµ = −bµ である.よって aλ bµ = aλ ttbµ =
−aλ bµ となる.よって aλ bµ = 0 を得る.同様に,taλ = aλ , bµ t = −bµ であ
るので,bµ aλ = 0 となる.これは次のように示すこともできる.A ∋ x =
∑ ∑
ag g 7→ x∗ = ag g −1 ∈ A は歪 involution である.また,定義から a∗λ = aλ ,
b∗µ = bµ である.よって,aλ xbµ = 0 がわかっているなら,bµ x∗ aλ = 0 となる.
さて,λ > µ なら,aλ xbµ = 0 であるので,x = (bλ aµ ) とすれば,cλ cµ =
aλ (bλ aµ )bµ = 0 となる.
Proof. λ > µ のとき,aλ xbµ = 0 において x を bλ xaµ とすれば,cλ xcµ = aλ (bλ xaµ )bµ =
0 λ < µ 場合には bλ xaµ = 0 となるので,cλ xcµ = aλ (bλ xaµ )bµ = 0 となる.
であることがわかる(これをロビンソン-シェンステッド対応という.詳しくは [5]
を参照).よって,Vλ の重複度は λ に対する標準盤の数と一致する.特に,dim Vλ
と標準盤の数は一致する(別証明を例 5.38 で与える).
2. λ ̸= µ なら Vλ と Vµ は Sd 加群として同型でない.
73
となり,Vλ = W である.一方 cλ W = 0 であるとすると,W · W ⊂ Vλ · W ⊂
Acλ W = 0 となる.さて,群環のところで見たように(Section 3.10.3),部
分表現への射影 A → W は,ϕ = ϕ2 となる ϕ ∈ W の右から積により与え
ることができる.つまり,Aϕ = W となる ϕ が存在する.ϕ ∈ W であり
ϕ = ϕ2 ∈ W W = 0 であるので射影 ϕ は 0 である.よって W = 0 を得る.以
上から Vλ は既約表現であることがわかる.
また cλ ̸= 0 であるので Vλ = Acλ ̸= 0 である.上の議論において W = Vλ と
すれば,Vλ ̸= 0 であるので,cλ Vλ = C(cλ ) が成立する.
Vλ′ = Vλ ⊗ U ′
が成立する.
74
を考える.このとき x ∈ Aab に対して,x = zab と書けるので,Rb Ra x = zabab =
zc2 = nλ zc = nλ x である.一方,定理の証明をみれば,c′ = ba に対しても,同様
の性質が成立することがわかる.つまり (c′ )2 = nλ c′ である.よって Ra Rb = nλ id
となる.このように Aab ∼ = Aba である.また Sd 線形は明らかなので,表現空間
として同値であることがわかる.さて,
∑ ∑
A∋ a(g)g 7→ a(g) sgn(g)g ∈ A
という写像を考えると準同形である.そこで
∑ ∑
a(g)gba = a(g) sgn(q)gqp
g∈Sd g∈Sd ,p∈P,q∈Q
∑ ∑ ∑ ∑
7→ a(g) sgn(p) sgn(g)qp = a(g) sgn(g)g q sgn(p)p
∑ ∑
となる.ここで q∈Q q および p∈P sgn(p)p は λ と共役なヤング図形 λ′ に対する
aλ′ , bλ′ である.つまり上の式で右辺の像は Vλ′ = Aaλ′ bλ′ である.また明らかにベ
クトル空間として Aba ∼ = Aaλ′ bλ′ である.Aba への Sd の作用を sgn(g)g とすれば,
上の写像は Sd 線形になることもわかる.よって Vλ ⊗ U ′ ∼ = Vλ′ である.
4.2 標準表現と交代テンソル積表現
Sd の標準表現を構成しよう.まず Sd の Cd への自然な表現
U = C(e1 + · · · + ed )
を考えると,これは自明表現になる.そこでこの U の補空間として,次の部分空
間を定義する ∑
V ={ zi ei ∈ Cd | z1 + · · · + zd = 0}.
この d − 1 次元の表現を標準表現とよび,以下で見るように既約表現である.vl =
el − el−1 (l = 2, · · · , d)とすれば,
であるので,
75
命題 4.13. 標準表現 V への Sd の表現は既約表現である.また k 次交代テンソル
積表現 Λk V (0 ≤ k ≤ d − 1)も既約表現である.
Proof. Cd = V ⊕ U である.また
1 ∑ ∑ ∑
(χ, χ) = ( gk )( gl )
d! g∈S k l
d
1 ∑ ∑
= 1
d! k,l
g(k)=k and g(l)=l
1 ∑ ∑ ∑ ∑
= ( 1+ 1)
d! k k̸=l
g(k)=k g(k)=k and g(l)=l
( )
1 d
= (d × {(d − 1)!} + 2 (d − 2)!) = 2
d! 2
となる.よって V は既約である.
次に Λk Cd の指標を計算しよう.A = {1, · · · , d} として,B ⊂ A を #B = k (k
は Λk V の k )とする.このとき g ∈ Sd に対して,
if g(B) ̸= B
0
gB = 1 if g(B) = B で g|B で偶置換
−1 if g(B) = B で g| は奇置換
B
76
∑
になるので,χ = χΛk Cd (g) = tr (g) = B gB となる.そこで
( )2
1 ∑ ∑
(χ, χ) = gB
d! g∈G B
1 ∑∑
= gB gC
d! g∈G B,C
1 ∑ ∑
= sgn(g|B ) sgn(g|C )
d! B,C
g(B)=B,g(C)=C
1 ∑ ∑ ∑ ∑
= l!(d − 2k + l)! sgnb sgnc
d! B C b∈S c∈S
k−l k−l
∑
最後の b∈Sk−l sgnb において,Sk−l の奇置換と偶置換の数は k − l ̸= 0, 1 なら同
じなので,k − l = 0, 1 の場合を考えればよい.k = l の場合には,B = C のとき
であり, ( )
1 ∑∑ 1 d
k!(d − k)! = k!(d − k)! = 1
d! B C
d! k
となる.また l = k − 1 の場合には,
( )( ) ( )
1 ∑ d−k k 1 d
(k − 1)!(d − k − 1)! = k!(d − k)! = 1
d! B
1 k−1 d! k
さて,上の標準表現 V がどのヤング図形と対応しているかをみたい.
Proof. d = (d − 1) + 1 に対して,最も標準的なヤング盤を考える.このとき
P = {g ∈ Sd | g(d) = d} ∼
= Sd−1 , Q = {g ∈ Sd | {g(1), g(d)} = {1, d}} ∼
= S2
である.そこで ∑
aλ = g, bλ = e − (1, d)
g(d)=d
77
であり, ∑ ∑
cλ = aλ bλ = g− h
g(d)=d h(1)=d
となる.
さて,次のようなベクトルで張られるベクトル空間を考える.
∑ ∑
ej = g− h, j = 1, 2, · · · , d
g(d)=j h(1)=j
であり,これは作用の仕方から標準表現と一致する.
[d, · · · , d, d − 1, · · · , d − 1, · · · , 1, · · · , 1]
| {z } | {z } | {z }
id id−1 i1
78
∑
とすれば χ = χΛk Cd (g) = tr (g) = B gB となるのであった.そこで指標を計算す
るには g に対して g(B) = B となる B の選び方を考えればよい.
g ∈ Ci とする.まず Λ2 Cd に対して考えると,(1)(2) · · · (i1 ) から二個選ぶ場合
と,i2 個の互換から一つ選ぶ場合が考えられる(それぞれ,2 = 1 + 1, 2 = 2 に対
応).互換の場合は符号がマイナスなので,
( )
i1
tr (g) = − i2
2
となる.
次に,Λ3 Cd に対しては,3 = 3, 3 = 2 + 1, 3 = 1 + 1 + 1 が考えられる.そこで
( )
i1
tr (g) = − i1 i2 + i3
3
となるので,
( ) ( )
i1 1 i1 − 1
χΛ3 (V ) (g) = − i1 i2 + i3 − { (i1 − 1)(i1 − 2) − i2 } = − (i1 − 1)i2 + i3
3 2 3
Λ4 Cd に対しては,4 = 4, 4 = 3 + 1, 4 = 2 + 2, 4 = 2 + 1 + 1, 4 = 1 + 1 + 1 + 1 が
考えられる.よって
( ) ( ) ( )
i1 i1 i2
tr (g) = − i2 + i3 i1 + − i4
4 2 2
となるので,
( ) ( ) ( )
i1 − 1 i1 − 1 i2
χΛ4 (V ) (g) = − i2 + + (i1 − 1)i3 − i4
4 2 2
となる.このように規則性がわかるので,帰納法により一般の公式を導くことが
出来る(Λk V に対してなら k の分割を考えよ(演習問題. c.f. Section 6.2.3)).
例 4.16. 例として g = (1)(2) · · · (d − 2)(d − 1, d) ∈ Sd の場合を考えよう.つまり
サイクルタイプが i = (d − 2, 1) = [2, 1, · · · , 1] である.Λk (Cd ) の指標は,上で述
| {z }
d−2
べたようにして.k = 1 + · · · + 1, k = 2 + 1
| + ·{z
· · + 1} の場合を考えればよい.そ
k−2
こで, ( ) ( )
d−2 d−2
χΛk Cd (g) = −
k k−2
79
となる.ただし,k = 1 のときは指標は d − 2 であり,k = 0 のときは 1 である.そ
こで,
と書く.つまり
| + ·{z
d · · + d} + · · · + 1| + ·{z
· · + 1}
id i1
である.この分割に対応する共役類を Ci と書く.
分割 λ のヤング図形の行数 l(λ) 以上の変数 x1 , · · · , xk を用意する.そして,冪
和対称式 pj (x)(1 ≤ j ≤ d)を
とし,差積 ∆(x) を ∏
∆(x) = (xi − xj )
i<j
とする.
80
さて,f (x) = f (x1 , · · · , xk ) を形式的冪級数として
l1 = λ1 + k − 1, l2 = λ2 + k − 2, · · · , lk = λk
∑
d
k(k − 1)/2 + kik = k(k − 1)/2 + d
k=1
∑
である.一方,xl11 · · · xlkk の次数も li = d + (k − 1)k/2 である.
また λ1 ≥ · · · ≥ λk ≥ 0 としているが λl = · · · = λk = 0 の場合でも構わない.
逆に言えば,k = l(λ) だとしても.0 = λk+1 = λk+2 = · · · = λk+s として拡張
してもよい.つまり,Frobenius の公式において変数の数を増やしても値は変化
しない.実際,変数を増やしたときには,lk+1 = s − 1,・ ・ ・, lk+s = 0 となるが,
lk+1 lk+s
xk+1 · · · xk+s = xk+1 · · · xk+s については,∆(x1 , · · · , xk+s ) からの寄与のみを考え
s−1 0
ればよいからである.つまり,次のよう:
∏
∆(x1 , · · · , xk+s ) pj (x)ij
=(x1 − x2 ) · · · (x1 − xk )(x1 − xk+1 )(x1 − xk+s )
(x2 − x3 ) · · · (x2 − xk )(x2 − xk+1 ) · · · (x2 − xk+s )
···
(xk − xk+1 ) · · · (xk − xk+s )
(xk+1 − xk+2 ) · · · (xk+1 − xk+s )
···
(xk+s−2 − xk+s−1 )(xk+s−2 − xk+s )
(xk+s−1 − xk+s )
(x1 + · · · xk + xk+1 + · · · xk+s )i1 · · · (xd1 + · · · xdk + xdk+1 + · · · xdk+s )id
81
において,xλ1 1 +k+s−1 xλ2 2 +k+s−2 · · · xλk k +s xs−1
k+1 · · · xk+s の係数を考えるのだが,∆(x)
0
であるので,
∏
1. C(3,0,0) に対して,∆(x) j pj (x)ij は
よって,
となる.idC(3,0,0) なので,指標は表現空間の次元であることに注意.
82
2. C(1,1,0) に対して,
であり,
3. C(0,0,1) に対しては
f (x) = ∆(x)(x31 + x32 + x33 )
なので,
以上は以前計算した結果と一致する(see Section 4)
共役類の元の数 1 3 2
S3 の共役類の代表元 1 σ = (1, 2) τ = (1, 2, 3)
自明表現 U の指標 1 1 1
交代表現 U ′ の指標 1 −1 1
標準表現 V の指標 2 0 −1 = ω + ω 2
χ(d−1,1) (C(i1 ,i2 ,··· ,id ) ) = [(x1 − x2 )(x1 + x2 )i1 (x21 + x22 )i2 · · · (xd1 + xd2 )id ](d,1)
= [(x1 − x2 )(xi11 + i1 xi11 −1 x2 + · · · + xi21 )(x21 + x22 )i2 · · · (xd1 + xd2 )id ](d,1) = i1 − 1
となる.
(Section 4.2 ですでに計算した).
4.3.2 次元公式
さて,フロベニウスの公式を認めて,次元公式を導いてみよう.次元は χλ (e) を
求めればよい.そして,e に対する共役類は C(d,0,··· ,0) となる.そこで,
83
となる(k は十分大).この [∆(x)p1 (x)d ]l を計算したい.
まず ∆(x) はファンデルモンデ行列式を使って,
1 xk · · · xk−1
k
∆(x) = ... ... .. = ∑ sgn(σ)xσ(1)−1 · · · xσ(k)−1
. k 1
1 x1 · · · xk−1 σ∈Sk
1
となる.
となることから従う.
次に
∑ d!
(x1 + · · · + xk )d = xr11 · · · xrkk
r1 +···+rk =d
r1 ! · · · rk !
である.よって,
∑ σ(1)−1 σ(k)−1
∑ d!
∆(x)(x1 + · · · + xk )d = sgn(σ)xk · · · x1 xr11 · · · xrkk
σ∈Sk r1 +···+rk =d
r1 ! · · · rk !
∑ d! r +σ(k)−1 r +σ(k−i+1)−1 r +σ(1)−1
= sgn(σ) x11 · · · xi i · · · xkk
σ∈Sk ,r1 +···+rk =d
r1 ! · · · rk !
である(x1 , · · · , xk の d + k(k−1)
2
次斉次式).そして,xl11 · · · xlkk (これも d + k(k−1)
2
次式)の係数は
∑ d!
sgn(σ)
(l1 − σ(k) + 1)! · · · (lk − σ(1) + 1)!
d! ∑ ∏ k
sgn(σ) lj (lj − 1) · · · (lj − σ(k − j + 1) + 2)
l1 ! · · · lk ! σ∈S j=1
k
1 lk lk (lk − 1) · · ·
∏
d! .. .. . . d!
= . . .
. .
. = (li − lj )
l1 ! · · · lk ! l1 ! · · · lk !
1 l1 l1 (l1 − 1) · · · i<j
84
Proof. 直接証明すればよい.
∑ d!
sgn(σ)
(l1 − σ(k) + 1)! · · · (lk − σ(1) + 1)!
d! ∑
= sgn(σ)l1 (l1 − 1) · · · (l1 − σ(k) + 2) · · · lk (lk − 1) · · · (lk − σ(1) + 2)
l1 ! · · · lk !
d! ∑
= sgn(σ)l1 (l1 − 1) · · · (l1 − σ(k) + 2) · · · lk (lk − 1) · · · (lk − σ(1) + 2)
l1 ! · · · lk ! σ∈S
k
以上から
命題 4.22 (次元公式). 分割 λ = λ1 + · · · + λk に対する Sd の既約表現を Vλ と
すれば,
d! ∏
dim Vλ = (li − lj ), li = λi + k − i
l1 ! · · · lk ! i<j
次元公式の計算方法としては,ヤング図形の中の鉤型(hook)の長さを計算す
ることによるものがある.それについて見ていこう.ヤング図形のある箱に対する
「hook の長さ」とは,その箱の右,下及びそれ自身の箱の数である.例えば,下の
図では hook length は4である.また下右図は各箱の hook length を書いている.
85
6 4 3 1
4 2 1
このとき,
命題 4.23 (hook length formula).
d!
dim Vλ = ∏
each box (hook lengths)
例えば,上の例なら
8!
dim Vλ = = 70
6· ·3·2
42
となる.
l1 = λ1 + k − 1, l2 = λ2 + k − 2, ··· , l k = λk
になる.
そこで第一行の長さについての帰納法で証明する.まず第一行の長さが 1 の場
合を考える.つまり,一列しかなくて l(λ) = d の場合を考えると,λ = 1 + · · · + 1
である.次元公式を使えば,表現空間の次元は
d! ∏
Vλ = (1 + d − i − (1 + d − j))
d!(d − 1)! · · · 1! 1≤i<j≤d
d! ∏
= (j − i) = 1
d!(d − 1)! · · · 1! i<j
86
を考える,λ′ の長さ l(λ′ ) は k 以下である.また第一行の長さが p − 1 であるので,
仮定から,
(d − k)! ∏ (d − k)!
(li − lj ) = ∏
(l1 − 1)! · · · (lk − 1)! i<j each box in λ′ (hook lengths)
さらに,
d! ∏ d! 1 (d − k)! ∏
dim Vλ = (li − lj ) = (li − lj )
l1 ! · · · lk ! i<j (d − k)! l1 l2 · · · lk (l1 − 1)! · · · (lk − 1)! i<j
d! 1 (d − k)!
= ∏
(d − k)! l1 l2 · · · lk each box in λ′ (hook lengths)
d!
=∏
each box in λ (hook lengths)
4.3.4 応用例 1
フロベニウスの公式や次元公式の応用について考えよう.
Section 4.3.2 において,i = (d) に対して,χλ (Ci ) = χλ (e) = dim Vλ を計算し
た.ここでは,
i = (d − m, 0, · · · , 0, |{z}
1 , 0, · · · , 0)
m
である.そこで,
∑
∆(x)(x1 + · · · + xk )d−m xm
i
i
∑ ∑ (d − m)! r1 +σ(k)−1 r +σ(k−i+1)−1+m r +σ(1)−1
= sgn(σ) x · · · xi i · · · xkk
i σ∈Sk ,r1 +···+rk =d−m
r1 ! · · · rk ! 1
87
となる.ここで Sik は σ ∈ Sk で lj − σ(k − j + 1) + 1 ≥ 0(j ̸= i)かつ li − σ(k −
i + 1) + 1 − m ≥ 0 となるものである.よって,次元公式の証明と同様にして,
{ }
∑ (d − m)! ∑ ∏
sgn(σ) lj (lj − 1) · · · (lj − σ(k − j + 1) + 2)
i
l 1 ! · · · lk
Sk
! j̸=i
dim Vλ ∑ ψ(li )
k
=
−m2 hm i=1 ϕ′ (li )
となる.ここで,
∏
k ∏
m
ϕ(x) = (x − ls ), ψ(x) = ϕ(x − m) (x − s + 1)
s=1 s=1
d!
であり.hm = は g = (1, · · · , m) ∈ Sd と共役な元の数(m > 1)で
(d − m)!m
ある.
88
命題 4.24. g = (1, · · · , m) とする.このとき,
dim Vλ ∑ ψ(li )
k
χλ (g) = .
−m2 hm i=1 ϕ′ (li )
∑k
さらに, i=1 ψ(li )/ϕ′ (li ) は,ψ(x)/ϕ(x) を x = ∞ の周りでローラン展開したと
∑
き, cn /xn の x−1 の係数等しい.
Proof. 二番目の主張を証明する.留数については下の補足を見よ.
まず,留数定理から,r が十分大として
∫
1
Res(∞) = − f (z)dz = −c1
2πi |z|=r
となる.一方, ∫
1 ∑
f (z)dz = Res(ai )
2πi |z|=r i
c−k c−1 ∑ ∞
f (z) = + · · · + + an (z − a)n
(z − a)k z − a n=0
として定義する.このとき,留数定理とは
∫ ∑
f (z)dz = Res(ai , f )
C i
89
となる.f (z) の z = ∞ におけるローラン展開
∑
f (z) = c−k z k + · · · + c−1 z + cn /z n
を考えたとき,
∑
−f (1/w)w−2 = −c−k wk+2 − · · · − c−1 /w3 − c0 /w2 − c1 /w − cn /z n
となるので,留数は −c1 となる.そして閉リーマン面である P 1 (C) 上の有理型関
数に対する留数定理は ∑
Res(ai , f dz) = 0
となる.
さて,上の命題 4.24 の公式を別の形で書いてみよう.分割 λ に対して,対角成分
にある箱の数を分割 λ の rank とよぶ.さらに下のようにして,対角成分の横側に
ある箱を下から各行ごとに数えて,b1 , · · · , br と書く.また,対角成分の下側にある
箱の数を右から各列ごとに数えて a1 , · · · , ar とする.ここで,a1 < a2 < · · · < ar ,
b1 < b2 < · · · < br となる.
rank= 4
b4 =9
b3 =7
b2 =6
b1 =0
a4 = 6
a3 = 4
a2 = 3
a1 = 2
この数を ( )
a1 a2 · · · ar
b1 b2 · · · br
と書き分割 λ の特性(characteristics)とよぶことにする.上の例の特性は
( )
2 3 4 6
0 6 7 9
である.
補題 4.26. 分割 λ に対する特性を考えたとき,次の集合は一致する.
{l1 , · · · , lk , k − 1 − a1 , · · · , k − 1 − ar } = {0, 1, · · · , k − 1, k + b1 , · · · , k + br }
ここで li = λi + k − i である.
90
Proof. まず,rank が r であるとすると,l1 = k + br , l2 = k + br−1 ,・
・・, lr = k + b1
が成立する.そこで,我々は
{lr+1 , · · · , lk , k − 1 − a1 , · · · , k − 1 − ar } = {0, 1, · · · , k − 1}
を確かめればよい.それは次の図から明らかであろう.つまり,ヤング図形の左
下端から右上へ淵に沿って番号をつける.このとき箱の下側に書いた数が順に
k − 1 − ar , k − 1 − ar−1 , · · · , k − 1 − a1 に一致して,箱の右側に書いた数が順
に lk , lk+1 , · · · , lr+1 に一致することがわかる.
8
7
6
3 4 5
2
0 1 l i = λi + k − i
k − 1 − ai
この補題から,
∏
r
(y − bi )
i=1
∏
m
f (y) = , g(y) = f (y − m) (y − j + 1)
∏
r
j=1
(y + ai + 1)
i=1
とすれば,
ψ(x)/ϕ(x) = g(y)/f (y), y = x − k
∑k
が成立する.よって i=1 ψ(li )/ϕ′ (li ) は g(y)/f (y) を y = ∞ でローラン展開した
ときの y −1 の係数である.(y = ∞ の話なので y = x − k のずらしは関係ない).
Proof. まず補題から,
∏
k ∏
r ∏
k ∏
r
(x − li ) (x − k + 1 + ai ) = (x − i + 1) (x − k − bi )
i=1 i=1 i=1 i=1
91
が成立する.よって
∏ ∏ ∏
(x − i + 1) (x − k − bi ) ∏
k k
ϕ(x) = (x − li ) = ∏ = (x − i + 1)f (x − k)
i=1
(x − k + 1 + a i ) i=1
となる.そこで,
∏
m
ψ(x)/ϕ(x) = ϕ(x − m) (x − j + 1)/ϕ(x)
j=1
∏k ∏
i=1 (x− m − i + 1)f (x − m − k) m j=1 (x − j + 1)
= ∏k
i=1 (x − i + 1)f (x − k)
f (y − m) ∏ ∏
k m
= (x − m − i + 1) (x − i + 1)
f (y) i=1 i=k+1
f (y − m) ∏ ∏
m m−k
g(y)
= (x − k − l + 1) (x − k − l + 1) =
f (y) l=m−k+1 l=1
f (y)
以上まとめると,
dim V
χλ (g) = (−Res(∞, g(y)/f (y)))
−m2 hm
dim Vλ ∑
r
χλ (g) = (bi (bi + 1) − ai (ai + 1))
d(d − 1) i=1
となる.
92
となるので,Res(∞, g(y)/f (y)) を計算する.y = ∞ での留数の定義から,y = 1/w
としたとき,
∏ ∏
g(y) (y − 2 − bi ) (y + ai + 1)
=∏ ∏ y(y − 1)
f (y) (y + ai − 1) (y − bi )
∏ ∏
(1 − 2w − bi w) (1 + ai w + w)
= ∏ ∏ (1 − w)(1/w)2
(1 + ai w − w) (1 − bi w)
となるので,この w1 の係数をひろう必要がある.つまり
(∏ ∏ )
1 d3 (1 − 2w − bi w) (1 + ai w + w)
∏ ∏ (1 − w) |w=0
3! dw3 (1 + ai w − w) (1 − bi w)
{( ∏ ∏ )′′′
1 (1 − 2w − bi w) (1 + ai w + w)
= ∏ ∏ |w=0
6 (1 + ai w − w) (1 − bi w)
(∏ ∏ )′′ }
(1 − 2w − bi w) (1 + ai w + w)
−3 ∏ ∏ |w=0
(1 + ai w − w) (1 − bi w)
を計算すればよい.簡単のために
∏ ∏ ∏ ∏
H1 (w) = (1−2w−bi w) (1+ai w+w), H2 (w) = (1+ai w−w) (1−bi w)
∑
とし,A = −r + (ai − bi ) とする.
このとき,
H1 (0) = 1,
H2 (0) = 1
∑
r ∑r
H1′ (0) = (−2 − bi ) + ai + 1 = −r + (ai − bi ) = A
i=1 i=1
∑ ∑
H2′ (0) ai − 1 − bi = −r +
= (ai − bi ) = A
∑ ∑ ∑
H1′′ (0) = (−2 − bi )(2 + bi + (aj − bj − 1)) + (ai + 1)(−ai − 1 + (aj − 1 − bi )),
i j j
∑
=A − 2 2
(2 + bi ) + (ai + 1) 2
i
∑ ∑ ∑
H2′′ (0) = (ai − 1)(−ai + 1 + (aj − bj − 1)) − bi (bi + (aj − bj − 1))
i j j
∑
=A − 2
(ai − 1) +
2
b2i
i
93
∑ ∑
H1′′′ (0) = (bi + 2)(bj + 2)(4 + bi + bj + A) − 2(bi + 2)(aj + 1)(bi − aj + 1 + A)
i̸=j i,j
∑
+ (ai + 1)(aj + 1)(−ai − aj − 2 + A)
i̸=j
∑ ∑
=− (bi + 2)2 (4 + 2bi + A) − (ai + 1)2 (−2ai − 2 + A)
i i
∑
+ {(bi + 2)(bj + 2)(4 + bi + bj + A)
i,j
となる.そこで,
また
− 3(H1 (w)H2 (w)−1 )′′ |w=0 = −3(H1′′ (0) − 2H1′ (0)H2′ (0) + 2(H2′ (0))2 − H2′′ (0))
∑ ∑ ∑
= − 3(A2 − (2 + bi )2 + (ai + 1)2 − A2 + (ai − 1)2 + b2i ) = 12 1 + bi + a i
i i
94
なので,求める値は
∑ ∑ ∑
8 (1 − ai aj + 2bi + bi bj ) + 4 (1 + ai + bi )(3ai − 3bi + 2A − 3) + 12 1 + bi + ai
i,j
∑ ∑
=8 (1 − ai aj + 2bi + bi bj ) + 4 (1 + ai + bi )(3ai − 3bi + 2A)
i,j
∑ ∑
=12 (1 + ai + bi )(ai − bi ) = −12 (bi (bi + 1) − ai (ai + 1))
となる.よって,
dim V ∑
χλ (g) = (bi (bi + 1) − ai (ai + 1))
d(d − 1)
となる.
4.3.5 応用例 2
となる.
であるので,
∑
d ∑
σ(1)−1 σ(d)−1 d
∆(x)(xd1 + · · · xdd ) = sgn(σ)xd · · · x1 xp
p=1 σ
の場合を考えればよい.そして,σ としては,
( )
d d − 1 d − 2 ··· t t − 1 ··· 1
σ=
t d d − 1 ··· t + 1 t − 1 ··· 1
95
となるときであり,
(d−1)−1 (d−1)−1
sgn(σ)xd+t−1
1 xd−1
2 x3 · · · x0d = (−1)d−t xd+t−1
1 xd−1
2 x3 · · · x0d
この λ = (d−s, 1, · · · , 1) に対する既約表現が何であるか見てみよう.V(dim V =
d − 1)を標準表現とすれば Λs V は既約表現であったが,実は,これが λ = (d −
s, 1, · · · , 1) に対する既約表現になるのである.以下で,この事実を証明する. (た
だし,かなり面倒である.よりよい方法は section 6 で与える).
まず g = (1, 2, · · · , d) の Λq Cd = Λq V ⊕ Λq−1 V の指標は零(q ≥ 1)であるので,
帰納的に χΛq V (g) = (−1)q であることがわかる.よって,補題から V(d−s,1··· ,1) ∼ = Λq V
となる q が存在する.さらに,次元公式を考えれば,dim V(d−s,1··· ,1) = dim Λs V =
dim Λd−1−s V であることもわかるので,
V(d−s,1,··· ,1) ∼
= Λs V, or V(d−s,1,··· ,1) ∼
= Λd−1−s V
となるのであった.
一方,χ(d−s,1,··· ,1) (g) を Frobenius の公式を使えば,
( )
d − 1 − 2s d − 1
χ(d−s,1,··· ,1) (g) =
d−1 s
となることがわかる.
dim Vλ ∑
r
χλ (g) = (bi (bi + 1) − ai (ai + 1))
d(d − 1) i=1
に代入すればよい.
96
証明 2. 別証明を与える.ただし,対称式の関係式や Kostska 数などを使うので,
つぎの section 5 を読み終わった後で見て欲しい.まず,計算すべきは,
[−∆H(1,··· ,1) + 2∆H(2,1,··· ,1) ](d,s,s−1,··· ,1) = −K(d−s,1,··· ,1),(1,1,··· ,1) + 2K(d−s,1,··· ,1),(2,1,··· ,1)
( ) ( ) ( )
d−1 d−2 d − 1 − 2s d − 1
=− +2 =
s s d−1 s
となる.
以上の考察から
命題 4.30. Sd の標準表現を V とする.既約交代テンソル積表現 Λs V に対応
する分割は鉤型
λ = (d − s, 1, · · · , 1)
| {z }
s
97
5 対称式2(シューア多項式)
前 section の Frobenius 公式において,冪和対称式が現れた.実際,Frobenius 公
式を証明するには,対称式に関する知識を必要とする.また,Frobenius 公式の具
体的な計算や応用には,対称式は必須である.そこで,この section では対称式に
ついて学ぶことにする.
Section 2 において対称式の基本的なことを述べたが,より詳しく見ていこう多
項式の変数は x1 , · · · , xk とする.また,ここで,考える多項式の多くは次数 d の斉
次多項式である.また,d の分割 λ = λ1 + λ2 + · · · + λk は λ1 ≥ λ2 ≥ · · · λk ≥ 0 を
満たすとする.つまり l(λ) ≤ k となるとする.
5.1 定義
以前導入し対称式は,冪和対称式 {pj : j = 0, 1, 2, · · · } 及び基本対称式 {e0 , · · · , ek }
である.まず,これらは次のようにして定義できる.冪和対称式を
∑
∞ ∑
k
xi ∑ d k
1
j−1
P (t) = pj t = = log
j=1 i=1
1 − xi t i=1
dt 1 − xi t
により定義できる.また基本対称式は
∏
k ∑
E(t) = (1 + xi t) = ej tj
i=1 j=0
はである.これら以外にもいくつかの対称式を定義しておく.
定義 5.1. 完全対称式 {hj | j = 0, 1, · · · } を
∏
k
1 ∑ ∞
H(t) = = hj tj
i=1
1 − xi t j=0
によりで定義する.
たとえば,3変数の場合には,
となる.一般には ∑
hd = xi11 · · · xikk
i1 +···+ik =d
となるので, ∑
hd = Mλ (x)
|λ|=d
98
と書ける.ここで和は d のすべての分割について和をとっている.ここで Mλ は
Section 2 で導入した軌道和対称式である.
Eµ := eµ1 · · · eµl
とする.
例 5.1. 3変数の場合に考えてみよう.まず完全対称式は
などとなる.
次に,M(1,1) = M(1,1,0) は x11 x12 x03 のすべての異なる置換を考えたものなので
1 ∑ 1
M(1,1) = x11 x12 x03 + x01 x12 x13 + x11 x02 x13 = xσ(1) x1σ(2) x0σ(3) = x1 x2 + x1 x3 + x2 x3
2!1! σ∈S
3
同様に,
1 ∑ 2
M(2,0,0) = x = x21 + x22 + x23
1!2! σ∈S σ(1)
3
となる.
さらに,
次にシューア多項式を導入する.
99
定義 5.3 (シューア多項式). 行列 (aij )i,j に対して,その行列式を |aij | と書くこ
とにする.
分割 λ = (λ1 , · · · , λk ) に対して,
|xλj i +k−i |
|xλj i +k−i |
Sλ = =
|xk−i
j |
∆
λ1 +k−1 λ2 +k−2 l1 l2
x1 · · · xλ1 k x1 x1 · · · xl1k
λ +k−1 x1λ +k−2 l
1 x2 1 · · · xλ2 k 1 x21 x22 · · · x2k
l l
x2 2
= . .. ... .. = ∆ .. .. . . ..
∆ .. . . . . . .
xλ1 +k−1 xλ2 +k−2 · · · xkλk xk xk · · · xlkk
l1 l2
k k
とする.ここで li = λi + k − i としている.分子,分母が交代式なので Sλ は
∑
対称多項式である.また次数は d = λi である.この d 次対称式 Sλ をシュー
ア多項式と呼ぶ.
となる.また
S(2,0,0) = x21 + x22 + x23 + x1 x2 + x1 x3 + x2 x3
となる.シューア多項式を計算するのは面倒な感じだが,実は半標準盤を使うこ
(後述.系 5.34 ).
とで計算できる.
命題 5.4. l(λ) ≤ k の d の分割の全体 {λ}λ を考える.{Sλ }λ は k 変数 d 次対称
式の基底になる.
次の項は x1 λ1 +k−1
· · · xk である.そこで,λ を動かしたとき交代式は独立であるこ
λk
とがわかる.つまり, ∑
aλ |xλj i +k−i | = 0
λ
100
とすれば,辞書式に順に眺めていけば,aλ = 0(∀λ)であることがわかる.さら
に次元を考えれば,d + k(k−1)
2
次交代式の次元と一致するので,{|xλj i +k−i | | λ} は交
代式の基底になる.よって {Sλ }λ は基底になる.
さて,上の例をみるといくつかの関係式があることがわかる.例えば,
S(1,1) = E(2,0) = h21 − h2 S(2,0) = H(2,0) = e21 − e2 , S(1,0) S(1,0) = S(1,1) + S(2,0)
が成立する.では,一般の場合に同様の関係式が成立するのであろか?次の sub-
section では,そのような関係式を議論する.
5.2 対称式に対するいくつかの恒等式
まず,基本対称式に対して次が成立する.多項式の変数はもちろん x1 , · · · , xk で
∏k ∑k
ある. i=1 (t − xi ) = s=0 (−1)k−s ek−s (x)ts に xi を代入すれば,次を得る.
命題 5.5.
xpj − e1 xp−1
j + e2 xp−2
j − · · · + (−1)k ek xp−k
j = 0, 1 ≤ j ≤ k, p ≥ k (5.3)
∑
k ∑
∞ ∑ ∑
∞ ∑k
j l j j+l
1= ej (−t) hl t = (−1) ej hl t = ( (−1)j ej hp−j )tp
j=0 l=0 p=0 j=0
命題 5.6.
まず,最初の目的は,上の二つの命題を使って,シューア多項式を完全対称式
または基本対称式で表すことである.
そこで,上の命題を後で使う形に直しておくと,
101
そこで,(5.3), (5.4) の漸化式は一致しているので,e1 , · · · , ek を変数とする多項
式 A(p, q) が存在して,
となる.
非負整数 λ1 , · · · , λk に対して,
が j = 1, · · · , k について成立するので,次の行列表示(k × k 行列)を得る.
同様に,
という行列表示(k × k 行列)を得ることができる.
また,(5.4) から次のこともわかる.
102
である.特に,
(xλj i +k−i )ij = (hλi +p−1 )ip · ((−1)r−p er−p )pr · (xk−r
j )rj
となる.この式で行列式をとれば,真ん中の行列式は 1 であるので,
特に
hl = S(l) , l≥0
が成立する.
次にシューア多項式が基本対称式の多項式として書き表せることをみたい.目的
は次.
命題 5.9 (determinantal formula 2 : Giambelli の公式). d 次シューア多項式と
基本対称式の関係は次で与えられる.λ と共役な分割を µ = (µ1 , · · · , µl ) とす
れば,
eµ1 e · · · e
µ 1 +1 µ1 +l−1
eµ −1 e · · · e
µ µ +l−2
Sλ = |eµi +j−i | = .
2 2 2
.. .. .. ..
. . .
e ··· ··· e
µl −l+1 µl
ed = S(1, · · · , 1) , 0≤d≤k
| {z }
d
が成立する.
103
前の命題を使えば,次を証明すればよいことになる.
命題 5.10. d 次完全対称式と基本対称式の間には次の関係式が成立する.
A = {λi + k + 1 − i | 1 ≤ i ≤ k}, B = {k + j − µj | 1 ≤ j ≤ l}
µ1 = 8 µ3 = 5 µ5 = 2
µ2 = 6 µ4 = 5
λ1 = 5 13
λ2 = 5
12
λ3 = 4 11
10
λ4 = 4 9
λ5 = 4 8
λ6 = 2 6 7
5
λ7 = 1 4
3
λ8 = 1 2
1
よって,A ∪ B = {1, · · · , k + l} となる.
104
次に,r × r の行列 A = (aij ) を考える.また S = (s1 , · · · , sk ), T = (t1 , · · · , tk )
を,si ̸= sj , ti ̸= tj で,si , ti ∈ {1, · · · , r} とする.このとき AS,T を成分が (asi ,tj )ij
の k × k の小行列の行列式とする.
が成立する.
とすることができる.つまり
( ) ( )
1, · · · , r 1, · · · , r
P ↔ Q↔
s 1 , · · · , sr t1 , · · · , t r
と対応させている.また,この P, Q を使えば,
( )
B B
Q−1 BP −1 =
1 2
, BT ′ ,S ′ = det B4
B3 B4
となり, ( )( ) ( )
A1 A2 idk B2 A1 0
=
A3 A4 0 B4 A3 cidr−k
が成立する.この行列式をとれば,det(P AQ) det(B4 ) = cr−k det A1 となる.よって,
( ) ( )
′ ′
S, S T, T
cr−k AS,T = sgn sgn det(A)BT ′ ,S ′
1, · · · , r 1, · · · , r
が成立する.
105
上の二つの補題を使って,(5.5) を証明しよう.
T = (λ1 + k, λ2 + k − 1, · · · , λk + 1)
T ′ = (k + 1 − µ1 , k + 2 − µ2 , · · · , k + l − µl )
S = (k, k − 1, · · · , 1)
S ′ = (k + 1, k + 2, · · · , k + l)
であることがわかる.
1 4 6 7 11
13 13
12 12
10 11
10
9 9
8 8
5 6 7
5
3 4
3
2 2
1
106
よって, ( )
T, T ′ k(k−1)
sgn = (−1) 2 +d ,
1, · · · , r
となる.
さて,
となり,
′ ′
BT ′ ,S ′ = det(bt′j s′i ) = det((−1)si −tj es′i −t′j ) = |(−1)µj +i−j eµj +i−j |
∑ ∑
µj −j
= (−1) (−1) i
|eµi +i−j | = (−1)d |eµi +i−j |
∑ ∑
となる.ここで d = µj = λi を用いた.よって補題 5.12 を使えば,
|hλi +j−1 | = 1r−k AS,T = (−1)d (det A)BT ′ S ′ = (−1)d × 1 × (−1)d |eµi +i−j | = |eµi +i−j |
が成立する.
基本対称式と完全対称式の関係式
h λ1 hλ1 +1 · · · hλ1 +k−1 eµ1 eµ1 +1 · · · eµ1 +l−1
hλ −1
hλ2 · · · hλ2 +k−2 eµ2 −1 eµ2 · · · eµ2 +l−2
2
|hλi +j−1 | = . . . . = . .. .. .. = |eµi +i−j |
.. .. .. .. .. . . .
h ··· ··· h λk eµl −l+1 · · · · · · e
λk −k+1 µl
λ = (1, · · · , 1)
| {z }
d
となるので,
h h h · · · h
1 2 3 d
1 h1 h2 · · · hd−1
ed = 0 1 h1 · · · hd−2 = |(h1−i+j )1≤i,j≤d |
.. .. . . .. ..
. . . . .
0 0 ··· 1 h1
同様に λ = (l)(l は任意の非負整数)となるものを考える.この共役は
µ = (1, · · · , 1)
| {z }
l
107
であり,
e e e · · · e
1 2 3 l
1 e1 e2 · · · el−1
hl = 0 1 e1 · · · el−2 = |(e1−i+j )1≤i,j≤l |
.. .. . . .. ..
. . . . .
0 0 ··· 1 e1
∑k
補足 5.13. 公式 i=0 (−1)i hp−i ei = 0 を思い出す.上の行列式表示が成立すると仮
定して,第一行の余因子展開を使えば,帰納法で上の式を証明もできる.
次に,冪和対称式と基本対称式,完全対称式の関係を見ていこう.それぞれの
定義である E(t), H(t), P (t) を思い出す(see subsection 5.1).まず,
d ∑ d 1
k
log H(t) = log = P (t)
dt i=1
dt 1 − xi t
∑ ∑ ∑ ∑ ∑∑
l+1
l r s−1 r+s−1
(l + 1)hl+1 t = hr t ps t = hr ps t = ps hl+1−s tl
l=0 r≥0 s≥1 l=0 s=1
となるので,
108
命題 5.15. 完全対称式と冪和対称式の関係は
∑
l
lhl = ps hl−s
s=1
である.また
∑ tr
H(t) = exp( pr )
r≥1
r
が成立する.
系 5.16. 完全対称式と冪和対称式は次の行列式表示で関係する.
p
h1 · · · 1 −1 0 ··· 0
1 0 0
2h2 h1 p2 p1 −2 ··· 0
1 · · · 0 1 .
(−1) pl = .
l−1
, hl = ..
.. .. ..
. . . . . . .
. .
. .
. .
. l!
lh h pl−1 pl−2 pl−3 · · · −l + 1
l−1 hl−2 · · · h1
l
pl pl−1 pl−2 ··· p1
109
次に,
p
1 −1 0 ··· 0
p2 p1 −2 ··· 0
.
.. .. .. ..
. . .
pl pl−1 pl−2 ··· −(l + 1) + 1
pl+1 pl pl−1 ··· p1
l l p −1
(−1) l!p 1 (−1) l! 1
=(−1)l pl+1 (−1)l l! + (−1)l+1 pl + (−1)l+2 pl−1 + ···
(−1)1! (−1)2 2! p2 p1
p −1 · · ·
1 0 0
p2 p1 −2 · · · 0
..
+ (−1)2l p1 ... ..
.
..
. .
pl−1 pl−2 pl−3 · · · −l + 1
pl pl−1 pl−2 · · · p1
=l!(pl+1 h0 + pl h1 + pl−1 h2 + · · · + p1 hl ) = l!(l + 1)hl+1 = (l + 1)!hl+1
となる.以上で証明された.
次に基本対称式と冪和対称式の関係を考えよう.上と同様にして,
d 1 E ′ (−t)
log = = P (t)
dt E(−t) E(−t)
∑
k−1 ∑
k ∑ ∑
(l + 1)e(l+1) (−1)l tl = er (−1)r tr ps ts−1 = (−1)r er ps tr+s−1
l=0 r=0 s≥1
∑∑
l−1
= (−1)r er pl+1−r tl
l≥0 r=0
となる.
(Newton の公式は前に別の方法で証明した).
命題 5.17 (Newton の公式). 冪和対称式と基本対称式の関係は次のよう.
∑
l−1 ∑
l
l
(−1) (−l)el = r
(−1) er pl−r (1 ≤ l ≤ k), (−1)r er pl−r = 0 (k ≤ l)
r=0 r=0
また,
∑ (−1)r tr
E(t) = exp(− pr ).
r≥1
r
110
系 5.18. 基本対称式と冪和対称式は次の行列式表示で関係する.
p 0 ···
e1 0 ··· 0 1 1
0
1
2e2 e1 p2 p1 2 ···
0
1 · · · 0 1 .
pl = . .. , el = l! ..
.
.. ..
..
.. .. .. . .
. . .
le e pl−1 pl−2 pl−3 · · · l − 1
l−1 el−2 · · · e1
l
pl pl−1 pl−2 · · · p1
Proof. 完全対称式のときと同様に帰納法で行えばよい.
1 ∑ tr l
d
1 p2 t2 p3 t3 pd td k
( pr ) = (p1 t + + + ··· + )
l! r=1 r l! 2 3 d
∑ 1
= pi1 pi2 · · · pidd ti1 +2i2 +···+did
i1 i !2i2 i !3i3 · · · i !did 1 2
i +i +···+i =l
i1 !1 2 3 d
1 2 d
となる.よって td の係数は
∑ 1
pi11 pi22 · · · pidd
i1 +i2 +···+id =l, i1 +2i2 +···+did =d
i1 !1i1 i2 !2i2 i3 !3i3 · · · id !did
同様に,基本対称式と冪和対称式の間には次の関係が成立する.
∑d
∑ (−1) k=1 (ik −1)
ed = pi1 pi2 · · · pidd
1 !1 i2 !2 i3 !3 · · · id !d d
i i1 i2 i3 i 1 2
i1 +2i2 +···+did =d
∑∞ xn
補足 5.20. これとは逆に − log(1 − x) = n=1 n を使って pd を {ei }i の多項式と
して,または {hi }i の多項式として表すことができる(演習問題. [2] の page 33).
111
5.2.3 Pieri の公式
次に,Pieri の公式について見ていこう.
命題 5.21 (Pieri の公式). λ を d の分割とする.また Sλ をシューア多項式とす
る.そして S(m) = hm (m ≥ 0)を考える.このとき,
∑
Sλ · S(m) = Sν . (5.6)
ここで和は λ に m 個の箱を各行の後ろにつけたもので,各列には二つ以上
∑
の箱をつけないようなヤング図形の全体で和をとっている.つまり νj =
∑
λj + m = m + d であり,
ν1 ≥ λ1 ≥ ν2 ≥ λ2 ≥ · · · νk ≥ λk ≥ 0
となる ν に対して和をとっている.
以下の図は,どれも駄目な図を描いている.
この命題を証明するために次の補題を使う.
∏
k ∑
|xlji | (1 − xj )−1 = j |
|xm i
j=1
m1 ≥l1
112
となる.練習のため二変数の場合も証明しておこう.余因子展開と一変数の時の
結果を使えば,
xl1 xl1
1
l2 2l2 (1 − x1 )−1 (1 − x2 )−1
x1 x2
= − (xl12 (1 − x1 )−1 )(|xl21 |(1 − x2 )−1 ) + (xl22 (1 − x2 )−1 )(|xl11 |(1 − x1 )−1 )
∑ ∑ ∑ ∑
=− xl12 +k ( |xm
2
1
|) + x l2 +k
2 ( |xm
2 |)
2
k=0 m1 ≥l1 m ≥l m ≥l
2 2 1 1
∑ xm1 xm1 ∑ xm1 xm1
1 1
= m2 2m2 + m2 2m2
x1 x2 x1 x2
m1 ≥l1 >m2 ≥l2 m ≥l ,m1 1 2 ≥l1
となる.第二項は m1 と m2 を入れ替えても同じ値であるが,行列式の性質から.
∑ xm1 xm1 ∑ xm2 xm2 ∑ xm1 xm1
1
m2 2m2 = 1m1 2m1 = − 1m2 2m2
x1 x2 x1 x2 x1 x2
m1 ≥l1 ,m2 ≥l1 m1 ≥l1 ,m2 ≥l1 m1 ≥l1 ,m2 ≥l1
となる.よって第二項は零である.以上で二変数の場合が証明できた.
さて,一般の場合(k 変数の場合)を証明しよう.第 k 行に関する余因子展開を
使って,
xl1 · · · xc l1
· · · l1
x k k
∏ k ∑ 1 j
.. ∏
−1 k+j−1 lk .. .. .. .. −1
|xj | (1 − xj ) =
li
(−1) xj . . . . . (1 − xj )
l [
j=1 j
x k−1 · · · x lk−1
· · · x
lk−1 j=1
1 j
k
xm1 · · · xd m1 m1
· · · xk
1
∑ ∑ . .
j
. .. ..
= (−1) xj (1 − xj )
k+j−1 lk −1 .. .. ..
. .
m1 ≥l1 >···>mk−1 ≥lk−1 mk−1 \ mk−1
j
x1 · · · xj
mk−1
· · · xk
∑ ∑
= |xmj |+
i
|xm
j |
i
さらに第二項は
∑
|xm
j |
i
(m1 ,··· ,mk−1 ) lk−2 >mk ≥lk−1 (m1 ,··· ,mk−1 ), lk−1 >mk ≥lk−2 (m1 ,··· ,mk−1 ), mk ≥l1
113
にして mi と mk を取り替えることから左辺の各項は零となる.以上から
∏
k ∑
|xlji | (1 − xj )−1 = |xm
j |
i
が成立する.また分割 ν に対しても同様である.そして,
ν1 ≥ λ1 ≥ ν2 ≥ λ2 ≥ · · · νk ≥ λk ≥ 0
⇐⇒ ν1 + k − 1 ≥ λ1 + k − 1 > ν2 + k − 2 ≥ λ2 + k − 2 > · · · > νk ≥ λk ≥ 0
となる.よって,補題において li = λi + k − i, mi = νi + k − i とすれば,
∏
k
|xλj i +k−i | ∏
k ∑ |xνj i +k−i | ∑
−1 −1
Sλ (1 − xj ) = (1 − xj ) = = Sν
j=1
∆(x) j=1 ∆(x)
例 5.23. 再び3変数の場合を考える.
(行の数は3以下).このとき
となる.ヤング図形を描いて考えると,次のよう.
114
5.2.4 発展:Littlewood-Richardson rule
Pieri の公式の一般化として,シューア多項式の積を展開した
∑
Sλ Sµ = Nλµν Sν
3. このように数を書いたとき,「狭義」とは,1 行目を「右から左」に,2 行目
を右から左に,これを m 行まで繰り返して, m 個の数の列を得るが,そ
れが格子順序をみたすものである.ここで格子順序とは {i1 , i2 , · · · , im }
を任意のところで切った列 {i1 , · · · , ir } に対して,
#1 ≥ #2 ≥ · · ·
を満たすときをいう.例えば,{1, 2, 3, 1, 1, 2, 4, 3} である.
となる.4 変数以上の場合の上の例に対するヤング図形を描いておけば,
115
1 1 1 1 1 1
2 1 2 1
2 2
1 1
2 1 1
1 1 1 2 1
2 2
5.3 Kostka 数
5.3.1 Kostka 数
Hλ := hλ1 · · · hλk
として定義した.これをシューア多項式によって表してみよう.それには Pieri の
公式を繰り返し使えばよい.つまり
∑
Hλ = S(λ1 ) S(λ2 ) · · · S(λk ) = Kµλ Sµ
λ1 + λ2 + · · · + λi ≤ µ1 + µ2 + · · · + µi
がすべての i に対して成立することである.
116
Proof. 最初の主張 Kλλ = 1 は λ に対して型 λ の半標準盤は 1 行目はすべて 1 で, 2
行目はすべて 2 と埋めていくものしかないからである.また二番目の主張も λ > µ
なら半標準盤はある列で増加とはならないからである.また三番目の主張も条件
をみたさないなら,ある列に対して増加とはならないから.
系 5.28. {Hλ }λ は k 変数 d 次対称式の基底になる.
Proof. 上の補題から ∑
Hλ = Sλ + Kµλ Sµ
µ>λ
としたとき,辞書式で下のほうから順に考えれば,aλ = 0(∀λ)であることがわ
かる.よって {Hλ }λ は基底になる.
5.3.2 コーシーの恒等式
対称式の空間に内積をいれるためコーシーの恒等式を述べよう.
が成立する.
Proof. 各行から第一行を引くと
1 1
··· 1
x2 −x1 y1
1−x1 y1 1−x1 y2
x2 −x1 x2 −x1 yk
1−x1 yk
1−x1 y1 1−x2 y1 y2
···
1−x1 y2 1−x2 y2 1−x1 yk 1−x2 yk
.. .. .. ..
. . . .
xk −x1 xk −x1 xk −x1
y1
1−x1 y1 1−xk y1
y2
1−x1 y2 1−xk y2
··· yk
1−x1 yk 1−xk yk
ここで,
1 1 xi − x1 yj
− =
1 − xi yj 1 − x1 yj 1 − x1 yj 1 − xi yj
117
をつかった.よって,
1 1 ··· 1
y1 yk
(x2 − x1 )(x3 − x1 ) · · · (xk − x1 )
y2
··· 1−x2 yk
1−x.2 y1 1−x2 y2
(1 − x1 y1 )(1 − x1 y2 ) · · · (1 − x1 yk )
..
..
.
..
.
..
.
y1
1−xk y1
y2
1−xk y2
··· yk
1−xk yk
となる.さらに各列から第一列を引けば,
1 0 ··· 0
y1 y2 −y1 yk −y1
(x2 − x1 )(x3 − x1 ) · · · (xk − x1 )
1
··· 1−x2 y1 1−x2 yk
yk
1−x.2 y1 1−x2 y1 1−x2 y2
(1 − x1 y1 )(1 − x1 y2 ) · · · (1 − x1 yk )
..
..
.
..
.
..
.
y2 −y1 yk −y1
y1
1−xk y1
1
1−xk y1 1−xk y2
··· 1
1−xk y1 1−xk yk
ここで
yj y1 yj − y1 1
− =
1 − xi yj 1 − xi y1 1 − xi y1 1 − xi yj
を使った.そこで
1 0 ··· 0
y1 yk
(x2 − x1 )(x3 − x1 ) · · · (xk − x1 ) (y2 − y1 ) · · · (yk − y1 )
1
··· 1−x2 yk
1−x.2 y1 1−x2 y2
(1 − x1 y1 )(1 − x1 y2 ) · · · (1 − x1 yk ) (1 − x2 y1 ) · · · (1 − xk y1 )
..
..
.
..
.
..
.
y1
1−xk y1
1
1−xk y2
··· 1
1−xk yk
この行列の行列式を計算すればよいのであるが,あとは帰納法で証明できる.
命題 5.31 (コーシーの恒等式2).
1 ∑
∏ = Sλ (x)Sλ (y)
i,j (1 − xi yj ) λ
Proof. コーシーの恒等式から,
となる.そこで行列式を展開すればよい.行列の i, j 成分を展開すると
1
= 1 + xi yj + x2i yj2 + x3i yj3 + · · ·
1 − xi yj
118
となる.よって,
∑
sgn(σ)(1 + xσ(1) y1 + x2σ(1) y12 + · · · ) · · · (1 + xσ(k) yk + x2σ(k) yk2 + · · · )
σ∈Sk
∑ ∑
= sgn(σ)y1l1 y2l2 · · · yklk (xσ(1) )l1 (xσ(2) )l2 · · · (xσ(k) )lk
l1 ,l2 ,··· ,lk σ∈Sk
∑
= |xlji |y1l1 y2l2 · · · yklk
l1 ,l2 ,··· ,lk
となることがわかる.よって,
1 ∑
det( )i,j = |xlji ||yjli |
1 − xi yj l 1 >l2 >···>lk
を得る.
さて,
∏ 1 ∏ 1 ∏ 1 ∑ ∑
=( )···( )=( hm y1m ) · · · ( hm ykm )
i,j
1 − x y
i j i
1 − x y
i 1 i
1 − x y
i k m m
∑ ∑
= hi1 hi2 · · · hik y1i1 · · · ykik = Hλ (x)Mλ (y)
i1 ,··· ,ik λ
を得る.これを使って,{Sλ }λ が正規直交基底になることを証明しよう.
119
命題 5.32. 上で定義した双線形形式は内積になり,シューア多項式の全体 {Sλ }λ
は対称式のベクトル空間としての正規直交基底になる.つまり,
⟨Sλ , Sµ ⟩ = δλ,µ
が成立する.
∑ ∑
Proof. {Hλ }λ , {Mλ }λ は基底であるので,Sλ = γ aλγ Hγ = γ bγλ Mλ とする(こ
こで和は d の分割 γ 全体でとっている).双線形形式の定義から,
∑
⟨Sλ , Sµ ⟩ = aλγ bγµ
γ
となる.一方,
∑ ∑ ∑
Sλ (x)Sλ (y) = aλγ Hγ (x)bρλ Mρ (y) = Hγ (x)Mγ (y)
であるので,
X λ = xλ1 1 · · · xλk k
とすれば,
120
系 5.34 (シューア多項式の計算法). シューア多項式 Sλ は次のように表せる.
∑
Sλ = Kλa X a , X a = xa11 · · · xakk
1 2 1 3 1 1 1 1 1 2 2 2
3 2 2 3 2 3
1 3 2 3
3 3
よって,
S(2,1) (x)
=x1 x2 x3 + x1 x2 x3 + x1 x1 x2 + x1 x1 x3 + x1 x2 x2 + x2 x2 x3 + x1 x3 x3 + x2 x3 x3
=2x1 x2 x3 + x21 x2 + x21 x3 + x1 x22 + x22 x3 + x1 x23 + x2 x23
121
例 5.36. シューア関数 Sλ (x) = Sλ (x1 , · · · , xk ) に対して,xi = xi−1 とする.この
とき
∏ xλi +k−i − xλj +k−j
Sλ (1, x, x2 , · · · , xk−1 ) =
i<j
xj−1 − xi−1
となる.さらに,x → 1 とすれば,
∏ λi − λj + j − i
Sλ (1, · · · , 1) =
i<j
j−i
となる.
∏
Proof. まず ∆(1, x, · · · , xk−1 ) = i<j (xi−1 − xj−1 ) である.また
1λ1 +k−1 1 λ2 +k−2
· · · 1 λk
xλ1 +k−1 x λ2 +k−2
··· x λk
Sλ = . . . . /∆
.
. .
. . . .
.
(xk−1 )λ1 +k−1 (xk−1 )λ2 +k−2 · · · (xk−1 )λk
λ1 +k−1 0
(1 ) (1λ2 +k−2 0
) · · · (1λk 0
)
(xλ1 +k−1 )1 (xλ2 +k−2 )1 · · · (xλk )1
= .. .. ... .. /∆
. . .
(xλ1 +k−1 )k−1 (xλ2 +k−2 )k−1 · · · (xλk )k−1
∏ xλi +k−i − xλj +k−j ∏ xλi +k−i − xλj +k−j
k(k−1)/2
=(−1) =
i<j
xi−1 − xj−1 i<j
xj−1 − xi−1
となる.さらに x → 1 としたときにはロピタルの定理を使えば,
∏ λi − λj + j − i 1 ∏
Sλ (1, · · · , 1) = = (λi − λj + j − i)
i<j
j − i 1!2! · · · (k − 1)! i<j
となることもわかる(Sλ は多項式なので微分可能関数である).
122
補足 5.37. シューア多項式は U (k) or GL(k, C) の既約表現の指標に対応する.こ
こで x = (x1 , · · · , xk ) が極大トーラスの座標に対応する.そこで x → (1, · · · , 1) に
することは,表現空間の次元を与える Weyl の次元公式である.
ψλ (P ) = [P ]λ = X λ の係数
とする.また
ωλ (P ) = [∆ · P ]l , l = (λ1 + k − 1, λ2 + k − 2, · · · , λk )
とする.
上のように定義したとき,
∑ ∑
P = ψλ (P )Mλ , P = ωλ (P )Sλ
λ
となる.よって,
⟨P, Hλ ⟩ = ψλ (P ), ⟨P, Sλ ⟩ = ωλ (P )
となる.
となる.
123
例 5.38. Kλ(1,··· ,1) はヤング図形 λ に対する標準盤の数である.そこで,
Proof. ∑ ∑ ∑
ψλ (P )Mλ = P = ωµ (P )Sµ = ωµ (P )Kµλ Mλ
λ
∑
であり {Mλ }λ は基底なので ψλ (P ) = µ Kµλ ωµ (P ) となる.
∑
さて,冪和対称式 pj = xj1 + · · · + xjk として,i = (i1 , · · · , id ) で αiα = d とな
るものに対して,
P i = pi11 pi22 · · · pidd
とする.さらに,
ωλ (i) := ωλ (P i )
とする.つまり ωλ (i) を
∑
Pi = ωλ (i)Sλ or ωλ (i) = ⟨Sλ , P i ⟩
となる.ここで
z(i) = 1i1 i1 ! · · · did id !.
124
∑
Proof. 以前見たように, dtd log H(t) = P (t) = pj tj−1 であるので,
∏ 1 ∑ pj
log = tj
1 − xi t j
であるので,
∏ ∑
∞
1
log( (1 − xi yj )−1 ) = pj (x)pj (y)
i,j j=1
j
となる.よって.
∑ 1
Sλ = ωλ (i)P i .
z(i)
この式は k < d に対しても成立する.実際,d 変数のときにこの式が成立するの
で,xk+1 = · · · = xd = 0 とすればよい(λ の長さ l(λ) は k 以下として).
λ1 = i1 + · · · + id , λ2 = i2 + · · · + id , · · · , λd = id , λd+1 = 0, · · · , λk = 0.
125
となる.一方,
∑ ∑ ∑ 1 ∑ 1
Hλ (x)Mλ (y) = Sλ (x)Sλ (y) = P i (x)P i (y) = aiλ biµ Hλ (x)Mµ (y)
λ λ i
z(i) i,λ,µ
z(i)
となる.よって,
∑ 1
aiλ biµ = δλµ
i
z(i)
となる.行列 (aiλ ) は逆行列をもつことになり,
⟨P i , P j ⟩ = δij z(i)
となる.また,これより {P i }i が直交基底になることもわかる.
∑
次に,Sλ = ai P i とすれば,
となるので,
∑ ωλ (i)
Sλ = Pi
i
z(i)
を得る.この表示は d 変数 d 次対称式に対して成立するが,この表示において
xk+1 = · · · = xd = 0 とすれば,
も含んでいることになる.
変数を x1 , · · · , xk として,λ を l(λ) ≤ k の d の分割とする.このとき
Pλ := pλ1 · · · pλk
とする.これは k 変数 d 次対称式である.ちゃんと書くと,
∑
Pλ = (xλ1 1 + · · · + xλk 1 ) · · · (xλ1 k + · · · + xλk k ) = xλi11 · · · xλikk
i1 ,··· ,ik
となる.これを軌道和対称式によって表示する.つまり
∑
Pλ = Lλµ Mµ
126
とする.たとえば,Pλ は xd1 という項を含み対称式であるので,M(d,0,··· ,0) を含む
ことになる.また Mλ という項も含むことがわかる.同様に,d の分割 µ で各成
分 µi が {λj } の部分和,各部分和が同じ λj を含まないようなものとすれば,Pλ は
Mµ という項を含む.つまり,µ に対して,各成分 µi の分割を λ(i) とすれば,λ は
∪i λ(i) の形をしている.一方,λ > µ となる場合を考えると,µ の各成分を λj の部
分和として書くことができないことがわかる(ちょっと考えるとすぐにわかる).
つまり Lλµ は三角行列であり,対角成分はゼロでない.よって,Lλµ は逆行列をも
つので,Mµ は Pλ の線形和で書くことができる.以上から
5.4 変数を増やす
これまで k 変数 d 次対称式について扱ってきた.変数を増やして議論してみよ
う.つまり変数の数が十分大きいとする.まず m ≥ n に対して,
という写像は準同形である.また
{
Mλ (x1 , · · · , xn ) l(λ) ≤ n
ρm,n (Mλ (x1 , · · · , xm )) =
0 l(λ) > n
Λd := lim Λdn
←
127
は n ≥ d なら同型写像となる.特に Λd の基底として,
ρn = ⊕ρdn : Λ → Λn
となることがわかる.
補足 5.45. 実は Z 係数の対称式 ΛZ でも
ΛZ = Z[e1 , e2 , · · · ] = Z[h1 , h2 , · · · ]
5.4.1 involution ω
さて,対合 or involution
ω:Λ→Λ
128
を
ω(er ) = hr
を環準同形として拡張したものとして定義する.このとき
命題 5.46. ω は ω 2 = id をみたす.また ω(pd ) = (−1)d−1 pd (d ≥ 1)であり,
∑d
ω(Pλ ) = (−1)d−k Pλ , (ω(P i ) = (−1)d− q=1 iq P i)
∑
l−1 ∑
l
l r
(−1) (−l)el = (−1) er pl−r , lhl = ps hl−s
r=0 s=1
を用いればよい.
となる.
となる.
∑
例 5.48. Hλ = Kλµ Sµ に対して ω を作用させると,
∑
Eλ = Kµλ Sµ′
を得る.
129
例 5.49. 次は Pieri の公式の双対版である.
系 5.50 (Pieri の公式の双対版).
∑
Sλ S(1, · · · , 1) = Sλ em = Sµ
| {z }
m
ここで左辺は,λ に m 個の箱をつけるが,同じ行には二つ以上の箱をつけない
ようなヤング図形で和をとっている.
となる.ここで箱の形が共役になるので和は,λ′ に m 個の箱をつけるが,同じ行
に二つ以上の箱をつけないようなヤング図形で和をとっていることになる.
であることから,
∏ ∑1 ∑ ∑
(1 + xi yj ) = ω(P i (x))P i (y) = ω(Hλ (x))Mλ (y) = ω(Sλ (x))Sλ (y)
i,j i
zi
となる.よって,次の恒等式が成立する.
∑
∏ ∑ (−1)d− iq ∑
(1 + xi yj ) = P i (x)P i (y) = Eλ (x)Mλ (y)
i,j i
z(i)
∑ ∑
= Mλ (x)Eλ (y) = Sλ (x)Sλ′ (y)
130
5.5 Skew シューア多項式
シューア多項式の一般化である Skew シューア多項式について学ぶ.
また Sλ/0 = Sλ である.
Proof. まず 4 と 5 の定義が同値であることを確かめよう.Littelwood-Ricardson
rule により, ∑
Sµ Sν = Nµνλ Sλ
λ
∑
が成立していた(d + m = µi + νi に対する分割で l(λ) ≤ k となるものすべてに
対して和をとっている).そこで,5 が成立するとすれば,
⟨Sλ/µ , Sν ⟩ = Nµνλ
131
となる.また {Sν }ν が k 変数 d 次対称式の正規直交基底であることから,
∑
Sλ/µ = Nµνλ Sν
となるので,
∑
Sλ/µ (x) = sgn(σ)hλ1 −µσ(1) −1+σ(1) · · · hλk −µσ(k) −k+σ(k) = |hλi −µj −i+j |
σ∈Sk
となるので,
ω(Sλ/µ ) = Sλ′ /µ′ = |hλ′i −µ′j −i+j | = ω(|eλ′i −µ′j −i+j |)
となる.よって,2 が成立する.
定義 3 が同値であることを証明するにはもう少し準備が必要なので,後で証明
する.
132
上の証明において,次のことがわかる(直接,証明することも可能 [2]).
系 5.53. 完全対称式と基本対称式の間に次の関係が成立する.
|hλi −µj −i+j | = |eλ′i −µ′j −i+j |.
特に µ = 0 とした場合には,以前証明した (5.5) である.
定義 1 について,もう少し考察してみよう.
h · · · hλ1 −µk +k−1
λ1 −µ1 hλ1 −µ2 +1 hλ1 −µ3 +2
hλ2 −µ1 −1 hλ2 −µ2 hλ2 −µ3 +1 · · · hλ2 −µk +k−2
Sλ/µ = hλ3 −µ1 −2 hλ3 −µ2 −1 hλ3 −µ3 · · · hλ3 −µk +k−3
.. .. .. .. ..
. . . . .
hλk −µ1 −k+1 hλk −µ2 −k+2 ··· ··· hλk −µk
となる.そこで,すべての i に対して µi ≤ λi でない場合には,Sλ/µ = 0 となる.
これは µ ⊂ λ とならない場合に相当する.たとえば,µ2 > λ2 とすれば,
h
λ1 −µ1 hλ1 −µ2 +1 hλ1 −µ3 +2 · · · hλ1 −µk +k−1
0 0 hλ2 −µ3 +1 · · · hλ2 −µk +k−2
Sλ/µ = 0 0 hλ3 −µ3 · · · hλ3 −µk +k−3 = 0
.. .. .. .. ..
. . . . .
0 0 hλk −µ3 −k+3 · · · hλk −µk
となる.
次に,µ ⊂ λ となるが,µr ≥ λr+1 となる r が存在するとする.このとき,µr−1 ≥
µr ≥ λr+1 ≥ λr+2 ≥ · · · ≥ λk となるので r + 1 ≤ s ≤ k, 1 ≤ t ≤ r に対して,
hλs −µt −s+t = h−(µr −λs )−(s−t) = 0
となるので,
hλ1 −µ1 ··· hλ1 −µr −1+r hλ1 −µr+1 +r ··· hλ1 −µk +k−1
.. .. .. .. .. ..
. . . . . .
h ··· ··· hλr −µk −r+k
λ −µ −r+1 hλr −µr hλr −µr+1 +1
(hλi −µj −i+j ) = r 1
hλr+1 −µ1 −r ··· hλr+1 −µr −1 hλr+1 −µr+1 ··· hλr+1 −µk −(r+1)+k
.. .. .. .. .. ..
. . . . . .
hλk −µ1 −k+1 ··· hλk −µr −k+r hλk −µr+1 −k+r+1 · · · hλk −µk
hλ1 −µ1 ··· hλ1 −µr −1+r hλ1 −µr+1 +r ··· hλ1 −µk +k−1
.. .. .. .. .. ..
. . . . . .
h ··· ··· hλr −µk −r+k
λ −µ −r+1 hλr −µr hλr −µr+1 +1
= r 1
0 ··· 0 hλr+1 −µr+1 ··· hλr+1 −µk −(r+1)+k
.. .. .. .. .. ..
. . . . . .
0 ··· 0 hλk −µr+1 −k+r+1 · · · hλk −µk
133
となる.よって,この場合には,Sλ/µ は split する.これをヤング図形で考えてみ
れば,µr ≥ λr+1 は次のように Skew ヤング図形が二つの連結成分に分解すること
を意味する.
λ = (5, 4, 4, 2, 1) λ = (5, 4, 4, 2, 1)
µ = (4, 3, 1) µ = (4, 4, 1, 1)
連結成分は二つ 連結成分は三つ
上で述べたことを解釈すれば次のようになる.
134
h5−4 h5−2+1 h5−1+2 h5−1+3 h5−0+4 h1 h4 h6 h7 h9
h h5−0+3 h0 h3 h8
5−4−1 h5−2 h5−1+1 h5−1+2 h5 h6
Sλ̃/µ̃ = h3−4−2 h3−2−1 h3−1 h3−1+1 h3−0+2 = 0 h0 h2 h3 h5
h2−4−3 h2−2−2 h2−1−1 h2−1 h2−0+1 0 0 h0 h1 h2
h1−4−4 h1−2−3 h1−1−2 h1−1−1 h1−0 0 0 0 0 h1
h1 h4 h6 h7
h h h h
0 3 5 6
=h1
0 h0 h2 h3
0 0 h0 h1
= h1 h0 (h3 h1 − h4 h0 )h1
同様にして,次もいえる.
補題 5.56. ある i に対して,λ′i − µ′i > k となるなら Sλ/µ (x1 , · · · , xk ) = 0 である.
Proof. λ′i − µ′i > k と仮定する.このとき ek+1 = ek+2 = · · · = 0 である.よって,
e ′ ′ ··· eλ′1 −µ′i +2 = 0 · · ·
λ1 −µ1 eλ′1 −µ′2 +1 0
eλ′2 −µ′1 −1 eλ′2 −µ′2 ··· eλ′2 −µ′i +1 = 0 · · · 0
.
.. .. .. .. .. ..
. . . . .
Sλ/µ = =0
eλ′i −µ′1 −2 eλ′i −µ′2 −1 ··· eλ′i −µ′i = 0 · · · 0
..
.
.. .. .. .. ..
. . . . .
eλ′ −µ′1 −k+1 eλ′ −µ′2 −k+2 ··· ··· ··· eλ′k −µ′k
k k
となる.
さて,
∑ ∑ ∑
Sλ/µ (x)Sλ (z)Sµ (y) = Nµνλ Sν (x)Sλ (z)Sµ (y) = Sν (x)Sµ (z)Sν (z)Sµ (y)
λ,µ λ,µ µ
∑ ∏ 1 ∏ 1 ∏ 1
= Sµ (y)Sµ (z) =
µ i,l
1 − x i zl i,l
1 − xi zl j,l 1 − yj zl
135
となる.そこで Sλ (x, y) := Sλ (x1 , x2 , · · · , y1 , y2 , · · · ) とすれば,
∑ ∑
Sλ/µ (x)Sλ (z)Sµ (y) = Sλ (x, y)Sλ (z)
λ,µ λ
となるので,
∑ ∑
Sλ (x, y) = Sλ/µ (x)Sµ (y) = Nµνλ Sµ (y)Sµ (x)
µ µ,ν
を得る.一般に次が成立する
補題 5.57. ∑
Sλ/µ (x, y) = Sλ/ν (x)Sν/µ (y) (5.9)
ν
が成立する.ここで ν は µ ⊂ ν ⊂ λ となるものについて和をとっている.特に
µ = 0 とすれば, ∑
Sλ (x, y) = Sλ/µ (x)Sµ (y)
µ
が成立する.
Proof. 上で証明したことを使えば,
∑ ∑ ∑
Sλ/µ (x, y)Sµ (z) = Sλ (x, y, z) = Sλ/ν (x)Sν (y, z) = Sλ/ν (x)Sν/µ (y)Sµ (z)
µ ν µ,ν
∑
となる.よって,Sλ/µ (x, y) = ν Sλ/ν (x)Sν/µ (y) となる.
136
なら,Sλ/µ = x1 x1 x2 x1 = x5 となる.そこで,
∑∏
k
Sλ/µ (x1 , · · · , xk ) = Sν (i) /ν (i−1) (xi )
(ν) i=1
∏k
において i=1 Sν (i) /ν (i−1) (xi ) = xα1 1 · · · xαk k となる.ここで αi = |ν (i) /ν (i+1) |.そ
こで, ∑
Sλ/µ (x1 , · · · , xk ) = xα1 1 · · · xαk k
(ν)
1 2 1 1 1 1 1 3 2 3 2 2
2 2 3 3 3 3
1 2 1 3
3 2
となるので,
Sλ/µ = (x1 x22 + x21 x2 + x21 x3 + x1 x23 + x2 x23 + x22 x3 + 2x1 x2 x3 )(x1 + x2 + x3 ).
1 2 1 1 1 1 1 3 2 3 2 2
1 2 1 2 1 3 1 3 1 3 1 3
2 2 2 2 2 2
1 2 1 3
1 3 1 2
2 2
Sλ/µ = (x1 x22 + x21 x2 + x21 x3 + x1 x23 + x2 x23 + x22 x3 + 2x1 x2 x3 )(x1 x2 + x2 x3 + x1 x3 )
となる.
137
6 Frobenius 公式の証明と応用
Frobenius の公式とは次である.
d の分割 λ に対する Sd の既約表現 Vλ の指標 χλ を考える.この共役類 Ci 上で
の値は, [ ]
∏
χλ (Ci ) = ∆(x) pj (x)ij .
1≤j≤d (l1 ,··· ,lk )
で与えられる.
以下で Frobenius の公式を証明する.
となる.
138
となる.
別証明:命題 4.14 のようにして,Uλ = CSd aλ が Sd の Cd への表現と同値であ
ることがわかるので,U(d−1,1) = V(d−1,1) ⊕ V(d) を得る.
上の例では,Uλ が Vλ を重複度1で含んでいる.また,辞書式順序に関して,
µ > λ となる Vµ という既約表現を含んでいることがわかる.実は,この事実は一
般にも成立する.以下で,それを見ていこう.
∑
i = (i1 , · · · , id ) を αiα = d となる非負整数の組として,対応する共役類を Ci
と書く.つまり,i1 個の 1-cycle, i2 個の 2-cycle,・ ・・となるものである.subsection
1.4 で見たように,
d!
|Ci | = i1
1 i1 !2 i2 ! · · · did id !
i 2
|Sd | |Ci ∩ Sλ |
ψλ (Ci ) =
|Sλ | |Ci |
1i1 i1 !2i2 i2 ! · · · did id ! ∑ ∏
k
d! λp !
=
λ1 ! · · · λk ! d! p=1
1 rp1 ! · · · drpd rpd !
rp1
を満たすものでとっている.
Proof. Sλ ⊂ Sd は
Sλ = Sλ1 × · · · × Sλk
となる.g ∈ Sλ を
g = g1 · · · gk ∈ Sλ1 × · · · × Sλk
とする.この各 gp ∈ Sλp をサイクル表示して,サイクルタイプが
∑
(rp1 , · · · , rpd ), λp = αrpα
とする.そこで g のサイクルタイプは
∑k ∑
k ∑
k
( rp1 , rp2 , · · · , rpd )
p=1 p=1 p=1
となる.そして,このサイクルタイプをもつ元の個数は
∏
k
λp !
p1 ! · · · d
1rp1 r rpd r !
p=1 pd
139
となる.
よって |Ci ∩ Sλ | の個数は
∑∏
k
λp !
p1 ! · · · d
1rp1 r rpd r !
p=1 pd
となる.和は上で述べたものである.
そこで
∑∏
d
iq !
=
r !r ! · · · rkq !
q=1 1q 2q
となる(和のとり方は上で述べたもの).これは,対称式
ψλ (Ci ) = [P i ]λ = P i の X λ における係数
となる.
Proof.
r +···+r =i
r11 ! · · · r k1 ! r +···+r =i
r1d ! · · · r kd ! 1 k
11 k1 1 1d kd d
∑ ∑ ∏
d
i1 !
= ··· x11r11 +2r12 +···dr1d xr221 +2r22 +···dr2d · · · xkrk1 +2rk2 +···drkd
r11 +···+rk1 =i1 r1d +···+rkd =id
r
q=1 1q
! · · · r kq !
と一致することをみることである.
140
補題 5.39 から ∑
ψλ (Ci ) = ωλ (i) + Kµλ ωµ (i) (6.1)
µ>λ
となる.ここで li = λi + k − i である.
141
系 6.3. 表現 Uλ = CSd aλ を考えると,次が成立する.
⊕ ∑
Uλ ∼
= Vλ ⊕ Kµλ Vµ , ψλ = χλ + Kµλ χµ
µ>λ µ>λ
142
6.2 応用
6.2.1 応用1:Littelwood-Richardson rule と誘導表現
とする.以前みたように,この ψa は,
Sa1 × · · · × Sak ⊂ Sd
が成立した.一方,対称式の間の関係式として,
∑
Hλ = Sλ + Kµλ Sµ , Sλ = |hλi +j−1 |
µ>λ
が成立した.この式と先ほどの式は
∑
ψλ (Ci ) = [P i ]λ = ⟨Hλ , P i ⟩ = ⟨Sλ , P i ⟩ + Kµλ ⟨Sµ , P i ⟩
µ>λ
となる.以上から
143
命題 6.8. 対称群 Sd の既約表現 Vλ の指標を χλ ,表現 Uµ の指標を ψµ とする.こ
のとき,
∑
χλ = |ψλi +j−1 | = sgn(τ )ψ(λ1 +τ (1)−1,λ2 +τ (2)−2,··· ,λk +τ (k)−k)
τ ∈Sk
144
となる.このように χλ を ψµ の線形結合としてかけるのである.さらに表現環
R(S4 ) を考えれば,これは類関数の空間と同一視できた.つまり,上の式は,例
えば,
V(2,1,1) = U(2,1,1) + U(4) − U(3,1) − U(2,2)
となることを述べている.実際,先ほど計算した式を代入すれば
となることがわかる.
∑
上では,Sa1 × · · · × Sak ( ak = d)の自明表現からの誘導表現を考えた.よ
り一般に Sa1 × · · · × Sak の表現 V1 ⊠ · · · ⊠ Vk からの誘導表現を考えよう.その誘
導表現を V1 ◦ · · · ◦ Vk と書くことにする.この積「◦」は結合律をみたす.つまり
各 Vi を既約分解して Vi = ⊕Wis としたときに結合律をみたす.そこで Vi は既約と
してよい.また Sd × Sm ⊂ Sd+m の場合について考えれば十分である.そこで,
次のような問題を考える.
λ を d の分割として Sd の既約表現 Vλ を考える.また µ を m の分割として Sm の既
約表現 Vµ を考える.このとき Vλ ⊠Vµ から導かれる Sd+m の誘導表現 Vλ ◦Vµ ∼ = Vµ ◦Vλ
を考える.これは,先ほどと異なり既約とは限らない.そこで,この既約分解や
指標はどうなるのであろうか?
この問題に対する解答が次の命題である.
命題 6.10. Littlewood-Richardson rule (定理 5.24)における,Sλ Sµ =
∑
Nλµν Sν の係数 Nλµν 使えば,
S
∑
Vλ ◦ Vµ = IndSd+m
d ×Sm
V λ ⊠ Vµ = Nλµν Vν
となる.
145
を代表元とする三つの成分に分かれる.そこで Sd の共役類を Dα と書き,Sm の
共役類を Eβ と書くことにする.αd+1 = · · · = αd+m = 0, βm+1 = · · · = βm+d = 0
∑d+m ∑d+m
とすれば, k=0 kαk = d, k=0 kβk = m である.そして,
∑
Ci ∩ (Sd × Sm ) = Dα × E β
∑ ∑
α+β=i such that kαk =d, kβk =m
となる.これを誘導表現の指標の公式へ代入すれば,
(d + m)! ∑ d! m! z(i)
χVλ ◦Vµ (Ci ) = χλ (Dα )χµ (Eβ )
d!m! ∑ ∑ z(α) z(β) (d + m)!
α+β=i such that kαk =d, kβk =m
∑ z(i)
= χλ (Dα )χµ (Eβ )
∑ ∑ z(α)z(β)
α+β=i such that kαk =d, kβk =m
となる.
さて,Frobenius 公式において,考えている多項式の変数の数を増やしてもよい
ので,多項式の変数は x1 , · · · , xd+m としておく.Littlewood-Richardson rule から,
∑ ∑
⟨Sλ Sµ , P i ⟩ = Nλµν ⟨Sν , P i ⟩ = Nλµν χν (Ci )
となる.また,
∑ ωλ (α) α ∑ ωλ (α) α
Sλ = P = P ,
α1 +···+dαd =d
z(α) z(α)
α1 +···+(d+m)αd+m =d
∑ ωλ (β) β ∑ ωλ (β) β
Sµ = P = P
β1 +···+mβm =m
z(β) z(β)
β1 +···+(d+m)βd+m =m
以上をあわせれば,
∑
χVλ ◦Vµ (Ci ) = χIndVλ ⊠Vµ (Ci ) = Nλµν χν (Ci )
ν
となり, ∑
Vλ ◦ Vµ = Nλµν Vν
ν
を得る.
146
例 6.11. Sd の既約表現 Vλ と Sm の交代表現 U ′ = V(1,··· ,1) を考える.このとき,
ここで左辺において,λ に m 個の箱を付け加え,同じ行には箱が二個以上こない
ようなヤング図形で和をとっている. (証明は 系 5.50 を使えばよい)
上の命題で m = 1 で µ = (1)(自明表現)の場合を考えると,次を得る.
となる.ここで左辺の和は λ に対するヤング図形に箱を一個くっつけたヤング図
形全体である.
となる.ここで和は ν に対するヤング図形から箱を一個抜いたヤング図形で
とっている.特に,各 Vλ の重複度は 1 である(multiplicity free という).
Proof. 上の命題の証明において,
∑
χVλ ◦Vµ (Ci ) = χIndVλ ⊠Vµ (Ci ) = Nλµν χν (Ci )
ν
147
となる.
さらに m = 1, µ = (1) の場合には,Sd+1 の表現 Vν を Sd へ制限した ResVν に
おける Vλ の重複度は
{
∑ 1 κ=ν
(χλ , χResVν )Sd = (χIndVλ , χν )Sd+1 = (χκ , χν )Sd+1 =
κ 0 κ ̸= ν
Λs V ′ ∼
= V(d+1−s,1,··· ,1)
でなくてはならない.
1. ヤング図形 ν 内に λ が入らない場合は零.
148
S
となる(Section 3.12 を参照).よって,IndSd+m
d
Vλ は λ に対するヤング図形に箱
を一つづつ加えていったものすべてをかんがえればよい.m 個の箱を加えてでき
たヤング図形が同じ形でも,箱を加えていく方法がことなれば,その数だけ重複
度が存在する.以上のことから命題は容易に証明できる.
このとき ∑
χλ (g) = (−1)r(µ) χµ (h)
となる.ここで和は λ から長さが m の(境界上の)skew hook を取り去って得ら
れる d − m の分割 µ のすべてに対して和をとっている.また r(µ) は skew hook の
垂直な段の数であり,step とよぶ.
149
例 6.20. g = (1, · · · , d) ∈ Sd としたとき,長さ d の skew hook を持つのは,λ =
(d − s, 1, · · · , 1) のときのみである.そして長さ d の hook はヤング図形そのものに
対応する. {
(−1)s λ = (d − s, 1, · · · , 1)
χλ (g) =
0 otherwise
となる.
(これはすでに Section 4.3.5 において証明した).
さらに,上の命題を帰納的に使えば,次が成立する.
定理 6.21 (指標の計算方法). g ∈ Sd が m1 , m2 , · · · , mp という長さのサイクル
の積で書けたとする(もちろん異なるサイクルに共通部分はない).このとき
∑
χλ (g) = (−1)r(s)
s
上の図のように,左のような取り除き方は i2 通りであり,左のような取り除き方
は 1 通りである.さらに左図の場合には setp が 1 であり,ここから長さ 1 の skew
hook を除く方法は 1 通りしかない.また右図の場合は setp 0 であり,ここから長
( )
さ 1 の skew hook を取り除く方法は i12−1 である.よって,
( )
i1 − 1
χΛ2 V (g) = − i2
2
150
となる.同様にして,
( )
i1 − 1
χΛ3 V (g) = − (i1 − 1)i2 + i3 ,
3
a a a a b a a b 1
c
a a a a c 1
b b
a a b a b c -1
a a a
χ(g) = 1
上の図の一番下の図は step の長さが 1 なので (−1) = −1 となっている.よって, 1
b b a a b a a 1
c
b a
a
151
a a a a a
どちらの場合も b を skew hook で入れられない.
よって,χ(g) = 0
a a a a
a
a b b b b c c c c
b b
b 上の一通りしかない.χ(g) = (−1)2 = 1
Proof. まず,3変数の場合に考えると,
xµ1 +2 xµ2 +1 xµ3
1 1 1
µ1 +2 µ2 +1 µ3 m
x2 x2 x2 (x1 + xm m
2 + x3 )
µ1 +2 µ2 +1 µ3
x3 x3 x3
=(x1µ1 +2 xµ2 2 +1 xµ3 3 + xµ1 3 xµ2 1 +2 xµ3 2 +1 + xµ1 2 +1 xµ2 3 xµ3 1 +2
− xµ1 3 xµ2 2 +1 xµ3 1 +2 − xµ1 2 +1 xµ2 1 +2 xµ3 3 − xµ1 1 +2 xµ2 3 xµ3 2 +1 )(xm m m
1 + x2 + x3 )
=(x1µ1 +2+m xµ2 2 +1 xµ3 3 + xµ1 3 +m xµ2 1 +2 xµ3 2 +1 + xµ1 2 +1+m xµ2 3 xµ3 1 +2
− xµ1 3 +m xµ2 2 +1 xµ3 1 +2 − xµ1 2 +1+m xµ2 1 +2 xµ3 3 − xµ1 1 +2+m xµ2 3 xµ3 2 +1 ) + (x1 ↔ x2 ) + (x1 ↔ x3 )
=(x1µ1 +2+m xµ2 2 +1 xµ3 3 + xµ1 3 xµ2 1 +2+m xµ3 2 +1 + xµ1 2 +1 xµ2 3 xµ3 1 +2+m
− xµ1 3 xµ2 2 +1 xµ3 1 +2+m − xµ1 2 +1 xµ2 1 +2+m xµ3 3 − x1µ1 +2 xµ2 3 xµ3 2 +1+m ) + · · ·
xµ1 +2+m xµ2 +1 xµ3 xµ1 +2 xµ2 +1+m xµ3 xµ1 +2 xµ2 +1 xµ3 +m
1 1 1 1 1 1 1 1 1
= x2µ1 +2+m xµ2 2 +1 xµ2 3 + xµ2 1 +2 xµ2 2 +1+m xµ2 3 + x2µ1 +2 x2µ2 +1 x2µ3 +m
µ1 +2+m µ2 +1 µ3 µ1 +2 µ2 +1+m µ3 µ1 +2 µ2 +1 µ3 +m
x3 x3 x3 x3 x3 x3 x3 x3 x3
となる.この式が一般に成立することを証明する.µ = µ1 + · · · + µk を d の分割
152
とする.このとき
∑
k
µ +k−i+mδqj
= |xj i |
q=1
∑
k ∑
µ +k−σ(1)+mδq1 µ +k−σ(p)+mδqp µ +k−σ(k)+mδqk
= sgn(σ)x1 σ(1) · · · xp σ(p) · · · xk σ(k)
q=1 σ∈Sd
∑∑
k
µ1 +k−1+mδqσ(1) µp +k−p+mδqσ(p) µ +k−k+mδqσ(k)
= sgn(σ)xσ(1) · · · xσ(p) · · · xσ(k)
k
σ∈Sd q=1
∑∑
k
µ1 +k−1+mδσ−1 (q)1 µp +k−p+mδσ−1 (q)p µk +k−k+mδσ−1 (q)k
= sgn(σ)xσ(1) · · · xσ(p) · · · xσ(k)
σ∈Sd q=1
∑∑
k
µp +k−p+mδsp
∑
k
= sgn(σ)xµσ(1)
1 +k−1+mδs1
· · · xσ(p) · · · xσ(k)
µk +k−k+mδsk
= |xµj i +k−i+mδsi |
σ∈Sd s=1 s=1
となる.
µ +k−i+mδqi
さて,|xj i | において,列が一致するとする.つまり,ある p が存在し
µ +k−i+mδqi
て µp + k − p = µq + k − q + m となる場合を考えると |xj i | はゼロになる.
そこで,p ≤ q に対して
µp−1 +k−p+1 > µq +k−q+m > µp +k−p ( ⇐⇒ µp−1 +1 > µq −(q−p)+m > µp )
となる場合のみ考えればよい.このとき列を取り替えて,
µ +k−i+mδqi
|xj i | = (−1)q−p |xλj i +k−i |
となる.ここで,
である.これがどのようなヤング図形に対応しているかを見てみる.上の λ の第 p
成分から q 成分目までが µ と異なっている.第 s 成分(p + 1 ≤ s ≤ q )が µs−1 + 1
になっている.これは µ において,s − 1 行目の箱を下の行へ移して,箱を一つ足
すことになっている.そこで,ヤング図形 µ に対して,下の図のような操作を行
えば λ になる.ただし.加える箱の数はあわせて m 個である.
153
case 1
行をひとつ落として,箱を一個たす.
case 2
行をひとつ落として,箱を一個たす.
第 p 成分.
p−1 第 p 成分のところは左図.
p
6.2.4 応用4
であり,Q は λ に対するヤング盤の各列を保存する部分群である.そこで λ と共
役な分割 λ′ を考えて,この λ′ に対するヤング部分群
154
とすれば,Q = Sλ′ である.さらに,bλ の定義からこの Sλ′ は bλ に交代表現とし
て作用する.よって,
となる.
z(i) ∑ ∏ λ′p !
l
d! ∑l ∑d
ψλ′ (Ci ) = ′ (−1) p=1 q=1 (q−1)rpq
λ1 ! · · · λ′l ! d! p=1
1rp1 rp1 ! · · · drpd rpd !
∑ ∑∏
d
iq !
d− dq=1 iq
=(−1)
r ! · · · rlq !
q=1 1q
となるので,
∑ ∑ ∑
[Ω(P i )]λ′ = ωλ (i) + Kµλ′ ωµ′ (i) = Kµ′ λ′ χµ (Ci ) = Kµ′ λ′ χµ (Ci )
µ>λ′ µ′ ≥λ′ µ
∑
を得る.よって,Uλ′ = µ Kµ′ λ′ Vµ となる.
155
さて,上で証明したことを用いれば,既約表現 Vλ は Uλ = CSd aλ および Uλ′ =
CSd bλ の両方に現れる唯一の表現であり,重複度1で現れる.
∑ ∑
Proof. Uλ = Kµλ Vµ 及び Uλ′ = µ Kµ′ λ′ Vµ を使えば,Vλ が Uλ , Uλ′ の両方に重
複度1で現れることは明らかである.そこで Uλ , Uλ′ の両方に現れる既約表現は Vλ
のみであることを証明しよう.補題 5.27 から,Kµλ > 0 となるための必要十分条
件は
λ1 + λ2 + · · · + λi ≤ µ1 + µ2 + · · · + µi
がすべの i に対して成立することである.そこで Uλ , Uλ′ の両方に現れるためには
µ が Kµλ > 0, Kµ′ λ′ > 0 をみたす必要がある.ちょっと考えれば,上の条件を使え
ば,そのようなものは µ = λ しかないことがわかる.
6.2.5 テンソル積の既約分解
Cλµν = (χλ χµ , χν )
となる.この値を計算すればよい.
∑
共役類 Ci 上で 1 で他で零となる関数を ξi と書けば,χλ = i ωλ (i)ξi とかける.
∑ ∑
χλ χµ = ωλ (i)ωµ (j)ξi ξj = ωλ (i)ωµ (i)ξi
i,j i
となる.そこで,類関数上の内積の定義に従えば,
1 ∑ d!
(χλ χµ , χν ) = ωλ (i)ωµ (i)ων (i)
d! i z(i)
となる.以上から,
156
∑
命題 6.26. テンソル積表現の既約分解 Vλ ⊗ Vν = Cλµν Vν における,Vν の
重複度 Cλµν は
∑ 1
Cλµν = ωλ (i)ωµ (i)ων (i)
i
z(i)
∑
で与えられる.ここで和は αiα = d をみたすすべての i = (i1 , · · · , id ) でとっ
ている.また z(i) = 1i1 i1 !2i2 i2 ! · · · did d! であり,ωλ (i) = χλ (Ci ) である.
特に,上の係数 Cλµν は λ, µ, ν の順番によらない.つまり
となる.
2. Vλ ⊗ Vµ の中に交代表現が含まれるのは λ′ = µ のときのみである.また,こ
のときは重複度1である.つまり
{
1 if λ′ = µ
Cλµ(1,··· ,1) =
0 otherwise
157
6.3 対称群の表現環と対称式の関係
対称群 Sd の表現環を Rd = R(Sd ) と書く.さらに R = ⊕∞
d=0 Rd とする.この表
現環 R にホップ代数の構造を入れたい.
6.3.1 Hopf 代数
m : A ⊗ A → A, u:C→A
が次をの可換図式をみたすとき,(A, m, u) を代数とよぶ.
m⊗id
A ⊗ A ⊗ A −−−→ A ⊗ A
id⊗my
m
y
m
A⊗A −−−→ A
u⊗id id⊗u
C ⊗ A⊗ −−−→ A ⊗ A ←−−− A ⊗ C
m ∼
=y
∼ y y=
∼
= ∼
=
A −−−→ A ←−−− A
上の図式が可換であることをわかりやすく書けば,m(a ⊗ b) = ab, u(1) = 1A ∈ A
として,
(ab)c = a(bc), 1A · a = a = a · 1A
となる.
余積とは上の積をすべて逆向きにしたものである.
∆ : C → C ⊗ C, ϵ:C→C
158
∑ ′
これをわかりやすくかけば,c ∈ C に対して ∆(c) = ci ⊗ c′′i とすれば,
∑ ∑ ∑ ∑
∆(c′i ) ⊗ c′′i = c′i ⊗ ∆(c′′i ), ϵ(c′i )c′′i = c = c′i ϵ(c′′i )
i
となる.さらに,opposite な余積 ∆′ を,
∆ = τ ◦ ∆, where τ (c ⊗ c′ ) = c′ ⊗ c
である.この対合をもつ双代数をホップ代数と呼ぶ.
補足 6.30. 対合は存在すれば唯一つであり,代数準同形かつ余代数準同形である.
また H が可換,余可換なら S 2 = id となる.詳しいことは,ホップ代数の教科書
をみよ.
例 6.31. G を有限群として G 上の関数空間 B = C(G) を考える.ベクトル空間と
して B ⊗ B は C(G × G) と同一視できる.このとき,
159
とすれば余代数になる.実際,余結合律は G 内での結合律に対応し,余単位律は
e が G の単位元であることに対応する.さらに双代数になることもすぐにわかる.
また
S : H → H (Sf )(x) = f (x−1 )
とすれば対合になる.実際,
となる.
例 6.32. g をリー環として,展開環 U (g) を考える.これは代数である.さらに余
積および余単位射を
を定義できる.また S を使って,双対表現
を定義できる.
160
Proof. (∆P )(x, y) = P (x, y) に対して
であるので余結合律をみたす.また
である.余可換であることは明らかである.
となる(後述).そこで,対合の定義を確かめよう.
∑
m(id ⊗ ω)∆hn = (−1)l hk el
k+l=n
∑
m(ω ⊗ id)∆hn = (−1)k ek hl
k+l=n
u ◦ ϵ(hn ) = 0
となる.E(−t)H(t) = 0 を使えば,これらはすべて一致する.
∑
さて,上の証明において ∆hn = k+l=n hk ⊗ hl を使ったが,このことを証明し
ておこう.実は次が成立する.
Proof. 冪和対称式については明らかである.実際,
となる.次に完全対称式についてみていくと,
∏ 1 ∏ 1 ∑ ∑ ∑
H(t)(x, y) = = hk (x)tk hl (y)tl = hk (x)hl (y)tn
1 − xi t 1 − yi t k+l=n
161
また,シューア多項式に対しては,(5.9) より,
補題 6.35. Sλ に ∆ をあてると,
∑
∆(Sλ ) = Sλ/µ ⊗ Sµ
µ⊂λ
となる.
という積を定義する(結合律などを確かめよ.また u(1) = 1R は 1R ∈ Z = R0 と
している).そこで表現環 R は次数つき可換代数である.
例 6.36. Sn の自明表現を Hn とかけば,
∑
Hλ1 ◦ Hλ2 ◦ · · · ◦ Hλk = Uλ = Vλ + Kµλ Vµ
である(次数は λ1 + · · · + λk となる).
また Section 6.2.1 で述べたことから,既約表現 Vλ は
∑
Vλ = |Hλi +j−1 | = sgn(τ )Hλ1 +τ (1)−1 ◦ Hλ2 +τ (2)−2 ◦ · · · ◦ Hλk +τ (k)−k
τ ∈Sk
R∼
= Z[H1 , H2 , · · · ]
Proof. Hi に hi を対応させればよい.
この対応 R ∼
= Λ は次のような対応になる.
Hi 7→ hi
Hi′ 7→ ei
Uλ 7→ Hλ = hλ1 · · · hλk
Uλ′ 7→ Eλ′ = eλ′1 · · · eλ′l
Vλ 7→ Sλ
162
ここで Hi′ は一次元交代表現である.
∑ ∑
次に余積を導入しよう.Λ において ∆Sλ = µ Sλ/µ ⊗ Sµ = µν Nνµλ Sν ⊗ Sµ
となる.この余積に対応するようにしたい.部分群 Sn × Sn ⊂ Sn+m に対する制
限写像
Res : Rn+m → Rn ⊗ Rm ⊂ R ⊗ R
を思い出す.これを使って,余積 δ : R → R ⊗ R を次のように定義する.V ∈ Rn
に対して
∑
n
δ(V ) := ResSk ×Sn−k (V )
k=0
∑
とする.この ResSk ×Sn−k (V ) は aλµ Vλ ⊠Vµ としてかける.そして R(Sn ×Sn ) ∼
=
Rn ⊗ Rm であるので,δ(V ) ∈ R ⊗ R となる.
具体的にいえば,命題 6.14 を使うと,
∑
δ(Vλ ) = Nµνλ Vµ ⊗ Vν
µ,ν
δ(Hn ) = Hn ⊗ 1 + Hn−1 ⊗ H1 + · · · + 1 ⊗ Hn
となる.このように定義した δ : R → R ⊗ R が余結合律をみたすことは,Λ にお
ける余積が余結合律を満たすことから明らかである.余単位射や対合も Λ に対応
して作ればよい.以上から,
R には,表現をテンソルするという積が定義できた.つまり,Section 6.2.5 に
∑
おける Vλ ⊗ Vµ = Cλµν Vν のことである.この積が Λ 上でどうなるかを見てい
こう.
1. ∑
Sλ ∗ Sµ = Cλµν Sν , P i ∗ P j = δij z(i)P i .
163
2.
⟨P, Q⟩ = (P ∗ Q)(1, 0, · · · , 0).
が成立する.
となる.指標の独立性により,
∑
Sλ (xy) = Cµνλ Sµ (x)Sν (y)
となる.
∑ ∑
また,最初の主張 Sλ ∗ Sµ = Cλµν Sν は,Vλ ⊗ Vµ = Cλµν Vν から明らかであ
∑
る.次に,P =
i
χλ (Ci )Sλ は R 上では
∑
F i := χλ (Ci )χλ ∈ Cclass (Sd ) ∼
= Rd ⊗ C
λ
に対応する(指標で書いている).そこで,命題 3.34 から
∑ 1
F i (Cj ) = χλ (Ci )χλ (Cj ) = δi,j
λ
z(i)
となる.よって,表現のテンソル積は指標の関数としての積に対応するので
1 1 1
F i F j (Ck ) = F i (Ck )F j (Ck ) = δik δkj = δij δki
z(i) z(j) z(i)2
となる.よって F i F j = δij z(i)F i であるので,これを Λ へ移せば,
P i ∗ P j = δij z(i)P i
となる.
2番目の主張は内積の線形性から P = P i , Q = P j について確かめればよい.そ
こで,
⟨P i , P j ⟩ = z(i)δij = δij z(i)P i (1, 0, · · · ) = (P i ∗ P j )(1, 0, · · · )
となる.
164
7 交代群 Ad の表現
対称群の表現論を使って,交代群 Ad = ker sgn の表現を論じる.
H ∋ h 7→ tht−1 ∈ GL(W )
ψ(t′ ht′−1 ) = ψ(t′ t−1 tht−1 tt′−1 ) = ψ(t′ t−1 )ψ(tht−1 )ψ(tt′−1 ) = ψ(tht−1 )
として作用する.よって,
f
ResIndW = W ⊕ W (7.1)
f は W の共役表現である.
となる.ここで W
165
1. V は V ′ = V ⊗ U ′ と同値でない.そして W は既約であり,自己共役で
′
ある.また IndG H W = V ⊕ V となる.
2. V ∼
= V ′ となる.また W = W ′ ⊕ W ′′ であり,W ′ と W ′′ は互いに共役で
′ ∼ ′′ ∼
あり,W ′ と W ′′ は同値でない.また IndG G
H W = IndH W = V である.
さらに,H のすべての既約表現はこの方法のどちらかひとつの方法で得られる.
であるので, ∑ ∑
|G| = 2|H| = |χ(h)|2 + |χ(t)|2
h∈H t∈H
/
となる.W = ResG
H V とすれば,
∑
|H|(χW , χW ) = |χ(h)|2 ≤ 2|H|
h∈H
∑
となる,よって (χW , χW ) は 1 または 2 であり, h∈H |χ(h)|2 は 2|H| または |H| に
一致する.また,V と V ′ が非同値なら,
1 ∑ ∑
0 = (χV , χV ′ ) = ( |χ(h)|2 − |χ(t)|2 )
2|H| h∈H
t∈H
/
同値なら,
1 ∑ ∑
1 = (χV , χV ′ ) = ( |χ(h)|2 − |χ(t)|2 )
2|H| h∈H
t∈H
/
が成立する.そこで
∑
1. (1) h∈H |χ(h)|2 = |H| となる場合.これは (χW , χW ) = 1 であり,W が
既約であることを意味する.また制限なので W は自己共役である.また
∑ ′ ′
/ |χ(t)| = |H| となる.よって,(χV , χV ) = 0 となるので V と V は
2
t∈H
同値でない.さらに,例 3.68 から,
Ind(ResV ) = V ⊗ (U ⊕ U ′ )
となるので,IndW = V ⊕ V ′ となる.
166
∑
2. (2) h∈H |χ(h)|2 = 2|H| となる場合には (χW , χW ) = 2 となり,W が二つの
非同値な既約成分 W ′ と W ′′ の和に分解することを意味する(同値な二つの
既約成分の和になったら (χW , χW ) = 4 となって矛盾).また (χV , χV ′ ) = 1
となるので V ∼ = V ′ となる.また
となり V が既約であるので,IndW ′ ∼
= IndW ′′ ∼
= V を得る.また (7.1)
f′ = Res(IndW ′ ) ∼
W′ ⊕ W = ResV = W ′ ⊕ W ′′
となるので.W ′ と W ′′ は互いに共役であることがわかる.
また H のすべての既約表現が上の方法で得られることを見てみる.M を既約表現
として V = IndM を考える.
167
V を G の既約表現として,W = ResV とする.
2. W = W ′ ⊕ W ′′ となる場合.W ′ と W ′′ は互いに共役であるので,C = C ′ なる
共役類上では χW ′ (C) = χW ′′ (C ′ ) = χW ′′ (C) = 21 χV (C) となる.一方,W ′ と
W ′′ は同値でないので,ある split 共役類 C が存在して χW ′ (C) ̸= χW ′′ (C) と
なる(このような split 共役類は一つとは限らない.また χW ′ (C) = χW ′′ (C ′ ),
χW ′ (C ′ ) = χW ′′ (C) であることに注意).このとき,誘導表現の指標公式か
ら,χW ′ (C) + χW ′′ (C) = χW ′ (C ′ ) + χW ′′ (C ′ ) の値は χV (C ∪ C ′ ) の値に一致
することはわかる.
命題 7.3. 次が成立する.
また
168
Wt ⊕ W̃t は自己共役なので,{fCi + fCi′ } ∪ {fDj } の線形結合でかける.一方,Wt
は自己共役でないので χWt は {fCi + fCi′ } ∪ {fDj } とは独立である.そして,
は独立であり,自己共役な表現の指標,自己共役でない表現の指標をこれらの線
形結合で書くことができる.つまり類関数の基底である.よって k = q である.つ
まり split 共役類の pair の数 k と自己共役でない表現の数 q は一致する.また命題
7.1 で述べたことから,G の既約表現 V で V ∼ = V ′ となるものの数と一致する.
H の既約表現の数は共役類の個数なので 2k + l である.命題 7.1 から,V ∼ = V′
とならない表現 V の個数は 2 × (2k + l − 2k) = 2l 個である(V と V ⊗ U ′ n の pair
が l 個).また,V ∼ = V ′ となる表現の個数は k 個であるので,G の既約表現の数
は k + 2l 個となる.よって,G の共役類の数は k + 2l 個となる.また G の共役類
で H に入るものの数は k + l 個である(#({Ci ∪ Ci′ } ∪ {Dj })).よって G の共役
類で H に入らないものの数は k + 2l − (k + l) = l となり,non-split な共役類の数
と一致する.
7.2 交代群の表現
上での議論と対称群 Sd の表現論を使って,交代群 Ad の表現について考えよう.
λ を d の分割とする.λ′ を共役なヤング図形とすれば,
Vλ′ = Vλ ⊗ U ′
また,
#{Sd の自己共役表現 }
=#{ 対称なヤング図形 }
=#{Ad の split 共役類の pair}
=#{Sd の共役類で Ad の共役類として二つに分解するもの }
である.
さて,Ad の共役類の代表元 g をサイクル表示しておく.この元 g が split 共役
類にはいるための必要十分条件は,g と可換な奇置換(符号がマイナスの元)が存
169
在しないことである.いいかえれば,g をサイクル表示したとき,各サイクルの長
さは奇数であり,同じ長さをもつサイクルが存在しないことである.よって,自
己共役な表現の数は,d の分割で互いに異なる奇数の和として書けるものの数に一
致する.
となるので可換となり,矛盾する.よって,g のサイクル表示において,サイクルの
長さは奇数である.また,同じ長さのサイクルがあるとする,たとえば,g のサイ
クル表示が (1, 2, 3)(4, 5, 6) を含むとする.このとき σ = (1, 4)(2, 3)(5, 6) すれば,こ
れは奇置換であり,さらに g と可換である.よって,g は同じ長さの元を含まない.
(長さ 1 の元も二個以上は含まない.たとえば A5 において (1, 2, 3) = (1, 2, 3)(4)(5)
は split 共役類ではない).
逆に,g を g0 · · · gs とサイクル表示したとき,各サイクルの長さが奇数であり,
同じ長さのサイクルがないとする.さらに,ある奇置換 σ があり,σgσ −1 = g と
仮定する.Section 1 でみたように,σgi σ −1 のサイクルの長さは gi と同じであり,
σ(i1 , · · · , ik )σ −1 = (σ(i1 ), · · · , σ(ik )) となる.そこで,
g0 · · · gs = (σg0 σ −1 ) · · · (σgs σ −1 )
170
動かさないで,τ0 (il ) = i1 , · · · , τ0 (il−1 ) = ik となるものとする.あみだくじを考
えれば,A0 = {i1 , · · · , ik } の個数が奇数なので,τ0 は偶置換である.τ0 σ を考えれ
ば,{1, · · · , n} \ A0 を {1, · · · , n} \ A0 にうつし,A0 には作用しない.この議論を
g1 , · · · , gs に対して繰り返していけば,τk · · · τ1 τ0 σ = 1 となる.しかし σ は奇置換
なので矛盾.以上から,g ∈ Ad に対して, 「各サイクルの長さが奇数であり,同じ
長さのサイクルがない」ことと「任意の奇置換と可換でない」が同値であること
がわかった.
ここで r は対角成分の箱の数であり,q1 + q2 + · · · + qr = λ1 + λ2 + · · · = d と
なる.
例 7.4. A5 の共役類をもとめよう.まず,S5 の共役類の代表元は
である.これらのうち,偶置換であるものは,
171
となるのである.
さて,以上の準備のもとで,Ad の既約表現の指標を計算しよう.対称なヤング図
形を λ とする.これには自己共役な Sd の表現が対応する(V ∼ = V ′ = V ⊗ U ′ ).こ
れを Ad へ制限すれば,二つの既約表現に分解する.それぞれ Wλ′ , Wλ′′ とする.ま
た,その指標を χ′λ , χ′′λ とする.また λ に対応する Ad の split 共役類の pair を c, c′ と
する.c∪c′ は Sd の共役類となり,その代表元をサイクル表示すれば,q1 > · · · > qr
となる.このとき次が成立する.
となる.ここで x, y は
1 √
((−1)m ± (−1)m q1 · · · qr )
2
であり,
1 1∑ 1 ∏
m = (d − r) = (qi − 1) ≡ ( qi − 1) mod 2
2 2 2
である(この m はヤング図形の対角線より上にある箱の数である).
以下でこの命題を証明していく.
∑
q = (q1 , · · · , qr ) を q1 > · · · > qr , qi = d となる正奇数の列とする.これに対
応する Ad の split 共役類の pair を c = c(q), c′ = c′ (q) とする.また λ を自己共役
な d の分割として,対応する Ad の既約表現の指標を χ′λ , χ′′λ とする. (λ が q に対応
しているとは仮定してない).
[Step 1-1]:まず,χ′λ χ′′λ が c = c(q) および c′ = c′ (q) に対してのみ値が異な
り,他の Ad の共役類に対しては値が一致すると仮定する(以下 Step2 に行くまで
仮定).また Wλ′ と Wλ′′ が共役な表現であることから,χ′λ (c) = χ′′λ (c′ ) となるが,
これを u と書く.同様に v = χ′λ (c′ ) = χ′′λ (c) とする.このとき,m が偶数なら u, v
は実数であり,m が奇数なら ū = v となる.
g = (1, 2, 3, 4, 5)(6, 7, 8)
172
とすれば,この逆元は
(5, 4, 3, 2, 1)(8, 7, 6)
である(つまり各サイクルは可換なので,各サイクルで見ればよい.Sd の共役類
とみれば同じ共役類を与える).そこで,
となる.よって
となる.
∑
[Step1-3]:λ が p = (p1 , · · · , pl )(p1 , · · · , pl は異なる奇数で pi = d)に対応
しているとして,Sd の既約表現の指標を χλ とする.また g ∈ c(p) とする.この
とき
d−l
χλ (g) = (−1) 2
となる.
173
Proof. Murnaghan-Nakayama rule (定理 6.21 )を使えば,
p1 −1 p2 −1 pl −1 d−l
χλ (g) = (−1) 2 (−1) 2 · · · (−1) 2 = (−1) 2
(u − v)2 = q1 · · · qr , u+v =1
(u − ū)2 = −q1 · · · qr , u + ū = −1
となる.よって,u, v は
1 √
((−1)m ± (−1)m q1 · · · qr ).
2
174
共役な表現である.また,その指標を考えると χ′ , χ′′ は c(q), c′ (q) 以外の split 共
役類の組に対して同じ値になる.さらに,
√
(−1)m + (−1)m q1 · · · qr
χX ′ (c(q)) =
√2
(−1) m
− (−1)m q1 · · · qr
χX ′ (c′ (q)) =
√2
(−1)m − (−1)m q1 · · · qr
χX ′′ (c(q)) =
√2
(−1) + (−1)m q1 · · · qr
m
χX ′′ (c′ (q)) =
2
∑
Proof. p を pl > · · · > p1 ( pi = d)となる奇数次の列として,c(p), c′ (p) を Ad
の split 共役類の組とする(p = p1 の場合も考慮する).c(p) ∩ (Aq1 × Ad−q1 ) を考
える.
pi1 + · · · + pis = q1
となるときのみ共通部分は空集合でない.空集合なら誘導表現の指標の公式から
指標はゼロになる(例えば,p = p1 となるときには,p1 = q1 となることはないの
で空集合である).そこで共通部分が空集合でないときを考える.この共通部分
は,いくつかの集合に分割されるので,D1 × E1 , · · · , Dt × Et としておく.
|Ad | ∑ |Di × Ei |
χX ′ (c(p)) = χW1′ (Di )χW2′ (Ei )
|Aq1 ||Ad−q1 | |c(q)|
|Ad | ∑ |Di × Et |
χX ′′ (c(p)) = χW1′′ (Di )χW2′ (Ei )
|Aq1 ||Ad−q1 | |c(q)|
|Ad | ∑ |Di × Et |
= χW1′ (Di )χW2′ (Ei ) = χX ′ (c(p))
|Aq1 ||Ad−q1 | |c(q)|
175
換の積は偶置換で Ad の元であるので).また,
q1 ! (d − q1 )!
|c(q1 )| = |c(q1 )| = , |c(q2 , · · · , qr )| = |c(q2 , · · · , qr )| =
2q1 2q2 · · · qr
d!
|c(q)| = ,
2q1 · · · qr
であるので,帰納法の仮定から
d! 2 2 2q1 · · · qr q1 ! (d − q1 )!
χX ′ (c(p)) =
2 q1 ! (d − q1 )! d! 2q1 2q2 · · · qr
× {χW1′ (c(q1 ))χW2′ (c(q2 , · · · qr )) + χW1′ (c′ (q1 ))χW2′ (c(q2 , · · · , qr ))}
=χW1′ (c(q1 ))χW2′ (c(q2 , · · · qr )) + χW1′ (c′ (q1 ))χW2′ (c(q2 , · · · , qr ))
√ √ √ √
ϵ1 + ϵ1 q1 ϵ′ + ϵ′ q2 · · · qr ϵ1 − ϵ1 q1 ϵ′ − ϵ′ q2 · · · qr
= +
√2 2 2 2
ϵ + ϵq1 · · · qr
=
2
となる.ここで ϵ1 = (−1)(q1 −1)/2 , ϵ′ = (−1)(d−q1 −r+1)/2 であり,
ϵ = ϵ1 ϵ′ = (−1)(d−r)/2
であるので,
√
′ ϵ−ϵq1 · · · qr
χX ′ (c (p = q)) =
√2
ϵ − ϵq1 · · · qr
χX ′′ (c(p = q)) =
√2
ϵ + ϵq1 · · · qr
χX ′′ (c′ (p = q)) =
2
となることがわかる.
最後に,split しない共役類 c = tct−1 を考える.t ∈ Sq1 かつ t ∈ / Aq1 としてよ
い.c ∩ (Aq1 × Ad−q1 ) を考えると,いくつかの集合に分割される.たとえば,Di =
c(q1 ), Ei ̸= c(q2 , · · · , qr ) となることもありえる.このとき Di′ = c′ (q1 ), Ei′ = Ei も
c ∩ (Aq1 × Ad−q1 ) 内に存在する.そして,誘導表現の指標公式を使えば,χX ′ (c) =
χX ′′ (c) となることがわかる.そのほかの場合でも,帰納法の仮定と誘導表現の指
標公式を使えば,χX ′ (c) = χX ′′ (c) となる.
以上から c が c(q), c′ (q) 以外の共役類の場合には χX ′ (c) = χX ′′ (c) = χX ′ (c′ ) =
χX ′′ (c′ ) が成立する.また,指標の関係から X ′ と X ′′ は互いに共役であることがわ
かる.
176
[Step2-2]:θ = χ′ − χ′′ とすれば,(θ, θ) = 2 となる.そして,X ′ , X ′′ を既約分
解すれば,X ′ = Y ⊕ Wλ′ , X ′′ = Y ⊕ Wλ′′ となる.ここで Y は自己共役な表現,ま
た λ は対称な d の分割.
177
となる.よって χ′λ (c(p)) = χ′λ (c′ (p)) である.同様に,χ′′λ (c(p)) = χ′′λ (c′ (p)).もち
ろん split しない共役類でも χ′λ (C) = χ′′λ (C) となる.
また,Step1-3 から,χλ (c(q)∪c′ (q)) = (−1)m となる.よって,χ′λ (c(q))+χ′′λ (c(q)) =
(−1)m となる.w = χ′λ (c(q)) = χ′′λ (c(q)) とすると,w = (−1)m /2 となるが,指
標は代数的整数でなければならないので,このようなことは起こらない.よって
χ′λ (c(q)) ̸= χ′′λ (c(q)) となる.そこで Step 1 を利用することができ,r = 1 となる自
己共役分割 λ に対しても命題が成立する.
178
8 Weyl 構成
G を群(有限とは限らない)として,G の表現空間を V とする.V の d 次テン
ソル積表現 V ⊗d を考える.これは G の表現空間であり,さらに対称群も作用する.
そこで,ヤング対称化作用素 cλ を使って,Sλ V ⊂ V ⊗d という G の新しい表現空
間を作ることができる.特に,G がリー群の場合には,このアイデアは重要であ
る.例えば,自然表現から SLn (C) のすべての表現を構成することが可能である.
V ⊗ V = S 2 V ⊕ Λ2 V
V ⊗ V ⊗ V = S 3 V ⊕ Λ3 V ⊕ (another space)
となる.この残りの空間はなんであろうか?また,V ⊗d の場合にはどうなるであ
ろうか?
V ⊗d へ Sd を右作用で
となる(注意:Sd を左作用で作用させても可換).
Sλ V := im(cλ |V ⊗d )
P =Pλ = {g ∈ Sd | g は T の各行を保存する } ∼
= S λ1 × · · · S λk ,
Q =Qλ = {g ∈ Sd | g は T の各列を保存する } ∼
= Sλ′ × · · · Sλ′ . 1 l
179
ここで λ′ は共役なヤング盤に対する分割である.これらの部分群を使って,群環
CSd に二つの元を定義する:
∑ ∑
aλ = g, bλ = sgn(g)g.
g∈P g∈Q
そして,cλ = aλ bλ とするのであった.
(v1 ⊗ · · · ⊗ vd )cλ = v1 ⊙ · · · ⊙ vd
となる.つまり Sλ V = S d V となる.
∑
次に,λ = 1 + · · · + 1 となる.cλ = bλ = σ∈Sd sgn(σ)σ であるので,
(v1 ⊗ · · · ⊗ vd )cλ = v1 ∧ · · · ∧ vd
となる.つまり Sλ V = Λd V となる.
例 8.3. 分割 3 = 2 + 1 を考える.このとき,例 4.4 で見たように,
となる.そこで,
(v1 ⊗ v2 ⊗ v3 )c(1,2) =v1 ⊗ v2 ⊗ v3 + v2 ⊗ v1 ⊗ v3 − v3 ⊗ v2 ⊗ v1 − v3 ⊗ v1 ⊗ v2
=(v1 ⊗ v2 ⊗ v3 − v3 ⊗ v2 ⊗ v1 ) + (v2 ⊗ v1 ⊗ v3 − v3 ⊗ v1 ⊗ v2 )
となる.つまり,これらで張られる部分空間が S(2,1) V となる.
これは次のように考えることができる.まず,埋め込み写像 ι : Λ2 V ⊗ V → V ⊗3
を次で定義
(v1 ∧ v3 ) ⊗ v2 7→ v1 ⊗ v2 ⊗ v3 − v3 ⊗ v2 ⊗ v1
(ここで,添え字をずらしていることに注意.添え字のずらしは GL(V ) の作用と
可換.つまり ∃σ ∈ Sd を作用させてる).このとき,S(2,1) V は
(v1 ∧ v3 ) ⊗ v2 + (v2 ∧ v3 ) ⊗ v1
S(2,1) V = ker(Λ2 V ⊗ V → Λ3 V )
となることがわかる.
180
Proof. 例 4.4 のように c(2,1) として,別のヤング盤に対するものをとる.つまり
とする.このとき,
1 1 1 ′ 1
P(1,1,1) = c(1,1,1) , P(3) = c(3) ,
P(2,1) = c(2,1) , P(2,1) = c′(2,1)
6 6 3 3
∑
とすれば,これは射影因子である.つまり Pi2 = Pi , Pi = id, Pi Pj = 0(i ̸= j )
を満たす.これを V ⊗3 に作用させる.GL(V ) との作用とは可換であるので,V ⊗3 Pi
は GL(V ) の表現空間であり,V ⊗3 は直和分解される.そこで,
( ) ( )
n+2 n
3
S V = 3
, ΛV = , dim V ⊗3 c(2,1) = dim V ⊗ c′(2,1)
3 3
であることから,
1
dim V ⊗3 c(2,1) = dim V ⊗ c′(2,1) = n(n + 1)(n − 1)
3
となる.さて,Λ2 V ⊗ V → Λ3 V の (v1 ∧ v3 ) ⊗ v2 + (v2 ∧ v3 ) ⊗ v1 の像は v1 ∧
v3 ∧ v2 + v2 ∧ v3 ∧ v1 = 0 となるので,S(2,1) V ⊂ ker(Λ2 V ⊗ V → Λ3 V ) となる.
Λ2 V ⊗ V → Λ3 V は全射であるので,
( ) ( )
n n 1
dim ker(Λ V ⊗ V → Λ V ) =
2 3
n− = n(n + 1)(n − 1)
2 3 3
v1 ⊗ v2 ⊗ v3 − v2 ⊗ v1 ⊗ v3 + v3 ⊗ v2 ⊗ v1 − v2 ⊗ v3 ⊗ v1
=(v1 ∧ v2 ) ⊗ v3 + (v3 ∧ v2 ) ⊗ v1
(v1 ⊗ v2 ) ⊗ v3 7→ v1 ⊗ v2 ⊗ v3 − v2 ⊗ v1 ⊗ v3
181
まず,λ = (d) の場合には,
となる.ここで hd は d 次の完全対称式であり,
∑
hd (x) = xi11 · · · xikk .
i1 +···+ik =d
ei11 ⊙ · · · ⊙ eikk , i1 + · · · + ik = d
とすれば,左辺の行列は対角化可能でないが,右辺の行列は対角化可能である.こ
のように,対角化可能な行列は稠密である.そこで,対角化可能な行列 g に対し
て χS(d) V (g) = hd (x1 , · · · , xk ) がいえるので,連続性から対角化不可能な行列に対
しても χS(d) V (g) = hd (x1 , · · · , xk ) が成立する.
となる.ここで ed は d 次基本対称式であり,
∑
ed = xi1 xi2 · · · xir
i1 <i2 <···<ir
そこで一般の場合を考えよう.実は次が成立する.
182
となる.
という標準的な同型がある.
4. 各 Sλ V は GL(V ) の既約表現である.
定理の証明は次の subsection で与える.
系 8.5. 次元は次のように書くこともできる.
mλ ∏ ∏k−i+j
dim Sλ V = (k − i + j) =
d! hij
(i,j) (i,j)
183
となる.そこで,
∏ λi − λj + j − i (λ1 + k − 1)!(λ2 + k − 2)! · · · λk ! ∏ 1
dim Sλ V = = mλ
1≤i<j≤k
j−i d! i<j
j−i
mλ (λ1 + k − 1)!(λ2 + k − 2)! · · · λk !
=
d! (k − 1)!(k − 2)! · · · 1!
となる.さて,各箱の座標を (i, j) として,k − i + j を書いていくと,
k k + 1k + 2 k + λ1 − 1
k − 1k k+1 k + λ2 − 2
1 2 λk
となるので,
∏ (λ1 + k − 1)! (λ2 + k − 2)! λk !
(k − i + j) = ···
(k − 1)! (k − 2)! 1!
となる.よって,
mλ ∏
(k − i + j)
dim Sλ V =
d!
となる.もう一つの式は命題 4.23 を使えばよい.
例 8.6. mλ = Vλ は標準盤の数を数えればよいので,
V ⊗3 ∼
= S 3 V ⊕ Λ3 V ⊕ (S(2,1) V )⊕2 ,
V ⊗4 ∼
= S 4 V ⊕ Λ4 V ⊕ (S(3,1) V )⊕3 ⊕ (S(2,2) V )⊕2 ⊕ (S(2,1,1) V )⊕3 .
となる.
次の系は.次の subsection での定理の証明を読めばすぐにわかる.
V ⊗d c = ⊕λ (Sλ V )⊕rλ
となる.
184
補足 8.8. 上の方法で,GL(V ) のすべての表現が構成できるわけではない.実際,
上で作った表現の双対表現は,上の構成には含まれない.しかし,残りの既約表
現は次のように構成できる.dim V = k として,Λk V ∗ ∼
= (Λk V )∗ という表現を考
える.これは1次元表現である.このとき,
を考えると,残りの表現を構成することができる.逆にいえば,すべての既約表現
は Λk V を何回かテンソル積することにより Sλ V (∃λ)と同値にできるのである.
また,後で述べる例 8.18 で見るように,
Sλ V ⊗ Λk V ∼
= S(λ1 +1,··· ,λk +1) V
となる.
そこで,λ = (λ1 , · · · , λk ) を λ ∈ (Z≥0 )k から Zk へと拡張する.つまり,λ は
λ = (λ1 , · · · , λk ) ∈ Zk , λ 1 ≥ · · · ≥ λk (8.1)
S(λ1 −λk ,λ2 −λk ,··· ,λk−1 −λk ,0) (V ) ⊗ (Λk V ∗ )⊗(−λk )
を対応させる.
このようにして,GL(V ) の既約表現は (8.1) によってパラメタライズできる.
(実
は,λ が highest weight に対応している).
また SL(V ) の既約表現を分類する場合には,Λk V が自明表現と同値なので,
(Λk V )⊗a を無視すればよい.つまり,次のようにしてパラメタライズできる.
この λ に対応した既約表現を構成するには,GL(V ) での λ に対応した既約表現を
作って SL(V ) へ制限すればよい.
補足 8.9. 命題 5.33 において,
∑
Sλ (x1 , · · · , xk ) = Mλ + Kλµ Mµ
µ<λ
185
8.2 証明
まず一般論からはじめる.G を有限群とし,A = CG と書く.U を A = CG 右
加群として,
である.実際,
( )( ) ( ) ( )( )
ρW (X) 0 aI bI aρ(W ) bρ(W ) aI bI ρW (X) 0
= =
0 ρW (X) cI dI cρ(W ) dρ(W ) cI dI 0 ρW (X)
となる.また,この B に対する交換子代数は,
( )
A 0
{ | A ∈ End(W )}
0 A
となる.一方,W ∼ ̸= W ′ なら W ⊕ W ′ という空間では,うまく基底をとっても
ρW (X) ̸= ρW ′ (X) となる X が存在する(存在しなかったら同値になってしまう).
よって,この場合に交換子代数 B は
( )
aI 0
B={ | a, b ∈ C} ∼
=C⊕C
0 bI
186
となる.また B に対する交換子環は,
( )
A 0
{ | A ∈ End(W ), B ∈ End(W ′ )}
0 B
となる.
さて,W を任意の左 A 加群として,
U ⊗A W = U ⊗C W/{ua ⊗ w − u ⊗ aw}
2. W = Ac が左 A 加群として既約とすると,U ⊗A W = U c は B 加群として
既約.
U∼
= ⊕i (U ⊗A Wi )⊕mi ∼
= ⊕i (U ci )⊕mi
という標準的な既約分解を得る.
次の左 B 加群としての可換図式を考える.
·c ι
U ⊗A A −−−→ U ⊗A Ac −−−→ U ⊗A A
∼
=y
y
∼
y=
·c ι
U −−−→ U ·c −−−→ U
ここで垂直方向の写像は v ⊗ a 7→ v · a としたものである.左側の水平方向は
全射であり,右側の水平方向は単射である.また,外側の垂直方向は同型で
ある.よって,真ん中の垂直方向は同型となる.以上から,U ⊗A Ac → U c
は左 B 加群として同型.
187
2. まず U が A 加群として既約の場合を考える.このとき B = C である.B は
可換となるので,U c が既約を証明するには,dim U c ≤ 1 を証明すればよい.
定理 3.49 から,環として,
とみなす.ここで右辺は A のすべての既約表現で和をとっている.つまり
A = ⊕ri=1 M (mi , C) となる.W = Ac は既約なので,section 3.10.3 で見たよ
うに,A の最小左イデアルである.行列環 M (n, C) の左イデアルは,ある列
のみがゼロでないような行列の空間またはそれらの直和である.また,ある
列のみがゼロでない空間,つまり各列は最小イデアルである.このように各
列は既約表現を与え,互いに同値である.そこで,A の左イデアルもそれら
を組み合わせたものである.よって A の最小左イデアルは,ある i に対する
M (mi , C) の ki 列目のみゼロでない空間のことである.同様に,U は A の最
小右イデアルとみなせるので,ある j に対する M (mj , C) の lj 行目のみゼロ
でない空間である.そこで,U ⊗A W は U と W に対する i と j が一致する
ときは,M (mi , C) の第 (li , ki ) 成分のみゼロでない行列となる(1 次元).一
致しないときはゼロである.よって dim U c = dim U ⊗A W ≤ 1 となる.
補足 8.12. もう少し具体的に書いてみれば次のよう.i = j として,M (mi , C)
の li 行目と ki 列目のも取り出し書いている.
188
3. 三番目の主張を証明しよう.A ∼
= ⊕Wi⊕mi とする.このとき
U∼
= U ⊗A A ∼
= U ⊗A (⊕i Wi⊕mi ) = ⊕i (U ⊗A Wi )⊕mi ∼
= ⊕i (U ci )⊕mi
Proof. まず,
End(V ⊗d ) = (V ∗ )⊗d ⊗ V ⊗d = (End(V ))⊗d
となるが,この同型は Sd の作用と可換である.そこで,
となる.一般に,W を有限次元ベクトル空間とすれば,
S d (W ) = spanC {wd = w ⊗ · · · ⊗ w | w ∈ W } ⊂ W ⊗d
189
となる.これで,第一の主張がいえた.
また,V ⊗d の部分空間 X が B 加群とする.g ∈ GL(V ) ⊂ End(V ) に対して,
g ⊗ · · · ⊗ g ∈ S d (End(V )) = B であるので,X は GL(V ) の作用で不変部分空間
である.逆に GL(V ) の作用で X ⊂ V ⊗d が不変部分空間であるとする.GL(V ) は
End(V ) は稠密であるので,End(V ) でも不変部分空間である.つまり A ∈ End(V )
に対して,A ⊗ · · · ⊗ A で V ⊗d へ作用させたものに対して,不変部分空間である.
よって B 加群となる.
V ⊗d ∼
= (Sλ V )⊕mλ
となる.
次に指標を見ていこう.まず,
Sλ V ∼
= V ⊗d ⊗CSd Vλ
V ⊗d aλ = S λ1 V ⊗ S λ2 V ⊗ · · · ⊗ S λk V ∼
= V ⊗d ⊗CSd Uλ
となる.また系 6.3 から
Uλ = Vλ ⊕µ>λ Kµλ Vµ
であるので,
S λ1 V ⊗ S λ2 V ⊗ · · · ⊗ S λk V ∼
= Sλ V ⊕µ>λ Kµλ Sµ V
190
となる.また,補題 5.27 から Hλ とシューア多項式の関係がわかる.そこで,す
べての分割を考えていけば Kµλ は逆行列をもつので,上の χSµ V (g) はシューア多
項式 Sµ (x) となる.よって,
となる.
また λ = (λ1 , · · · , λd ) で d > k かつ λk+1 ̸= 0 の場合を考えると,指標は
Sλ (x1 , · · · , xk , 0, · · · , 0) = 0
となる.
8.3 応用
まず,GL(V ) の表現のテンソル積分解の公式を考えよう.
191
命題 8.16. λ を d の分割.µ を m の分割とする.このとき,
Sλ V ⊗ Sµ V = ⊕ν Nλµν Sν V
Sλ V ⊗ S m V ∼
= ⊕ν S ν V
Sλ V ⊗ Λm V = ⊕π Sπ V
V ⊗d cλ ⊗ V ⊗m cµ = (V ⊗d ⊗ V ⊗m )(cλ ⊗ cµ ) = V ⊗d+m c
192
∑
となり,さらに指標が rν Sν (x1 , · · · , xk ) となる.そこで,CSd+m c の意味を考え
ると,CSd+m ⊗CSd ⊗CSm (CSd cλ ⊠ CSm cµ ) であるので,これは Ind(Vλ ⊠ Vµ ) を意
味する.命題 6.10 より,
∑
Vλ ◦ Vµ = Ind(Vλ ⊠ Vµ ) = Nλµν Vν
ν
となる.よって,
Sλ V ⊗ Sµ V = ⊕ν Nλµν Sν V
を得る.
別証明:すでに GL(V ) の表現空間としての Sλ V , Sµ V の指標はわかっている.つ
まり Sλ , Sµ である.テンソル積表現の指標は積になるので,Littlewood-Ricardson
rule から ∑
Sλ Sµ = Nλµν Sν
となる.よって,
Sλ V ⊗ Sµ V = ⊕ν Nλµν Sν V
となる.
となる.
例 8.20. Sλ V ⊕ Sµ V を既約分解したときに,ν = λ + µ とすれば,Sν V は重複度1
で必ず現れる.これは Nλµν = 1 となることを確かめればよい.
193
2. 上を一般化する.|ν| = n とすると,
⊕
Sν (V ⊕ W ) = Nλµν (Sλ V ⊗ Sµ W )
|λ|+|µ|=n
である.
(正確には,記号として「⊗」ではなく,
となる. 「⊠」を使うべき).
4. 上の分解の特別な場合を考えると,
⊕
S d (V ⊗ W ) = Sλ V ⊗ Sλ W
λ
5. 同様に, ⊕
Λd (V ⊗ W ) = Sλ V ⊗ Sλ′ W
λ
Proof. まず S n (V ⊕ W ) = ⊕a+b=n S a V ⊗ S b W は
v1 ⊙ · · · ⊙ va ⊗ w1 ⊙ · · · ⊙ wb 7→ v1 ⊙ · · · ⊙ va ⊙ w1 ⊙ · · · ⊙ wb
194
を使えばよい.Λn (V ⊕ W ) = ⊕a+b=n Λa V ⊗ Λb W も同様.
次に,Sν (V ⊕ W ) = ⊕λ,µ Nλµν (Sλ V ⊗ Sµ W ) を証明する.まず練習として d = 3
の場合を考えよう.
(V ⊗ W )⊗3
=V ⊗3 + V ⊗ V ⊗ W + V ⊗ W ⊗ V + W ⊗ V ⊗ V
+ V ⊗ W ⊗ W + W ⊗ V ⊗ W + W ⊗ W ⊗ V + W ⊗3
=V ⊗3 ⊗CS3 CS3 + (V ⊗2 ⊗ W ) ⊗C(S2 ×S1 ) CS3
+ (V ⊗ W ⊗2 ) ⊗C(S1 ×S2 ) CS3 + W ⊗3 ⊗CS3 CS3
となる.そこで,一般の場合は,
(V ⊕ W )⊗d = ⊕a+b=d (V ⊗a ⊗ W ⊗b ) ⊗C(Sa ×Sb ) CSd
となる.この両辺に CSd 左加群 Vν = CSd cν をテンソルすると,
Sν (V ⊕ W ) = (V ⊕ W )⊗d cν = ⊕a+b=d (V ⊗a ⊗ W ⊗b ) ⊗C(Sa ×Sb ) ResSa ×Sb Vν
となる.ResSa ×Sb Vν において,命題 6.14 から,Vλ ⊠ Vµ の重複度は Nλµν である.
よって,
∑
⊕a+b=d (V ⊗a ⊗ W ⊗b ) ⊗C(Sa ×Sb ) ResVν = Nλµν ⊕a+b=d (V ⊗a ⊗ W ⊗b )cλ ⊗ cµ
λµ
⊕
= Nλµν (Sλ V ⊗ Sµ W )
|λ|+|µ|=|ν|
となる.
次に,Sν (V ⊗ W ) = ⊕Cλµν (Sλ V ⊗ Sµ W ) を証明しよう.まず Sd を Sd × Sd
へ対角に埋め込む.このときの誘導表現 IndVν を考える.Sd × Sd の既約表現は
Vλ ⊠ Vν の形であり,ResVλ ⊠ Vν = Vλ ⊗ Vν であるので,フロベニウスの相互律
より,
(χIndVν , χλ⊠ν ) = (χν , χResVλ ⊠Vµ ) = (χν , χλ χµ )
となる.よって,命題 6.26 より,
⊕
(χIndVν , χλ⊠ν ) = Cλµν , IndVν = Cλµν Vλ ⊠ Vν
となる.そこで,左 CSd ⊗ CSd 加群として,
⊕
(CSd ⊗ CSd ) ⊗CSd CSd cν = Cλµν (CSd cλ ⊗ CSd cµ )
をえる.一方,(V ⊗ W )⊗d = V ⊗d ⊗ W ⊗d として右 CSd ⊗ CSd 加群みれば,
Sν (V ⊗ W ) = (V ⊗ W )⊗d CSd cν
=(V ⊗d ⊗ W ⊗d )(CSd ⊗ CSd ) ⊗CSd CSd cν
⊕
= Cλµν (V ⊗d ⊗ W ⊗d )(CSd cλ ⊗ CSd cµ )
⊕
= Cλµν Sλ V ⊗ Sµ V
195
となる.
残りは系 6.27 から従う.
S(d−a,a) W ∼
= (Λ2 W )a ⊗ S(d−2a) W ∼
= (Λ2 W )a ⊗ S d−2a W
となる.よって,GL(V ) × SL(W ) 加群として,
GLn (C) = GLn (C) × {1} ⊂ GLn (C) × GLm (C) ⊂ GLn+m (C)
となる.ここで λ は ν から任意の個数の箱を同じ列から二つ以上とらないよう
に抜いたヤング図形である.つまり,GLn+1 (C) の既約表現 Sν (Cn+1 ) を
と表したとき,
ν1 ≥ λ1 ≥ ν2 ≥ λ2 ≥ · · · ≥ λn ≥ νn+1
となるものである.これを分岐則という.
196
Proof. 前命題より,GLn (C) × GLm (C) の表現として,
⊕
Sν (Cn ⊕ Cm ) = Nλµν Sλ (Cn ) ⊗ Sν (Cm )
となる.よって,証明された.
証明2:ヤング対称化作用素 cµ = aµ bµ の bµ の定義を思い出すと,
∑
bµ = sgn(g)g
g∈Q
であった.ここで Q は µ に対するヤング盤の各列を保存する部分群であった.そ
こで,bµ′ を考えれば,
が成立していた.よって,
∑ ⊕
V ⊗d bµ′ = Kλµ V ⊗d cλ′ = Kλµ Sλ′ V
を得る.
例 8.25. λ′ を λ の共役とする.このとき次の写像を考える.
⊗ ′ ⊗ ′
⊗ ⊗
(Λλi V ) → (⊗λi V ) → V ⊗d → (⊗λj V ) → (S λj V ).
i i j j
この合成写像の像は Sλ V となる.同様に,
⊗ ⊗ ⊗ ′
⊗ ′
(S λi V ) → (⊗λi V ) → V ⊗d → (⊗λj V ) → (Λλj V ).
i i j j
の像も Sλ V となる.
197
Proof. CG = A とする.Vλ = Acλ = Aaλ bλ となるのであった.また Uλ = Aaλ と
する.このとき Vλ は
×bλ
Uλ = Aaλ −−→ Abλ
の像である.そこで,
⊗ ×bλ
⊗ ′
(S λi V ) = V ⊗d aλ −−→ (Λλj V ) = V ⊗d bλ
i j
の像は Sλ V となる.
もう一つの式も例 4.12 で述べた Vλ ∼
= Abλ aλ からしたがう.
となることがわかる.実は,
となる.同様に,
⊕
Λd (V ) ⊗ Λd (V ) = S(2, · · · , 2,1, · · · , 1) V
| {z } | {z }
d−a 2a
となる.これも実は,
⊕ ⊕
S 2 (Λd (V )) = S(2, · · · , 2,1, · · · , 1) V, Λ2 (Λd (V )) = S(2, · · · , 2,1, · · · , 1) V
a even | {z } | {z } a odd | {z } | {z }
d−a 2a d−a 2a
となる.
198
hd (x1 , · · · , xk ) の定義は,
∏
k
1 ∑
= hj tj
i=1
1 − xi t
(r)
における td の係数であった.そこで,hd := hd (xr1 , xr2 , · · · ) は,
∏
k
1 ∏∏ k r
= (1 − xi ω j t)−1
i=1
1 − xi t
r r
i=1 j=1
であった.これに代入すれば,に代入すれば,
∏
k
1 ∑
= Sλ (x)Sλ (1, ω, ω 2 , · · · , ω r−1 )t|λ|
i=1
1 − xri tr λ
となる.ただし,変数の数が異なるので,max{r, k} 変数で考えて,余りの変数を
ゼロにすればよい.また,例 5.36 より,
∏ ω λi +r−i − ω λj +r−j ∏ ω λi +r−i − ω λj +r−j
Sλ (1, ω, · · · , ω r−1 ) = = .
ω j−1 − ω i−1 ω r−i − ω r−j
1≤i<j≤r i<j
のとき,符号を除いて,分子,分母が一致することがわかる(つまり λ1 +r−1, · · · , λr
が mod p として,すべて異なる場合である).そして,符号は sgn(σλ ) となる.
つまり,Sλ (1, · · · , ω r−1 ) = sgn(σ) となることがわかる.それ以外では mod r で,
λi + r − i ≡ λj + r − j (∃i, j )となるのでゼロとなる.よって,
(r)
∑
hd = sgn(σλ )Sλ
|λ|=dr, l(λ)≤r
199
となるので, sgn(σ(2d−j,j) ) = (−1)j となる.よって,
(2)
∑
d
hd = hd (x21 , · · · , x2k ) = (−1)j S(2d−j,j) (x1 , · · · , xk )
j=0
を得る.
次に,h2d を計算する.これは Kostka 数を計算すればよい.つまり,
∑ ∑
d
H(d,d) = hd hd = Kµ(d,d) Sµ = S(2d−j,j)
µ j=0
となる.よって,
1 ∑
(hd (x1 , · · · , xk )2 + hd (x21 , · · · , x2k )) = S(2d−a,a) ,
2 a even
1 ∑
(hd (x1 , · · · , xk )2 − hd (x21 , · · · , x2k )) = S(2d−a,a)
2 a odd
となる.以上から
となることがわかる.
さて,次に S 2 (Λd (V )), Λ2 (Λd (V )) の場合について,簡単に述べる.Ω を対称式
空間上の involution とすれば,
∑
d ∑
d
ed ed = ω(hd hd ) = S(2d−j,j)′ = S(2, · · · , 2,1, · · · , 1)
j=0 j=0 | {z } | {z }
j 2d−2j
(2)
となる.一方,hd = hd (x21 , · · · , x2k ) に対しては,Ω をそのまま作用させることは
できない.しかし,例 5.51 を使えばよい.
200
元本は [1] の第一章です.もう少し詳しくしりたいなら [2] の第一章や [1] に載っ
てる参考文献を参照.他の日本語の参考書は,たまに参考にしました.
参考文献
[1] W. Fulton and J. Harris Representation theory, a first course GTM 129,
springer.
201
索引
[f (x)]l , 81 Hλ (x), 99
[P ]λ , 123 hj , 98
Ad , 14 Kµλ , 116
∗, 43 l(λ), 65
∆(x), 80 Mλ (x), 16, 99
Ĝ, 49 Nλµν , 115
Hom(V, W )G , 21 p(d), 13, 65
HomG (V, W ), 21 P (t), 98
IndG H , 53 P = Pλ , 66
Λ, 128, 160 P i , 124
C(G), 22 Pλ , 129
Cclass (G), 33 pj (x), 80
CG, 42 Q = Qλ , 66
Sλ , 179 R, 162
ResG H V , 53 R(G), 36
ω, 129 RG , 22
ωλ (i), 124, 140 Sλ , 100
ωλ (P ), 123 U , 25
ψλ , 138 U ′ , 25
ψλ (P ), 123 Uλ , 138
ψa , 143 Uλ′ , 155
ρkl (or ρlk ), 41 Vλ , 68
Sλ′ , 155 Vλ ◦ Vµ , 145
Sλ , 138 V1 ⊠ V2 , 38
Sd , 5
intertwining 作用素, 21
sgn, 14
involution, 129
aλ , 66
bλ , 66 weight の重複度, 185
Bd , 8
Cλµν , 156 可換群, 25
cλ , 68, 179 可約, 23
Ci , 13, 78, 80 絡み作用素, 21
E(t), 98 完全可約, 23
Eµ (x), 99 完全対称式, 98
er (x), 15
奇置換, 14
H(t), 98
軌道和対称式, 16
202
基本対称式, 15, 98 シューア多項式, 100
既約, 23 シューア多項式の計算法, 121
Giambelli の公式, 103 シューアの直交関係, 41
共役な分割, 66 シューアの補題(Schur’s lemma), 24
共役表現, 165 シューア functor, 180
共役類, 11 巡回置換, 5
行列成分, 41
skew シューア多項式, 131
偶置換, 14 skew hook, 149
組紐群, 8 Skew ヤング図形, 131
群環, 42 step(of skew hook), 149
split 共役類, 167
原始的, 47
正規直交性, 33
交換子代数, 186
生成元, 6
交代群, 14
正則表現, 22
交代式, 19
交代表現, 25 双代数, 159
コーシーの恒等式, 117, 118 双対表現, 21
互換, 5
対合, 129
Kostka 数, 116, 120
対合(ホップ代数上の), 159
固定点集合, 31
対称群, 5
convolution, 43
対称式, 15
サイクルタイプ, 12 対称式の基本定理, 16
サイクル表示, 12 対称多項式, 15
差積, 19, 80 代数, 158
代数的整数, 39
G 加群, 21
畳み込み, 43
G 線形写像, 21
単純, 44
G 不変, 23
次元公式, 85 置換表現, 22, 25, 53
四元数構造(表現空間上の), 61 忠実な表現, 37
自己共役, 165 重複度, 24
辞書式順序, 72
deteminant 表現, 192
実構造(表現空間上の), 61
指標, 28 同値な表現, 21
指標の計算法, 150
指標表, 30, 36 内積(C(G) 上の), 33
自明表現, 22, 25 内積(対称式上の), 119
射影公式, 31, 37 長さ(ヤング図形の), 65
203
Newton の公式, 17, 110 hook length 公式, 86
hook length, 85
半単純, 44
ホップ代数, 159
半標準盤, 116, 121
multiplicity free, 147
Peter-Weyl の定理, 42
Pieri’s rule, 148 Murnaghan-Nakayama rule, 149
Pieri の公式, 112, 130
Molien の定理, 32
左正則表現, 22
表現, 21 Jacobi-Trudy 恒等式, 103
表現環, 36 ヤング図形, 65
表現環(対称群の場合), 162 ヤング対称化作用素, 68
標準表現, 26, 75 ヤング盤, 65
標準ヤング盤, 65 ヤング部分群, 138
フーリエ逆変換, 52 誘導表現, 53
フーリエ逆変換(S 1 の場合), 49 誘導表現の指標, 57
フーリエ逆変換(R の場合), 50 ユニタリ双対, 49
フーリエ変換(S 1 の場合), 49 ユニタリ表現, 23
フーリエ変換(R の場合), 50
フーリエ変換(スカラー値), 51 余可換, 159
フーリエ変換(作用素値), 51 余積, 158
符号, 14 余代数, 158
不動点定理, 30
Littlewood-Richardson rule, 115
プランシュレル測度, 52
隣接互換, 5
プランシュレルの公式, 53
プランシュレルの公式(S 1 の場合), 類関数, 28
49
ロビンソン-シェンステッド対応, 73
プランシュレルの公式(R の場合), 50
plethsym, 200 Weyl 構成, 180
フロベニウスの公式, 81
フロベニウス相互律, 60
分割数, 13, 65
分割の特性, 90
分割の rank, 90
分岐則, 147, 196
冪等元, 47
冪和対称式, 17, 80, 98
ポアンカレ級数, 19
204