9
$\begingroup$

Let $\mathfrak{g}$ be a complex semisimple Lie algebra and let $G$ be its adjoint group. If $x\in\mathfrak{g}^{rs}$ is a regular semisimple element, is its orbit $$G\cdot x=\{\mathrm{Ad}_gx:g\in G\}$$ also equal to $$\exp(\mathfrak{g})\cdot x=\{\mathrm{Ad}_{\exp(y)}x:y\in\mathfrak{g}\}?$$

$\endgroup$
3
  • 3
    $\begingroup$ Equivalently, do we have $G=EC_x$ where $E$ is the image of the exponential map, and $C_x$ is the stabilizer of $x$. $\endgroup$
    – YCor
    Commented Jan 10, 2019 at 11:55
  • 1
    $\begingroup$ Note that the centralizer of a regular semisimple element is a maximal torus in $G$. Is there a reason for limiting the question to regular elements or to the Lie group framework over $\mathbb{C}$? (Naturally the notion of "exponential" would have to be broadened.) $\endgroup$ Commented Jan 10, 2019 at 23:55
  • $\begingroup$ Since $\exp(\mathfrak g)$ is not a group in general, I think, do you really want just $\exp(\mathfrak g)$, or the smallest set containing $x$ and closed under the adjoint action of $\exp(\mathfrak g)$? $\endgroup$
    – LSpice
    Commented Jul 18, 2019 at 15:53

0

You must log in to answer this question.