表現をもとめよ．

大統一理論の候補としては，SU(5)やSO(10)やE6があるらしい．
E6の表現を手計算しようとしたらあまりにめんどいので，
カルタン行列と最高ウェイトを与えて表現を求めるプログラムを組もうと試みた．
…再帰が上手くいかない．そろそろプログラミング技術も必要か．

外部自己同型はディンキン図形の対称性に対応させられるらしい．
これを信じておくと，complex representationを持つのは，ディンキン図形に対称性がある場合だけだ．
つまり，SO(2n)，SU(n)，E6である．