Before I begin discussing the Hopf fibration of the 3-spbhere, one of the simplest yet deeply profound example of a non-trivial fiber bundle, I’d like to recall the definition of a fiber bundle.
Let represent the entire space, base space and the fiber respectively where are connected. If is a continuous surjection onto the base space, then the structure is said to be a fiber bundle if for every , there exists a neighborhood of such that there exists a homeomorphism such that .
What this basically means is that locally, the fiber bundle looks like the product but globally, it may have different topological properties.
A trivial fiber bundle is a fiber bundle which in which the total space is . In fact, any fiber bundle over a contractible CW Complex is trivial.
The is the set of points in which satisfies .
It was proven by Heinz Hopf that the an be constructed as a non-trivial fiber bundle.
Here, the base space is and the fiber space is the circle,.
So, the fiber bundle structure is:
What’s really amazing is that this fiber bundle is very non-trivial. Watch this video on youtube to see a stereographic projection of on . Every circle in the projection is linked to every other circle in the manner of a Villarceau circle obtained by cutting a torus through its center at a particular angle. The stereographic projection preserves circles except the circle at the projection point , which is mapped to a ‘line of infinity’ or more appropriately, a circle of infinity.
The tori are formed because a circle in has the fiber circle linked to each point.
We know that and . A typical point of is and for is .
The original projection devised by Hopf was the following:
Clearly, the second component is real whereas the first is complex when . Since this is a projection on , it is easy to see that
Now, that the projection on has been settled, there remains to determine the fiber(which we already know to be ).
So, let for some distinct points .
for some complex number with . Also, every point where and .
Obviously the locus of points which satisfies is a circle. Hence, the fiber is a circle.
A quaternion is often represented as:
where are the fundamental quaternion units. The essence of most of the arguments that follow will be the fact that the utility of quaternions in spatial rotations can be exploited to study the fiber bundle structure of .
A versor is merely a quaternion with unit norm.
An imaginary quaternion is one in which the real part(i.e in the above expression) is zero.
A vector in can be identified as an imaginary quaternion.
The group of versors/unit quaternions ic represented as and is isomorphic to .
Given any versor/unit quaternion, it is well known that is a rotation of the vector (see this for more information). So now, we study the action of the group of versors on the vectors in .
Fix an imaginary quaternion . Clearly, the action:
defines a surjective homomorphism from to if is a point on . Now the main question is:which versor fixes the arbitrary vector ?
Consider two real numbers which satisfy . The versor fixes under the above map. Now obviously, this stabilizer of is isomorphic to .
Other fibrations involving only spheres?
Now that we have determined the fiber bundle structure of where the total space, base space and the fiber are all , the question arises if there are any other similar examples.
An obvious one is which has a trivial surjective homomorphism onto itself and the fiber is which is just a point.
Well, there actually is another example and that is known as the quaternionic Hopf fibration. It is a fibration of over where the fiber is .
Notice that can be thought of as a sphere on , so we can define a surjective homomorphism by where and .
Multiplication on can be defined on the sphere in in an obvious manner. So, factoring out by , one gets , the quaternionic projective line. Now, the main observation is that which completes the discussion on the fiber structure.
So, now are there any other examples. Yes, another example is the fiber bundle of over where the fiber is . Viewing as the octonionic projective line, , the fiber bundle structure in an analogous manner. This is called the Octonionic Hopf fibration.
Can we exploit similarities and hope for a generalization or at least a few more examples?
Sadly, the answer is no. In fact, a theorem of Frank Adam proves that these are the only fiber bundles where all the spaces involved are spheres through Hopf invariants. With the help of machinery from co-homology theory and the existenc eof the four normed division algebras, we’ll be to unravel Adam’s theorem. This is just the first part of a series of posts which will deal with Hopf fibrations, constructions, invariants and related concepts.