## Tag `03LO`

Chapter 38: Groupoid Schemes > Section 38.19: Invariant subschemes

Lemma 38.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 38.3.4 and 38.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 code snippet corresponding to this tag is a part of the file `groupoids.tex` and is located in lines 3324–3336 (see updates for more information).

```
\begin{lemma}
\label{lemma-constructing-invariant-opens}
Let $S$ be a scheme.
Let $(U, R, s, t, c)$ be a groupoid scheme over $S$.
\begin{enumerate}
\item For any subset $W \subset U$ the subset $t(s^{-1}(W))$
is set-theoretically $R$-invariant.
\item 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.
\item If $s$ and $t$ are open and quasi-compact, then $U$ has an open
covering consisting of $R$-invariant quasi-compact open subschemes.
\end{enumerate}
\end{lemma}
\begin{proof}
Part (1) follows from
Lemmas \ref{lemma-pre-equivalence-equivalence-relation-points} and
\ref{lemma-groupoid-pre-equivalence}, 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).
\end{proof}
```

## Comments (0)

## Add a comment on tag `03LO`

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.