Moduli spaces of \((G, h)\)-constellations (Q2353480)

Let \(X\) be an affine scheme of finite type over \(\mathbb{C}\), and let \(G\) be an infinite reductive group acting on \(X\). Denote by \(\mathrm {Irr } G\) the set of classes of irreducible representations \(\rho: G\to \mathrm {GL}(V_{\rho})\). For a Hilbert function \(h:\mathrm {Irr } G \to \mathbb{N}_0\) we refer a \(G\)-equivariant coherent \({\mathcal O}_X\) module \({\mathcal F}\) such that \(H^0({\mathcal F})\cong \bigoplus_{\rho\in\mathrm {Irr } G} \mathbb{C}^{ h(\rho)}\otimes_{\mathbb{C}}V_{\rho}\) as \(G\)-modules as a \((G,h)\)-constellation. While the set of all \((G,h)\)-constellations is too large to afford a parameterization, in the work under review the authors describe the moduli space \(M_{\theta}(X)\) of \((G,h)\)-constellations which are stabilized by a certain \(\theta:\bigoplus_{\rho\in\mathrm {Irr } G}\mathbb{N}\cdot\rho \to\mathbb{Q}\). A significance of this construction is that it unifies the constructions found elsewhere. For example, if \(h(\rho_0)=1\), where \(\rho_0\) is the trivial representation, then for a suitable choice of \(\theta\) one recovers the invariant Hilbert scheme of Alexeev and Brion -- see, for example, [\textit{V. Alexeev} and \textit{M. Brion}, J. Algebr. Geom. 14, No. 1, 83--117 (2005; Zbl 1081.14005)]. Furthermore, this construction acts as an analogue to the case where \(G\) is finite as found in [\textit{A. Craw} and \textit{A. Ishii}, Duke Math. J. 124, No. 2, 259--307 (2004; Zbl 1082.14009)]. Additionally, the description of \(M_{\theta}(X)\) permits the authors to construct a morphism \(M_{\theta}(X)\to X/\!\!/G\), corresponding to the Hilbert-Chow morphism, which may allow for the resolution of the singularities of \(X/\!\!/G\).