On symplectic resolutions and factoriality of Hamiltonian reductions
Abstract
Recently, Herbig–Schwarz–Seaton have shown that 3large representations of a reductive group G give rise to a large class of symplectic singularities via Hamiltonian reduction. We show that these singularities are always terminal. We show that they are \({\mathbb {Q}}\)factorial if and only if G has finite abelianization. When G is connected and semisimple, we show they are actually locally factorial. As a consequence, the symplectic singularities do not admit symplectic resolutions when G is semisimple. We end with some open questions.
1 Introduction
Hamiltonian reduction is an extremely powerful technique, in both physics and differential geometry, for producing rich new symplectic manifolds from a manifold with Hamiltonian Gaction. The same technique also works well in the algebraic setting, except that the resulting spaces are often singular, and hence cannot be (algebraic) symplectic manifolds. Thanks to Beauville [2], there is an effective generalization of algebraic symplectic manifold to the singular setting, appropriately called “symplectic singularities”. Often, these singularities admit symplectic resolutions, i.e., Poisson resolutions of singularities by symplectic varieties. Such resolutions have become very interesting from multiple points of view: representation theory (of quantizations), 3D physical mirror symmetry, algebraic and symplectic geometry, and so on. Note that, in order to admit a symplectic resolution, a variety must be a symplectic singularity, but the converse is not true.
Thus, it is natural to ask if algebraic Hamiltonian reduction gives rise to spaces with symplectic singularities. In general, examples make it clear that the answer is sometimes yes, sometimes no. For instance, examples show that even beginning with a symplectic linear representation of G, the resulting Hamiltonian reduction can be nonreduced or reducible; even if reduced and irreducible, it is often not normal. On the other hand many interesting classes of examples, such as Nakajima’s quiver varieties, give rise to symplectic singularities [3].
We prove two key results (Theorem 1.2 and Corollary 1.3) in this direction.Do these symplectic singularities admit symplectic resolutions?
First, we introduce some notation. Let G be a reductive (possibly disconnected) algebraic group over \({{\mathbb {C}}}\) and V a finite dimensional Grepresentation. For each integer \(k \ge 0\), one has the notion of a klarge representation, which roughly measures the codimension of points where certain undesirable behaviors occur (the orbit is not closed, the stabilizer is not minimal, or the stabilizer has a given positive dimension). We recall it precisely in Definition 2.1 below. In particular, as explained in [10], if G is connected and simple then all but finitely many Grepresentations V, with \(V^G = \{ 0 \}\), are 3large; for a more general statement with G connected and semisimple see [10, Theorem 3.6].
Theorem 1.1
If V is 3large then \(\mu ^{1}(0) /\!\!/\!\, G\) is a symplectic singularity.
Proof
The definition of Hamiltonian reduction used in [10] is different from the one given above. However, it follows from [10, Lemma 2.8] that the two definitions coincide if V is 2large. Therefore the result follows from [10, Theorem 1.1]. \(\square \)
Recall that the abelianization of G is \(G_{\text {ab}} := G/[G,G]\). The group G is called perfect if \(G_{\text {ab}}=\{1\}\), i.e., \(G=[G,G]\). We will show (Corollary 2.8 and Proposition 2.9):
Theorem 1.2
 (a)
X has terminal singularities.
 (b)
X is \({\mathbb {Q}}\)factorial if and only if \(G_{\text {ab}}\) is finite.
 (c)
If G is perfect then X is locally factorial.
In particular, if G is connected and semisimple then X is locally factorial. The theorem provides a method for producing examples of a symplectic singularity that is not \({\mathbb {Q}}\)factorial, but whose quotient by \({\mathbb {Z}}_2\) is \({\mathbb {Q}}\)factorial; see Example 2.12.
Corollary 1.3
Let V be a 3large representation of G. If \(G_{\text {ab}}\) is finite and G acts nontrivially on V, then the symplectic singularity X does not admit a symplectic resolution.
Note that, if the connected component \(G^\circ \) of the identity is semisimple, \(G_{\text {ab}}\) is a quotient of \(\pi _0(G)\), which is finite. Also, when \(\dim G > 0\), the assumption that G acts nontrivially on V is unnecessary, as it follows from the 3large property.
Proof of Corollary 1.3
As we show in Lemma 2.10 below, the fact that V is 3large and G acts nontrivially on V forces X to be singular. The fact that X is \({\mathbb {Q}}\)factorial by Theorem 1.2, together with van der Waerden purity, implies that if \(\rho : Y \rightarrow X\) is a symplectic resolution then the exceptional locus on Y is a divisor. But since X has terminal singularities, any crepant resolution must have exceptional locus of codimension at least two. This contradicts the fact that every symplectic resolution is crepant. \(\square \)
Theorem 1.2, combined with Namikawa’s result [15, Theorem 5.5], implies that:
Corollary 1.4
If \(G_{\text {ab}}\) is finite, then all Poisson deformations of the reduction X are locally trivial as ordinary deformations. In particular, the singularities cannot change under Poisson deformation.
In Sect. 2.4, we explain how the above results generalize, for finite groups, to the case when V is not linear. One simple consequence is that, by considering the finite quotient \((\mu ^{1} /\!\!/\!\, G^\circ ) / (G/G^\circ )\), if \(G^\circ \) is semisimple then one can reduce Theorem 1.2b to the connected case (although we do not need this).
Finally, in Sect. 3, we present some open questions. For example, for \(\dim G > 0\), can one generalize the results above to the case where V is not linear? What happens if one replaces the affine quotient by a GIT quotient, or when one takes Hamiltonian reduction at a nonzero character of \({\mathfrak {g}}\)?
2 Hamiltonian reductions
2.1 klarge representations
We assume throughout this section that G is a reductive (possibly disconnected) algebraic group over \({{\mathbb {C}}}\). Let N be an irreducible affine Gvariety. Let \(k = \min \{ \dim G_x : G \cdot x \text { is closed} \}\) and let l be the minimum number of connected components of \(G_x\) as x ranges over all points of N with \(G \cdot x\) closed and \(\dim G_x = k\). Write \(N'\) for the set of all points in N such that the number of connected components of \(G_x\) is l, the orbit \(G \cdot x\) is closed, and \(\dim G_x = k\). The orbits in \(N'\) are the principal orbits. Following G. Schwarz, when \(k=0\) we say that V has finite principal isotropy groups (FPIG). If the categorical quotient of N is \(\xi : N \rightarrow X := N /\!\!/\!\, G\), then \(X_{\mathrm {pri}} := \xi (N')\) and \(N_{\mathrm {pri}} := \xi ^{1}(X_{\mathrm {pri}})\). Since X is irreducible, \(X_{\mathrm {pri}}\) is open and dense in X, and it is a consequence of Luna’s slice theorem that the isotropy groups of all points in \(N'\) are conjugate; see [17, §1.4]. These groups are called principal isotropy groups.
Let us recall the definition of klarge representations (restated slightly from [10, §2.1]):
Definition 2.1

V has FPIG;

\({{\,\mathrm{codim}\,}}V {\setminus } V' \ge k\) (“kprincipal”)

\({{\,\mathrm{codim}\,}}V_{(r)}\ge r+k\) for \(1 \le r \le \dim G\), where \(V_{(r)} := \{v \in V \mid \dim G_v = r\}\) (“kmodular”).
Observe that if V has FPIG, then \(V_{\mathrm {pri}}=V'\) consists precisely of the principal orbits. We will need the following result.
Lemma 2.2
If V is klarge for \(k \ge 2\) then \(V \times V^*\) is 2klarge. Moreover, \(V' \times V^* \subseteq (V \times V^*)'\); similarly \(V \times (V^*)' \subseteq (V \times V^*)'\).
Proof
Note that, for \(v \in V\) and \(f \in V^*\), we have \(\dim G_{(v,f)} \le \text {min} \{\dim G_v, \dim G_f\}\). Thus the kmodularity of V implies 2kmodularity of \(V \times V^*\) (in fact, \((2k+1)\)modularity). To prove the 2kprincipal property and the FPIG condition, it suffices to prove the final assertion, which we do in the remainder of the proof. (This also shows that we can replace the primes by subscripts “pri”.)
Since V is klarge with \(k \ge 2\), it follows from [17, Corollary 7.7] that the principal isotropy groups \(G_v, v \in V_{\mathrm {pri}}\) are all equal to the kernel K of the action of G on V.
Since K is also the kernel of the action on \(V \times V^*\), we have \(K < G_{(v,f)}\) for all \(v \in V, f \in V^*\). On the other hand, if \(v \in V'\), then \(K > G_{(v,f)}\) for all \(f \in V^*\). So \(K=G_{(v,f)}\) for all \(v \in V', f \in V\).
We claim that all orbits in \(V' \times V^*\) are closed. More generally, let W be any representation of G and \(w \in W\). Then \(G \cdot (v, w)\) has dimension G, as \(G \cdot v\) does. If \(G \cdot (v,w)\) is not closed, then its boundary contains an orbit of the form \(G \cdot (v,w')\), as \(G \cdot v\) itself is closed. Being on the boundary, the orbit has dimension strictly less than \(\dim G\). This contradicts the previous statement. The claim follows.
Thus the kernel K is also the principal isotropy group for all points \((v,f) \in (V \times V^*)'\), which includes \(V' \times V^*\), and similarly also \(V \times (V^*)'\). This proves the final assertion, and hence the lemma. \(\square \)
2.2 Divisors
Recall that if \(D_1\) and \(D_2\) are Weil divisors on a normal variety X then \(\mathcal {O}(D_i)\) denotes the corresponding reflexive rank one subsheaf of \(\mathscr {K}(X)\) and \( \mathcal {O}(D_1 + D_2) = (\mathcal {O}(D_1) \otimes \mathcal {O}(D_2))^{\vee \vee }\). Set \(\mathcal {O}(D)^{(n)} := \mathcal {O}(nD)\).
Lemma 2.3
 (i)
The local ring \(\mathcal {O}_{X,x}\) has torsion class group \(\mathrm {Cl}(\mathcal {O}_{X,x})\).
 (ii)
For every line bundle \(M_0\) on \(X_{\mathrm {sm}}\), there exists an open subset U containing both x and \(X_{\mathrm {sm}}\), and \(n \ge 1\), such that \(M_0^{\otimes n}\) extends to a line bundle M on U.
Proof
 (i)
implies (ii). We denote by the same symbol \(M_0\) its pushforward to X. Thus, \(M_0\) is a reflexive rank one sheaf. There exists some \(n \ge 1\) such that \(M_0^{(n)}\) has trivial image in \(\mathrm {Cl}(\mathcal {O}_{X,x})\). Thus, \(M := M_0^{(n)}\) is locally free in a neighborhood of x and \(M _{X_{\mathrm {sm}}} = M_0^{\otimes n}\).
 (ii)implies (i). Let \(E \in \mathrm {Cl}(\mathcal {O}_{X,x})\). By Nagata’s Theorem, we can choose a Weil divisor D on X whose image in \(\mathrm {Cl}(\mathcal {O}_{X,x})\) equals E. Let \(\mathcal {O}(D)\) be the corresponding reflexive rank one sheaf. We wish to show that \(\mathcal {O}(D)^{(n)}\) is free in a neighborhood of x for some \(n \ge 1\). Let M be the extension of \(\mathcal {O}(D)_{X_{\mathrm {sm}}}^{\otimes n}\) to U. The line bundle M corresponds to a Cartier divisor C on U; \(M = \mathcal {O}_{U}(C)\). Then,and the divisors \(nD _{X_{\mathrm {sm}}}\) and \(C _{X_{\mathrm {sm}}}\) are linearly equivalent. Since X is normal, we have \(nD \sim C\), implying that nD is Cartier. Thus, \(nE = 0\). \(\square \)$$\begin{aligned} (\mathcal {O}(D)_{X_{\mathrm {sm}}})^{\otimes n} = \mathcal {O}_{X_{\mathrm {sm}}}(C \cap X_{\mathrm {sm}}), \end{aligned}$$
The following is a variant of [3, Theorem 6.7], itself based on a result of Drezet, [7, Théorème A].
Theorem 2.4
 (a)
N has FPIG,
 (b)
the complement to \(N_{\mathrm {pri}}\) in N has codimension at least two; and
 (c)
the complement to \(\xi ^{1}(X_{\mathrm {sm}})\) in N has codimension at least two.
 (i)
The local ring \(\mathcal {O}_{X,x}\) has torsion class group \(\mathrm {Cl}(\mathcal {O}_{X,x})\).
 (ii)
For every line bundle \(M_0\) on \(X_{\mathrm {sm}}\), there exists an open subset U containing both x and \(X_{\mathrm {sm}}\), and \(n \ge 1\), such that \(M_0^{\otimes n}\) extends to a line bundle M on U.
 (iii)
For every Gequivariant line bundle L on N, the action of the stabilizer \(G_y\) on every fiber \(L_y\) factors through a finite group.
Proof
Since N is normal, so too is X. Therefore the fact that (i) is equivalent to (ii) follows from Lemma 2.3.
The set \(N_{\mathrm {pri}}\) is the preimage under \(\xi \) of \(X_{\mathrm {pri}}\). The fibers of \(\xi : N \rightarrow X\) have dimension G over the principal locus, hence have dimension \(\ge \dim G\) everywhere. Therefore, the fact that the complement to \(N_{\mathrm {pri}}\) in N has codimension at least two implies that the complement to \(X_{\mathrm {pri}}\) in X has codimension at least two as well. Let \(X_s = X_{\mathrm {pri}} \cap X_{\mathrm {sm}}\), an open set with complement of codimension at least two. Let \(N_s = \xi ^{1}(X_s)\). Our assumptions imply that the complement to \(N_s\) in N has codimension at least two as well.
(ii) implies (iii). Suppose that L is a Gequivariant line bundle on N. Since N has FPIG, all stabilizers \(G_y\) for \(y \in N_{\mathrm {pri}}\) are conjugate. In particular, their orders are the same. Thus, there exists some m for which the stabilizers all act trivially on the fibers of \(L^{\otimes m} _{N_s}\). By descent [7, Theorem 1.1], the line bundle \((L^{\otimes m}) _{N_{s}}\) descends to a line bundle \(M_0\) on \(X_{s}\). This line bundle extends to \(X_{\mathrm {sm}}\) since \(X_{\mathrm {sm}} {\setminus } X_s\) has codimension at least two, and \(X_{sm}\) is smooth (hence locally factorial). By (ii), there is an extension M of \(M_0^{\otimes n}\) to U. Then the Gequivariant line bundle \(\xi ^* M\) agrees with \(L^{\otimes nm}\) on \(N_s\). By normality, this implies that \(\xi ^* M = L^{\otimes mn}\) on \(\xi ^{1}(U)\). In particular, since \(y \in \xi ^{1}(U)\), the stabilizer of y acts trivially on \(L_y^{\otimes mn}\).
(iii) implies (ii). Let \(M_0\) be a line bundle on \(X_s\). By [3, Lemma 6.6], the line bundle \(\xi ^* M_0\) extends to a Gequivariant line bundle L on N. Let \(y \in N\). Then, \(G_y\) acts trivially on \(L^{\otimes n}_y\) for some \(n \ge 1\) (we can take n to be the size of the finite quotient through which \(G_y\) acts). By [3, Lemma 6.8] there is an affine open neighborhood U of x such that \(G_{y'}\) acts trivially on \(L_{y'}^{\otimes n}\) for all \(y' \in \xi ^{1}(U)\) such that \(G \cdot y'\) is closed in N. We may assume without loss of generality that \(X_s \subset U\). Then, by descent [7, Theorem 1.1], there exists a line bundle M on U such that \(\xi ^* M \simeq L^{\otimes n}\). In particular, M extends \(M_0^{\otimes n}\). \(\square \)
Corollary 2.5
Assume that \(\mathrm {(a)}\)–\(\mathrm {(c)}\) of Theorem 2.4 hold, and that N admits a \({\mathbb {C}}^{\times }\)action, commuting with the action of G, contracting all points to a unique fixed point. If \(n:=G_{\mathrm {ab}}\) is finite then for each Weil divisor D on \(N /\!\!/\!\, G\), nD is Cartier.
Proof
Let o be the unique fixed point of the \({\mathbb {C}}^{\times }\)action on N. Then \(G_o = G\) and \(\{ o \}\) is a closed orbit in N. Let L be a Gequivariant line bundle on N, as in the proof of (iii)\(\Rightarrow \)(ii) in Theorem 2.4. Our assumptions imply that \(G=G_o\) acts trivially on the fiber \(L_o^{\otimes n}\). It follows that the class group of the local ring \(\mathcal {O}_{X,\xi (o)}\) is ntorsion. By [5], this implies that for each Weil divisor D in a neighborhood of \(\xi (o)\) in X, nD is Cartier. Using the contracting \({{\mathbb {C}}}^*\) action on X, this must hold globally. \(\square \)
Remark 2.6
In Theorem 2.4 and Corollary 2.5, it actually suffices to allow N to be \({\mathbb {Q}}\)factorial: it need not be locally factorial. In Corollary 2.5, the revised statement should be that, if \(m \text {Weil}(N) \subseteq \text {Cartier}(N)\), then \(mG_{\text {ab}} \text {Weil}(N /\!\!/\!\, G) \subseteq \text {Cartier}(N /\!\!/\!\, G)\). This only affects the argument of (iii)\(\Rightarrow \)(ii) of Theorem 2.4 by replacing \(\xi ^* M_0\) there by \((\xi ^* M_0)^{\otimes m}\).
In particular, if G is perfect in Corollary 2.5, then \(N /\!\!/\!\, G\) is locally factorial. This applies for instance when G is connected semisimple.
2.3 Proof of Theorem 1.2
We wish to apply the above results to the particular case where \(N = \mu ^{1}(0) \subset T^* V\) for some Grepresentation V and \(X = N /\!\!/\!G\). We require a technical lemma:
Lemma 2.7
If V is 2large then \(N {\setminus } N_{\mathrm {pri}}\) has codimension at least 2 in N.
Proof
Since \(V \times \{ 0 \} \subset N\), Lemma 2.2 implies that N contains principal points of \(V \times V^*\). Thus, N satisfies FPIG and \(N_{\mathrm {pri}} = (V \times V^*)_{\mathrm {pri}} \cap N\). Moreover, Lemma 2.2 implies that it suffices to show that the complement to \((V_{\mathrm {pri}} \times V^*) \cap N\) in N has codimension at least two. Explicitly, for each irreducible component \(Z \subseteq V {\setminus } V_{\mathrm {pri}}\), we need to find a pair of functions \(f_1,f_2 \in {{\mathbb {C}}}[V]\), both vanishing on Z, which form a regular sequence on N.
To find the functions \(f_1, f_2\), note that \(V_{\mathrm {pri}}\) is the preimage of an open dense subset of \(V /\!\!/\!\, G\), with complement of codimension at least two. Therefore there exist Ginvariant \(f_1, f_2 \in {{\mathbb {C}}}[V /\!\!/\!\, G] = {{\mathbb {C}}}[V]^G\), vanishing on \(Z \subseteq (V {\setminus } V_{\mathrm {pri}})\), which are not scalar multiples of each other. Since Z is irreducible, we can assume that \(f_1\) is an irreducible element of \({{\mathbb {C}}}[V]^G\). After replacing \(f_2\) by \(f_2/\gcd (f_1,f_2)\), we can also assume they share no common factors, i.e., they form a regular sequence on V. Then, it follows from [17, Lemma 9.7] that \(f_1, f_2, f_{A_1}, \ldots , f_{A_\ell }\) form a regular sequence, where \(f_{A_1}, \ldots , f_{A_\ell }\) are the defining equations for N. Thus \(f_1\) and \(f_2\) also define a regular sequence on N. \(\square \)
For the remainder of this section, we assume that V is a 3large representation of G. Let \(N := \mu ^{1}(0)\) and \(X := N /\!\!/\!\, G\). By [10, Proposition 3.2], this implies that N is reduced, irreducible, and normal. Since V has FPIG by assumption and \(V \times \{ 0 \} \subset N\), N also has FPIG.
Corollary 2.8
The Hamiltonian reduction X is \({\mathbb {Q}}\)factorial if and only if the abelianization \(G_{\mathrm {ab}}\) of G is finite. If G is perfect then X is locally factorial.
Proof
As noted in [10, Section 3.1], if V is nlarge, for \(n \ge 2\), then it follows from [1, Proposition 6] and [9, Remark 2.4] that \({{\mathbb {C}}}[N]\) is a unique factorization domain. In particular, N is locally factorial.
The fact that V is 3large implies by [10, Theorem 3.21] that \(X_{\mathrm {sm}} = X_{\mathrm {pri}}\). Thus, \(N_{\mathrm {pri}} = \xi ^{1}(X_{\mathrm {sm}})\). Hence, Lemma 2.7 implies that assumptions (a)–(c) of Theorem 2.4 hold in this case. Note that X carries a contracting \({\mathbb {C}}^{\times }\)action, with unique fixed point o. Therefore, by Corollary 2.5, if G has finite abelianization, then X is \({\mathbb {Q}}\)factorial, and if it is perfect, then X is locally factorial.
Assume now that \(G_{\text {ab}}\) is not finite. Then we can choose a surjective character \(\theta : G \rightarrow {\mathbb {C}}^{\times }\). In particular, \(\theta ^n \ne 1\) for all \(n \ge 1\). Let L be the Gequivariant line bundle on N corresponding to the \(({{\mathbb {C}}}[N],G)\)module \({{\mathbb {C}}}[N] \otimes \theta \), where G acts diagonally. Forgetting the equivariant structure, L is the trivial line bundle. However, G acts on the fiber \(L_0\) as multiplication by \(\theta \). In particular, this action does not factor through any finite group. Thus, we deduce from Theorem 2.4 that \(\mathrm {Cl}(\mathcal {O}_{X,o})\) is not torsion. \(\square \)
The following proposition completes the proof of Theorem 1.2.
Proposition 2.9
The variety X has terminal singularities.
Proof
Since we have assumed that V is 3large, [10, Theorem 3.21] says that \(X_{\mathrm {sm}} = X_{\mathrm {pri}}\). Then it is a consequence of Theorem 4.4 of loc. cit. says that the subvariety \(X {\setminus } X_{\mathrm {sm}}\) has codimension at least four in X. Moreover, Corollary 4.5 of loc. cit. says that X is a symplectic singularity. Therefore, it follows from [14] that X has terminal singularities. \(\square \)
Finally, we note that:
Lemma 2.10
If G acts nontrivially on V then the variety X is singular.
Proof
The assumption that G acts nontrivially on V implies that \(X_{\mathrm {pri}} \ne X\) because \(0 \notin X_{\mathrm {pri}}\). Then the claim once again follows from [10, Theorem 3.21], which says that \(X_{\mathrm {pri}} = X_{\mathrm {sm}}\). \(\square \)
The reader can check that Theorem 1.1, Theorem 1.2 and Corollary 1.3 all hold provided V is 2large and \(X_{\mathrm {sm}} = X_{\mathrm {pri}}\). The 3large condition is only required to guarantee, by [10, Theorem 3.21], that \(X_{\mathrm {sm}} = X_{\mathrm {pri}}\). There exist examples of 2large representation that are not 3large, but for which \(X_{\mathrm {sm}} = X_{\mathrm {pri}}\). In particular, the following is explained after the proof of Lemma 5.6 of loc. cit.
Lemma 2.11
If the connected component \(G^{\circ }\) is a torus and V is 1large then \(X_{\mathrm {sm}} = X_{\mathrm {pri}}\).
Example 2.12
If, instead, one takes \(G^{\circ } = {\mathbb {C}}^{\times }\) acting on the same representation, then this is once again 2large and for \(Y := \mu ^{1}(0) /\!\!/\!\, G^{\circ }\), we have \(Y_{\mathrm {sm}} = Y_{\mathrm {pri}}\). However, Theorem 1.2 says that Y is no longer \({\mathbb {Q}}\)factorial. This gives an example of a symplectic singularity that is not \({\mathbb {Q}}\)factorial, but whose quotient by \({\mathbb {Z}}_2\) is \({\mathbb {Q}}\)factorial.
In the context of nilpotent orbit closures, the above example is wellknown^{1}. The space Y is easily identified with the minimal nilpotent orbit in \(\mathfrak {sl}_{2n}\) (it is a special case of [12, Theorem 3.3] and also a wellknown quiver variety). It has a symplectic resolution given by \(T^* {\mathbb {P}}(V)\) (or by taking the GIT quotient) (see [8, Corollary 3.19]), which provides another proof that Y is not \({\mathbb {Q}}\)factorial in this case. Similarly, identifying \({\mathbb {C}}^{\times }\rtimes {\mathbb {Z}}_2\) with \(O(2,{{\mathbb {C}}})\), it follows from [13, Theorem 5.3] that X is isomorphic to the closure of the nilpotent coadjoint orbit \(\mathcal {O}_{[2^2,1^{2n4}]}\) in \(\mathfrak {sp}_{2n}\), which is also known to be \({\mathbb {Q}}\)factorial as it has finite Weil divisor class group; see [8, Proposition 2.9]. We note that this orbit closure is normal by [13, Theorem 1]. The quotient map \(Y \rightarrow X\) is also the one studied in [6, Theorem 6.3.(iii)], where it is described as the composition \(Y \hookrightarrow \mathfrak {sl}_{2n} \twoheadrightarrow \mathfrak {sp}_{2n} = \mathfrak {sl}_{2n}^{{\mathbb {Z}}_2} \supset X\).
Example 2.13
One can also produce examples where X is not \({\mathbb {Q}}\)factorial but X / H is locally factorial for H finite (and both are terminal symplectic singularities). For this let G be a perfect reductive group, such as \(({\mathbb {C}}^{\times })^4 \rtimes A_5 < \mathrm {SL}_5\), and let V be any 2large representation of G with \(X_{\mathrm {sm}} = X_{\mathrm {pri}}\), e.g., \(V=\text {Res}^{\mathrm {SL}_5}_G ({{\mathbb {C}}}^5)^2\) in this case. Then set \(X := \mu ^{1}(0) /\!\!/\!\, G^\circ \) and \(H=G/G^\circ = \pi _0(G)\); in this example, \(H=A_5\).
2.4 Remarks on disconnected groups
We have chosen to work with disconnected groups partly since, as illustrated by Example 2.12, it leads to different behavior. In fact, it is also possible to deduce Theorem 1.2.(b) for groups G whose connected component \(G^\circ \) of the identity is semisimple, directly from the case of \(G^\circ \). More generally, if Y is an irreducible symplectic singularity, and H a finite group of symplectic automorphisms of Y, by [2, Proposition 2.4] Y / H is also a symplectic singularity. If Y is additionally terminal, by [14], Y has singularities in codimension at least four, and Y / H is terminal if and only if it has the same property. Thus, Y / H is terminal if and only if Y is terminal and the nonfree locus of H on Y has codimension at least four. On the other hand, if Y is \({\mathbb {Q}}\)factorial, so is Y / H: see, e.g., [4, Theorem 3.8.1] where Y and Y / H need only be normal, not symplectic singularities. In our situation, the result follows from the \({\mathbb {Q}}\)factorial version of Theorem 2.4 (see Remark 2.6), specializing to finite groups. When Y has a contracting \({\mathbb {C}}^{\times }\)action which commutes with H, then \(m \cdot \text {Weil}(Y) \subseteq \text {Cartier}(Y)\) implies that \(H_{\text {ab}} \cdot m \cdot \text {Weil}(Y/H) \subseteq \text {Cartier}(Y/H)\) (by Corollary 2.5; the statement also follows from [4, Theorem 3.8.1]).
Put together, we see that the quotient of a \({\mathbb {Q}}\)factorial terminal singularity by a finite group of symplectomorphisms acting freely outside codimension at least four is also a \({\mathbb {Q}}\)factorial terminal symplectic singularity. In particular, if such a quotient is singular (which is true unless Y is smooth and H acts freely), then there is no symplectic resolution of singularities. This generalizes, and provides a completely different proof of, the theorem of Verbitsky [18], which considered the case that Y is a symplectic vector space (note, though, that the nonexistence of symplectic resolutions in the general case follows by formal localization from Verbitsky’s theorem if H has nontrivial isotropy groups on the smooth locus of Y).
Now suppose that V is a 3large representation of the reductive group G. Then it is also a 3large representation of \(G^\circ \). Set \(\xi : \mu ^{1}(0) \rightarrow Y := \mu ^{1}(0) /\!\!/\!\, G^{\circ }\) and \(H = G / G^{\circ } K\), for K the kernel of the action G on V. By [17, Corollary 7.7], G / K acts freely on the principal locus \(V_{\mathrm {pri}}\), hence also on \(\mu ^{1}(0)_{\mathrm {pri}}\). By the proof of [17, Theorem 4.4], the complement to the image \(U := \xi (\mu ^{1}(0)_{\mathrm {pri}})\) has codimension at least four. Since \(\mu ^{1}(0)_{\mathrm {pri}}\) consists of closed orbits, H acts freely on U. If in addition \(G^{\circ }\) is semisimple, then by Theorem 1.2, Y is locally factorial. Then we are in the situation of the previous paragraph, so that \(X:=Y/H\) is a \({\mathbb {Q}}\)factorial terminal symplectic singularity. This verifies Theorem 1.2.(b), for \(G^\circ \) semisimple, assuming only the connected case.
Note that such considerations appear insufficient for deducing Theorem 1.2a in the case that \(G^\circ \) need not be semisimple, since as Example 2.12 shows, in general if Y is a non\({\mathbb {Q}}\)factorial singularity then a finite quotient Y / H can nonetheless be \({\mathbb {Q}}\)factorial (even in the case of terminal symplectic singularities).
3 Open questions
The above suggests the following possible generalizations:
Question 3.1
Suppose we replace a 3large representation V of a reductive group G by a smooth irreducible affine variety Y such that, at every \(y \in Y\) such that \(G \cdot y \subseteq Y\) is closed, the representation \(T_yY\) of \(G_y\) is 3large. For moment map \(\mu : T^* Y \rightarrow {\mathfrak {g}}^*\), do the analogs of Theorems 1.1 and 1.2 hold?
Next, by Lemma 2.2, if V is a klarge representation of G, then \(T^* V\) is 2klarge.
Question 3.2
Suppose that a reductive group G acts symplectically on a representation U of G which is now assumed to be 6large. For moment map \(\mu : U \rightarrow {\mathfrak {g}}^*\), do the analogues of Theorems 1.1 and 1.2 hold for the reduction \(\mu ^{1}(0) /\!\!/\!\, G\)?
Of course, we can put the two questions together:
Question 3.3
If U is a symplectic irreducible affine variety, or more generally an affine symplectic singularity, with a Hamiltonian action of a reductive group G, and \(T_u U\) is 6large for every \(u \in U\) with \(G \cdot u \subseteq U\) closed, then do Theorems 1.1 and 1.2 hold for the Hamiltonian reduction \(\mu ^{1}(0) /\!\!/\!\, G\)? If U is (singular and) conical with cone point \(o \in U\) and \({\mathbb {C}}^{\times }\)action commuting with the action of G, it is enough to ask that \(T_o U\) be 6large.
If G is finite, the above questions all have affirmative answers by Sect. 2.4. If the questions have affirmative answers in general, then whenever \(G_{\text {ab}}\) is finite, suitably large Hamiltonian reductions by G do not admit symplectic resolutions.
Finally, we can ask about Hamiltonian reductions at nonzero coadjoint orbits. Recall that, if V is a 2large representation of a reductive group G, then \(\mu : T^*V \rightarrow {\mathfrak {g}}^*\) is flat by [17, Proposition 9.4].
Question 3.4
Suppose that V is a 2large representation of a reductive group G and \(\mu : T^* V \rightarrow {\mathfrak {g}}^*\) the moment map. Is the reduction \(\mu ^{1}(\chi ) /\!\!/\!\, G\)\({\mathbb {Q}}\)factorial for generic characters \(\chi : {\mathfrak {g}} \rightarrow {{\mathbb {C}}}\)? More generally, if U is a 4large symplectic representation of G and \(\mu : U \rightarrow {\mathfrak {g}}^*\) the moment map, is \(\mu ^{1}(\chi ) /\!\!/\!\, G\)\({\mathbb {Q}}\)factorial for generic \(\chi \)? The same questions apply also in the global setting (following Questions 3.1 and 3.3).
If the answer is affirmative and \(\mu ^{1}(0) /\!\!/\!\, G\) has symplectic singularities, then a symplectic smoothing exists if and only if it can be obtained by varying the moment map parameter. Similarly, it is also interesting to replace deformations (varying \(\chi \)) as above by partial resolutions, obtained by replacing the affine quotient above by a GIT quotient corresponding to a character \(\theta : G \rightarrow {\mathbb {C}}^{\times }\): are the resulting quotients \({\mathbb {Q}}\)factorial for generic \(\theta \)? If so, then whenever symplectic resolutions exist, they can be obtained by varying \(\theta \). The 2large property is important here:
Example 3.5
Let \(V=({{\mathfrak {s}}}{{\mathfrak {l}}}_2)^2\), considered as a representation of \(G=PGL_2\). For \(\mu : T^* V \rightarrow {\mathfrak {g}}\), by [11], the quotient \(\mu ^{1}(0) /\!\!/\!\, G\) identifies with the locus of squarezero matrices in \({{\mathfrak {s}}}{{\mathfrak {p}}}_4\), and in particular is a symplectic singularity which is not terminal. (The singular locus is the codimensiontwo locus of rankone matrices in \({{\mathfrak {s}}}{{\mathfrak {p}}}_4\)). In particular, V is not 2large (in fact, it is 1large). Note that G is simple, and one cannot obviously construct any symplectic resolution via GIT. However, as explained in [11, Remark 4.6], following [16] in the global situation of moduli spaces of sheaves on K3 surfaces, blowing up the reduced singular locus of \(X = \mu ^{1}(0) /\!\!/\!\, G\) produces a symplectic resolution. This is is also realized by the partial Springer resolution with source the cotangent bundle of the Lagrangian Grassmannian in \({{\mathbb {C}}}^4\). We note that generalizations of this construction to quiver varieties are given in [3].
Footnotes
 1.
We thank the referee for bringing this to our attention.
Notes
Acknowledgements
We’d like to thank Amihay Hanany for useful discussions, including pointing out the O(2) interpretation in Example 2.12. The second author is grateful to the Max Planck Institute for Mathematics for support during work on this project.
References
 1.Avramov, L.L.: Complete intersections and symmetric algebras. J. Algebra 73(1), 248–263 (1981)MathSciNetCrossRefzbMATHGoogle Scholar
 2.Beauville, A.: Symplectic singularities. Invent. Math. 139(3), 541–549 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
 3.Bellamy, G., Schedler, T.: Symplectic resolutions of quiver varieties and character varieties. arXiv:1602.00164v2 (2016)
 4.Benson, D.J.: Polynomial Invariants of Finite Groups. London Mathematical Society Lecture Note Series, vol. 190. Cambridge University Press, Cambridge (1993)Google Scholar
 5.Gabber, O., Boissière, S., Serman, O.: Sur le produit de variétés localement factorielles ou \(Q\)factorielles. arXiv:1104.1861v3 (2011)
 6.Brylinski, R., Kostant, B.: Nilpotent orbits, normality and Hamiltonian group actions. J. Am. Math. Soc. 7(2), 269–298 (1994)MathSciNetzbMATHGoogle Scholar
 7.Drezet, J.M.: Points non factoriels des variétés de modules de faisceaux semistables sur une surface rationnelle. J. Reine Angew. Math. 413, 99–126 (1991)MathSciNetzbMATHGoogle Scholar
 8.Fu, B.: Symplectic resolutions for nilpotent orbits. Invent. Math. 151(1), 167–186 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
 9.Herbig, H.C., Schwarz, G.W.: The Koszul complex of a moment map. J. Symplectic Geom. 11(3), 497–508 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
 10.Herbig, HC., Schwarz, G.W., Seaton, C.: Symplectic quotients have symplectic singularities. arXiv:1706.02089v2
 11.Kaledin, D., Lehn, M.: Local structure of hyperkähler singularities in O’Grady’s examples. Mosc. Math. J. 7(4), 653–672, 766–767 (2007)Google Scholar
 12.Kraft, H., Procesi, C.: Closures of conjugacy classes of matrices are normal. Invent. Math. 53(3), 227–247 (1979)MathSciNetCrossRefzbMATHGoogle Scholar
 13.Kraft, H., Procesi, C.: On the geometry of conjugacy classes in classical groups. Comment. Math. Helv. 57(4), 539–602 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
 14.Namikawa, Y.: A note on symplectic singularities. arXiv:0101028 (2001)
 15.Namikawa, Y.: Poisson deformations of affine symplectic varieties. Duke Math. J. 156(1), 51–85 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
 16.O’Grady, K.G.: Desingularized moduli spaces of sheaves on a \(K3\). J. Reine Angew. Math. 512, 49–117 (1999)MathSciNetzbMATHGoogle Scholar
 17.Schwarz, G.W.: Lifting differential operators from orbit spaces. Ann. Sci. École Norm. Sup. (4) 28(3), 253–305 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
 18.Verbitsky, M.: Holomorphic symplectic geometry and orbifold singularities. Asian J. Math. 4(3), 553–563 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.