Diagonalizable subgroups in a simply connected group

Question

This is a continuation of my previous question. Let $G$ be a connected reductive group over an algebraically closed field $k$ of characteristic 0. We assume that $\mathrm{Pic}\ G=0$. This is the same as to say that the derived group $G^{\mathrm{der}}$ of $G$ (which is semisimple) is simply connected. In particular, if $G$ is simply connected semisimple, then $\mathrm{Pic}\ G=0$.

Let $D$ be a diagonalizable subgroup in $G$. Is it true that $D$ is contained in some torus $T\subset G$ ?

Angelo's answer to my previous question shows that this is not true for $G=\mathrm{PGL}_n$. Of course, $\mathrm{Pic}\ \mathrm{PGL}_n\neq 0$.

Answer 1

The answer seems to be no, according to II, 5.8 (and following material) in the Springer-Steinberg lecture notes (Lect. Notes in Math 131, 1970), though I might be overlooking something in your question. Of course, sometimes this type of embedding is possible as pointed out in those lecture notes, but there are problems with torsion primes. This kind of question goes back to work of Borel-Serre on compact Lie groups, and there are further details in Steinberg's 1975 paper in Advances in Mathematics. At this point I'm not aware of any significant improvement to the results written down by Springer-Steinberg.

In any case, the central torus of a reductive group plays little role in the question, so it's essentially about simply connected semisimple groups.

P.S. To clarify terminology, a torsion prime is a prime dividing some coefficient of the highest coroot for a simple algebraic group. So the possibilities are limited to $2,3,5$ (and there are no torsion primes for types $A, C$). There is an indirect connection with fundamental group orders in the topological setting. (Also, the results of Springer-Steinberg are formulated over an algebraically closed field of any characteristic and adapted somewhat to groups which are not simply connected.)

Answer 2

Here is an explicit example. Let $G$ be a group of type $G_2$, over an algebraically closed field $k$ of characteristic not 2. Then $G$ is simply connected, and contains a maximal rank subgroup $M$ of type "$A_1 \times A_1$". As observed in [Springer-Steinberg, II.5.5], this semisimple subgroup is not simply connected. In fact, $M$ is isomorphic to $\operatorname{SL}_2 \times \operatorname{PGL}_2$.

Now, the subgroup $M$ is the centralizer of a finite order semisimple element $t$ of $G$. Moreover, by Angelo's Angelo's example for $\operatorname{PGL}_n$ there is a diagonalizable subgroup $D_1 \subset M$ of order 4 contained in no maximal torus of $M$.

Then the diagonalizable subgroup $D = \langle D_1,t\rangle$ of $G$ is not contained in any maximal torus of $G$.

For what it is worth, this example shows what went wrong with my (now deleted, and in hindsight, silly) argument in answer to the previous question. Namely, the centralizer of a semisimple element $t$ in a simply connected group is connected and reductive, but need not itself be simply connected. In fact the result found in [Springer-Steinberg, 5.3] gives more precise conditions -- related with torsion primes -- under which a group like $C_G(t)$ is simply connected.