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

Equivalence between the existence of a nonempty open set of elliptic elements and a compact Cartan subgroup

In Goldman's book on Complex Hyperbolic Geometry, on page 203, it is stated that for a real semisimple Lie group $G$, the following are equivalent:

  1. $G$ contains a nonempty open subset of elliptic elements (which are elements of maximal compact subgroups of $G$, i.e. fixing a point in the associated symmetric space), and

  2. $G$ admits a compact Cartan subgroup.

Does anyone know how to prove the implication $1\Rightarrow 2$ ?