All Questions

$\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\SU{SU}$Let $(X,\Omega,\omega,J)$ be a manifold with an $\SU(4)$ structure. Since $\SU(4)\subset\Spin(7)$, $X$ also has a $\Spin(7)$-structure. I ...

$\DeclareMathOperator\Spin{Spin}$I am looking for a proof of a fact (I think it's true intuitively due to representation theory) in $\Spin(7)$ geometry. Let's take a closed $\Spin(7)$-manifold $(M^8,g)...

Let $M$ be a Spin$(7)$-manifold with a spin-bundle $S=S_+\oplus S_-$. There's an obvious connection on $S$ which comes from lifting the Levi-Civita connection. And it induces a connection on the ...

I am trying to understand the spaces constructed in R. L. Bryant and S. M. Salamon, On the construction of some complete metrics with exceptional holonomy. My first problem is, essentially, about ...

Here is an extract of the doctoral thesis of C. Lewis under the supervision of D. Joyce (https://people.maths.ox.ac.uk/joyce/theses/LewisDPhil.pdf, 1998): 2.6 Spin Bundles and the Dirac Operator To ...