Lemma 108.46.1. There exists a group algebraic space of finite type over a field which is not separated (and not even quasi-separated or locally separated).

## 108.46 A non-separated group algebraic space over a field

Every group scheme over a field is separated, see Groupoids, Lemma 39.7.3. This is not true for group algebraic spaces over a field (but see end of this section for positive results).

Let $k$ be a field of characteristic zero. Consider the algebraic space $G = \mathbf{A}^1_ k/\mathbf{Z}$ from Spaces, Example 63.14.8. By construction $G$ is the fppf sheaf associated to the presheaf

on the category of schemes over $k$. The obvious addition rule on the presheaf induces an addition $m : G \times G \to G$ which turns $G$ into a group algebraic space over $\mathop{\mathrm{Spec}}(k)$. Note that $G$ is not separated (and not even quasi-separated or locally separated). On the other hand $G \to \mathop{\mathrm{Spec}}(k)$ is of finite type!

**Proof.**
See discussion above.
$\square$

Positive results: If the group algebraic space $G$ is either quasi-separated, or locally separated, or more generally a decent algebraic space, then $G$ is in fact separated, see More on Groupoids in Spaces, Lemma 77.9.4. Moreover, a finite type, separated group algebraic space over a field is in fact a scheme by More on Groupoids in Spaces, Lemma 77.10.2. The idea of the proof is that the schematic locus is open dense, see Properties of Spaces, Proposition 64.13.3 or Decent Spaces, Theorem 66.10.2. By translating this open we see that every point of $G$ has an open neighbourhood which is a scheme.

## Post a comment

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 toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (2)

Comment #1656 by Pieter Belmans on

Comment #1674 by Johan on