Towards the classification of symplectic linear quotient singularities admitting a symplectic resolution

Over the past 2 decades, there has been much progress on the classification of symplectic linear quotient singularities V/G admitting a symplectic (equivalently, crepant) resolution of singularities. The classification is almost complete but there is an infinite series of groups in dimension 4—the symplectically primitive but complex imprimitive groups—and 10 exceptional groups up to dimension 10, for which it is still open. In this paper, we treat the remaining infinite series and prove that for all but possibly 39 cases there is no symplectic resolution. We thereby reduce the classification problem to finitely many open cases. We furthermore prove non-existence of a symplectic resolution for one exceptional group, leaving 39+9=48\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$39+9=48$$\end{document} open cases in total. We do not expect any of the remaining cases to admit a symplectic resolution.


Introduction to the problem and current status
Recall that a smooth symplectic variety is a complex algebraic variety X equipped with a regular, closed, and non-degenerate 2-form ω, i.e. there is a "smooth" family of symplectic forms ω x on the tangent spaces T x X of X . As the dimension of the tangent space at a singular point is greater than that at smooth points, it is not clear how to extend this concept to singular varieties-and what to gain from this.
In 2000, Beauville [1] proposed such an extension: a (possibly singular) symplectic variety is a normal variety X with a symplectic form ω on its smooth part X sm such that for any resolution π : X → X of singularities (i.e. a proper birational morphism with X smooth) the pullback of ω to π −1 (X sm ) extends to a regular 2-form on all of X . Since two given resolutions are dominated by a common resolution, it is enough to check this property only for one particular resolution. Singularities of a symplectic variety are called symplectic singularities. They are rational Gorenstein [1]. In retrospect, this definition seems natural but Beauville was originally motivated by the analogy between rational Gorenstein singularities and Calabi-Yau manifolds. Symplectic singularities have become a very important and influential subject, not just in algebraic geometry but also in representation theory [9,16].
If the pullback of ω to π −1 (X sm ) extends not just to a regular 2-form but to a symplectic form, the resolution π is called symplectic. This is the kind of resolution one would like to have in this context. In light of the minimal model program [7], we moreover want the resolution to be a projective morphism. From now on, by "resolution" we will always mean a "projective resolution". The canonical class K X of a symplectic variety X is trivial since it is trivialized by ∧ n ω, where dim X = 2n. Hence, if π : X → X is a symplectic resolution, then K X is trivial as well. In particular, π * K X = K X , i.e. π is a crepant resolution. Conversely, a crepant resolution of a symplectic variety is symplectic [17].
One important class of examples of symplectic varieties are the symplectic linear quotients: quotients V /G = Spec C[V ] G for V a finite-dimensional symplectic complex vector space and G < Sp(V ) a finite group of symplectic automorphisms of V . Here, the symplectic form on the smooth part of V /G is induced by the symplectic form on V ; see [1]. Note that we always have Sp(V ) ≤ SL(V ) and that there is equality for V = C 2 , so 2-dimensional symplectic linear quotients are precisely the Kleinian singularities. It is known that Kleinian singularities admit a unique minimal resolution, and the minimal resolution is crepant (thus symplectic). In higher dimensions, the situation is much more difficult and interesting.
Problem Which symplectic linear quotients V /G admit a symplectic resolution?
There has been much progress on this problem over the past 2 decades-more on this below. The classification is almost complete but there is an infinite series of groups and 10 exceptional groups for which it is still open. In this paper, we treat the infinite series (and one exceptional group) and reduce the classification problem to finitely many open cases. The first major step in the classification is due to Verbitsky [28]. Theorem 1.1 (Verbitsky) If V /G admits a symplectic resolution (not necessarily projective), then the finite group G is generated by symplectic reflections, i.e. by elements s ∈ G whose fixed space is of codimension 2 in V .
Groups generated by symplectic reflections are called symplectic reflection groups. Note that despite the terminology, a symplectic reflection group is not just a group G but a pair (V , G). It is clear that for the main problem we need to consider pairs (V , G) only up to change of basis. Symplectic reflection groups up to conjugacy have been classified by Cohen [11] in 1980. In dimension 2 the symplectic linear quotients are just the Kleinian singularities and all of them admit a symplectic resolution. So, we assume from now on we are in dimension ≥ 4. It is sufficient to only consider symplectically irreducible pairs (V , G), i.e. pairs for which there is no proper non-zero symplectic subspace of V invariant under G, since any pair is a direct sum of symplectically irreducible pairs. The irreducible ones split into four classes as illustrated in Fig. 1.
If G preserves a Lagrangian subspace L ⊆ V , we say that G is improper. In this case, G ≤ GL(L) is a complex reflection group and V ∼ = L ⊕ L * as a G-module. Complex reflection groups up to conjugacy were classified by Shephard and Todd [25]. In work of Etingof-Ginzburg [13], Gordon [20], and Bellamy [2] it is proven that in this case V /G admits a symplectic resolution if and only if G is the group G(m, 1, n) = C m S n or the exceptional group G 4 in the Shephard-Todd notation. All symplectic resolutions up to Fig. 1 The different classes of symplectic reflection groups in dimension ≥ 4 in Cohen's classification isomorphism were explicitly constructed for G(m, 1, n) by Bellamy-Craw [3] and for G 4 by Lehn-Sorger [23].
We call a proper (i.e. not improper) group G symplectically imprimitive, if there exists a non-trivial decomposition V = V 1 ⊕ · · · ⊕ V k into symplectic subspaces such that, for all g ∈ G and all i, there exists j such that g(V i ) = V j . These groups split into infinite families given in [11,Theorem 2.6] (in dimension 4) and [11,Theorem 2.9] (in dimension greater than 4). Linear quotients of these groups are treated in [5], where the above question is answered for almost all cases. The remaining ones are covered by [29]. The only groups in this class for which the linear quotient admits a symplectic resolution are the groups K S n with a finite group K ≤ SL 2 (C) and the group Q 8 × Z/2Z D 8 considered in [4]. All resolutions in the latter case were explicitly constructed by Donten-Bury-Wiśniewski [12].
This leaves only the proper groups G which are symplectically primitive, that is, groups for which no decomposition as above exists. We still may have a decomposition into nonsymplectic subspaces, so those groups may be complex primitive or complex imprimitive. The complex primitive groups are given in [11, Table III]. In [5], the authors prove that for three of them (W (Q), W (S 3 ), W (T )) no symplectic resolution exists. Using the same strategy, we prove in Sect. 6: Theorem 1.2 The symplectic linear quotient associated to the symplectic reflection group W (S 2 ) does not admit a symplectic resolution.
This leaves the 9 groups coming from the root systems Table III], for which the problem is still open.
Apart from Sect. 6 we consider in this paper the last class of groups, namely the symplectically primitive but complex imprimitive ones as given in [11,Theorem 3.6]. This is an infinite class of groups in dimension 4. The main result of this paper is: Theorem 1.3 For all but possibly finitely many of the symplectic reflection groups (V , G) which are symplectically primitive but complex imprimitive the associated symplectic linear quotient V /G does not admit a symplectic resolution.
The cases not covered by our theorem are explicit. By theoretical arguments, we reduce it from infinitely many to 73 open cases, see Theorem 4.5 and Table 4. Using computer calculations with the software package Champ [26] developed by the third author, we further reduce this to 39 open cases, see Table 6.
We have thereby reduced the classification problem to finitely many (precisely, 39 + 9 = 48) open cases. We expect none of them admits a symplectic resolution but we currently cannot prove this.
We want to mention one key tool that was used to prove non-existence of a symplectic resolution in many cases and that we will use as well: the symplectic reflection algebras H c (V , G) associated to (V , G) by Etingof and Ginzburg [13]. These non-commutative algebras form a flat family of deformations of the "skew coordinate ring" C[V ] G of V /G. Their centres yield a flat family of deformations of the coordinate ring C[V ] G of V /G. The parameter space for the c is the space C S(G)/G , where S(G) is the set of symplectic reflections in G and S(G)/G denotes the set of G-conjugacy classes of symplectic reflections. The algebra H c (V , G) is finite over its centre, so all its irreducible modules are finite-dimensional. In fact, their dimension is bounded above by the order of G, see [13]. The following theorem is a combination of theorems by Etingof-Ginzburg [13] and by Ginzburg-Kaledin [19]. In fact, the converse holds as well [24] but most relevant for us is the negation of the above theorem: if for all c there is an irreducible H c (V , G)-module of dimension less than the order of G, then V /G does not admit a symplectic resolution. This is the strategy we will pursue in this paper. A key concept will be that of rigid representations introduced by the first and third authors in [6]. Before we come to this, we first need to collect and prove several properties about the reflection groups in question.

Remark 1.5
As noted by the referee, choosing a suitable normal subgroup K of G may allow one to apply the geometric techniques of [5] in order to show that some of the remaining open cases of symplectically primitive but complex imprimitive groups do not give rise to quotient singularities admitting a symplectic resolution. Specifically, if there exists a symplectic resolution Y → V /K such that the action of G/K on V /K lifts to Y , then the existence of particularly bad singularities on Y /(G/K ) implies that V /G cannot admit a symplectic resolution. However, we do not expect that the representation-theoretic techniques employed in this article (together with the computational data from [26]) can take us any further in deciding if the remaining cases admit a symplectic resolution, unless new ideas are introduced.

Primitive complex reflection groups
In Cohen's classification [11], symplectically primitive reflection groups come as complexification of primitive quaternionic groups and may be complex imprimitive or primitive. Here, we consider the first case. These are given by four infinite families of groups all acting on C 4 by [11,Theorem 3.6]. Each of them is constructed using an infinite family of subgroups of GL 2 (C). We will first describe these groups in more detail before we move on to the construction of the symplectic groups in the next section.
For any d ∈ Z ≥1 let where ζ d ∈ C is a primitive d-th root of unity. Let T, O and I be the binary tetrahedral, binary octahedral and binary icosahedral group respectively, which are subgroups of SL 2 (C). Of course, these are only defined up to conjugacy, but there is no need to fix a representative for what follows. See [10,393] for such an explicit description. We We follow [10,392] to construct a further group OT d for any That means, we have The infinite families of subgroups of GL 2 (C) used to constructed the symplectic reflection groups in the next section are the following: with d a multiple of 4, 6, or 10, (4) OT 2d , with d an odd multiple of 1 or 2 (i.e. d not divisible by 4).
and analogously for O and I), which settles the first three groups.
Let now g ∈ Z (OT d ). Note that OT d ⊆ μ 2d O, so for any h ∈ OT d , there exist a z ∈ μ 2d and an h ∈ O, such that h = zh . Then gh = hg implies gzh = zh g, so gh = h g. (1) to (4) and any g ∈ G we have (det g) (4).

Lemma 2.2 For any group G in
Then the claim follows directly since T ≤ SL 2 (C) and (det g)I 2 ∈ μ d/2 for g ∈ μ d . The same holds for the groups in (2) and (3).
Let G = OT d with d a multiple of 2 not divisible by 8. Then G ⊆ μ 2d O, so any non-trivial determinant comes from an element ζ k 2d g with a primitive 2d-th root of unity ζ 2d , g ∈ O and 0 ≤ k < 2d. Then det ζ k 2d g = ζ k d ∈ Z (G). For the second claim notice that for any 0 ≤ k < 2d either ζ k 2d I 2 ∈ G or ζ k 2d ω ∈ G, so we obtain indeed all elements of Z (G) as determinants.

Lemma 2.3
The groups O and I are not conjugate to any subgroup of μ d T for even d ∈ Z ≥1 . Proof Assume there is an embedding O → μ d T for an even d. Then we also would have an so this is not possible. The same reasoning holds for I in place of O since |I/Z (I)| = 60.

Lemma 2.4
The group O is not conjugate to any subgroup of OT 2d for any d ∈ Z ≥1 .
By the explicit description of OT 2d above, we may distinguish two cases. First assume ghg −1 = ζ k 4d ωt for some t ∈ T and 1 ≤ k < 4d odd. But this would imply det ζ k 4d I 2 ) = 1, so k must be a multiple of 2d in contradiction to k being odd. Hence we must have ghg −1 = ζ k 4d t for some t ∈ T and 0 ≤ k < 4d even. As this holds for all h ∈ O, it follows O ≤ g μ 4d T in contradiction to Lemma 2.3.

and d both not divisible by 4 if and only if d divides d with d /d odd.
Proof Assume OT 2d ≤ g OT 2d for a g ∈ GL 2 (C). We have ζ 4d ω ∈ OT 2d so gζ 4d ωg −1 ∈ OT 2d and hence by Lemma 2.2. So ζ 2 4d = ζ k 2d for some 0 ≤ k < 2d , which already shows d | d . Now assume that k = d /d is even. Then the only elements of OT 2d having determinant ζ k 2d lie in ζ k 4d T. But then we would have gζ 4d ωg −1 ∈ μ 4d T, so gωg −1 ∈ μ 16dd T in contradiction to Lemma 2.3.
Every group G in (1)-(4) contains a primitive complex reflection group of rank 2. These groups are the exceptional groups G 4 to G 22 in the classification by Shephard and Todd [25] by [10,Theorem 3.4]. Following [10], we can identify the groups G 5 and G 7 to G 22 with the groups in (1)-(4) for "small" values of d, see Table 1.
We now want to describe the largest complex reflection group contained in G. Let G be any primitive complex reflection group contained in G. Then the largest reflection group G 0 , i.e. the group generated by the reflections in G, must be primitive too, since it contains G . Hence G 0 must be conjugate to one of the groups G 4 to G 22 in the classification by Shephard and Todd [25].
To reduce the number of cases one has to consider in the proof of the next proposition, we computed which groups of the table are (conjugate to) a subgroup of another group using Magma [8]. We summarize the results in Table 2. (Note that the groups G 4 and G 6 do not contain any other group.)    (1) to (4) the largest complex reflection group G 0 ⊆ GL 2 (C) contained in G is as follows: In each case we have Proof (a) Let G = μ d T, d a multiple of 6. Then clearly μ 6 T ≤ G, so by the above discussion we have to consider the groups in the first row of Table 2. The group μ 12 T is a subgroup of G if and only if d is a multiple of 12.
For any g ∈ GL 2 (C), we cannot have μd O ≤ g G or μd I ≤ g G for anyd since this would imply O ≤ g G or I ≤ g G which does not hold by Lemma 2.3. Assume finally OT 2d ≤ g G for a g ∈ GL 2 (C). Then for all h ∈ O we have ghg −1 = ζ k d t or gζ 4d hg −1 = ζ k d t for some 0 ≤ k < d and t ∈ T. But then ghg −1 ∈ μ 4dd T, so O ≤ g μ 4dd T in contradiction to Lemma 2.3. So the largest complex reflection group in G is μ d 0 T with  Table 2. This already finishes this case. (c) Let G = μ d I, d a multiple of 4, 6, or 10. Then G for sure contains μ 4 I, μ 6 I or μ 10 I and Let ζ k 4d g ∈ ker ϕ. Then d | k, so k = d l for some l ∈ N, where l is odd if and only if k is odd, since d is odd. Hence ζ k 4d g = ζ l 4d 0 g ∈ OT 2d 0 . As ϕ is surjective it follows G/OT 2d 0 ∼ = μ d .

Imprimitive symplectic reflection groups
We are now ready to describe the already mentioned four families of imprimitive symplectic reflection groups which are symplectically primitive. For a matrix g ∈ GL 2 (C), set For any subset (in particular group) G ⊆ GL 2 (C), define and define E(G) = {g ∨ , g ∨ s | g ∈ G} for a group G ≤ GL 2 (C). Then the groups E(G) with G in (1)-(4) are imprimitive symplectic reflection groups by [11,Lemma 3.3]. In fact, all imprimitive but symplectically primitive symplectic reflection groups are conjugate to one of these groups by [11,Theorem 3.6].
For any group G ≤ GL 2 (C) denote by R(G) the set of reflection in G. For a group G ≤ GL 4 (C) denote by S(G) the set of symplectic reflection in G. In what follows let G be one of the groups in (1) to (4) and write Z (G) = μ d . Let G 0 be the largest complex reflection group contained in G, as in Proposition 2.6. We have G = μ d G 0 , but note that Here, an easy calculation shows sh ∨ s −1 = (det h) −1 h ∨ ∈ G ∨ (see Lemma 2.2) and the same holds for h ∈ G 0 . Let t ∈ E(G), so t = g ∨ s k for some g ∈ G and k ∈ {0, 1}. We have tr ∨ t −1 = (r ∨ ) −1 ∈ D d , if k = 0, and tr ∨ t −1 = r ∨ ∈ D d , if k = 1. Further, we have By det g = ζ l d for some 0 ≤ l < d, it follows tst −1 = (r l ) ∨ s ∈ D d and D d is indeed a normal subgroup of E(G).

Proposition 3.3 The group E(G) is a symplectic reflection group with symplectic reflections
Proof If g ∈ R(G), so rk(g − I 2 ) = 1, then g ∨ is clearly a symplectic reflection. Also, for so rk(I 4 − z ∨ s) = 2 and z ∨ s is a symplectic reflection. Hence all elements in S are indeed symplectic reflections and E(G) is a symplectic reflection group since E(G) = S . Let now t ∈ E(G) be a symplectic reflection. Then either t = g ∨ or t = g ∨ s for a g ∈ G. In the first case, it directly follows g ∈ R(G). So assume t = g ∨ s. For ease of notation, we define From An easy calculation shows that this requires g to be a scalar matrix, so g ∈ Z (G) = μ d , as all scalar matrices lie in the centre of G. Therefore all symplectic reflections in E(G) are elements of S.
Finally, note that the two given subsets of S contain matrices of different block-types, so their union is disjoint.

Corollary 3.4 All symplectic reflections in E(G) lie either in G ∨ 0 or in D d . None of the symplectic reflections of G ∨ 0 is conjugate in E(G) to one of D d and vice versa.
Proof The first part is clear since R(G) = R(G 0 ). The second part follows from Lemma 3.1 and Lemma 3.2.
We state for later reference:

Lemma 3.5 There are two D d -conjugacy classes in S(D d ), namely [s] and [(ζ d I 2 ) ∨ s]. In case G belongs to (1), (2), or (3) these are also the E(G)-conjugacy classes. In case G belongs to (4), there is only one E(G)-conjugacy class in S(D d ).
Proof For the claim about D d -conjugacy, see [

Symplectic reflection algebras
Let again G be one of the groups in (1) to (4). Let G 0 be the largest complex reflection group contained in G and let μ d = Z (G). Let D d := μ ∨ d , s ≤ E(G) as before. Let V = C 4 with standard symplectic form ω (notice that we already implicitly assumed this setting when we defined s).
We recall the definition of a symplectic reflection algebra as introduced in [13]. For g ∈ S(E(G)) we have V = V g ⊕(V g ) ⊥ (orthogonal with respect to ω). Let π g : V → (V g ) ⊥ be the projection and let ω g be the bilinear form defined by ω g (u, v) := ω(π g (u), π g (v)) for all u, v ∈ V . The symplectic reflection algebra of (V , E(G)) is defined to be where c : S(E(G)) → C is an E(G)-conjugacy invariant function. From now on we will omit the vector space in the notation and just write H c (E(G)) for this algebra.
We want to construct a simple module of H c (E(G)) of dimension strictly less than |E(G)| and then apply Theorem 1.4. To this end, we are going to deform a suitable module of an algebra H c (E(G)) for a certain parameter c . To be able to state the precise result, we require a bit more notation.
By Corollary 3.4, we may split c in two E(G)-invariant functions c 1 : S(E(G)) → C and c 2 : S(E(G)) → C given by , so we may think of c as c 1 + c 2 . By abuse of notation, we also write c 1 resp. c 2 for the restrictions c 1 | S(G ∨ 0 ) resp. c 2 | S(D d ) . We may consider the symplectic reflection algebras H c 1 (G 0 ) and H c 1 (G) (or more pre- ). Notice however that c 1 is in general not a generic (or even arbitrary) parameter for H c 1 for all 0 ≤ k, l < d and a primitive d-th root of unity ζ d .
Notice that d is even as −I 2 ∈ Z (G). We label the irreducible representations of D d as follows. There are four 1-dimensional representations Triv, Sgn, V 1 and V 2 , where Triv | Z (G) ∨ = Sgn | Z (G) ∨ = χ 0 and See [6,Section 8.2] for more details and precise definitions of these representations.
We say an irreducible representation ϕ of D d is c 2 -rigid, if ϕ is (isomorphic to) a simple H c 2 (D d )-module, see [6] for details. The following proposition reduces the problem of constructing H c (E(G))-modules to constructing H c 1 (G)-modules.  H c 1 (E(G))-module. We just need to show that it naturally deforms to a H c (E(G))-module. The defining relations for H c (E(G)) are   (4).    (4).

E(G)). As R(L) is an H c 1 (E(G))-module this means that [u, v] acts as
The action of G 0 resp. G on V leaves a Lagrangian subspace h invariant and we may identify h with the reflection representation of G 0 . Then h = C 2 and ζ d I 2 ∈ μ d acts as the scalar ζ d on h and as ζ −1 d on h * . We may write V = h ⊕ h * (but this decomposition is of course not stable under the action of s). Then we can define a Z-grading on H c 1 (G 0 ) by putting h * in degree 1, h in degree −1 and G 0 in degree 0. In the same way, we obtain a Z-grading on H c 1 (G) and the inclusion H c 1 (G 0 ) ⊆ H c 1 (G) preserves this grading.

This algebra has a triangular decomposition
The H c 1 (G 0 )-module structure on any graded quotient of (λ| G 0 ) extends to H c 1 (G).
(ii) We have to define an action of Z (G) on (λ| G 0 ). By [27, Lemma 2.5], we have as vector spaces, in particular (λ| G 0 ) is concentrated in non-negative degree. Let Z (G) act by χ on λ. By the above, Since M is graded, it is stable under the action of C × induced by the action of C × on h. The given action of Z (G) on h * is just a restriction of this action to the subgroup ζ d ≤ C × . Hence this also extends M to an H c 1 (G)-module.
As L(λ| G 0 ) is a graded quotient of (λ| G 0 ), this turns L(λ| G 0 ) into an H c 1 (G)-module too and L(λ| G 0 ) is of course simple as such a module. Proof Since L(λ| G 0 ) fulfils the conditions of Proposition 4.1, we obtain an H c (E(G))-module R(L(λ| G 0 )). By construction, we have since |E(G)| = 2|G|. Then any simple quotient L of R(L(λ| G 0 )) will also fulfil dim L < |E(G)|. As this holds for arbitrary parameters c, if follows that the variety C 4 /E(G) does not admit a symplectic resolution by Theorem 1.4.
We use a crude first estimate to show that all but finitely many of the groups on the list admit a simple module as in   (1), (2), or (3), (b) N + 3 < d in case G belongs to (4).

Proof
We only prove (a), (b) follows analogously. Note that d − 2 ≥ 0 by assumption. Let λ ∈ Irr G be any irreducible summand of Ind G Z (G) χ d−2 , so λ restricts to a multiple of χ d−2 on Z (G). As in the proof of Lemma 4.4, Z (G) acts on (λ| G 0 ) k by Then L(λ| G 0 )| D d is c 2 -rigid for all c 2 by Corollary 4.3.

Sharp bounds
In Table 3 we recall the number of reflections in the possible groups G 0 from [10] together with the minimal value of d fulfilling the condition in Proposition 4.6 (which does not mean that there exists a group G for such a d). This gives the groups G, for which Proposition 4.6 does not apply, as in Table 4. Using data computed with Champ [26], we want to find all groups which fulfil the assumptions of Theorem 4.5. We describe the necessary computations and give a concrete example below.
As before, let G 0 be one of the complex reflection groups from Table 1 and let (G d ) d∈D be the family of supergroups containing G 0 as subgroup generated by the reflections for a set of indices D determined by the conditions in (1)-(4) and Proposition 2.6. Let λ ∈ Irr G 0 and  Table 5 Results of the computations with No data available No data available No data available No data available let Z (G 0 ) = ζ . Then λ(ζ ) = ζ l I dim λ for a certain primitive l-th root of unity ζ l with l | d 0 .
Hence we can extend λ to a representation λ d of G d for any d ∈ D by setting λ d | G 0 = λ and λ d (η) = ζ l I dim λ , where Z (G) = η and l = l d d 0 (note that l | d, since l | d 0 and d 0 Here, ζ l is a primitive l -th root of unity with ζ d/d 0 l = ζ l . In particular, there may exist more than one choice for λ d . Now one can find, if it exists, the smallest (4). Let k ≥ 0 be minimal such that L(λ) k = 0 with respect to all parameters c 1 , which we can compute using Champ. Then the claim of Proposition 4.6 also holds for all d ∈ D with d ≥ d 1 (4). We give the results of our computations and in particular the best possible values for k and m for each of the families of groups in Table 5. Using those bounds for d, we obtain a "better" version of Table 4, see Table 6. However, this also means that for the groups in Table 6 (besides those, for which we could not do any computations), there does not exist any simple module λ fulfilling the conditions of Theorem 4.5.
Example 5. 1 We carry out the described computations for the group G 0 := μ 6 T. The family of supergroups is given by G d := μ d T for d = 12a + 6 with a ∈ Z ≥0 . Let ω ∈ C be a primitive third root of unity and set ζ 6 := −ω −1 . Then we may choose the matrix ζ := ζ 6 I 2 as generator for Z (G 0 ) = μ 6 . Going through the representations of G 0 in the database of Champ, we see that representation numbered 19 with character ϕ 3,4 maps ζ to (−ω − 1)I 3 = ζ −2 6 I 3 . In the above notation, we hence have m = 2. Note that this is the "best possible" value of m since we require m ≥ 2.
This gives the lower bound m = 2 < d 1 2 − 1, so that d 1 > 6, that is, d 1 = 18 = 3d 0 . Using Champ, we see that the top degree of L(λ) is 4, hence we have k = 5. Therefore we have the additional restriction which simplifies to d > 14. In conclusion, we improved the lower bound for d in Proposition 4.6 to d ≥ 18, leaving only the group G 0 itself.

The group W(S 2 )
In this section we show that for the group W (S 2 ) of [11, Table III] there is no symplectic resolution of the corresponding linear quotient. This group is one of the few symplectically and complex primitive groups; we follow the same strategy used in [5] to treat these groups. Namely, we are going to show, or rather compute that there is a subgroup of W (S 2 ), say H , which is the stabilizer of a vector. We can identify H with the improper symplectic group coming from the complex reflection group G (4,4,3) in the classification by Shephard and Todd [25]. Since the corresponding linear quotient of this group does not have a symplectic resolution by [2], the same holds for the quotient by W (S 2 ) by a result of Kaledin [21,Theorem 1.6]. The computer calculations leading to the result we are going to present were carried out and cross-checked using the software package Hecke [15] and the computer algebra systems GAP [18] and Magma [8].

The subgroup
Let v := (0, 0, 1, 0, 0, 0, 0, −1) ∈ C 8 and let H ≤ W (S 2 ) be the stabilizer of v with respect to the natural action of W (S 2 ) on C 8 . Using the command Stabilizer in either GAP [18] or Magma [8] one can compute this group: The space V H ≤ C 8 of vectors fixed by H is generated by v and (0, 0, 0, 1, 0, 0, 1, 0) . Its H -invariant complement W is then generated by the columns w 1 , . . . , w 6 ∈ C 8 of the matrix where ζ ∈ C is a primitive 8-th root of unity such that ζ 2 = i. By changing the basis from C 8 to W ⊕ V H and restricting to W we may identify H with a subgroup H W of Sp(W ) generated by the matrices ⎛ The basis of W was chosen, so that the symplectic form on Sp(W ) is given by the matrix One can directly see that H W leaves the subspace w 1 , w 2 , w 3 invariant and that this is a Lagrangian subspace. Hence H W is an improper group and can be identified with a complex reflection group G ≤ GL( w 1 , w 2 , w 3 ). Since this group is of rank 3 and order 96 it must be conjugate to G (4,4,3) in the classification [25].

Conclusion
Theorem 6. 1 The linear quotient C 8 /W (S 2 ) by the symplectic reflection group W (S 2 ) as given in [11, Table III] does not admit a symplectic resolution.
Proof Assume there does exist such a resolution.
Let v ∈ C 8 be any vector, G v ≤ W (S 2 ) the stabilizer of this vector and V ≤ C 8 the G v -invariant complement of the subspace (C 8 ) G v of vectors fixed by G v . Then also V /G v admits a symplectic resolution by [21,Theorem 1.6]. However, by the calculations above there exists a vector v ∈ C 8 such that G v acts on the invariant complement of the fixed space as G (4,4,3). Hence the quotient by G v does not admit a symplectic resolution by [2, Corollary 1.2] and the same must hold for C 8 /W (S 2 ).

Remark 6.2
One might want to use the same approach as presented in this section for the remaining groups. However, if the group is of dimension 4 any non-trivial subgroup stabilizing a vector is of dimension 2, so that the corresponding quotient by the subgroup always admits a symplectic resolution. This leaves only the groups W (S 1 ), W (R) and W (U ), which are of dimension 6, 8 and 10 respectively. For the group W (S 1 ) we could not find any suitable subgroup, and the groups W (R) and W (U ) are too large so that an exhaustive search for subgroups is not feasible.