DM stacks as locally ringed topoi

Suppose that (Sh(C), O) is a locally ringed topos. When is this the small etale topos of a DM stack? I think the condition is just that it is “locally isomorphic to the small etale topos of a scheme”. Here is why: (again I haven’t worked out all the details — so some of this may not work exactly as stated)

The condition means there exists a sheaf F in Sh(C) such that the localization (Sh(C)/F, O_F) is isomorphic to (Sh(U_{etale}), O_U) as a locally ringed topos. Consider the product sheaf F \times F and think of it as a sheaf over F via one of the projections. Via the isomorphism Sh(C)/F = Sh(U_{etale}) we can think of F \times F as an etale sheaf on U. Since every sheaf  on U_{etale} is representable by an algebraic space over U we conclude that (Sh(C)/F \times F, O_{F \times F}) is isomorphic to (Sh(R_{etale}), O_R) for some algebraic space R. By the fully faithfulness discussed in previous posts we obtain two morphisms s, t : R —> U. Moreover, we can do the same trick with F \times F \times F and obtain a composition morphism R \times_U R —> R (this will require a bit of work relating fibre products of etale morphisms of algebraic spaces to what happens on the side of small etale topoi, but I’m not worried). Hence (U, R, s, t, c) will be an etale groupoid algebraic space. The final step is to show that the DM-stack X = [U/R] has an associated locally ringed small etale topos (X_{etale}, O_X) which is equivalent to the locally ringed topos we started out with.

Note that [U/R] is a DM-stack since in the stacks project we work with algebraic stacks having no separation conditions whatsoever.

To characterize algebraic spaces among these will require a discussion of the inertia in terms of the language of locally ringed topoi as in the post dicussing the difference between Spec(R) and [Spec{C)/{+1, -1}].

Actually this sounds extremely familiar to me and I wouldn’t be surprised if I attended a talk or read an article/book which contained exactly this argument. There is after all an enormous literature on topoi, ringed topoi, etc (starting for example with Hakim, Topos anneles et schemas relatifs). It is also possible that somebody explained this to me in a conversation. Please think of it as being part of algebraic geometry already. But one of the things that is really fun about doing mathematics for me is the discovery process: As I work through material it feels as if I’m discovering it, even if I am reading a 100 year old text.

Certainly this argument will not become part of the stacks project until much later (if at all). My goal for the summer is to really start hacking away at basic properties of algebraic stacks.

PS: For experts on topoi: I keep writing Sh(C) whenever I mean topos since in the stacks project I define a topos to be Sh(C) where C is a site (a la Artin’s notes on Grothendieck topologies).

2 thoughts on “DM stacks as locally ringed topoi

  1. Are you aware of this paper?:

    http://archive.numdam.org/ARCHIVE/CM/CM_1996__102_3/CM_1996__102_3_243_0/CM_1996__102_3_243_0.pdf

    Section 7 discusses Algebraic stacks as a subbicategory of topoi. This differs slightly from what you are saying on two fronts. One, the notion of algebraic stack used in this paper is slightly different from Deligne-Mumford stacks in that

    1.) the stacks are assumed to have an atlas from a scheme, not an algebraic space

    2.) the diagonals are not assumed to be quasicompact.

    1.) should be able to be remedied by considering the etale site of an algebraic space rather than a scheme, and 2.) can be directly translated into a property of the topos (i.e. just look at an appropriate subcategory of algebraic etendues.

    Secondly, algebraic etendue (which are a special sort of topos) are not considered as RINGED topoi, but merely as topoi.

    • Thanks for the link! Just to let you know: 1.) I think that having an “atlas” by a scheme is the same thing as having an “atlas” by an algebraic space, since after all an algebraic space has an “atlas” by a scheme. This is true if “having an atlas by X” means that there is a surjective etale morphism from X towards your stack. 2.) In the stacks project we do not assume the diagonal is quasi-compact, even for a Deligne-Mumford stack. So an algebraic stack X is DM if and only if there exists a scheme or an algebraic space U and a surjective etale morphism U —> X.

Comments are closed.