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: