The invariant Quot scheme (Q858719)

The Hilbert scheme and the Quot scheme, both constructed by Grothendieck, are fundamental objects in algebraic geometry: the first one parametrizes the subschemes of a projective space with fixed Hilbert polynomial, the second one the quotients with fixed Hilbert polynomial of a fixed coherent sheaf on a projective space. Here the author considers an affine variety \(X\), with an action of a reductive group \(G\), and a coherent sheaf \(\mathcal M\) on \(X\), that is supposed to be \(G\)-linearized. First of all he proves the existence of a quasi-projective scheme, the invariant Quot scheme, parametrizing the quotients \(\mathcal L\) of \(\mathcal M\), such that the space of global sections \(H^0(X,\mathcal L)\) is a direct sum of simple \(G\)-modules with fixed finite multiplicities: the datum of these multiplicities is here the analogous of the Hilbert polynomial. The invariant Quot scheme is a natural generalization of the invariant Hilbert scheme recently introduced by \textit{V. Alexeev} and \textit{M. Brion} [J. Algebr. Geom. 14, 83--117 (2005; Zbl 1081.14005)]. The construction relies on the multigraded Quot scheme of Haiman and Sturmfels, corresponding to the case in which \(G\) is a torus [cf. \textit{M. Haiman} and \textit{B. Sturmfels}, J. Algebr. Geom. 13, No. 4, 725--769 (2004; Zbl 1072.14007)]. In the second part of the article, the author focuses on a special example, the cone \(X\) of primitive vectors of a simple \(G\)-module, with a free sheaf \(\mathcal M\) generated by another simple \(G\)-module. He proves that, in this case, the invariant Quot scheme has only one point, and that it is reduced unless \(X\) is the cone of the primitive vectors of a quadratic vector space \(V\) of odd dimension \(2n+1\) and \(G= \text{Spin}(2n+1)\times H\), for a connected reductive group \(H\). The Quot scheme of this example is isomorphic to \(\text{Spec}({\mathbb C}[t]/\langle t^2\rangle)\).