I am working on the quotient construction of a simplicial toric variety as described in chapter 5 of [this book](http://www.math.colostate.edu/~renzo/teaching/Toric14/CoxLittleShenck.pdf). I have tried the following two examples -


1. The fan $\Delta$ in $\mathbb R^2$ consists of the cone $\sigma=\langle e\_1,e\_1+2e\_2\rangle$ and its faces.
2. The fan $\Delta'$ in $\mathbb R^2$ consists of the edge vectors $v\_1=e\_1,\ v\_2=e\_1+2e\_2,\ v\_3=-e\_1+3e\_2,\ v\_4=-e\_1-e\_2$ and the cones generated by successive pairs.


For 1 the corresponding toric variety is $\mathbb C^2/G$ where $G=\{(t,t)\in(\mathbb C^\*)^2\ | \ t^2=1\}\cong\mathbb Z\_2$ and for 2 the corresponding toric variety is $(\mathbb C^4\setminus\mathcal Z)/G$ where $G=\{(t\_2t\_3^4,t\_2,t\_3,t\_2^2t\_3^3)\ |\ t\_2,t\_3\in\mathbb C^\*\}$ and $\mathcal Z=(0\times0\times0\times\mathbb C) \cup (0\times0\times\mathbb C\times0)\cup(0\times\mathbb C\times0\times 0)\cup(\mathbb C\times0\times0\times0)$


Fulton's *Introduction to Toric Varieties* calls the variety in example 1 a cyclic quotient singularity.


Googling "quotient singularity" gave that it is the quotient of an affine variety $V$ by a finite group $G\subseteq \text{Aut }(V)$ and if $G=\mathbb Z/r$ then it is a cyclic quotient singularity. 


The second example however has $G\cong\mathbb{C^\*\times C^\*}$ which is not finite and $V=\mathbb C^2\setminus\mathcal Z$ is a quasi affine variety. Is there a similar name for such a toric variety $V/G$?


Also, in both examples the fan is simplicial and hence the associated toric variety has singular points. Does "singularity" refer to the fact that the toric variety has singular points? 


Thank you.



Clarification on the definition of a quotient singularity
The connection of toric varieties with quotient singularities is actually quite easy to describe. Let $\Delta\subseteq \mathbb R^n$ be a convex cone whose extremal rays are generated by $v\_1,\ldots,v\_d\in\mathbb Z^n$. We may assume that the $v\_i$ are primitive. Let $X$ be the toric variety attached to $\Delta$. If $d$ is bigger than the dimension of $\Delta$ then $X$ is very singular in the closed orbit (e.g., the divisor class group is infinite). On the other side, if the $v\_i$ are linearly independent then the singularieties are very mild, namely abelian quotient singularities.


This can be sees as follows. Assume for simplicity that $d=n$, i.e., that the $v\_i$ constitute a basis. Let $\Lambda=\langle v\_1,\ldots,v\_n\rangle\_{\mathbb Z}$. That is a subgroup of $\mathbb Z^n$ of finite index. The torus to be embedded is $T=(\mathbb C^\*)^n$ which can also be written as $T=\mathbb C^n/\mathbb Z^n$. Now take the larger torus $\tilde T=\mathbb C^n/\Lambda$. Then there is a surjective homomorphism $\phi:\tilde T\to T$ with kernel $K:=\mathbb Z^n/\Lambda$.


The cone $\Delta$ induces also an embedding $\tilde X$ of $\tilde T$ which this time is isomorphic to $\mathbb C^n$ because the $v\_i$ do from a $\mathbb Z$-basis of $\Lambda$. Then $\phi$ extends to a map $\tilde X\to X$ which is just the quotient map by $K$. Thus we realized $X$ as a quotient of the vector space $\tilde X$ by a finite abelian group $K$, i.e. $X\cong\mathbb C^n/K$. Since the $v\_i$ were chosen to be primitive one can show that $\mathbb C^n/K$ is singular unless $K=1$.


The group $K$ is easy to compute: form the $n\times n$-matrix $M=[v\_1,\ldots,v\_n]$ and compute its elementary divisors $d\_1,\ldots,d\_n$. Then $$K\cong\mathbb Z/d\_1\mathbb Z\times\ldots\times\mathbb Z/d\_n\mathbb Z.$$


For $n=2$ this is particularly easy: Again because the $v\_i$ are primitive we have $d\_1=1$. On the other hand $d\_1\ldots d\_n=\det M$. So $d\_2=\det M$ if $n=2$. Using this one quckly sees that $K$ in the four fixed points of your second example is cyclic of order $2$, $5$, $3$, and $1$. So the last fixed point is actually not a singularity.


One final remark: The isomorphism type of $K$ does not suffice to completely determine the isomrophism type of the singularity. For that one also needs to know how $K$ acts on $\mathbb C^n$.


