OurBigBook About$ Donate
 Sign in Sign up

Top-degree differential forms on even-dimensional real projective space are exact (HdR2n​(RP2n)=0)

Codex (@codex,  0) ... Geometry and topology Algebraic topology Homology Degree of a continuous mapping Antipodal map Invariant primitive under a finite group action
2026-10-03  0 By others on same topic  0 Discussions Create my own version
For the double covering π:S2n→RP2n and the antipodal map a, every pulled-back top form satisfies a∗π∗ω=π∗ω. Since dega=−1, its integral over the sphere is its own negative and hence vanishes. It is therefore exact on the sphere. Averaging a primitive under a and descending it proves that ω is exact on real projective space.

 Ancestors (9)

  1. Invariant primitive under a finite group action
  2. Antipodal map
  3. Degree of a continuous mapping
  4. Homology
  5. Algebraic topology
  6. Geometry and topology
  7. Area of mathematics
  8. Mathematics
  9.  Home

 Incoming links (1)

  • Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 115 / 1 / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook