A McKay correspondence for reflection groups (Q2178453)

Auslander's theorem says that for a finite small subgroup \(G < \operatorname{GL}(n,\mathbb C)\) (i.e. \(G\) contains no pseudo-reflections) acting on the polynomial ring \(S=\operatorname{Sym}(\mathbb C^n)\), the twisted group ring \(A=S\star G\) is isomorphic to the endomorphism ring \(\operatorname{End}_R(S)\), where \(R=S^G\). In particular, \(\operatorname{gldim} A = \dim R = n\), \(A\) is a CM-module over \(R\), and the nonisomorphic \(R\)-direct summands of \(S\) correspond to the indecomposable projectives of \(A\) and to the irreducible representations of \(G\). The paper under review proves an analog of Auslander's theorem when \(G\) is a pseudo-reflection group: The first main result is as follows. Let \(G < \operatorname{GL}(n,\mathbb C)\) be a finite group that is generated by pseudo-reflections. Then \(\overline{A}=A/AeA\) is a CM-module over \(S/(J)\) and over \(R/(\Delta)\), where \(J\in S\) is the Jacobian, \(\Delta \in R\) is the discriminant, and \(e=\frac{1}{|G|}\sum_{g\in G} g \in A\). Moreover, \(A\) is Koszul and \(\operatorname{gldim} \operatorname{A} \le n\) with equality if \(G \not \cong \mu_2\). The second main result is as follows. Let \(\Gamma=G\cap \operatorname{SL}(n,\mathbb C)\) and \(H=G/\Gamma\) (\(\Gamma\) is a normal subgroup). Assumeing that \(H\) is complementary to \(\Gamma\) (this is the case if \(H\) is cyclic of prime order) then there are \(\mathbb C\)-algebra isomorphisms \[A\cong (S\star \Gamma)\star H\cong \operatorname{End}_{S^\gamma\star H} (S\star H),\] and \(S\star H \cong A e_\Gamma\) as a right \(S^\Gamma \star H\cong e_\Gamma A e_\Gamma\)-module, where \(e_\Gamma=\frac{1}{|\Gamma|}\sum_{g\in \Gamma} g \in A\). This reduces to Auslander's theorem when \(G=\Gamma\). The next main result deals with the case that \(G\) is generated by reflections of order 2 (so \(H\cong \mu_2\)). \(\overline A\cong \operatorname{End}_{R/(\Delta)} (S/(J))\). This establishes a correspondence between the indecomposable projective \(A\)-modules and the nontrivial irreducible \(G\)-representations, and also the nonisomorphic \(R/(\Delta)\)-direct summands of \(S/(J)\). Moreover, \(\overline A\) constitutes a noncommutative resolution of singularities of \(R/(\Delta)\) of global dimension \(n\) for \(G \not \cong \mu_ 2\).