The real projective space represented by is the space obtained from under the equivalence relation . Basically, is the set of lines which passed through the origin in . It can also be understood by identifying antipodal points(points which lie on opposite ends of the diameter) of a unit -sphere,.
One very basic yet deeply interesting example of these spaces is , known as the real projective plane. While is a points and is homeomorphic to a circle with infinity, the real projective plane turns out to be far more interesting indeed. It can’t be embedded in and its immersion/s such as Boy’s surface, Roman surface and Cross Cap have far stranger structures than a mere circle as in the case of . In fact, I will delineate some of the calculations involved in the Kusner-Bryant 3-dimensional parametrization of Boy’s surface. It’s a little fascinating how much complexity can be added to mathematical structures upon generalization especially in the case of the projective space which I believe have a remarkably simple and ‘non-threatening’ definition.
Before that, I’d like to discuss the simple CW structure of real projective space.
Throughout the post, I’ll let represent the category of topological spaces.
Also, represents the .
The essence of the CW structure is the attachment of these -dimensional balls along their boundaries(which are homeomorphic to ) to an arbitrary topological space through an attachment map which I’ll promptly describe below.
Here is a description for the attachment of an to a topological
Consider some topological space and let be a continuous function from the boundary of the to the space. is called the attachment map.
Now, the boundary inclusion is given by .
Through this construction, one obtains an adjunction space which is the pushout of the boundary inclusion of along . Attaching many such to a given topological space or to the empty set is the edifice of the construction of a CW complex. It can understood through the following commutative diagram.
The of a CW complex is the union of all cells whose dimension is less than or equal to .
CW Structure of
A good way is to build inductively from . If you consider the structure of through identification of antipodal points on , you can ‘forget about’ the points on the lower half of the circle as those points are all identifying with their corresponding point on the other half.
But along with the points on the upper plane satisfying there’s the unidentified points lying on the plane .
Look at that carefully! That explains all those ridiculous immersions of the real projective plane. But remember the circle, what is that? Oh yes, it is homeomorphic to . So before thinking about immersions or embedding, we can atleast conclude that:
If you wish to visualize the identification, think of the ball wrapping twice around the circle in order to connect the antipodes.
Now, with the help of the intuition gained from the structure of , we’re in the position to rigorously discuss the CW structure of real proejctive space and generalize.
the inclusion map is
and the attachment map is given by by definition.
But now remember that is a point, so building inductively,
So that means that there is one cell in each dimension from to . A good way to think of real projective space would be to give a basis to , then the of lies in the subspace spanned by the first basis vectors and each time a basis vector is added, a new direction is introduced in the CW complex.
Parametrization of Boy’s surface
Before I jump into the calculations, you can see this video on YouTube which shows how Boy’s surface is constructed.
The first discovered parametrization was given by determined by methods studied by Apery in the 1980s.
where where .
A few years after this parametrization was established, Robert Bryant and Rob Kusner discovered a new parametrization of Boy’s surface.
The interesting thing about Boy’s surface is that unlike the Roman surface and Cross Cap, it has no pinch points/singularities except self intersections. Also, it can be split into 3 congruent pieces due to the existence of an axis of discrete rotational symmetry(120 degrees).
The method to prove 3-fold symmetry is quite simple though it requires extnesively laborious calculations. Here, given a point on Boy’s surface where is a complex parameter in the unit disk, it suffices to show that a rotation of on the complex plane corresponds to a rotating Boy’s surface by on the Z-axis.
So let, and plug it into the equations. Then, using the identities,
doesn’t change but both do. Using these identities repeatedly and comparing the equations of and , we get:
Writing it in matrix notation,
That’s obviously a rotation matrix() corresponding to the Z-axis.