---
title: 'McKay Quiver: Theory & Applications'
url: https://www.emergentmind.com/topics/mckay-quiver
type: topic
---

# McKay Quiver: Theory & Applications

Searching arXiv for recent and foundational papers on McKay quivers.
A McKay quiver is a directed graph attached to a symmetry datum together with a fixed representation: in the classical formulation the datum is a finite group \(G\), the vertices are irreducible representations of \(G\), and the arrows record multiplicities in tensor products with a chosen \(G\)-module. McKay introduced the McKay quiver in 1979 for finite groups and their representations, and for finite subgroups of \(SL(2,\mathbb C)\) he observed that the resulting graph is an extended Dynkin diagram of type \(A\), \(D\), or \(E\); this observation became the starting point for a web of correspondences linking representation theory, quotient singularities, quiver varieties, and derived categories [2210.11920] [2003.09502].

## 1. Definition and representation-theoretic construction

For a finite group \(G\) with irreducible complex representations \(\sigma_1,\dots,\sigma_r\) and a finite-dimensional complex representation \(\rho:G\to \mathrm{GL}(V)\), one writes
\[
\rho \otimes \sigma_i \cong \bigoplus_{j=1}^r \sigma_j^{\oplus a_{ij}},
\qquad
a_{ij}=\langle \chi_\rho\chi_i,\chi_j\rangle.
\]
The McKay matrix is \(A_\rho(G)=(a_{ij})\), and the McKay quiver \(\Gamma_\rho(G)\) has one vertex \(v_i\) for each irreducible \(\sigma_i\) and \(a_{ij}\) arrows from \(v_i\) to \(v_j\) [2003.09502]. In the finite abelian case, all irreducible representations are \(1\)-dimensional, so a decomposition \(V\cong \chi_1\oplus\cdots\oplus \chi_n\) makes the quiver a union of directed graphs obtained by the permutations \(S_i\mapsto \chi_\ell\otimes S_i\) [2210.11920].

This construction has several formal features. The eigenvectors of \(A_\rho(G)\) are exactly the columns of the character table of \(G\), and the eigenvalue corresponding to a conjugacy class \(C\) is \(\chi_\rho(g)\) for any \(g\in C\); in particular the dimension vector \((\dim \sigma_1,\dots,\dim \sigma_r)^T\) is an eigenvector with eigenvalue \(\dim \rho\) [2003.09502]. Duality reverses orientation: \(A_{\rho^*}(G)=A_\rho(G)^T\), so \(\Gamma_{\rho^*}(G)\) is obtained from \(\Gamma_\rho(G)\) by reversing all arrows, and \(A_\rho(G)\) is symmetric if and only if \(\rho\) is self-dual [2003.09502].

An analogous definition exists for finite linearly reductive group schemes. If \(H\) is a finite linearly reductive group scheme, \(S_1,\dots,S_n\) a complete set of simple \(H\)-modules, and \(L\) an \(H\)-module, the paper on domestic finite group schemes defines multiplicities by
\[
L\otimes_k S_j \cong \bigoplus_{i=1}^n a_{ij}S_i,
\]
and the McKay quiver \(\Upsilon_L(H)\) has vertex set \(\{S_1,\dots,S_n\}\) and \(a_{ij}\) arrows from \(S_i\) to \(S_j\) [1512.04821]. In this formulation the combinatorial object is again the oriented graph of tensor-product multiplicities.

## 2. Classical correspondence and the ADE pattern

For a finite subgroup \(G\subset SL_2(\mathbb C)\) with \(V=\mathbb C^2\), the McKay quiver is an affine Dynkin quiver of type \(X_l^{(1)}\) with \(X=A,D,E\) [1107.6044]. Equivalently, the McKay graph of \(\Gamma\subset SL(2,\mathbb C)\), forgetting orientation, is an extended Dynkin diagram of ADE type, and the vertex corresponding to the trivial representation is the extending node [1910.13420]. In the usual double-quiver language, each unoriented edge is replaced by a pair of opposite arrows.

The geometric content of the classical \(2\)-dimensional McKay correspondence identifies nontrivial irreducible representations with irreducible components of the exceptional fiber of the crepant resolution \(Y_2=\Hilb^G(\mathbb C^2)\to \mathbb C^2/G\), and the Chern classes \(c_1(\mathcal P_\rho)\) for \(\rho\in \widehat G_*\) form a \(\mathbb Z\)-basis of \(\Pic(Y_2)=H^2(Y_2,\mathbb Z)\), dual to these components [1107.6044]. In the preprojective formulation, if \(Q\) is the affine Dynkin quiver and \(\overline Q\) its double, then
\[
\Pi_Q=\mathbb C\overline Q\Big/\Big(\sum_{a\in Q_1}(aa^*-a^*a)\Big)
\]
is Morita equivalent to the skew group algebra \(S(V^*)\rtimes G\) [1107.6044].

The same framed McKay quiver governs quiver-variety constructions. For \(\Gamma\subset SL(2,\mathbb C)\), the framed McKay quiver \(Q\) is obtained by adjoining a framing vertex \(\infty\) and a single edge between \(\infty\) and the trivial-representation vertex \(0\), then doubling all edges; its preprojective algebra \(\Pi\) defines Nakajima quiver varieties \(\mathfrak M_\theta\) for dimension vector
\[
v=\rho_\infty+\sum_{i\ge 0} n\dim(\rho_i)\rho_i,
\]
with \(v_\infty=1\) and \(v_i=n\dim(\rho_i)\) [1910.13420]. For a specific non-generic stability parameter \(\theta_0=(-n,1,0,\dots,0)\), the reduced scheme underlying \(\Hilb^{[n]}(\mathbb C^2/\Gamma)\) is isomorphic to the quiver variety \(\mathfrak M_{\theta_0}\); the same framework yields irreducibility, normality, and uniqueness of the projective symplectic resolution [1910.13420].

## 3. Variants and generalizations

Beyond finite groups in characteristic \(0\), McKay quivers admit several generalizations. For a finite quiver \(Q\) without loops and a finite abelian group \(G\subseteq \Aut(\mathbbm{k}Q)\) acting admissibly, Demonet’s construction produces a generalized McKay quiver \(\hat Q\) whose vertices are pairs \((i,\rho)\), where \(i\) is a vertex of the original quiver and \(\rho\) is an irreducible representation of the stabilizer \(G_i\); \(\mathrm{mod}\,\mathbb k\hat Q\) is equivalent to \(\mathrm{mod}\,\mathbb kQ*G\) [1102.3951]. The same paper associates to \((Q,G)\) a valued graph \(\Gamma\), proves that the positive roots of the Kac–Moody algebra \(\mathfrak g(\Gamma)\) are exactly the images \(h(\dim X)\) for indecomposable \(\hat Q\)-representations \(X\), and lifts \(G\) to \(\bar G\subseteq \Aut(\mathfrak g(\hat Q))\) so that \(\mathfrak g(\Gamma)\) embeds into \(\mathfrak g(\hat Q)^{\bar G}\) [1102.3951].

In positive characteristic, for a finite linearly reductive subgroup scheme \(\tilde G\subseteq SL(2)\), one studies the McKay quiver of \(\hat G/\hat G_1\) relative to the Frobenius-twisted \(2\)-dimensional representation \(L(1)^{[1]}\). As recalled in the domestic finite group scheme setting, this McKay quiver is isomorphic to one of
\[
\tilde{A}_{2np^{r-1}-1},\quad \tilde{D}_{np^{r-1}+2},\quad \tilde{E}_6,\quad \tilde{E}_7,\quad \tilde{E}_8,
\]
interpreted as double quivers [1512.04821]. A plausible implication is that the extended Dynkin pattern persists far beyond the characteristic-zero subgroup case, but now inside the representation theory of finite group schemes.

A quantum analogue also exists. Using the representation theory of \(U_q\mathfrak{sl}_2\) at a root of unity, one obtains an ADE graph \(\Gamma\) from a rigid commutative algebra object \(A\) in the fusion category, and an oriented quiver \((\Gamma,\Omega)\); the resulting category \(D_{\overline G}(P^1_q)\) is equivalent to \(D^b(\Gamma,\Omega)/T^2\), and its indecomposable objects give the corresponding root system [1210.4565].

A higher-dimensional graded version was introduced for arbitrary finite subgroups \(G\subset \mathrm{SL}_n(k)\). In that setting, the number of arrows of degree \(1-p\) from \(i\) to \(j\) in the graded McKay quiver equals the multiplicity of \(L_i\) in \(L_j\otimes (\wedge^p V)^*\), and the associated \(n\)-dimensional Ginzburg dg algebra \(\Gamma_n(Q,W)\) is quasi-isomorphic to \(e(G\# R)e\) [2404.01171].

## 4. Relations, potentials, and noncommutative geometry

In many applications the McKay quiver is used together with relations or with a potential. For \(G\subset SL_2(\mathbb C)\subset SL_3(\mathbb C)\), if \(Q\) is the affine McKay quiver of \((G,\mathbb C^2)\), then the McKay quiver \(\widehat Q\) of \((G,\mathbb C^3)\) is obtained by taking the double quiver \(\overline Q\) and adding a loop \(l_i:i\to i\) at every vertex [1107.6044]. The potential is
\[
W=\sum_{(a:i\to j)\in Q_1}(aa^*l_j-a^*al_i),
\]
and the Jacobian algebra \(J_{\widehat Q,W}\) is Morita equivalent to the skew group algebra \(\mathbb C[V_3]\rtimes G\), hence provides a noncommutative crepant resolution of \(\mathbb C^3/G\) [1107.6044]. Derived equivalences identify
\[
D^b(\Coh Y)\simeq D^b(\mathrm{mod}\,J_{\widehat Q,W}),
\qquad
Y=\Hilb^G(\mathbb C^3).
\]

This quiver-with-potential formalism is also a source of Donaldson–Thomas theory. For loop-double quivers \((\widehat Q,W)\), the universal motivic DT series is expressed in terms of Kac polynomials \(a_\alpha(q)\), and in the affine ADE McKay case one has \(\Omega_\alpha=a_\alpha(\mathbb L)\) [1107.6044]. Thus the same McKay quiver controls both the geometry of the crepant resolution and the motivic DT invariants of the associated \(3\)-Calabi–Yau category.

For finite subgroups \(G\subset \mathrm{SL}_3(k)\), Bocklandt–Schedler–Wemyss show that the skew group algebra \(SV\#G\) is graded Morita equivalent to a graded Jacobian algebra \(\mathcal P^{\mathrm{gr}}(Q,W)\), where \(Q\) is the McKay quiver and \(W\) is a homogeneous potential of degree \(3\) [1005.0808]. In the cyclic case \(G\cong \mathbb Z/n\mathbb Z\) with weights \((a_1,a_2,a_3)\), the vertices are \(l\in \mathbb Z/n\mathbb Z\), the arrows are \(x_1,x_2,x_3\) from \(l\) to \(l+a_1,l+a_2,l+a_3\), and \(W\) is the signed sum of all \(3\)-cycles containing \(x_1,x_2,x_3\) [1005.0808]. When \(\gcd(n,a_i)=1\) for each \(i\), the corresponding potential is non-degenerate [1005.0808].

## 5. Connectivity, translation quivers, and higher representation theory

Connectivity properties of McKay quivers reflect the kernel of the chosen representation. If \(N=\ker\rho\), then two vertices \(v_i,v_j\) lie in the same connected component of \(\Gamma_\rho(G)\) if and only if the restrictions \(\chi_i|_N\) and \(\chi_j|_N\) are scalar multiples of each other; strong and weak connected components coincide, and the number of connected components equals the number of conjugacy classes of \(G\) contained in \(\ker\rho\) [2003.09502]. In particular, if \(\rho\) is faithful, then \(\Gamma_\rho(G)\) is strongly connected [2003.09502]. This statement supplies a precise representation-theoretic criterion for when disconnected McKay quivers appear.

In the domestic finite group scheme setting, the role of the McKay quiver is even more structural. If \(G\) is an amalgamated polyhedral group scheme and \(\Theta\) is a Euclidean component of the stable Auslander–Reiten quiver, then for a connected component \(Q\) of the separated McKay quiver one has
\[
\Theta \cong \mathbb Z[Q]
\]
as stable translation quivers [1512.04821]. In the same setting, if \(\Theta\) is a tube and \(e_\Theta\) is the ramification index of
\[
\mathbb P(V_{G_1})\longrightarrow \mathbb P(V_G),
\]
then
\[
\Theta \cong \mathbb Z/(e_\Theta)[A_\infty]
\]
[1512.04821]. Here the McKay quiver governs the Euclidean components, while ramification governs tube ranks.

McKay quivers also interact with higher Auslander–Reiten theory. If the bound quiver \((Q_n,\rho_n)\) of an \(n\)-complete algebra is a truncation of the bound McKay quiver of a finite subgroup \(G\subset GL(n,k)\), then the bound quiver \((Q_{n+1},\rho_{n+1})\) of its cone is a truncation of the bound McKay quiver of a group \(\widetilde G\cong G\times \mathbb Z_m\subset GL(n+1,k)\) for some \(m\in\mathbb N\) [1603.00949]. For certain metacyclic groups embedded in \(\mathrm{SL}(s,\mathbb C)\) and \(\mathrm{SL}(s+1,\mathbb C)\), the corresponding McKay quivers with superpotential yield \((s-1)\)- and \(s\)-representation infinite algebras; for \(s=2\) these examples correspond to the classical tame hereditary algebras of type \(\tilde D\) [1707.09261].

## 6. Moduli spaces, quiver varieties, and physical interpretations

A major application of McKay quivers is the construction of moduli spaces. For the cyclic quotient singularity \(\frac1r(1,a,r-a)\), the McKay quiver has vertices \(0,\dots,r-1\), arrows
\[
x_i:i\to i+1,\qquad y_i:i\to i+a,\qquad z_i:i\to i-a,
\]
and relations
\[
y_{i+1}x_i=x_{i+a}y_i,\qquad z_{i+1}x_i=x_{i-a}z_i,\qquad y_{i-a}z_i=z_{i+a}y_i
\]
[1006.5833]. The paper constructs a family of McKay quiver representations on the Danilov resolution of \(\frac1r(1,a,r-a)\) and proves that, for a suitable stability condition \(\theta\), the Danilov resolution is the normalization of the coherent component of the moduli space of \(\theta\)-stable McKay quiver representations [1006.5833].

For the non-Gorenstein cyclic surface singularity \(\frac1n(1,1)\), the relevant object is a special McKay quiver \(Q_n\) whose path algebra quotient is Wemyss’s reconstruction algebra; after framing and imposing stability, \(\mathrm{Hilb}^c(\mathcal O_{\mathbb P^1}(-n))\) appears as an irreducible connected component of a quiver variety [1504.02987]. These quiver varieties are not of Nakajima type when \(n\neq 2\) [1504.02987].

In gauge theory and string theory, McKay quivers describe D-brane worldvolume theories on orbifolds. For \(\Gamma\subset SU(2)\), the McKay quiver \(Q_{\Gamma,\mathbb C^2}\) is the double quiver of the affine ADE Dynkin diagram, and Nakajima quiver varieties built from it realize ALE spaces and instanton moduli spaces [1412.4409]. The same quiver gives the matter content and superpotential of \(\mathcal N=2\) quiver gauge theories whose Higgs branches are these quiver varieties [1412.4409].

Disconnected McKay quivers have a distinct physical meaning. When an orbifold group acts unfaithfully, the number of connected components is controlled by the kernel of the action, and in numerous examples each component can be interpreted through decomposition of orbifold \(\sigma\)-models; for central trivially acting subgroups, the resulting components are compatible with orbifolds with discrete torsion [2208.07884]. This suggests that connected components of a McKay quiver can carry definitive geometric meaning even when the global quiver is no longer connected.

Taken together, these developments place the McKay quiver at the center of a broad structure: it is simultaneously a tensor-product graph, a bound quiver or quiver with potential, a model for singularity and cluster categories, an organizer of Auslander–Reiten components, and a mechanism for constructing quiver varieties and moduli spaces associated with quotient singularities [2404.01171].

Source: https://www.emergentmind.com/topics/mckay-quiver