Skip to main content
2 of 2
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 285

Is a Lie subgroup whose center is closed, a closed subgroup itself?

I want to show that a certain Lie subgroup (i.e. generated by the exponential of elements in some Lie subalgebra) of a Lie group is closed. My knowledge of the subject of Lie groups is rudimentary, and I would really appreciate any pointers towards relevant results.

My question

Is the following statement true?

Let $G$ be a connected finite-dimensional real Lie group, and $H$ a Lie subgroup (i.e. generated by $\exp(\mathfrak{h})$ for some sub-lie algebra $\mathfrak{h}$ of the lie algebra $\mathfrak{g}$ of $G$). If the center of $H$ (i.e. $Z(H) = \lbrace x \in H: xh = hx\text{ for all }h \in H\rbrace$) is a closed subset of $G$, then $H$ is a closed subset of $G$.

If true I would love a reference. If for some reason it is true only for semi-simple $G$ with finite center, that would be great as well.

Some context

The closed subgroup theorem says that any connected subgroup of $G$ which is closed is in fact a Lie group. On the wikipedia page there are some criteria which allow one to deduce that the group associated to some lie algebra $\mathfrak{h} \subset \mathfrak{g}$ is closed, but they don't seem to apply in my case of interest.

I found an encyclopedia of math article where the claim is made that any connected subgroup of a simply connected solvable real Lie group is closed. This is false as noted in the answers to this stackoverflow question. However for Lie subgroups it seems to be true. The article gives a paper of Malcev as a reference, there is an an errata for the paper, and also some errors are pointed out by Chevalley in the mathscinet review (where he implies that the particular result that interests me was not new at the time but, alas, does not give a reference). I can use this to solve some, but not all, of the cases that interest me.

Finally, I found some papers by Morikuni Goto which seem likely to contain results I could piece together to either get my statement, or something similarly useful.

He gives conditions on the Lie algebra of a connected Lie group $H$ that guarantee that every isomorphic embedding has a closed image. In particular if $Z(H)$ is compact then any continuous isomorphic image of $H$ in a Lie group is closed.

However, the subgroups $H$ that interest me have non-compact center, which happens to be closed in the larger group (this means some isomorphisms could send $H$ to a non-closed subgroup inside some other group).

Pablo Lessa
  • 4.3k
  • 28
  • 37