Mod-two diagonal class of the real projective plane
ID: mod-two-diagonal-class-of-the-real-projective-plane
The cohomology ring of the product of two real projective planes is , with . Pairing against , and identifies the Poincare dual of the diagonal as . For a self-map with , the graph pullback evaluates on the mod-two fundamental class as . Thus no graph of a map on the whole projective plane can avoid the diagonal. The argument uses a relative Thom class and does not assume transverse intersections.
New to topics? Read the docs here!