PSL(2,11)指標表手作り体験記――Paley biplaneと正20面体
イントロ――ガロアの最後の手紙
シュヴァリエへ宛てたガロアの最後の手紙[1]. モジュラー方程式との関係から彼が重要視し, 証明なしに与えた命題は現代的なことばで述べるとこうであった.
素数 に対して, が 点への忠実かつ推移的な作用を持つのは のときに限られる.
それぞれ正4面体群, 正8面体群, 正20面体群を部分群としてもつことから起こるこの現象. ADE分類, McKay対応の「例外的な三つ組」がここにも現れる.
本記事では について調べた前回の記事に引き続き, の既約指標を求めつつ, ここで起こっている現象の理解を目標とする.
小さな非可換単純群 - PSL(2,p) - Shironetsu Blog
PSL(2,7)指標表手作り体験記(1) 3,3,8次元既約表現 - Shironetsu Blog
PSL(2,7)指標表手作り体験記(2)――ファノ平面・GL(3,2)・四元数・正8面体 - Shironetsu Blog
なお, この記事を書くにあたってはKostantによる優れた解説[2]を大いに参考にした.
PSL(2,11):基礎事項
一般に奇素数についての位数は. 従って,
\begin{align}
|PSL(2,11)| = 660.
\end{align}
の共役類は「ほぼ」プラスマイナスを無視したトレースで決まる. 例外はトレースが±2の場合. 単位元のみからなる共役類, 位数の元からなる2つの共役類の合わせて3つに分裂する.
ここで角括弧はプラスマイナスを同一視する意味で用いる.
\begin{align}
\begin{bmatrix}
a & b\\
c & d
\end{bmatrix}
=\left\{
\begin{pmatrix}
a & b\\
c & d
\end{pmatrix},\
\begin{pmatrix}
-a & -b\\
-c & -d
\end{pmatrix}
\right\}\in PSL(2,p).
\end{align}
共役類とその代表元のリストは以下の通り.
\begin{align}
\begin{array}{|c|c|c|c|}\hline
\mbox{共役類}&\mbox{代表元} & \mbox{大きさ} &\mbox{位数} \\ \hline
1A_1&\begin{bmatrix}
1 & 0\\
0 & 1
\end{bmatrix}
& 1 & 1 \\ \hline
55A_2&\begin{bmatrix}
0 & -1\\
1 & 0
\end{bmatrix} =t
& 55 & 2 \\ \hline
110A_3&\begin{bmatrix}
1 & -1\\
1 & 0
\end{bmatrix} = st
& 110 & 3 \\ \hline
60A_{11}&\begin{bmatrix}
1 & 1\\
0 & 1
\end{bmatrix} = s
& 60 & 11 \\ \hline
60B_{11}&\begin{bmatrix}
1 & 2\\
0 & 1
\end{bmatrix} = s^2
& 60 & 11 \\ \hline
132A_5&\begin{bmatrix}
3 & -1\\
1 & 0
\end{bmatrix} = s^3t
& 132 & 5 \\ \hline
132B_5&\begin{bmatrix}
4 & -1\\
1 & 0
\end{bmatrix} = s^4t
& 132 & 5 \\ \hline
110A_6&\begin{bmatrix}
5 & -1\\
1 & 0
\end{bmatrix} = s^5t
& 110 & 6 \\ \hline
\end{array}
\end{align}
生成元によって各代表元がどう表されるかも書いた. との表現さえ得られれば全ての指標が分かることになる.
5次元既約表現
の3次元既約表現を思い出しながら.
11の平方剰余は1,3,4,5,9. 1の原始11乗根をとして, 11の平方剰余によるのべき乗の和をとする.
が平方非剰余であることから,
の満たす2次方程式は,
これを解くと,
複号はプラスをとることにして, 以下のを定義する.
すべて実数であることに注意. 順序は,
から来ている. これらを用いて, 次の5×5行列を定義する.
\begin{align}
T =
\begin{pmatrix}
a & b & c & d & e\\
b & c & d & e & a\\
c & d & e & a & b\\
d & e & a & b & c\\
e & a & b & c & d
\end{pmatrix}.
\end{align}
行・列成分の順序は, 対角成分の順序はとなっていることに気付くだろう. 美しい.
トレース, 行列式はそれぞれ,
2乗すると,
\begin{align}
T^2 &=
\begin{pmatrix}
p & q & r & r & q\\
q & p & q & r & r\\
r & q & p & q & r\\
r & r & q & p & q\\
q & r & r & q & p
\end{pmatrix},
\end{align}
ここで,
なんとも都合の良いことに, が成り立つ. すなわち,
\begin{align}
T^2 = {\bf 1}.
\end{align}
もうひとつ, 次の対角行列を定義する.
明らかに, そして(数式処理ソフトの力を借りて,
\begin{align}
(TS)^3 = (S^2TS^6T)^3 = {\bf 1}.
\end{align}
これが何を意味するかというと,
\begin{align}
\langle S,T\rangle\cong PSL(2,11).
\end{align}
つまりはの5次元表現の生成元[3].
\begin{align}
s= \begin{bmatrix}
1 & 1\\
0 & 1
\end{bmatrix}
\mapsto S,\ \
t=\begin{bmatrix}
0 & -1\\
1 & 0
\end{bmatrix}
\mapsto T
\end{align}
によって表現になる. 指標は以下の通り.
クラインの4次曲線のように, 4次元複素射影空間でこの行列による射影変換で不変なものを探すとあっさり見つかって次のように書ける.
\begin{align}
x_1x_2^2+x_2x_3^2+x_3x_4^2+x_4x_5^2+x_5x_1^2=0.
\end{align}
特に, 左辺をとおくと
\begin{align}
f(S{\bf x})=f(T({\bf x}))=f({\bf x})
\end{align}
が成立して不変式となっている. 何が起こっているのかよく分からないがとにかくそうなっている.
もうひとつの5次元既約表現は複素共役から得られる. あるいは, (行列式が平方非剰余)の元による外部自己同型写像によってとを入れ替えても複素共役と同値な表現になる.
この5次元表現に関しては計算すると確かに表現になっている, 以上のことが言えない. 背景にあるのが何なのか分かっていない.
10次元既約表現その1
本記事の主目標. は11点に推移的に作用する. 13以上の素数でが点に推移的に作用することはない. ではが11点に推移的に作用できるのはなぜかというと正20面体群と同型な部分群を持つためである.
Paley Biplane
11の平方剰余(0を除く)の集合をとする.法を11として全ての元に1ずつ加えてゆき, 順に とする. ただし10はXで表す.
\begin{align}
a &= \{1,3,4,5,9\}\\
b &= \{2,4,5,6,{\rm X\!}\}\\
c &= \{0,3,5,6,7\}\\
d &= \{1,4,6,7,8\}\\
e &= \{2,5,7,8,9\}\\
f &= \{3,6,8,9,{\rm X\!}\}\\
g &= \{0,4,7,9,{\rm X\!}\}\\
h &= \{0,1,5,8,{\rm X\!}\}\\
i &= \{0,1,2,6,7\}\\
j &= \{1,2,3,7,8\}\\
k &= \{3,4,5,8,9\}
\end{align}
数を「点」, アルファベットを「直線」と呼び, それぞれのなす集合をとしよう.
\begin{align}
P &= \{0,1,2,3,4,5,6,7,8,9,{\rm X}\}\\
L &= \{a,b,c,d,e,f,g,h,i,j,k\}
\end{align}
よく観察すると, 異なる2つの「点」は2つの同じ「直線」にのり, 異なる2つの「直線」は2つの同じ「点」をのせている(2点で「交わる」)ことが分かる.
たとえばはに含まれ, はを含んでいる. 集合の言葉で記述すると,
\begin{gather}
\forall p,q \in P,{\rm s.t.}\ p\neq q,\ \ |\{\ell \in L \mid \{p,q\}\subset \ell\}| = 2, \\
\forall \ell,m \in L,{\rm s.t.}\ \ell\neq m,\ \ |\{p \in P \mid \{\ell,m\}\subset p\}| = 2.
\end{gather}
この組み合わせを, Paley Biplane*1という[4,5]. 名前は数学者Raymond Paleyから.
また, ブロックデザインのことばではデザインとなる. ここでデザインの定義は以下の通り.
定義: ブロックデザイン
個の元からなる有限集合に対して, 大きさのの部分集合の全体をとする.
の部分集合があって次の性質を満たす:
の相異なる個の元に対して, それらを含むの元はちょうど個存在する.
いま, は「点」の集合, は「直線」の集合に対応する. 点集合の点部分集合の集合について, の相異なる個の元はちょうど個のの元に含まれるため, Paley Biplaneはデザイン.
アダマール行列
Paley biplaneは位数のアダマール型2-デザインとも呼ばれる. このデザインから次のアダマール行列が作られるのだ. アダマール行列とは, すべての成分がの正方行列であって, それ自身の転置行列との積がスカラー行列になるもの.
具体的な構成は次のようになる. 行列について, 12行目と12列目成分はともにすべて1として, 他の行はa…kのアルファベットで, 列は0から始めて11までで指定することにする. 各マスをPaley biplneの組をなすなら1, そうでないならで埋める. すると,
\begin{align}
H =
\left(\begin{array}{rrrrrrrrrrrr}
-1 & 1 & -1 & 1 & 1 & 1 & -1 & -1 & -1 & 1 & -1 & 1\\
-1 & -1 & 1 & -1 & 1 & 1 & 1 & -1 & -1 & -1 & 1 & 1\\
1 & -1 & -1 & 1 & -1 & 1 & 1 & 1 & -1 & -1 & -1 & 1\\
-1 & 1 & -1 & -1 & 1 & -1 & 1 & 1 & 1 & -1 & -1 & 1\\
-1 & -1 & 1 & -1 & -1 & 1 & -1 & 1 & 1 & 1 & -1 & 1\\
-1 & -1 & -1 & 1 & -1 & -1 & 1 & -1 & 1 & 1 & 1 & 1\\
1 & -1 & -1 & -1 & 1 & -1 & -1 & 1 & -1 & 1 & 1 & 1\\
1 & 1 & -1 & -1 & -1 & 1 & -1 & -1 & 1 & -1 & 1 & 1\\
1 & 1 & 1 & -1 & -1 & -1 & 1 & -1 & -1 & 1 & -1 & 1\\
-1 & 1 & 1 & 1 & -1 & -1 & -1 & 1 & -1 & -1 & 1 & 1\\
1 & -1 & 1 & 1 & 1 & -1 & -1 & -1 & 1 & -1 & -1 & 1\\
1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1
\end{array}\right).
\end{align}
これが12次のアダマール行列になっている:
\begin{align}
HH^T = 12 I.
\end{align}
は単位行列.
ちなみに同じような方法でなる素数冪から次のアダマール行列が作られる.
12次のアダマール行列は11,12次のマシュー群との関係からもあまりに重要で, またたぶん別の機会に調べることになると思う.
さて, このPaley Biplaneの自己同型群がと同型なのである. すなわちはとのどちらにも11点の置換として作用する. とはいえ, は1次変換の群. どこにPaley Biplaneがいるのだろう?
2項正20面体群
の部分群であった2項正20面体群を思い出そう. 詳しくは以前の記事を参照.
球面調和関数で正20面体をつくる(4) - 2項正20面体群とマッカイ対応 - Shironetsu Blog
座標で正20面体の頂点として次の12個を取ることができる.
\begin{gather}
(\pm \phi,\pm1,0),\
(0,\pm\phi,\pm 1),\
(\pm 1,0,\pm\phi)\\
\phi = \frac{1+\sqrt{5}}{2}
\end{gather}
はの正根. これらを四元数に対応させると, これらを不変に保つ共役による作用を引き起こす4元数の全体は, 以下の120個.
\begin{gather}
(\pm 1,0,0,0),\ (0,\pm 1,0,0),\ (0,0,\pm 1,0),\ (0,0,0\pm 1),\\
(\pm\frac{1}{2},\pm\frac{1}{2},\pm\frac{1}{2},\pm\frac{1}{2}),\\
(\pm\frac{\phi^{-1}}{2},\pm \frac{\phi}{2},\pm\frac{1}{2},0),\
(\pm \frac{\phi}{2},\pm\frac{\phi^{-1}}{2},0,\pm\frac{1}{2}),\
(\pm\frac{1}{2},0,\pm\frac{\phi^{-1}}{2},\pm \frac{\phi}{2}),\
(0,\pm\frac{1}{2},\pm \frac{\phi}{2},\pm\frac{\phi^{-1}}{2}),\\
(\pm\frac{\phi^{-1}}{2},\pm\frac{1}{2},0,\pm \frac{\phi}{2}),\
(\pm\frac{\phi^{-1}}{2},0,\pm \frac{\phi}{2},\pm\frac{1}{2}),\
(0,\pm\frac{\phi^{-1}}{2},\pm\frac{1}{2},\pm\frac{\phi}{2}),\
(\pm\frac{1}{2},\pm\frac{\phi^{-1}}{2},\pm\frac{\phi}{2},0),\\
(0,\pm\frac{\phi}{2},\pm\frac{\phi^{-1}}{2},\pm\frac{1}{2}),\
(\pm\frac{\phi}{2},\pm\frac{1}{2},\pm\frac{\phi^{-1}}{2},0),\
(\pm\frac{1}{2},\pm\frac{\phi}{2},0,\pm\frac{\phi^{-1}}{2}),\
(\pm\frac{\phi}{2},0,\pm\frac{1}{2},\pm\frac{\phi^{-1}}{2}).
\end{gather}
なお下3行は成分の互いに成分の偶置換. これが2項正20面体群である.
これをに移そう. から以下のようにとれる.
\begin{align}
{\bf i} =
\begin{pmatrix}
3 & 1\\
1 & -3
\end{pmatrix},\ \
{\bf j} =
\begin{pmatrix}
0 & -1\\
1 & 0
\end{pmatrix},\ \
{\bf k} =
\begin{pmatrix}
1 & -3\\
-3 & -1
\end{pmatrix}.
\end{align}
5は11の平方剰余であるため, に固定して上で
\begin{align}
\phi = \frac{1+\sqrt{5}}{2} = 4
\end{align}
とする. すると, 以下の120個が2項正20面体群と同型な群を内でつくる.
\begin{gather}
(\pm 1,0,0,0),\ (0,\pm 1,0,0),\ (0,0,\pm 1,0),\ (0,0,0\pm 1),\\
(\pm 5,\pm 5,\pm 5,\pm 5),\\
(\pm 4,\pm 2,\pm 5,0),\
(\pm 2,\pm 4,0,\pm 5),\
(\pm 5,0,\pm 4,\pm 2),\
(0,\pm 5,\pm 2,\pm 4),\\
(\pm 4,\pm 5,0,\pm 2),\
(\pm 4,0,\pm 2,\pm 5),\
(0,\pm 4,\pm 5,\pm 2),\
(\pm 5,\pm 4,\pm 2,0),\\
(0,\pm 2,\pm 4,\pm 5),\
(\pm 2,\pm 5,\pm 4,0),\
(\pm 5,\pm 2,0,\pm 4 ),\
(\pm 2,0,\pm 5,\pm 4).
\end{gather}
これらが固定するのが次の6本の「対角線」(プラスマイナスを同一視する)の集合.
\begin{gather}
(\pm 4,\pm1,0),\
(0,\pm 4,\pm 1),\
(\pm 1,0,\pm 4)
\end{gather}
との内積はやはり
\begin{align}
(A,B)=\frac{-1}{2}{\rm tr}(AB) = xx'+yy'+zz'
\end{align}
で定義する.
11元体上の正20面体たち
以下の観察を行う.
問題1. と同じく自分自身との内積がとなるベクトルは何個あるか?
答え1. 132個.
の解を数える. これらの集合をとする.
\begin{align}
\mathcal{V} = \{(x,y,z)\in (\mathbb{F}_{11})^3\mid x^2+y^2+z^2=6\}
\end{align}
プラスマイナスを同一視するとちょうど半分の66個.
\begin{align}
\lbrack x,y,z\rbrack = \left\{(x,y,z),(-x,-y,-z)\right\}
\end{align}
と表すことにして,
\begin{align}
\mathcal{D} = \{\lbrack x,y,z\rbrack\mid\lbrack x,y,z\rbrack\subset \mathcal{V}\}
\end{align}
を定義する. . このが「対角線」の集合.
問題2. 「正20面体」 に対するの共役による作用の軌道はどのようになるか?
答え2. 軌道-固定点定理から大きさは11. 以下に列挙する.
\begin{align}
{\bf 0} &:\{\lbrack1, 0, 4\rbrack, \lbrack1, 0, 7\rbrack, \lbrack0, 4, 1\rbrack, \lbrack0, 4, 10\rbrack, \lbrack4, 10, 0\rbrack, \lbrack4, 1, 0\rbrack\}\\
{\bf 1} &:\{\lbrack1, 9, 1\rbrack, \lbrack1, 4, 0\rbrack, \lbrack1, 9, 10\rbrack, \lbrack5, 8, 7\rbrack, \lbrack5, 6, 0\rbrack, \lbrack5, 8, 4\rbrack\}\\
{\bf 2} &:\{\lbrack3, 4, 6\rbrack, \lbrack2, 10, 10\rbrack, \lbrack4, 0, 1\rbrack, \lbrack3, 7, 6\rbrack, \lbrack5, 0, 6\rbrack, \lbrack2, 1, 10\rbrack\}\\
{\bf 3} &:\{\lbrack1, 2, 1\rbrack, \lbrack5, 3, 4\rbrack, \lbrack5, 3, 7\rbrack, \lbrack1, 7, 0\rbrack, \lbrack1, 2, 10\rbrack, \lbrack5, 5, 0\rbrack\}\\
{\bf 4}&:\{\lbrack3, 6, 4\rbrack, \lbrack2, 9, 8\rbrack, \lbrack4, 8, 6\rbrack, \lbrack3, 2, 2\rbrack, \lbrack2, 8, 2\rbrack, \lbrack5, 4, 3\rbrack\}\\
{\bf 5}&:\{\lbrack5, 0, 5\rbrack, \lbrack2, 1, 1\rbrack, \lbrack2, 10, 1\rbrack, \lbrack4, 0, 10\rbrack, \lbrack3, 7, 5\rbrack, \lbrack3, 4, 5\rbrack\}\\
{\bf 6}&:\{\lbrack0, 5, 5\rbrack, \lbrack1, 10, 9\rbrack, \lbrack4, 5, 3\rbrack, \lbrack0, 1, 7\rbrack, \lbrack1, 1, 2\rbrack, \lbrack4, 6, 8\rbrack\}\\
{\bf 7}&:\{\lbrack2, 9, 3\rbrack, \lbrack4, 8, 5\rbrack, \lbrack2, 8, 9\rbrack, \lbrack5, 4, 8\rbrack, \lbrack3, 6, 7\rbrack, \lbrack3, 2, 9\rbrack\}\\
{\bf 8}&:\{\lbrack4, 6, 3\rbrack, \lbrack1, 1, 9\rbrack, \lbrack0, 5, 6\rbrack, \lbrack4, 5, 8\rbrack, \lbrack1, 10, 2\rbrack, \lbrack0, 1, 4\rbrack\}\\
{\bf 9}&:\{\lbrack3, 5, 4\rbrack, \lbrack2, 3, 2\rbrack, \lbrack4, 3, 6\rbrack, \lbrack3, 9, 2\rbrack, \lbrack5, 7, 3\rbrack, \lbrack2, 2, 8\rbrack\}\\
{\bf \rm X}&:\{\lbrack2, 3, 9\rbrack, \lbrack4, 3, 5\rbrack, \lbrack3, 5, 7\rbrack, \lbrack5, 7, 8\rbrack, \lbrack3, 9, 9\rbrack, \lbrack2, 2, 3\rbrack\}
\end{align}
これらの集合をとする. 「対角線」はちょうど1つのの「正20面体」に含まれる.
問題3. 「正20面体」はいくつ存在するか?
答え3. 22個.
「正20面体」とは互いの内積がの「対角線」6本の集合のこと.
に加えて次の11個が存在.
\begin{align}
a &: \{\lbrack1, 10, 9\rbrack, \lbrack1, 1, 9\rbrack, \lbrack1, 0, 4\rbrack, \lbrack5, 0, 6\rbrack, \lbrack5, 7, 8\rbrack, \lbrack5, 4, 8\rbrack\}\\
b &: \{\lbrack1, 9, 1\rbrack, \lbrack0, 4, 1\rbrack, \lbrack0, 5, 6\rbrack, \lbrack1, 2, 10\rbrack, \lbrack4, 3, 6\rbrack, \lbrack4, 8, 5\rbrack\}\\
c &: \{\lbrack2, 9, 8\rbrack, \lbrack2, 3, 9\rbrack, \lbrack3, 7, 6\rbrack, \lbrack4, 5, 8\rbrack, \lbrack3, 9, 2\rbrack, \lbrack5, 8, 4\rbrack\}\\
d &: \{\lbrack3, 5, 4\rbrack, \lbrack2, 1, 1\rbrack, \lbrack4, 10, 0\rbrack, \lbrack3, 5, 7\rbrack, \lbrack5, 5, 0\rbrack, \lbrack2, 1, 10\rbrack\}\\
e &: \{\lbrack0, 5, 5\rbrack, \lbrack1, 2, 1\rbrack, \lbrack4, 3, 5\rbrack, \lbrack0, 4, 10\rbrack, \lbrack4, 8, 6\rbrack, \lbrack1, 9, 10\rbrack\}\\
f &:\{\lbrack3, 6, 4\rbrack, \lbrack2, 10, 10\rbrack, \lbrack4, 1, 0\rbrack, \lbrack2, 10, 1\rbrack, \lbrack5, 6, 0\rbrack, \lbrack3, 6, 7\rbrack\}\\
g &:\{\lbrack4, 0, 1\rbrack, \lbrack1, 4, 0\rbrack, \lbrack0, 1, 7\rbrack, \lbrack1, 7, 0\rbrack, \lbrack4, 0, 10\rbrack, \lbrack0, 1, 4\rbrack\}\\
h &:\{\lbrack3, 4, 6\rbrack, \lbrack5, 3, 4\rbrack, \lbrack4, 6, 8\rbrack, \lbrack3, 2, 2\rbrack, \lbrack2, 8, 9\rbrack, \lbrack2, 2, 8\rbrack\}\\
i &: \{\lbrack4, 6, 3\rbrack, \lbrack5, 3, 7\rbrack, \lbrack2, 8, 2\rbrack, \lbrack3, 4, 5\rbrack, \lbrack2, 2, 3\rbrack, \lbrack3, 2, 9\rbrack\}\\
j &:\{\lbrack5, 0, 5\rbrack, \lbrack1, 1, 2\rbrack, \lbrack1, 10, 2\rbrack, \lbrack5, 7, 3\rbrack, \lbrack5, 4, 3\rbrack, \lbrack1, 0, 7\rbrack\}\\
k &: \{\lbrack2, 3, 2\rbrack, \lbrack2, 9, 3\rbrack, \lbrack4, 5, 3\rbrack, \lbrack5, 8, 7\rbrack, \lbrack3, 7, 5\rbrack, \lbrack3, 9, 9\rbrack\}
\end{align}
これらの集合をとする. 「対角線」はちょうど1つのの「正20面体」に含まれる.
のときからの類推で, が「点」に, が「直線」に, それぞれ対応付けられることが期待できる. というか既にもう答えを書いた. ただ対応の仕方が少し変わっている.
の元を見よう.
\begin{align}
{\bf 0} : \{\lbrack1, 0, 4\rbrack, \lbrack1, 0, 7\rbrack, \lbrack0, 4, 1\rbrack, \lbrack0, 4, 10\rbrack, \lbrack4, 10, 0\rbrack, \lbrack4, 1, 0\rbrack\}
\end{align}
に含まれる6つの元は, のに分かれて1つずつ入っている.
\begin{align}
a &: \{\lbrack1, 10, 9\rbrack, \lbrack1, 1, 9\rbrack, \underline{\lbrack1, 0, 4\rbrack}, \lbrack5, 0, 6\rbrack, \lbrack5, 7, 8\rbrack, \lbrack5, 4, 8\rbrack\}\\
b &: \{\lbrack1, 9, 1\rbrack, \underline{\lbrack0, 4, 1\rbrack}, \lbrack0, 5, 6\rbrack, \lbrack1, 2, 10\rbrack, \lbrack4, 3, 6\rbrack, \lbrack4, 8, 5\rbrack\}\\
d &: \{\lbrack3, 5, 4\rbrack, \lbrack2, 1, 1\rbrack, \underline{\lbrack4, 10, 0\rbrack}, \lbrack3, 5, 7\rbrack, \lbrack5, 5, 0\rbrack, \lbrack2, 1, 10\rbrack\}\\
e &: \{\lbrack0, 5, 5\rbrack, \lbrack1, 2, 1\rbrack, \lbrack4, 3, 5\rbrack, \underline{\lbrack0, 4, 10\rbrack}, \lbrack4, 8, 6\rbrack, \lbrack1, 9, 10\rbrack\}\\
f &:\{\lbrack3, 6, 4\rbrack, \lbrack2, 10, 10\rbrack, \underline{\lbrack4, 1, 0\rbrack}, \lbrack2, 10, 1\rbrack, \lbrack5, 6, 0\rbrack, \lbrack3, 6, 7\rbrack\}\\
j &:\{\lbrack5, 0, 5\rbrack, \lbrack1, 1, 2\rbrack, \lbrack1, 10, 2\rbrack, \lbrack5, 7, 3\rbrack, \lbrack5, 4, 3\rbrack, \underline{\lbrack1, 0, 7\rbrack}\}
\end{align}
はPaley biplaneにおいて「点」がのっていない6つの「直線」である. 逆に補集合は「点」0がのっている5つの「直線」.
「点」と「直線」の双対性からこれらの語を入れ替えても同じことが言える. の元を見よう.
\begin{align}
a : \{\lbrack1, 10, 9\rbrack, \lbrack1, 1, 9\rbrack, \lbrack1, 0, 4\rbrack, \lbrack5, 0, 6\rbrack, \lbrack5, 7, 8\rbrack, \lbrack5, 4, 8\rbrack\}
\end{align}
に含まれる6つの元は, のに分かれて1つずつ入っている.
\begin{align}
{\bf 0} &:\{\underline{\lbrack1, 0, 4\rbrack}, \lbrack1, 0, 7\rbrack, \lbrack0, 4, 1\rbrack, \lbrack0, 4, 10\rbrack, \lbrack4, 10, 0\rbrack, \lbrack4, 1, 0\rbrack\}\\
{\bf 2} &:\{\lbrack3, 4, 6\rbrack, \lbrack2, 10, 10\rbrack, \lbrack4, 0, 1\rbrack, \lbrack3, 7, 6\rbrack, \underline{\lbrack5, 0, 6\rbrack}, \lbrack2, 1, 10\rbrack\}\\
{\bf 6}&:\{\lbrack0, 5, 5\rbrack, \underline{\lbrack1, 10, 9\rbrack}, \lbrack4, 5, 3\rbrack, \lbrack0, 1, 7\rbrack, \lbrack1, 1, 2\rbrack, \lbrack4, 6, 8\rbrack\}\\
{\bf 7}&:\{\lbrack2, 9, 3\rbrack, \lbrack4, 8, 5\rbrack, \lbrack2, 8, 9\rbrack, \underline{\lbrack5, 4, 8\rbrack}, \lbrack3, 6, 7\rbrack, \lbrack3, 2, 9\rbrack\}\\
{\bf 8}&:\{\lbrack4, 6, 3\rbrack, \underline{\lbrack1, 1, 9\rbrack}, \lbrack0, 5, 6\rbrack, \lbrack4, 5, 8\rbrack, \lbrack1, 10, 2\rbrack, \lbrack0, 1, 4\rbrack\}\\
{\bf \rm X}&:\{\lbrack2, 3, 9\rbrack, \lbrack4, 3, 5\rbrack, \lbrack3, 5, 7\rbrack, \underline{\lbrack5, 7, 8\rbrack}, \lbrack3, 9, 9\rbrack, \lbrack2, 2, 3\rbrack\}
\end{align}
はPalay biplaneにおいて「直線」がのせていない6つの「点」である. 逆に補集合は「直線」がのせている5つの「点」.
かくしてPaley biplaneが見つかった. Palay biplaneの自己同型群「全体」であるというには少し足りないが, の元が自己同型として作用することは言えた(実際Paley biplaneのフルの対称性がである.).
この埋め込みによって生成元は以下のように写される.
\begin{align}
s = \begin{bmatrix}
1 & 1\\
0 & 1
\end{bmatrix}
&\mapsto ({\bf 029867315{\rm X}4}) = (a\,h\,b\,g\,k\,i\,e\,f\,d\,c\,j)\\
t = \begin{bmatrix}
0 & -1\\
1 & 0
\end{bmatrix}
&\mapsto ({\bf 13})({\bf 49})({\bf 68})({\bf 7{\rm X}}) = (b\,e)(c\,h)(d\,f)(i\,k).
\end{align}
各共役類の代表元についても,
\begin{align}
st = \begin{bmatrix}
1 & -1\\
1 & 0
\end{bmatrix}
&\mapsto {\bf (029)(35{\rm X})(487)} = (a\,h\,j)(b\,f\,c)(e\,g\,k)\\
s^2 = \begin{bmatrix}
1 & 2\\
0 & 1
\end{bmatrix}
&\mapsto {\bf (0963542871{\rm X})} = (a\,b\,k\,e\,d\,j\,h\,g\,i\,f\,c)\\
s^3t = \begin{bmatrix}
3 & -1\\
1 & 0
\end{bmatrix}
&\mapsto {\bf (081{\rm X}5)(26347)} = (a\,g\,e\,i\,f)(b\,c\,k\,d\,j)\\
s^4t = \begin{bmatrix}
4 & -1\\
1 & 0
\end{bmatrix}
&\mapsto {\bf (06143)(27985)} = (a\,k\,c\,i\,d)(b\,j\,g\,f\,h)\\
s^5t = \begin{bmatrix}
5 & -1\\
1 & 0
\end{bmatrix}
&\mapsto {\bf (078{\rm X}41)(23)(596)} = (a\,i\,c\,e\,f\,b)(d\,h\,g)(j\,k)
\end{align}
と写る. 11次対称群の10次元既約表現の制限によって指標は以下のようになる.
\begin{align}
\begin{array}{|c|cccccccc|}\hline
\mbox{共役類}&1A_1 & 55A_2 & 110A_3 & 60A_{11} & 60B_{11} & 132A_5 & 132B_5 & 110A_6\\
\hline
\mbox{置換の型}
& \lbrack1^{11}\rbrack
& \lbrack1^32^4\rbrack
& \lbrack1^23^3\rbrack
& \lbrack 11\rbrack
& \lbrack 11\rbrack
& \lbrack1,5^2\rbrack
& \lbrack1,5^2\rbrack
& \lbrack2,3,6\rbrack
\\ \hline
\mbox{指標}&10 & 2 & 1 & -1 & -1 & 0 & 0 & -1 \\ \hline
\end{array}
\end{align}
10次元表現その2
5次元既約表現の反対称積から得られる. 一般に, 表現空間をとする群の表現(指標はとする)の反対称テンソル表現の指標は,
で得られるから, 指標は次の通り.
\begin{align}
\begin{array}{|c|cccccccc|}\hline
\mbox{共役類}&1A_1 & 55A_2 & 110A_3 & 60A_{11} & 60B_{11} & 132A_5 & 132B_5 & 110A_6\\
\hline
\mbox{指標}&10 & -2 & 1 & -1 & -1 & 0 & 0 & 1 \\ \hline
\end{array}
\end{align}
11次元表現
上の射影直線への作用から12次交代群の11次元表現に埋め込む. 作用を各共役類の代表元に対して列挙しよう. なお, 10だけXで表す.
\begin{align}
\begin{bmatrix}
0 & -1\\
1 & 0
\end{bmatrix} &= (0\infty)(1{\rm X})(25)(37)(48)(69)\\
\begin{bmatrix}
1 & -1\\
1 & 0
\end{bmatrix} &= (0\infty 1)(26{\rm X})(385)(497)\\
\begin{bmatrix}
1 & 1\\
0 & 1
\end{bmatrix} &= (0123456789{\rm X})\\
\begin{bmatrix}
1 & 2\\
0 & 1
\end{bmatrix} &= (02468{\rm X}13579)\\
\begin{bmatrix}
3 & -1\\
1 & 0
\end{bmatrix} &= (0\infty 3{\rm X}4)(12876)\\
\begin{bmatrix}
4 & -1\\
1 & 0
\end{bmatrix} &= (0\infty 413)(29{\rm X}56)\\
\begin{bmatrix}
5 & -1\\
1 & 0
\end{bmatrix} &= (0\infty 5789)(142{\rm X}63)
\end{align}
置換の型さえ分かれば, 固定点から指標が得られる.
\begin{align}
\begin{array}{|c|cccccccc|}\hline
\mbox{共役類}&1A_1 & 55A_2 & 110A_3 & 60A_{11} & 60B_{11} & 132A_5 & 132B_5 & 110A_6\\
\hline
\mbox{置換の型} &
\lbrack 1^{12}\rbrack &
\lbrack 2^6\rbrack &
\lbrack 3^4\rbrack &
\lbrack 1,11\rbrack &
\lbrack 1,11\rbrack &
\lbrack 1^2\,5^2\rbrack&
\lbrack 1^2\,5^2\rbrack&
\lbrack 6^2\rbrack \\ \hline
\mbox{指標}&11 & -1 & -1 & 0 & 0 & 1 & 1 & -1 \\ \hline
\end{array}
\end{align}
12次元表現
一般に, のへの作用において, の固定部分群は(プラスマイナスを同一視した)上三角行列の全体になる. 指数はで位数は.
\begin{align}
B = \left\{
\begin{bmatrix}
\alpha & \beta\\
0 & \alpha^{-1}
\end{bmatrix}\in PSL(2,p)
\mid
\alpha\in\mathbb{F}_p^{\times}, \beta\in\mathbb{F}_p
\right\}.
\end{align}
によるの左剰余類の完全代表系は次のように与えられる.
\begin{gather}
R = \left\{t_i \mid i \in P^1(\mathbb{F}_p)\right\},\\
t_\gamma =
\begin{bmatrix}
1 & 0\\
\gamma & 1
\end{bmatrix},\ \
t_\infty =
\begin{bmatrix}
0 & -1\\
1 & 0
\end{bmatrix},\ \
\gamma \in \mathbb{F}_p.
\end{gather}
は対角成分が1の行列全体からなる位数の正規部分群をもつ. 位数は.
\begin{align}
N = \left\{
\begin{bmatrix}
1 & c\\
0 & 1
\end{bmatrix}\in PSL(2,p)
\mid
c\in\mathbb{F}_p
\right\}.
\end{align}
のによる剰余群は巡回群と同型になることが簡単な計算から確かめられる.
\begin{align}
B/N \cong \mathbb{Z}_{(p-1)/2}.
\end{align}
従ってには(忠実でない)既約な1次元表現が個ある. この表現による誘導表現からの(既約とは限らない)次元表現が得られる.
の1次元表現によるの誘導表現の表現行列は具体的に次のように得られる. まず, 部分群の表現を次のように全体に拡張してとする.
\begin{align}
\widetilde{\rho}(g)=\left\{
\begin{array}{cc}
\rho(g) & {\rm if\ } g\in B\\
0 & {\rm else\ if\ } g\not\in B
\end{array}
\right.
\end{align}
左剰余類の完全代表系によって,成分を
\begin{align}
\lbrack\pi(g)\rbrack_{ij} = \widetilde{\rho}(t_i^{-1}gt_j)
\end{align}
とすればの表現になる. 指標は
\begin{align}
\chi_\pi(g) = \sum_{i\in\mathbb{F}_p}\chi_{\widetilde{\rho}}(t_i^{-1}gt_i)
\end{align}
ここから. であり, には次の5通りの互いに同値でない既約な1次元表現が存在する.
\begin{align}
\begin{array}{|c|ccccc|}\hline
b\in B &
\begin{bmatrix}
1 & *\\
0 & 1
\end{bmatrix}
&
\begin{bmatrix}
2 & *\\
0 & 6
\end{bmatrix}
&
\begin{bmatrix}
3 & *\\
0 & 4
\end{bmatrix}
&
\begin{bmatrix}
4 & *\\
0 & 3
\end{bmatrix}
&
\begin{bmatrix}
5 & *\\
0 & 9
\end{bmatrix}\\\hline
\rho_0(b)&1 & 1 & 1 & 1 & 1\\
\rho_1(b)&1 & \xi & \xi^3 & \xi^2 & \xi^4\\
\rho_2(b)&1 & \xi^2 & \xi & \xi^4 & \xi^3\\
\rho_3(b)&1 & \xi^3 & \xi^4 & \xi & \xi^2\\
\rho_4(b)&1 & \xi^4 & \xi^2 & \xi^3 & \xi\\ \hline
\end{array}
\end{align}
ただしは1の原始5乗根.
による誘導表現は, の共役な部分群たちに対する置換表現にほかならず, 既に得られた次元に分解するため無視. 他の誘導表現を得るため, の共役類に対してによる共役を黙々と計算する.
\begin{align}
\begin{bmatrix}
1 & 0\\
-\gamma & 1
\end{bmatrix}
\begin{bmatrix}
a & -1\\
1 & 0
\end{bmatrix}
\begin{bmatrix}
1 & 0\\
\gamma & 1
\end{bmatrix}
&=
\begin{bmatrix}
a-\gamma & -1\\
\gamma^2-a\gamma+1 & \gamma
\end{bmatrix} \\
\begin{bmatrix}
0 & 1\\
-1 & 0
\end{bmatrix}
\begin{bmatrix}
a & -1\\
1 & 0
\end{bmatrix}
\begin{bmatrix}
0 & -1\\
1 & 0
\end{bmatrix}
&=
\begin{bmatrix}
0 & -1\\
1 & a
\end{bmatrix} \\
\begin{bmatrix}
1 & 0\\
-\gamma & 1
\end{bmatrix}
\begin{bmatrix}
1 & b\\
0 & 1
\end{bmatrix}
\begin{bmatrix}
1 & 0\\
\gamma & 1
\end{bmatrix}
&=
\begin{bmatrix}
1+b\gamma & b\\
-b\gamma^2 & 1-b\gamma
\end{bmatrix} \\
\begin{bmatrix}
0 & 1\\
-1 & 0
\end{bmatrix}
\begin{bmatrix}
1 & b\\
0 & 1
\end{bmatrix}
\begin{bmatrix}
0 & -1\\
1 & 0
\end{bmatrix}
&=
\begin{bmatrix}
1 & 0\\
-b & 1
\end{bmatrix}
\end{align}
による誘導表現の指標をで表すと, 以下の表のようになる.
\begin{align}
\begin{array}{|c|cccccccc|}\hline
\mbox{共役類}&1A_1 & 55A_2 & 110A_3 & 60A_{11} & 60B_{11} & 132A_5 & 132B_5 & 110A_6\\
\hline
\chi_1 &12 & 0 & 0 & 1 & 1 & \xi+\xi^4 & \xi^2+\xi^3 & 0 \\ \hline
\chi_2 &12 & 0 & 0 & 1 & 1 & \xi^2+\xi^3 & \xi+\xi^4 & 0 \\ \hline
\chi_3 &12 & 0 & 0 & 1 & 1 & \xi^2+\xi^3 & \xi+\xi^4 & 0 \\ \hline
\chi_4 &12 & 0 & 0 & 1 & 1 & \xi+\xi^4 & \xi^2+\xi^3 & 0 \\ \hline
\end{array}
\end{align}
と, との組み合わせがそれぞれ同値, すべて既約であることが分かる. 12次元既約表現を2つ得た.
指標表
以上の結果を指標表としてまとめる. 各表現を次元と順に下添え字で区別.
まとめとこれから
は11点に推移的に作用する. このことは正20面体群が部分群として存在することが原因である. また, はPaley biplaneと呼ばれる11点集合上のブロックデザインの自己同型群と同型になる. これら2つの事実を結びつけるため, 11元体係数の四元数上に定義される「正20面体」どうしの構造の中にPaley biplaneを発見した.
また, 全ての既約表現の具体的な構成法も示した. ただ, 5次元既約表現については背景にある現象(代数幾何学的な?)を掴めていない. 種数70のbuckyball surface(切頂正20面体型のC60分子, バックミンスターフラーレンに由来)へPaley biplaneを埋め込めるらしい[6]が......
は11次のマシュー群の12点への作用における1点の固定部分群である. また, のような性質こそないものの, 散在型単純群の部分群として重要な役割を担う射影特殊線形群は数多くあり, それらについてもここでの考察が役に立つだろう.
リファレンス
[1]Galois' last letter – neverendingbooks
http://www.neverendingbooks.org/galois-last-letter
[2]Kostant, B., "The graph of the truncated icosahedron and the last letter of Galois." , 1995, Notices of the AMS, 42(9), 959-968.
https://www.ams.org/notices/199509/kostant.pdf
%https://en.wikipedia.org/wiki/Raymond_Paley
[3]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]Martín, P., & Singerman, D. (2012). The geometry behind Galois’ final theorem. European Journal of Combinatorics, 33(7), 1619-1630.
The geometry behind Galois’ final theorem - ScienceDirect