1: \begin{definition}[Quotient of affine space by a cyclic group]\label{defn:quotient-affine-cyclic}

2:         Define an action of $\mu^{a_i}$ on $\aff^n$, called the \emph{action of type $\frac{1}{a_i}(a_0,\ldots,\remove{a_i},\ldots,a_n)$}, by

3:         \begin{equation}

4:             \omega_{a_i}\cdot(x_0,\ldots,\remove{x_i},\ldots,x_n) = (\omega_{a_i}^{a_0}x_0,\ldots,\remove{\omega_{a_i}^{a_i}x_i},\ldots,\omega_{a_i}^{a_n}x_n).

5:         \end{equation}

6:         This induces an action of $\mu^{a_i}$ on $k[x_0,\ldots,\remove{x_i},\ldots,x_n]$ given by $\omega_{a_i}\cdot x_j = \omega_{a_i}^{a_j}x_j$ and thus\footnote{%

7:             Again, see \cite[Definition~3.6,~Theorem~3.8]{Hoskins:2012uq}.

8:         } gives rise to the affine quotient variety

9:         \[

10:             \aff^n/\mu^{a_i} = \mspec \left(k[x_0,\ldots,\remove{x_i},\ldots,x_n]^{\mu^{a_i}}\right)

11:         \]

12:         as well as the quotient map $\pi_i = (\iota_i)_{\#}\colon\aff^n\to\aff^n/\mu^{a_i}$ corresponding to the inclusion

13:         \[

14:             \iota_i\colon k[x_0,\ldots,\remove{x_i},\ldots,x_n]^{\mu^{a_i}}\hookrightarrow k[x_0,\ldots,\remove{x_i},\ldots,x_n].\qedhere

15:         \]

16:     \end{definition}

17: