The McKay correspondence for finite subgroups of SL(3,\C) (Q4352471)

Let \(G\subset\text{SL}(n,\mathbb{C})\) be a finite subgroup and \(X=\mathbb{C}^n/G\) the quotient space. Let \(R\) be a common multiple of the orders of all elements of \(G\) and \(\Gamma=\text{Hom}(\mu_R,G)\). Then, \(\Gamma\) is isomorphic to \(G\), but the isomorphism depends on the choice of an \(R\)-th root of unity \(\varepsilon\). There is a naturally defined grading \(\Gamma=\bigcup_{i=0}^{n-1}\Gamma_i\), were \(\Gamma_i\) is defined as follows. Each element \(g\) of \(G\) has eigenvalues \(\varepsilon^{a_1},\dots,\varepsilon^{a_n}\) with \(a_1+\cdots+a_n\equiv 0\pmod R\) and \(0\leq a_j<R\). The integer \(i=(a_1+\cdots+a_n)/R<n\) is called the age of the element of \(\Gamma\) which maps \(\varepsilon\) to \(g\) and this defines the grading on \(\Gamma\). The elements of \(\Gamma_1\) are called junior elements and their \(G\)-conjugacy classes are the junior conjugacy classes. Now let \(f\colon Y\to X\) be a resolution of \(X\) and write \(K_Y\equiv f^*K_X+\sum a_E E\) with exceptional prime divisors \(E\). The prime divisor \(E\) is called crepant, if \(a_E=0\). It is proved that there is a canonical one-to-one correspondence between junior conjugacy classes and crepant exceptional divisors. For the entire collection see [Zbl 0859.00021].