Hilbert schemes of \(G\)-orbits in dimension three (Q5929535): Difference between revisions

Let \(G\) be a finite subgroup of \(SL(3,\mathbb C)\). The Hilbert scheme \(\text{Hilb}^G(\mathbb C^3)\) is by definition the subscheme of \(\text{Hilb}^{\mid G\mid}(\mathbb C^3)\) parametrizing \(G\)-invariant subschemes. It has been proved that \(\text{Hilb}^G(\mathbb C^3)\) is irreducible, smooth and it is a crepant resolution of \(\mathbb C^3/G\). In this paper, the authors study this Hilbert scheme when \(G\) is a non-abelian simple subgroup of \(SL(3,\mathbb C)\). There are two such subgroups, \(G_{60}\) and \(G_{168}\), of order 60 and 168 respectively. \(G_{60}\) is isomorphic to the alternating group of degree 5 and \(G_{168}\) is isomorphic to \(PSL(2,7)\). The authors are particularly interested in giving a precise description of the fibre over the origin of \(\mathbb C^3/G\). It turns out that in the first case this fibre is a connected union of four smooth rational curves and in the second one it is a union of a smooth rational curve and a doubly blown-up projective plane, with infinitely near centres.