G₂

G₂. In the classification of simple Lie groups, G₂ is the smallest of the five exceptional Lie algebras. It is a 14-dimensional Lie group of rank 2, intimately connected to the octonions and various exceptional structures in geometry and theoretical physics. Its unique properties make it a fundamental object of study in representation theory, differential geometry, and string theory.

Definition and basic properties

G₂ can be defined abstractly as the automorphism group of the octonions, the largest normed division algebra. This group preserves the multiplication table of the octonions, a non-associative algebra central to many exceptional phenomena. Its Lie algebra, denoted \(\mathfrak{g}_2\), has dimension 14 and rank 2, with a Dynkin diagram consisting of two nodes connected by a triple bond. The compact real form of G₂ is a simple Lie group that can be realized as a subgroup of the special orthogonal group \(\mathrm{SO}(7)\). Its root system contains 12 non-zero roots, which can be explicitly described using the geometry of the octonions. The Weyl group of G₂ is the dihedral group of order 12, which is the symmetry group of a regular hexagon. Important early work on its structure was done by mathematicians like Élie Cartan and Wilhelm Killing.

Representations and character theory

The representation theory of G₂ is rich and has been extensively studied. Its smallest non-trivial irreducible representation is 7-dimensional, arising from its embedding into \(\mathrm{SO}(7)\). The adjoint representation is the 14-dimensional representation corresponding to the Lie algebra itself. Other fundamental representations include the 27-dimensional representation, which plays a role in certain Jordan algebra constructions. The character table for finite-dimensional representations can be computed using the Weyl character formula. These representations have important decompositions under restrictions to subgroups like \(\mathrm{SU}(3)\). The study of branching rules for G₂ is significant in both mathematics and physics, particularly in grand unified theory model building. Key developments in its representation theory are associated with Hermann Weyl and Harish-Chandra.

Geometric and physical interpretations

Geometrically, G₂ is profoundly connected to the concept of G₂ manifolds, which are 7-dimensional Riemannian manifolds with holonomy group contained in G₂. Such manifolds are of central importance in M-theory and string theory compactifications, as they preserve supersymmetry in the effective four-dimensional theory. The first complete examples of compact G₂ manifolds were constructed by Dominic Joyce. In physics, G₂ appears as a possible gauge group for grand unified theories, though it is less common than groups like \(\mathrm{SU}(5)\) or \(\mathrm{SO}(10)\). It also emerges in the study of integrable systems and certain conformal field theories. The relationship between G₂ holonomy and supergravity solutions was pioneered by work from Edward Witten and others.

Subgroups and related groups

G₂ contains several important subgroups. A maximal subgroup is \(\mathrm{SU}(3)\), whose embedding is related to the quaternionic structure within the octonions. Another significant subgroup is \(\mathrm{SO}(4)\), which appears in various decompositions. The group is also closely related to other exceptional groups; for instance, it is a subgroup of the spin group \(\mathrm{Spin}(7)\) and the exceptional Lie group \(\mathrm{F}_4\). The complexification of G₂ and its various real forms, including the split real form, have distinct geometric interpretations. These subgroup relationships are crucial for understanding the branching rules of representations and for applications in particle physics. The study of these embeddings was advanced by mathematicians such as Armand Borel and Raoul Bott.

Exceptional algebraic structures

Beyond the octonions, G₂ is linked to several other exceptional algebraic structures. It is the derivation algebra of the Albert algebra, the exceptional Jordan algebra of 3×3 octonionic Hermitian matrices. This connection places G₂ within the framework of the Freudenthal magic square, which organizes relationships between exceptional Lie groups and division algebras. G₂ also acts on the Moufang loop related to octonionic units. Its role in these structures highlights its unique position at the intersection of non-associative algebra, projective geometry, and incidence geometry. Investigations into these areas often reference the work of Hans Freudenthal and Jacques Tits. The exceptional nature of G₂ continues to inspire research in pure mathematics and theoretical physics. Category:Lie groups Category:Exceptional objects