PSL(2,7)指標表手作り体験記(1) 3,3,8次元既約表現
イントロ:ある行列と群
問題:次の形の行列が2乗すると単位行列になるための条件は何か?
\begin{align}
A =
\begin{pmatrix}
\lambda & \nu & \mu\\
\nu & \mu & \lambda\\
\mu & \lambda & \nu
\end{pmatrix} \in SL(3,\mathbb{C})
\end{align}
答え:実際に2乗すると,
\begin{gather}
A^2 =
\begin{pmatrix}
p & q & q\\
q & p & q\\
q & q & p
\end{pmatrix},\\
p = \lambda^2 + \mu^2 +\nu^2,\ q = \lambda\mu + \mu \nu + \nu\lambda,
\end{gather}また,
\begin{align}
\det(A) = 3\lambda \mu \nu-\lambda^3-\mu^3-\nu^3 = (\lambda+\mu+\nu)(q-p)
\end{align}
から, であればよい.とすると,これはが
\begin{align}
t^3+t^2-r=0
\end{align}
の根となることと同値. (終)
の場合は簡単.である. そして,
\begin{align}
(34)\mapsto \begin{pmatrix}
-1&0&0\\
0&0&-1\\
0&-1&0
\end{pmatrix},\
(234)\mapsto \begin{pmatrix}
0&1&0\\
0&0&1\\
1&0&0
\end{pmatrix},\
(13)(24)\mapsto \begin{pmatrix}
-1&0&0\\
0&-1&0\\
0&0&1
\end{pmatrix}
\end{align}
によって4次対称群の3次元既約表現, 正8面体群が生成される.
さらにの場合もよく知っている. . ただし,はの正根で,
\begin{align}
\phi &= \frac{1+\sqrt{5}}{2} = 2\cos\frac{\pi}{5}\\
\phi^{-1} &= \frac{-1+\sqrt{5}}{2} = 2\cos\frac{2\pi}{5}.
\end{align}
これを使うと, 以下の対応で5次交代群の3次元既約表現, 正20面体群が生成される.
\begin{align}
(12)(34)\mapsto \frac{1}{2}\begin{pmatrix}
-1&\phi^{-1}&-\phi\\
\phi^{-1}&-\phi&-1\\
-\phi&-1&\phi^{-1}
\end{pmatrix},\
(345)\mapsto \begin{pmatrix}
0&1&0\\
0&0&1\\
1&0&0
\end{pmatrix},\
(23)(45)\mapsto \begin{pmatrix}
-1&0&0\\
0&-1&0\\
0&0&1
\end{pmatrix}.
\end{align}
これから注目するのはの場合. 3つの解が1の7乗根によって表される.
まずを1の原始7乗根とする.すなわち,
とする(1,2,4は7の平方剰余である)と,
複号はのほうをとることにすると,
いま,
とすると, これらは上の関係を満たす:
そして,
のとき, このがの解となっていることが分かった.
さて, こんな行列の何が面白いかというと, 今度は
によっての3次元既約表現が生成されるのだ[1].
有限素体上の射影特殊線形群に関する基本的な性質は以下の記事を参照.
小さな非可換単純群 - PSL(2,p) - Shironetsu Blog
3次元既約表現
試み : C^3への作用
このことはどう理解できるだろう?に住む何かに作用していると嬉しい. 計算してみよう.
まず, の位数はそれぞれ2,3,7である.
\begin{align}
A^2 = B^3 = C^7 ={\bf 1}.
\end{align}
簡単に確認できる関係としては,
\begin{align}
AB^k = B^{2k}A,\ \
BC^k = C^{2k}B,\ \
(BC^k)^3 = {\bf 1},\ \
k\in \mathbb{N}
\end{align}
がある. また, 次の関係を列挙しておく.
これらをつかって次のベクトルへの作用を考えよう.
\begin{align}
u = \left(\!\begin{array}{cc}
1 \\
1 \\
1
\end{array}\!\right).
\end{align}
はの固有ベクトルである.
まず,
\begin{gather}
C^2u = BCu,\
C^3u = B^2 \overline{Cu},\\
C^4u = B^2Cu,\
C^5u = B\overline{Cu},
C^6u = \overline{Cu}
\end{gather}
が分かる. 次に,
と定義すると,
ウーーーン………
の生成する群が有限ならの行き先も当然有限になるので, そのベクトルたちへの作用から何か言えることを期待したもののちょっと計算が煩雑すぎる. 168の真の約数であれば都合がよかったが,どうも168本ありそうだ. それでは勝手なベクトルに作用させるのと変わらない.
これが正20面体群なら6本のequiangular lines(正20面体の中心を通る対角線)[3]の自己同型群であることが言えて旨味があるのだが. 振り返ってみると, このことは1本の対角線の固定化部分群が5次の2面体群で, 正20面体群(ここでは5次交代群の3次元既約表現のこと)への埋め込みが不変部分空間をもつことからきていたのだった. 一方の場合, 極大部分群である位数21の非可換群*1の埋め込みとしての表現は既約となってしまう. また, 同じく極大部分群である位数24の非可換群(というのは4次対称群のことでこのことの重要性はあとでまた述べる)もまた既約.
......ということがこの方法の困難の由来だとみている.
話はそれるがequiangular linesの自己同型群もおもしろそう[4]. 7次元では28本詰め込むことができて, その自己同型群は. でかい.
群の表示
こうなるとこだわらずに群の表示に頼るのが手っ取り早い. 実は一般に(は奇素数)は2つの元から生成されて次の表示をもつ[5].
\begin{align}
PSL(2,p)\cong \langle S,T\mid S^p = T^2 = (TS)^3 = (S^2TS^{(p+1)/2}T)^3 = 1\rangle.
\end{align}
PSL(2,p)の生成元
そもそも, はどのような生成元を持っていたか. いまは一次分数変換とみるのがいい. 上の一次分数変換について, 単純な式変形から次のことが分かる.
\begin{align}
f(x)
= \left\{ \begin{array}{cc}
\displaystyle{\frac{a}{c} + \frac{1}{c^2}\frac{-1}{x+d/c}} & c\neq 0 \\
a^2x+ab & c=0
\end{array}\right..
\end{align}
このことから,
と表せる. ただし,
\begin{align}
s(x) = x+1,\ \
t(x) = \frac{-1}{x},\ \
u(x) = g^2 x \in PSL(2,p),
\end{align}
はの生成元で, は離散対数.
従ってはから生成される. ところが実ははいらないのだ. つまりによって表せる. というのも,
\begin{align}
u = s^{-g}\,t\,s^{-1/g}\,t\,s^{-g}\,t
\end{align}
が成り立つため. 結局はのふたつによって生成される. そしてこのがそれぞれ群の表示におけるに対応する. これを踏まえ, に限定して3次行列たちを見直す. うえの表示において,
\begin{align}
S \mapsto C^4=:\tilde{S},\ \ T\mapsto A=:\tilde{T}
\end{align}
とするとうまくいくかもしれない. まず, だし,
(は1の原始3乗根)が成り立つ.
根気よく計算すると,
...というのは嘘で数式処理ソフトに任せた. を変数に置き換えての剰余をとるというやりかた. 拡大体を手軽に扱えたらいいのだけど.
\begin{align}
(\tilde{T}\tilde{S})^3 = (\tilde{S}^2\tilde{T}\tilde{S}^4\tilde{T})^3 = {\bf 1}
\end{align}
が確かめられる. 参考のため書いておくと,
あきらかにトレースは0. 期待した通りであった.
論理を整理すると次のようになる.
- まず, 行列によって生成される群は, によって, 次の自由群:
の表現となる.
- はと同型であり, 単純群である.
- は明らかに自明な群ではないため, この表現は忠実である.
結局, 次の関係:
\begin{align}
\tilde{S}^3T\tilde{S}^5T\tilde{S}^3\tilde{T} = B
\end{align}
から, の表現として,
\begin{align}
\begin{bmatrix}
0 & -1\\
1 & 0
\end{bmatrix}
\mapsto A,\ \
\begin{bmatrix}
4 & 0\\
0 & 2
\end{bmatrix}
\mapsto B, \ \
\begin{bmatrix}
1 & 2\\
0 & 1
\end{bmatrix}
\mapsto C
\end{align}
であったことが分かる. なおここでは角括弧で囲った行列はを同一視する意味で使う.
8次元既約表現
ここまで考えてきたふたつの互いに共役な3次元既約表現は, の部分群として実現されていた. 従っての随伴表現として8次元表現が構成される.
具体的な計算方法はValentiner群について調べた記事を参照. ここでは構成できることに言及するにとどめる.
ヴァレンティナー群と6次交代群の8次元表現 - Shironetsu Blog
指標表の計算は簡単で, ふたつの互いに共役な3次元既約表現の積から1引けばよい.
8次元既約表現の指標表
これを見て気になることがある. 指標がすべて-1以上の整数. まるで9次対称群の8次元既約表現(型ルート系のワイル群として実現)への既約な埋め込みを持つかのように見える. 指標+1=固定点の数となることと位数に整合するように置換の型を考えると次のようにそれぞれ対応付けられる.
\begin{align}
\begin{array}{|c|c|c|c|c|c|c|} \hline
\mbox{位数}
& 1 & 2 & 3 & 7 & 7 & 4
\\ \hline
\mbox{指標+1}
& 9 & 1 & 0 & 2 & 2 & 1\\ \hline
\mbox{置換の型?}
& 1^9 & 1\ 2^4 & 3^3 & 1^2\ 7 & 1^2\ 7 & 1\ 4^2\\ \hline
\end{array}
\end{align}
しかし9点への推移的な作用は持たない. これを偶然と片付けるかどうするか.
6,7次元既約表現
残るふたつの非自明な既約表現は6,7次元である. それぞれ7,8次対称群への埋め込みから構成できる. 以前の記事でも述べた通り, 「7次対称群への埋め込みを持つ」という特殊性がこの群を一層興味深いものとしている. 詳細は次の記事にまわす.
まとめ
は3次元既約表現をもつ. このことを, ある形を持った位数2の行列が, の有限部分群によく現れる*2, という事実に注目して調べ始めた.
への作用を素朴に調べる方法はあまりうまくいかなかったが, 群の表示から確かにがを生成することを見た.
リファレンス
[1] Klein, F.,Über dir Transformation siebenter Ordnung der elliptischen Funktionen, Math. Annalen 14, 1869, 13-75.
英訳[2]あり. On the Order-Seven Transformation of Elliptic Functions (translated by Silvio Levy)
[2] Levy, Silvio, ed. The eightfold way: the beauty of Klein's quartic curve. Vol. 35. Cambridge university Press, 2001.
http://library.msri.org/books/Book35/
[3] Equiangular lines - Wikipedia
[4] Lemmens, Petrus WH, Johan J. Seidel, and J. A. Green. "Equiangular lines." Geometry and Combinatorics. Academic Press, 1991, 127-145.
Equiangular lines - ScienceDirect
[5] Behr, Helmut, and Jens Mennicke. "A presentation of the groups PSL (2, p)." Canadian Journal of Mathematics 20 , 1968, 1432-1438.
A Presentation of the Groups PSL(2, p) | Canadian Journal of Mathematics | Cambridge Core
[6] John Baez, 2013 Klein's Quartic Curve
[7]Greg Egan, "Klein’s Quartic Curve" ,2005
Klein’s Quartic Curve — Greg Egan