Here by "algebraic stack" I mean a stack in groupoids over $(\textbf{Sch}/S)_\text{etale}$ (for some scheme $S$) whose diagonal morphism is representable (by schemes), and which is covered by a surjective etale morphism from a scheme.

The question is, if $\mathcal{X}\rightarrow\mathcal{Y}$ is a morphism of stacks in groupoids which is representable finite etale, and and $\mathcal{Y}$ is an algebraic stack, then is $\mathcal{X}$ also an algebraic stack?

You can certainly pull back the scheme cover of $\mathcal{Y}$ to get a surjective etale scheme cover of $\mathcal{X}$, so really I suppose I'm asking if the diagonal morphism of $\mathcal{X}$ must be representable.

The stacks project has a similar result (Lemmas 67.15.3, 67.15.4), but their definition of an algebraic stack only requires the diagonal morphism to be representable by algebraic spaces, but their result seems to rely on the fact that a stack covered by an algebraic space is an algebraic space, which of course isn't true if you replace algebraic spaces by schemes.

  • 1
    $\begingroup$ The answer is yes. I think that you haven't looked at the right place: see Tag 05XY (currently Lemma 71.8.2) in the Stacks Project. $\endgroup$ – Matthieu Romagny Jun 22 '14 at 9:07
  • 1
    $\begingroup$ If you're talking about stacks.math.columbia.edu/tag/05XY , then that lemma still only refers to "algebraic stacks" as defined by the stacks project, which is not the same as my definition (I require the diagonal to be representable by schemes. The stacks project only requires it be representable by algebraic spaces). $\endgroup$ – Will Chen Jun 22 '14 at 10:50
  • 3
    $\begingroup$ @WillChen: You should just write out the diagram and check this for yourself. Factor the diagonal morphism of $\mathcal{X}$ as the composition of the relative diagonal morphism from $\mathcal{X}$ to $\mathcal{X}\times_{\mathcal{Y}}\mathcal{X}$ followed by the natural morphism from $\mathcal{X}\times_{\mathcal{Y}}\mathcal{X}$ to $\mathcal{X}\times \mathcal{X}$. What (2-)Cartesian diagrams contain each of these factor morphisms? $\endgroup$ – Jason Starr Jun 23 '14 at 14:15
  • 1
    $\begingroup$ Also, what you are calling an "algebraic stack" is called a "Deligne-Mumford stack" by most authors. $\endgroup$ – Jason Starr Jun 23 '14 at 14:16

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.