Skip to main content
added 728 characters in body
Source Link
Dave Benson
  • 16.2k
  • 2
  • 42
  • 95

I'm editing this to reflect the discussion.

You might think that there cannot be an automorphism of ${\mathbb R}P^3$ that acts non-trivially on the degree one cohomology. But the bijection between the spin structures and degree one cohomology is not canonical, it's a torsor. So it may be possible for an automorphism to swap the two spin structures.

To fix conventions, a spin structure is a structure on a manifold with a given orientation. The space ${\mathbb R}P^3$ is orientable because $3$ is odd, and there is an orientation reversing automorphism interchanges themdiffeomorphism which gives a bijection between the two spin structures for one and the two spin structures for the other. SeeSo we fix an orientation.

Now in Section IV.B.(i) of Dabrowski and Trautman, "Spinor structures on spheres and projective spaces", in the second to last paragraph they give a topological way to distinguish the two spin structures, so there cannot be an orientation preserving diffeomorphism swapping them.

They then go on to make the claim that the two spin structures are related by an orientation reversing isometry. This I do not understand, and it misled me to give my original answer.

You might think that there cannot be an automorphism of ${\mathbb R}P^3$ that acts non-trivially on the degree one cohomology. But the bijection between the spin structures and degree one cohomology is not canonical, it's a torsor. The space ${\mathbb R}P^3$ is orientable because $3$ is odd, and an orientation reversing automorphism interchanges them. See Dabrowski and Trautman, "Spinor structures on spheres and projective spaces".

I'm editing this to reflect the discussion.

You might think that there cannot be an automorphism of ${\mathbb R}P^3$ that acts non-trivially on the degree one cohomology. But the bijection between the spin structures and degree one cohomology is not canonical, it's a torsor. So it may be possible for an automorphism to swap the two spin structures.

To fix conventions, a spin structure is a structure on a manifold with a given orientation. The space ${\mathbb R}P^3$ is orientable because $3$ is odd, and there is an orientation reversing diffeomorphism which gives a bijection between the two spin structures for one and the two spin structures for the other. So we fix an orientation.

Now in Section IV.B.(i) of Dabrowski and Trautman, "Spinor structures on spheres and projective spaces", in the second to last paragraph they give a topological way to distinguish the two spin structures, so there cannot be an orientation preserving diffeomorphism swapping them.

They then go on to make the claim that the two spin structures are related by an orientation reversing isometry. This I do not understand, and it misled me to give my original answer.

Post Undeleted by Dave Benson
added 302 characters in body
Source Link
Dave Benson
  • 16.2k
  • 2
  • 42
  • 95

TheYou might think that there cannot be an automorphism of ${\mathbb R}P^3$ that acts non-trivially on the degree one cohomology. But the bijection between the spin structures are classified by maps ${\mathbb R}P^3 \to {\mathbb R}P^\infty$and degree one cohomology is not canonical, it's a torsor. One of theseThe space ${\mathbb R}P^3$ is null homotopicorientable because $3$ is odd, the other isn'tand an orientation reversing automorphism interchanges them. See Dabrowski and Trautman, "Spinor structures on spheres and projective spaces".

The spin structures are classified by maps ${\mathbb R}P^3 \to {\mathbb R}P^\infty$. One of these is null homotopic, the other isn't.

You might think that there cannot be an automorphism of ${\mathbb R}P^3$ that acts non-trivially on the degree one cohomology. But the bijection between the spin structures and degree one cohomology is not canonical, it's a torsor. The space ${\mathbb R}P^3$ is orientable because $3$ is odd, and an orientation reversing automorphism interchanges them. See Dabrowski and Trautman, "Spinor structures on spheres and projective spaces".

Post Deleted by Dave Benson
Source Link
Dave Benson
  • 16.2k
  • 2
  • 42
  • 95

The spin structures are classified by maps ${\mathbb R}P^3 \to {\mathbb R}P^\infty$. One of these is null homotopic, the other isn't.