Definition 20.4.1. Let $X$ be a topological space. Let $\mathcal{G}$ be a sheaf of (possibly non-commutative) groups on $X$. A torsor, or more precisely a $\mathcal{G}$-torsor, is a sheaf of sets $\mathcal{F}$ on $X$ endowed with an action $\mathcal{G} \times \mathcal{F} \to \mathcal{F}$ such that
whenever $\mathcal{F}(U)$ is nonempty the action $\mathcal{G}(U) \times \mathcal{F}(U) \to \mathcal{F}(U)$ is simply transitive, and
for every $x \in X$ the stalk $\mathcal{F}_ x$ is nonempty.
A morphism of $\mathcal{G}$-torsors $\mathcal{F} \to \mathcal{F}'$ is simply a morphism of sheaves of sets compatible with the $\mathcal{G}$-actions. The trivial $\mathcal{G}$-torsor is the sheaf $\mathcal{G}$ endowed with the obvious left $\mathcal{G}$-action.
Comments (0)
There are also: