6
$\begingroup$

Suppose $G$ is a connected real Lie group. The quotient $G/Z(G)$ is the image of the adjoint representation, so a linear group. Is it known for which groups this quotient is Lie isomorphic to an algebraic group? Is there a classification?

Compact groups are all algebraic (Chevalley's theorem), so we can assume $G$ is not compact. If $G$ is nilpotent, this is always the case, because linear connected nilpotent Lie groups are a direct product of a torus and a simply connected group that is the image of a polynomial map (the exponential). Moreover, as remarked in the comments, $G/Z(G)$ is actually simply connected, when $G$ is nilpotent. If $G$ is semisimple, $G/Z(G)$ is a centerless direct product of simple groups. Some relevant discussion: Centreless semisimple Lie group that is not real algebraic
As noted in the comments, some non-compact simple Lie groups are algebraic (e.g. $\text{SL}_3(\mathbb{R})$) and some other ones are not (e.g. $\text{PSL}_2(\mathbb{R})$).

What about solvable groups? Do you know an example of a simply connected solvable group that is not a central extension of a linear algebraic group?

$\endgroup$
13
  • 4
    $\begingroup$ What about the group of $3 \times 3$ upper-triangular matrices with diagonal entries positive? This is a connected component of an algebraic group but I don't think is an algebraic group itself, and the same thing is true mod center. $\endgroup$
    – Will Sawin
    Commented Mar 9, 2022 at 3:34
  • 4
    $\begingroup$ How about Allen Knutson's example mathoverflow.net/a/23594/297 : $\mathbb{R}^4 \rtimes \mathbb{R}$ with $\theta$ acting by $\left[ \begin{smallmatrix} \cos \theta & -\sin \theta && \\ \sin \theta & \cos \theta && \\ && \cos (a \theta) & - \sin(a \theta) \\ && \sin(a \theta) & \cos (a \theta) \\ \end{smallmatrix} \right]$ for irrational $a$? This is simply connected and, if I am not mistaken, centerless. $\endgroup$ Commented Mar 9, 2022 at 3:48
  • 3
    $\begingroup$ Actually, even for semi-simple Lie groups this is false: the connected component of identity of SO(1,n) is not an algebraic group. $\endgroup$ Commented Mar 9, 2022 at 5:21
  • 3
    $\begingroup$ The answer is negative for $\mathrm{SL}_2(\mathbf{R})$ itself: $\mathrm{PSL}_2(\mathbf{R})$ is not isomorphic to the group of $\mathbf{R}$-points of any algebraic $\mathbf{R}$-group. $\endgroup$
    – YCor
    Commented Mar 9, 2022 at 11:19
  • 2
    $\begingroup$ @Luis no: consider $\mathrm{SL}_3(\mathbf{R})$. $\endgroup$
    – YCor
    Commented Mar 9, 2022 at 22:21

1 Answer 1

1
$\begingroup$

There is an obstruction to algebraicity at the level of a Lie algebra of an algebraic group. If $\mathfrak g \subseteq \mathfrak{gl}(V)$ is a Lie algebra, then $\mathfrak g$ is algebraic if it is the Lie algebra of an algebraic subgroup of $GL(V)$. Chevalley studied this notion in the 1940's. For your question, the relevant notion is ad-algebraic: if the group $G/Z(G)$ is to be (the connected component of the identity of) an algebraic group, then the image of $Lie(G)$ in $\mathfrak{gl}(Lie(G))$ must be algebraic. There are non-ad-algebraic Lie algebras, see e.g. this MO answer.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .