# Projective plane: a history

 An earlier version of this page was published in the Bulletin of the Manifold Atlas: screen, print. You may view the version used for publication as of 09:40, 13 May 2013 and the changes since publication.

The projective plane played an important role in the early history of manifolds (that is here surfaces), the projective space is a very natural example of a closed 3-manifold. The question how those intriguing objects were defined and how they were understood is difficult and complex, many details may be found in [Bioesmat-Martagon2010]).

The projective plane entered the history of topology with the idea to apply Riemann's tools to known surfaces as the algebraic ones. L. Schläfli used them to study surfaces of degree three, he got in contact with F. Klein by correspondence ([Klein1873]). Klein and Schläfli discussed the question of which type of connectivity is realized in non-orientable surfaces. Klein observed the basic fact that a projective straight line in the projective plane doesn't bound a region but it bounds if one runs through it twice ([Klein1873, 550]). This is the phenomenon later called torsion´´ by Poincaré. In this context Klein introduced his idea of a Doppelfläche´´ (double surface) and the notion of Einseitigkeit´´ (one-sidedness) or of surface with invertible indicatrix´´. Thus Klein was ready to understand that the closed surfaces fall into two classes: the orientable and the non-orientable ones ([Scholz1980], 164-170). Of course non-orientability was known since Listing and Möbius discovered the Möbius strip; but nobody applied the concept to closed surfaces. Even Jordan's classification of those surfaces (1866) didn't pay attention to the non-orientable case (for more details on Jordan cf. [Volkert2002, 49-55]).

It was not easy to understand the projective plane from a topological point of view but Klein found a useful model for it (cf. Figure 1). The points of the bounding circle are identified by pairs of diametric points.

Figure 1. Klein's model of the projective plane [Klein1927, 14]

The text of Klein's book published in 1927 ([Klein1927]) is much older; it goes back to a lecture course that Klein delivered in Göttingen during 1889-90. Klein's picture immediately suggests the idea that the projective plane is a sphere with a hole, the hole being closed by a Möbius strip (or - as it is later called - a crosscap). With the help of his model Klein also explains the reversibility of the indicatrix in the projective plane (cf. fig. Figure 2).

Figure 2. The little circle is reversed in travelling along a straight line in the projective plane [Klein1927, 15].

Klein's ideas were taken up by his pupil W. Dyck. In 1888 Dyck published a first long paper on topology; its principal theme was the classification of surfaces. Dyck was the first mathematician to present a complete list of closed surfaces including orientable and non-orientable surfaces as well. His main tool was a characteristic which he calculated with the help of a combinatorial structure on the surfaces. His main result was the following: Two surfaces are homeomorphic if and only if:

1. The surfaces are members of the same class, that is, surfaces with a non-reversible indicatrix or surfaces with a reversible indicatrix. 2. Their characteristics are the same. 3. The number of boundaries is the same.´´([Dyck1888], 488)

For a part of Dyck's classification consider Figure 3.

Figure 3. The first scheme yields the projective plane, the second the Möbius strip ([Dyck1888, table of illustrations]).

The picture of the projective plane (in the first line of Figure 3 on the left) given by Dyck became standard - may be we replace the circle by a square. The other picture (first line on the right) is intended to illustrate the crosscap; $K$$\newcommand{\Z}{\mathbb{Z}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\N}{\mathbb{N}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\F}{\mathbb{F}} \newcommand{\bZ}{\mathbb{Z}} \newcommand{\bR}{\mathbb{R}} \newcommand{\bC}{\mathbb{C}} \newcommand{\bH}{\mathbb{H}} \newcommand{\bQ}{\mathbb{Q}} \newcommand{\bF}{\mathbb{F}} \newcommand{\bN}{\mathbb{N}} \DeclareMathOperator\id{id} % identity map \DeclareMathOperator\Sq{Sq} % Steenrod squares \DeclareMathOperator\Homeo{Homeo} % group of homeomorphisms of a topoloical space \DeclareMathOperator\Diff{Diff} % group of diffeomorphisms of a smooth manifold \DeclareMathOperator\SDiff{SDiff} % diffeomorphism under some constraint \DeclareMathOperator\Hom{Hom} % homomrphism group \DeclareMathOperator\End{End} % endomorphism group \DeclareMathOperator\Aut{Aut} % automorphism group \DeclareMathOperator\Inn{Inn} % inner automorphisms \DeclareMathOperator\Out{Out} % outer automorphism group \DeclareMathOperator\vol{vol} % volume \newcommand{\GL}{\text{GL}} % general linear group \newcommand{\SL}{\text{SL}} % special linear group \newcommand{\SO}{\text{SO}} % special orthogonal group \newcommand{\O}{\text{O}} % orthogonal group \newcommand{\SU}{\text{SU}} % special unitary group \newcommand{\Spin}{\text{Spin}} % Spin group \newcommand{\RP}{\Rr\mathrm P} % real projective space \newcommand{\CP}{\Cc\mathrm P} % complex projective space \newcommand{\HP}{\Hh\mathrm P} % quaternionic projective space \newcommand{\Top}{\mathrm{Top}} % topological category \newcommand{\PL}{\mathrm{PL}} % piecewise linear category \newcommand{\Cat}{\mathrm{Cat}} % any category \newcommand{\KS}{\text{KS}} % Kirby-Siebenmann class \newcommand{\Hud}{\text{Hud}} % Hudson torus \newcommand{\Ker}{\text{Ker}} % Kernel \newcommand{\underbar}{\underline} %Classifying Spaces for Families of Subgroups \newcommand{\textup}{\text} \newcommand{\sp}{^}K$ is the number of crosscaps, $r$$r$ the number of boundary curves. Let me remark that Dyck's proof of his main result is not complete - what is lacking is the demonstration of the fact that every surface can be transformed into one of the normal forms in Dyck's classification ([Volkert2002, 60-72]). It should also be mentioned that Dyck realised the basic fact that two crosscaps can be transformed into one handle if at least one more cross caps stays. With Dyck's result the projective plane was integrated into a whole series of closed non-orientable surfaces; from a topological point of view it was well understood now.

From a topological point of view the case of the projective 3-space is much harder then that of the projective plane because the projective space is a 3-manifold. From a geometric point of view the difference between the two is not that big, even Desargues (1639) had no problem to work within projective space. The first contributions to the theory of 3-manifolds are due to W. Dyck. In his second - and last - long paper on topology he summarized his work on higher dimensional manifolds ([Dyck1890], cf. [Scholz1980]). Projective manifolds´´ (projektive Mannigfaltigkeiten´´ in Dyck's words) and the spheres are the two classes of examples of n-manifolds Dyck studied. There are two descriptions of projective manifolds $\mathbb{R}P^n$$\mathbb{R}P^n$ (of dimension $n$$n$ which is 3 or higher), one by using homogenuous coordinates, the other by identifying diametric points on the sphere $S^n$$S^n$. Dyck was able to calculate the $n$$n$-th Betti number of $\mathbb{R}P^n$$\mathbb{R}P^n$, which is 0 if $n$$n$ is odd and 1 if $n$$n$ is even. He concluded that $\mathbb{R}P^n$$\mathbb{R}P^n$ is orientable if $n$$n$ is odd and non-orientable otherwise ([Dyck1890, 283-284]).

Projective space also showed up in Poincaré's paper on Analysis situs´´ ([Poincaré1895]) but not with that name. There is a series of examples of closed 3-manifolds constructed by Poincaré which serve as testing cases for his theory. Most of Poincaré's examples are obtained out of a cube by identifications on its faces. But the fifth example is different: Its starting point is a solid octahedron. the points of its faces are identified using the symmetry to the center of the octahedron ([Poincaré1953, 233]). With the help of certain techniques based on his identifcation scheme Poincaré was able to calculate the fundamental group of his example - that is of $\mathbb{R}P^3$$\mathbb{R}P^3$: It is a group containing only two elements, that is in modern notation $\Zz_2$$\Zz_2$. Poincaré calculated also the first and the second Betti-number of his examples - both are 1. In this calculation he made a famous mistake in concluding that $2C\equiv0$$2C\equiv0$ implies $C\equiv{0}$$C\equiv{0}$ ($C$$C$ is a 1-cycle) ([Poincaré1953, 245]). After the critique by Heegard (1898) Poincaré refined his theory in his first complement ([Poincaré1899]) by distinguishing between homology with and homology without division (in this context he cited only his third example - the later so called quaternion space where he concluded $C\equiv0$$C\equiv0$ from 4$C\equiv0$$C\equiv0$), in the second complement ([Poincaré1900]) he found an effective method to calculate torsion coefficients (using incidence matrices). In the case of his fifth example he found such a coefficient in dimension 1 with value 2 ([Poincaré1953, 353]). So we may state that in 1900 Poincaré arrived at a complete knowledge of the standard topological invariants of 3-dimensional projective space!