# Literature request: Method for constructing projective manifolds

Currently (background: I'm preparing to write a thesis in mathematical physics) I'm quite often encountering a certain method for constructing projective manifolds, where the space is specified by just giving the following data:

• A set of coordinates
• A list of scaling relations for those coordinates
• The Stanley-Reisner ideal (specifying which coordinates must not be zero at the same time).

Example: For example, we could take coordinates called $z_0, z_1, z_2$ and $\lambda$. Impose the scaling relations $$\begin{array}{cccc} z_0 & z_1 & z_2 & \lambda \\ \hline 1 & 1 & 1 & 0 \\ 0 & 1 & 1 & -1 \end{array}$$ (meaning $(z_0 : z_1 : z_2 : \lambda) = (\Lambda z_0 : \Lambda z_1 : \Lambda z_2 : \lambda) = (z_0 : \Lambda z_1 : \Lambda z_2 : \Lambda^{-1} \lambda)$) and take the SR ideal $\langle z_0z_1z_2, z_0\lambda, z_1z_2 \rangle$.
Note that this is a way to describe the blow-up of $\mathbb P^2$ in $(1:0:0)$, this can be seen by defining $\sigma(z_0,z_1,z_2,\lambda) = (z_0 : z_1 \lambda : z_2 \lambda) \in \mathbb P^2$.

Questions:

• What do you call such a space? My google-fu is failing and I have never seen this in a math book, I think.
• (Does it possibly have something to do with toric varieties?)
(Seeing that e.g. the blow-up of $\mathbb P^2$ in a point can be written as the solution of a certain equation in $\mathbb P^2 \times \mathbb P^1$. And that apparently homology classes / line bundles over such a space look exactly like those over a product of weighted projective spaces.)