The Stacks project

79.9 Properties of groups over fields and groupoids on fields

The reader is advised to first look at the corresponding sections for groupoid schemes, see Groupoids, Section 39.7 and More on Groupoids, Section 40.10.

Situation 79.9.1. Here $S$ is a scheme, $k$ is a field over $S$, and $(G, m)$ is a group algebraic space over $\mathop{\mathrm{Spec}}(k)$.

Situation 79.9.2. Here $S$ is a scheme, $B$ is an algebraic space, and $(U, R, s, t, c)$ is a groupoid in algebraic spaces over $B$ with $U = \mathop{\mathrm{Spec}}(k)$ for some field $k$.

Note that in Situation 79.9.1 we obtain a groupoid in algebraic spaces

79.9.2.1
\begin{equation} \label{spaces-more-groupoids-equation-groupoid-from-group} (\mathop{\mathrm{Spec}}(k), G, p, p, m) \end{equation}

where $p : G \to \mathop{\mathrm{Spec}}(k)$ is the structure morphism of $G$, see Groupoids in Spaces, Lemma 78.15.1. This is a situation as in Situation 79.9.2. We will use this without further mention in the rest of this section.

Lemma 79.9.3. In Situation 79.9.2 the composition morphism $c : R \times _{s, U, t} R \to R$ is flat and universally open. In Situation 79.9.1 the group law $m : G \times _ k G \to G$ is flat and universally open.

Proof. The composition is isomorphic to the projection map $\text{pr}_1 : R \times _{t, U, t} R \to R$ by Diagram (79.3.0.2). The projection is flat as a base change of the flat morphism $t$ and open by Morphisms of Spaces, Lemma 67.6.6. The second assertion follows immediately from the first because $m$ matches $c$ in (79.9.2.1). $\square$

Note that the following lemma applies in particular when working with either quasi-separated or locally separated algebraic spaces (Decent Spaces, Lemma 68.15.2).

Lemma 79.9.4. In Situation 79.9.2 assume $R$ is a decent space. Then $R$ is a separated algebraic space. In Situation 79.9.1 assume that $G$ is a decent algebraic space. Then $G$ is separated algebraic space.

Proof. We first prove the second assertion. By Groupoids in Spaces, Lemma 78.6.1 we have to show that $e : S \to G$ is a closed immersion. This follows from Decent Spaces, Lemma 68.14.5.

Next, we prove the first assertion. To do this we may replace $B$ by $S$. By the paragraph above the stabilizer group scheme $G \to U$ is separated. By Groupoids in Spaces, Lemma 78.29.2 the morphism $j = (t, s) : R \to U \times _ S U$ is separated. As $U$ is the spectrum of a field the scheme $U \times _ S U$ is affine (by the construction of fibre products in Schemes, Section 26.17). Hence $R$ is separated, see Morphisms of Spaces, Lemma 67.4.9. $\square$

Lemma 79.9.5. In Situation 79.9.2. Let $k'/k$ be a field extension, $U' = \mathop{\mathrm{Spec}}(k')$ and let $(U', R', s', t', c')$ be the restriction of $(U, R, s, t, c)$ via $U' \to U$. In the defining diagram

\[ \xymatrix{ R' \ar[d] \ar[r] \ar@/_3pc/[dd]_{t'} \ar@/^1pc/[rr]^{s'} \ar@{..>}[rd] & R \times _{s, U} U' \ar[r] \ar[d] & U' \ar[d] \\ U' \times _{U, t} R \ar[d] \ar[r] & R \ar[r]^ s \ar[d]_ t & U \\ U' \ar[r] & U } \]

all the morphisms are surjective, flat, and universally open. The dotted arrow $R' \to R$ is in addition affine.

Proof. The morphism $U' \to U$ equals $\mathop{\mathrm{Spec}}(k') \to \mathop{\mathrm{Spec}}(k)$, hence is affine, surjective and flat. The morphisms $s, t : R \to U$ and the morphism $U' \to U$ are universally open by Morphisms, Lemma 29.23.4. Since $R$ is not empty and $U$ is the spectrum of a field the morphisms $s, t : R \to U$ are surjective and flat. Then you conclude by using Morphisms of Spaces, Lemmas 67.5.5, 67.5.4, 67.6.4, 67.20.5, 67.20.4, 67.30.4, and 67.30.3. $\square$

Lemma 79.9.6. In Situation 79.9.2. For any point $r \in |R|$ there exist

  1. a field extension $k'/k$ with $k'$ algebraically closed,

  2. a point $r' : \mathop{\mathrm{Spec}}(k') \to R'$ where $(U', R', s', t', c')$ is the restriction of $(U, R, s, t, c)$ via $\mathop{\mathrm{Spec}}(k') \to \mathop{\mathrm{Spec}}(k)$

such that

  1. the point $r'$ maps to $r$ under the morphism $R' \to R$, and

  2. the maps $s' \circ r', t' \circ r' : \mathop{\mathrm{Spec}}(k') \to \mathop{\mathrm{Spec}}(k')$ are automorphisms.

Proof. Let's represent $r$ by a morphism $r : \mathop{\mathrm{Spec}}(K) \to R$ for some field $K$. To prove the lemma we have to find an algebraically closed field $k'$ and a commutative diagram

\[ \xymatrix{ k' & k' \ar[l]^1 & \\ k' \ar[u]^\tau & K \ar[lu]^\sigma & k \ar[l]^-s \ar[lu]_ i \\ & k \ar[lu]^ i \ar[u]_ t } \]

where $s, t : k \to K$ are the field maps coming from $s \circ r$ and $t \circ r$. In the proof of More on Groupoids, Lemma 40.10.5 it is shown how to construct such a diagram. $\square$

Lemma 79.9.7. In Situation 79.9.2. If $r : \mathop{\mathrm{Spec}}(k) \to R$ is a morphism such that $s \circ r, t \circ r$ are automorphisms of $\mathop{\mathrm{Spec}}(k)$, then the map

\[ R \longrightarrow R, \quad x \longmapsto c(r, x) \]

is an automorphism $R \to R$ which maps $e$ to $r$.

Proof. Proof is identical to the proof of More on Groupoids, Lemma 40.10.6. $\square$

Lemma 79.9.8. In Situation 79.9.2 the algebraic space $R$ is geometrically unibranch. In Situation 79.9.1 the algebraic space $G$ is geometrically unibranch.

Proof. Let $r \in |R|$. We have to show that $R$ is geometrically unibranch at $r$. Combining Lemma 79.9.5 with Descent on Spaces, Lemma 74.9.1 we see that it suffices to prove this in case $k$ is algebraically closed and $r$ comes from a morphism $r : \mathop{\mathrm{Spec}}(k) \to R$ such that $s \circ r$ and $t \circ r$ are automorphisms of $\mathop{\mathrm{Spec}}(k)$. By Lemma 79.9.7 we reduce to the case that $r = e$ is the identity of $R$ and $k$ is algebraically closed.

Assume $r = e$ and $k$ is algebraically closed. Let $A = \mathcal{O}_{R, e}$ be the étale local ring of $R$ at $e$ and let $C = \mathcal{O}_{R \times _{s, U, t} R, (e, e)}$ be the étale local ring of $R \times _{s, U, t} R$ at $(e, e)$. By More on Algebra, Lemma 15.107.4 the minimal prime ideals $\mathfrak q$ of $C$ correspond $1$-to-$1$ to pairs of minimal primes $\mathfrak p, \mathfrak p' \subset A$. On the other hand, the composition law induces a flat ring map

\[ \xymatrix{ A \ar[r]_{c^\sharp } & C & \mathfrak q \\ & A \otimes _{s^\sharp , k, t^\sharp } A \ar[u] & \mathfrak p \otimes A + A \otimes \mathfrak p' \ar@{|}[u] } \]

Note that $(c^\sharp )^{-1}(\mathfrak q)$ contains both $\mathfrak p$ and $\mathfrak p'$ as the diagrams

\[ \xymatrix{ A \ar[r]_{c^\sharp } & C \\ A \otimes _{s^\sharp , k} k \ar[u] & A \otimes _{s^\sharp , k, t^\sharp } A \ar[l]_{1 \otimes e^\sharp } \ar[u] } \quad \quad \xymatrix{ A \ar[r]_{c^\sharp } & C \\ k \otimes _{k, t^\sharp } A \ar[u] & A \otimes _{s^\sharp , k, t^\sharp } A \ar[l]_{e^\sharp \otimes 1} \ar[u] } \]

commute by (79.3.0.1). Since $c^\sharp $ is flat (as $c$ is a flat morphism by Lemma 79.9.3), we see that $(c^\sharp )^{-1}(\mathfrak q)$ is a minimal prime of $A$. Hence $\mathfrak p = (c^\sharp )^{-1}(\mathfrak q) = \mathfrak p'$. $\square$

In the following lemma we use dimension of algebraic spaces (at a point) as defined in Properties of Spaces, Section 66.9. We also use the dimension of the local ring defined in Properties of Spaces, Section 66.10 and transcendence degree of points, see Morphisms of Spaces, Section 67.33.

Lemma 79.9.9. In Situation 79.9.2 assume $s, t$ are locally of finite type. For all $r \in |R|$

  1. $\dim (R) = \dim _ r(R)$,

  2. the transcendence degree of $r$ over $\mathop{\mathrm{Spec}}(k)$ via $s$ equals the transcendence degree of $r$ over $\mathop{\mathrm{Spec}}(k)$ via $t$, and

  3. if the transcendence degree mentioned in (2) is $0$, then $\dim (R) = \dim (\mathcal{O}_{R, \overline{r}})$.

Proof. Let $r \in |R|$. Denote $\text{trdeg}(r/_{\! \! s}k)$ the transcendence degree of $r$ over $\mathop{\mathrm{Spec}}(k)$ via $s$. Choose an étale morphism $\varphi : V \to R$ where $V$ is a scheme and $v \in V$ mapping to $r$. Using the definitions mentioned above the lemma we see that

\[ \dim _ r(R) = \dim _ v(V) = \dim (\mathcal{O}_{V, v}) + \text{trdeg}_{s(k)}(\kappa (v)) = \dim (\mathcal{O}_{R, \overline{r}}) + \text{trdeg}(r/_{\! \! s}k) \]

and similarly for $t$ (the second equality by Morphisms, Lemma 29.28.1). Hence we see that $\text{trdeg}(r/_{\! \! s}k) = \text{trdeg}(r/_{\! \! t}k)$, i.e., (2) holds.

Let $k'/k$ be a field extension. Note that the restriction $R'$ of $R$ to $\mathop{\mathrm{Spec}}(k')$ (see Lemma 79.9.5) is obtained from $R$ by two base changes by morphisms of fields. Thus Morphisms of Spaces, Lemma 67.34.3 shows the dimension of $R$ at a point is unchanged by this operation. Hence in order to prove (1) we may assume, by Lemma 79.9.6, that $r$ is represented by a morphism $r : \mathop{\mathrm{Spec}}(k) \to R$ such that both $s \circ r$ and $t \circ r$ are automorphisms of $\mathop{\mathrm{Spec}}(k)$. In this case there exists an automorphism $R \to R$ which maps $r$ to $e$ (Lemma 79.9.7). Hence we see that $\dim _ r(R) = \dim _ e(R)$ for any $r$. By definition this means that $\dim _ r(R) = \dim (R)$.

Part (3) is a formal consequence of the results obtained in the discussion above. $\square$

Lemma 79.9.10. In Situation 79.9.1 assume $G$ locally of finite type. For all $g \in |G|$

  1. $\dim (G) = \dim _ g(G)$,

  2. if the transcendence degree of $g$ over $k$ is $0$, then $\dim (G) = \dim (\mathcal{O}_{G, \overline{g}})$.

Lemma 79.9.11. In Situation 79.9.2 assume $s, t$ are locally of finite type. Let $G = \mathop{\mathrm{Spec}}(k) \times _{\Delta , \mathop{\mathrm{Spec}}(k) \times _ B \mathop{\mathrm{Spec}}(k), t \times s} R$ be the stabilizer group algebraic space. Then we have $\dim (R) = \dim (G)$.

Proof. Since $G$ and $R$ are equidimensional (see Lemmas 79.9.9 and 79.9.10) it suffices to prove that $\dim _ e(R) = \dim _ e(G)$. Let $V$ be an affine scheme, $v \in V$, and let $\varphi : V \to R$ be an étale morphism of schemes such that $\varphi (v) = e$. Note that $V$ is a Noetherian scheme as $s \circ \varphi $ is locally of finite type as a composition of morphisms locally of finite type and as $V$ is quasi-compact (use Morphisms of Spaces, Lemmas 67.23.2, 67.39.8, and 67.28.5 and Morphisms, Lemma 29.15.6). Hence $V$ is locally connected (see Properties, Lemma 28.5.5 and Topology, Lemma 5.9.6). Thus we may replace $V$ by the connected component containing $v$ (it is still affine as it is an open and closed subscheme of $V$). Set $T = V_{red}$ equal to the reduction of $V$. Consider the two morphisms $a, b : T \to \mathop{\mathrm{Spec}}(k)$ given by $a = s \circ \varphi |_ T$ and $b = t \circ \varphi |_ T$. Note that $a, b$ induce the same field map $k \to \kappa (v)$ because $\varphi (v) = e$! Let $k_ a \subset \Gamma (T, \mathcal{O}_ T)$ be the integral closure of $a^\sharp (k) \subset \Gamma (T, \mathcal{O}_ T)$. Similarly, let $k_ b \subset \Gamma (T, \mathcal{O}_ T)$ be the integral closure of $b^\sharp (k) \subset \Gamma (T, \mathcal{O}_ T)$. By Varieties, Proposition 33.31.1 we see that $k_ a = k_ b$. Thus we obtain the following commutative diagram

\[ \xymatrix{ k \ar[rd]^ a \ar[rrrd] \\ & k_ a = k_ b \ar[r] & \Gamma (T, \mathcal{O}_ T) \ar[r] & \kappa (v) \\ k \ar[ru]_ b \ar[rrru] } \]

As discussed above the long arrows are equal. Since $k_ a = k_ b \to \kappa (v)$ is injective we conclude that the two morphisms $a$ and $b$ agree. Hence $T \to R$ factors through $G$. It follows that $R_{red} = G_{red}$ in an open neighbourhood of $e$ which certainly implies that $\dim _ e(R) = \dim _ e(G)$. $\square$

Comments (0)

Post a comment

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

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

All contributions are licensed under the GNU Free Documentation License.




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 06DW. Beware of the difference between the letter 'O' and the digit '0'.



View Section 79.9 as pdf