Spin(7)

Spin(7)
Name	Spin(7)
Type	Lie group
Dimension	21
Parent	SO(8)

Spin(7) is a compact, simply connected, exceptional-type Lie group arising as a double cover of SO(8). It is a real, 21-dimensional, compact Lie group closely tied to the theory of Octonions, Clifford algebras, and special holonomy in Riemannian geometry. Spin(7) plays a central role in the classification of possible holonomy groups following work by Marcel Berger, and it interacts with structures studied by Élie Cartan, Donaldson, and Simon Donaldson-type gauge theory contexts.

Definition and basic properties

Spin(7) is defined as the connected, simply connected Lie group associated to the real Lie algebra of type B3 or, more precisely, realized inside the even subalgebra of the real Clifford algebra Cl(8). Classical constructions use the action on the positive-chirality spinor representation of dimension 8, tying Spin(7) to the algebra of Octonions and the triality automorphisms studied by Élie Cartan and later by André Trautman. As a compact group it is semisimple and has center of order two; its maximal torus has rank three and its Weyl group may be compared with that of classical groups such as SO(7), SO(8), and G2. Representation-theoretic invariants such as highest weights, root systems, and Dynkin diagrams were catalogued in classifications due to Hermann Weyl and Élie Cartan.

Lie group structure and representations

The Lie algebra of Spin(7) is a real form whose complexification corresponds to the Dynkin diagram of type B3; representations are built from spin representations of Spin groups and from tensor constructions on vector representations of SO(8). Fundamental finite-dimensional representations include the 8-dimensional spinor and the 7- and 21-dimensional representations linked to the adjoint action studied by Wilhelm Killing and later tabulated by Élie Cartan in his classification. Branching rules and decomposition under subgroups such as G2, SO(7), and SU(4) are important in applications appearing in work by Michael Atiyah, Raoul Bott, and Isadore Singer in index theory and in gauge theory developed by Simon Donaldson and Kronheimer.

Spin(7) as a subgroup of SO(8) and triality

Spin(7) embeds naturally in SO(8) as the stabilizer of a particular unit spinor in the positive-chirality 8-dimensional spinor module; this embedding exploits the classical triality symmetry of SO(8), a phenomenon first highlighted by Élie Cartan and further analyzed by Claude Chevalley and Raoul Bott. Under triality, the three 8-dimensional representations of SO(8) — the vector and the two chiral spinors — are permuted, and Spin(7) appears as the subgroup fixing one spinor, giving a chain of subgroups including G2 as the stabilizer of an imaginary octonionic unit. Relations with exceptional groups such as F4 and connections to the Cayley algebra crop up in the study of automorphism groups explored by John Conway and Richard Borcherds.

Spin(7)-structures and geometry in eight dimensions

A Spin(7)-structure on an 8-manifold is specified by a nondegenerate self-dual 4-form, sometimes called the Cayley 4-form, whose existence imposes topological constraints captured by characteristic classes studied by Shiing-Shen Chern and Rene Thom. Manifolds admitting a Spin(7)-structure have reductions of their frame bundle to Spin(7), and compatibility conditions with metrics and orientation parallel investigations initiated by Marcel Berger and Bertram Kostant. The calibrated geometry associated to the Cayley form leads to calibrated submanifolds called Cayley cycles; calibrated geometry theory was developed in seminal work by Harvey and Lawson, with implications for counting invariants related to conjectures of Edward Witten and enumerative problems influenced by Maxim Kontsevich.

Holonomy and metrics with Spin(7) holonomy

Spin(7) can occur as the full Riemannian holonomy group of an 8-dimensional manifold; such metrics are Ricci-flat and admit parallel spinors, linking them to supersymmetric solutions studied in supergravity and string compactifications by researchers associated with Edward Witten, Juan Maldacena, and Cumrun Vafa. The classification of possible holonomy groups including Spin(7) follows from Berger’s list proved via work by M. Berger and refined by studies of parallel forms by Marcel Berger and M. Wang. Explicit construction of metrics with Spin(7) holonomy uses techniques from nonlinear PDEs, elliptic deformation theory, and gluing constructions deployed by Dominic Joyce, Robert Bryant, and Simon Donaldson.

Examples and constructions of Spin(7) manifolds

Constructions of compact Spin(7) manifolds include Joyce’s resolution of orbifolds formed from torus quotients and Calabi–Yau orbifolds studied in publications by Dominic Joyce; noncompact examples arise from cohomogeneity-one metrics and asymptotically locally conical geometries constructed by Robert Bryant and Simon Salamon. Methods employ resolution of singularities analogous to techniques of Kunihiko Kodaira, analytic gluing inspired by Taubes and Floer, and use of calibrated geometry from Berger-style holonomy theory. Applications connect to moduli space problems tackled by Kronheimer and to M-theory compactifications examined by Andrew Strominger and Michael Douglas.

Category:Lie groups Category:Special holonomy Category:Octonions