In spin geometry, a spinc group (or complex spin group) is a Lie group obtained by the spin group through twisting with the first unitary group. C stands for the complex numbers, which are denoted C {\displaystyle \mathbb {C} } . An important application of spinc groups is for spinc structures, which are central for Seiberg–Witten theory.
Definition The spin group Spin ( n ) {\displaystyle \operatorname {Spin} (n)} is a double cover of the special orthogonal group SO ( n ) {\displaystyle \operatorname {SO} (n)} , hence Z 2 {\displaystyle \mathbb {Z} _{2}} acts on it with Spin ( n ) / Z 2 ≅ SO ( n ) {\displaystyle \operatorname {Spin} (n)/\mathbb {Z} _{2}\cong \operatorname {SO} (n)} . Furthermore, Z 2 {\displaystyle \mathbb {Z} _{2}} also acts on the first unitary group U ( 1 ) {\displaystyle \operatorname {U} (1)} through the antipodal identification y ∼ − y {\displaystyle y\sim -y} . The spinc group is then:
Spin c ( n ) := ( Spin ( n ) × U ( 1 ) ) / Z 2 {\displaystyle \operatorname {Spin} ^{\mathrm {c} }(n):=\left(\operatorname {Spin} (n)\times \operatorname {U} (1)\right)/\mathbb {Z} _{2}}
with ( x , y ) ∼ ( − x , − y ) {\displaystyle (x,y)\sim (-x,-y)} . It is also denoted Spin C ( n ) {\displaystyle \operatorname {Spin} ^{\mathbb {C} }(n)} . Using the exceptional isomorphism Spin ( 2 ) ≅ U ( 1 ) {\displaystyle \operatorname {Spin} (2)\cong \operatorname {U} (1)} , one also has Spin c ( n ) = Spin 2 ( n ) {\displaystyle \operatorname {Spin} ^{\mathrm {c} }(n)=\operatorname {Spin} ^{2}(n)} with:
Spin k ( n ) := ( Spin ( n ) × Spin ( k ) ) / Z 2 . {\displaystyle \operatorname {Spin} ^{k}(n):=\left(\operatorname {Spin} (n)\times \operatorname {Spin} (k)\right)/\mathbb {Z} _{2}.}
Low-dimensional examples
Spin c ( 1 ) ≅ U ( 1 ) ≅ SO ( 2 ) {\displaystyle \operatorname {Spin} ^{\mathrm {c} }(1)\cong \operatorname {U} (1)\cong \operatorname {SO} (2)} , induced by the isomorphism Spin ( 1 ) ≅ O ( 1 ) ≅ Z 2 {\displaystyle \operatorname {Spin} (1)\cong \operatorname {O} (1)\cong \mathbb {Z} _{2}}
Spin c ( 3 ) ≅ U ( 2 ) {\displaystyle \operatorname {Spin} ^{\mathrm {c} }(3)\cong \operatorname {U} (2)} , induced by the exceptional isomorphism Spin ( 3 ) ≅ Sp ( 1 ) ≅ SU ( 2 ) {\displaystyle \operatorname {Spin} (3)\cong \operatorname {Sp} (1)\cong \operatorname {SU} (2)} . Since furthermore Spin ( 2 ) ≅ U ( 1 ) ≅ SO ( 2 ) {\displaystyle \operatorname {Spin} (2)\cong \operatorname {U} (1)\cong \operatorname {SO} (2)} , one also has Spin c ( 3 ) ≅ Spin h ( 2 ) {\displaystyle \operatorname {Spin} ^{\mathrm {c} }(3)\cong \operatorname {Spin} ^{\mathrm {h} }(2)} .
… excerpt ends here. Continue reading the full article.
