MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The category of topological categories $Cat(Top)$ is fibred over $Top$ - the functor sending a groupoid $X_1 \rightrightarrows X_0$ to its object space $X_0$ is a Grothendieck fibration. Now one can restrict to interesting subcategories, such as that of topological groupoids $Gpd(Top)$, or of etale groupoids (source and target are local homeomorphisms), or proper etale groupoids (additionally with $(s,t):X_1 \to X_0^2$ proper), and these are all still fibred over $Top$. This arises because the source and target maps have various pullback stability properties, but it is not automatic from usual pullback stability.

The cartesian lift of $M \to X_0$ for a groupoid (say) $X_1 \rightrightarrows X_0$ has arrow space $X_1 \times_{X_0^2} M^2$, so we can talk about $Obj:Gpd(S) \to S$ being a fibration for any finitely complete category (and even some non-finitely complete categories like $Diff$). If you have to 'interesting' full subcategories $C_1,C_2$ of $Gpd(S)$ that are fibred over $S$ via the object functor, then their intersection is again fibred (this is a trivial observation).

In particular, if we consider $S = Sch$ (or even relative schemes), then we get a fibration $Gpd(Sch) \to Sch$. But often one is interested in stacks of various kinds, or descent with respect to certain Grothenieck (pre)topologies, and so want to consider subcategories of $Gpd(Sch)$. My question is this:

What are some subcategories of $Gpd(Sch)$ that are fibred over $Sch$ (resp. with $Sch$ replaced with $Sch/S$)?

I'm interesting in subcategories that are defined by placing conditions on the source and target maps, like smoothness, flatness, tamely ramified or anything. Results that pertain to stacks are especially welcome.

share|cite|improve this question
I would guess that etale (now NOT meaning local homeomorphism :) ) would work, but, I'm no algebraic geometer. – David Carchedi Nov 12 '10 at 0:50

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.