6
$\begingroup$

I will use as a reference Hartshorne Prop. II.7.14, the universal property of blow-up. $\tilde{X}$ is the blow up of $X$ along a sheaf of ideals. $Z\to X$ is the morphism that is to be lifted to $\tilde{X}$ (if the inverse image sheaf of ideals is invertible).

Does the same universal property hold if $Z$ is not a scheme but an algebraic (Artin) stack?

$\endgroup$

1 Answer 1

7
$\begingroup$

Yes, this can, for example, be checked using fppf-descent.

Pick a presentation $p:U\to X$ and pull-back everything along $p$. Since blowing-up commutes with flat base change, you may then use the universal property for $Z\times_X U\to U$ and $\tilde{X}\times_X U\to U$ to deduce that if the inverse image of the ideal sheaf to $Z$ is invertible, then there is a unique lifting $Z\times_X U\to \tilde{X}\times_X U$. Similarly, there is a unique lifting $Z\times_X R\to \tilde{X}\times_X R$ where $R=U\times_X U$. Then you conclude that there is a unique lift $Z\to \tilde{X}$ by fppf descent.

[Edit: I misread the question as asking for $X$ to be an algebraic stack. If $Z$ is an algebraic stack (and $X$ is a scheme or an algebraic stack), then you can similarly pick a presentation $q:V\to Z$ and deduce that there are unique morphisms $V\to \tilde{X}$ and $V\times_X V\to \tilde{X}$ and hence, by fppf-descent, a unique morphism $Z\to \tilde{X}$.]

$\endgroup$
5
  • 1
    $\begingroup$ Looks great! You mean $p$ a presentation of the morphism, right? $\endgroup$ Feb 6, 2013 at 19:17
  • 1
    $\begingroup$ $p$ is a presentation of the algebraic stack $X$, i.e. a smooth surjective morphism from a scheme. $\endgroup$ Feb 6, 2013 at 21:06
  • 1
    $\begingroup$ It seems to me that the question was what happens when $Z$ (rather than $X$) is an Artin stack.. $\endgroup$ Feb 6, 2013 at 22:53
  • $\begingroup$ Yes, Mattia is right. In the question $Z$ is supposed to be an algebraic stack, not $X$. $\endgroup$
    – IMeasy
    Feb 7, 2013 at 7:42
  • $\begingroup$ If a morphism of sheaves $\mathsf{Stacks} \to \mathsf{Cat}$ is an isomorphism on all schemes, it is an isomorphism. Therefore $Z$ can also be an algebraic stack. $\endgroup$ Feb 7, 2013 at 11:00

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.