Top-degree differential forms on even-dimensional real projective space are exact

ID: top-degree-differential-forms-on-even-dimensional-real-projective-space-are-exact

For the double covering and the antipodal map , every pulled-back top form satisfies . Since , its integral over the sphere is its own negative and hence vanishes. It is therefore exact on the sphere. Averaging a primitive under and descending it proves that is exact on real projective space.

New to topics? Read the docs here!