Invariant Hilbert schemes and desingularizations of quotients by classical groups (Q742494)

Let \(W\) be a finite dimensional linear representation of a reductive algebraic group \(G\) over an algebraically closed field \(k\) of characteristic 0. Let \(\mathcal{H}\) denote the invariant Hilbert scheme \(\mathrm{Hilb}^G_{h_W}(W)\) parametrizing \(G\)-stable closed subschemes \(Z\) of \(W\) with \(h_W\) being the Hilbert function of the general fiber of the (categorical) quotient morphism \(\nu : W \rightarrow W/\!\!/G = \mathrm{Spec}(k[W]^G)\). The article under review addresses the following question: in which cases is the Hilbert-Chow morphism from \(\gamma : \mathcal{H} \rightarrow W/\!\!/G\), possibly restricted to the main component, a desingularization of \(W/\!\!/G\)? This question was studied before only for finite groups \(G\), in which case the \(G\)-Hilbert scheme of \textit{Y. Ito} and \textit{I. Nakamura} [Proc. Japan Acad., Ser. A 72, No. 7, 135--138 (1996; Zbl 0881.14002)] coincides with the main component of~\(\mathcal{H}\). They gave a positive answer for finite groups of \(\mathrm{SL}(2)\), then \textit{T. Bridgeland} et al. [J. Am. Math. Soc. 14, No. 3, 535--554 (2001; Zbl 0966.14028)] for finite subgroups of \(\mathrm{SL}(3)\), and \textit{M. Lehn} and \textit{C. Sorger} [in: Geometric methods in representation theory. II. Selected papers based on the presentations at the summer school, Grenoble, France, June 16 -- July 4, 2008. Paris: Société Mathématique de France. 429--435 (2012; Zbl 1312.14007)] for a single 4-dimensional symplectic group. The article under review gives first results in the case of infinite group~\(G\). The author considers four classical groups (SL, O, Sp, GL) with chosen series of natural representations. The main theorem states that in cases which are small enough (that is, they satisfy certain bounds on parameters of chosen representations), \(\mathcal{H}\) is a desingularization of \(W/\!\!/G\). The proof is based on a reduction principle, which allows to obtain information on all cases from the description of certain small ones. Two of four series of representations are analysed in the article, the details for remaining two can be found in the author's PhD thesis.