real projective plane

real projective plane
Name	Real projective plane
Caption	Projective plane model via antipodal identification on unit sphere
Orientability	Non-orientable
Fundamental group	Z/2Z (order 2)

real projective plane The real projective plane is a compact two-dimensional manifold obtained by identifying antipodal points of a sphere and is a fundamental example in Kleinian and Riemannian studies of surfaces. It appears in the work of projective geometers such as Poncelet, Cauchy, and Grassmann and plays a central role in classification theorems by Poincaré and Dehn. The surface is non-orientable, has Euler characteristic 1, and features in constructions by Hamilton and Cayley as a quotient of R2 or the sphere.

Definition and models

The standard definition presents the surface as the set of lines through the origin in R3, a quotient used by Schläfli and Möbius; equivalent models include the quotient of the unit sphere by the antipodal map, the disk with antipodal boundary identification studied by Listing, and the connected sum construction with torus components considered by Klein. Other realizations arise via projective coordinates in Plücker frameworks and in homogeneous models favored by Cartan and Beltrami. The model as a one-point compactification of a Möbius band links to work by Möbius and Listing.

Topological properties

Topologically the surface is a closed non-orientable 2-manifold with Euler characteristic 1, studied in classification results by Poincaré and formalized by Dehn and Rovelli. Its fundamental group is cyclic of order two, central in arguments by Brouwer and Morse on fixed-point phenomena, and its orientability failure is illustrated in constructions by Möbius and Mandelbrot-style visualizations. The surface admits no everywhere nonvanishing 2-form in the sense used by Cartan and links to obstruction theory developed by Steenrod and Whitehead.

Algebraic and geometric constructions

Algebraically it is described by homogeneous coordinates from projective geometry and matrix quotients appearing in algebraic topology texts by Hatcher and Spanier. Geometric realizations include embeddings in projective 3-space via Steiner constructions related to Steiner and quadrics treated by Blaschke. Coordinate charts arise from stereographic projection techniques used by Gauss and atlas constructions formalized by Cartan. The relation to line bundles appears in the work of Cartan and Weyl through the tautological line bundle over projective space.

Homology, cohomology, and homotopy

Homology groups are H0 ≅ Z, H1 ≅ Z/2Z, H2 ≅ 0 with cohomology reflecting a nontrivial first Stiefel–Whitney class studied by Stiefel and Whitney. Cohomology ring structure and cup products are treated in computations by Eilenberg and Steenrod, while the nontrivial mod 2 class links to Leray–Serre techniques developed by Leray and Serre. Homotopy groups relate to classical results by Hurewicz and to covering space theory as in expositions by Munkres and Hatcher, with the double cover given by the sphere studied by Poincaré.

Classification and embeddings

Within the classification of surfaces by Poincaré and Dehn, the real projective plane is the simplest non-orientable surface and serves as a building block via connected sums in the work of Klein and Riemann. Embedding results include the impossibility of embedding without self-intersection in R3 proven with methods akin to those of Steinitz and Alexander, and the existence of immersions with triple points studied by Whitney and Smale. Minimal embedding in projective 3-space and relations to nonorientable surfaces appear in analyses by Tait and Maxwell.

Applications and examples

The surface appears in classical projective constructions used by Poncelet and in modern applications to SIGGRAPH and visualization methods influenced by Sutherland and Catmull. Examples include models in Mathematics education by Gardner and in physical realizations informing studies by Conway and Knuth. The topology of the surface informs results in Smale theory and in classification problems addressed by Thurston and Perelman, and it features in combinatorial designs considered by Gödel-adjacent graph embeddings and in robotics configuration spaces studied by Karp and Fredman.

Category:Surfaces