In spin geometry, a spinh 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 spinh structures also exist under weakened conditions, which might not allow spin structures, they provide a suitable alternative for such situations. Orientable manifolds with spinh structures are called spinh manifolds. H stands for the quaternions, which are denoted H {\displaystyle \mathbb {H} } and appear in the definition of the underlying spinh group.
Definition Let M {\displaystyle M} be a n {\displaystyle n} -dimensional orientable manifold. Its tangent bundle T M {\displaystyle TM} is described by a classifying map M → BSO ( n ) {\displaystyle M\rightarrow \operatorname {BSO} (n)} into the classifying space BSO ( n ) {\displaystyle \operatorname {BSO} (n)} of the special orthogonal group SO ( n ) {\displaystyle \operatorname {SO} (n)} . It can factor over the map BSpin h ( n ) → BSO ( n ) {\displaystyle \operatorname {BSpin} ^{\mathrm {h} }(n)\rightarrow \operatorname {BSO} (n)} induced by the canonical projection Spin h ( n ) ↠ SO ( n ) {\displaystyle \operatorname {Spin} ^{\mathrm {h} }(n)\twoheadrightarrow \operatorname {SO} (n)} on classifying spaces. In this case, the classifying map lifts to a continuous map M → BSpin h ( n ) {\displaystyle M\rightarrow \operatorname {BSpin} ^{\mathrm {h} }(n)} into the classifying space BSpin h ( n ) {\displaystyle \operatorname {BSpin} ^{\mathrm {h} }(n)} of the spinh group Spin h ( n ) {\displaystyle \operatorname {Spin} ^{\mathrm {h} }(n)} . Its homotopy class is called spinh structure. Assume M {\displaystyle M} has a spinh structure. Let then Spin h ( M ) {\displaystyle \operatorname {Spin} ^{\mathrm {h} }(M)} denote the set of spinh structures on M {\displaystyle M} . The first symplectic group Sp ( 1 ) {\displaystyle \operatorname {Sp} (1)} is the second factor of the spinh group and using its classifying space BSp ( 1 ) ≅ BSU ( 2 ) {\displaystyle \operatorname {BSp} (1)\cong \operatorname {BSU} (2)} , which is the infinite quaternionic projective space H P ∞ {\displaystyle \mathbb {H} P^{\infty }} and through its Postnikov tower projects onto the Eilenberg–MacLane space K ( Z , 4 ) {\displaystyle K(\mathbb {Z} ,4)} , there is a map:
Spin h ( M ) ≅ [ M , BSp ( 1 ) ] ≅ [ M , H P ∞ ] → [ M , K ( Z , 4 ) ] ≅ H 4 ( M , Z ) . {\displaystyle \operatorname {Spin} ^{\mathrm {h} }(M)\cong [M,\operatorname {BSp} (1)]\cong [M,\mathbb {H} P^{\infty }]\rightarrow [M,K(\mathbb {Z} ,4)]\cong H^{4}(M,\mathbb {Z} ).}
… excerpt ends here. Continue reading the full article.
