In Rotating and Reflecting Vectors Using Matrices we learned how to express rotations in -dimensional space using certain special matrices which form a **group** (see Groups) we call the special orthogonal group in dimension , or (together with other matrices which express reflections, they form a bigger group that we call the orthogonal group in dimensions, or ).

In this post, we will discuss rotations in -dimensional space. As we will soon see, notations in -dimensional space have certain interesting features not present in the -dimensional case, and despite being seemingly simple and mundane, play very important roles in some of the deepest aspects of fundamental physics.

We will first discuss rotations in -dimensional space as represented by the special orthogonal group in dimension , written as .

We recall some relevant terminology from Rotating and Reflecting Vectors Using Matrices. A matrix is called **orthogonal** if it preserves the magnitude of (real) vectors. The magnitude of the vector must be equal to the magnitude of the vector , for a matrix , to be orthogonal. Alternatively, we may require, for the matrix to be orthogonal, that it satisfy the condition

where is the **transpose** of and is the **identity matrix**. The word “**special**” denotes that our matrices must have **determinant** equal to . Therefore, the group consists of the orthogonal matrices whose determinant is equal to .

The idea of using the group to express rotations in -dimensional space may be made more concrete using several different formalisms.

One popular formalism is given by the so-called **Euler angles**. In this formalism, we break down any arbitrary rotation in -dimensional space into three separate rotations. The first, which we write here by , is expressed as a counterclockwise rotation about the -axis. The second, , is a counterclockwise rotation about an -axis *that rotates along with the object*. Finally, the third, , is expressed as a counterclockwise rotation about a -axis that, once again, has rotated along with the object. For readers who may be confused, animations of these steps can be found among the references listed at the end of this post.

The matrix which expresses the rotation which is the product of these three rotations can then be written as

.

The reader may check that, in the case that the rotation is strictly in the – plane, i.e. and are zero, we will obtain

.

Note how the upper left part is an element of , expressing a counterclockwise rotation by an angle , as we might expect.

Contrary to the case of , which is an **abelian group**, the group is *not* an abelian group. This means that for two elements and of , the product may not always be equal to the product . One can check this explicitly, or simply consider rotating an object along different axes; for example, rotating an object first counterclockwise by 90 degrees along the -axis, and then counterclockwise again by 90 degrees along the -axis, will not end with the same result as performing the same operations in the opposite order.

We now know how to express rotations in -dimensional space using orthogonal matrices. Now we discuss another way of expressing the same concept, but using “unitary”, instead of orthogonal, matrices. However, first we must revisit rotations in dimensions.

The group is not the only way we have of expressing rotations in -dimensions. For example, we can also make use of the unitary (we will explain the meaning of this word shortly) group in -dimension, also written . It is the group formed by the complex numbers with magnitude equal to . The elements of this group can always be written in the form , where is the angle of our rotation. As we have seen in Connection and Curvature in Riemannian Geometry, this group is related to **quantum electrodynamics**, as it expresses the **gauge symmetry** of the theory.

The groups and are actually **isomorphic**. There is a one-to-one correspondence between the elements of and the elements of which respects the group operation. In other words, there is a **bijective** function , which satisfies for , elements of . When two groups are isomorphic, we may consider them as being essentially the same group. For this reason, both and are often referred to as the **circle group**.

We can now go back to rotations in dimensions and discuss the group , the special unitary group in dimension . The word “**unitary**” is in some way analogous to “orthogonal”, but applies to vectors with complex number entries.

Consider an arbitrary vector

.

An orthogonal matrix, as we have discussed above, preserves the quantity (which is the square of what we have referred to earlier as the “magnitude” for vectors with real number entries)

while a unitary matrix preserves

where denotes the complex conjugate of the complex number . This is the square of the analogous notion of “magnitude” for vectors with complex number entries.

Just as orthogonal matrices must satisfy the condition

,

unitary matrices are required to satisfy the condition

where is the **Hermitian conjugate** of , a matrix whose entries are the complex conjugates of the entries of the transpose of .

An element of the group is therefore a unitary matrix whose determinant is equal to . Like the group , the group is also a group which is not abelian.

Unlike the analogous case in dimensions, the groups and are *not* isomorphic. There is no one-to-one correspondence between them. However, there is a homomorphism from to that is “two-to-one”, i.e. there are always two elements of that get mapped to the same element of under this homomorphism. Hence, is often referred to as a “**double cover**” of .

In physics, this concept underlies the weird behavior of quantum-mechanical objects called **spinors **(such as electrons), which require a rotation of 720, not 360, degrees to return to its original state!

The groups we have so far discussed are not “merely” groups. They also possesses another kind of mathematical structure. They describe certain shapes which happen to have no sharp corners or edges. Technically, such a shape is called a **manifold**, and it is the object of study of the branch of mathematics called **differential geometry**, which we have discussed certain basic aspects of in Geometry on Curved Spaces and Connection and Curvature in Riemannian Geometry.

For the circle group, the manifold that it describes is itself a circle. The elements of the circle group correspond to the points of the circle. The group is the surface of the – dimensional sphere, or what we call a -sphere (for those who might be confused by the terminology, recall that we are only considering the *surface *of the sphere, not the entire volume, and this surface is a -dimensional, not a -dimensional, object). The group is -dimensional **real projective space**, written . It is a manifold which can be described using the concepts of **projective geometry** (see Projective Geometry).

A group that is also a manifold is called a **Lie group** (pronounced like “lee”) in honor of the mathematician Marius Sophus Lie who pioneered much of their study. Lie groups are very interesting objects of study in mathematics because they bring together the techniques of group theory and differential geometry, which teaches us about Lie groups on one hand, and on the other hand also teaches us more about both group theory and differential geometry themselves.

References:

Rotation Group SO(3) on Wikipedia

Real Projective Space on Wikipedia

Algebra by Michael Artin

Pingback: Covering Spaces | Theories and Theorems

Pingback: Representation Theory and Fourier Analysis | Theories and Theorems