Definition 39.19.1. Let $(U, R, s, t, c)$ be a groupoid scheme over the base scheme $S$.

A subset $W \subset U$ is

*set-theoretically $R$-invariant*if $t(s^{-1}(W)) \subset W$.An open $W \subset U$ is

*$R$-invariant*if $t(s^{-1}(W)) \subset W$.A closed subscheme $Z \subset U$ is called

*$R$-invariant*if $t^{-1}(Z) = s^{-1}(Z)$. Here we use the scheme theoretic inverse image, see Schemes, Definition 26.17.7.A monomorphism of schemes $T \to U$ is

*$R$-invariant*if $T \times _{U, t} R = R \times _{s, U} T$ as schemes over $R$.

## Comments (0)