2
$\begingroup$

Let $\operatorname{Ad}:\operatorname{SL}_n(\mathbb{R}) \to \operatorname{GL}(\mathfrak{sl}_n(\mathbb{R}))$ be the adjoint representation (i.e. $\operatorname{Ad}(g)X=gXg^{-1}$) of $SL_n(\mathbb{R})$. Then is the image of $\operatorname{Ad}$ a Zariski closed subgroup?

In general, are the any sufficient conditions (e.g. semisimplicity, lack of compact factors) for the image of the adjoint representation of a real algebraic group to be Zariski closed?

$\endgroup$
2
  • 1
    $\begingroup$ No, at least for $n=2$. The image will be the identity component of the group of $\mathbb{R}$-points of a group isomorphic to $\mathrm{SO}(2,1)$, hence not Zariski closed. $\endgroup$ Oct 7, 2015 at 18:16
  • $\begingroup$ I think that compactness of $G(\mathbb{R})$ is a sufficient condition for the image of the adjoint representation of a real algebraic group to be Zariski closed. Indeed, then the image is compact, hence Zariski closed, see Onishchik and Vinberg, Lie Groups and Algebraic Groups, Section 3.4.4, Theorem 5. $\endgroup$ Oct 7, 2015 at 18:31

1 Answer 1

3
$\begingroup$

Let $G$ be a connected linear algebraic group over the field of real numbers $\mathbb{R}$. By "connected" I mean "connected over $\mathbb{C}$". Let $G(\mathbb{R})$ denote the group of $\mathbb{R}$-points of $G$. It does not have to be connected. Let $\Gamma\subset G(\mathbb{R})$ be a subgroup of finite index in $G(\mathbb{R})$, then its Zariski closure is $G(\mathbb{R})$ (because $G$ is connected). Thus $\Gamma$ is Zariski closed in $G(\mathbb{R})$ if and only if $\Gamma=G(\mathbb{R})$.

Denote by $G^{\mathrm{ad}}$ the image (over $\mathbb{C}$) of the adjoint representation $$ \mathrm{Ad}\colon G\to \mathrm{GL}(\mathrm{Lie}\, G),$$ this group is defined over $\mathbb{R}$. The image $\mathrm{Ad}(G(\mathbb{R}))$ is a subgroup of finite index in $G^{\mathrm{ad}}(\mathbb{R})$. We conclude that $\mathrm{Ad}(G(\mathbb{R}))$ is Zariski closed in $\mathrm{GL}(\mathrm{Lie}\, G)$ if and only if $\mathrm{Ad}(G(\mathbb{R}))=G^{\mathrm{ad}}(\mathbb{R})$.

Now assume that $G$ is simply connected (over $\mathbb{C}$). Then $G(\mathbb{R})$ is connected, see Onishchik and Vinberg, Lie Groups and Algebraic Groups, 5.2.1, Thm. 3. It follows that $\mathrm{Ad}(G(\mathbb{R}))$ is connected, hence it is the identity component of $G^{\mathrm{ad}}(\mathbb{R})$. Thus $\mathrm{Ad}(G(\mathbb{R}))$ is Zariski closed if and only if $G^{\mathrm{ad}}(\mathbb{R})$ is connected.

Now assume that $G=\mathrm{SL}_n$ (then $G$ is simply connected). In this case $G^{\mathrm{ad}}(\mathbb{R})$ has one connected component when $n$ is odd, and it has two connected components when $n$ is even, see, e.g., this preprint, Section 9.3. Thus $\mathrm{Ad}(\mathrm{SL}_n(\mathbb{R}))$ is Zariski closed if and only if $n$ is odd. In particular, in $n=2$, then $\mathrm{Ad}(\mathrm{SL}_n(\mathbb{R}))$ is not Zariski closed.

Concerning a sufficient condition, it suffices to assume that $G$ is compact (i.e., $G(\mathbb{R})$ is compact), see my second comment to the question.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.