Skip to main content
MathOverflow

Return to Answer

added 689 characters in body
Source Link
user36938
user36938
  • 576
  • 4
  • 7

Let's take up the story at the start; I assume you are working over a field. Let $k$ be a field, and let $G$ be an affine $k$-group scheme of finite type. A $k$-group scheme $M$ is of multiplicative type if any of the following equivalent conditions hold: $M$ is a closed $k$-subgroup of a $k$-torus, $M_K$ is a closed $K$-subgroup of a $K$-torus for some separably closed extension $K/k$, or $M$ is "${\rm{GL}}_1$-dual" to a discrete ${\rm{Gal}}(k_s/k)$-module $M$ finitely generated over $\mathbf{Z}$. (In SGA3 a more general notion is allowed, but it is irrelevant for practical purposes or even theoretical developments of practical interest, so let's ignore it.) There are other characterizations as well, but in lieu of a rationale let's not get into that.

Thus, to give an initial $k$-homomorphism from $G$ to a multiplicative type $k$-group schemes amounts to finding a closed normal $k$-subgroup $H \subset G$ such that (i) $G/H$ is of multiplicative type and (ii) any closed normal $k$-subgroup $H' \subset G$ such that $G/H'$ is of multiplicative type contains $H$. That is, we seek such an $H$ that is "as small as possible" (in the sense of being contained in all others; it is clear that any closed $k$-subgroup of $G$ containing $H$ is normal and yields a multiplicative type quotient since $G/H$ is commutative and every quotient of a multiplicative type $k$-group modulo a closed $k$-subgroup scheme is again of multiplicative type).

Now over $\overline{k}$ we have $$G_{\overline{k}} = T_{\overline{k}} \times \mathcal{R}_u(G_{\overline{k}})$$ as for any smooth connected combativecommutative $\overline{k}$-group, so in other words there is a geometric character $G_{\overline{k}} \rightarrow {\rm{GL}}_1$ that restricts to an isomorphism on $T_{\overline{k}}$. This is visibly the maximal multiplicative type quotient over $\overline{k}$. But as a quotient it does not descend to $k$, or even to $k_s$. Indeed, any such descent would have kernel that descends the geometric unipotent radical, so it suffices to show that for a separable algebraic extension $K/k$ and $K' := k' \otimes_k K$ (a field since $K/k$ is separable!) the $K$-group $G_K = {\rm{R}}_{K'/K}({\rm{GL}}_1)$ contains no nontrivial smooth connected unipotent $K$-subgroup.

Note that in this example $G^{\rm{mult}}$ is nonetheless nontrivial. Indeed, the $p$-power endomorphism of $G$ vanishes on $G/T$, so it is valued in $T$, so that provides a nontrivial $k$-homomorphism $f:G \rightarrow T = {\rm{GL}}_1$. It is an instructive exercise to check that this quotient map $f$ is $G^{\rm{mult}}$ over $k$. (Hint: consider ${\rm{Hom}}_k(G, {\rm{GL}}_1)$ as a subgroup of ${\rm{Hom}}_{\overline{k}}(G_{\overline{k}}, {\rm{GL}}_1)$.)

As another example of failure to commute with non-separable extension of the ground field, using the same notation as in the preceding example, consider the $k$-group scheme $N = {\rm{R}}_{k'/k}(\mu_p)$. This is the $p$-torsion in the preceding example, so $N_{\overline{k}} = \mu_p \times \mathbf{G}_a^{p-1}$. Hence, $(N_{\overline{k}})^{\rm{mult}} = \mu_p$ via the evident quotient map. This does not descend to a quotient of $N$ over $k$ (or over any separable extension of $k$) by a similar argument to the preceding example (using that there is no nontrivial homomorphism over a field from a unipotent group to a multiplicative type group), so $N^{\rm{mult}}=1$.

Let's take up the story at the start; I assume you are working over a field. Let $k$ be a field. A $k$-group scheme $M$ is of multiplicative type if any of the following equivalent conditions hold: $M$ is a closed $k$-subgroup of a $k$-torus, $M_K$ is a closed $K$-subgroup of a $K$-torus for some separably closed extension $K/k$, or $M$ is "${\rm{GL}}_1$-dual" to a discrete ${\rm{Gal}}(k_s/k)$-module $M$ finitely generated over $\mathbf{Z}$. (In SGA3 a more general notion is allowed, but it is irrelevant for practical purposes or even theoretical developments of practical interest, so let's ignore it.) There are other characterizations as well, but in lieu of a rationale let's not get into that.

Thus, to give an initial $k$-homomorphism from $G$ to a multiplicative type $k$-group amounts to finding a closed normal $k$-subgroup $H \subset G$ such that (i) $G/H$ is of multiplicative type and (ii) any closed normal $k$-subgroup $H' \subset G$ such that $G/H'$ is of multiplicative type contains $H$. That is, we seek such an $H$ that is "as small as possible" (in the sense of being contained in all others; it is clear that any closed $k$-subgroup of $G$ containing $H$ is normal and yields a multiplicative type quotient since $G/H$ is commutative and every quotient of a multiplicative type $k$-group modulo a closed $k$-subgroup scheme is again of multiplicative type).

Now over $\overline{k}$ we have $$G_{\overline{k}} = T_{\overline{k}} \times \mathcal{R}_u(G_{\overline{k}})$$ as for any smooth connected combative $\overline{k}$-group, so in other words there is a geometric character $G_{\overline{k}} \rightarrow {\rm{GL}}_1$ that restricts to an isomorphism on $T_{\overline{k}}$. This is visibly the maximal multiplicative type quotient over $\overline{k}$. But as a quotient it does not descend to $k$, or even to $k_s$. Indeed, any such descent would have kernel that descends the geometric unipotent radical, so it suffices to show that for a separable algebraic extension $K/k$ and $K' := k' \otimes_k K$ (a field since $K/k$ is separable!) the $K$-group $G_K = {\rm{R}}_{K'/K}({\rm{GL}}_1)$ contains no nontrivial smooth connected unipotent $K$-subgroup.

Note that in this example $G^{\rm{mult}}$ is nonetheless nontrivial. Indeed, the $p$-power endomorphism of $G$ vanishes on $G/T$, so it is valued in $T$, so that provides a nontrivial $k$-homomorphism $f:G \rightarrow T = {\rm{GL}}_1$. It is an instructive exercise to check that this quotient map $f$ is $G^{\rm{mult}}$ over $k$. (Hint: consider ${\rm{Hom}}_k(G, {\rm{GL}}_1)$ as a subgroup of ${\rm{Hom}}_{\overline{k}}(G_{\overline{k}}, {\rm{GL}}_1)$.)

Let's take up the story at the start; I assume you are working over a field. Let $k$ be a field, and let $G$ be an affine $k$-group scheme of finite type. A $k$-group scheme $M$ is of multiplicative type if any of the following equivalent conditions hold: $M$ is a closed $k$-subgroup of a $k$-torus, $M_K$ is a closed $K$-subgroup of a $K$-torus for some separably closed extension $K/k$, or $M$ is "${\rm{GL}}_1$-dual" to a discrete ${\rm{Gal}}(k_s/k)$-module $M$ finitely generated over $\mathbf{Z}$. (In SGA3 a more general notion is allowed, but it is irrelevant for practical purposes or even theoretical developments of practical interest, so let's ignore it.) There are other characterizations as well, but in lieu of a rationale let's not get into that.

Thus, to give an initial $k$-homomorphism from $G$ to multiplicative type $k$-group schemes amounts to finding a closed normal $k$-subgroup $H \subset G$ such that (i) $G/H$ is of multiplicative type and (ii) any closed normal $k$-subgroup $H' \subset G$ such that $G/H'$ is of multiplicative type contains $H$. That is, we seek such an $H$ that is "as small as possible" (in the sense of being contained in all others; it is clear that any closed $k$-subgroup of $G$ containing $H$ is normal and yields a multiplicative type quotient since $G/H$ is commutative and every quotient of a multiplicative type $k$-group modulo a closed $k$-subgroup scheme is again of multiplicative type).

Now over $\overline{k}$ we have $$G_{\overline{k}} = T_{\overline{k}} \times \mathcal{R}_u(G_{\overline{k}})$$ as for any smooth connected commutative $\overline{k}$-group, so in other words there is a geometric character $G_{\overline{k}} \rightarrow {\rm{GL}}_1$ that restricts to an isomorphism on $T_{\overline{k}}$. This is visibly the maximal multiplicative type quotient over $\overline{k}$. But as a quotient it does not descend to $k$, or even to $k_s$. Indeed, any such descent would have kernel that descends the geometric unipotent radical, so it suffices to show that for a separable algebraic extension $K/k$ and $K' := k' \otimes_k K$ (a field since $K/k$ is separable!) the $K$-group $G_K = {\rm{R}}_{K'/K}({\rm{GL}}_1)$ contains no nontrivial smooth connected unipotent $K$-subgroup.

Note that in this example $G^{\rm{mult}}$ is nonetheless nontrivial. Indeed, the $p$-power endomorphism of $G$ vanishes on $G/T$, so it is valued in $T$, so that provides a nontrivial $k$-homomorphism $f:G \rightarrow T = {\rm{GL}}_1$. It is an instructive exercise to check that this quotient map $f$ is $G^{\rm{mult}}$ over $k$. (Hint: consider ${\rm{Hom}}_k(G, {\rm{GL}}_1)$ as a subgroup of ${\rm{Hom}}_{\overline{k}}(G_{\overline{k}}, {\rm{GL}}_1)$.)

As another example of failure to commute with non-separable extension of the ground field, using the same notation as in the preceding example, consider the $k$-group scheme $N = {\rm{R}}_{k'/k}(\mu_p)$. This is the $p$-torsion in the preceding example, so $N_{\overline{k}} = \mu_p \times \mathbf{G}_a^{p-1}$. Hence, $(N_{\overline{k}})^{\rm{mult}} = \mu_p$ via the evident quotient map. This does not descend to a quotient of $N$ over $k$ (or over any separable extension of $k$) by a similar argument to the preceding example (using that there is no nontrivial homomorphism over a field from a unipotent group to a multiplicative type group), so $N^{\rm{mult}}=1$.

Source Link
user36938
user36938
  • 576
  • 4
  • 7

This is a subtle question, since the formation of that quotient need not commute with extension of the ground field (and it is not said if the ground field is algebraically closed, or separably closed, or what).

Let's take up the story at the start; I assume you are working over a field. Let $k$ be a field. A $k$-group scheme $M$ is of multiplicative type if any of the following equivalent conditions hold: $M$ is a closed $k$-subgroup of a $k$-torus, $M_K$ is a closed $K$-subgroup of a $K$-torus for some separably closed extension $K/k$, or $M$ is "${\rm{GL}}_1$-dual" to a discrete ${\rm{Gal}}(k_s/k)$-module $M$ finitely generated over $\mathbf{Z}$. (In SGA3 a more general notion is allowed, but it is irrelevant for practical purposes or even theoretical developments of practical interest, so let's ignore it.) There are other characterizations as well, but in lieu of a rationale let's not get into that.

The key thing is that a closed $k$-subgroup of a multiplicative type $k$-group $M$ is again of multiplicative type (and likewise for quotients by closed $k$-subgroup schemes), so if $f:G \rightarrow M$ is a $k$-homomorphism then $G/(\ker f)$ is of multiplicative type since $G/(\ker f) \rightarrow M$ is a closed immersion (as for any $k$-homomorphism with trivial kernel between affine $k$-group schemes of finite type).

Thus, to give an initial $k$-homomorphism from $G$ to a multiplicative type $k$-group amounts to finding a closed normal $k$-subgroup $H \subset G$ such that (i) $G/H$ is of multiplicative type and (ii) any closed normal $k$-subgroup $H' \subset G$ such that $G/H'$ is of multiplicative type contains $H$. That is, we seek such an $H$ that is "as small as possible" (in the sense of being contained in all others; it is clear that any closed $k$-subgroup of $G$ containing $H$ is normal and yields a multiplicative type quotient since $G/H$ is commutative and every quotient of a multiplicative type $k$-group modulo a closed $k$-subgroup scheme is again of multiplicative type).

Now we use Marty's suggestion, expressed in the form of noetherian induction. Namely, if $H_1, H_2 \subset G$ are closed normal $k$-subgroups such that each $G/H_j$ is of multiplicative type then so is $G/(H_1 \cap H_2)$ since it is naturally a closed $k$-subgroup scheme of $(G/H_1) \times (G/H_2)$. Thus, if $\{H_i\}$ is the collection of closed normal $k$-subgroups of $G$ such that $G/H_i$ is of multiplicative type then any finite intersection among the $H_i$'s is also in the collection. Since $G$ is a noetherian scheme, it follows that by intersecting a sufficiently large finite collection of such $H_i$'s we get one that is contained in all others. The associated quotient is $G^{\rm{mult}}$, the "maximal multiplicative type quotient" over $k$.

By Galois descent, the formation of $G^{\rm{mult}}$ is compatible with scalar extension to $k_s$, and so with any separable algebraic extension on $k$. A finer argument using smoothness and specialization shows that the formation of $G^{\rm{mult}}$ commutes with any separable extension on $k$ (not necessarily algebraic, such as the map from a global field to a completion).

But if $k$ is not perfect then there is a "problem": the formation of $G^{\rm{mult}}$ need not commute with non-separable extension on $k$. For example, if $k$ is any imperfect field of characteristic $p > 0$ and if $k'/k$ is a nontrivial finite purely inseparable extension of degree $p$ then let $G$ be the Weil restriction ${\rm{R}}_{k'/k}({\rm{GL}}_1)$ (informally, this is "${k'}^{\times}$ as a $k$-group"). This $k$-group is smooth, commutative, and connected of dimension $p$, and it contains as its maximal $k$-torus $T$ an evident copy of ${\rm{GL}}_1$. The quotient $G/T$ is killed by $p$ as we may check on $k_s$-points since $({k'_s}^{\times})^p \subset k_s^{\times}$, so $G/T$ is unipotent.

Now over $\overline{k}$ we have $$G_{\overline{k}} = T_{\overline{k}} \times \mathcal{R}_u(G_{\overline{k}})$$ as for any smooth connected combative $\overline{k}$-group, so in other words there is a geometric character $G_{\overline{k}} \rightarrow {\rm{GL}}_1$ that restricts to an isomorphism on $T_{\overline{k}}$. This is visibly the maximal multiplicative type quotient over $\overline{k}$. But as a quotient it does not descend to $k$, or even to $k_s$. Indeed, any such descent would have kernel that descends the geometric unipotent radical, so it suffices to show that for a separable algebraic extension $K/k$ and $K' := k' \otimes_k K$ (a field since $K/k$ is separable!) the $K$-group $G_K = {\rm{R}}_{K'/K}({\rm{GL}}_1)$ contains no nontrivial smooth connected unipotent $K$-subgroup.

Let $j:U \hookrightarrow G_K$ be the inclusion of a smooth connected unipotent $K$-subgroup. By the universal property of Weil restriction, this "corresponds" to a $K'$-homomorphism $U_{K'} \rightarrow {\rm{GL}}_1$. This latter homomorphism must be trivial, as it maps a smooth connected unipotent $K'$-group to a $K'$-torus (or for a zillion other reasons). Hence, $j$ is trivial, yet it is an inclusion, so $U=1$ as claimed.

Note that in this example $G^{\rm{mult}}$ is nonetheless nontrivial. Indeed, the $p$-power endomorphism of $G$ vanishes on $G/T$, so it is valued in $T$, so that provides a nontrivial $k$-homomorphism $f:G \rightarrow T = {\rm{GL}}_1$. It is an instructive exercise to check that this quotient map $f$ is $G^{\rm{mult}}$ over $k$. (Hint: consider ${\rm{Hom}}_k(G, {\rm{GL}}_1)$ as a subgroup of ${\rm{Hom}}_{\overline{k}}(G_{\overline{k}}, {\rm{GL}}_1)$.)

Post Made Community Wiki by user36938