Torsors and stacks (Q2504880): Difference between revisions

Given a group \(G\), a \(G\)-torsor is a set \(X\) together with a free and transitive action of \(G\) on it. This definition admits a \`\` sheafification\'\'. More precisely, if \(G\) is a sheaf of groups, then a \(G\)-torsor is a sheaf \(X\) with a free action of \(G\) on it such that the sheaf-theoretic quotient \(X/G\) is isomorphic to a point. A well-known result says that if \(G\) is a sheaf of groups, then the associated sheaf of \(G\)-torsors is a model for its associated stack. In the paper under review the author proves a generalization of this result to sheaves of groupoids.