$\mathfrak{f}_{4}(\mathbb C)$f₄(C) — complex Lie algebra

The complex simple Lie algebra with Dynkin diagram F₄.

• Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
• Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
• Math 210C. Centers of simply connected semisimple groupsPage 4: SO(3), SO(4), SO(5), and SO(6) low-rank isomorphismsOpen source

C

• Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source

52

• Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
• Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
• Lecture 6: Maximal Root, Exponents, Coxeter Numbers, Dual RepresentationsSection 32.4, printed pages 175–176: Coxeter and dual Coxeter numbersOpen source

4

• Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source

F₄

• Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
• Math 210C. Centers of simply connected semisimple groupsPage 4: SO(3), SO(4), SO(5), and SO(6) low-rank isomorphismsOpen source

Yes

• Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
• Math 210C. Centers of simply connected semisimple groupsPage 4: SO(3), SO(4), SO(5), and SO(6) low-rank isomorphismsOpen source

The dimension here is complex dimension. A real form has the same real dimension, while restriction of scalars of this complex algebra to R doubles the dimension. Its connected integrating group and center require additional global information.

• Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
• Conrad and Landesman · Compact Lie groupsAppendix O, pages 231–232: fundamental groups and covering groups; Appendix V: central quotientsOpen source

Choose a real-form record before selecting a real Lie group. Highest weights belong to a weight-lattice convention, and their integration to a global quotient requires a kernel test.

• Conrad and Landesman · Compact Lie groupsLectures 27–28: highest-weight classification and fundamental representationsOpen source
• Lecture 17: Classification of Connected Compact and Complex Reductive GroupsSection 43.1, Proposition 43.2 and Corollary 43.5: weight lattices and descent to central quotientsOpen source

family:lie-f4

• Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source