Friday, October 05, 2007

Rotation group topology

Here is a video animation that illustrates the topology of the rotation group SO(3), which is the group of rotations in 3-dimensional space. My apologies for the small size and poor visual quality of the video - I am still experimenting with how best to generate animations and to upload them to blogger.

A rotation in 3-dimensional space can be done about an axis pointing in any direction, so there is a whole spherical surface of possible axis directions, which is represented by the sphere in the video. Each point on this spherical surface represents one possible orientation of the rotation axis, and the whole spherical surface is a 2-dimensional manifold representing all of the possible rotation axes. For the purpose of this blog posting only the topology of this manifold is important (i.e. it has a spherical topology); the detailed geometry of the surface is not important.

Once you have decided where the rotation axis points you then rotate about this axis, which generates a 1-dimensional angle subspace that lives outside the 2 angle dimensions that already live within the spherical manifold. Thus far the overall manifold is the original 2-dimensional spherical manifold (generated by the choice of axis direction) times a 1-dimensional manifold (generated by the choice of rotation). If you rotate by one full circuit (i.e. the rotation angle varies from 0 to 2Pi) then you appear to return to the starting point in the 1-dimensional angle subspace, so it seems that this subspace has a standard circular topology. But not all is what it seems to be.

The spherical manifold of possible rotation axes has a hidden degeneracy, because each rotation axis appears twice over. Each point on the sphere and its opposite point (i.e. its antipode) define rotation axes that are parallel, except that they have the opposite physical effect when a given rotation angle is applied about each of these two axes, i.e. the rotation axes are anti-parallel. So a rotation of x about one axis produces the same physical effect as a rotation of -x about its antipodal axis.

How does this degeneracy manifest itself topologically? The additional 1-dimensional angle subspace that is attached to each point on the spherical manifold must be identified with (i.e. glued to) the corresponding 1-dimensional angle subspace that is attached to the antipodal point on the spherical manifold.

This gluing-together of what were hitherto separate parts of the overall manifold imposes the constraint that a rotation of x about one axis produces the same physical effect to a rotation of -x about its antipodal axis. These constraints impose additional topological structure on the original 2-dimensional spherical manifold (generated by axis directions) times a 1-dimensional manifold (generated by rotations), because now antipodal points on the 2-dimensional spherical manifold are glued together via their attached 1-dimensional rotation angle subspaces.

This final glued version of the overall manifold captures all of the topological structure of the group of rotations in 3-dimensional space (i.e. SO(3)). It does not have the same topology as the unglued version because the gluing causes what were hitherto separate points on the manifold to become identified.

This gluing process is illustrated in the video, which shows how the gluing can be implemented by gradually morphing the 1-dimensional manifolds living at antipodal points on the 2-dimensional spherical manifold, until they eventually lie alongside each other ready to be glued together, and then they are finally coalesced into a single 1-dimensional manifold. Colour helps to identify corresponding points on the pair of yet-to-be-glued 1-dimensional manifolds, so that when the colours align with each other then the gluing operation can take place. It is clear from the video that this forces the pair of 1-dimensional manifolds to lie along a diameter of the sphere. Remember that the interior of the sphere is hitherto unused, so it is free to be used to represent rotation angle. Following the original 1-dimensional circular path from a point on the sphere back to itself again now corresponds to following a 1-dimensional path along a diameter of the sphere to its antipodal point, and then instantaneously returning to the starting point which has been glued to its antipodal point.

What consequences does this non-trivial topology have for rotations in 3-dimensional space? A rotation through 2Pi now corresponds to tracing a path along the diameter of the sphere from a point on the surface of the sphere to its antipodal point, and then returning instantaneously to the starting point. There is a non-trivial loop here because the path has clearly travelled somewhere else (i.e. the antipodal point) before returning home, and the loop can't be made to go away by moving it around inside (or on the surface of) the sphere, because the constraint that a pair of points on the path are antipodes is locked into the definition of the path.

So rotating by 2Pi in 3-dimensional space does not return you to where you started, because the path that you follow has a persistence that is enforced by the above antipodal locking-in effect. Of course, the physical object that you rotate has to have an appropriate physical sensitivity to rotation in order to observe this effect. A rotational scalar (e.g. the temperature of an object) will not show this effect, nor will a rotational vector (e.g. directions in 3-dimensional space) show this effect. An example of an object that does show this and other related effects is the Dirac Belt, where an object (i.e. the belt buckle) is rotated whilst the belt itself is used to retain a memory of what rotations have been applied to the buckle. After 2Pi rotation the belt is twisted so the overall state of the system is not the same as before the rotation was applied. The key to making an object that is physically sensitive to a rotation of 2Pi is that it must retain a memory of what rotations have been applied, which is equivalent to the object knowing about the path through the sphere discussed above. Obviously, there are many types of objects that exhibit this 2Pi sensitivity.

The best bit of all is that the locking-in effect of the pair of antipodal points can easily be neutralised by making an additional rotation of 2Pi, so that the overall rotation is 4Pi. This is illustrated in the case of the Dirac Belt, where the twist of the belt is zero after a 4Pi rotation, so the belt is not physically sensitive to rotating its buckle by 4Pi. The reason that the antipodal locking-in effect goes away when you rotate by 4Pi (i.e. make two circuits along a diameter through the sphere in the video) is that there are now two pairs of locked-in antipodal points, which can separately be moved around inside (or on the surface of) the sphere in such a way that the overall length of the loop can be made to go to zero, i.e. equivalent to no path at all. This interesting manipulation is not illustrated in the video.

So the topology of the rotation group SO(3) (i.e. the group of rotations in 3-dimensional space) is non-trivial as shown in the video, and it has highly non-trivial physical consequences such as those illustrated by the Dirac Belt.


Anonymous said...

Can these ideas be used to establish the spin-statistics relationship in the non-relativistic domain, or does one truly need relativistic QFT to do this?

Stephen Luttrell said...

Although I didn't mention it in my posting because I wanted to give a purely geometric intuitive description, everything that I said is summarised in group representation theory, where the irreducible representations of the rotation group split into two families.

Each member of the 0,1,2,.. family maps to plus itself under 2Pi rotation, whereas each member of the 1/2,3/2,5/2,... family maps to minus itself under 2Pi rotation, and to plus itself under 4Pi rotation. I mentioned the 0 (scalar), 1 (vector), and 1/2 (Dirac Belt) representations in my posting.

Of course, these numbers 0, 1/2, 1, ... are what we normally call spin, so we can interpret the +/-1 factor under 2Pi rotation as symmetry/antisymmetry under exchange of a pair of particles, which is really a 2Pi rotation of the exchanged particles around each other. This is usually known as the spin-statistics theorem.

So, we get the spin-statistics theorem from group representation theory alone, which is a classical concept that has nothing whatsoever to do with relativity, quantum mechanics, or any physics at all.

I often hear people say that spin (especially spin-1/2) is a quantum mechanical and/or relativistic concept, but given my description above this is clearly not true.

1. What quantum mechanics gives you is a model in which the spin-1/2 group representation is applied to describing the real-world physics of an elementary particle.

2. What special relativity gives you is an extension of SO(3) to SO(3,1), which (loosely speaking) can be shown to contain two rotation groups, one for each of the two types of chiral object travelling at the speed of light.

I was planning to give intuitive visual descriptions of these and other concepts in future blog postings.

Anonymous said...

John Baez gives a link to a sphere disappearing up its own annulus

How closely is this related to the subject of this post?

Stephen Luttrell said...

I watched the video, and I can see that I have some way to go before I can create beautiful-looking videos.

The only point in the video where I thought things seemed to be getting close to the issues of SO(3) topology that I talked about was at around 13:50, and especially when a belt was then used to illustrate a stored 2Pi twist, which is what you get when you exchange the ends of the belt by rotating them by 2Pi past each other.

A belt is a standard way of illustrating a stored twist, so the similarity between its use in the video and the Dirac Belt that I mentioned in my posting about the rotation group SO(3) is not surprising.

So, there is an overlap but not a match between the video and the subject of my posting. Also, SO(3) topology is much easier to understand than turning a sphere inside out!

Anonymous said...

Thanks for this. It's actually very useful for a project I'm doing at the moment on adiabatic computing. This appears to boil down to a group topology problem. I'm looking forward to your extension to SO(3,1) etc. that you promise in your comments. Are you going to extend any of this to the behaviour of the vector potential?

Stephen Luttrell said...

I will be extending this visualisation material to cover lots of different aspects of theoretical physics, but it is a long term (i.e. years) project using Mathematica, so don't hold your breath.

My main problem is to identify a small set of visualisation tools which are accessible to everyone, and which mutually dovetail together to form a coherent conceptual framework.

My main goal is to fill the explanatory gap that exists between (1) rigorous algebra, and (2) superficial journalistic descriptions. These are two completely different languages that have developed separately.

For simple physical phenomena that are within our everyday intuition it is easy to fill the gap between (1) and (2). However, for phenomena that are remote from everyday intuition, most (all?) people give up trying to fill this gap. This is where I hope to offer something that is both new and useful.

As for the vector potential, this will fall out automatically from visualisation of the U(1) gauge group, which is one of things that I will be covering.