Skip to main content
Removed the fuzzy train of thought which led me to the condition about centralizers, and added why this (should!) give counterexamples.
Source Link
Kevin McGerty
  • 3.1k
  • 1
  • 24
  • 20

At least forAs Pavel says, any semisimple $g$ I think this iselement lies in a pretty well-studied question: here's an outline of an argumentmaximal torus, where you can take any root. Lets assume thatOn the other hand, if $G$$g$ is simply connectedunipotent, asthen it is in the byimage of the theoremexponential map, so you can make sense of Steinberg$g^\lambda$ for any $\lambda \in \mathbb C$, so counterexamples must have nontrivial semisimple and unipotent parts.

Suppose $g=s.u=u.s$ is the centralizersJordan decomposition of an element. Then $s^n$ and $u^n$ are semisimple elementsand unipotent respectively, so they are connectedthe Jordan decomposition of $g^n$. Thus the existence of roots is compatible with Jordan decomposition.

Now take a semisimple element $s$ such that $Z_G(s)^0$ does not contain a central torus (so its center is finite) -- if $x \in G$$G$ is semisimplesimply connected then in fact $Z_G(s)$ is connected, andso I'll assume that. Now pick a regular unipotent element $x$ had$u$ in $n$-th roots$Z_G(s)$ and consider $g =s.u$. I want to claim $g$ is a counterexample. Indeed suppose for alleach $n$, then the corresponding stabilizers of the we have $h_n$ an $n$-th roots should stabilize (as they are connectedroot, and their dimension$h=s_nu_n$ is bounded) to some subgroupits Jordan decomposition. Then $Z$ containing$s_n^n =s$ and $x$$u_n^n=u$, and an infinite set of "roots" ofboth $x$ would be central$s_n$ and $u_n$ lie in $Z$$Z_G(s)$. Then we see that $s_n$ centralizes $u$ for all $n$, sobut since $u$ is regular in $Z_G(s)$ and $s_n$ semisimple it follows that $s_n$ must lie in the centre of $Z$ should contain a nontrivial torus$Z_G(s)$.

Hence if we want a counter-example we need elements $x$ such that But then taking, say, $Z_G(x)$ has semisimple rank$n$ equal to thatthe order of $G$that centre (or maybe I mean it's identity component in generalwhich is finite) we get a contradiction, as $s_n^n$ must then be $1$. Such

Semisimple elements $s$ such that $Z_G(s)$ does not contain a central torus exist, but there are only finitely many conjugacy classes of them, as was essentially shown in the paper of Borel and de Siebenthal. In fact I think that paper establishes that there are $r+1$ such classes where $r$ is the rank of $G$, so this would give a negative answer for the exceptional groups also. I suspect that these might somehow be the only counterexamples?

At least for semisimple $g$ I think this is a pretty well-studied question: here's an outline of an argument. Lets assume that $G$ is simply connected, as the by the theorem of Steinberg the centralizers of semisimple elements are connected.

Now if $x \in G$ is semisimple, and $x$ had $n$-th roots for all $n$, then the corresponding stabilizers of the $n$-th roots should stabilize (as they are connected and their dimension is bounded) to some subgroup $Z$ containing $x$, and an infinite set of "roots" of $x$ would be central in $Z$, so the centre of $Z$ should contain a nontrivial torus.

Hence if we want a counter-example we need elements $x$ such that $Z_G(x)$ has semisimple rank equal to that of $G$ (or maybe I mean it's identity component in general). Such elements exist, but there are only finitely many conjugacy classes of them, as was essentially shown in the paper of Borel and de Siebenthal. In fact I think that paper establishes that there are $r+1$ such classes where $r$ is the rank of $G$, so this would give a negative answer for the exceptional groups also.

As Pavel says, any semisimple element lies in a maximal torus, where you can take any root. On the other hand, if $g$ is unipotent, then it is in the image of the exponential map, so you can make sense of $g^\lambda$ for any $\lambda \in \mathbb C$, so counterexamples must have nontrivial semisimple and unipotent parts.

Suppose $g=s.u=u.s$ is the Jordan decomposition of an element. Then $s^n$ and $u^n$ are semisimple and unipotent respectively, so they are the Jordan decomposition of $g^n$. Thus the existence of roots is compatible with Jordan decomposition.

Now take a semisimple element $s$ such that $Z_G(s)^0$ does not contain a central torus (so its center is finite) -- if $G$ is simply connected then in fact $Z_G(s)$ is connected, so I'll assume that. Now pick a regular unipotent element $u$ in $Z_G(s)$ and consider $g =s.u$. I want to claim $g$ is a counterexample. Indeed suppose for each $n$ we have $h_n$ an $n$-th root, and $h=s_nu_n$ is its Jordan decomposition. Then $s_n^n =s$ and $u_n^n=u$, and both $s_n$ and $u_n$ lie in $Z_G(s)$. Then we see that $s_n$ centralizes $u$ for all $n$, but since $u$ is regular in $Z_G(s)$ and $s_n$ semisimple it follows that $s_n$ must lie in the centre of $Z_G(s)$. But then taking, say, $n$ equal to the order of that centre (which is finite) we get a contradiction, as $s_n^n$ must then be $1$.

Semisimple elements $s$ such that $Z_G(s)$ does not contain a central torus exist, but there are only finitely many conjugacy classes of them, as was essentially shown in the paper of Borel and de Siebenthal. In fact I think that paper establishes that there are $r+1$ such classes where $r$ is the rank of $G$, so this would give a negative answer for the exceptional groups also. I suspect that these might somehow be the only counterexamples?

Source Link
Kevin McGerty
  • 3.1k
  • 1
  • 24
  • 20

At least for semisimple $g$ I think this is a pretty well-studied question: here's an outline of an argument. Lets assume that $G$ is simply connected, as the by the theorem of Steinberg the centralizers of semisimple elements are connected.

Now if $x \in G$ is semisimple, and $x$ had $n$-th roots for all $n$, then the corresponding stabilizers of the $n$-th roots should stabilize (as they are connected and their dimension is bounded) to some subgroup $Z$ containing $x$, and an infinite set of "roots" of $x$ would be central in $Z$, so the centre of $Z$ should contain a nontrivial torus.

Hence if we want a counter-example we need elements $x$ such that $Z_G(x)$ has semisimple rank equal to that of $G$ (or maybe I mean it's identity component in general). Such elements exist, but there are only finitely many conjugacy classes of them, as was essentially shown in the paper of Borel and de Siebenthal. In fact I think that paper establishes that there are $r+1$ such classes where $r$ is the rank of $G$, so this would give a negative answer for the exceptional groups also.