Classification of symplectic resolutions

I don't have enough reputation to comment so I will post it as an answer. Some classification of symplectic resolutions was done by Namikawa (Poisson deformations and birational geometry). As observed in Kubrak and Travkin - Resolutions with conical slices and descent for the Brauer group classes of certain central reductions of differential operators in characteristic $p$, given a singular variety $Y$ over a field of char $0$ and provided there exists at least one symplectic resolution $\pi: X \rightarrow Y,$ the vector space $V_{\mathbb{R}}=\operatorname{Pic}(X) \otimes_{\mathbb{Z}} \mathbb{R}$ can be partitioned into a union of rational cones, and there is an action of a finite group $W$ on $V_{\mathbb{R}}$ that maps cones to cones. The set of symplectic resolutions $\pi: X \rightarrow Y$ is then identified with the set of cones modulo the action of $W$.


Here is an answer by Gwyn Bellamy, which he let me post here:

1) Is there a conjecture on the classification of symplectic resolutions? No, not that I am aware of. I think this is the wrong question anyway. Rather, one should first try to classify all conic symplectic singularities. There is an amazing result of Namikawa that says that if you bound the degrees of your algebra of functions on the singularity then there are only countably many isomorphism classes. So it is not inconceivable that a classification is possible. I believe that Namkiawa is trying to develop such a classification program. See in particular the papers of his PhD student T. Nagaoka. I think if we had such a classification then it would be relatively straightforward to decide when they admit symplectic resolutions.

2) Do Braverman-Finkelberg-Nakajima Coulomb branches give most known examples of symplectic singularities? Maybe. First, it is not known how many of these are actually conic (to fit into (1)). If we consider first the Higgs branch rather than the Coulomb branch then I think it is a reasonable question to ask if most conic symplectic singularities can be realised as Hamiltonian reductions of a symplectic vector space with respect to a (possibly disconnected) reductive group. One gets all nilpotent orbit closures of classical type this way for instance (I don’t know if this is still true for more general Slodowy slices). Now if this is the case and we believe symplectic duality then one should also realise most conic symplectic singularities as coulomb branches. I think there’s a slight issue here though. The definition as given by BFN does not work so well for disconnected groups. For instance if we take the gauge group to finite then the coulomb branch is just a point. Another way to see that one probably can’t get many quotient singularities (V/G for G \subset Sp(V) finite) is that the coulomb branch is always rational (has same field of fractions as affine space). I don’t think V/G is always rational even for type E Kleinian singularities, so can’t be realised via BFN construction. Maybe there is a way to modify their construction.

3) Do BFN Coulomb branches have explicit descriptions? No (though I am not an expert) outside the quivers gauge theories of finite type (or affine type A) there is no geometric or moduli description.

4) The case of quotient singularities is the one I am most familiar with (work with Travis). Here the classification of symplectic resolutions is almost complete, except for a finite number of exceptional groups. I believe that a PhD student of U. Thiel is looking at these. We also know precisely when quiver varieties admit symplectic resolutions, and I believe there is a classification due to Fu/Namikawa for (normalizations of) nilpotent orbit closures.

5) Also, is there an object "Lie group of the 21st century" which fits into an analogy [Lie group of the 21st century] : [symplectic resolution (Lie algebra of the 21st century)] = Lie group : Lie algebra? Yes, I would say this picture is very well understood. See the Asterique article by Braden-Licata-Proudfoot-Webster and subsequent work by Losev.