Division Algebras, Supersymmetry and Higher Gauge Theory
  From the four normed division algebras--the real numbers, complex numbers, quaternions and octonions, of dimension k=1, 2, 4 and 8, respectively--a systematic procedure gives a 3-cocycle on the Poincare superalgebra in dimensions k+2=3, 4, 6 and 10, and a 4-cocycle on the Poincare superalgebra in dimensions k+3=4, 5, 7 and 11. The existence of these cocycles follow from spinor identities that hold only in these dimensions, and which are closely related to the existence of the superstring in dimensions k+2, and the super-2-brane in dimensions k+3.   In general, an (n+1)-cocycle on a Lie superalgebra yields a `Lie n-superalgebra': that is, roughly, an n-term chain complex equipped with a bracket satisfying the axioms of a Lie superalgebra up to chain homotopy. We thus obtain Lie 2-superalgebras extending the Poincare superalgebra in dimensions k+2, and Lie 3-superalgebras extending the Poincare superalgebra in dimensions k+3. We present evidence, based on the work of Sati, Schreiber and Stasheff, that these Lie n-superalgebras describe infinitesimal `higher symmetries' of the superstring and 2-brane.   Generically, integrating a Lie n-superalgebra to a Lie n-supergroup yields a `Lie n-supergroup' that is hugely infinite-dimensional. However, when the Lie n-superalgebra is obtained from an (n+1)-cocycle on a nilpotent Lie superalgebra, there is a geometric procedure to integrate the cocycle to one on the corresponding nilpotent Lie supergroup.   In general, a smooth (n+1)-cocycle on a supergroup yields a `Lie n-supergroup': that is, a weak n-group internal to supermanifolds. Using our geometric procedure to integrate the 3-cocycle in dimensions k+2, we obtain a Lie 2-supergroup extending the Poincare supergroup in those dimensions, and similarly integrating the 4-cocycle in dimensions k+3, we obtain a Lie 3-supergroup extending the Poincare supergroup in those dimensions. 
John Huerta
math-ph hep-th math.DG math.MP math.RA