Gruppenoperation auf Schema/Torsor/Definition

Geometric torsor

Let ${}G$ denote a group scheme over a scheme ${}X$. A scheme ${}T\rightarrow X$ together with a group scheme action

$\beta \colon G\times _{X}T\longrightarrow T$

is called a geometric (Zariski)-torsor for ${}G$ (or a ${}G$-principal fiber bundle or a principal homogeneous space) if there exists an open covering ${}X=\bigcup _{i\in I}U_{i}$ and isomorphisms

$\varphi _{i}\colon T{|}_{U_{i}}\longrightarrow G{|}_{U_{i}}$

such that the diagrams (we set ${}U=U_{i}$ and ${}\varphi =\varphi _{i}$)

${\begin{matrix}G{|}_{U}\times _{U}T{|}_{U}&{\stackrel {\beta }{\longrightarrow }}&T{|}_{U}&\\\!\!\!\!\!\operatorname {Id} \times \varphi \downarrow &&\downarrow \varphi \!\!\!\!\!&\\G{|}_{U}\times _{U}G{|}_{U}&{\stackrel {\beta }{\longrightarrow }}&G{|}_{U}&\!\!\!\!\!\\\end{matrix}}$

commute.