NONCOMMUTATIVE RESOLUTIONS OF DISCRIMINANTS
RAGNAR-OLAF BUCHWEITZ, ELEONORE FABER, AND COLIN INGALLS

arXiv:1702.00791v1 [math.AG] 2 Feb 2017

A BSTRACT. We give an introduction to the McKay correspondence and its connection to
quotients of Cn by finite reflection groups. This yields a natural construction of noncommutative resolutions of the discriminants of these reflection groups. This paper is an extended version of E. F.’s talk with the same title delivered at the ICRA.

1. I NTRODUCTION
This article has two objectives: first, we want to present the components of the classical
McKay correspondence, which relate algebra, geometry and representation theory. On
the other hand, we give a short introduction to discriminants of finite reflection groups
and our construction of their noncommutative desingularizations. The details of our new
results will be published elsewhere [BFI16].
This project grew out of the following (which is NOT how we will present our story!):
Start with a commutative ring R. Then a noncommutative resolution of singularities
(=NCR) of R (or of Spec( R)) is an endomorphism ring EndR M of a faithful module M
such that the global dimension of EndR M is finite. Endomorphism rings of finite global
dimension have got a lot of attention lately because of their connections to various parts
of mathematics, such as commutative algebra, noncommutative algebraic geometry and
representation theory. The problem of constructing explicit NCRs is difficult in general
and one only knows some scattered examples. In particular, NCRs for non-normal rings
have not been considered much in the literature, mostly only in examples where R has
Krull-dimension ≤ 2 (geometrically: R is the coordinate ring of a collection of points,
curves or surfaces).
In [DFI15] we were interested in noncommutative resolutions (=NCRs) of certain nonnormal hypersurfaces, so-called free divisors, and explicitly constructed a NCR of a normal crossings divisor. After some extensive calculations we realized that there was a more
conceptual way to understand this particular NCR as a quotient of the skew group ring
of the polynomial ring in n variables and the reflection group (µ2 )n by a two-sided ideal
generated by an idempotent of the skew group ring. And since the normal crossings divisor is the discriminant of a real reflection group, we had the idea to carry out the same
quotient procedure for other discriminants of reflection groups. It was readily verified
that indeed this construction works for any discriminant of a finite reflection group.
Date: February 6, 2017.
2010 Mathematics Subject Classification. 14E16, 13C14, 14E15, 14A22 .
Key words and phrases. Reflection groups, hyperplane arrangements, maximal Cohen–Macaulay modules,
matrix factorizations, noncommutative desingularization.
R.-O.B. was partially supported by an NSERC Discovery grant, E.F. was partially supported by an Oberwolfach Leibniz Fellowship, C.I. was partially supported by an NSERC Discovery grant.
1

2

RAGNAR-OLAF BUCHWEITZ, ELEONORE FABER, AND COLIN INGALLS

After some more painful calculations and serious doubts, that these quotients are endomorphism rings in general, we were finally able to also prove this for reflection groups
generated by reflections of order 2, and discovered the surprising fact that the corresponding reflection arrangement is in some sense the noncommutative resolution of the
discriminant of a reflection group. Moreover, our work generalizes Auslander’s theorem
about skew group rings of small subgroups G ⊆ GL(n, C) and thus our NCRs give rise
to a McKay correspondence for reflection groups. For reflection groups G ⊆ GL(2, C)
our results nicely fit in the picture of the classical McKay correspondence: we see that the
reflection arrangement provides a representation generator for the torsion-free modules
over the discriminant curves.
This paper is organized as follows:
C ONTENTS
1.

Introduction

1

2.

Reflection groups

2

2.1.

Basics

3

2.2.

Discriminant and hyperplane arrangement

3

3.

(Noncommutative) resolutions of singularities

5

4.

The classical McKay correspondence

6

4.1.

Dual resolution graphs

6

4.2.

McKay quiver

8

4.3.

AR-quiver

9

4.4.

Auslander’s theorem and reflections

10

5.

NCRs of discriminants

11

6.

Further questions

12

7.

Acknowledgements

13

References

13

2. R EFLECTION GROUPS
Throughout the paper, we assume that k = C and that G ⊆ GL(V ) is a finite subgroup
acting on V ∼
= Cn . Thus, G ⊆ GL(V ) means G ⊆ GL(n, C). Then Symk (V ) ∼
= k [ x1 , . . . , x n ]
is a (graded) polynomial ring, with the standard grading | xi | = 1. Assume that G acts
on V, then any g ∈ G acts also on S via g( f ( x1 , . . . , xn )) = f ( g( x1 , . . . , xn )). Note that in
most of the literature (about the McKay correspondence), one considers the completion
k [[ x1 , . . . , xn ]] of S, but in fact, all the results we need work for S the graded polynomial
ring.
Here we gather some well-known results about complex reflection groups, see e.g. [Bou81,
LT09, OT92], we follow the notation of [OT92].

NONCOMMUTATIVE RESOLUTIONS

3

2.1. Basics. An element g ∈ GL(V ) is called a pseudo-reflection if it is conjugate to a diagonal matrix diag(ζ, 1, . . . , 1) with ζ 6= 1 a root of unity. If ζ = −1, we call g a (true)
reflection. A pseudo-reflection g fixes a unique hyperplane H pointwise. This hyperplane
will be called the mirror of g. If G is generated by pseudo-reflections, it is called a complex
reflection group (or pseudo-reflection group). If G is generated by true reflections, then we
will call G a true reflection group. True reflection groups are generated by reflections of
order 2 and thus are precisely the finite Coxeter groups. A finite subgroup G ⊆ GL(V ) is
called small, if G does not contain any pseudo-reflections.
Let now G ⊆ GL(V ) be finite. The invariant ring of the action of G on V is R = SG = { f ∈
S : g( f ) = f for all g ∈ G }. By the theorem of Hochster–Roberts [HR74], R is Cohen–
Macaulay and it is Gorenstein if G ⊆ SL(V ), by [Wat74]. If G is a pseudo-reflection group,
we are even in a better situation, cf. [Che55], [OT92, Thm. 6.19]:
Theorem 2.1 (Chevalley–Shephard–Todd). (a) Let G ⊆ GL(V ) be a finite group acting on
V. Then G is a pseudo-reflection group if and only if there exist homogeneous polynomials
f 1 , . . . , f n ∈ R such that R = k [ f 1 , . . . , f n ].
(b) Moreover, S is free as an R-module, more precisely, S ∼
= R ⊗k kG as R-modules, where kG
denotes the group ring of G.
The polynomials f i in the theorem are called basic invariants of G. They are not unique,
but their degrees deg f i = di are uniquely determined by the group G.
2.2. Discriminant and hyperplane arrangement. Let G ⊆ GL(V ) be any finite subgroup.
Then we denote by V/G the quotient by this action. It is an affine variety given by V/G =
Spec(SG ), see e.g. [CLO07, Chapter 7]. In general V/G is singular, in particular, if G is
a small subgroup of GL(V ). If G is a pseudo-reflection group, then by Thm. 2.1, V/G is
smooth and isomorphic to V ∼
= kn . We have a natural projection:
π:V∼
= Spec(S) −→ V/G ∼
= Spec(SG ) .
On the ring level, this corresponds to the natural inclusion of rings
SG ∼
= k[ f 1 , . . . , f n ] ,→ S = k[ x1 , . . . , xn ] .
Now let us define two of the central characters in our story: Let G be a finite complex
reflection group. The set of mirrors of G is called the reflection arrangement of G, denoted
by A( G ). Note that A( G ) ⊆ V. Let H ⊆ V be one of these mirrors, that is, H is fixed
by a cyclic subgroup generated by a pseudo-reflection g H ∈ G of order ρ H > 1, and let
{l H = 0} be the defining linear equation of H. Then the reflection arrangement is given
by the (reduced) equation z := ∏ H ⊆A(G) l H = 0. The image of the reflection arrangement
A( G ) under the projection π : V → V/G is called the discriminant of G and given by a
reduced polynomial ∆. Note that ∆ ∈ SG , whereas z 6∈ SG .
One can express the discriminant in terms of the basic invariants of G: first, one can show
that


∂ fi
ρ −1
= u ∏ l HH ,
J = Jac( f 1 , . . . , f n ) = det
∂x j i,j=1,...,n
H ⊆A( G )
where u ∈ k∗ . The Jacobian J is an anti-invariant for G, that is, gJ = (det g)−1 J for any
g ∈ G. The discriminant ∆ is then given by
∆ = Jz =

∏

H ⊆A( G )

ρ

l HH ,

4

RAGNAR-OLAF BUCHWEITZ, ELEONORE FABER, AND COLIN INGALLS

which is an element of SG .
In the case when G is a true reflection group, we have ρ H = 2 for all H and thus z = J,
and the computation of ∆ simplifies to ∆ = z2 .
Let us conclude this section with some (non-)examples:



ζ3 0
,
Example 2.2. Let G ⊆ SL(V ), dim V = 2, be the cyclic group C3 generated by
0 ζ 3−1
where ζ 3 is a third root of unity acting on S = k [ x, y]. Then V/G is a Kleinian surface singularity, denoted by A2 . The invariants of G are u = x3 + y3 , v = xy, w = x3 − y3 and satisfy the relation w2 − u2 + 4v3 . Thus (after a change of coordinates) SG ∼
= k[u, v, w]/(w2 +
u2 + v3 ). A real picture of V/G can be seen in Fig. 1.
Example 2.3. Let G = (µ2 )n be acting on kn by reflecting about the coordinate hyperplanes. Thus the generators of G are the diagonal matrices


1 0 0 0 0
 ..

0 . 0 0 0



Si = 
0 0 −1 0 0 .


0 0 0 . . . 0
0 0 0 0 1
The hyperplane arrangement A( G ) is the union of the coordinate hyperplanes. This can
easily be seen computationally: The basic invariants in this example are f i = xi2 , that is,
SG = k [ x12 , . . . , xn2 ]. Thus Jac( f 1 , . . . , f n ) = 2n x1 · · · xn and we can take z = J = x1 · · · xn .
Since G is a true reflection group, ∆ = z2 = x12 · · · xn2 = f 1 · · · f n . The coordinate ring of
the discriminant is SG /(∆) = k [ f 1 , . . . , f n ]/( f 1 · · · f n ). In this example, the discriminant is
also the union of coordinate hyperplanes, but now seen in the quotient V/G. See Fig. 1
for a picture in in the 3-dimensional case.

F IGURE 1. The A2 -singularity (left) and the discriminant of µ32 . (right).
Example 2.4. Let G = G (2, 1, 3), that is, the Weyl group B3 = S4 × µ2 acting on k3 by
permutation and sign changes. The invariants of S = k [ x1 , x2 , x3 ] under this group action
are u = x12 + x22 + x32 , v = x14 + x24 + x34 and w = x16 + x26 + x36 . Since G (2, 1, 3) is a Coxeter
group, it is generated by true reflections, and thus z = J. A calculation of the Jacobian
determinant of (u, v, w) shows that
z = J = x1 x2 x3 ( x12 − x22 )( x12 − x32 )( x22 − x32 ).

NONCOMMUTATIVE RESOLUTIONS

5

The invariant ring is SG = k [u, v, w] and an investigation of z2 shows that it is equal to
the product of w with the discriminant of the polynomial P(t) = t3 + ut2 + vt + w, see
[YS81]. The equation for the discriminant is
∆ = w(u2 v2 − 4v3 − 4u3 w + 18uvw − 27w2 ).
See Fig. 2 below for pictures of the hyperplane arrangement, given by z and the discriminant ∆ in R3 .

F IGURE 2. The B3 -reflection arrangement (left) and the corresponding discriminant with equation w(u2 v2 − 4v3 − 4u3 w + 18uvw − 27w2 ) (right).

3. (N ONCOMMUTATIVE ) RESOLUTIONS OF SINGULARITIES
Here we come to the geometric part. Let X be an affine algebraic variety, that is X =
Spec( R), where R is a commutative finitely generated k-algebra. If R is not a regular ring,
then we say that X is a singular algebraic variety and denote by Sing X its singular locus. A
e → X from a smooth scheme
resolution of singularities of X is a proper birational map π : X
e
X to X such that π is an isomorphism on the smooth points of X.
The central result regarding resolution of singularities is
Theorem 3.1 (Hironaka [Hir64]). Let X be a scheme over a field of characteristic 0 (e.g., X an
e → X.
affine algebraic variety defined over C). Then there exists a resolution of singularities π : X
One can impose some extra conditions on π, for example that π −1 (Sing( X )) is a normal
e and π is a composition of blowups in smooth centers, or (in the
crossings divisor in X
case X an irreducible reduced variety over k), that X has a so-called embedded resolution, see [Hau03] for more on this. So existence of resolutions of singularities is (with
our assumption that k = C, that is, k of characteristic 0) not an issue. However, from
e If X is of
an algebraic point of view, it would be desirable to have some control over X.
Krull-dimension 2, then there exists a unique minimal resolution of singularities, that is, a
e of X factors through Y. This is false in
resolution Y of X such that any other resolution X
higher dimensions, in general there does not even exist a minimal resolution.
For some Cohen–Macaulay varieties X (that is: if X = Spec( R), then R is a Cohen–
Macaulay ring) there still exist preferred resolutions of singularities: namely those, that
e → X is called
do not affect the canonical class of X. A resolution of singularities π : X
∗
crepant if π ωX = ωXe . Crepant resolutions first appeared in the minimal model program,
where the term “crepant” was coined by M. Reid to reflect the fact that the pull-back of

6

RAGNAR-OLAF BUCHWEITZ, ELEONORE FABER, AND COLIN INGALLS

the canonical sheaf of X does not pick up discrepancy, see e.g. [Rei02]. Crepant resolutions still do not always exist and are usually not isomorphic to each other, but at least
their cohomologies should be the same, see [BO02]:
Conjecture 3.2 (Bondal–Orlov). Let Y and Y + be two crepant resolutions of an algebraic variety
X. Then there is a derived equivalence of categories
D b (Coh Y ) ' D b (Coh Y + ) ,
where Coh(−) denotes the category of coherent sheaves.
Building on work by Bridgeland–King–Reid for 3-dimensional quotient singularities [BKR01],
Bridgeland proved [Bri02] the conjecture for complex 3-dimensional varieties with only
terminal singularities. Inspired by their work, Van den Bergh defined a noncommutative
crepant resolution (=NCCR) [VdB04a], also see [VdB04b]: if X = Spec( R), then the main
point in their approach is to construct a (non-commutative) R-algebra such that for any
crepant resolution π : Y → X one has D b (Coh Y ) ' D b (mod A). Here mod A denotes
the category of finitely generated A-modules. The algebra A is thus a noncommutative
analogue of a crepant resolution of singularities, a NCCR. Later, NCCRs were studied
and constructed in various instances, see e.g., [BLvdB10, IW14]. The more general concept of noncommutative resolution (=NCR) was defined by Dao–Iyama–Takahashi–Vial
[DITV15] in 2015. Unfortunately there is (so far) not a good theory about general existence and properties of NCRs, only mostly examples, see e.g. [BIKR08, DFI15, DII+ 16,
DFI16, Leu07]. A good introduction to NCCRs and categorical geometry with many references can be found in [Leu12].
But let us state the definitions:
Definition 3.3. Let R be a commutative reduced noetherian ring. An R-algebra A is called
a noncommutative resolution (NCR) of R (or of Spec( R)) if A is of the form EndR M for M
a finitely generated, faithful R-module and gldim( A) < ∞. The algebra A is called a
noncommutative crepant resolution (NCCR) of R (or of Spec( R)) if A is a nonsingular order,
that is, gldim Ap = gldim Rp for all p ∈ Spec( R) and A is a maximal Cohen–Macaulay
module over R.
Remark 3.4. In Van den Bergh’s original definition, R was assumed to be a commutative
normal Gorenstein domain. The reasoning behind this more general definition can be
found in [DFI15].
In general it is not clear how to construct NCRs and whether they exist. However, there
is one beautiful example, which will lead to our construction of NCRs for discriminants
of reflection groups.
4. T HE CLASSICAL M C K AY CORRESPONDENCE
Here we give brief sketches of the components of the classical McKay correspondence.
Up to this date, the correspondence has been generalized in various directions, for an
account and more detailed references see [Buc12].
4.1. Dual resolution graphs. Let Γ ⊆ SL(V ) be a finite subgroup acting on V ∼
= k2 .
Γ
Denote as above by S = k [ x, y] the symmetric algebra of V and the invariant ring S = R.
Then X := V/Γ = Spec( R) is a quotient singularity. More precisely, these quotient
singularities (aka Kleinian singularities) have been classified by Felix Klein [Kle93]:

NONCOMMUTATIVE RESOLUTIONS

7

Theorem 4.1 (Klein 1884). Let Γ and X be as above. Then X is isomorphic to an isolated surface
singularity of type ADE, that is, R ∼
= k[ x, y, z]/( f ):

•
•
•
•
•

An :
Dn :
E6 :
E7 :
E8 :

f = z2 + y2 + x n+1 , if Γ is a cyclic group,
f = z2 + x (y2 + x n−2 ) for n ≥ 4, if Γ is a binary dihedral group,
f = z2 + x3 + y4 , if Γ is the binary tetrahedral group,
f = z2 + x ( x2 + y3 ), if Γ is the binary octahedral group,
f = z2 + x3 + y5 , if Γ is the binary icosahedral group.

F IGURE 3. The D4 -singularity with equation z2 + x (y2 − x2 ) = 0 (left) and
the E8 -singularity with equation z2 + x3 + y5 = 0 (right).
The Kleinian singularities X are also classified by their so-called dual resolution graphs,
which happen to be the corresponding ADE-Coxeter-Dynkin-diagrams (for a more detailed account of resolution of surface singularities and especially the rational double
e → X of a Kleinian
points, see [Gre92], [Dur79]): consider the minimal resolution π : X
singularity X. The minimal resolution exists, since X is a normal surface singularity and
e is moreover unique, see [Lau71]. One can for example obtain X
e by successively blowX
ing up singular points. This process can be quite intricate, see for example the dessert in
e will be denoted by E = Sin=1 Ei
this menu [FH10]. The preimage of {0} = Sing( X ) in X
e (this holds for example because one can
and is a union of irreducible curves Ei on X
e
construct X as an embedded resolution of X ⊆ k3 , which implies that the preimage of
Sing X must be a normal crossing divisor). Since X is a so-called rational singularity, the
irreducible components Ei of E are isomorphic to P1 ’s and intersect each other at most
e Now one can
pairwise transversally (this is to say: E is a normal crossings divisor on X).
form the dual resolution graph of X: the vertices are indexed by the Ei , for i = 1, . . . , n and
there is an edge between Ei and E j if and only if Ei ∩ E j 6= ∅.
Moreover, one defines the intersection matrix E := ((Ei · E j ))i,j=1,...,n . Computation
shows that (Ei · Ei ) = −2 and (Ei · E j ) ∈ {0, 1} for i 6= j and that E is symmetric and
e of the form Z 0 = ∑in=1 mi Ei
negative-definite. Moreover, there exist divisors Z 0 on X
0
supported on E with mi > 0, such that Z · Ei ≤ 0 for all i. The smallest such divisor
is denoted by Z and called the fundamental divisor of X. One decorates the vertices of
the dual resolution graph with the multiplicities mi of Z. For an illustration of the D4 singularity see Fig. 4.1, and the resolution with the resolution graph are below in Fig. 4.

8

RAGNAR-OLAF BUCHWEITZ, ELEONORE FABER, AND COLIN INGALLS

1 E3

E4
1

E1
2

E2
1

F IGURE 4. The minimal resolution of the D4 -singularity (with the exceptional curves sketched in red) and the dual resolution graph of type D4
with the multiplicities of the fundamental divisor in red.
4.2. McKay quiver. In 1979, John McKay built the following graph out of a finite subgroup Γ ⊆ SL(V ), dim V = 2: the embedding of Γ in SL(V ) defines the so-called canonical representation c : Γ ,→ GL(V ) of Γ. Any finite group only has finitely many isomorphism classes of finite dimensional irreducible k-representations, given by group homomorphisms ρi : Γ → GL(Vi ), i = 0, . . . , n for vector spaces Vi . The trivial representation
will be denoted by ρ0 : Γ → k∗ , sending any γ to 1. The McKay quiver of Γ consists of
the vertices indexed by the Vi and there are mij arrows from Vi to Vj if and only if Vi is
contained with multiplicity mij in Vj ⊗ V.
Example 4.2. Consider the group Γ generated by
 




 
10
i 0
0 1
0 i
±
,±
,±
,±
.
01
0 −i
−1 0
i 0
This is the binary dihedral group D4 . It has five irreducible representations ρi , four of
which are one-dimensional and one two-dimensional ρ1 , which is the canonical representation c. Using character theory, one obtains the McKay quiver of Γ (the dimensions of
the irreducible representations in red):
ρ4 1
2
1 ρ0

ρ1

ρ3 1

ρ2 1
The following is due to McKay [McK80]:
Observation: Let Γ be as above. Then the McKay quiver of Γ is connected and contains no
loops and mij = m ji ∈ {0, 1}. By calculation, one sees that the McKay quiver of Γ is the
extended Coxeter–Dynkin diagram for Γ, with arrows in both directions. If one deletes
the vertex corresponding to the trivial representation and collapses all arrows Vi  Vj to
an edge, then one obtains the Coxeter–Dynkin diagram associated to Γ. If one decorates

NONCOMMUTATIVE RESOLUTIONS

9

the vertices Vi with the dimensions dim Vi , then one gets back the dual resolution graph
of V/Γ.
Thus one obtains a 1 − 1-correspondence between the irreducible components of the exceptional divisor of the minimal resolution of the quotient singularity V/Γ and the nontrivial irreducible representations of Γ! This was made precise later by [GSV83].
4.3. AR-quiver. But there is also an algebraic part of the correspondence: Let again R =
SΓ for Γ ⊆ SL(V ), where V ∼
= k2 . We consider reflexive modules over R. Since R is
normal, M is reflexive if and only if it is maximal Cohen–Macaulay (=CM), and we write
CM( R) for the category of CM-modules over R. By Herzog’s theorem [Her78], there is
an isomorphism of R-modules:
S∼
=

M

M a M , where the integer a M = rankR M.

M ∈CM( R)

Differently phrased: S is a representation generator for CM( R). In particular, there are only
finitely many indecomposable objects in CM( R). One then says that R is of finite CMtype. By [BGS87, Her78, Knö87], a Gorenstein ring R is of finite CM-type if and only if it
is isomorphic to a simple hypersurface singularity (if dim R = 2, these are precisely the
ADE-surface singularities).
Starting from the indecomposable CM-modules over R, one obtains a third quiver, the
Auslander–Reiten-quiver (short: AR-quiver) of R: its vertices are given by the indecomposable CM-modules Mi , i = 1, . . . , n of R and there are mij arrows from Mi to M j if and only
if in the almost split sequence 0 → τM j → E → M j → 0 ending in M j , Mi appears with
multiplicity mij in E. Here one can also see that τMi = Mi for all Mi 6∼
= R and that the
AR-quiver of R is precisely the McKay quiver of Γ. Moreover, the ranks of the indecomposable modules Mi correspond to the dimensions of the irreducible representations of Γ.
This astounding correspondence was proven by Maurice Auslander [Aus86] and looking
at his proof more carefully, we will obtain the link to NCCRs. Therefore we need some
general notation first:
Let G ⊆ GL(V ) finite act on S = Symk (V ) = k [ x1 , . . . , xn ] for some vector space V ∼
= kn .
Then define A = S ∗ G to be the skew group ring (or twisted group ring) of G. As an Smodule, A is just S ⊗k kG, but the multiplication on A is twisted by the action of G: for
elements s, s0 ∈ S and g, g0 ∈ G define
sg · s0 g0 := (sg(s0 ))( gg0 ) ,
and extend by linearity. The following result is the key theorem in proving the correspondence between indecomposable CM-modules and irreducible representations. However
note that the assumptions on G are more general than before: we may take any G which
does not contain any pseudo-reflections and the dimension of V may be greater than 2:
Theorem 4.3 (Auslander). Let S be as above and assume that G ⊆ GL(V ), dim V = n, is
small and set R = SG . Then we have an isomorphism of algebras:
∼
=

A = S∗G −
→ EndR (S) , sg 7→ ( x 7→ sg( x )) .
Moreover, S ∗ G is a CM-module over R and gldim(S ∗ G ) = n, and Z ( A) = R.

10

RAGNAR-OLAF BUCHWEITZ, ELEONORE FABER, AND COLIN INGALLS

This result can be phrased in terms of NCCRs:
Corollary 4.4. If G ⊆ SL(V ), that is, R is a Gorenstein singularity, then A is an NCCR of R. If
G ⊆ GL(V ) is small and not in SL(V ), then A is an NCR of R.
Proof. The twisted group ring A ∼
= EndR S is an endomorphism ring of a faithful CMmodule over R. Since gldim A = n < ∞, A is an NCR. For the crepancy in the SL(V )
case first note that R is a normal Gorenstein domain by the theorems of Hochster–Roberts
and Watanabe. Then the fact that S ∗ G ∼
= EndR S is CM over R implies that EndR S is a
nonsingular order, see [VdB04a, Lemma 4.2] and thus an NCCR.

For G = Γ ⊆ SL(V ) and dim V = 2, Auslander’s theorem implies a 1-1-correspondence
between the indecomposable CM-modules over R, the indecomposable summands of S,
the indecomposable projective modules over S ∗ G, and the irreducible Γ-representations.
Then McKay’s observation gives the correspondence to the geometry, namely, the bijection to the irreducible components of the irreducible divisor on the minimal resolution of
R.
We shortly sketch the correspondences: first, by Herzog’s theorem the indecomposable
objects in CM( R) are in bijection to the indecomposable R-summands of S. For the second
part, send the indecomposable summand M of S to HomR (S, M), which is an indecomposable projective EndR (S)-module. By Auslander’s theorem, it is an indecomposable
projective S ∗ Γ-module. For the last correspondence, send a indecomposable projective
S ∗ Γ-module to P/( x, y) P, which is a simple module over kΓ and hence an irreducible
Γ-representation. For details about these constructions, see [Aus86, Yos90, LW12].
4.4. Auslander’s theorem and reflections. Looking at Auslander’s theorem, it is natural
to ask:
Question 4.5. Let G ⊆ GL(V ), dim V = n, be generated by pseudo-reflections. Is there
an analogue of Auslander’s theorem? In particular, is there also a noncommutative resolution hidden somewhere?
The first problem in generalizing Auslander’s theorem is that if G is a pseudo-reflection
group, then the map
A = S ∗ G ,→ EndR (S)
is no longer surjective. One can see this for example for G = Sn . Then EndR (S) contains
the so-called Demazure operators, see e.g. [LS92], which are not contained in the skew
group ring. However, one can show in this case that A is the intersection of EndR (S) ∩
(EndR (S))τ in Q( A), the quotient ring of A, where τ is a particular anti-involution on
EndR (S), for details see [KK86].
Another “problem” is that R = SG is no longer singular if G is generated by pseudoreflections, by Thm. 2.1. This, however, can be remedied by looking at the discriminant
∆ ∈ R: the discriminant defines a singular hypersurface, whose singularities occur in
codimension 1. More precisely: it was shown by Saito and Terao that the discriminant of
a reflection arrangement A( G ) is a so-called free divisor in R, that is, the Jacobian ideal of
∆ is a CM-module over R/(∆). One can also show that the reflection arrangement itself
defines a free divisor in S. For more details, see [OT92].

NONCOMMUTATIVE RESOLUTIONS

11

The above facts already suggest our strategy to attack the problem of finding an analogue
of Auslander’s theorem and a noncommutative resolution for the discriminant: we will
start with the twisted group ring S ∗ G and using the small group G ∩ SL(V ) we will cook
up a NCR of ∆, which will also yield a 1−1-correspondence to irreducible representations
of G.
5. NCR S OF DISCRIMINANTS
For this section let us change the notation slightly: first, we will assume that G is a true
reflection group, i.e., G ⊆ GL(V ), dim V = n, is generated by reflections of order 2 (some
of our results also hold for pseudo-reflection groups but the main correspondence only
works in this case so far). We will denote the invariant ring SG by T. By Theorem 2.1
T ∼
= k[ f 1 , . . . , f n ] for the basic invariants f i ∈ S. Since G is a true reflection group J = z
∂f
and the hyperplane arrangement A( G ) is defined by the polynomial J = det( ∂xij ). The
discriminant ∆ is then defined by the equation J 2 = ∆, where ∆ is in T. Its coordinate
ring will be denoted by T/(∆). For our construction of the NCR of ∆, we consider the
small group Γ = G ∩ SL(V ), with invariant ring R = SΓ . We have an exact sequence of
groups 1 → Γ → G → H → 1, where the quotient is H ∼
= µ2 = hσi. Moreover, as above,
we denote by A = S ∗ G the twisted group ring of G.
The first result deals with the problem that A is not isomorphic to EndT (S). We can show
that A is still isomorphic to an endomorphism ring - yet over another twisted group ring:
Theorem 5.1. With notation introduced in the paragraph above, there is an isomorphism of rings
EndR∗ H (S ∗ Γ) ∼
= S ∗ G.
This result follows from generalizing the approach of H. Knörrer for curves [Knö84] (also
using ideas from J. Bilodeau [Bil05]).
For simplifying notation set B := R ∗ H. Now one can interpret B as the path algebra over
T of a quiver Q modulo some relations. Then B has idempotents e± = 12 (1 ± σ), where
σ is the generator of H, as defined above. One crucial observation here is that B/Be± B is
isomorphic to T/(∆) as rings. Thus, using the functor
i∗ (−)=−⊗ B B/Be− B

mod( B/Be− B) ←−−−−−−−−−−− mod( B)
from the standard recollement we obtain the following result:
Theorem 5.2. The functor i∗ induces an equivalence of categories
CM( B)/he− Bi ' CM( T/(∆)),
where he− Bi denotes the ideal generated by the object e− B in the category CM( B).
Theorem 5.1 shows that A is in some sense too large for being a NCR of ∆. But theorem
5.2 suggests that we have to quotient A by an ideal: since A ∈ CM( B), we calculate its
image in CM( B)/he− Bi and find that it is isomorphic to the quotient Ā = A/AeA, where
e = |G1 | ∑ g∈G g ∈ A is the idempotent corresponding to the trivial representation of G. On
the other hand, calculate the image of A under the recollement functor i∗ : one gets that
i∗ ( A) = EndT/(∆) (i∗ (S ∗ H )) .

12

RAGNAR-OLAF BUCHWEITZ, ELEONORE FABER, AND COLIN INGALLS

Exploiting results from Stanley about the structure of R as T-module [Sta77], we obtain
that i∗ (S ∗ H ) ∼
= S/( J ), as T/(∆)-module. As a ring, S/( J ) is precisely the coordinate
ring of the reflection arrangement A( G )! In the last step, a result of Auslander–Platzeck–
Todorov [APT92] about global dimension of quotients yields the following
Theorem 5.3. With notation as above,
Ā := A/AeA ∼
= EndT/(∆) (S/( J )),
and gldim Ā < ∞. Thus Ā yields a NCR of the free divisor T/∆.
Moreover, the indecomposable projective modules over Ā are in bijection with the non-trivial representations of G and also with certain CM-modules over the discriminant, namely the T/(∆)-direct
summands of S/( J ).
Thus we not only obtain a NCR of discriminants of reflection arrangements but also a
McKay correspondence for reflection groups G.
Example 5.4. Let dim V = 2 and let G ⊆ GL(V ) be a true reflection group. Then the
discriminant ∆ is an ADE-curve singularity. We obtain that S/( J ) is a generator of the category of CM-modules over the T/(∆), that is, add(S/( J )) = CM( T/(∆)). Moreover, the
multiplicities, with which the indecomposables appear in S/( J ) are precisely the ranks of
the corresponding irreducible representations.
As a particular example, take G = S3 , whose discriminant ∆ is a cusp (aka A2 -singularity).
For the cusp, one can show that S/( J ) ∼
= T/(∆) ⊕ m⊕2 as T/(∆)-modules, where m denotes the maximal ideal (u, v) in T/(∆) = k [u, v]/(u3 − v2 ). Here one sees that T/(∆)
corresponds to the determinantal representation and m to the canonical representation
given by G ,→ GL(2, k ).
6. F URTHER QUESTIONS
In general we are still missing a conceptual explanation for the T/(∆)-direct summands
of S/( J ): in dimension 2, see example 5.4, any indecomposable CM-module over T/(∆)
can be obtained from S/( J ) (via matrix factorizations). But if dim V ≥ 3, that is, the
Krull-dimension of T/(∆) is greater than or equal to 2, T/(∆) is not of finite CM-type.
However, the factors of S/( J ) are still CM-modules and can be calculated as matrix factorizations. So far we only have few examples (the normal crossing divisor, as studied in
Dao–Faber–Ingalls [DFI15] or the swallowtail, that is, the discriminant of S4 , where we
can describe the T/(∆)-direct summands using Hovinen’s classification of graded rank 1
MCM-modules [Hov09]).
Thus, for a geometric interpretation of the direct summands of S/( J ) we want to establish
a similar correspondence as in [GSV83]. A next step would be to realize geometric resolutions as moduli spaces of isomorphism classes of representations of certain algebras as
in [CB00].
But, in a different vein, the structure of Ā as an S/( J )-module seems to be easier to understand: Ā is isomorphic to the cokernel of the map ϕ given by left multiplication on G, i.e.,
the matrix of ϕ corresponds to the multiplication table of the group G. Since Frobenius
and Dedekind, the block decomposition of this matrix is well-known. Our goal is to use
this surprising discovery to learn more about the decomposition of Ā and hence of S/( J )
over the discriminant.

NONCOMMUTATIVE RESOLUTIONS

13

Moreover, looking at the quiver of Ā, the exact form of the generating (necessarily quadratic) relations remains mysterious and will be the subject of further research.
7. A CKNOWLEDGEMENTS
We want to thank the organizers of the ICRA for making it such a pleasant and stimulating conference. In particular, we thank Graham Leuschke for his encouragement
to write this proceedings article. We acknowledge and highly appreciate that the research presented in this paper was supported through the program “Research in Pairs” in
2015 and the program “Oberwolfach Leibniz Fellowships” in 2016 by the Mathematisches
Forschungsinstitut Oberwolfach and by the Institut Mittag-Leffler (Djursholm, Sweden)
in frame of the program “Representation theory” in 2015.
R EFERENCES
M. Auslander, M. I. Platzeck, and G. Todorov. Homological theory of idempotent ideals. Trans.
Amer. Math. Soc., 332(2):667–692, 1992. 12
[Aus86]
M. Auslander. Rational singularities and almost split sequences. Transactions of the AMS,
293(2):511–531, 1986. 9, 10
[BFI16]
R.-O. Buchweitz, E. Faber, and C. Ingalls. A McKay correspondence for reflection groups. 2016.
in preparation. 1
[BGS87]
R.-O. Buchweitz, G.-M. Greuel, and F.-O. Schreyer. Cohen-Macaulay modules on hypersurface
singularities. II. Invent. Math., 88(1):165–182, 1987. 9
[BIKR08] I. Burban, O. Iyama, B. Keller, and I. Reiten. Cluster tilting for one-dimensional hypersurface
singularities. Adv. Math., 217(6):2443–2484, 2008. 6
[Bil05]
J. Bilodeau. Auslander algebras and simple plane curve singularities. In Representations of algebras
and related topics, volume 45 of Fields Inst. Commun., pages 99–107. Amer. Math. Soc., Providence,
RI, 2005. 11
[BKR01]
T. Bridgeland, A. King, and M. Reid. The MacKay correspondence as an equivalence of derived
categories. J. Amer. Math. Soc., 14(3):535–554, 2001. 6
[BLvdB10] R.-O. Buchweitz, G. J. Leuschke, and M. van den Bergh. Non-commutative desingularization of
determinantal varieties I. Invent. Math., 182(1):47–115, 2010. 6
[BO02]
A. Bondal and D. Orlov. Derived categories of coherent sheaves. In Proceedings of the International
Congress of Mathematicians, Vol. II (Beijing, 2002), pages 47–56. Higher Ed. Press, Beijing, 2002. 6
[Bou81]
Nicolas Bourbaki. Éléments de mathématique. Masson, Paris, 1981. Groupes et algèbres de Lie.
Chapitres 4, 5 et 6. [Lie groups and Lie algebras. Chapters 4, 5 and 6]. 2
[Bri02]
T. Bridgeland. Flops and derived categories. Invent. Math., 147(3):613–632, 2002. 6
[Buc12]
R.-O. Buchweitz. From platonic solids to preprojective algebras via the McKay correspondence.
Oberwolfach Jahresbericht, pages 18–28, 2012. 6
[CB00]
W. Crawley-Boevey. On the exceptional fibres of Kleinian singularities. Amer. J. Math.,
122(5):1027–1037, 2000. 12
[Che55]
C. Chevalley. Invariants of finite groups generated by reflections. Amer. J. Math., 77:778–782, 1955.
3
[CLO07] D. Cox, J. Little, and D. O’Shea. Ideals, Varieties, and Algorithms. Springer, New York, 3 edition,
2007. 3
[DFI15]
H. Dao, E. Faber, and C. Ingalls. Noncommutative (crepant) desingularizations and the global
spectrum of commutative rings. Algebr. Represent. Theory, 18(3):633–664, 2015. 1, 6, 12
[DFI16]
B. Doherty, E. Faber, and C. Ingalls. Computing global dimension of endomorphism rings via
ladders. J. Algebra, 458:307–350, 2016. 6
[DII+ 16] H. Dao, O. Iyama, S. Iyengar, R. Takahashi, M. Wemyss, and Y. Yoshino. Noncommutative resolutions using syzygies. 2016. arXiv:1609.04842. 6
[DITV15] H. Dao, O. Iyama, R. Takahashi, and C. Vial. Non-commutative resolutions and Grothendieck
groups. J. Noncommut. Geom., 9(1):21–34, 2015. 6
[Dur79]
A.-H. Durfee. Fifteen characterizations of rational double points. L’Enseignement Mathématique,
25:131–163, 1979. 7
[APT92]

14

[FH10]
[Gre92]
[GSV83]
[Hau03]
[Her78]
[Hir64]
[Hov09]
[HR74]
[IW14]
[KK86]
[Kle93]

[Knö84]

[Knö87]
[Lau71]
[Leu07]
[Leu12]
[LS92]
[LT09]
[LW12]
[McK80]

[OT92]
[Rei02]
[Sta77]
[VdB04a]
[VdB04b]
[Wat74]
[Yos90]

RAGNAR-OLAF BUCHWEITZ, ELEONORE FABER, AND COLIN INGALLS

E. Faber and H. Hauser. Today’s menu: geometry and resolution of singular algebraic surfaces.
Bull. Amer. Math. Soc., 47(3):373–417, 2010. 7
G.-M. Greuel. Deformation und Klassifikation von Singularitäten und Moduln. Deutsch. Math.Verein. Jahresber. Jubiläumstagung 1990, pages 177–238, 1992. 7
G. Gonzalez-Sprinberg and J.-L. Verdier. Construction géométrique de la correspondance de
McKay. Ann. Sci. École Norm. Sup. (4), 16(3):409–449 (1984), 1983. 9, 12
H. Hauser. The Hironaka Theorem on resolution of singularities. Bull. Amer. Math. Soc., 40:323–
403, 2003. 5
Jürgen Herzog. Ringe mit nur endlich vielen Isomorphieklassen von maximalen, unzerlegbaren
Cohen-Macaulay-Moduln. Math. Ann., 233(1):21–34, 1978. 9
H. Hironaka. Resolution of singularities of an algebraic variety over a field of characteristic zero.
Ann. Math., 79:109–326, 1964. 5
B. Hovinen. Matrix factorizations of the classical determinant. Phd thesis, University of Toronto,
2009. 12
Melvin Hochster and Joel L. Roberts. Rings of invariants of reductive groups acting on regular
rings are Cohen-Macaulay. Advances in Math., 13:115–175, 1974. 3
O. Iyama and M. Wemyss. Maximal modifications and Auslander-Reiten duality for non-isolated
singularities. Invent. Math., 197(3):521–586, 2014. 6
Bertram Kostant and Shrawan Kumar. The nil Hecke ring and cohomology of G/P for a KacMoody group G. Proc. Nat. Acad. Sci. U.S.A., 83(6):1543–1545, 1986. 10
F. Klein. Vorlesungen über das Ikosaeder und die Auflösung der Gleichungen vom fünften Grade.
Birkhauser Verlag, Berlin, 1993. Reprint of the 1884 original, edited, with an introduction and
commentary by Peter Slodowy. 6
H. Knörrer. The Cohen–Macaulay modules over simple hypersurface singularities. 1984. MaxPlanck Institut für Mathematik und Sonderforschungsbereich theoretische Physik MPI/SFB 8451. 11
Horst Knörrer. Cohen-Macaulay modules on hypersurface singularities. I. Invent. Math.,
88(1):153–164, 1987. 9
H. Laufer. Normal Two-dimensional Singularities, volume 71 of Annals of Math. Studies. Princeton
Univ. Press, 1971. 7
G. J. Leuschke. Endomorphism rings of finite global dimension. Canad. J. Math., 59(2):332–342,
2007. 6
G. J. Leuschke. Non-commutative crepant resolutions: scenes from categorical geometry. In
Progress in commutative algebra 1, pages 293–361. de Gruyter, Berlin, 2012. 6
Alain Lascoux and Marcel-Paul Schützenberger. Décompositions dans l’algèbre des différences
divisées. Discrete Math., 99(1-3):165–179, 1992. 10
G. I. Lehrer and D. E. Taylor. Unitary reflection groups, volume 20 of Australian Mathematical Society
Lecture Series. Cambridge University Press, Cambridge, 2009. 2
G. J. Leuschke and R. Wiegand. Cohen-Macaulay representations, volume 181 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2012. 10
John McKay. Graphs, singularities, and finite groups. In The Santa Cruz Conference on Finite Groups
(Univ. California, Santa Cruz, Calif., 1979), volume 37 of Proc. Sympos. Pure Math., pages 183–186.
Amer. Math. Soc., Providence, R.I., 1980. 8
P. Orlik and H. Terao. Arrangements of hyperplanes, volume 300 of Grundlehren der Mathematischen
Wissenschaften. Springer-Verlag, Berlin, 1992. 2, 3, 10
M. Reid. La correspondance de McKay. Astérisque, (276):53–72, 2002. Séminaire Bourbaki, Vol.
1999/2000. 6
R. P. Stanley. Relative invariants of finite groups generated by pseudoreflections. J. Algebra,
49(1):134–148, 1977. 12
M. Van den Bergh. Non-commutative crepant resolutions. In The legacy of Niels Henrik Abel, pages
749–770. Springer, Berlin, 2004. 6, 10
M. Van den Bergh. Three-dimensional flops and noncommutative rings. Duke Math. J., 122(3):423–
455, 2004. 6
Keiichi Watanabe. Certain invariant subrings are Gorenstein. I, II. Osaka J. Math., 11:1–8; ibid. 11
(1974), 379–388, 1974. 3
Y. Yoshino. Cohen–Macaulay modules over Cohen–Macaulay rings, volume 146 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1990. 10

NONCOMMUTATIVE RESOLUTIONS

[YS81]

15

Tamaki Yano and Jirō Sekiguchi. The microlocal structure of weighted homogeneous polynomials
associated with Coxeter systems. II. Tokyo J. Math., 4(1):1–34, 1981. 5

D EPT. OF C OMPUTER AND M ATHEMATICAL S CIENCES , U NIVERSITY OF T ORONTO AT S CARBOROUGH , 1265
M ILITARY T RAIL , T ORONTO , ON M1C 1A4, C ANADA
E-mail address: ragnar@utsc.utoronto.ca
D EPARTMENT OF M ATHEMATICS , U NIVERSITY OF M ICHIGAN , A NN A RBOR MI, 48109, USA
E-mail address: emfaber@umich.edu
D EPARTMENT OF M ATHEMATICS
E3B 5A3, C ANADA
E-mail address: cingalls@unb.ca

AND

S TATISTICS , U NIVERSITY

OF

N EW B RUNSWICK , F REDERICTON , NB.

