The existence of the rational projective plane (RPP) was first proposed by Poincaré, likely in his investigation concerning the realization of Betti numbers for manifolds. Whether RPPs exist in specific dimensions is closely related to the solvability of certain quadratic congruence equations. Furthermore, the study of their existence has also stimulated work on deriving explicit expressions for quantities related to index theorems. In this talk, we will discuss these developments.