2

Is it true that the commutator subgroup of a connected semisimple Lie group is always closed? (In contrast to the reductive case A Reductive Lie group whose commutator is not closed? )

I think the answer is yes see

Closedness of connected semisimple Lie subgroups of semisimple groups

Let $ G $ be a connected Lie group. Is it true that $ G $ equals its own commutator subgroup if and only if $ G $ is semisimple?

  • 3
    Did you already solve this problem on the level of Lie algebras? If not, then this should be your first step (do not forget the Levy-Malcev decomposition). – Moishe Kohan Apr 30 '22 at 16:25
  • @MoisheKohan Oh oops the Euclidean group for $ n\geq 3$ is already a counterexample. I'll work out the details above. How about the other two parts of my question? Should I make the the fundamental group/Schur multiplier part into a new question and then change the title of this one to ask for a semisimple Lie group whose commutator is not closed? – Ian Gershon Teixeira May 01 '22 at 22:58

1 Answers1

1

The commutator subgroup $ [G,G] $ is a normal subgroup of $ G $. And $ G/[G,G]=G^{ab} $ is abelian. So suppose that $ G $ is semisimple and connected. Then $ G^{ab} $ is a semisimple Lie group. So $ G^{ab} $ is abelian and semisimple, thus has trivial Lie algebra. So $ G^{ab} $ has trivial Lie algebra and is connected. So $ G^{ab} $ must be trivial and $ G=[G,G] $ is perfect as desired. Also that means $ [G,G] $ is closed because it is all of $ G $.

The converse is false. There exist Lie groups which are equal to their own commutator subgroup but are not semisimple. Let $ G=SE_n:= \mathbb{R}^n \rtimes SO_n $ be the (special) Euclidean group. Then $ RvR^{-1}v^{-1} $, corresponds to the pure vector element $ R(v)-v $, where $ R $ is pure rotation element and $ v $ is a pure vector element. Consider a rotation $ R $ that takes $ v $ to $ -v $. Then $ R(v)-v=-2v $. Thus we can produce all vectors this way. So $ [G,G] $ contains all the pure vector elements. On the other hand $ [SO_n,SO_n]=SO_n $ for $ n\geq 3 $ so $ [G,G] $ contains all pure rotation elements. But $ G $ is generated by the pure vector elements and the pure rotations elements. Thus $ [G,G] $ must be all of $ G $ for $ n \geq 3 $. $ G $ is clearly not semisimple since $ \mathbb{R}^n $ is a normal solvable subgroup.