Contents
Context
Group Theory
group theory
Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
Spin geometry
Contents
Idea
The Pin group in dimension 2.
Properties
Let be the quaternions generated from unit imaginaries , with , with a copy of the complex numbers identified as
Identify the circle group with the unit circle in this way
with group structure now thought of as given by multiplication of quaternions. Then the Pin group is isomorphic to the subgroup of the group of units of the quaternions which consists of this copy of SO(2), together with the multiples of the imaginary quaternion with this copy:
(1)
This is in fact inside the unit sphere Spin(3), whence we have a canonical inclusion
(2)
Properties
Relation to orthogonal and binary dihedral groups
By the classification of the finite subgroups of Spin(3) this means that the restriction of to the inclusion of the dihedral group into the orthogonal group is the binary dihedral group :
(3)
To make this fully explicit:
With the presentation (1) we are to identify the plane with the linear span of the generators and
where we may think of
The action of on is by conjugation in . Hence we have plane rotation operators
acting on as
(in the last line we used the sum-of-angles trigonometric identities)
and in addition the reflection operator acting as
(hence inverting the y-axis).
Together these clearly generate the group O(2). Since the conjugation action assignment
has kernel , this exhibits as the double cover of O(2).
To note here that under the inclusion (2), the above inversion of the axis in 2D corresponds to rotation around the x-axis, in 3D!
Appearance in Seiberg-Witten theory and Floer homology
On a spin 4-manifold, the -symmetry of the Seiberg-Witten equations enhances to a -symmetry (Furuta 01). Because of this, -equivariance appears in Seiberg-Witten theory and Floer homology. See the references below.
References
-equivariant homotopy theory/equivariant cohomology theory
application to Seiberg-Witten theory and Floer homology:
-
Mikio Furuta, Monopole equation and the -conjecture Mathematical Research Letters, Volume 8, Number 3, (2001).
-
Ciprian Manolescu, -equivariant Seiberg-Witten Floer homology and the Triangulation Conjecture (arXiv:1303.2354)
-
Matthew Stoffregen, -equivariant Seiberg-Witten Floer homology of Seifert fibrations (arXiv:1505.03234)
-
Matthew Stoffregen, A Remark on -Equivariant Floer Homology, Michigan Math. J. Volume 66, Issue 4 (2017), 867-884 (euclid:1508810818)
-equivariant KO-theory:
- Jianfeng Lin, Pin(2)-equivariant KO-theory and intersection forms of spin four-manifolds, Algebr. Geom. Topol. 15 (2015) 863-902 (arXiv:1401.3264)