81.8 Invariant functions

In some cases it is convenient to pin down the structure sheaf of a quotient by requiring any invariant function to be a local section of the structure sheaf of the quotient.

Definition 81.8.1. Let $S$ be a scheme and $B$ an algebraic space over $S$. Let $j : R \to U \times _ B U$ be a pre-relation. Let $\phi : U \to X$ be an $R$-invariant morphism. Denote $\phi ' = \phi \circ s = \phi \circ t : R \to X$.

1. We denote $(\phi _*\mathcal{O}_ U)^ R$ the $\mathcal{O}_ X$-sub-algebra of $\phi _*\mathcal{O}_ U$ which is the equalizer of the two maps

$\xymatrix{ \phi _*\mathcal{O}_ U \ar@<1ex>[rr]^{\phi _*s^\sharp } \ar@<-1ex>[rr]_{\phi _*t^\sharp } & & \phi '_*\mathcal{O}_ R }$

on $X_{\acute{e}tale}$. We sometimes call this the sheaf of $R$-invariant functions on $X$.

2. We say the functions on $X$ are the $R$-invariant functions on $U$ if the natural map $\mathcal{O}_ X \to (\phi _*\mathcal{O}_ U)^ R$ is an isomorphism.

Of course we can require this property holds after any (flat or any) base change, leading to a (uniform or) universal notion. This condition is often thrown in with other conditions in order to obtain a (more) unique quotient. And of course a good deal of motivation for the whole subject comes from the following special case: $U = \mathop{\mathrm{Spec}}(A)$ is an affine scheme over a field $S = B = \mathop{\mathrm{Spec}}(k)$ and where $R = G \times U$, with $G$ an affine group scheme over $k$. In this case you have the option of taking for the quotient:

$X = \mathop{\mathrm{Spec}}(A^ G)$

so that at least the condition of the definition above is satisfied. Even though this is a nice thing you can do it is often not the right quotient; for example if $U = \text{GL}_{n, k}$ and $G$ is the group of upper triangular matrices, then the above gives $X = \mathop{\mathrm{Spec}}(k)$, whereas a much better quotient (namely the flag variety) exists.

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 toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 04A9. Beware of the difference between the letter 'O' and the digit '0'.