Background/motivation
One of the main reason to introduce (algebraic) stacks is build "fine moduli spaces" for functors which, strictly speaking, are not representable. The yoga is more or less as follows.
One notices that a representable functor on the category of schemes is a sheaf in the fpqc topology. In particular it is a sheaf in coarser topologies, like the fppf or étale topologies. Now some naturally defined functors (for instance the functor $mathcal{M}_{1,1}$ of elliptic curves) are not sheaves in the fpqc topology
(actually $mathcal{M}_{1,1}$ is not even an étale sheaf) so there is no hope to represent them.
Enters the $2$-categorical world and we introduce fibered categories and stacks. Many functors which are not sheaves arise by collapsing fibered categories which ARE stacks, so not all hope is lost. But, as not every fpqc sheaf is representable, we should not expect that every fpqc stack is in some sense "represented by a generalized space", so we make a definition of what we mean by an algebraic stack.
Let me stick with the Deligne-Mumford case. Then a DM stack is a fibered category (in groupoids) over the category of schemes, which
1) is a stack in the étale topology
2) has a "nice" diagonal
3) is in some sense étale locally similar to a scheme.
I don't need to make precise what 2) and 3) mean.
By the preceding philosophy we should expect that DM stacks generalize schemes in the same way that stacks generalize sheaves. In particular I would expect that DM stacks turn out to be stacks in finer topologies, just as schemes are sheaves not only in the Zariski topology (which is trivial) but also in the fpqc topology (which is a theorem of Grothendieck).
Question
Is it true that DM stacks are actually stacks in the fpqc topology? And if not, did someone propose a notion of "generalized space" in the context of stacks, so that this result holds?
No comments:
Post a Comment