Lemma 39.19.2 (03LO)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 2: Schemes
Chapter 39: Groupoid Schemes
Section 39.19: Invariant subschemes
Lemma 39.19.2 (cite)

Lemma 39.19.2. Let $S$ be a scheme. Let $(U, R, s, t, c)$ be a groupoid scheme over $S$ .

For any subset $W \subset U$ the subset $t(s^{-1}(W))$ is set-theoretically $R$ -invariant.
If $s$ and $t$ are open, then for every open $W \subset U$ the open $t(s^{-1}(W))$ is an $R$ -invariant open subscheme.
If $s$ and $t$ are open and quasi-compact, then $U$ has an open covering consisting of $R$ -invariant quasi-compact open subschemes.

Proof. Part (1) follows from Lemmas 39.3.4 and 39.13.2, namely, $t(s^{-1}(W))$ is the set of points of $U$ equivalent to a point of $W$ . Next, assume $s$ and $t$ open and $W \subset U$ open. Since $s$ is open the set $W' = t(s^{-1}(W))$ is an open subset of $U$ . Finally, assume that $s$ , $t$ are both open and quasi-compact. Then, if $W \subset U$ is a quasi-compact open, then also $W' = t(s^{-1}(W))$ is a quasi-compact open, and invariant by the discussion above. Letting $W$ range over all affine opens of $U$ we see (3). $\square$

The Stacks project

Comments (0)

Post a comment