The Stanley-Reisner ring of an abstract simplicial complex $\Delta$ on the vertex set $\{1,...,n\}$ is the $k$-algebra
$$
k[X\_1,...,X\_n]/I\_\Delta
$$
where $I\_\Delta$ is the ideal generated by the $X\_{i\_1}...X\_{i\_r}$ with ${i\_1,...,i\_r}\notin \Delta$.


Somebody told me that this construction helps to study varieties $k[X\_1,...,X\_n]/I$ for an arbitrary ideal $I$ as follows (if I am not missing something): Let $X\_1<...< X\_n$ be a monomial order and consider the initial ideal $I':=in\_{<}(I)$ of $I$. The passage from $k[X\_1,...,X\_n]/I$ to $k[X\_1,...,X\_n]/I'$ is called 'flat deformation' and this term makes sense if I draw pictures of the varieties. Many properties of $I$ (like dimension) are directly related to properties of $I'$.


The aim is to find a to $I'$ related ideal $I\_\Delta$ for an abstract simplicial complex $\Delta$.


I was told that the problem that $I'$ has a generator like $X\_1^2$ could be resolved by introducing a new variable $X\_1'$, replacing $X\_1X\_1$ by $X\_1X\_1'$ and mod out $X\_1-X\_1'$ of $k[X\_1,...,X\_n,X\_1']$. First, I don't understand why this should be closer to the form $I\_\Delta$ because $I\_\Delta$ is generated by monomials.


My main question is: 



> 
> Can one see in a concrete affine
>  example how the geometry of $\Delta$
>  relates to the initial variety $I$?
> 
> 
> 


If you take for example the simplicial complex $\Delta$ (I apologize that I can not typeset the brackets) $\emptyset,X, Y, Z, XY, XZ, YZ$ which looks like a one sphere, the associated variety is the union of the $XY$, the $XZ$ and the $YZ$ hyperplane in $\mathbb{R}[X,Y,Z]$. Why is this reasonable? On the other hand, I would like to know how the simplicial complex (after the transformation indicated above) corresponding to the circle $I=(X^2+Y^2-1)$ in $\mathbb{R}[X,Y,Z]$ looks like. It would be nice if this is associated to the $\Delta$.


Please tell me, if this question is completely unreasonable or doesn't make any sense. I am an absolute beginner in algebraic geometry.



Geometric motivation for the Stanley-Reisner correspondence
First when it comes to comparison with the simplicial complex it should be
realised that the Stanley-Reisner ring corresponds to the cone over the complex.
There is a non-homogeneous version of it where one replaces the linear subspace
through the origin by the affine space parallel to the linear space but passing
through $1$ (the way the standard simplices are defined). If the simplicial
complex is a cone with a fixed apex, the Stanley-Reisner ring of the base of the
cone is isomorphic to the non-homogeneous ring of the cone. (Incidentally, or maybe not so incidentally, for a field of characteristic zero this non-homogeneous ring is the degree zero part of the Sullivan differential graded algebra associated to the complex.)


The Stanley-Reisner rings also pop back up for a general complex as being related to the
stars of vertices, the stars being cones with apex the point. More precisely the
localisation of the Stanley-Reisner ring at the irrelevant maximal ideal is
equal to the localisation of the non-homogeneous ring at the point. As the
Stanley-Reisner ring is graded this localisation is "essentially" the same as
the graded Stanley-Reisner ring. This is why the properties of the
Stanley-Reisner ring reflect the local properties of the complex, i.e., of the
links of vertices as well as the global properties as the link of the apex of
the cone of a complex is the complex itself.


If the base field is the real numbers, then the space of real points of the
non-homogeneous ring of a complex is homotopy equivalent to the complex
itself. Indeed, the real points is the union of the affine span of the simplices
of the complex and one may retract each such affine space to the simplex in a
way which is compatible with passing to the subsimplices.


Finally, as for the flat deformation an arbitrary ideal gives rise to a monomial
ideal, an ideal generated by monomials. The monomial ideals associated to the a
simplicial complex are special monomial ideals; they are exactly those monomial
ideals generated by square free monomials. Depending on the ordering of the
variables the monomial ideal associated to $X^2+Y^2-1$ is $(X^2)$ or $(Y^2)$ so
no you do not get the Stanley-Reisner ring of the circle.


**Addendum**: Note that cones mean somewhat different things in the simplicial and affine world. For a simplicial complex its cone is obtained by picking a new point, the apex, and connecting with all points on the complex by using $1$-simplices, i.e., closed intervals. For the affine picture corresponding to the Stanley-Reisner ring one picks an apex and takes a line for every point on the affine hull of the simplicial complex passing through the point and the apex but being a line continues on the other side of the apex.


Hence starting with a $1$-simplex one draws the interval between each point on the simplex and a point outside of the affine span of the $1$-simplex. In the affine picture, the $1$-simplex is replaced by a line and one then draws all the lines through a point on that line and the apex getting the plane.


The non-homogeneous ring is obtained from the Stanley-Reisner ring by dividing out by the relation that all the variables sum up to $1$.


