## Tag `02Z7`

Chapter 56: Algebraic Spaces > Section 56.14: Examples of algebraic spaces

Example 56.14.8. Let $k$ be a field of characteristic zero. Let $U = \mathbf{A}^1_k$ and let $G = \mathbf{Z}$. As action we take $n(x) = x + n$, i.e., the action of $\mathbf{Z}$ on the affine line by translation. The only fixed point is the generic point and it is clearly the case that $\mathbf{Z}$ injects into the automorphism group of the field $k(x)$. (This is where we use the characteristic zero assumption.) Consider the morphism $$ \gamma : \mathop{\rm Spec}(k(x)) \longrightarrow X = \mathbf{A}^1_k/\mathbf{Z} $$ of the generic point of the affine line into the quotient. We claim that this morphism does not factor through any monomorphism $\mathop{\rm Spec}(L) \to X$ of the spectrum of a field to $X$. (Contrary to what happens for schemes, see Schemes, Section 25.13.) In fact, since $\mathbf{Z}$ does not have any nontrivial finite subgroups we see from Lemma 56.14.6 that for any such factorization $k(x) = L$. Finally, $\gamma$ is not a monomorphism since $$ \mathop{\rm Spec}(k(x)) \times_{\gamma, X, \gamma} \mathop{\rm Spec}(k(x)) \cong \mathop{\rm Spec}(k(x)) \times \mathbf{Z}. $$

The code snippet corresponding to this tag is a part of the file `spaces.tex` and is located in lines 2411–2439 (see updates for more information).

```
\begin{example}
\label{example-affine-line-translation}
Let $k$ be a field of characteristic zero.
Let $U = \mathbf{A}^1_k$ and let $G = \mathbf{Z}$.
As action we take $n(x) = x + n$, i.e., the action of
$\mathbf{Z}$ on the affine line by translation.
The only fixed point is the generic point and it
is clearly the case that $\mathbf{Z}$ injects into
the automorphism group of the field $k(x)$. (This is
where we use the characteristic zero assumption.)
Consider the morphism
$$
\gamma : \Spec(k(x)) \longrightarrow X = \mathbf{A}^1_k/\mathbf{Z}
$$
of the generic point of the affine line into the quotient.
We claim that this morphism does not factor through any
monomorphism $\Spec(L) \to X$ of the spectrum of
a field to $X$. (Contrary to what happens for schemes, see
Schemes, Section \ref{schemes-section-points}.) In fact, since
$\mathbf{Z}$ does not have any nontrivial finite subgroups we see from
Lemma \ref{lemma-quotient-field-map} that for any such
factorization $k(x) = L$. Finally, $\gamma$ is not a monomorphism
since
$$
\Spec(k(x)) \times_{\gamma, X, \gamma} \Spec(k(x))
\cong
\Spec(k(x)) \times \mathbf{Z}.
$$
\end{example}
```

## Comments (0)

## Add a comment on tag `02Z7`

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.

There are also 7 comments on Section 56.14: Algebraic Spaces.