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

Assume given an algebraic stack() $\mathcal{X}$ with presentation $X_0 \to \mathcal{X}$, and the corresponding groupoid $X = (X_0\times_\mathcal{X} X_0 \rightrightarrows X_0)$ in algebraic spaces (or schemes, given the right sort of algebraic stack()).

(*)Allow me to be a little loose with the definition. Take your favourite sort of alg. stack if you like.

Who first proved that $\mathcal{X}$ is equivalent to the stack of $X$-torsors?

I'm interested not just for a reference, but in the technique, at least from a category-theoretic point of view.

share|cite|improve this question

The notion of "torsor under a groupoid in a topos" already appears in

Breen, Lawrence Tannakian categories. Motives (Seattle, WA, 1991), 337–376, Proc. Sympos. Pure Math., 55, Part 1, Amer. Math. Soc., Providence, RI, 1994.

precisely p.354. The related idea of stackification via torsors is also included. The result you mention seems to be only shown there for gerbes, though. I have no idea if this is the first occurrence of the idea, probably not.

share|cite|improve this answer

I have heard this result attributed to Kai Behrend, who apparently came up with it while writing his part of the now defunct many-authored stack book. However it is certainly possible that someone else had already noticed it.

share|cite|improve this answer
Really, that recently? I thought this was an old result. Certainly I hadn't seen it in the drafts of said book, or at least I hadn't read it in enough detail to see it. – David Roberts Aug 30 '11 at 9:17

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.