3

Let $G$ be a connected solvable algebraic group. If $T$ is a maximal torus of $G$, then $C_G(T)$ is nilpotent.

A connected solvable algebraic group is nilpotent if and only if the set of semisimple elements form a subgroup. So, in order to prove $C_G(T)$ is nilpotent, I shall first determine whether it is connected. If it is, the next step is to prove that $(C_G(T))_s$, i.e., the set of semisimple elements of $C_G(T)$ is its subgroup.

As $G$ is connected solvable, $G$ can be imbeded in some $T(n,k)$, consisting of upper triangular matrices. Then $T=G \cap D(n,k)$, consisting of diagonal matrices. In order to prove $(C_G(T))_s$ is a subgroup, let $x_1,x_2$ be two elements in $G_s$, such that for any $y \in T$, $x_1y=yx_1$, $x_2y=yx_2$. Then how to prove $x_1x_2$ is still semisimple?

I have no idea. Thanks very much for any answer, hint or reference.

ShinyaSakai
  • 7,846

1 Answers1

2

I would do it this way: $C=C_G(T)$

Let $a \in C_s$ an element which is semisimple. Then $at=ta$ for all $t \in T$. Let $H$ be ths closed subgroup spanned by $T$ and $a$. Then $H$ is commutative all its elements are semisimple therefore it is a torus und $T \subset H$ thus $T=H$ and $a \in T$. This proves, that $C_s=T$ is a subgroup thus C is nilpotent.

I hope this helps.

Greetings

ulead86
  • 3,381
  • -_- I just tried to prove $(C_G(T))_s$ was a subgroup and didn't found out it in fact $=T$. @Daniel: Thank you very much. Sincere Greetings~ – ShinyaSakai Aug 01 '11 at 17:38
  • In order for $H$ to be a torus it also needs to be connected, which seems to be ignored in this answer. After defining $H$, I think it would be better to use Proposition 19.4 in Humphreys' book (in fact, this question is exactly exercise 3 from the same section), which says that in these settings, $H$ is included in a torus, and then one can finish the argument is a similar way. – MCL May 12 '23 at 13:37