Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Suppose that there is a point which has
a neighbourhood isomorphic to a neighbourhood of a dimension zero torus
orbit of an affine Gorenstein toric variety .
Such an affine variety is
specified as follows.
Set , , ,
with . Then
there is a lattice polytope ,
, the monoid
determined by the dual of the cone , , and finally coincides with the monomial .
Now let us take a small neighbourhood of of the form
This is an open set as the condition can be tested on a
finite generating set for , provided that .
Then show that for a given , and , if
then
Note that
so is an open subset of , and
as , converges to the interior of
.
β