37
$\begingroup$

Suppose G is a group object in the category of algebraic spaces (over a field, if you like, or even over ℂ if you really want). Is G necessarily a scheme?

My feeling is that the answer is "yes" because an algebraic space group which is not a scheme would be too awesome. Any group homomorphism from such a G to an algebraic group (a scheme group) would have to have infinite kernel since an algebraic space which is quasi-finite over a scheme is itself a scheme. In particular, G would have no faithful representations or faithful actions on projective varieties (probably). There can't be a surjective group homomorphism from an algebraic group H to G, since that would identify G with H/K, which is a scheme. In particular, you cannot put a group structure on any étale cover of G.

$\endgroup$
1
  • 2
    $\begingroup$ Wow, I was thinking about this back in 2006, and asked a few experts, but got nowhere. Great question. $\endgroup$
    – David Roberts
    Nov 15, 2010 at 4:51

7 Answers 7

15
$\begingroup$

I think the answer is yes. If S is a noetherian scheme and G is a relative algebraic group space over S, then there is a stratification of S such that over each stratum, G is a group scheme (see K. Behrend, Derived \ell-adic categories for Algebraic Stacks, 5.1.1). When S is Spec k there is no non-trivial stratification.

$\endgroup$
1
  • 5
    $\begingroup$ Behrend assumes right before 5.1.1 that all his group algebraic spaces are of finite type, so it is not a priori clear that this answers the question. $\endgroup$ Sep 7, 2013 at 20:25
17
$\begingroup$

Let me say first that I am not an algebraic geometer. Nevertheless, in trying to understand the answers to this very question I asked the following question. After hearing the ensuing answers it seems that the answer to your question depends on whether you consider an algebraic space to be quasi-separated or not. The standard definition, as I am told, is that an algebraic space is required to be quasi-separated. In this case the answer to your question is yes, as the answers here show. However, if algebraic spaces are not necessarily quasi-separated, then the theorems quoted here fail, and it seems the answer is no. The example in this question appears to give a counter example.

$\endgroup$
9
$\begingroup$

Over a field, the reference is indeed "Algebraization of formal moduli, I".

Over a base more general than a field, the answer may be no. For example, Artin proved in "Algebraization of formal moduli, I" that under some natural conditions the Picard functor is representable by an algebraic space (it is a group algebraic space of course). There are several sufficient conditions for it to be a scheme, due to Artin and Mumford. You will find a discussion, if not the proof, of them in Bosch-Lutkebohmert-Raynaud's "Neron models". But in general case is not known, I think.

On the other hand, abelian algebraic spaces over a scheme S (i.e. smooth proper with irreducible geometric fibers) is an abelian scheme over S. See p.3 of Faltings-Chai's "Degenerations of abelian varieties", where this is attributed to Raynaud and Deligne.

$\endgroup$
1
  • $\begingroup$ That's relative Picard functor $Pic_{X/S}$, just to be sure. $\endgroup$
    – VA.
    Dec 19, 2009 at 1:09
8
$\begingroup$

Wikipedia says, "Group objects in the category of algebraic spaces over a field are schemes." There is no citation, but in an arXiv paper, arXiv:0907.3880, the claim is cited to the original paper of Artin, "Algebraization of formal moduli".


Looking over the other answers provided, I gather that the question is analogous to asking, "Is a group object in the category of orbifolds a Lie group?" Yes, because it can't have a stratification. It is apparently similar but more abstract in the setting of stacks (say). Anton's other question about a coset space $G/H$ is presumably a similar phenomenon. But I would guess that a double coset space $H\backslash G/K$ can be a stack, since in the Lie group setting it can be an orbifold.

$\endgroup$
1
  • $\begingroup$ When I first saw your post, I thought you meant Emil Artin, and I thought, "Wow, that sucks, he's going to have to read it in german?" $\endgroup$ Dec 14, 2009 at 23:34
8
$\begingroup$

Over a general base the answer is no, as pointed out to me by Matthieu Romagny in response to this question. He gives a reference to Lemma X.14 of Raynaud's book "Faisceaux amples sur les schémas en groupes et les espaces homogènes".

There is an example given where $N$ and $G$ are smooth affine group schemes over the base $S = \mathbb{A}^2_k$, with $N$, which is étale over $S$, a normal closed subgroup of $G$. It is shown that the quotient $G/N$ is not a scheme. But it is certainly an algebraic space, since the quotient map $G \to G/N$ is an étale atlas for $G/N$. Moreover, $G/N$ is both separated (as $N$ is closed in $G$) and smooth (since $G$ is smooth).

$\endgroup$
6
$\begingroup$

The answer is yes. Every algebraic space $X$ has an (non-empty) open subspace $U$ such that i) $U$ is a scheme, and ii) a point $p \rightarrow X$ is in $U$ if and only if that point is scheme-like. A scheme-like point is one where there is an affine scheme $V$ and an open immersion $V \rightarrow X$ factoring the point. Further, $X$ is a scheme if and only if all its points are scheme-like. Now, if $X$ is a group algebraic space, the group action is transitive on points. Using this, there can be no non-scheme like points and so $X$ is a scheme.

$\endgroup$
3
  • 4
    $\begingroup$ This argument requires some care, since such kind of translation requires using rational points (I assume the base is meant to be a field k here, and the algebraic space group locally of finite type), so one has to give an argument to justify passing to an alg. closed base field. (In the non-smooth case there may be no nontrivial k_s-points as well.) Artin's article omits discussion of this point. $\endgroup$
    – BCnrd
    Feb 10, 2010 at 16:18
  • $\begingroup$ Ah thanks Brian. Is it true that we can reduce to the alg. closed case? $\endgroup$
    – mdeland
    Feb 10, 2010 at 18:18
  • 1
    $\begingroup$ Yes. I scribbled a proof in the margin of my copy of Artin's paper, so I suppose with a bit of time you should be able to cook up an argument too. $\endgroup$
    – BCnrd
    Feb 10, 2010 at 20:26
4
$\begingroup$

In Raynaud's paper "Specialisation du foncteur de Picard", Theorem 3.3.1 says that algebraic group spaces, which are locally of finite type and separated over any locally noetherian normal 1-dim scheme, are group schemes.

On the other hand, relative Picard functors for proper flat finite presentation schemes $f:X\rightarrow S$ over DVR such that $f$ is cohomologically flat are represented by algebraic sapces, but are often not schemes, see also that paper or the book Neron Model.

$\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.