Skip to main content
3 of 4
edited tags; edited tags
Ben McKay
  • 26.3k
  • 7
  • 67
  • 102

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$ ?