Is the category of commutative group algebraic spaces (commutative group objects in algebraic spaces) locally of finite type over a field, an abelian category?


I would benefit from a reference



Commutative group algebraic spaces
The intervention of algebraic spaces is a red herring because algebraic space groups $G$ locally of finite type (and quasi-separated!) over a field $k$ are necessarily schemes. (I am assuming you are only interested in the quasi-separated case, though no motivating context for the question was given.) This is Lemma 4.2 in Artin's paper "Algebraization of Formal Moduli I" (where all algebraic spaces are taken to be quasi-separated, pervading the foundations such as for a reasonable theory of irreducible components); the proof is given near the end of section 4 uses results about biratonal group laws. So let's give a variant on that proof which avoids birational group laws (as that tool feels too heavy for the situation at hand, for which the real technical point is that only over the typically infinite-degree algebraic closure do we have enough rational points to make translation arguments).


**Remark**: The quasi-separatedness hypothesis is essential, even if we only consider algebraic space groups of finite type. For instance, if $k$ has characteristic 0 then the quotient $\mathbf{A}^1\_k/\mathbf{Z}$ of the affine line modulo the constant $k$-group $\mathbf{Z}$ is an algebraic space group of finite type over $k$ that is not quasi-separated and is certainly not a scheme. 


Coming back to the proof of Artin's Lemma 4.2, first note that $G^0$ is of finite type (same proof as for schemes, as Artin sketches). Moreover, it remains connected after *any* finite extension on $k$ since it is connected with a rational point (same proof as for schemes, using that $(G^0)\_{k'} \to G^0$ is finite flat surjection with fiber ${\rm{Spec}}(k')$ over the identity $k$-point of $G^0$). In fact, as will be useful later, even $(G^0)\_{\overline{k}}$ is connected (since any idempotent on this algebraic space *of finite type* descends to one on some $(G^0)\_{k'}$ for some finite extension $k'/k$ inside $\overline{k}$, yet any such $(G^0)\_{k'}$ is connected, so the descended idempotent is 0 or 1).


Similarly, for any connected component $E$ of $G$, $E\_{k'}$ is closed and open in $G\_{k'}$ with $E\_{k'} \to E$ a finite flat surjection, so by picking $k'/k$ big enough to split the residue field over $k$ at some closed point of $E$ we get that all connected components of $E\_{k'}$ have a $k'$-point and thus are translated copies of $(G^0)\_{k'}$. 


We claim each $E$ is a quasi-projective $k$-scheme (so in particular $G$ is a scheme). Grant this for $G^0$ for a moment. Fix $E$ and pick finite $k'/k$ so $E\_{k'}$ has a $k'$-point in all connected components. Thus, as noted above, $E\_{k'}$ is a disjoint union of finitely many copies of $(G^0)\_{k'}$, so it is a quasi-projective scheme. But $E\_{k'}$ as a $k$-scheme is equipped with evident descent data relative to the finite flat cover ${\rm{Spec}}(k') \to {\rm{Spec}}(k)$, and this is effective by quasi-projectivity with the descent also a quasi-projective over $k$ (see SGA1, VIII, 7.6). A further argument with descent for *morphisms* of algebraic spaces (left as an exercise) shows that this descent is identified with $E$, so $E$ is a scheme (granting the same for $G^0$).


Now it remains to show that $G^0$ is a quasi-projective scheme. 
This is the step for which Artin appeals to the atom bomb of birational group laws, and we'll now make a bit more use of descent to provide an alternative procedure without nuclear weapons. It suffices to show $(G^0)\_{k'}$ is a quasi-projective scheme for some finite extension $k'/k$, as then we can use a descent argument as above. By "chasing coefficients", it suffices to show $(G^0)\_{\overline{k}}$ is a quasi-projective scheme (as we write $\overline{k}$ as the direct limit of finite subextensions over $k$ to descend an immersion $(G^0)\_{\overline{k}} \hookrightarrow \mathbf{P}^n\_{\overline{k}}$ to a map $(G^0)\_{k'} \to \mathbf{P}^n\_{k'}$ that is moreover an immersion for some finite extension $k'/k$; here we are using that $G^0$ is "finitely presented" over $k$, not just finite type, precisely because $G^0$ inherits quasi-separatedness from $G$). But $(G^0)\_{\overline{k}}$ is connected (as we saw above!), so this finally allows us to replace $k$ with $\overline{k}$ so that $k$ is algebraically closed. We want to show over such $k$ that any locally finite type (and quasi-separated!) algebraic space group $H$ over $k$ is a scheme.


Every non-empty closed subspace of $H$ has a $k$-point since $k$ is algebraically closed, so it suffices to make an open subspace $U \subset H$ that is a scheme and contains all $k$-points (as then $(H-U)(k)$ is empty, forcing $H=U$ to be a scheme). It suffices to find a non-empty open subspace $V$ in $H$ that is a scheme, since that must have a $k$-point (as $k = \overline{k}$) and so can be translated to get an open subscheme around any $k$-point, the union of which (over all $k$-points of $H$) is a $U$ as desired. 


The desired $V$ exists because (i) *any* quasi-separated algebraic space contains a dense open subspace that is a scheme (see II, 6.13 in D. Knutson's book *Algebraic Spaces*) and (ii) we are assuming that $H$ is quasi-separated. 


