Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want...
Transcript of Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want...
![Page 1: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/1.jpg)
Higher Gauge Theory, Division Algebras andSuperstrings
John Baez and John Huerta
June 16, 2011Quantum Theory and Gravitation
for more, see:http://math.ucr.edu/home/baez/susy/
![Page 2: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/2.jpg)
Ordinary gauge theory describes how 0-dimensional particlestransform as we move them along 1-dimensional paths. It isnatural to assign a Lie group element to each path:
•g
%% •
![Page 3: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/3.jpg)
Ordinary gauge theory describes how 0-dimensional particlestransform as we move them along 1-dimensional paths. It isnatural to assign a Lie group element to each path:
•g
%% •
since composition of paths then corresponds to multiplication:
•g
%% •g′
%% •
![Page 4: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/4.jpg)
Ordinary gauge theory describes how 0-dimensional particlestransform as we move them along 1-dimensional paths. It isnatural to assign a Lie group element to each path:
•g
%% •
since composition of paths then corresponds to multiplication:
•g
%% •g′
%% •
while reversing the direction corresponds to taking the inverse:
• •g−1
yy
![Page 5: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/5.jpg)
The associative law makes the holonomy along a triplecomposite unambiguous:
•g
%% •g′
%% •g′′
%% •
So: the topology dictates the algebra!
![Page 6: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/6.jpg)
Higher gauge theory describes the parallel transport not only ofpoint particles, but also higher-dimensional extended objects.
![Page 7: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/7.jpg)
Higher gauge theory describes the parallel transport not only ofpoint particles, but also higher-dimensional extended objects.
For 1-dimensional extended objects, we need ‘2-groups’.
![Page 8: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/8.jpg)
Higher gauge theory describes the parallel transport not only ofpoint particles, but also higher-dimensional extended objects.
For 1-dimensional extended objects, we need ‘2-groups’.
A ‘2-group’ has objects:
•g
%% •
![Page 9: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/9.jpg)
Higher gauge theory describes the parallel transport not only ofpoint particles, but also higher-dimensional extended objects.
For 1-dimensional extended objects, we need ‘2-groups’.
A ‘2-group’ has objects:
•g
%% •
but also morphisms:
•g
%%
g′
99f��
•
![Page 10: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/10.jpg)
We can multiply objects:
•g
%% •g′
%% •
![Page 11: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/11.jpg)
We can multiply objects:
•g
%% •g′
%% •
multiply morphisms:
•g1
%%
g′1
99f1 ��•
g2
%%
g′2
99f2 ��•
![Page 12: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/12.jpg)
We can multiply objects:
•g
%% •g′
%% •
multiply morphisms:
•g1
%%
g′1
99f1 ��•
g2
%%
g′2
99f2 ��•
and also compose morphisms:
•
g
��g′ //f
��
g′′
CCf ′
��
•
![Page 13: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/13.jpg)
Various laws should hold...
![Page 14: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/14.jpg)
Various laws should hold...again, the topology dictates the algebra.
![Page 15: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/15.jpg)
Various laws should hold...again, the topology dictates the algebra.
Just as a group is a monoid where every element has aninverse, a 2-group is a monoidal category where every objectand every morphism has an inverse.
![Page 16: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/16.jpg)
For higher gauge theory, we really want ‘Lie 2-groups’. By nowthere is an extensive theory of these.
![Page 17: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/17.jpg)
For higher gauge theory, we really want ‘Lie 2-groups’. By nowthere is an extensive theory of these.
One example is the Poincaré 2-group. This has the Lorentzgroup as objects, and translations as morphisms from anyobject to itself.
![Page 18: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/18.jpg)
For higher gauge theory, we really want ‘Lie 2-groups’. By nowthere is an extensive theory of these.
One example is the Poincaré 2-group. This has the Lorentzgroup as objects, and translations as morphisms from anyobject to itself.
A spin foam model based on this Lie 2-group may serve as a‘quantum model of flat 4d spacetime’, much as thePonzano–Regge model does for 3d spacetime. See:
Aristide Baratin and Derek Wise, 2-group representationsof spin foams, arXiv:0910.1542.
for the Euclidean case.
![Page 19: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/19.jpg)
Other examples show up in string theory. In his thesis, JohnHuerta showed that they explain this pattern:
The only normed division algebras are R, C, H and O.They have dimensions k = 1, 2, 4 and 8.
The classical superstring makes sense only in dimensionsk + 2 = 3, 4, 6 and 10.
The classical super-2-brane makes sense only indimensions k + 3 = 4, 5, 7 and 11.
![Page 20: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/20.jpg)
Other examples show up in string theory. In his thesis, JohnHuerta showed that they explain this pattern:
The only normed division algebras are R, C, H and O.They have dimensions k = 1, 2, 4 and 8.
The classical superstring makes sense only in dimensionsk + 2 = 3, 4, 6 and 10.
The classical super-2-brane makes sense only indimensions k + 3 = 4, 5, 7 and 11.
For superstrings we need Lie 2-supergroups; forsuper-2-branes we need Lie 3-supergroups.
![Page 21: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/21.jpg)
Other examples show up in string theory. In his thesis, JohnHuerta showed that they explain this pattern:
The only normed division algebras are R, C, H and O.They have dimensions k = 1, 2, 4 and 8.
The classical superstring makes sense only in dimensionsk + 2 = 3, 4, 6 and 10.
The classical super-2-brane makes sense only indimensions k + 3 = 4, 5, 7 and 11.
For superstrings we need Lie 2-supergroups; forsuper-2-branes we need Lie 3-supergroups.
To get our hands on Lie n-supergroups, it’s easiest to start with‘Lie n-superalgebras’. Let’s see what those are.
![Page 22: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/22.jpg)
An L∞-algebra is a chain complex
L0d← L1
d← · · · d← Lnd← · · ·
equipped with the structure of a Lie algebra ‘up to coherentchain homotopy’.
![Page 23: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/23.jpg)
An L∞-algebra is a chain complex
L0d← L1
d← · · · d← Lnd← · · ·
equipped with the structure of a Lie algebra ‘up to coherentchain homotopy’.
So, L has:
a map d : L→ L of grade -1 with d 2 = 0
![Page 24: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/24.jpg)
An L∞-algebra is a chain complex
L0d← L1
d← · · · d← Lnd← · · ·
equipped with the structure of a Lie algebra ‘up to coherentchain homotopy’.
So, L has:
a map d : L→ L of grade -1 with d 2 = 0
a graded-antisymmetric map [−,−] : L⊗2 → L of grade 0,obeying the Jacobi identity up to d of...
![Page 25: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/25.jpg)
An L∞-algebra is a chain complex
L0d← L1
d← · · · d← Lnd← · · ·
equipped with the structure of a Lie algebra ‘up to coherentchain homotopy’.
So, L has:
a map d : L→ L of grade -1 with d 2 = 0
a graded-antisymmetric map [−,−] : L⊗2 → L of grade 0,obeying the Jacobi identity up to d of...
a graded-antisymmetric map [−,−,−] : L⊗3 → L of grade1, obeying its own identity up to d of...
![Page 26: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/26.jpg)
An L∞-algebra is a chain complex
L0d← L1
d← · · · d← Lnd← · · ·
equipped with the structure of a Lie algebra ‘up to coherentchain homotopy’.
So, L has:
a map d : L→ L of grade -1 with d 2 = 0
a graded-antisymmetric map [−,−] : L⊗2 → L of grade 0,obeying the Jacobi identity up to d of...
a graded-antisymmetric map [−,−,−] : L⊗3 → L of grade1, obeying its own identity up to d of...
etc...
![Page 27: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/27.jpg)
Sati, Schreiber and Stasheff have a theory of connectionswhere L∞-algebras replace Lie algebras.
![Page 28: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/28.jpg)
Sati, Schreiber and Stasheff have a theory of connectionswhere L∞-algebras replace Lie algebras.
Given an L∞-algebra
L0d← L1
d← · · · d← Lnd← · · ·
such a connection can be described locally using:
![Page 29: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/29.jpg)
Sati, Schreiber and Stasheff have a theory of connectionswhere L∞-algebras replace Lie algebras.
Given an L∞-algebra
L0d← L1
d← · · · d← Lnd← · · ·
such a connection can be described locally using:
an L0-valued 1-form A
![Page 30: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/30.jpg)
Sati, Schreiber and Stasheff have a theory of connectionswhere L∞-algebras replace Lie algebras.
Given an L∞-algebra
L0d← L1
d← · · · d← Lnd← · · ·
such a connection can be described locally using:
an L0-valued 1-form A
an L1-valued 2-form B
![Page 31: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/31.jpg)
Sati, Schreiber and Stasheff have a theory of connectionswhere L∞-algebras replace Lie algebras.
Given an L∞-algebra
L0d← L1
d← · · · d← Lnd← · · ·
such a connection can be described locally using:
an L0-valued 1-form A
an L1-valued 2-form B
an L2-valued 3-form C
etc...
![Page 32: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/32.jpg)
We can just as easily consider L∞-superalgebras: now eachterm is Z2-graded, and we introduce extra signs.
![Page 33: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/33.jpg)
We can just as easily consider L∞-superalgebras: now eachterm is Z2-graded, and we introduce extra signs.
To build a Lie n-supergroup, we need a L∞-superalgebra withjust (n + 1) nonzero terms:
L0d← L1
d← · · · d← Lnd← 0 d← 0 d← · · ·
This is called a Lie n-superalgebra.
![Page 34: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/34.jpg)
We can just as easily consider L∞-superalgebras: now eachterm is Z2-graded, and we introduce extra signs.
To build a Lie n-supergroup, we need a L∞-superalgebra withjust (n + 1) nonzero terms:
L0d← L1
d← · · · d← Lnd← 0 d← 0 d← · · ·
This is called a Lie n-superalgebra.
Which Lie 2-superalgebras, if any, are relevant to superstrings?
![Page 35: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/35.jpg)
One clue comes from the ‘background fields’ in superstringtheory. Locally they can be described by:
![Page 36: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/36.jpg)
One clue comes from the ‘background fields’ in superstringtheory. Locally they can be described by:
a 1-form A valued in the ‘Poincaré Lie superalgebra’siso(T )
![Page 37: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/37.jpg)
One clue comes from the ‘background fields’ in superstringtheory. Locally they can be described by:
a 1-form A valued in the ‘Poincaré Lie superalgebra’siso(T )
a 2-form B valued in R
![Page 38: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/38.jpg)
One clue comes from the ‘background fields’ in superstringtheory. Locally they can be described by:
a 1-form A valued in the ‘Poincaré Lie superalgebra’siso(T )
a 2-form B valued in R
So, we want a Lie 2-superalgebra with
L0 = siso(T ) and L1 = R
![Page 39: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/39.jpg)
One clue comes from the ‘background fields’ in superstringtheory. Locally they can be described by:
a 1-form A valued in the ‘Poincaré Lie superalgebra’siso(T )
a 2-form B valued in R
So, we want a Lie 2-superalgebra with
L0 = siso(T ) and L1 = R
(Don’t worry, soon I’ll tell you what siso(T ) actually is!)
![Page 40: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/40.jpg)
Another clue: classically, we can only write down a Lagrangianfor superstrings when spacetime has dimension 3, 4, 6, or 10.
![Page 41: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/41.jpg)
Another clue: classically, we can only write down a Lagrangianfor superstrings when spacetime has dimension 3, 4, 6, or 10.
The reason: a certain identity involving spinors holds only inthese dimensions.
![Page 42: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/42.jpg)
Another clue: classically, we can only write down a Lagrangianfor superstrings when spacetime has dimension 3, 4, 6, or 10.
The reason: a certain identity involving spinors holds only inthese dimensions.
In fact, this identity is the equation that a certain bracket
[−,−,−] : L⊗30 → L1
must obey to give a Lie 2-superalgebra!
![Page 43: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/43.jpg)
Another clue: classically, we can only write down a Lagrangianfor superstrings when spacetime has dimension 3, 4, 6, or 10.
The reason: a certain identity involving spinors holds only inthese dimensions.
In fact, this identity is the equation that a certain bracket
[−,−,−] : L⊗30 → L1
must obey to give a Lie 2-superalgebra!
Let’s see how it works in detail.
![Page 44: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/44.jpg)
If V is a finite-dimensional real vector space with a quadraticform Q, the Clifford algebra Cliff(V ) is the real associativealgebra generated by V with relations
v2 = −Q(v)
This algebra is Z2-graded.
![Page 45: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/45.jpg)
If V is a finite-dimensional real vector space with a quadraticform Q, the Clifford algebra Cliff(V ) is the real associativealgebra generated by V with relations
v2 = −Q(v)
This algebra is Z2-graded.
The double cover of SO(V ), the spin group Spin(V ), sits insidethe even part Cliff0(V ).
![Page 46: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/46.jpg)
If V is a finite-dimensional real vector space with a quadraticform Q, the Clifford algebra Cliff(V ) is the real associativealgebra generated by V with relations
v2 = −Q(v)
This algebra is Z2-graded.
The double cover of SO(V ), the spin group Spin(V ), sits insidethe even part Cliff0(V ).
Cliff0(V ) is either a sum of two matrix algebras, or just one.
![Page 47: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/47.jpg)
If V is a finite-dimensional real vector space with a quadraticform Q, the Clifford algebra Cliff(V ) is the real associativealgebra generated by V with relations
v2 = −Q(v)
This algebra is Z2-graded.
The double cover of SO(V ), the spin group Spin(V ), sits insidethe even part Cliff0(V ).
Cliff0(V ) is either a sum of two matrix algebras, or just one.
This fact lets us define either two real representations ofSpin(V ), say S+ and S−, or one, say S.
![Page 48: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/48.jpg)
If V is a finite-dimensional real vector space with a quadraticform Q, the Clifford algebra Cliff(V ) is the real associativealgebra generated by V with relations
v2 = −Q(v)
This algebra is Z2-graded.
The double cover of SO(V ), the spin group Spin(V ), sits insidethe even part Cliff0(V ).
Cliff0(V ) is either a sum of two matrix algebras, or just one.
This fact lets us define either two real representations ofSpin(V ), say S+ and S−, or one, say S.
In the first case S+ � S−. In the second, set S+ = S− = S.In either case, let’s call S+ and S− left- and right-handedspinors.
![Page 49: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/49.jpg)
Cliff0(V ) acts on S+ and S−. But the whole Clifford algebraacts on S+ ⊕ S−, with odd elements interchanging the twoparts. So, we can ‘multiply’ a spinor by a vector and get aspinor of the other handedness:
· : V ⊗ S+ → S− · : V ⊗ S− → S+
![Page 50: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/50.jpg)
Cliff0(V ) acts on S+ and S−. But the whole Clifford algebraacts on S+ ⊕ S−, with odd elements interchanging the twoparts. So, we can ‘multiply’ a spinor by a vector and get aspinor of the other handedness:
· : V ⊗ S+ → S− · : V ⊗ S− → S+
When V , S+ and S− have the same dimension, we can identifythem all and use either of these multiplications to obtain analgebra.
![Page 51: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/51.jpg)
Cliff0(V ) acts on S+ and S−. But the whole Clifford algebraacts on S+ ⊕ S−, with odd elements interchanging the twoparts. So, we can ‘multiply’ a spinor by a vector and get aspinor of the other handedness:
· : V ⊗ S+ → S− · : V ⊗ S− → S+
When V , S+ and S− have the same dimension, we can identifythem all and use either of these multiplications to obtain analgebra.
When Q is positive definite, this turns out to be a normeddivision algebra.
![Page 52: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/52.jpg)
Cliff0(V ) acts on S+ and S−. But the whole Clifford algebraacts on S+ ⊕ S−, with odd elements interchanging the twoparts. So, we can ‘multiply’ a spinor by a vector and get aspinor of the other handedness:
· : V ⊗ S+ → S− · : V ⊗ S− → S+
When V , S+ and S− have the same dimension, we can identifythem all and use either of these multiplications to obtain analgebra.
When Q is positive definite, this turns out to be a normeddivision algebra.
Even better, any normed division algebra must arise this way!
![Page 53: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/53.jpg)
Cliff0(V ) acts on S+ and S−. But the whole Clifford algebraacts on S+ ⊕ S−, with odd elements interchanging the twoparts. So, we can ‘multiply’ a spinor by a vector and get aspinor of the other handedness:
· : V ⊗ S+ → S− · : V ⊗ S− → S+
When V , S+ and S− have the same dimension, we can identifythem all and use either of these multiplications to obtain analgebra.
When Q is positive definite, this turns out to be a normeddivision algebra.
Even better, any normed division algebra must arise this way!
So, let’s see when dim(V ) = dim(S+) = dim(S−).
![Page 54: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/54.jpg)
![Page 55: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/55.jpg)
V S± normed division algebra?R1 R YES: RR2 C YES: CR3 H NOR4 H YES: HR5 H2 NOR6 C2 NOR7 R8 NOR8 R8 YES: O
![Page 56: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/56.jpg)
V S± normed division algebra?R1 R YES: RR2 C YES: CR3 H NOR4 H YES: HR5 H2 NOR6 C2 NOR7 R8 NOR8 R8 YES: O
Increasing k by 8 multiplies dim(S±) by 16, so these are theonly normed division algebras!
![Page 57: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/57.jpg)
So: Euclidean space becomes a normed division algebra Konly in dimensions 1, 2, 4 and 8.
![Page 58: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/58.jpg)
So: Euclidean space becomes a normed division algebra Konly in dimensions 1, 2, 4 and 8.
Now consider Minkowski spacetime of dimensions 3, 4, 6 and10. Again, vectors and spinors have a nice description in termsof K.
![Page 59: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/59.jpg)
So: Euclidean space becomes a normed division algebra Konly in dimensions 1, 2, 4 and 8.
Now consider Minkowski spacetime of dimensions 3, 4, 6 and10. Again, vectors and spinors have a nice description in termsof K.
Now vectors V are the 2× 2 Hermitian matrices with entries inK:
V =
{(t + x y
y t − x
): t , x ∈ R, y ∈ K
}.
Now our quadratic form Q comes from the determinant:
det(
t + x yy t − x
)= t2 − x2 − |y |2
![Page 60: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/60.jpg)
Now the right-handed spinors S+ are K2, and the ‘multiplication’of vectors and these spinors is just matrix multiplication.
![Page 61: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/61.jpg)
Now the right-handed spinors S+ are K2, and the ‘multiplication’of vectors and these spinors is just matrix multiplication.
As reps of Spin(V ) we have
V ∗ ∼= V S∗+ = S−
so we can take the multiplication
· : V ⊗ S+ → S−
and use duality to get a ‘bracket’
[−,−] : S+ ⊗ S+ → V
![Page 62: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/62.jpg)
Now the right-handed spinors S+ are K2, and the ‘multiplication’of vectors and these spinors is just matrix multiplication.
As reps of Spin(V ) we have
V ∗ ∼= V S∗+ = S−
so we can take the multiplication
· : V ⊗ S+ → S−
and use duality to get a ‘bracket’
[−,−] : S+ ⊗ S+ → V
Concretely:[ψ, φ] = ψφ† + φψ†
It’s symmetric!
![Page 63: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/63.jpg)
So, we can define the translation Lie superalgebra
T = V ⊕ S+
with V as its even part and S+ as its odd part. We define thebracket to be zero except for [−,−] : S+ ⊗ S+ → V . The Jacobiidentity holds trivially.
![Page 64: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/64.jpg)
So, we can define the translation Lie superalgebra
T = V ⊕ S+
with V as its even part and S+ as its odd part. We define thebracket to be zero except for [−,−] : S+ ⊗ S+ → V . The Jacobiidentity holds trivially.
Spin(V ) acts on everything, and its Lie algebra is so(V ), so wecan form the semidirect product
siso(T ) = so(V )n T
which is called the Poincaré Lie superalgebra.
![Page 65: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/65.jpg)
So, we can define the translation Lie superalgebra
T = V ⊕ S+
with V as its even part and S+ as its odd part. We define thebracket to be zero except for [−,−] : S+ ⊗ S+ → V . The Jacobiidentity holds trivially.
Spin(V ) acts on everything, and its Lie algebra is so(V ), so wecan form the semidirect product
siso(T ) = so(V )n T
which is called the Poincaré Lie superalgebra.
The corresponding Lie supergroup acts as symmetries of‘Minkowski superspace’.
![Page 66: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/66.jpg)
We get a Poincaré Lie superalgebra whenever we have aninvariant symmetric bracket that takes two spinors and gives avector. What’s so special about the dimensions 3, 4, 6 and 10?
![Page 67: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/67.jpg)
We get a Poincaré Lie superalgebra whenever we have aninvariant symmetric bracket that takes two spinors and gives avector. What’s so special about the dimensions 3, 4, 6 and 10?
In these dimensions the multiplication
· : V ⊗ S+ → S−
and bracket[−,−] : S+ ⊗ S+ → V
obey the identity[ψ,ψ] · ψ = 0
Sudbery, Chung, Manogue, Dray, Janesky, Schray, et al provedthis with a calculation using K-valued matrices.
![Page 68: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/68.jpg)
We get a Poincaré Lie superalgebra whenever we have aninvariant symmetric bracket that takes two spinors and gives avector. What’s so special about the dimensions 3, 4, 6 and 10?
In these dimensions the multiplication
· : V ⊗ S+ → S−
and bracket[−,−] : S+ ⊗ S+ → V
obey the identity[ψ,ψ] · ψ = 0
Sudbery, Chung, Manogue, Dray, Janesky, Schray, et al provedthis with a calculation using K-valued matrices.
In fact, only for Minkowski spacetimes of dimension 3, 4, 6, and10 does this identity hold!
![Page 69: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/69.jpg)
The identity [ψ,ψ] · ψ = 0 lets us extend the Poincaré Liesuperalgebra siso(T ) to a Lie 2-superalgebra
siso(T )d← R
![Page 70: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/70.jpg)
The identity [ψ,ψ] · ψ = 0 lets us extend the Poincaré Liesuperalgebra siso(T ) to a Lie 2-superalgebra
siso(T )d← R
The idea:
![Page 71: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/71.jpg)
The identity [ψ,ψ] · ψ = 0 lets us extend the Poincaré Liesuperalgebra siso(T ) to a Lie 2-superalgebra
siso(T )d← R
The idea:
d is zero
![Page 72: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/72.jpg)
The identity [ψ,ψ] · ψ = 0 lets us extend the Poincaré Liesuperalgebra siso(T ) to a Lie 2-superalgebra
siso(T )d← R
The idea:
d is zero
[−,−] is zero except for the bracket in siso(T )
![Page 73: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/73.jpg)
The identity [ψ,ψ] · ψ = 0 lets us extend the Poincaré Liesuperalgebra siso(T ) to a Lie 2-superalgebra
siso(T )d← R
The idea:
d is zero
[−,−] is zero except for the bracket in siso(T )
[−,−,−] is zero unless two arguments are spinors and oneis a vector in siso(T ), and
[ψ, φ, v ] = g([ψ, φ], v) ∈ R
where ψ, φ ∈ S+, v ∈ V , and g : V ⊗ V → R is theMinkowski metric: the bilinear form corresponding to Q.
![Page 74: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/74.jpg)
To get a Lie 2-superalgebra this way, the ternary bracket mustobey an equation. This says that
[−,−,−] : siso(T )⊗3 → R
is a 3-cocycle in Lie superalgebra cohomology.
![Page 75: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/75.jpg)
To get a Lie 2-superalgebra this way, the ternary bracket mustobey an equation. This says that
[−,−,−] : siso(T )⊗3 → R
is a 3-cocycle in Lie superalgebra cohomology.
The equation[ψ,ψ] · ψ = 0
is this cocycle condition in disguise.
![Page 76: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/76.jpg)
Let us call the resulting Lie 2-superalgebra superstring(T ).
![Page 77: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/77.jpg)
Let us call the resulting Lie 2-superalgebra superstring(T ).
Theorem (John Huerta)There is a 2-group in the category of supermanifolds,Superstring(T ), whose Lie 2-superalgebra is superstring(T ).
![Page 78: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/78.jpg)
Let us call the resulting Lie 2-superalgebra superstring(T ).
Theorem (John Huerta)There is a 2-group in the category of supermanifolds,Superstring(T ), whose Lie 2-superalgebra is superstring(T ).
This theorem takes real work to prove. Not every Lie2-superalgebra has a corresponding ‘Lie 2-supergroup’ in sucha simple-minded sense! There are important finite-dimensionalLie 2-algebras that don’t come from 2-groups in the category ofmanifolds—instead, they come from ‘stacky’ Lie 2-groups.
![Page 79: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/79.jpg)
He also went further:
Theorem (Huerta)In Minkowski spacetimes of dimensions 4, 5, 7 and 11, we canuse division algebras to construct a 4-cocycle on the PoincaréLie superalgebra.
![Page 80: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/80.jpg)
He also went further:
Theorem (Huerta)In Minkowski spacetimes of dimensions 4, 5, 7 and 11, we canuse division algebras to construct a 4-cocycle on the PoincaréLie superalgebra.
This gives a Lie 3-superalgebra
siso(T )← 0← R
called 2-brane(T ).
![Page 81: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/81.jpg)
He also went further:
Theorem (Huerta)In Minkowski spacetimes of dimensions 4, 5, 7 and 11, we canuse division algebras to construct a 4-cocycle on the PoincaréLie superalgebra.
This gives a Lie 3-superalgebra
siso(T )← 0← R
called 2-brane(T ).
Moreover, there is a 3-group in the category of supermanifolds,2-Brane(T ), whose Lie 3-superalgebra is 2-brane(T ).
![Page 82: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/82.jpg)
2-Brane(T ) is relevant to the theory of supersymmetric 2-branesin dimension 4, 5, 7 and 11. And so, the octonionic case isrelevant to M-theory (whatever that is).
![Page 83: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/83.jpg)
2-Brane(T ) is relevant to the theory of supersymmetric 2-branesin dimension 4, 5, 7 and 11. And so, the octonionic case isrelevant to M-theory (whatever that is).
Summary: For theories that include gravity and describe theparallel transport of extended objects, we want Lie n-groupsextending the Lorentz or Poincaré group.
![Page 84: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/84.jpg)
2-Brane(T ) is relevant to the theory of supersymmetric 2-branesin dimension 4, 5, 7 and 11. And so, the octonionic case isrelevant to M-theory (whatever that is).
Summary: For theories that include gravity and describe theparallel transport of extended objects, we want Lie n-groupsextending the Lorentz or Poincaré group. Lie n-supergroupsextending the Poincaré supergroup only exist in specialdimensions, thanks to special properties of the normed divisionalgebras. In 10 and 11 dimensions, the octonions play a crucialrole.
![Page 85: Higher Gauge Theory, Division Algebras and Superstrings · For higher gauge theory, we really want ‘Lie 2-groups’. By now there is an extensive theory of these. One example is](https://reader033.fdocuments.net/reader033/viewer/2022053010/5f0d614d7e708231d43a10bd/html5/thumbnails/85.jpg)
2-Brane(T ) is relevant to the theory of supersymmetric 2-branesin dimension 4, 5, 7 and 11. And so, the octonionic case isrelevant to M-theory (whatever that is).
Summary: For theories that include gravity and describe theparallel transport of extended objects, we want Lie n-groupsextending the Lorentz or Poincaré group. Lie n-supergroupsextending the Poincaré supergroup only exist in specialdimensions, thanks to special properties of the normed divisionalgebras. In 10 and 11 dimensions, the octonions play a crucialrole.
For more see:
John Huerta, Division Algebras, Supersymmetryand Higher Gauge Theory, athttp://math.ucr.ed/home/baez/susy/