Spinh structure

Short description: Special tangential structure

In spin geometry, a spin^h structure (or quaternionic spin structure) is a generalization of a spin structure. In mathematics, these are used to describe spinor bundles and spinors, which in physics are used to describe spin, an intrinsic angular momentum of particles after which they have been named. Since spin^h structures also exist under weakened conditions, which might not allow spin structures, they provide a suitable alternative for such situations. Orientable manifolds with spin^h structures are called spin^h manifolds. H stands for the quaternions, which are denoted $\mathbb{ℍ}$ and appear in the definition of the underlying spin^h group.

Definition

Let $M$ be a $n$-dimensional orientable manifold. Its tangent bundle $TM$ is described by a classifying map $M\to \mathrm{BSO}(n)$ into the classifying space $\mathrm{BSO}(n)$ of the special orthogonal group $\mathrm{SO}(n)$. It can factor over the map ${\mathrm{BSpin}}^{\mathrm{h}}(n)\to \mathrm{BSO}(n)$ induced by the canonical projection ${\mathrm{Spin}}^{\mathrm{h}}(n)\twoheadrightarrow \mathrm{SO}(n)$ on classifying spaces. In this case, the classifying map lifts to a continuous map $M\to {\mathrm{BSpin}}^{\mathrm{h}}(n)$ into the classifying space ${\mathrm{BSpin}}^{\mathrm{h}}(n)$ of the spin^h group ${\mathrm{Spin}}^{\mathrm{h}}(n)$. Its homotopy class is called spin^h structure.

Assume $M$ has a spin^h structure. Let then ${\mathrm{Spin}}^{\mathrm{h}}(M)$ denote the set of spin^h structures on $M$. The first symplectic group $\mathrm{Sp}(1)$ is the second factor of the spin^h group and using its classifying space [[Principal U(1)-bundle|$\mathrm{BSp}(1):<math>{\mathrm{Spin}}^{\mathrm{h}}(M)\cong [M,\mathrm{BSp}(1)]\cong [M,\mathbb{ℍ}{P}^{\mathrm{\infty }}]\to [M,K(\mathbb{\mathbb{Z}},4)]\cong H^4(M,\mathbb{\mathbb{Z}}).$

The former isomorphism follows from the Puppe sequence for the fibration $\mathbb{ℍ}{P}^{\mathrm{\infty }}\hookrightarrow {\mathrm{BSpin}}^{\mathrm{h}}(n)\twoheadrightarrow \mathrm{BSO}(n)$ (when applying $[M,-]$). Although this map is not a bijection in general, it is in special cases, for example for a 4-manifold $M$.

Due to the canonical projection ${\mathrm{BSpin}}^{\mathrm{h}}(n)\to \mathrm{SU}(2)/{\mathbb{\mathbb{Z}}}_2==Properties==*Everyspinandevenevery[[Spincstructure|spin^cstructure]]inducesaspin^hstructure.Reverseimplicationsdo{n}^{\prime }tholdasthe[[Complexprojectiveplane|complexprojectiveplane]]<math>\mathbb{ℂ}{P}^2$ and the Wu manifold $\mathrm{SU}(3)/\mathrm{SO}(3)$ show.

• If an orientable manifold $M$ has a spin^h structure, then its fifth integral Stiefel–Whitney class $W_5(M)\in H^5(M,\mathbb{\mathbb{Z}})$ vanishes, hence is the image of the fourth ordinary Stiefel–Whitney class $w_4(M)\in H^4(M,\mathbb{\mathbb{Z}})$ under the canonical map $H^4(M,{\mathbb{\mathbb{Z}}}_2)\to H^4(M,\mathbb{\mathbb{Z}})$.
• Every compact orientable smooth manifold with seven or less dimensions has a spin^h structure.
• In eight dimensions, there are infinitely many homotopy types of closed simply connected manifolds without spin^h structure.
• For a compact spin^h manifold $M$ of even dimension with either vanishing fourth Betti number $b_4(M)=\dim H^4(M,\mathbb{ℝ})$ or the first Pontrjagin class $p_1(E)\in H^4(M,\mathbb{\mathbb{Z}})$ of its canonical principal $\mathrm{SO}(3)$-bundle $E\twoheadrightarrow M$ being torsion, twice its  genus $2\hat{A}(M)$ is integer.

The following properties hold more generally for the lift on the Lie group ${\mathrm{Spin}}^k(n):=(\mathrm{Spin}(n)\times \mathrm{Spin}(k))/{\mathbb{\mathbb{Z}}}_2$, with the particular case $k=3$ giving:

• If $M\times N$ is a spin^h manifold, then $M$ and $N$ are spin^h manifolds.
• If $M$ is a spin manifold, then $M\times N$ is a spin^h manifold iff $N$ is a spin^h manifold.
• If $M$ and $N$ are spin^h manifolds of same dimension, then their connected sum $M\mathrm{\#}N$ is a spin^h manifold.
• The following conditions are equivalent:
  • $M$ is a spin^h manifold.
  • There is a real vector bundle $E\twoheadrightarrow M$ of third rank, so that $TM\oplus E$ has a spin structure or equivalently $w_2(TM\oplus E)=0$.
  • $M$ can be immersed in a spin manifold with three dimensions more.
  • $M$ can be embedded in a spin manifold with three dimensions more.

Cohomology of infinite classifying space

The cohomology ring of the infinite classifying space ${\mathrm{BSpin}}^{\mathrm{h}}:=\underset{n\to \mathrm{\infty }}{\lim }{\mathrm{BSpin}}^{\mathrm{h}}(n)$ with coefficients in ${\mathbb{\mathbb{Z}}}_2$ can be expressed using Steenrod squares and Wu classes:

$H^{*}({\mathrm{BSpin}}^{\mathrm{h}},{\mathbb{\mathbb{Z}}}_2)\cong H^{*}(\mathrm{BSO},{\mathbb{\mathbb{Z}}}_2)/({\mathrm{Sq}}^1{\nu }_{2^r},r\ge 2).$

See also

• Spin^c structure

Literature

• Christian Bär (1999). "Elliptic symbols" (in en). Mathematische Nachrichten 201 (1). https://www.researchgate.net/publication/280877898. 
• Michael Albanese und Aleksandar Milivojević (2021). "Spin^h and further generalisations of spin" (in en). Journal of Geometry and Physics 164: 104–174. doi:10.1016/j.geomphys.2022.104709. 
• H. Blaine Lawson (2023-01-23). "Spinʰ Manifolds". arXiv:2301.09683v1 [math.DG].
• Jiahao Hu (2023-12-08). "Invariants of Real Vector Bundles". arXiv:2310.05061 [math.AT].

External links

• spinʰ structure on nLab