3
$\begingroup$

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.

$\endgroup$
4
$\begingroup$

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.

$\endgroup$
2
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ 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. $\endgroup$ – David Roberts Aug 30 '11 at 9:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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