McKay graph

Affine (extended) Dynkin diagrams

In mathematics, the McKay graph of a finite-dimensional representation Template:Mvar of a finite group Template:Mvar is a weighted quiver encoding the structure of the representation theory of Template:Mvar. Each node represents an irreducible representation of Template:Mvar. If Template:Math are irreducible representations of Template:Mvar, then there is an arrow from Template:Math to Template:Math if and only if Template:Math is a constituent of the tensor product $V\otimes {\chi }_i.$ Then the weight Template:Mvar of the arrow is the number of times this constituent appears in $V\otimes {\chi }_i.$ For finite subgroups Template:Mvar of Template:Tmath the McKay graph of Template:Mvar is the McKay graph of the defining 2-dimensional representation of Template:Mvar.

If Template:Mvar has Template:Mvar irreducible characters, then the Cartan matrix Template:Mvar of the representation Template:Mvar of dimension Template:Mvar is defined by $c_V=(d{\delta }_{ij}-n_{ij}{)}_{ij},$ where Template:Math is the Kronecker delta. A result by Robert Steinberg states that if Template:Mvar is a representative of a conjugacy class of Template:Mvar, then the vectors $(({\chi }_i(g){)}_i$ are the eigenvectors of Template:Mvar to the eigenvalues $d-{\chi }_V(g),$ where Template:Mvar is the character of the representation Template:Mvar.

The McKay correspondence, named after John McKay, states that there is a one-to-one correspondence between the McKay graphs of the finite subgroups of Template:Tmath and the extended Dynkin diagrams, which appear in the ADE classification of the simple Lie algebras.

Definition

Let Template:Mvar be a finite group, Template:Mvar be a representation of Template:Mvar and Template:Mvar be its character. Let $\{{\chi }_1,\dots ,{\chi }_d\}$ be the irreducible representations of Template:Mvar. If

$V\otimes {\chi }_i=\sum _j{n}_{ij}{\chi }_j,$

then define the McKay graph Template:Math of Template:Mvar, relative to Template:Mvar, as follows:

• Each irreducible representation of Template:Mvar corresponds to a node in Template:Math.
• If Template:Math, there is an arrow from Template:Math to Template:Math of weight Template:Mvar, written as ${\chi }_i\stackrel{n_{ij}}{\to }{\chi }_j,$ or sometimes as Template:Mvar unlabeled arrows.
• If $n_{ij}=n_{ji},$ we denote the two opposite arrows between Template:Math as an undirected edge of weight Template:Mvar. Moreover, if $n_{ij}=1,$ we omit the weight label.

We can calculate the value of Template:Mvar using inner product $⟨\cdot ,\cdot ⟩$ on characters:

$n_{ij}=⟨V\otimes {\chi }_i,{\chi }_j⟩=\frac{1}{|G|}\sum _{g\in G}V(g){\chi }_i(g)\overline{{\chi }_j(g)}.$

The McKay graph of a finite subgroup of Template:Tmath is defined to be the McKay graph of its canonical representation.

For finite subgroups of Template:Tmath the canonical representation on Template:Tmath is self-dual, so $n_{ij}=n_{ji}$ for all Template:Mvar. Thus, the McKay graph of finite subgroups of Template:Tmath is undirected.

In fact, by the McKay correspondence, there is a one-to-one correspondence between the finite subgroups of Template:Tmath and the extended Coxeter-Dynkin diagrams of type A-D-E.

We define the Cartan matrix Template:Mvar of Template:Mvar as follows:

$c_V=(d{\delta }_{ij}-n_{ij}{)}_{ij},$

where Template:Mvar is the Kronecker delta.

Some results

• If the representation Template:Mvar is faithful, then every irreducible representation is contained in some tensor power $V^{\otimes k},$ and the McKay graph of Template:Mvar is connected.
• The McKay graph of a finite subgroup of Template:Tmath has no self-loops, that is, $n_{ii}=0$ for all Template:Mvar.
• The arrows of the McKay graph of a finite subgroup of Template:Tmath are all of weight one.

Examples

• Suppose Template:Math, and there are canonical irreducible representations Template:Mvar of Template:Mvar respectively. If Template:Math, are the irreducible representations of Template:Mvar and Template:Math, are the irreducible representations of Template:Mvar, then

${\chi }_i\times {\psi }_{j}1\le i\le k,1\le j\le \ell$

are the irreducible representations of Template:Math, where ${\chi }_i\times {\psi }_j(a,b)={\chi }_i(a){\psi }_j(b),(a,b)\in A\times B.$ In this case, we have

$⟨(c_A\times c_B)\otimes ({\chi }_i\times {\psi }_{\ell }),{\chi }_n\times {\psi }_p⟩=⟨c_A\otimes {\chi }_k,{\chi }_n⟩\cdot ⟨c_B\otimes {\psi }_{\ell },{\psi }_p⟩.$

Therefore, there is an arrow in the McKay graph of Template:Mvar between ${\chi }_i\times {\psi }_j$ and ${\chi }_k\times {\psi }_{\ell }$ if and only if there is an arrow in the McKay graph of Template:Mvar between Template:Mvar and there is an arrow in the McKay graph of Template:Mvar between Template:Math. In this case, the weight on the arrow in the McKay graph of Template:Mvar is the product of the weights of the two corresponding arrows in the McKay graphs of Template:Mvar and Template:Mvar.

• Felix Klein proved that the finite subgroups of Template:Tmath are the binary polyhedral groups; all are conjugate to subgroups of Template:Tmath The McKay correspondence states that there is a one-to-one correspondence between the McKay graphs of these binary polyhedral groups and the extended Dynkin diagrams. For example, the binary tetrahedral group $\bar{T}$ is generated by the Template:Tmath matrices:

$S=\left(\begin{array}{cc}i& 0\\ 0& -i\end{array}\right),V=\left(\begin{array}{cc}0& i\\ i& 0\end{array}\right),U=\frac{1}{\sqrt{2}}\left(\begin{array}{cc}\epsilon & {\epsilon }^3\\ \epsilon & {\epsilon }^7\end{array}\right),$

where Template:Mvar is a primitive eighth root of unity. In fact, we have

$\bar{T}=\{U^k,S{U}^k,V{U}^k,SV{U}^k\mid k=0,\dots ,5\}.$

The conjugacy classes of $\bar{T}$ are:

$C_1=\{U^0=I\},$

$C_2=\{U^3=-I\},$

$C_3=\{\pm S,\pm V,\pm SV\},$

$C_4=\{U^2,S{U}^2,V{U}^2,SV{U}^2\},$

$C_5=\{-U,SU,VU,SVU\},$

$C_6=\{-U^2,-S{U}^2,-V{U}^2,-SV{U}^2\},$

$C_7=\{U,-SU,-VU,-SVU\}.$

The character table of $\bar{T}$ is

Conjugacy Classes	$C_1$	$C_2$	$C_3$	$C_4$	$C_5$	$C_6$	$C_7$
${\chi }_1$	$1$	$1$	$1$	$1$	$1$	$1$	$1$
${\chi }_2$	$1$	$1$	$1$	$\omega$	${\omega }^2$	$\omega$	${\omega }^2$
${\chi }_3$	$1$	$1$	$1$	${\omega }^2$	$\omega$	${\omega }^2$	$\omega$
${\chi }_4$	$3$	$3$	$-1$	$0$	$0$	$0$	$0$
$c$	$2$	$-2$	$0$	$-1$	$-1$	$1$	$1$
${\chi }_5$	$2$	$-2$	$0$	$-\omega$	$-{\omega }^2$	$\omega$	${\omega }^2$
${\chi }_6$	$2$	$-2$	$0$	$-{\omega }^2$	$-\omega$	${\omega }^2$	$\omega$

Here $\omega =e^{2\pi i/3}.$ The canonical representation Template:Mvar is here denoted by Template:Mvar. Using the inner product, we find that the McKay graph of $\bar{T}$ is the extended Coxeter–Dynkin diagram of type ${\tilde{E}}_6.$

See also

• ADE classification
• Binary tetrahedral group

Further reading

• Template:Citation
• Template:Citation
• Template:Citation
• Template:Citation
• Template:Citation