27
$\begingroup$

This question is related to the question Is an algebraic space group always a scheme? which I've just seen which was posted by Anton. His question is whether an 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 étale 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.

\begin{align*} \mathbb{Z} \times S^1 & {}\to S^1\\ (n, z) & {}\mapsto w^n z. \end{align*}

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": Blohmann–Tang–Weinstein, Hopfish structure and modules over irrational rotation algebras, arXiv:math/0604405.

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} = \operatorname{Spec} \mathbb{C}[t,t^{-1}]. $$

Any discrete group gives rise to a group scheme over $\operatorname{Spec} \mathbb{C}$ by viewing the set $G$ as the scheme $$ \bigsqcup_G \operatorname{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 $\operatorname{Spec} \mathbb{C}$-point of the target (commutative) group scheme.

A $\operatorname{Spec} \mathbb{C}$-point of $\operatorname{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$.

Naïvely, 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 étale?
  3. Is there something else that I am missing?
$\endgroup$
2
  • $\begingroup$ I just thought of another possibility, which seems likely after reading Anton's post again. Is $\mathbb{G}_M / \mathbb{Z}$ a scheme? if so what scheme? It seems like it would have to be a single point. $\endgroup$ Dec 15, 2009 at 21:15
  • 1
    $\begingroup$ So, in lieu of the answers below, is the following the correct picture? The quotient in the category of sheaves is not a scheme, however it is a (non-quasi separated) algebraic space. Nevertheless the category of schemes under this sheaf has an initial object, the single point. This point then satisfies the universal property in the category of schemes, and so can be thought of as the scheme-theoretic quotient. $\endgroup$ Dec 19, 2009 at 19:33

3 Answers 3

21
$\begingroup$

If $X$ denotes the quotient sheaf $\mathbf{G}_m / \mathbf{Z}$ then the inclusion

$\mathbf{G}_m \times_X \mathbf{G}_m \rightarrow \mathbf{G}_m \times \mathbf{G}_m$

can be identified with the action map

$\mathbf{G}_m \times \mathbf{Z} \rightarrow \mathbf{G}_m \times \mathbf{G}_m$.

Since this map is not quasi-compact, $X$ is not quasi-separated, so it is not an algebraic space by Knutson's definition.

$\endgroup$
22
$\begingroup$

I agree with Jonathan Wise's answer, but what about possibly non-quasi-separated algebraic spaces, i.e. according to Raynaud-Gruson or To\"en-Vaqui\'e?

It seems that the answer is amazingly... Yes, that quotient is an algebraic space! Actually, you've already given the proof: R is a scheme and an etale equivalence relation. It's a rather crazy algebraic space in that it doesn't have an open subscheme. The theorem in Knutson that says open subschemes always exist uses quasi-separatedness, as it apparently must. So it seems you've discovered a group object in the category of algebraic spaces which is not quasi-separated or a scheme. Well done! I never would have guessed such a thing would exist, much less be so simple. (An even slightly simpler example would be the additive group modulo Z, at least in characteristic 0.)

$\endgroup$
5
  • $\begingroup$ Thanks for these remarks! So the definition of algebraic space that I was taught only requires that the diagonal is representable, not necessarily quasi-compact. I'm not an algebraic geometer so I'm a little rusty. Does this example have a representable diagonal? Is there an easy criteria that would guarantee this? $\endgroup$ Dec 16, 2009 at 3:15
  • $\begingroup$ Perhaps I'm missing something, but I was under the impression that the projection from R to G_m is not of finite type. $\endgroup$
    – S. Carnahan
    Dec 22, 2009 at 7:29
  • 1
    $\begingroup$ @C.S-P.: If you have an equivalence relation on a scheme, then the quotient should have representable diagonal if and only if the equivalence relation is a scheme. @S.C.: Yes, that's correct -- the projection isn't even quasi-compact $\endgroup$
    – JBorger
    Dec 22, 2009 at 12:26
  • 3
    $\begingroup$ I think I see my confusion. SGA1 Exp 1 1.4 seems to suggest that finite type is necessary for a morphism to be etale, but EGA4.4 17.3.1 replaces this with locally of finite presentation. $\endgroup$
    – S. Carnahan
    Dec 22, 2009 at 17:04
  • $\begingroup$ @James Borger: Can you provide a reference for "the quotient has representable diagonal iff the relation is a scheme"? I recall working through a proof of this once (based on the proof of 5.7.2 in Raynaud-Gruson), but I remember that it required a quasi-finiteness hypothesis to apply EGA IV 18.12.12, and I didn't see a way to eliminate the hypothesis. If I have a chance, I'll try to reconstruct the argument and see where it came up. $\endgroup$ Dec 24, 2009 at 18:02
12
$\begingroup$

Though Knutson requires algebraic spaces to be quasi-separated, I don't think it's a reasonable requirement. After all, not all schemes are quasi-separated, and we certainly want all schemes to be algebraic spaces.

Perhaps $\mathbb{G}_m/\mathbb{Z}$ feels like a strange algebraic space because it is not locally separated (i.e. its diagonal is not an immersion). You can see this because the morphism $R\to \mathbb{G}_m\times \mathbb{G}_m$ is not an immersion (this map is a base change of the diagonal, and immersions are stable under base change). The other classic example of a non-locally-separated (but quasi-separated) algebraic space is the line with a doubled tangent direction (Example 1 on page 9 of Knutson's book).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.