Categorical crepant resolutions for quotient singularities (Q269870)

This article presents some interesting results on crepant resolutions of singularities of complex algebraic varieties. The point of view is not the ``classical'' one, where a \textit{crepant resolution} of a variety \(X\) is a proper birational morphism \(\pi: {\tilde X} \to X\), with \(\tilde X\) smooth, such that \({\pi}^{\star}(\omega _X) = \omega _{\tilde X}\), but rather the categorical (or abstract) one. In the classical context, often a variety does not admit a crepant resolution, but in the abstract one better results are expected. The precise definition of a categorical resolution of a variety \(X\) is rather technical, but basically it consists of a certain category \({\mathcal I}\) together with a functor \(\pi_{\star}: \mathcal I \to D(X)\) (the target is the derived category of quasi coherent sheaves on \(X\)), satisfying certain properties. Sometimes, when the functor is clear from the context, it is not specified. If a further condition (involving the bounded subcategory \(D^b (X)\) of \(D(X)\)) is satisfied, the categorical resolution is said to be \textit{strongly crepant}. (There is a variation of this notion, namely \textit{weakly crepant resolution}). It is known that a morphism \(\pi :\tilde X \to X\) is a crepant resolution of singularities if and only if the induced morphism \({\mathbf R}{\pi}_{\star}:D(\tilde X) \to D^b(X)\) is a strongly crepant resolution of singularities. But in general, categorical crepant resolutions do not ``come'' from classical, or geometric, ones. The main theorems proved in the paper are: (1) Let \(V\) be a smooth quasi-projective variety and \(G\) a finite subgroup of \(\mathrm{Aut}(V)\), such that the dualizing sheaf of \(V\) is \(G\)-equivariantly locally trivial. Then \(D_G(V)\) (the derived category of \(G\)-equivariant quasi-coherent sheaves on \(V\)) is a categorical strongly crepant resolution of \(X=V/G\). (2) Let \(X\) be a quasi projective variety with normal Gorenstein quotient singularities, \(\mathcal X\) a smooth Deligne-Mumford stack whose coarse moduli space is \(X\), and whose dualizing bundle is the pull-back of that of \(X\). Then \(D(\mathcal X)\) is a categorical crepant resolution of \(X\). Theorem (1) was known, but here a more ``elementary'' proof of it is given. Actually, more is proven about (1) or (2). Namely, the existence of a sheaf of algebras which allows the author to show that a non commutative crepant resolution of \(X\) (in the sense of \textit{M. Van den Bergh} [Duke Math. J. 122, No. 3, 423--455 (2004; Zbl 1074.14013)] is available. Other results are also discussed, indicating a connection of this work with certain cases of the categorical McKay correspondence.