Real ADE-Equivariant (co)Homotopy and Super M-Branes

John Huerta; Hisham Sati; Urs Schreiber

doi:10.1007/s00220-019-03442-3

Communications in Mathematical Physics

October 2019, Volume 371, Issue 2, pp 425–524 | Cite as

Real ADE-Equivariant (co)Homotopy and Super M-Branes

Authors
Authors and affiliations

John Huerta
Hisham Sati
Urs Schreiber

Article

First Online: 16 May 2019

29 Shares
153 Downloads

Abstract

A key open problem in M-theory is the identification of the degrees of freedom that are expected to be hidden at ADE-singularities in spacetime. Comparison with the classification of D-branes by K-theory suggests that the answer must come from the right choice of generalized cohomology theory for M-branes. Here we show that real equivariant Cohomotopy on superspaces is a consistent such choice, at least rationally. After explaining this new approach, we demonstrate how to use Elmendorf’s Theorem in equivariant homotopy theory to reveal ADE-singularities as part of the data of equivariant $S^{4}$-valued super-cocycles on 11d super-spacetime. We classify these super-cocycles and find a detailed black brane scan that enhances the entries of the old brane scan to cascades of fundamental brane super-cocycles on strata of intersecting black M-brane species. We find that on each singular stratum the black brane’s instanton contribution, namely its super Nambu–Goto/Green–Schwarz action, appears as the homotopy datum associated to the morphisms in the orbit category.

This is a preview of subscription content, to check access.

Notes

Acknowledgements

We thank Vincent Braunack-Mayer, David Corfield, Mike Duff, David Roberts, and Christian Saemann for useful comments. We thank the anonymous referee for careful reading and useful suggestions.

Mathematics Background and Conventions

For ease of reference, here we collect some standard background material that we use in the main text: on Spacetime and Spin in Sect. A.1 and on Homotopy and Cohomology in Sect. A.2.

Spacetime and spin

For reference and to fix some essential conventions, we briefly recall some details on real Spin representations in Lorentzian signature.

Definition A.1

(Spin geometry of Minkowski spacetime). For $p \in \mathbb {N}$ we write $\mathbb {R}^{p,1}$ for the corresponding Minkowski spacetime. The underlying real vector space is $\mathbb {R}^{p+1}$.

(i): With its canonical coordinate functions labeled as $(x^0, x^1, \ldots , x^p)$, the inner product (Minkowski metric) is taken with the mostly plus signature: for two vectors u and v in $\mathbb R^{p,1}$, we have
$$\begin{aligned} \eta (u,v) = -u^0 v^0 + u^1 v^1 + \cdots + u^p v^p \,. \end{aligned}$$

(68)
(ii): We write
$$\begin{aligned} \mathrm{C}\ell (p,1) \;:=\; \mathbb R\langle \varvec{\Gamma }_0, \varvec{\Gamma }_1, \ldots , \varvec{\Gamma }_p \rangle / \left( \varvec{\Gamma }_a \cdot \varvec{\Gamma }_b + \varvec{\Gamma }_b \cdot \varvec{\Gamma }_a = + 2 \eta _{a,b}\right) \end{aligned}$$

(69)
for the Clifford algebra of $\mathbb R^{p,1}$. This is the quotient of the free real associative algebra on $p+1$ generators $\varvec{\Gamma }_a$ by the Clifford relation, which says that their anticommutator is twice the corresponding entry in the Minkowski metric. We write
$$\begin{aligned} \varvec{\Gamma }_{a_1 \cdots a_q} \;:=\; \tfrac{1}{q!} \underset{\sigma \in \Sigma _q}{\sum } (-1)^{{\vert \sigma \vert }} \varvec{\Gamma }_{a_{\sigma (1)}} \cdot \varvec{\Gamma }_{a_{\sigma (2)}} \cdots \cdot \varvec{\Gamma }_{a_{\sigma (q)}} \end{aligned}$$

(70)
for the skew-symmetrized products of the Clifford generators.
(iii): Recall the various groups acting on Minkowski spacetime:

the Lorentz group$\mathrm{O}(p,1) \hookrightarrow \mathrm {GL}(p+1)$ is the subgroup of linear transformations that preserve the Minkowski metric (68);
the orthochronous Lorentz group$\mathrm{O}^+(p,1) \hookrightarrow \mathrm{O}(p,1)$ is the subgroup of transformations that preserve time-orientation;
the Pin group$\mathrm{Pin}(p,1) \rightarrow \mathrm{O}(p,1)$ is the double cover of the Lorentz group given by the standard Clifford algebraic construction: the group $\mathrm{Pin}(p,1)$ is the subgroup of invertible elements of the Clifford algebra generated by unit vectors in $\mathbb R^{p,1}$:
$$\begin{aligned} \mathrm{Pin}(p,1) : = \langle u \in \mathbb R^{p,1} \, : \, \eta (u,u) = \pm 1 \rangle \subseteq \mathrm{C}\ell (p,1) . \end{aligned}$$
A unit vector $u \in \mathrm{Pin}(p,1)$ maps to the reflection in $\mathrm{O}(p,1)$ through the hyperplane orthogonal to u, and this map on generators extends to a homomorphism $\mathrm{Pin}(p,1) \rightarrow \mathrm{O}(p,1)$. It is well known that this homomorphism is a double cover.
the orthochronous Pin group$\mathrm{Pin}^+(p,1) \rightarrow \mathrm{O}^+(p,1)$ is subgroup of $\mathrm{Pin}(p,1)$ that double covers the orthochronous Lorentz group $\mathrm{O}^+(p,1)$.
the Spin group$\mathrm{Spin}(p,1) \rightarrow \mathrm{SO}^+(p,1)$ is the subgroup of $\mathrm{Pin}(p,1)$ that double covers the connected Lorentz group $\mathrm{SO}^+(p,1)$. In terms of the Clifford algebra, it is the subgroup of invertible elements generated by products of pairs of unit vectors with the same sign:
$$\begin{aligned} \mathrm{Spin}(p,1) = \langle uv \in \mathrm{C}\ell (p,1) : u,v \in \mathbb R^{p,1} \text{ and } \eta (u,u) = \eta (v,v) = \pm 1 \rangle . \end{aligned}$$
The Lie group $\mathrm{Spin}(p,1)$ is connected and simply-connected.
The Lie algebra of the Spin group is the Lie subalgebra of the Clifford algebra on commutators of vectors:
$$\begin{aligned} \mathrm{Lie}(\mathrm{Spin}(p,1)) \simeq \{ [u,v] \in \mathrm{C}\ell (p,1) : u,v \in \mathbb R^{p,1} \} . \end{aligned}$$
Note that this subspace is actually a Lie subalgebra with respect to the commutator in $\mathrm{C}\ell (p,1)$. The double cover map $\mathrm{Spin}(p,1) \rightarrow \mathrm{SO}^+(p,1)$ induces an isomorphism of Lie algebras
$$\begin{aligned} \mathrm{Lie}(\mathrm{Spin}(p,1) \simeq \mathfrak {so}(p,1) \end{aligned}$$
with the Lorentz Lie algebra $\mathfrak {so}(p,1)$ of the connected Lorentz group $\mathrm{SO}^+(p,1)$.

Note that because the Spin group $\mathrm{Spin}(p,1)$ is connected and simply-connected, we can describe a representation in two ways:

1.: We can give the action of the generators $uv \in \mathrm{Spin}(p,1)$ on a vector space, where u and v are unit vectors of the same sign.
2.: We can give the action of the Lie algebra $\mathfrak {so}(p,1)$ on a vector space, and exponentiate to get the action of the Lie group $\mathrm{Spin}(p,1)$. In particular, it suffices to give the action of a basis of the Lie algebra $\{ [u,v] \in \mathrm{C}\ell (p,1) : u,v \in \mathbb R^{p,1} \}$. A natural choice is the basis given by skew-symmetrized products of two gamma matrices, $\{ \Gamma _{ab} \}$.

Remark A.2

(Technology for real Spin representations). There are two alternative ways of constructing and handling the real Spin representations that appear in the super-Minkowski spacetimes in Definition 3.36:

One may carve out real Spin representations from complex Dirac or Weyl representations by imposing a reality condition, called the Majorana condition. This is the standard method used in the physics literature. A textbook reference for standard conventions is [CDF91, Sec. II.7], while a conceptual account is in [FF]. We recall this as Proposition A.3 below; this serves for comparing the results in Sects. 4, 5, and 6 to the bulk of the string theory literature.
Alternatively, one may use the real normed division algebras and matrices over them. The most famous example of this is identifying 4-dimensional spacetime, $\mathbb R^{3,1}$, with the $2 \times 2$ complex hermitian matrices, and generating the Weyl representations of $\mathrm{Spin}(3,1)$ on $\mathbb {C}^2$ from the action of these matrices. Yet this sort of construction continues to work for normed division algebras other than $\mathbb {C}$, and for spacetimes other than dimension 4. We recall this approach in Sect. A.1 below; this serves to streamline the proofs of the theorems in Sects. 4, 5, and 6.

Real Pin-representations via Majorana condition

Proposition A.3

(Real spinors via Majorana conditions on Dirac representations). Let

$$\begin{aligned} p + 1 \in \{2\nu , 2\nu +1\}, \;\;\; \nu \in \mathbb {N}, \;\;\; 2\nu \ge 4 \,. \end{aligned}$$

and let $N = 2^{\nu }$.

(i): Dirac representations (as in [CDF91, Sec. II.7.1]): There exist complex matrices
$$\begin{aligned} \Gamma _a \;\in \; \mathrm{End}_{\mathbb {C}}\left( \mathbb {C}^N \right) , a \in \{0,1, \ldots , p\} \end{aligned}$$
with the following properties:
$$\begin{aligned} \begin{array}{cl} \Gamma _a \Gamma _b + \Gamma _b \Gamma _a = - 2 \eta _{a b}\;, &{} \\ \left( \Gamma _0\right) ^2 = +1\;,\qquad \left( \Gamma _a\right) ^2 = -1 \,, &{} \\ (\Gamma _0)^{\dagger } = \Gamma _0\;,\qquad (\Gamma _a)^{\dagger } = - \Gamma _a\;, &{} \qquad \text{ for }\ a,b \in \{1,\ldots , p\}. \end{array} \end{aligned}$$

(71)
(ii): Charge conjugation matrices (as in [CDF91, Sec. II.7.2]): Moreover, there exist charge conjugation matrices
$$\begin{aligned} C_{(\pm )} \in \mathrm {End}_{\mathbb {C}}( \mathbb {C}^{N} ) \end{aligned}$$
with real entries $(C_{(\pm )})^{*} = C_{(\pm )}$ and related to the above $\Gamma $-matrices by $C_{(\pm )} \Gamma = \pm \Gamma _a^t C_{(\pm )}$ according to the following table:
$$\begin{aligned} \begin{array}{|c|c|c|} \hline p + 1 &{} C_{(+)} &{} C_{(-)}\\ \hline \hline 3+1 &{} *&{} *\\ \hline 4+1 &{} *&{}\\ \hline 5+1 &{} *&{} *\\ \hline 6+1 &{} &{} *\\ \hline 7+1 &{} *&{} *\\ \hline 8+1 &{} *&{}\\ \hline 9+1 &{} *&{} *\\ \hline 10+1 &{} &{} *\\ \hline \end{array} \end{aligned}$$

(72)
(iii): Majorana condition (as in [CDF91, Sec. II.7.3]): Given a Dirac spinor $\psi \in \mathbb {C}^{N}$ we say that its Dirac conjugate is
$$\begin{aligned} \overline{\psi } \;:=\; \psi ^{\dagger } \Gamma _0 \,. \end{aligned}$$

(73)
This $\psi $ is called a Majorana spinor if its Dirac conjugate equals its Majorana conjugate, which means
Open image in new window

(74)
(iv): Majorana Spin representations (see [FF]): The subspace of Majorana spinors inside $\mathbb {C}^{N}$
$$\begin{aligned} \mathbf {N} \subset \mathbb {C}^{N}. \end{aligned}$$
is preserved by multiplication by the $\Gamma _{a b}$. This set is a basis for $\mathfrak {so}(p,1)$ and this defines a real representation of $\mathrm{Spin}(p,1)$ on $\mathbf{N}$ with dimension $N = 2^{\nu }$. The Dirac conjugation (73) induces on $\mathbf{N}$ the following quadratic and $\mathrm {Spin}(p,1)$-equivariant spinor-to-vector pairing
Open image in new window

(75)
(v): Majorana Pin representations: For charge conjugation matrix $C_{(+)}$, the action of a single $\Gamma _a$ preserves the Majorana condition. But for $C_{(-)}$ it does not. For $C_{(-)}$ instead the product $i \Gamma _a$ preserves the Majorana condition. We will write
$$\begin{aligned} \varvec{\Gamma }_a := i {\Gamma }_a \,. \end{aligned}$$
Instead of the relations (71), the relations satisfied by these boldface gamma matrices are the following:
$$\begin{aligned} \begin{array}{cl} \varvec{\Gamma }_a \varvec{\Gamma }_b + \varvec{\Gamma }_b \varvec{\Gamma }_a = + 2\eta _{a b}\;, &{} \\ \left( \varvec{\Gamma }_0\right) ^2 = -1\;,\qquad \left( \varvec{\Gamma }_a\right) ^2 = +1\;, &{} \\ (\varvec{\Gamma }_0)^{\dagger } = - \varvec{\Gamma }_0\;,\qquad (\varvec{\Gamma }_a)^{\dagger } = + \varvec{\Gamma }_a\;, &{} \qquad \text{ for }\ a \in \{1,\ldots , p\}, \end{array} \end{aligned}$$

(76)
Since now, for $C_{(-)}$, the subspace of Majorana spinors inside $\mathbb {C}^{N}$ is preserved by the action of each $\varvec{\Gamma }_a$, equipped with this action it is a real representation of the Pin group (Remark A.2) $\mathbf {N} \subset \mathbb {C}^{N}$ of real dimension $N = 2^{\nu }$.

Example A.4

(Real Spin representations). The following are the irreducible real representations (up to isomorphism) of $\mathrm {Spin}(p,1)$ (Definition A.1) for values of p of relevance in the main text, obtainable via Proposition A.3:

Spacetime dimension $p + 1$	Supersymmetry $\mathbf {N}$
$10 + 1$	$\mathbf {32}$
$9 +1$	$\mathbf {16}$, $\overline{\mathbf {16}}$
$6 + 1$	$\mathbf {16}$
$5 + 1$	$\mathbf {8}$, $\overline{\mathbf {8}}$
$4 + 1$	$\mathbf {8}$
$3+1$	$\mathbf {4}$
$2+1$	$\mathbf {2}$
$1 + 1$	$\mathbf {1}$, $\overline{\mathbf {1}}$

We are particularly interested in the $\mathbf {32}$ of $\mathrm {Spin}(10,1)$. Notice that by (72) the charge conjugation matrix in $D = 10+1 $ is $C_{(-)}$ and hence the gamma matrices representing the $\mathrm {Pin}(10,1)$-action on $\mathbf {32}$ are those from (76).

Remark A.5

(Notation for Irrep decomposition – Number of supersymmetries). Given irreducible real spinor representations $\mathbf {N}$ or $\overline{\mathbf {N}}$ as in Example A.4, a general real spinor representation $\Delta $ is a direct sum of these. The multiplicities of the direct summands is traditionally denoted by $\mathcal {N}$ or $\mathcal {N}_{\pm } \in \mathbb {N}$:

$$\begin{aligned} \Delta \;=\; \mathcal {N} \cdot \mathbf {N} \text{ or } \Delta \;=\; \mathcal {N}_+ \cdot \mathbf {N} \,\oplus \, \mathcal {N}_- \cdot \overline{\mathbf {N}} \,. \end{aligned}$$

Hence if the irreducible representations are understood, any other representation may be denoted simply by

$$\begin{aligned} \mathcal {N} \text{ or } \left( \mathcal {N}_+, \mathcal {N}_-\right) \,. \end{aligned}$$

When these real spinor representations serve as constituents of super Minkowski spacetimes (Definition 3.36) one calls the natural numbers $\mathcal {N}$ or $\mathcal {N}_{\pm }$ the number of supersymmetries.

Spinor representations via normed division algebras

The observation that real $\mathrm {Spin}(p,1)$-representations for $p+1 \in \{3,4,5,6,7,10,11\}$ may be related to the real division algebras is due to [KuTo82]. A comprehensive account is given in [BH10, BH11]. Here we briefly recall the facts that we need.

Definition A.6

(Cayley–Dickson construction). Let A be a real star-algebra (unitual, but not necessarily commutative nor associative), with star involution denoted by $\overline{(-)}$. Then its Cayley–Dickson double$\mathrm {CD}(A)$ is the real star algebra obtained by adjoining a new generator $\ell $ subject to the following relations:

$$\begin{aligned} \ell ^2 = -1 \,, \text{ and }\,\, a (\ell b) = (a \overline{b}) \ell \,, (a \ell ) b = \ell (a \overline{b}) \,, (\ell a) (b \ell ^{-1}) = \overline{a b} \end{aligned}$$

(77)

for all $a, b \in A$. This implies that the underlying real vector space is

$$\begin{aligned} \mathrm {CD}(A) \simeq _{\mathbb {R}} A \oplus \ell A\,. \end{aligned}$$

Example A.7

(The four real normed division algebras). The first iterations of the Cayley–Dickson construction (Definition A.6) yield the real algebras of

1.: real numbers $\mathbb {R}$,
2.: complex numbers $\mathbb {C} \simeq \mathrm {CD}(\mathbb {R})$,
3.: quaternions $\mathbb {H} \simeq \mathrm {CD}(\mathbb {C})$,
4.: octonions $\mathbb {O} \simeq \mathrm {CD}(\mathbb {H})$.

These four algebras also happen to be precisely the finite-dimensional ‘normed division algebras’ over the real numbers. Recall that a normed division algebra ${\mathbb {K}}$ is a real algebra, not necessarily associative, with unit 1 and equipped with a norm $|\cdot |$ such that:

$$\begin{aligned} |xy| = |x||y| \text{ for } \text{ all } x, y \in {\mathbb {K}}. \end{aligned}$$

We say that an algebra equipped with such a norm is normed. Note that being normed immediately implies that ${\mathbb {K}}$ has no zero divisors, so ${\mathbb {K}}$ is indeed a division algebra.

Remarkably, there are only four normed division algebras: $\mathbb R$, $\mathbb {C}$, ${\mathbb {H}}$ and ${\mathbb {O}}$, constructed above. In the first step of this construction, going from $\mathbb {R}$ to $\mathbb {C}$, the adjoined generator $\ell $ is identified with the imaginary unit $i \in \mathbb {C}$. In the second step the adjoined generator is usually denoted j, leading to the imaginary quaternions subject to the relations

$$\begin{aligned} i j = k\,, \phantom {AA} j i = - k\;, \end{aligned}$$

and their cyclic permutations. When working with the octonions, we will exclusively use the Cayley–Dickson presentation, and hence in the main text $\ell $ always denotes a unit octonion orthogonal to i, j and $k := i j$. Notice simple but important relations implied by (77), such as $ \ell ^{-1} = - \ell $, which lead to manipulations such as

$$\begin{aligned} \overline{k} \ell = -k\ell = k \ell ^{-1}\,. \end{aligned}$$

(78)

Proposition A.8

(Basic properties of the quaternions). We collect some well-known facts about quaternions (Example A.7):

(i): The quaternions $\mathbb {H}$ are isomorphic to $\mathbb {R}^4$ as a normed vector space:
$$\begin{aligned} \mathbb {H} \simeq \mathbb {R}^4\;. \end{aligned}$$

(79)
(ii): A quaternion $q \in \mathbb {H}$ of unit norm $\vert q\vert = 1$ is also called a unit quaternion, for short. As a submanifold of $\mathbb {H}$, the space of unit quaternions is the 3-sphere
$$\begin{aligned} S(\mathbb {H}) \simeq S^3 \,. \end{aligned}$$
Quaternion multiplication turns $S({\mathbb {H}})$ into a Lie group. This group is isomorphic to $\mathrm {SU}(2)$:
$$\begin{aligned} S(\mathbb {H}) \simeq \mathrm {SU}(2) \,. \end{aligned}$$

(80)
(iii): Thanks to quaternion multiplication, the group $\mathrm{SU}(2)$ acts on $\mathbb {H}$ in two ways (Definition 3.7):
Open image in new window

(81)
These actions commute with each other because ${\mathbb {H}}$ is associative, and they preserve the norm because ${\mathbb {H}}$ is normed:
$$\begin{aligned} \vert q v\vert = \underset{=1}{\underbrace{{\vert q\vert }}} \, \vert v\vert ={\vert v\vert } \,, \end{aligned}$$
with a similar calculation for the right action. Finally, in either case $\mathrm{SU}(2)$ acts on ${\mathbb {H}}$ by orientation-preserving transformations, because $\mathrm{SU}(2)$ is connected. In summary, the two actions $\rho _{L,R}$ of $\mathrm {SU}(2)$ factor through the special orthogonal group in 4 dimensions:
Open image in new window

(82)
(iv): Because the actions $\rho _L$ and $\rho _R$ commute with each other, they define an action of $\mathrm{SU}(2) \times \mathrm{SU}(2)$ on ${\mathbb {H}}$. Restricting this to the diagonal $\mathrm{SU}(2)$ subgroup, we get an action of $\mathrm{SU}(2)$ on ${\mathbb {H}}$:
$$\begin{aligned} \mathrm{SU}(2) \times {\mathbb {H}}&\longrightarrow {\mathbb {H}}\;. \\ (q,v)&\mapsto qv\bar{q} \end{aligned}$$
This action is trivial on the real quaternions, and preserves the 3-dimensional subspace of imaginary quaternions. In fact, ${\mathbb {H}}$ decomposes into the irreducible representations:
$$\begin{aligned} {\mathbb {H}}\simeq \mathbb R\oplus \mathrm {Im}({\mathbb {H}}) . \end{aligned}$$
The action of $\mathrm{SU}(2)$ on the summand $\mathrm {Im}({\mathbb {H}})$ preserves the norm, and this induces the famous homomorphism
$$\begin{aligned} \mathrm{SU}(2) \rightarrow \mathrm{SO}(3) , \end{aligned}$$

(83)
a double cover of $\mathrm{SO}(3)$.

The finite subgroups of $\mathrm{SU}(2)$ are of particular interest in the main text:

Remark A.9

(The finite subgroups of $\mathrm {SU}(2)$ [Klein1884]). The finite subgroups of $\mathrm {SU}(2)$ are given, up to conjugacy, by the following classification (where $n \in \mathbb {N}$):

Label	Finite subgroup of $\mathrm {SU}(2)$	Name of group
$\mathbb {A}_{n}$	$\mathbb {Z}_{n+1}$	Cyclic
$\mathbb {D}_{n+4}$	$2\mathrm {D}_{n+2}$	Binary dihedral
$\mathbb {E}_{6}$	$2\mathrm {T}$	Binary tetrahedral
$\mathbb {E}_{7}$	$2\mathrm {O}$	Binary octahedral
$\mathbb {E}_{8}$	$2\mathrm {I}$	Binary icosahedral

The full proof for the case of finite subgroups of $\mathrm {SL}(2,\mathbb {C})$ is given in [MBD1916], recalled in detail in [Ser14, Sec. 2]. Full proof for the case of $\mathrm {SO}(3)$ is also spelled out in [Ree05, Theorem 11]; from this the proof for the case of $\mathrm {SU}(2)$ is spelled out in [Kee03, Theorem 4].

Definition A.10

(Hopf fibration). Let $\mathbb {K}$ be one of the four normed division algebras (Example A.7). Then the corresponding Hopf fibration is the map between unit spheres given by

Open image in new window

(84)

where S(V) denotes the unit sphere inside the normed vector space V. The image lies in $S(\mathbb R\oplus {\mathbb {K}})$ because the normed division algebra is normed.

Hence we have

The key statement for us is the following:

Proposition A.11

(Real Spin representations via real normed division algebras (see [BH10, BH11])). Let ${\mathbb {K}}\in \{\mathbb {R}, \mathbb {C}, \mathbb {H}, \mathbb {O}\}$ be one of the normed division algebras (Example A.7). Write $\mathfrak {h}_2({\mathbb {K}})$ for the real vector space of $2 \times 2$ hermitian matrices with coefficients in ${\mathbb {K}}$:

$$\begin{aligned} \mathfrak {h}_2({\mathbb {K}}) := \left\{ \begin{pmatrix} t + x &{} \overline{y} \\ y &{} t - x \end{pmatrix} : t,x \in \mathbb R, \, y \in {\mathbb {K}}\right\} . \end{aligned}$$

Let k denote the dimension of ${\mathbb {K}}$. Then:

Normed algebra	Hopf fibration
$\mathbb {R}$	$S^1 \quad \overset{\cdot 2}{\longrightarrow } \quad S^1$
$\mathbb {C}$	$S^3 \quad \longrightarrow \quad S^2$
$\mathbb {H}$	$S^7 \quad \longrightarrow \quad S^4$
$\mathbb {O}$	$S^{15} \quad \longrightarrow \quad S^8$

1.

There is an isomorphism of inner product spaces (“forming Pauli matrices over $\mathbb {K}$”)
$$\begin{aligned} \left( \mathfrak {h}_2({\mathbb {K}}), -\mathrm {det} \right) {\mathop {\longrightarrow }\limits ^{\simeq }} (\mathbb {R}^{k+1,1}, \eta ) \end{aligned}$$
identifying $\mathbb {R}^{k+1,1}$ equipped with its Minkowski inner product
$$\begin{aligned} \eta (A,B) := -A^0 B^0 + A^1 B^1 + \cdots + A^{k+1} B^{k+1}, \text{ for } A, B \in \mathbb R^{k+1,1} \end{aligned}$$
with the space of $2 \times 2$ hermitian matrices equipped with the negative of the determinant operation.
2.

Let $\mathbf{N}$ and $\overline{\mathbf{N}}$ both denote the vector space ${\mathbb {K}}^2$. Then $\mathbf{N} \oplus \overline{\mathbf{N}}$ is a module of the Clifford algebra $\mathrm{C}\ell (k+1,1)$, with the action of a vector in $A \in \mathbb R^{k+1,1}$ given by
$$\begin{aligned} \Gamma (A) (\psi , \phi ) = (\tilde{A}_L \phi , A_L \psi ) \end{aligned}$$
for any element $(\psi , \phi ) \in \mathbf{N} \oplus \overline{\mathbf{N}}$, where we are using the identification of vectors in $\mathbb R^{k+1,1}$ with $2 \times 2$ hermitian matrices. Here $\widetilde{(-)}$ is the operation $\widetilde{A} = A - \mathrm {tr}(A) 1$, and $(-)_L$ denotes the linear map given by left multiplication by a matrix.
3.

Realizing the Spin group $\mathrm{Spin}(k+1,1)$ inside the Clifford algebra $\mathrm{C}\ell (k+1,1)$ by the standard construction, this induces irreducible representations $\rho $ and $\overline{\rho }$ of $\mathrm{Spin}(k+1,1)$ on $\mathbf{N}$ and $\overline{\mathbf{N}}$, respectively. Explicitly, recall that $\mathrm{Spin}(k+1,1)$ is the subgroup of the Clifford algebra generated by products of pairs of unit vectors of the same sign:
$$\begin{aligned} \mathrm{Spin}(k+1, 1) = \langle AB \in \mathrm{C}\ell (k+1,1) \, : \, A, B \in \mathbb R^{k+1,1} \text{ and } \eta (A,A) = \eta (B,B) = \pm 1 \rangle . \end{aligned}$$
Then restricting the Clifford action to these elements, a generator AB of $\mathrm{Spin}(k+1,1)$ acts as
$$\begin{aligned} \rho (AB) = \tilde{A}_L B_L \text{ on } \mathbf{N} \end{aligned}$$
and as
$$\begin{aligned} \overline{\rho }(AB) = A_L \tilde{B}_L \text{ on } \overline{\mathbf{N}}, \end{aligned}$$
where again $\widetilde{(-)}$ is the operation $\widetilde{A} = A - \mathrm {tr}(A) 1$, and $(-)_L$ denotes the linear map given by left multiplication by a matrix.
4.

Moving up by one dimension, there is an isomorphism of inner product spaces
$$\begin{aligned} \left\{ \left( \begin{array}{cc} x^0 &{} \widetilde{A}\\ A &{} - x^0 \end{array}\right) \;:\; a \in \mathbb {R} \,, A \in \mathfrak {h}_2( \mathbb {K} ) \right\} \;\simeq \; \mathbb {R}^{k+2,1} \end{aligned}$$
between the subspace on the right of $4 \times 4$ matrices over ${\mathbb {K}}$, equipped with the inner product given by $-\mathrm {det}(A) + a^2$, and Minkowski spacetime $\mathbb R^{k+2,1}$.
5.

Let $\mathscr {N}$ denote the vector space ${\mathbb {K}}^4$. Then $\mathscr {N}$ is a module of the Clifford algebra $\mathrm{C}\ell (k+2,1)$ with the action of a vector $\mathcal {A} \in \mathbb R^{k+2,1}$ given by:
$$\begin{aligned} \Gamma (\mathcal {A}) \Psi = \mathcal {A}_L \Psi \end{aligned}$$
for any element $\Psi \in \mathscr {N}$. Here we are using the identification of vectors in $\mathbb R^{k+2,1}$ with a subspace of $4\times 4$ matrices over ${\mathbb {K}}$, and $(-)_L$ denotes the linear operator given by left multiplication by a matrix.
6.

Realizing the Spin group $\mathrm{Spin}(k+2,1)$ inside the Clifford algebra $\mathrm{C}\ell (k+2,1)$ by the standard construction, this induces an irreducible representation $\rho $ of $\mathrm{Spin}(k+2,1)$ on $\mathscr {N}$. Explicitly, recall that $\mathrm{Spin}(k+2,1)$ is the subgroup of the Clifford algebra generated by products of pairs of unit vectors of the same sign:
$$\begin{aligned} \mathrm{Spin}(k+2, 1) = \langle \mathcal {A}\mathcal {B}\in \mathrm{C}\ell (k+2,1) \, : \, \mathcal {A}, \mathcal {B}\in \mathbb R^{k+2,1} \text{ and } \eta (\mathcal {A},\mathcal {A}) = \eta (\mathcal {B},\mathcal {B}) = \pm 1 \rangle . \end{aligned}$$
Then restricting the Clifford action to these elements, a generator $\mathcal {A}\mathcal {B}$ of $\mathrm{Spin}(k+2,1)$ acts as
$$\begin{aligned} \rho (\mathcal {A}\mathcal {B}) = \mathcal {A}_L \mathcal {B}_L \text{ on } \mathscr {N} \end{aligned}$$
where again $(-)_L$ denotes the linear map given by left multiplication by a matrix.

7.

The representations $\mathbf{N}$, $\overline{\mathbf{N}}$ and $\mathscr {N}$ constructed above are the irreducible real spinor representations in the following table (and as in Example A.4):

Dimension $D = p + 1$	Real irreps of $\mathrm {Spin}(p,1)$	Clifford modules via real normed division algebra
		$\{\widetilde{\sigma }\sigma \}$		$\left\{ \left( \begin{array}{cc} 1 &{} 0 \\ 0 &{} -1 \end{array}\right) \;, \; \left\{ \left( \begin{array}{cc} 0 &{} \tilde{\sigma } \\ \sigma &{} 0 \end{array}\right) \right\} \right\} $		$\{\sigma \widetilde{\sigma }\}$
$10+1$	$\mathbf {32}$			$\mathbb {O}^4$
$9+1$	$\mathbf {16}$, $\overline{\mathbf {16}}$	$\mathbb {O}^2$				$\mathbb {O}^2$
$6+1$	$\mathbf {16}$			$\mathbb {H}^4$
$5+1$	$\mathbf {8}$, $\overline{\mathbf {8}}$	$\mathbb {H}^2$				$\mathbb {H}^2$
$4+1$	$\mathbf {8}$			$\mathbb {C}^4$
$3+1$	$\mathbf {4}$	$\mathbb {C}^2$	$\simeq $	$\mathbb {R}^4$	$\simeq $	$\mathbb {C}^2$
$2+1$	$\mathbf {2}$	$\mathbb {R}^2$		$\simeq $		$\mathbb {R}^2$

Here the symbol “$\simeq $” in the last two lines denotes isomorphism of real representations.

Example A.12

(The octonionic presentation of $\mathbf {32}$). We can identify the 32-dimensional vector space $\mathbf{32}$ with the space ${\mathbb {O}}^4$:

$$\begin{aligned} \mathbf {32} \simeq {\mathbb {O}}^4. \end{aligned}$$

Under this identification, the Clifford algebra $\mathrm {Cl}(10,1)$ (see (69)) acts on $\mathbf{32}$ by left multiplication by the following $4 \times 4$ matrices with entries in the octonions, written as $2 \times 2$ matrices with $2 \times 2$ blocks:

$$\begin{aligned} \varvec{\Gamma }^0 := \begin{pmatrix} 0 &{} -1 \\ 1 &{} 0 \end{pmatrix}, \quad \varvec{\Gamma }^1 := \begin{pmatrix} 0 &{} \tau \\ \tau &{} 0 \end{pmatrix}, \quad \varvec{\Gamma }^2 := \begin{pmatrix} 0 &{} \varepsilon \\ \varepsilon &{} 0 \end{pmatrix}, \quad \varvec{\Gamma }^{i+2} := \begin{pmatrix} 0 &{} Je_i \\ Je_i &{} 0 \end{pmatrix}, \quad \varvec{\Gamma }^{10} := \begin{pmatrix} 1 &{} 0 \\ 0 &{} -1 \end{pmatrix} . \end{aligned}$$

(85)

Here, besides the imaginary octonions $e_1, \ldots , e_7$, we have used the $2 \times 2$ real matrices:

$$\begin{aligned} \tau := \begin{pmatrix} 1 &{} 0 \\ 0 &{} -1 \end{pmatrix}, \quad \varepsilon := \begin{pmatrix} 0 &{} 1 \\ 1 &{} 0 \end{pmatrix}, \quad J := \begin{pmatrix} 0 &{} -1 \\ 1 &{} 0 \end{pmatrix} . \end{aligned}$$

Defining the tensor product of matrices A and B to be the matrix

$$\begin{aligned} A \otimes B = \begin{pmatrix} a_{11} B &{}\quad a_{12} B &{}\quad \cdots &{}\quad a_{1n} B \\ a_{21} B &{}\quad a_{22} B &{}\quad \cdots &{}\quad a_{2n} B \\ \vdots &{}\quad &{}\quad \ddots &{}\quad \vdots \\ a_{n1} B &{}\quad a_{n2} B &{}\quad \cdots &{}\quad a_{nn} B \\ \end{pmatrix}, \end{aligned}$$

we can rewrite the octonionic gamma matrices (85) as follows:

$$\begin{aligned} \varvec{\Gamma }^0 = J \otimes 1, \qquad \varvec{\Gamma }^1 = \varepsilon \otimes \tau , \qquad \varvec{\Gamma }^2 = \varepsilon \otimes \varepsilon , \qquad \varvec{\Gamma }^{i+2} = \varepsilon \otimes Je_i, \qquad \varvec{\Gamma }^{10} = \tau \otimes 1. \end{aligned}$$

(86)

Homotopy and cohomology

For reference, here we collect some basics of abstract homotopy theory and of the associated generalized cohomology theories.

Homotopy theory

We briefly recall some basics of homotopy theory, as well as some basic examples of relevance in the main text. For a self-contained introductory account of abstract homotopy theory see [Sch17b]. For minimal background on language of categories required, see [Sch17a, around Remark 3.3], and for a comprehensive reference see [Bor94]. For going deep and far into homotopy theory, see [Lu09-]. For exposition of the foundational role of homotopy theory see [Sh17].

Definition A.13

(Category with weak equivalences (e.g. [Sch17b, Def. 2.1])). A category with weak equivalences is a category $\mathcal {C}$ equipped with a choice of sub-class $W \subset \mathrm {Mor}(\mathcal {C})$ of its morphisms, called the weak equivalences, such that

1.

W contains all the identity morphisms;
2.

if $f,g \in W$ are composable with composite $g \circ f $, and if two elements in the set $\{f, g, g \circ f \}$ are weak equivalences, then also the third is.

A category with weak equivalences may also be called a homotopy theory.

Definition A.14

(Homotopy categories (e.g. [Sch17b, Def. 2.30])). Given a category with weak equivalences $(\mathcal {C},W)$ (Definition A.13), then its homotopy category is the category $\mathrm (Ho)( \mathcal {C}[W^{-1}] )$ equipped with a functor

$$\begin{aligned} \gamma :\mathcal {C} \longrightarrow \mathrm {Ho}\left( \mathcal {C}\left[ W^{-1}\right] \right) \,, \end{aligned}$$

(87)

called the localization functor, such that

1.

$\gamma $ sends weak equivalences to actual isomorphisms;
2.

$\left( \mathrm {Ho}\left( \mathcal {C}\left[ W^{-1}\right] \right) ), \gamma \right) $ is the universal solution with this property, in that if $F :\mathcal {C} \rightarrow \mathcal {D} $ is any other functor, to any other category, such that it sends the weak equivalences W to actual isomorphisms, then F actually factors through $\gamma $, up to natural isomorphism
Open image in new window
and this factorization is unique up to unique isomorphism.

The following are basic examples of homotopy theories.

Definition A.15

(Compactly generated topological spaces). By a topological space we will always mean a compactly generated topological space (e.g. [Sch17b, Def. 3.35]). We write “$\mathrm {Spaces}$” for the category whose objects are compactly generated topological spaces, and whose morphism are continuous functions. For X, Y two such topological spaces, the space

$$\begin{aligned} \mathrm {Maps}(X,Y) \in \mathrm {Spaces} \end{aligned}$$

(88)

of continuous functions between them is itself naturally a compactly generated topological space (e.g. [Sch17b, Def. 3.39]) satisfying the universal properties of a mapping space (e.g. [Sch17b, Def. 3.41]).

Definition A.16

(Classical homotopy theory (e.g. [Sch17b, Def. 3.11])). A continuous function $f :X \rightarrow Y$ between topological spaces (Definition A.15) is called a weak homotopy equivalence if it induce a bijection between connected components

Open image in new window

and, for every $n \in \mathbb {N}$, $n \ge 1$ and every base point $x \in X$, it induces an isomorphism between the nth homotopy groups

Open image in new window

The resulting homotopy category (Definition A.14)

$$\begin{aligned} \mathrm {Ho}\left( \mathrm {Spaces} \right) \;:=\; \mathrm {Ho}\big (\mathrm {Spaces}\big [ \left\{ \text{ weak } \text{ homotopy } \text{ equivalences }\right\} ^{-1} \big ]\big ) \end{aligned}$$

is also called the classical homotopy category.

Example A.17

(Based path spaces). For X any topological space (Definition A.15), equipped with a base point $x \in X$, write

$$\begin{aligned} P_x X \subset \mathrm {Maps}([0,1], X) \end{aligned}$$

for its based path space, the subspace of the space of continuous functions $\gamma :[0,1] \longrightarrow X$ from the interval to X which take $0 \in [0,1]$ to the base point $\gamma (0) = x$. There is then the endpoint evaluation map

Open image in new window

Moreover, there is the unique map to the point $P_x X \longrightarrow *$. This is a weak homotopy equivalence (Definition A.16). Observe that a continuous function $\widehat{f}$ into a based path space is equivalently a continuous function into X equipped with a homotopy (Definition 3.14) to the function that is constant on the base point:

Open image in new window

It turns out that the classical homotopy category is an extremely rich structure. In order to get a handle on these categories, one may filter them in various ways such as to study homotopy types in controlled approximations. A key instance of this is the rational approximation. We recall this as Proposition A.20 below.

Definition A.18

(Rational homotopy theory ([Qu69] e.g. [Hes06])).

(i): A continuous function $f :X \rightarrow Y$ between topological spaces (Definition A.15) is called a rational weak homotopy equivalences if it induces a bijection between connected components
Open image in new window
and for every $n \in \mathbb {N}$, $n \ge 1$ and every base point $x \in X^H$ they induce an isomorphism between the rationalized $n\hbox {th}$ homotopy groups
Open image in new window
(ii): The resulting homotopy category (Definition A.14)
$$\begin{aligned} \mathrm {Ho}\left( \mathrm {Spaces}_{\mathbb {R}} \right) \;:=\; \mathrm {Ho} \left( \mathrm {Spaces}\left[ \left\{ \text{ rational } \text{ weak } \text{ homotopy } \text{ equivalences } \right\} \right] \right) \end{aligned}$$
is also called the rational homotopy category.
(iii): We also consider the full subcategory
Open image in new window
on those spaces X which are

of finite rational type i.e. $H^1(X,\mathbb {Q})$ and $\pi _{k\ge 2}(X) \otimes \mathbb {Q}$ are finite-dimensional $\mathbb {Q}$-vector spaces for all $k \ge 2$;
nilpotent i.e. the fundamental group $\pi _1(X)$ is a nilpotent group and such that its action on the higher rational homotopy groups is nilpotent (i.e., making them nilpotent $\pi _1(X)$-modules).

The key point about rational homotopy theory (Definition A.18) is that it may be modeled by dg-algebraic means:

Definition A.19

(Rational DG-algebraic homotopy theory (e.g. [Hes06])).

(i): We write $\mathrm {dgcAlg}$ for the category whose objects are differential graded-commutative $\mathbb {R}$-algebras and whose morphisms are dg-algebra homomorphisms. A morphism $\phi :A_1 \rightarrow A_2$ is called a quasi-isomorphism if it induces isomorphisms on all cochain cohomology groups:
$$\begin{aligned} H^n(\phi ) :H^n(A_1) \overset{\simeq }{\longrightarrow } H^n( A_2 ) \,. \end{aligned}$$
(ii): We write the corresponding homotopy category (Definition A.14) as
$$\begin{aligned} \mathrm {Ho}\left( \mathrm {dgcAlg}^{\mathrm {op}} \right) \;:=\; \mathrm {Ho}\big ( \mathrm {dgcAlg}^{\mathrm {op}} \big [ \left\{ \text{ quasi-isomorphisms }\right\} ^{-1} \big ] \big ) \,. \end{aligned}$$
(iii): We also consider the full subcategory
Open image in new window
on those algebras A which are

of finite type in that they are equivalent to a DGC-algebra that is degreewise finitely generated;
connected in that the unit inclusion $\mathbb {Q} \rightarrow A$ induces an isomorphism $\mathbb {Q} \simeq H^0(A)$.

(iv): Finally we write¹⁶
$$\begin{aligned} \underset{S \in \mathrm {Set}}{\int } \mathrm {Ho}\big (\mathrm {dgcAlg}^{\mathrm {op}}_{\mathrm {fin}, \mathrm {cn}} \big )^S \end{aligned}$$

(89)
for the category whose objects are pairs consisting of a set S and an S-indexed tuple of objects of the homotopy category of connected finite-type dgc-algebras, and whose morphism are pairs consisting of a function between these sets and a tuple of homomorphisms between the corresponding dgc-algebras.

The following is the classical statement of rational homotopy theory:

Proposition A.20

(DG-model for rational homotopy theory ([Su77, BG76], see [Bra18, Thm 2.1.10])).

(i): There is an adjunction ([Bor94, Sec. 3])
Open image in new window
between the classical homotopy category of topological spaces (Definition A.16) and the opposite of the homotopy category of DGC-algebras (Definition A.19), where $\mathcal {O}$ denotes the derived functor of forming the DGC-algebra of polynomial differential forms of a topological space.
(ii): This adjunction restricts to an equivalence of categories ([Bor94, Sec. 1])
Open image in new window

(90)
between the rational homotopy category of connected nilpotent spaces of finite type (Definition A.18) and the homotopy category of connected DGC-algebras of finite type (Definition A.19).
(iii): Dropping the connectedness assumption on the left, this extends to an equivalence
Open image in new window

(91)
with the category (89) on the right.

Example A.21

(Minimal DGC-algebra model for the n-spheres). Under the equivalence A.20 the minimal DGC-algebra models of the n-spheres are, up to isomorphism as follows:

(i): The minimal dgc-algebra model for the 0-sphere consists of two copies of the plain algebra of real numbers:
$$\begin{aligned} \mathcal {O}(S^0) \;=\; \mathrm {CE}(\mathfrak {l}(S^0)) := \{\mathbb {R}, \mathbb {R}\} \,. \end{aligned}$$

(92)
(ii): The minimal dgc-algebra model for the odd-dimensional spheres $S^{2n+1}$ are
$$\begin{aligned} \mathcal {O}(S^{2n+1}) \;=\; \mathrm {CE}\left( \mathfrak {l}\left( S^{2n+1}\right) \right) := \mathbb {R}[ h_{2n+1} ]/ { \left( d h_{2n + 1} = 0 \right) }\;. \end{aligned}$$

(93)
(iii): The minimal dgc-algebra model for the positive even-dimensional spheres $S^{2n+2}$ are
$$\begin{aligned} \mathcal {O}(S^{2n+2}) \;=\; \mathrm {CE}\left( \mathfrak {l}\left( S^4\right) \right) := \mathbb {R}[ \omega _{2n+2}, \omega _{4n+3} ]/ { \left( \begin{array}{l} d \omega _{2n+2} = 0 \\ d \omega _{4n+3} = - \tfrac{1}{2} \omega _{2n+2} \wedge \omega _{2n+2} \end{array}\right) }\;. \end{aligned}$$

(94)
(iv): Hence for $k \in \mathbb {N}$, there is a canonical map
Open image in new window

(95)
which represents a non-torsion homotopy class. For $k \in \{0,1,3\}$ this is the (rational image of) the complex, quaternionnic, or octonionic Hopf fibration (Definition A.10), respectively.

Example A.22

(DG-Cocycles as maps in rational homotopy theory). Let

$$\begin{aligned} \mathrm {CE}( b^n \mathbb {R} ) \;:=\; \mathbb {R}[ \underset{\mathrm {deg} = n+ 1}{\underbrace{c}} ] \;\; \in \mathrm {dgcAlg} \end{aligned}$$

be the dgc-algebra (Definition A.19) whose underlying graded-commutative algebra is freely generated from a single generator in degree $n+1$, and whose differential vanishes. Under the Sullivan equivalence (Proposition A.20) these are minimal models of the Eilenberg-MacLane spaces (Example A.25)

$$\begin{aligned} B^{n+1} \mathbb {R} = K(\mathbb {R},n+1) \in \mathrm {Spaces} \end{aligned}$$

in that$\mathcal {O}( B^{n+1} \mathbb {R} ) \simeq \mathrm {CE}( b^n \mathbb {R} )$. Then for $A \in \mathrm {dgcAlg}$ any dgc-algebra, a dg-algebra homomorphism of the form

Open image in new window

which, under the Sullivan equivalence (Proposition A.20), is a model for a map of spaces

$$\begin{aligned} \mathcal {S}(A) \longrightarrow B^{n+1} \mathbb {R} \,, \end{aligned}$$

is equivalently an element $\mu \in A$ of degree $n+1$, which is closed $d \mu = 0 \; \in A$. Hence this is a cocycle in the cochain cohomology of the cochain complex underlying A.

Now under the Sullivan equivalence (Proposition A.20), the dgc-algebra on the right is a model for the Eilenberg-MacLane space $K(\mathbb {R}, n+1)$

$$\begin{aligned} \mathrm {CE}(b^n \mathbb {R}) \simeq \mathcal {O}( K(\mathbb {R}, n+1) ) \end{aligned}$$

and hence the dg-cocycle $\mu $ is realized equivalently as map of spaces of the form

Open image in new window

(96)

Example A.23

(DG-coboundaries as homotopies in rational homotopy theory). Let

Open image in new window

be two dg-algebra homomorphisms as in Example A.22, hence equivalently two dg-cocycles of degree $n+1$ in the given dgc-algebra A. Then a dg-homotopy between these homomorphisms is a dg-algebra homomorphism of the form

Open image in new window

to the tensor product algebra of A with the de Rham algebra $\Omega _{\mathrm {poly}}^{\bullet }([0,1])$ of polynomial differential forms on the unit interval, such that its restriction to the endpoints of the interval reproduces the given homomorphisms, respectively. Explicitly, if we write $t \in \Omega ^0_{\mathrm {poly}}([0,1])$ for the canonical coordinate function, this means equivalently that $\eta ^{*}$ corresponds to an element

$$\begin{aligned} \eta = \alpha + d t \wedge \beta \,,\;\;\; \in A \otimes \Omega ^{\bullet }_{\mathrm {poly}}([0,1]) \;\;\;\; \alpha , \beta \in A \otimes \mathbb {R}[t] \end{aligned}$$

of degree $n+1$, such that $d \eta = 0 \,\in A \otimes \Omega ^{\bullet }_{\mathrm {poly}}([0,1])$, hence such that

$$\begin{aligned} d (\alpha (t)) = 0 \;\; \in A \;, d (\beta (t)) = \frac{\partial }{\partial t} \alpha (t)\;, \end{aligned}$$

and satisfying $ \alpha (0) = \mu _0 $ and $ \alpha (1) = \mu _1 $. For example, if $\omega \in A$ is a coboundary between the two cocycles, in the sense of the cochain cohomology of A

$$\begin{aligned} d \omega = \mu _1 - \mu _0 \,\;\;\in A\;, \end{aligned}$$

(97)

then we get such an $\eta $ by setting

$$\begin{aligned} \eta := (1-t) \mu _0 + t \mu _1 + dt \wedge \omega \,. \end{aligned}$$

Therefore, under the Sullivan equivalence (Proposition A.20) a coboundary (97) between dg-cocycles corresponds to a homotopy (Definition 3.14) between the corresponding maps of spaces (96):

Open image in new window

Cohomology

Our main interest in homotopy theories (Definition A.13) here is that each flavor of homotopy theory induces a corresponding generalized cohomology theory (Definition A.24 below). This includes Eilenberg-Steenrod-type generalized cohomology theories (Example A.25 below), which are often just called “generalized cohomology theories”, for short, but is in fact much more general than that: all kinds of differential and/or twisted and/or non-abelian and/or equivariant and/or orbifolded and/or ... concepts of cohomology theories arise via the simple Definition A.24 from a suitably chosen ambient homotopy theory (see [GS18a] for recent developments).

In the main text we are interested in this general concept of generalized cohomology in order to set up and study the cohomology theory equivariant rational cohomotopy of superspaces (Sect. 5).

Definition A.24

(Generalized cohomology theories from homotopy theory). Every homotopy theory induces a corresponding generalized cohomology theory: given a category with weak equivalences $(\mathcal {C}, W)$ (Definition A.13) and any object $A \in \mathcal {C}$ then

a morphism $c :X \rightarrow A$ in $\mathcal {C}$ is an A-valued cocycle onX;
the equivalence relation on such morphisms induced by the localization functor (87) is the coboundary relation;
the image of $[c] := \gamma (c)$ in the morphisms of the homotopy category $\mathrm {Ho}\left( \mathcal {C}[W]^{-1} \right) $ (Definition A.14) is the cohomology class of the cocycle.

Hence the set of A-valued cohomology classes on X is

$$\begin{aligned} H(X,A) := \mathrm {Hom}_{\mathrm {Ho}\left( \mathcal {C}[W]^{-1}\right) }\left( X,A\right) \,. \end{aligned}$$

Example A.25

(Examples of generalized cohomology theories). Examples of generalized cohomology theories arising from homotopy theories via Definition A.24 include the following:

For $(\mathcal {C}, W)$ the category of spectra with stable weak homotopy equivalences (see e.g. [Sch17c, Def. I.4.1]), the corresponding cohomology theories are equivalently the abelian generalized cohomology theories in the sense of the Eilenberg-Steenrod axioms. This is the statement of the Brown representability theorem (see e.g. [Sch17d, Sec. 1]). For instance
- if $A = \Sigma ^n H \mathbb {Z} \in \mathrm {Spectra}$ is an Eilenberg-MacLane spectrum (e.g. [Sch17c, Def. II.6.3]), then this is ordinary cohomology;
- if
  $$\begin{aligned} A := \mathrm {KU} := (\mathrm {KU}_k)_{k \in \mathbb {Z}} := \left\{ \begin{array}{ccc} B U \times \mathbb {Z} &{}\vert &{} k \; \text{ even } \\ U &{}\vert &{} k \; \text{ odd } \end{array} \right. \end{aligned}$$
  
  (98)
  this is K-theory (also called complex topological K-theory for emphasis, to distinguish from a wealth of variants, such as (100) below) which measure D-brane charge in type II string theory [Wi98, FrWi99, MoWi00, EvSa06, Evs06].
For $(\mathcal {C},W)$ the category of spaces with W the class of weak homotopy equivalences (Definition A.16), the corresponding cohomology theories are called non-abelian cohomology. For instance
- if $A = B G \in \mathrm {Spaces}$ is the classifying space of a topological group G, then the corresponding cohomology theory is nonabelian G-cohomology in degree 1, classifying G-principal bundles (in physics: G-instanton sectors);
- if $A = S^n \in \mathrm {Spaces}$ is an n-sphere, then the corresponding non-abelian cohomology theory is called cohomotopy [Spa49].
For $(\mathcal {C},W)$ the opposite category of dgc-algebras with W the class of quasi-isomorphisms (Definition A.19), we have that the corresponding cohomology theory is simply cochain cohomology of the underlying cochain complexes (see Example A.23 and Example A.22)
For $(\mathcal {C},W)$ the G-equivariant homotopy category (Definition 3.18) or the category of G-fixed point systems (Definition 3.25), whose homotopy categories are equivalent by Proposition 3.26, the corresponding cohomology theory is called Bredon equivariant cohomology, after [Bre67]. For instance:
- if $A \in \mathrm {Spaces}$ represents some cohomology theory, then that space equipped with a $\mathbb {Z}_2$-action (Example 3.3)
  Open image in new window
  
  (99)
  represents a corresponding real cohomology theory on real spaces (Example 3.11). A prominent example is real K-theory (100).
For $(\mathcal {C},W)$ the G-equivariant stable homotopy category (of spectra with G-actions), the complex K-theory spectrum (98) equipped with $\mathbb {Z}_2$-action
Open image in new window

(100)
where $e \ne \sigma \in \mathbb {Z}_2$ acts by complex conjugation, represents the real cohomology theory (99) called real K-theory [At66, HuKr01], which measures D-brane charge in type I string theory, hence in type II string theory in the presence of O-planes, hence on orientifolds [Wi98, Sec. 5.2], [Guk99, Hor99, DFM09, DMR13]. See [GS18b] for recent advances in differential KO-theory.

Remark A.26

(Extra structure on cohomology). For a given coefficient object $A \in \mathcal {C}$ in Definition A.24, the induced generalized cohomology $H(-,A)$ a priori is only a set. This set inherits an extra algebraic structure to the extent that $A \in \mathrm {Ho}\left( \mathcal {C}[W]^{-1} \right) $ is equipped with such extra structure. For instance, if A carries the structure of an (abelian) group in the homotopy category, then $H(-,A)$ takes values in (abelian) cohomology groups. This is often considered by default. We highlight that this fails for key examples of cohomology theories, such as notably for cohomotopy theory (Example A.25), (except in those special degrees where the sphere coefficients happen to admit group structure). However, the minimum structure one will usually want to retain is that A is equipped with a point, namely with a morphism

Open image in new window

in the homotopy category, from the terminal object $*$, making it a “pointed object”. In this case the cohomology sets H(X, A) are also canonically pointed sets, namely by the unique cocycle $X \rightarrow *\xrightarrow {\mathrm {pt}_A} A$ that factors through $\mathrm {pt}_A$. This is then called the trivial cocycle, while all other cocycles are non-trivial.

References

[Ach02]
Acharya, B.: M Theory, $G_2$-manifolds and four dimensional physics. Class. Quantum Gravity 19, 5619–5653 (2002). http://users.ictp.it/~pub_off/lectures/lns013/Acharya/Acharya_Final.pdf
[AFFHS98]
Acharya, B.S., Figueroa-O’Farrill, J.M., Hull, C.M., Spence, B.: Branes at conical singularities and holography. Adv. Theor. Math. Phys. 2, 1249–1286 (1999). arXiv:hep-th/9808014 MathSciNetzbMATHGoogle Scholar
[AG04]
Acharya, B., Gukov, S.: M theory and singularities of exceptional holonomy manifolds. Phys. Rep. 392, 121–189 (2004). arXiv:hep-th/0409191 ADSMathSciNetGoogle Scholar
[AW01]
Acharya, B., Witten, E.: Chiral fermions from manifolds of $G_2$-holonomy. arXiv:hep-th/0109152
[AETW87]
Achúcarro, A., Evans, J., Townsend, P., Wiltshire, D.: Super $p$-branes. Phys. Lett. B 198, 441–446 (1987). spire:22286 ADSMathSciNetGoogle Scholar
[AP93]
Allday, C., Puppe, V.: Cohomological Methods in Transformation Groups. Cambridge University Press, Cambridge (1993)zbMATHGoogle Scholar
[At66]
Atiyah, M.: K-theory and reality. Q. J. Math. 17(1), 367–386 (1966)ADSMathSciNetzbMATHGoogle Scholar
[AW03]
Atiyah, M., Witten, E.: M-theory dynamics on a manifold of $G_2$ holonomy. Adv. Theor. Math. Phys. 6, 1–106 (2003). arXiv:hep-th/0107177 zbMATHGoogle Scholar
[AzT89]
de Azcárraga, J., Townsend, P.: Superspace geometry and the classification of supersymmetric extended objects. Phy. Rev. Lett. 62, 2579–2582 (1989). spire:284635 ADSMathSciNetGoogle Scholar
[BH10]
Baez, J., Huerta, J.: Division algebras and supersymmetry I. In: Doran, R., Friedman, G., Rosenberg J. (eds.), Superstrings, Geometry, Topology, and $C^{\ast }$-algebras, Proceedings of Symposia in Pure Mathematics 81, AMS, Providence, (2010), pp. 65–80. arXiv:0909.0551
[BH11]
Baez, J., Huerta, J.: Division algebras and supersymmetry II. Adv. Math. Theor. Phys. 15, 1373–1410 (2011). arXiv:1003.3436 MathSciNetzbMATHGoogle Scholar
[BLMP13]
Bagger, J., Lambert, N., Mukhi, S., Papageorgakis, C.: Multiple membranes in M-theory. Phys. Rep. 527, 1–100 (2013). arXiv:1203.3546 ADSMathSciNetzbMATHGoogle Scholar
[Bär93]
Bär, C.: Real killing spinors and holonomy. Commun. Math. Phys. 154, 509–521 (1993)ADSMathSciNetzbMATHGoogle Scholar
[BBS06]
Becker, K., Becker, M., Schwarz, J.: String Theory and M-Theory: A Modern Introduction. Cambridge University Press, Cambridge (2006)zbMATHGoogle Scholar
[BBS95]
Becker, K., Becker, M., Strominger, A.: Fivebranes, membranes and non-perturbative string theory. Nucl. Phys. B456, 130–152 (1995). arXiv:hep-th/9507158 ADSMathSciNetzbMATHGoogle Scholar
[BeSc98]
Bergshoeff, E., van der Schaar, J.P.: On M-9-branes. Class. Quantum Gravity 16, 23–39 (1999). arXiv:hep-th/9806069 ADSzbMATHGoogle Scholar
[Ber98]
Berkooz, M.: A supergravity dual of a $(1,0)$ field theory in six dimensions. Phys. Lett. B437, 315–317 (1998). arXiv:hep-th/9802195 ADSMathSciNetGoogle Scholar
[BPST10]
Berman, D., Perry, M., Sezgin, E., Thompson, D.: Boundary conditions for interacting membranes. J. High Energy Phys. 1004, 025 (2010). arXiv:0912.3504 ADSMathSciNetzbMATHGoogle Scholar
[Bor94]
Borceux, F.: Basic Category Theory. Handbook of Categorical Algebra, vol. 1. Cambirdge University Press, Cambirdge (1995)zbMATHGoogle Scholar
[BST87]
Bergshoeff, E., Sezgin, E., Townsend, P.K.: Supermembranes and eleven-dimensional supergravity. Phys. Lett. B189, 75–78 (1987)ADSMathSciNetzbMATHGoogle Scholar
[BG76]
Bousfield, A., Guggenheim, V.: On PL deRham theory and rational homotopy type. Memoirs of the AMS 179 (1976)Google Scholar
[Bra18]
Braunack-Mayer, V.: Rational parameterized stable homotopy theory, PhD thesis, Zurich University (2018). https://ncatlab.org/schreiber/show/thesis+Braunack-Mayer
[BlDu88]
Blencowe, M.P., Duff, M.: Supersingletons. Phys. Lett. B 203, 229–236 (1988). spire:252628 ADSMathSciNetGoogle Scholar
[Blu17]
Blumberg, A.: Equivariant homotopy theory, lecture notes (2017). github.com/adebray/equivariant_homotopy_theory
[BSS18]
Braunack-Mayer, V., Sati, H., Schreiber, U.: Gauge enhancement for Super M-branes via Parameterized stable homotopy theory. Commun. Math. Phys. (2019). arXiv:1805.05987 [hep-th]
[Bre67]
Bredon, G.: Equivariant cohomology theories, Springer Lecture Notes in Mathematics Vol. 34 (1967)zbMATHGoogle Scholar
[Br72]
Bredon, G.E.: Introduction to Compact Transformation Groups. Academic Press, New York (1972)zbMATHGoogle Scholar
[BrHa97]
Brodie, J., Hanany, A.: Type IIA superstrings, chiral symmetry, and $N=1$ 4D gauge theory dualities. Nucl. Phys. B506, 157–182 (1997)ADSzbMATHGoogle Scholar
[CaSl09]
Čap, A., Slovák, J.: Parabolic Geometries I: Background and General Theory, Mathematical Surveys and Monomgraphs, Volume 154, American Mathematical Society (2009)Google Scholar
[CL94]
Candiello, A., Lechner, K.: Duality in supergravity theories. Nucl. Phys. B412, 479–501 (1994). arXiv:hep-th/9309143 ADSMathSciNetzbMATHGoogle Scholar
[Cartan1923]
Cartan, É.: Sur les variétés à connexion affine et la théorie de la relativité généralisée (première partie) Ann. scient. de l’Ecole Normale Supérieure, Sér. 3, 40, 325–412 (1923). http://www.numdam.org/item?id=ASENS_1923_3_40__325_0
[CDF91]
Castellani, L., D’Auria, R., Fré, P.: Supergravity and Superstrings—A Geometric Perspective. World Scientific, Singapore (1991)zbMATHGoogle Scholar
[ClayMP]
Clay Mathematics Institute: Millenium Problems—YangMills and Mass Gap. www.claymath.org/millennium-problems/yang-mills-and-mass-gap
[CF59]
Conner, P.E., Floyd, E.E.: On the construction of periodic maps without fixed points. Proc. Am. Math. Soc. 10, 354–360 (1959)MathSciNetzbMATHGoogle Scholar
[DNP03]
Dasgupta, A., Nicolai, H., Plefka, J.: An Introduction to the Quantum Supermembrane, Grav. Cosmol. 8, 1 (2002); Rev. Mex. Fis. 49(S1), 1–10 (2003). arXiv:hep-th/0201182
[MdF+09]
de Medeiros, P., Figueroa-O’Farrill, J., Gadhia, S., Méndez-Escobar, E.: Half-BPS quotients in M-theory: ADE with a twist. J. High Energy Phys. 0910, 038 (2009). arXiv:0909.0163 MathSciNetGoogle Scholar
[MdF09]
de Medeiros, P., Figueroa-O’Farrill, J.: Half-BPS M2-brane orbifolds. Adv. Theor. Math. Phys. 16, 1349–1408 (2012). arXiv:1007.4761 MathSciNetzbMATHGoogle Scholar
[dWHN88]
de Wit, B., Hoppe, J., Nicolai, H.: On the quantum mechanics of supermembranes. Nucl. Phys. B305, 545–581 (1988)ADSMathSciNetzbMATHGoogle Scholar
[DZHTV15]
Del Zotto, M., Heckman, J., Tomasiello, A., Vafa, C.: 6d conformal matter. J. High Energy Phys. 2015, 54 (2015). arXiv:1407.6359 MathSciNetzbMATHGoogle Scholar
[DF99]
Deligne, P., Freed, D.: Sign manifesto publications.ias.edu/sites/default/files/79_SignManifesto.pdf, in Supersolutions arXiv:hep-th/9901094. In: Deligne, P. et. al. (eds.) Quantum Fields and Strings, A course for mathematicians, AMS (1999)
[DMW03]
Diaconescu, D., Moore, G., Witten, E.: $E_8$-gauge theory and a derivation of K-theory from M-theory. Adv. Theor. Math. Phys. 6, 1031 (2003). arXiv:hep-th/0005090 Google Scholar
[DFM09]
Distler, J., Freed, D., Moore, G.: Orientifold Précis In: Sati, H., Schreiber, U. (eds.), Mathematical Foundations of Quantum Field and Perturbative String Theory, Proceedings of Symposia in Pure Mathematics, AMS (2011) arXiv:0906.0795. https://ncatlab.org/nlab/files/FreedESI2012.pdf
[DMR13]
Doran, C., Mendez-Diez, S., Rosenberg, J.: T-duality for orientifolds and twisted KR-theory. Lett. Math. Phys. 104(11), 1333–1364 (2014). arXiv:1306.1779 ADSMathSciNetzbMATHGoogle Scholar
[Du88]
Duff, M.: Supermembranes: the first fifteen weeks. Class. Quantum Gravity 5, 189–205 (1988). spire:248034 ADSMathSciNetGoogle Scholar
[Du99]
Duff, M.: Anti-de Sitter space, branes, singletons, superconformal field theories and all that. Int. J. Mod. Phys. A14, 815–844 (1999). [arXiv:hep-th/9808100]ADSMathSciNetzbMATHGoogle Scholar
[Du99L]
Duff, M.: TASI Lectures on Branes, Black Holes and Anti-de Sitter Space. arXiv:hep-th/9912164
[Du99B]
Duff, M. (ed.): The World in Eleven Dimensions: Supergravity. Supermembranes and M-Theory. IoP, Bristol (1999)zbMATHGoogle Scholar
[Du08]
Duff, M.: Near-horizon brane-scan revived. Nucl. Phys. B810, 193–209 (2009). arXiv:0804.3675 ADSMathSciNetzbMATHGoogle Scholar
[DIPSS88]
Duff, M., Inami, T., Pope, C., Sezgin, E., Stelle, K.: Semiclassical quantization of the supermembrane. Nucl. Phys. B297, 515–538 (1988). spire:247064 ADSMathSciNetzbMATHGoogle Scholar
[DKL95]
Duff, M., Khuri, R., Lu, J.X.: String solitons. Phys. Rep. 259, 213–326 (1995). arXiv:hep-th/9412184 ADSMathSciNetGoogle Scholar
[DuLu93]
Duff, M., Lu, J.: Black and super $p$-branes in diverse dimensions. Nucl. Phys. B416, 301–334 (1994). arXiv:hep-th/9306052 ADSMathSciNetzbMATHGoogle Scholar
[DuSu88]
Duff, M., Sutton, C.: The membrane at the end of the universe. New Sci. 118, 67–71 (1988)Google Scholar
[DHIS87]
Duff, M., Howe, P., Inami, T., Stelle, K.: Superstrings in $D =10$ from Supermembranes in $D =11$. Phys. Lett. B191, 70–74 (1987). reprinted in [Du99] spire:245249 ADSMathSciNetzbMATHGoogle Scholar
[DuLu92]
Duff, M.J., Lu, J.X.: Type II p-branes: the brane-scan revisited. Nucl. Phys. B390, 276–290 (1993). arXiv:hep-th/9207060 ADSMathSciNetzbMATHGoogle Scholar
[DuVal34]
P. du Val, On isolated singularities of surfaces which do not affect the conditions of adjunction, I, II and III, Proc. Camb. Phil. Soc. 30 1934, 453–459, 460–465, 483–491Google Scholar
[EE12]
Egeileh, M., El Chami, F.: Some remarks on the geometry of superspace supergravity. J. Geom. Phys. 62, 53–60 (2012)ADSMathSciNetzbMATHGoogle Scholar
[EGKRS00]
Elitzur, S., Giveon, A., Kutasov, D., Rabinovici, E., Sarkissian, G.: D-branes in the background of NS fivebranes. J. High Energy Phys. 0008, 046 (2000). arXiv:hep-th/0005052 ADSMathSciNetzbMATHGoogle Scholar
[El83]
Elmendorf, A.: Systems of fixed point sets. Trans. Am. Math. Soc. 277, 275–284 (1983)MathSciNetzbMATHGoogle Scholar
[EG73]
Epstein, H., Glaser, V.: The Role of locality in perturbation theory. Annales Poincaré Phys. Theor. A 19, 211 (1973). http://www.numdam.org/item?id=AIHPA_1973__19_3_211_0
[Evs06]
Evslin, J.: What Does(n’t) K-theory Classify?, Second Modave Summer School in Mathematical Physics. arXiv:hep-th/0610328
[EvSa06]
Evslin, J., Sati, H.: Can D-branes wrap nonrepresentable cycles? J. High Energy Phys. 0610, 050 (2006). arXiv:hep-th/0607045 ADSMathSciNetGoogle Scholar
[Fa17]
Fazzi, M.: Higher-dimensional field theories from type II supergravity. arXiv:1712.04447
[FF]
Figueroa-O’Farrill, J.: Majorana spinors. http://www.maths.ed.ac.uk/~jmf/Teaching/Lectures/Majorana.pdf
[FF98]
Figueroa-O’Farrill, J.: Near-horizon geometries of supersymmetric branes, talk at SUSY98. arXiv:hep-th/9807149
[FOS17]
Figueroa-O’Farrill, J., Santi, A.: Spencer cohomology and eleven-dimensional supergravity. Commun. Math. Phys. 349, 627–660 (2017). arXiv:1511.08737 [hep-th]ADSzbMATHGoogle Scholar
[FSS12]
Fiorenza, D., Sati, H., Schreiber, U.: Multiple M5-branes, string 2-connections, and 7d nonabelian Chern-Simons theory. Adv. Theor. Math. Phys. 18, 229–321 (2014). arXiv:1201.5277 MathSciNetzbMATHGoogle Scholar
[FSS13]
Fiorenza, D., Sati, H., Schreiber, U.: Super Lie $n$-algebra extensions, higher WZW models, and super $p$-branes with tensor multiplet fields. Int. J. Geom. Methods Mod. Phys. 12, 1550018 (2015). arXiv:1308.5264 MathSciNetzbMATHGoogle Scholar
[FSS16a]
Fiorenza, D., Sati, H., Schreiber, U.: Rational sphere valued supercocycles in M-theory and type IIA string theory. J. Geom. Phys. 114, 91–108 (2017). arXiv:1606.03206 ADSMathSciNetzbMATHGoogle Scholar
[FSS15b]
Fiorenza, D., Sati, H., Schreiber, U.: The WZW term of the M5-brane and differential cohomotopy. J. Math. Phys. 56, 102301 (2015). arXiv:1506.07557 ADSMathSciNetzbMATHGoogle Scholar
[FSS16b]
Fiorenza, D., Sati, H., Schreiber, U.: T-Duality from super Lie $n$-algebra cocycles for super p-branes. Adv. Theor. Math. Phys. 22(5), (2018). arXiv:1611.06536
[FSS17]
Fiorenza, D., Sati, H., Schreiber, U.: T-duality in rational homotopy theory via $L_{\infty }$-algebras, Geom. Topol. Math. Phys. 1, (2018), special volume in tribute of Jim Stasheff and Dennis Sullivan. arXiv:1712.00758 [math-ph]
[FSS18]
Fiorenza, D., Sati, H., Schreiber, U.: Higher T-duality of M-branes. arXiv:1803.05634
[FSS19]
Fiorenza, D., Sati, H., Schreiber, U.: The rational higher structure of M-theory, Proceedings of Higher Structures in M-Theory, Durham Symposium 2018, Fortsch. Phys. (2019)Google Scholar
[Fre00]
Freed, D.: Dirac charge quantization and generalized differential cohomology, Surveys in Differential Geometry, Int. Press, Somerville, MA, pp. 129–194 (2000) arXiv:hep-th/0011220 MathSciNetzbMATHGoogle Scholar
[FrWi99]
Freed, D., Witten, E.: Anomalies in string theory with D-branes. Asian J. Math. 3, 819–852 (1999). arXiv:hep-th/9907189 MathSciNetzbMATHGoogle Scholar
[Ga97]
Gauntlett, J.: Intersecting Branes, in Dualities in Gauge and String Theories, Proc. APCTP Winter School “Dualities of Gauge and String Theories”, Korea (1997). arXiv:hep-th/9705011
[GKST01]
Gorbatov, E., Kaplunovsky, V.S., Sonnenschein, J., Theisen, S., Yankielowicz, S.: On heterotic orbifolds, M theory and type I’ brane engineering. J. High Energy Phys. 0205, 015 (2002). arXiv:hep-th/0108135 ADSMathSciNetGoogle Scholar
[GS18a]
Grady, D., Sati, H.: Twisted differential generalized cohomology theories and their Atiyah-Hirzebruch spectral sequence, to appear in Alg. Geom. Top. arXiv:1711.06650 [math.AT]
[GS18b]
Grady, D., Sati, H.: Differential KO-theory: constructions, computations, and applications, [arXiv:1809.07059] [math.AT]
[GS19]
Grady, D., Sati, H.: Ramond-Ramond fields and twisted differential K-theory, preprintGoogle Scholar
[Gue92]
Gueven, R.: Black $p$-brane solutions of $D = 11$ supergravity theory. Phys. Lett. B276, 49–55 (1992). (reprinted in [Du99B]) spire:338203 ADSMathSciNetGoogle Scholar
[Gu65]
Guillemin, V.: The integrability problem for $G$-structures. Trans. Am. Math. Soc. 116, 544–560 (1965). jstor:1994134 MathSciNetzbMATHGoogle Scholar
[Guk99]
Gukov, S.: K-theory, reality, and orientifolds. Commun. Math. Phys. 210, 621–639 (2000). arXiv:hep-th/9901042 ADSMathSciNetzbMATHGoogle Scholar
[HIKLV15]
Haghighat, B., Iqbal, A., Kozcaz, C., Lockhart, G., Vafa, C.: M-strings. Commun. Math. Phys. 334, 779–842 (2015). arXiv:1305.6322 ADSzbMATHGoogle Scholar
[HK85]
Han, S.K., Koh, I.G.: $N=4$ remaining supersymmetry in Kaluza-Klein monopole background in $\text{ D }=11$ supergravity theory. Phys. Rev. D31, 2503–2506 (1985)ADSMathSciNetGoogle Scholar
[HaKo00]
Hanany, A., Kol, B.: On orientifolds, discrete torsion, branes and M theory. J. High Energy Phys. 0006, 013 (2000). arXiv:hep-th/0003025 ADSMathSciNetzbMATHGoogle Scholar
[HaMo99]
Harvey, J., Moore, G.: Superpotentials and Membrane Instantons. arXiv:hep-th/9907026
[HMV13]
Heckman, J., Morrison, D., Vafa, C.: On the classification of 6D SCFTs and generalized ADE orbifolds. J. High Energ. Phys. 2014, 28 (2014). arXiv:1312.5746 Google Scholar
[Hes06]
Hess, K.: Rational homotopy theory: a brief introduction, Interactions between homotopy theory and algebra, 175–202. Contemp. Math 436 arXiv:math.AT/0604626
[HHR09]
Hill, M.A., Hopkins, M.J., Ravenel, D.C.: On the non-existence of elements of Kervaire invariant one. Ann. Math. 184, 1–262 (2016). arXiv:0908.3724 MathSciNetzbMATHGoogle Scholar
[HI13]
Hohenegger, S., Iqbal, A.: M-strings, Elliptic Genera and $N=4$ String Amplitudes. arXiv:1310.1325
[HoIs12]
Hollands, S., Ishibashi, A.: Black hole uniqueness theorems in higher dimensional spacetimes. Class. Quantum Gravity 29, 163001 (2012). arXiv:1206.1164 ADSMathSciNetzbMATHGoogle Scholar
[HW95]
Hořava, P., Witten, E.: Heterotic and Type I string dynamics from eleven dimensions. Nucl. Phys. B460, 506–524 (1996). arXiv:hep-th/9510209 ADSMathSciNetzbMATHGoogle Scholar
[HW96]
Hořava, P., Witten, E.: Eleven dimensional supergravity on a manifold with boundary. Nucl. Phys. B475, 94–114 (1996). arXiv:hep-th/9603142 ADSMathSciNetzbMATHGoogle Scholar
[Hor97]
Hori, K.: Consistency conditions for fivebrane in M theory on ${\mathbb{R}}^5/{\mathbb{Z}}_2$ orbifold. Nucl. Phys. B539, 35–78 (1999). arXiv:hep-th/9805141 ADSGoogle Scholar
[Hor99]
Hori, K.: D-branes, T-duality, and index theory. Adv. Theor. Math. Phys. 3, 281–342 (1999). arXiv:hep-th/9902102 MathSciNetzbMATHGoogle Scholar
[Ho97]
Howe, P.: Weyl superspace. Phys. Lett. B 415, 149–155 (1997). arXiv:hep-th/9707184 ADSMathSciNetGoogle Scholar
[HuKr01]
Hu, P., Kriz, I.: Real-oriented homotopy theory and an analogue of the Adams–Novikov spectral sequence. Topology 40, 317–399 (2001)MathSciNetzbMATHGoogle Scholar
[HS17]
Huerta, J., Schreiber, U.: M-theory from the superpoint. Lett. Math. Phys. 108, 2695–2727 (2018). arXiv:1702.01774 [hep-th]ADSMathSciNetzbMATHGoogle Scholar
[Hul84]
Hull, C.: Exact pp wave solutions of eleven-dimensional supergravity. Phys. Lett. B 139, 39–41 (1984). spire:14499 ADSGoogle Scholar
[IU12]
Ibáñez, L., Uranga, A.: String Theory and Particle Physics: An Introduction to String Phenomenology. Cambridge University Press, Cambridge (2012)zbMATHGoogle Scholar
[Kas00]
Kashima, K.: The M2-brane solution of heterotic M-theory with the Gauss-Bonnet $R^{2}$ terms. Prog. Theor. Phys. 105, 301–321 (2001). arXiv:hep-th/0010286 ADSzbMATHGoogle Scholar
[Kee03]
Keenan, A.: Which finite groups act freely on spheres? (2003) www.math.utah.edu/~keenan/actions.pdf
[KKLPV14]
Kim, J., Kim, S., Lee, K., Park, J., Vafa, C.: Elliptic genus of E-strings. J. High Energy Phys. 1709, 098 (2017). arXiv:1411.2324 ADSMathSciNetzbMATHGoogle Scholar
[Klein1872]
Klein, F.: Vergleichende Betrachtungen über neuere geometrische Forschungen (1872), translation by Haskell, M.W.: A comparative review of recent researches in geometry. Bull. N. Y. Math. Soc. 2, 215–249 (1892–1893)Google Scholar
[Klein1884]
Klein, F.: Vorlesungen uber das Ikosaeder und die Auflösung der Gleichungen vom funften Grade, 1884, translated as Lectures on the Icosahedron and the Resolution of Equations of Degree Five by George Morrice (1888). archive.org/details/cu31924059413439
[KS05]
Kriz, I., Sati, H.: Type IIB string theory, S-duality, and generalized cohomology. Nucl. Phys. B715, 639–664 (2005). arXiv:hep-th/0410293 ADSMathSciNetzbMATHGoogle Scholar
[KuTo82]
Kugo, T., Townsend, P.: Supersymmetry and the division algebras. Nucl. Phys. B 221, 357–380 (1982). spire:181889 ADSMathSciNetGoogle Scholar
[LLO97]
Lalak, Z., Lukas, A., Ovrut, B.: Soliton solutions of M-theory on an orbifold. Phys. Lett. B425, 59–70 (1998). arXiv:hep-th/9709214 ADSMathSciNetGoogle Scholar
[Lot90]
Lott, J.: The geometry of supergravity torsion constraints. Commun. Math. Phys. 133, 563–615 (1990). see arXiv:math/0108125 ADSzbMATHGoogle Scholar
[Lu09-]
Lurie, J.: Higher Topos Theory, [arXiv:math/0608040], Higher Algebra [www.math.harvard.edu/~lurie/papers/HA.pdf], Spectral Algebraic Geometry. www.math.harvard.edu/~lurie/papers/SAG-rootfile.pdf
[MaS04]
Mathai, V., Sati, H.: Some relations between twisted K-theory and $E_8$ gauge theory. J. High Energy Phys. 03, 016 (2004). arXiv:hep-th/0312033 ADSGoogle Scholar
[May+96]
May, J.P. ed., Equivariant homotopy and cohomology theory, CBMS Regional Conference Series in Mathematics, vol. 91, Conference Board of the Mathematical Sciences, Washington, DC (1996)Google Scholar
[Maz01]
Mazur, P.O.: Black Uniqueness Theorems, In: MacCallum, M.A.H. (ed.) Proceedings of the 11th International Conference on General Relativity and Gravitation, Cambridge University Press, pp. 130–157 (1987). arXiv:hep-th/0101012
[MBD1916]
Miller, G.A., Blichfeldt, H.F., Dickson, L.E.: Theory and Applications of Finite Groups. Dover, New York (1916)zbMATHGoogle Scholar
[MooreStrings2014]
Moore, G.: Physical Mathematics and the Future, talk at Strings (2014). http://www.physics.rutgers.edu/~gmoore/PhysicalMathematicsAndFuture.pdf
[MoWi00]
Moore, G., Witten, E.: Self-duality, Ramond–Ramond fields, and K-theory. J. High Energy Phys. 0005, 032 (2000). arXiv:hep-th/9912279 ADSMathSciNetzbMATHGoogle Scholar
[MP99]
Morrison, D.R., Plesser, M.R.: Non-spherical horizons I. Adv. Theor. Math. Phys. 3, 1–81 (1999). arXiv:hep-th/9810201 MathSciNetzbMATHGoogle Scholar
[vN82]
van Nieuwenhuizen, P.: Free Graded Differential Superalgebras, In: Istanbul 1982, Proceedings, Group Theoretical Methods In Physics, pp. 228–247. 182644
[PST99]
Pasti, P., Sorokin, D., Tonin, M.: Branes in Super-AdS Backgrounds and Superconformal Theories, Talk at Supersymmetry and Quantum Symmetries, JINR (1999). arXiv:hep-th/9912076
[Ph05]
Philip, S.: Plane-wave limits and homogeneous M-theory backgrounds (2005). https://www.era.lib.ed.ac.uk/bitstream/handle/1842/15645/Philip2005.Pdf?sequence=1
[Qu69]
Quillen, D.: Rational homotopy theory. Ann. Math. (2) 90, 205–295 (1969)MathSciNetzbMATHGoogle Scholar
[Ra03]
Ravenel, D.: Complex cobordism and stable homotopy groups of spheres, AMS (2003). http://web.math.rochester.edu/people/faculty/doug/mu.html
[Re87]
Reid, M.: Young person’s guide to canonical singularities, In: Bloch, S. (ed.), Algebraic geometry – Bowdoin 1985, Part 1, Proc. Sympos. Pure Math. 46 Part 1, American Mathematical Society, Providence, RI, pp. 345–414 (1987)Google Scholar
[Ree05]
Rees, E.: Notes on Geometry. Springer, Berlin (2005)Google Scholar
[Sa05a]
Sati, H.: M-theory and characteristic classes. J. High Energy Phys. 0508, 020 (2005). arXiv:hep-th/0501245 ADSMathSciNetGoogle Scholar
[Sa05b]
Sati, H.: Flux quantization and the M-theoretic characters. Nucl. Phys. B727, 461–470 (2005). arXiv:hep-th/0507106 ADSMathSciNetzbMATHGoogle Scholar
[Sa06]
Sati, H.: Duality symmetry and the form fields of M-theory. J. High Energy Phys. 0606, 062 (2006). arXiv:hep-th/0509046 ADSMathSciNetGoogle Scholar
[Sa09]
Sati, H.: A higher twist in string theory. J. Geom. Phys. 59(3), 369–373 (2009). arXiv:hep-th/0701232 ADSMathSciNetzbMATHGoogle Scholar
[Sa10]
Sati, H.: Geometric and topological structures related to M-branes, Superstrings, geometry, topology, and $C^{*}$-algebras, 181-236, Proc. Sympos. Pure Math., 81, Amer. Math. Soc., Providence, RI, (2010). arXiv:1001.5020 [math.DG]
[Sa11]
Sati, H.: Topological aspects of the NS5-brane. arXiv:1109.4834 [hep-th]
[Sa13]
Sati, H.: Framed M-branes, corners, and topological invariants. J. Math. Phys. 59, 062304 (2018). arXiv:1310.1060 [hepth]ADSMathSciNetzbMATHGoogle Scholar
[SS11]
Sati, H., Schreiber, U.: Survey of mathematical foundations of QFT and perturbative string theory, Introduction to Mathematical Foundations of Quantum Field Theory and Perturbative String Theory, Amer. Math. Soc., Providence, RI, (2011). arXiv:1109.0955 [math-ph]
[SS18]
Sati, H., Schreiber, U.: Higher T-duality of M-branes via local supersymmetry. Phys. Lett. B 781, 694–698 (2018). arXiv:1805.00233 [hep-th]ADSzbMATHGoogle Scholar
[ScSc95]
Schmidt, M.G., Schubert, C.: The Worldline Path Integral Approach to Feynman Graphs. arXiv:hep-ph/9412358
[Sch13]
Schreiber, U.: Differential cohomology in a cohesive $\infty $-topos. https://ncatlab.org/schreiber/files/dcct170811.pdf
[Sch15]
Schreiber, U.: Higher Cartan Geometry, lecture notes, Prague (2015). https://ncatlab.org/schreiber/show/Higher+Cartan+Geometry
[Sch16]
Schreiber, U.: Fundamental super $p$-Branes, lectures at: Sati, H. (org.), Flavors of Cohomology, Pittsburgh (2015). https://ncatlab.org/nlab/show/geometry+of+physics+--+fundamental+super+p-branes
[Sch17a]
Schreiber, U.: Introduction to Topology, lecture notes, Bonn (2017). https://ncatlab.org/nlab/show/Introduction+to+Topology
[Sch17b]
Schreiber, U.: Introduction to Homotopy Theory, lecture notes, Bonn (2017). https://ncatlab.org/nlab/show/Introduction+to+Homotopy+Theory
[Sch17c]
Schreiber, U.: Introduction to Stable Homotopy Theory, lecture notes, Bonn (2017). https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory+--+1
[Sch17d]
Schreiber, U.: Introduction to Stable Homotopy Theory— Examples and Application, lecture notes, Bonn (2017). https://ncatlab.org/nlab/show/Introduction+to+Cobordism+and+Complex+Oriented+Cohomology
[Sch18]
Schreiber, U.: Perturbative Quantum Field Theory, lecture notes, Hamburg (2018). https://ncatlab.org/nlab/show/geometry+of+physics+--+perturbative+quantum+field+theory
[Sch96]
Schubert, C.: An introduction to the worldline technique for quantum field theory calculations. Acta Phys. Pol. B27, 3965–4001 (1996). arXiv:hep-th/9610108 Google Scholar
[Scu01]
Scull, L.: Rational $S^1$-equivariant homotopy theory. Trans. Am. Math. Soc. 354, 1–45 (2001). (pdf)MathSciNetzbMATHGoogle Scholar
[Sen97]
Sen, A.: A note on enhanced gauge symmetries in M- and string theory. J. High Energy Phys. 9709, 001 (1997). arXiv:hep-th/9707123 ADSMathSciNetGoogle Scholar
[Ser14]
Serrano, J.: Finite subgroups of $SL(2,{\mathbb{C}})$ and $SL(3,{\mathbb{C}})$, Warwick (2014). https://homepages.warwick.ac.uk/~masda/McKay/CarrascoProject.pdf
[Sh17]
Shulman, M.: Homotopy type theory: the logic of space, In: Catren, G., Anel, M. New Spaces for Mathematics and Physics. arXiv:1703.03007
[Slo80]
Slodowy, P.: Simple Singularities and Simple Algebraic Groups. Lecture Notes in Mathematics 815. Springer, Berlin (1980)zbMATHGoogle Scholar
[Sor99]
Sorokin, D.: Superbranes and superembeddings. Phys. Rep. 329, 1–101 (2000). arXiv:hep-th/9906142 ADSMathSciNetzbMATHGoogle Scholar
[Sor01]
Sorokin, D.: Introduction to the superembedding description of superbranes. AIP Conf. Proc. 589, 98 (2001). arXiv:hep-th/0105102 ADSGoogle Scholar
[Spa49]
Spanier, E.: Borsuk’s cohomotopy groups. Ann. Math. 50, 203–245 (1949). jstor:1969362 MathSciNetzbMATHGoogle Scholar
[Str96]
Strominger, A.: Open P-branes. Phys. Lett. B 383, 44–47 (1996). arXiv:hep-th/9512059 ADSMathSciNetzbMATHGoogle Scholar
[Su77]
Sullivan, D.: Infinitesimal computations in topology. Publ. Math. de I.H.É.S. 47, 269–331 (1977)MathSciNetzbMATHGoogle Scholar
[Sus05]
Suslov, I.M.: Divergent perturbation series. J. Exp. Theor. Phys. 100, 1188 (2005). arXiv:hep-ph/0510142 ADSGoogle Scholar
[To95]
Townsend, P.: The eleven-dimensional supermembrane revisited. Phys. Lett. B 350, 184–187 (1995). arXiv:hep-th/9501068 ADSMathSciNetGoogle Scholar
[Wan80]
Waner, S.: Equivariant homotopy theory and Milnor’s theorem. Trans. Am. Math. Soc. 258, 351–368 (1980). jstor:1998061 MathSciNetzbMATHGoogle Scholar
[Wa89]
Wang, M.Y.: Parallel spinors and parallel forms. Ann. Glob. Anal. Geom. 7(1), 59–68 (1989)MathSciNetzbMATHGoogle Scholar
[We17]
Wellen, F.: Formalizing Cartan Geometry in Modal Homotopy Type Theory, PhD Thesis, KIT (2017). ncatlab.org/schreiber/show/thesis+Wellen
[Wi95a]
Witten, E.: String theory dynamics in various dimensions. Nucl. Phys. B443, 85–126 (1995). arXiv:hep-th/9503124 ADSMathSciNetzbMATHGoogle Scholar
[Wi95b]
Witten, E.: Some Comments On String Dynamics, In: Bars, I. et. al, (eds.) Proceedings of String95. arXiv:hep-th/9507121
[Wi95c]
Witten, E.: Five-branes and M-theory on an orbifold. Nucl. Phys. B 463, 383–397 (1996). arXiv:hep-th/9512219 ADSMathSciNetzbMATHGoogle Scholar
[Wi98]
Witten, E.: D-branes and K-theory. J. High Energy Phys. 12, 019 (1998). arXiv:hep-th/9810188 ADSzbMATHGoogle Scholar
[Wi02]
Witten, E.: Singularities in string theory, Proceedings of the ICM, Beijing 1, 495–504 (2002). arXiv:hep-th/0212349
[Wi03]
Witten, E.: Viewpoints on String Theory, NOVA interview (2003). www.pbs.org/wgbh/nova/elegant/view-witten.html
[Wi15]
Witten, E.: What every physicist should know about string theory, talk at Strings2015 strings2015.icts.res.in/talkDocuments/26-06-2015-Edward-Witten.pdf

Copyright information

Authors and Affiliations

John Huerta
- 1
Hisham Sati
- 2
Urs Schreiber
- 2
Email authorView author's OrcID profile

1.CAMGSDInstituto Superior TécnicoLisboaPortugal
2.Division of Science and MathematicsNew York UniversityAbu DhabiUAE

Spacetime dimension \(p + 1\)	Supersymmetry \(\mathbf {N}\)
\(10 + 1\)	\(\mathbf {32}\)
\(9 +1\)	\(\mathbf {16}\), \(\overline{\mathbf {16}}\)
\(6 + 1\)	\(\mathbf {16}\)
\(5 + 1\)	\(\mathbf {8}\), \(\overline{\mathbf {8}}\)
\(4 + 1\)	\(\mathbf {8}\)
\(3+1\)	\(\mathbf {4}\)
\(2+1\)	\(\mathbf {2}\)
\(1 + 1\)	\(\mathbf {1}\), \(\overline{\mathbf {1}}\)

Label	Finite subgroup of \(\mathrm {SU}(2)\)	Name of group
\(\mathbb {A}_{n}\)	\(\mathbb {Z}_{n+1}\)	Cyclic
\(\mathbb {D}_{n+4}\)	\(2\mathrm {D}_{n+2}\)	Binary dihedral
\(\mathbb {E}_{6}\)	\(2\mathrm {T}\)	Binary tetrahedral
\(\mathbb {E}_{7}\)	\(2\mathrm {O}\)	Binary octahedral
\(\mathbb {E}_{8}\)	\(2\mathrm {I}\)	Binary icosahedral

Normed algebra	Hopf fibration
\(\mathbb {R}\)	\(S^1 \quad \overset{\cdot 2}{\longrightarrow } \quad S^1\)
\(\mathbb {C}\)	\(S^3 \quad \longrightarrow \quad S^2\)
\(\mathbb {H}\)	\(S^7 \quad \longrightarrow \quad S^4\)
\(\mathbb {O}\)	\(S^{15} \quad \longrightarrow \quad S^8\)

Dimension \(D = p + 1\)	Real irreps of \(\mathrm {Spin}(p,1)\)	Clifford modules via real normed division algebra
		\(\{\widetilde{\sigma }\sigma \}\)		\(\left\{ \left( \begin{array}{cc} 1 &{} 0 \\ 0 &{} -1 \end{array}\right) \;, \; \left\{ \left( \begin{array}{cc} 0 &{} \tilde{\sigma } \\ \sigma &{} 0 \end{array}\right) \right\} \right\} \)		\(\{\sigma \widetilde{\sigma }\}\)
\(10+1\)	\(\mathbf {32}\)			\(\mathbb {O}^4\)
\(9+1\)	\(\mathbf {16}\), \(\overline{\mathbf {16}}\)	\(\mathbb {O}^2\)				\(\mathbb {O}^2\)
\(6+1\)	\(\mathbf {16}\)			\(\mathbb {H}^4\)
\(5+1\)	\(\mathbf {8}\), \(\overline{\mathbf {8}}\)	\(\mathbb {H}^2\)				\(\mathbb {H}^2\)
\(4+1\)	\(\mathbf {8}\)			\(\mathbb {C}^4\)
\(3+1\)	\(\mathbf {4}\)	\(\mathbb {C}^2\)	\(\simeq \)	\(\mathbb {R}^4\)	\(\simeq \)	\(\mathbb {C}^2\)
\(2+1\)	\(\mathbf {2}\)	\(\mathbb {R}^2\)		\(\simeq \)		\(\mathbb {R}^2\)

Real ADE-Equivariant (co)Homotopy and Super M-Branes

Abstract

Notes

Acknowledgements

References

Copyright information

Authors and Affiliations

Personalised recommendations

Cite article