Real projective space

Real projective space
Name	Real projective space
Latin	Spatia projectiva realis
Category	Topological manifold

Real projective space is a topological and geometric construction obtained by identifying antipodal points on the n‑sphere, central in the work of many mathematicians and appearing across Pierre de Fermat, Leonhard Euler, Carl Friedrich Gauss, Bernhard Riemann, Élie Cartan, Henri Poincaré, David Hilbert, Emmy Noether, John von Neumann, and Henri Lebesgue-era developments. It connects to classical subjects such as Euclid's geometry, Johannes Kepler's studies of spheres, and modern theories influenced by Alexander Grothendieck, Michael Atiyah, Raoul Bott, Jean-Pierre Serre, John Milnor, René Thom, and Michael Freedman. As an object, it appears in examples and applications involving David Mumford's moduli spaces, William Thurston's geometrization programs, and constructions used by Edward Witten and Simon Donaldson in gauge theory.

Definition and constructions

One standard construction identifies antipodal points of the n‑sphere S^n, a process historically related to work by Augustin-Jean Fresnel and formalized in the 19th century by Bernhard Riemann and Felix Klein; an equivalent construction forms the space of one‑dimensional linear subspaces of R^{n+1}, an approach used in the theories of David Hilbert and Emmy Noether. Algebraic projectivization interprets points as lines through the origin in R^{n+1}, paralleling the construction of complex projective varieties studied by Alexander Grothendieck and André Weil. The quotient map S^n -> RP^n intertwines with antipodal involution studied in transformation groups by Sophus Lie and later by Élie Cartan in connection with symmetric spaces.

Topological properties

Real projective space RP^n is a compact, Hausdorff manifold; its compactness is analogous to compact surfaces studied by Henri Poincaré and Felix Klein. Orientation properties vary: RP^n is nonorientable for odd n, a phenomenon appearing in classical topology treated by Poincaré and expanded by Lefschetz and Hurewicz. The fundamental group for n≥2 is Z/2Z, a calculation paralleling early fundamental group computations of Henri Poincaré and later expositions by Seifert and William Threlfall. Covering space theory connecting S^n and RP^n echoes the covering space classifications developed by Henri Poincaré and formalized by Lyndon and Schupp in combinatorial group theory.

Differential and geometric structure

As a smooth manifold, RP^n admits atlases compatible with the quotient smooth structure, methods refined in the work of Charles Ehresmann and André Lichnerowicz on fiberings and foliations. Riemannian metrics descend from the round metric on S^n; curvature properties relate to the comparison geometry of Marston Morse, Élie Cartan, and Marcel Berger. Geodesic behavior and conjugate point analyses mirror studies by Jacques Hadamard and inform rigidity theorems analogous to results of Mostow and Gromov in global Riemannian geometry. Symmetry groups acting on RP^n include orthogonal groups such as Élie Cartan's classical groups and the representation theory elucidated by Hermann Weyl.

Algebraic invariants (homotopy and homology)

Homology and cohomology of RP^n are classical calculations appearing in textbooks by Hatcher and lectures by Bott and Tu; the singular homology groups exhibit Z in dimension 0 and Z/2Z in many intermediate dimensions, with specific patterns depending on parity of n. Cohomology ring structure with Z/2Z coefficients is generated by a degree‑1 class, a computation central in the work of Jean-Pierre Serre and used in obstruction theory developed by M. H. Postnikov and J. H. C. Whitehead. Stable homotopy and the relationship to spheres connect to results of J. F. Adams on the Hopf invariant and to the Adams spectral sequence applied by Boardman and Novikov in cobordism theories. Steenrod operations on RP^n played a pivotal role in Norman Steenrod's development of cohomology operations and influenced later work by Serre and May.

Vector bundles and projective tangent bundle

The tautological line bundle over RP^n is a fundamental example in bundle theory as in Hermann Weyl's representation contexts and is used by Michael Atiyah and Friedrich Hirzebruch in K‑theory computations. Nontriviality of the tangent bundle for certain n connects to results by John Milnor on exotic structures and to obstruction invariants studied by René Thom and Bott in periodicity phenomena. The classification of vector bundles over RP^n via clutching functions uses classical homotopy groups analyzed by H. Hopf and later by J. H. C. Whitehead and plays into index theory developed by Atiyah and Singer.

Real projective spaces in low dimensions and examples

RP^1 is diffeomorphic to the circle S^1, a basic model in studies by Augustin-Louis Cauchy and Joseph Fourier; RP^2 is the projective plane that inspired nonorientable surface classification by Henri Poincaré and Max Dehn, with embeddings considered by William Thurston and obstructions by Kazimierz Kuratowski. RP^3 is diffeomorphic to the Lie group SO(3), central in rotational mechanics studied by Isaac Newton, Leonhard Euler, and modern rigid body theory elaborated by Sophus Lie and Wilhelm Killing. Higher RP^n arise in examples across topology, bundle theory, and geometric analysis used by Michael Freedman in 4‑manifold studies and by Edward Witten in field‑theoretic constructions.

Category:Topological spaces