The Real Projective Plane
The real projective plane is a two-dimensional manifold - a closed surface. It is gained by adding a point at infinity to each line in the usual Euklidean plane, the same point for each pair of opposite directions, so any number of parallel lines have exactly one point in common, which cancels the concept of parallelism. The union of all points at infinity forms a line.
So, what does it look like?
Imagine sewing the edge of a Möbius strip, which is just one closed curve, to the boundary of a disk…
I created the pictures using the free software POV-Ray - Peristence of Vision Raytracer. Except for the first Boy Surface, which I drew by hand.
Can you bend your mind?
Imagine sewing the edge of a Möbius strip,
which is just one closed curve,
to the boundary of a disk…
Well, a disk is topologically seen the same as a hemisphere. The Möbius strip used in this image is the bottom half of a Klein Bottle.
Why is it called 'Projective Plane'?
To explain the origin of the term Projective Plane imagine two parallel lines in the real plane. The example of the rails of a railroad track works well (even though they are not in a plane). They seem to intersect at the horizon. This independently motivated Johannes Kepler and Gérard Desargues in the beginning of the 17th century, later also J. V. Poncelet, to extend the real plane by new points at which parallel lines intersect.
Nonorientability
A hemisphere, where diametrically opposite points of the equator are identified, serves as a model for the real projective plane. A closed surface is non-orientable if and only if it contains a closed curve along which orientation is reversed – a Möbius curve. A small neighborhood of a Möbius curve is a Möbius strip.
The image shows a Möbius strip within the real projective plane by following a projective line. The line is closed because of the antipodal equivalence relation, and orientation is reversed. Therefore the projective plane is non-orientable.
Formül
- \varphi: \mathbb P^2 \rightarrow \mathbb R^3 \,\, with \,\, \varphi := f\mid _{\mathbb P^2} \,\, and \,\, f \,\, as follows:
- f(x,y,z) := \left(xz, yz, \frac{1}{2}(z^2-x^2) \right)
The Crosscap
We are now trying to actually connect the edge of the hemisperical model of the real projective plane.
Imagine to deform the hemisphere like shown in the upper left of the image. Then each pair of opposite edges is sewn together forming a segment of self-intersection. Since there are only crosswise connections made, the constructed surface is called a crosscap, which is depicted in the upper right.
The segment of double points terminates in two so called pinch-points or branch-points (A and B). This type of singularity is called a Whitney umbrella, they occur in pairs. A neighborhood of point A is shown in the lower part of the picture.
The pictures were inspired by and the formula taken from:
Ulrich Pinkall. Modelle der reellen projektiven Ebene. In Gerd Fischer, editor, Mathematische Modelle, Aus den Sammlungen von Universitäten und Museen (Kommentarband), pages 69 – 73, Akademie-Verlag, Berlin, 1986.
Formül
- \varphi: \mathbb P^2 \rightarrow \mathbb R^3 \,\, with \,\, \varphi := f\mid _{\mathbb P^2} \,\, and \,\, f \,\, as follows:
- f(x,y,z) := \left(xy, yz, zx \right)
The Roman Surface
This shape was discovered by Jakob Steiner. While he stayed in Rome in 1844, he studied its geometrical properties - hence it is called Roman surface. However, it was his friend Karl Weierstraß, who first published a paper on the surface and Steiner’s results in 1863, the year of Steiner’s death.
There are three segments of intersection, which consist of double points and an ordinary triple point in the middle, where all three segments intersect. The end points of the self-intersections are Whitney umbrella singularities.
The pictures were inspired by and the formula taken from:
Ulrich Pinkall. Modelle der reellen projektiven Ebene. In Gerd Fischer, editor, Mathematische Modelle, Aus den Sammlungen von Universitäten und Museen (Kommentarband), pages 69 – 73, Akademie-Verlag, Berlin, 1986.
Boy's first surface
David Hilbert was convinced it is impossible to immerse the projective plane in common Euklidean three-dimensinal space, because he could not see how to eliminate the Whitney umbrellas, and he asked his student Werner Boy to prove it. To the surprise of his teacher, Boy constructed a smooth immersion in his doctoral thesis in 1901. He described it by giving the corresponding curves of its intersections with a family of parallel planes (see the left part of the picture, taken from Boy’s thesis). The right part shows a spatial version of Boy’s surface indicating the planar intersection curves.
Formül
- \begin{eqnarray*} 0&=&64\left(1-z\right)^3z^3-48\left(1-z\right)^2z^2\left(3x^2+3y^2+2z^2\right)\cdots\\ &&{}+12\left(1-z\right)z\left[27\left(x^2+y^2\right)^2-24z^2\left(x^2+y^2\right) \right.\cdots\\ &&\left.{}+36\sqrt{2}yz\left(y^2-3x^2\right)+4z^4\right] +\left(9x^2+9y^2-2z^2\right)\cdots\\ &&{}*\left[-81\left(x^2+y^2\right)^2-72z^2\left(x^2+y^2\right)+108\sqrt{2}xz\left(x^2-3y^2\right)+4z^4\right] \end{eqnarray*}
Boy's second surface
Boy’s first surface can be deformed into a three-fold symmetrical shape. So Boy constructed a second surface and again described it by giving its height levels, which can be seen in the left part of the image (taken from Boy’s thesis). The right part shows a spatial version cut at similar levels.
The formula is taken from:
François Apéry. Models of the real projective plane. Vieweg, Braunschweig / Wiesbaden, 1987.
Slice with saddles
This is a slice of Boy’s second surface. Three saddle points can be identified.
Formül
- \varphi: \mathbb P^2 \rightarrow \mathbb R^3, \,\,p \in \mathbb P^2 \, \, \varphi(p):=(f_1(p),f_2(p),f_3(p))
- \begin{eqnarray*} f_1(x,y,z)&=& \frac{1}{2}\left[\left(2x^2-y^2-z^2\right)\left(x^2+y^2+z^2\right)+2yz\left(y^2-z^2\right)\right.\cdots\\ & & \left.{}+zx\left(x^2-z^2\right)+xy\left(y^2-x^2\right)\right]\\ f_2(x,y,z)&=& \frac{\sqrt{3}}{2}\left[\left(y^2-z^2\right)\left(x^2+y^2+z^2\right)+zx\left(z^2-x^2\right)+xy\left(y^2-x^2\right)\right]\\ f_3(x,y,z)&=& \left(x+y+z\right)\left[\left(x+y+z\right)^3+4\left(y-x\right)\left(z-y\right)\left(x-z\right)\right] \end{eqnarray*}
different views of the Boy Surface
Each row of pictures shows the same perspective of the surface: in the first row it is seen from a point of view on the negative z-axis (for all 12 pictures the x-axis is situated horizontally in the paper), in the next rows the surface is rotated around the x-axis by 60°, 120° and 180°. In the first column the surfaces are shown uncut, the second column depicts each view of the surface cut by a plane normal to the viewing axis leaving only the part further away from the viewpoint for display (which includes the origin), for the pictures of the third column the cutting plane is moved to the origin and contains the x-axis. The lighting stays the same for all 12 pictures with respect to the viewpoint. The first and last figure of the third column are exact opposites of each other and can be glued together to form the closed Boy Surface.
The formula is taken from:
François Apéry. Models of the real projective plane. Vieweg, Braunschweig / Wiesbaden, 1987.
Three-Fold Symmetry
The (second) Boy surface can be cut into three mutually congruent pieces because of its three-fold symmetry. The picture shows the surface using a parametrization by Robert Bryant and additionally the same surface cut open and fallen apart to demonstrate the symmetry as well as the beauty inside.
Three-Bladed Propeller
The Boy Surface is a self-transversal immersion into Euklidean three-space. Hence, there are as many different tangent planes in a multiple point as there are preimages of that point. Triple points of self-transversal surfaces are isolated, Double points occur within curves, which are either closed, extend to infinity, terminate at the border or end in Whitney umbrellas.
The picture depicts the neighborhood of the self-intersection curve of Boy’s second surface, which is shaped like a three-bladed propeller. The colors where chosen to better distinguish the intersecting sheets of the surface, even though they all belong to the same surface.
Metamorphosis
It was Bernard Morin, who first thought of a transformation from the Roman surface to the Boy Surface by eliminating the six Whitney umbrellas in pairs. François Apéry gave an exact homotopy. The triple point and the axis of three-fold symmetry stay fixed throughout the metamorphosis. 15 stages of the deformation from the Roman surface (depicted in clear blue) to the Boy surface (depicted in clear red) are displayed.