ヴァレンティナー群と6次交代群の8次元表現
つづき.
ヴァレンティナー群(Valentiner group)の存在を知っていながら6次交代群の8次元既約表現の構成法がよくわからない, というのはさすがに鈍かった. .
初めに要点だけ説明する.
正20面体群が複素射影平面に作用すると考える. 射影変換をひとつ加えることで, 新たに生成される群がの部分群として有限になるようにできる. この群は6次交代群に同型になる. これをに引き戻すと, に同型な中心を持つ6次交代群の3重被覆になる. これがヴァレンティナー群である. の部分群として得たヴァレンティナー群から, の随伴表現の制限によって8次元表現を作る. これがの忠実な既約表現になる.
正20面体群ミニマム
正20面体群を具体的につくる. 詳しくは以前の記事を参照.
shironetsu.hatenadiary.com
単位超球上にとった正600胞体の頂点120個はで以下の3組に分けられる.
- の座標を入れ替えたもの...8個.
- ...16個.
- の座標を偶置換で入れ替えたもの...96個.
ただし.
四元数をと同一視すると, 正600胞体の頂点は四元数の積によって群をなし, 2項正20面体群, あるいは5次交代群の2重被覆群と同型である.
次の準同型写像の制限によって, 中心を核に持つ, 2項正20面体群から正20面体群への準同型写像ができる.
3次特殊直交群の部分群として実現される正20面体群は5次交代群の忠実な表現でもある. 生成元は次のようにとれる.
ヴァレンティナー群を見つける
は5次以下の交代群を部分群に持つ. では6次交代群はどこで現れるかというと, 直交群の部分群としてはに初めて含まれる. ここに射影変換を含めるとに現れる. 普通に"表現"というときの表現ではないが, 3×3行列として書ける. 2項正20面体群が2×2行列で書けることに似ている.
その名が冠せられているHerman Valentinerは19世紀の数学者.1889年の論文"De endelige Transformations-gruppers Theori"でこの群を見つけているそうだが, 読めていない.
ここでのやや"発見的"な議論は次の論文に依っている.
Scott Crass "Solving the sextic by iteration: A study in complex geometry and dynamics"
[math/9903111] Solving the sextic by iteration: A study in complex geometry and dynamics
まずがに作用していると考えると, ひとつの部分群は6の固定化部分群である.
この部分群に対し,(1234)(56)を加えることで生成される群はもとのである.
つまり(1234)(56)の表現を見つけることが目標になる.
は次の形で正4面体群に同型な4次交代群を含む.
ここに先ほどの(1234)(56)を加えると, 生成される群は4次対称群である. これが正8面体群に同型であることはいま思い出さなくていい.
正4面体群と組み合わせることで4次対称群を生成するような, (1234)(56)に対応する3×3行列を見つければよいということになる.
これを考えるため, まずに同型なの部分群をとる. 上で既に書いたが,
であった. これらはのベクトル
に対して
と忠実に作用する. これをに拡張するには, いちばん単純には
を加えて正8面体群にすれば
が確かに満たされるが, 正20面体群の生成元と合わせたとき群の有限性が失われる. 厳密には証明しないが, との積を取ったときにトレースがにならないことを見ればよい. そもそもの有限部分群の分類を知っていれば, 正8面体群を真の部分群に含むものが存在しないので当たり前ではある.
解決策はこうだ. まずユークリッド幾何学的な描像を越えてで考える. 射影表現を考えることになるためこれをと書く. に対しては今まで考えていたと同じものを取る.
観察. はを固定する.しかし定数倍を無視すればあと2つの固有ベクトルも不変である.つまり上では3本の元を固定する. これらを次のとする.
ただし, は上半平面にいる1の原始3乗根. 適当にを作用させることで他の3つも得る.
等を満たすことが確かめられる.
これらの集合に対して(1234)の置換として作用するような変換を探す. といっても先の行列はすでにこの性質を満たしている(共役による作用が正4面体群に対して外部自己同型写像として作用するので当然). 多少根気よく探すと,
が新たな候補として挙がる. 正4面体群と合わせて上に4次対称群を生成することは確かめられる. ただし先ほどとは異なり, 虚数が含まれるためを固定しない. 問題は正20面体群と合わせたときに有限群を生成するかだが,
等が満たされる*1
ここまでの結果をまとめる. 次の生成元によっての射影表現が決まる.
さて, これをに持ち上げる, つまりに作用する射影変換ではなくのベクトルに作用する線形変換に戻す. すると中心を(スカラー行列)に持ち, を満たす位数3×360=1080の群になる. これがヴァレンティナー群である*2. 1の原始3乗根のスカラー行列を含むことは,
などから確かめられる.
交代群の被覆群
は6次交代群の3重被覆に他ならない. しかし他の交代群では普通こういうことは起こらない. 6,7次以外の交代群には2重被覆しか存在しない. 6,7次交代群にのみ例外的に3重被覆が存在する.
https://en.wikipedia.org/wiki/Covering_groups_of_the_alternating_and_symmetric_groups
このWikipediaの記事に書いてあることを鵜呑みにすることくらいしかできないが, Schurが対称群と交代群の射影表現を調べる過程でそれらの被覆群に関する主要な結果を得たらしい.
SU(3)の有限部分群
さて, うまく表現行列を選んだおかげで上で得たヴァレンティナー群の実現はユニタリ表現になっている. 当然だが行列式もすべて1なのでに入っている. つまりの有限部分群なのである.
が素粒子物理学で果たす役割の大きさゆえか, の有限部分群について書かれた論文はしばしば物理学に関連付けられていた.
Patrick Otto Ludl "The finite subgroups of SU(3)"
https://indico.desy.de/indico/event/5590/session/1/contribution/55/material/slides/0.pdf
Patrick Otto Ludl "Comments on the classification of the finite subgroups of SU(3)"
[1101.2308] Comments on the classification of the finite subgroups of SU(3)
比較的分かりやすい無限系列, や部分群に加えて, いくつかの例外群が含まれている. ヴァレンティナー群の他,
Michela Artebani, Igor Dolgachev "Hesse pencil of plane cubic curves" [math/0611590] The Hesse pencil of plane cubic curves
8次元表現
の3次元ユニタリ表現が得られたので, ここから8次元表現を作ることができる. . の随伴表現である.
まずの基底を用意.ゲルマン行列.
に内積をで定めるとこれらは正規直交基底をなす. の8次元表現は
行列要素は.
で決まる. ゲルマン行列が正規直交基底になるように内積を決めたので直交行列が得られる. これを有限部分群であるに制限する. 核がなのでの忠実な表現ではなく, の忠実な表現になる. 生成元に対してその表現行列を書いてしまおう.
共役類の代表元はこれらに加えて単位行列, および次のふたつ.
を含む式は等でなるべく少ない項で表しているが, ほんとうはの一次の項だけが現れるように書ける*3.
これで指標表を書ける.
表現が今得た表現そのもので, 表現は任意にとった奇置換ひとつの共役による作用の外部自己同型写像との合成. 既約性もこの表から確かめられる.
ところで, こうしてに表現をとれたことで八元数によって更に内に2重被覆の表現を作ることができる. トライアリティ―.
「トライアリティー」(八元数SF) - Shironetsu Blog
が, ちょっと手に負えないほど計算が大変なので次の機会に回す. 例外的な交代群が8次元空間に住んでいるというのはかなり意味深な気がするのでこのあたりはいずれ追究したい.
6次対称群の16次元表現.
から, すぐに6次対称群の表現をつくることができる. 具体的には適当に位数2の奇置換, たとえばをとったとき, 任意の奇置換に対しては偶置換であるが,
とすれば正しく表現になる. 指標をがどうなるか考えるとすぐに分かるようにこれは既約表現.
まとめとこれから
ヴァレンティナー群という幾何学的意味が明瞭な対象を介して, 6次交代群の8次元表現, 及び6次対称群の16次元表現の素性がよりよく理解できた. 8次元には変なものがいろいろ棲んでいるのでもう少しそのあたりも突き止めたい.
次に考えるとすれば7次交代群の前にPSL(2,7)だろうか. ちょっと調べるだけでも途方もなく深い数学が広がっていることが分かるが, まずは線形表現から考えてみたい.
リファレンス
[1]関口次郎 "正面体群からの旅たち" http://www.math.chuo-u.ac.jp/ENCwMATH/51/ewm51_Sekiguchi1.pdf
[2]Scott Crass "Solving the sextic by iteration: A study in complex geometry and dynamics" https://arxiv.org/abs/math/9903111
[3]Crespo, T., & Zbigniew Hajto. (2005). The Valentiner Group as Galois Group. Proceedings of the American Mathematical Society, 133(1), 51-56. Retrieved from http://www.jstor.org/stable/4097824
[4]大渕 朗 "ガロア点と自己同型について" http://www.rimath.saitama-u.ac.jp/lab.jp/fsakai/Ohbuchi2013.pdf
[5]http://pantodon.shinshu-u.ac.jp/topology/literature/finite_subgroup_of_Lie_group.html