Suppose $F:Sch^\text{op}\to Set$ is a sheaf in the fpqc topology, has quasi-compact representable diagonal, and has an fpqc cover by a scheme. Must $F$ be an algebraic space? That is, must $F$ have an étale cover by a scheme?

Note that it is enough to find an fppf cover of $F$ by a scheme, at which point you know that $F$ is an algebraic stack ("Artin's slice theorem", 10.1 of Laumon-Moret-Bailly) fibered in sets, so it's an algebraic space.

The analogous question, "is every fpqc stack an algebraic stack?" has a negative answer, but the counterexample is "purely stacky".

  • 2
    $\begingroup$ A. J. de Jong has a post about this: math.columbia.edu/~dejong/wordpress/?p=1927 $\endgroup$ – Akhil Mathew Oct 11 '11 at 23:01
  • $\begingroup$ To clarify, by an "fpqc cover", I meant a morphism which is representable by fpqc morphisms of schemes, which is the case de Jong's example focuses on. $\endgroup$ – Anton Geraschenko Oct 12 '11 at 3:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.