This question is related to the following [question][1] which I've just seen which was posted by Anton. His question is whether a algebraic space which is a group object is necessarily a group scheme, and the answer appears to be YES. Now my naive idea of what an algebraic space *is* is that it is the quotient of a scheme by an etale equivalence relation, but I seem to be confusing myself. I'm hoping someone will help lead me out of my confusion.

Let me first consider an analogous topological situation, where the answer is no. We can consider the category of *smooth spaces*, by which I mean the category of sheaves on the site of smooth manifolds which are quotients of manifolds by smooth equivalence relations (with discrete fibers). 

Here is an example: If we have a discrete group G acting (smoothly) on a space X, we can form the equivalence relation $R \subset X \times X$, where R consists of all pairs of points $(x,y) \in X \times X$ where $y= gx$ for some $g \in G$. If R is a manifold, then the sheaf $[X/R]$ (which is defined as a coequalizer of sheaves) is a smooth space.

Here is an example of a group object in smooth spaces: We start with the commutative Lie group $S^1 = U(1)$. Now pick an irrational number $r \in \mathbb{R}$ which we think of as the point $w = e^{2 \pi i r}$. We let $\mathbb{Z}$ act on $S^1$ by "rotation by r" i.e.

$\mathbb{Z} \times S^1 \to S^1$

$ (n, z) \mapsto w^n z$

This gives us an equivalence relation $R = \mathbb{Z} \times S^1 \rightrightarrows S^1$, where one map is the action and the other projection. The fibers are discrete and the quotient sheaf is thus a smooth space, which is not a manifold. However the groupoid $R \rightrightarrows S^1$ has extra structure. It is a group object in groupoids, and this gives the quotient sheaf a group structure.

The group structure on the objects $S^1$ and morphisms $R$ are just given by the obvious group structures. Incidentally, this group object in groupoids serves as a sort of model for the "quantum torus", [0604.5405][2].

Now what happens when we try to copy this example in the setting of algebraic spaces and schemes?

Let's make it easy and work over the complex numbers. An analog of $S^1$ is the group scheme 
$\mathbb{G}_m / \mathbb{C} = spec \mathbb{C}[t,t^{-1}]$. 

Any discrete group gives rise to a group scheme over $spec \mathbb{C}$ by viewing the set $G$ as the scheme

$\sqcup_G spec \mathbb{C}$

So for example we can view the integers $\mathbb{Z}$ as a group scheme. This (commutative) group scheme should have the property that a homomorphism from it to any other group scheme is the same as specifying a single $spec \mathbb{C}$-point of the target (commutative) group scheme.

A $spec \mathbb{C}$ point of $spec \mathbb{C}[t,t^{-1}]$ is specified by an invertible element of $\mathbb{C}$. Let's fix one, namely the one given by the element $w \in S^1 \subset \mathbb{C}^\times$. So this gives rise to a homomorphism $\mathbb{Z} \to \mathbb{G}_m$ and hence to an action of $\mathbb{Z}$ on $\mathbb{G}_m$.

Naively, the same construction seems to work to produce a group object in algebraic spaces which is not a scheme. So my question is: where does this break down?

There are a few possibilities I thought of, but haven't been able to check:

 1. Does $R = \mathbb{Z} \times \mathbb{G}_m$ fail to be an equivalence relation for some technical reason?
 2. Do the maps $R \rightrightarrows \mathbb{G}_m$ fail to be etale?
 3. Is there something else that I am missing?

 




  [1]: http://mathoverflow.net/questions/8918/is-an-algebraic-space-group-always-a-scheme
  [2]: http://front.math.ucdavis.edu/0604.5405