search

pi-base / data

A community database of topological counterexamples
https://topology.pi-base.org/
Creative Commons Attribution 4.0 International
72 stars 25 forks source link

Add projective plane #893

Open danflapjax opened 2 days ago

danflapjax commented 2 days ago

Great suggestion; I've been meaning to add this for a while since it would give an example of a nontrivial homogeneous space with the fixed point property. (The real projective plane would be another nice one to add, but that's worthy of a separate issue.)

Originally posted by @danflapjax in https://github.com/pi-base/data/issues/760#issuecomment-2344394836

GeoffreySangston commented 2 days ago

Also mentioned here https://github.com/pi-base/data/issues/874#issuecomment-2463483560