F4 (split, connected adjoint)

The catalogue ${F_4}^{\mathrm{split}}_{\mathrm{ad},0}$ is the connected adjoint real Lie group

{F_4}^{\mathrm{split}}_{\mathrm{ad},0}=\operatorname{Aut}_{\mathbb R\text{-Lie}}(\mathfrak f_4^{\mathrm{split}})^0,

where $\mathfrak f_4^{\mathrm{split}}$ is the split real simple Lie algebra of Dynkin type $F_4$ and the superscript 0 denotes the identity component. This definition fixes the global form, rather than only its local Lie algebra.

Dimensions and structure

This group has real dimension $52$ . Its real rank is 4. It is centerless and noncompact. The familiar Killing-signature notation is $F_{4(4)}$ , but that notation alone does not specify an adjoint group, a finite central cover, or a topological universal cover. The catalogue uses the connected adjoint form throughout the split exceptional lane.

References

Pavel Etingof, Lie Groups and Lie Algebras (MIT lecture notes), §40.1, p. 213; §42.2, pp. 225–229; §43.1, Theorem 43.4, pp. 230–231.