マッカイグラフ: McKay graph)とは、有限群 G と有限次元複素線型表現 V から定まるであり、G表現環英語版の構造に関連する情報を表している。箙の各頂点は G既約指標 χ1, …, χk に対応し、d 次元表現 V の指標 χ とのテンソル積 χχi

と分解されるとき、頂点 χi から χinij 本の矢を描く[1]一般線型群 GL(2, C) の有限部分群 H に対して、 H のマッカイグラフとは H の自然表現のマッカイグラフを指す。

表現 Vカルタン行列 CC = d IA と定義される。ここで Ik 次単位行列であり、A隣接行列 (nij) である。gG の元ならベクトル ((χi(g)) はカルタン行列 C固有値 dχ(g) に対応する固有ベクトルである。

ジョン・マッカイ英語版John McKay)に由来するマッカイ対応(McKay correspondence)とは、特殊線型群 SL(2, C) の有限部分群のマッカイグラフと拡張ディンキン図形との間に一対一の対応があることを述べたものである。この関係は、単純リー代数ADE分類英語版に現れる。

定義

編集

Gを有限群とし、VG表現とする。  をその指標とする。 Gの既約表現とする。

 

であるとき、Gのマッカイグラフ を次のように定義する:

  • Gの各既約表現は の頂点に対応する。
  • nij > 0であるとき、 から へ有向辺を張る。そして、その辺の重みはnijとする:  .
  • もし nij = njiである場合  に、矢印の代わりに辺を張る。加えて、もしnij = 1であれば、 対応する辺に重みは書かない。

nijは内積を考えることにより計算できる。以下の式が成り立つ:

 

ここで、 指標たちの内積 である。

GL(2, C)の有限部分群のマッカイグラフは、そのカノニカルな表現のマッカイグラフとして定義される。

SL(2, C)の有限部分群については、カノニカルな表現は自己双対であり、従ってnij = njiが任意のi,jについて成り立つ。故に、SL(2, C)の有限部分群のマッカイグラフは無向グラフとなる。

実は、マッカイ対応により、SL(2, C)の有限部分群と拡張コクセター・ディンキン図形の間にA-D-E型の一対一対応関係がある。

Vのカルタン行列Cを次のように定義する:

 

ここで クロネッカーのデルタである。

いくつかの結果

編集
  • 有限群 G の表現 V忠実であるのは、V のマッカイグラフは連結であるとき、かつそのときに限る[2]
  • SL(2, C)の有限部分群のマッカイグラフは自己ループをもたない。すなわち、nii = 0が全てのiについて成り立つ。
  • SL(2, C)の有限部分群のマッカイグラフの有向辺の重みは常に1かそれより小さい。
  • G = A × Bとし、ABのカノニカルな既約表現cAcBがあるとする。 , i = 1, ..., kAの既約表現で、 , j = 1, ..., Bの既約表現であるとしたとき、
 
 の既約表現で、 である。この場合、以下が成り立つ。
 
故に、Gのマッカイグラフの  に辺があるのは、 Aのマッカイグラフの  に辺があり、かつBのマッカイグラフの  の間に辺があるときに限る。このとき、Gのマッカイグラフの辺の重みはAとBのマッカイグラフの対応する辺の重みの積となる。
  • フェリックス・クラインは、SL(2, C)の有限部分群が二項正多面体群であることを示した。マッカイ対応は、この二項多面体群のマッカイグラフと拡張ディンキン図形の間に一対一の対応があることを述べている。例えば、 二項四面体群英語版としよう。SL(2, C)の各部分群SU(2, C)の各部分群と共役である。SU(2, C)の行列を考えよう:
 
ここでεは1の8乗根である。すると、 S, U, Vにより生成される。言い換えると、次が成り立つ:
 
 の共役類は次の通り:
 
 
 
 
 
 
 
 の指標表は
             
               
               
               
               
               
               
               
ここで  である。カノニカルな表現は cによって表される。内積を考えることで、 のマッカイグラフは の拡張コクセター・ディンキン図形であることが分かる。

関連事項

編集

脚注

編集
  1. ^ McKay 1980.
  2. ^ McKay 1980, Proposition 1.

参考文献

編集
  • Humphreys, James E. (1972), Introduction to Lie Algebras and Representation Theory, Springer, ISBN 978-0-387-90053-7, MR323842, Zbl 0254.17004 
  • James, Gordon; Liebeck, Martin (2001). Representations and Characters of Groups (2nd ed.). Cambridge University Press. ISBN 0-521-00392-X. MR1864147. Zbl 0981.20004 
  • Klein, Felix (1884), “Vorlesungen über das Ikosaeder und die Auflösung der Gleichungen vom fünften Grade”, Teubner (Leibniz), Zbl 16.0061.01  EuDML 203220
  • McKay, John (1980), “Graphs, singularities, and finite groups”, Proc. Symp. Pure Math. (Amer. Math. Soc.) 37: 183-186, doi:10.1090/pspum/037/604577, MR604577, Zbl 0451.05026, https://books.google.co.jp/books?id=_9sDCAAAQBAJ&pg=PA183 
  • Ford, David; McKay, John (1981), “Representations and Coxeter Graphs”, The Geometric Vein: The Coxeter Festschrift, Berlin: Springer-Verlag, pp. 549-554, doi:10.1007/978-1-4612-5648-9_36, MR661802, Zbl 0499.20004, https://books.google.co.jp/books?id=XpDbBwAAQBAJ&pg=PA548 
  • Riemenschneider, Oswald (2007), “McKay correspondence for quotient surface singularities”, Singularities in Geometry and Topology, Proceedings of the Trieste Singularity Summer School and Workshop, World Scientific, pp. 483–519, doi:10.1142/9789812706812_0015, MR2311497, Zbl 1124.14044 
  • Steinberg, Robert (1985), “Finite subgroups of SU2, Dynkin diagrams and affine Coxeter elements”, Pacific Journal of Mathematics 118: 587–598, doi:10.2140/pjm.1985.118.587, MR789195, Zbl 0567.20026 

外部リンク

編集