Uniqueness of crepant resolutions and symplectic singularities. (Q1890145)

A variety \(W\) is said to have symplectic singularities if there exists a holomorphic symplectic 2-form \(\omega \) on the regular part of \(W\) such that for any resolution of singularities \(\pi :X\to W\) the 2-form \(\pi ^*\omega \) can be extended to a holomorphic 2-form on \(X\). If this extension is symplectic then one says that \(W\) admits a symplectic resolution. The authors prove that any crepant (i.e. symplectic) resolution of \(W=W_1\times \ldots \times W_k\) which is locally \({\mathbb Q}\)-factorial, where the \(W_i\) are normal locally \({\mathbb Q}\)-factorial singular varieties which admit a crepant resolution \(\pi _i:X_i\to W_i\), is isomorphic to the product \(\pi =\pi _1\times \ldots \times \pi _k:X=X_1\times \ldots \times X_k\to W_1\times \ldots \times W_k\). The theorem on symplectic resolution in the case of nilpotent orbits in a complex semisimple Lie algebra is also proved.