Hilbert schemes of finite abelian group orbits and Gröbner fans (Q1029965)

For a given finite subgroup \(G\) of \(PGL(n)\) one can consider the Hilbert scheme of \(G\)-orbits in projective \(n\)-space, referred to as the \(G\)-Hilbert scheme. This is a natural generalization to the standard Hilbert scheme of Grothendieck and is similar to the \(G\)-Hilbert scheme introduced by Ito and Nakamura. In this paper the author considers when \(G\) is a subgroup of the maximal torus. The author proves that if \(I\) is a \(G\) invariant ideal then the toric variety corresponding to the fan consisting of the images in the quotient lattice of the Gröbner cones for \(I\) is isomorphic to the normalization of the \(G\)-Hilbert scheme. Before proving this main theorem the author reviews the relevant facts concerning Gröbner bases and fans. The proof of the theorem is broken down into three major steps and subsequently the author devotes a section to detailed computed examples.