# Rotations of the three-sphere and symmetry of the Clifford Torus

## Introduction

It is known (and intuitively believable) that the spheres in $`^3`$ are characterized by being the only compact surfaces with planes of symmetry whose normals exhaust all possible directions. That is, if $`S`$ is a compact surface and, for each unit vector $`𝕟`$ in $`^3`$, there is some plane $`\mathrm{\Pi }`$ with normal $`𝕟`$ such that $`S`$ is invariant under reflection in $`\mathrm{\Pi }`$, then $`S`$ is a sphere. Technically, $`S`$ could be some collection of concentric spheres, but this can be fixed by requiring explicitly that $`S`$ be connected, i.e., a single surface. The point is that spheres can be characterized by their (reflectional) symmetry.

In this paper we describe an analogous symmetry condition for a certain surface, the Clifford torus. Our task is complicated by the fact that this torus is located in the three-sphere, $`𝕊^3`$, where our intuition from $`^3`$ is of limited use. For this reason we will employ a certain transformation, stereographic projection, that allows us to realize $`𝕊^3`$ (at least most of it) in the Euclidean space $`^3`$. In fact, our symmetry condition will apply, more properly, to the stereographic projections of the Clifford torus. Furthermore, our symmetry condition is substantially more complicated than the simple one above for spheres, and we discuss at some length why it is a natural one.

Another objective of the paper is to give what we consider novel, geometrically based, expositions of several well known topics. (Some of these are mentioned briefly below.) From this point of view, we offer an introduction to $`𝕊^3`$ that we hope is a geometric counterpart to the algebraic treatment in, for example, .

The paper is organized as follows. In the following §1 we review stereographic projection of $`𝕊^2`$ and discuss a decomposition formula for rotations of $`𝕊^2^3`$. We show, in particular, that projections of rotations of great circles are circles in $`^2`$ whose size and position are given in terms of the parameters of the decomposition. This discussion is somewhat artificial because it is easy to show that the projection of essentially any circle in $`𝕊^2`$ is a circle in $`^2`$ whose center and radius are easy to calculate. This is the case, however, owing to the fact that a circle in $`𝕊^2`$ is the intersection of an affine subspace (a plane) with $`𝕊^2`$. This luxury is not afforded us by the Clifford torus, and the decomposition technique presented here will be used with considerable advantage in the more complicated higher dimensional case. Furthermore, our discussion of stereographic projection of $`𝕊^2`$ is used in §2 to give an exposition of symmetry for planar sets, and it provides intuition for the higher dimensional stereographic projection considered in §3.

We also give considerable attention to building up intuition about rotations, especially rotations of $`^4`$ since we consider $`𝕊^3`$ as a subset of $`^4`$. Recall that rotations of $`^2`$ (centered at zero) can be represented by matrices of the form

$$\left(\begin{array}{cc}\mathrm{cos}\theta & \mathrm{sin}\theta \\ \mathrm{sin}\theta & \mathrm{cos}\theta \end{array}\right).$$

That is, given a rotation $`R:^2^2`$ there is a matrix $`M`$ of the form given above such that for each vector $`𝕩`$, we have that $`R(𝕩)`$ is given by the matrix multiplication $`M𝕩`$. Through such a representation we are immediately presented with two algebraic facts, namely that $`R`$ is linear and that $`\mathrm{det}M=1`$. It is also easy to check from this representation that $`R`$ is orthogonal, i.e., it preserves the orthonormality of bases. Many authors define a rotation of $`^3`$ to be an orthogonal linear transformation corresponding to a matrix of determinant 1. This definition is concise and computationally convenient, but we find it unintuitive. It can perhaps be argued (via the parallelogram rule) that linearity is an intuitive assumption, but the role played by the determinant is difficult to see geometrically for rotations of $`^3`$, much less for rotations of $`^4`$. In an appendix to this paper we take the point of view that rotations are rigid motions (i.e., distance preserving transformations) that fix the origin and result from smooth “homogeneous” motions. We then prove linearity, orthogonality, and representation by matrices of determinant 1 (thereby showing the two definitions are equivalent). This appendix may be read at any time, but we recommend reading it after §1 and before §3.

In §2 we introduce circles of Apollonius and show that their symmetry as a family of planar curves is a natural generalization of the symmetry exhibited by concentric circles. We incorporate in this discussion an explanation of why symmetry and reflection about circles are natural generalizations of symmetry and reflection about lines. Furthermore, we observe that the generalized symmetry exhibited by circles of Apollonius is described naturally in terms of a line of centers $`l`$. More precisely, given a family of circles of Apollonius $`𝒜`$, we can find, for each point $`𝕩`$ on $`l`$, an orthogonal Steiner circle $`C`$ with center $`𝕩`$ and the property that every circle in $`𝒜`$ is symmetric with respect to $`C`$. Finally, we observe that this formulation of generalized symmetry can be easily extended to surfaces in $`^3`$. This sets the stage for our main (and we believe original) result which is roughly as follows. Given any stereographic projection $`Q`$ of the Clifford torus, there is a line $`l`$ in $`^3`$, and for each point $`𝕩`$ on $`l`$ there is a sphere $`S`$ centered at $`𝕩`$ so that $`Q`$ is symmetric with respect to $`S`$. See Figure 5. A careful statement and proof, which include conditions on the radii of the spheres of symmetry, are given in §3. The proof follows, in outline, the discussion of §1 and §2.

From a wider perspective, the Clifford torus and its stereographic projections are interesting surfaces primarily due to curvature considerations that are beyond the scope of this paper. More primitively, they are interesting because they are critical points for certain functionals—which they are believed to minimize. For further information, see . In this framework, the Clifford torus plays a role in $`𝕊^3`$ similar to that of the plane and the sphere in $`^3`$. It has Gauss curvature and mean curvature zero like the plane, and it has constant mean curvature and is compact like the sphere. The symmetry properties shown in this paper may be considered as a first step in getting a feel for curvature of surfaces in $`𝕊^3`$, and while the main result stated above may seem curious at first sight, it is completely analogous to the observation that any sphere in $`^3`$ has a plane of reflective symmetry with any given normal direction.

We extend our thanks to Ed Bueler, David Hoffman, and Silvio Levy who gave us useful comments that greatly improved the exposition.

## 1 Stereographic Projection

In this section we consider the two-dimensional sphere $`𝕊^2`$ as a subset of $`^3`$:

$$𝕊^2=\{𝕩=(x,y,z):|𝕩|=1\}.$$

As usual $`|𝕩|=\sqrt{x^2+y^2+z^2}`$.

We are interested in a map called stereographic projection that sends $`𝕊^2`$ (except for one point) into the $`x,y`$-plane, and we are interested in how the image of a certain set changes as the sphere is rotated. To be precise, stereographic projection $`\pi `$ given by

$$\pi (𝕩)=\frac{1}{1z}(x,y)$$
(1)   
maps $`𝕊^2\backslash \{(0,0,1)\}`$ onto $`^2=\{(x,y,0)\}`$ in a one-to-one fashion.

###### Exercise 1

Show that $`\pi `$ is one-to-one and onto.

The map (1) has a convenient geometric interpretation:

> Each point $`𝕡𝕊^2\backslash \{(0,0,1)\}`$ determines a unique line passing through $`𝕡`$ and $`(0,0,1)`$. The line $`l`$, in turn, intersects the $`x,y`$-plane in a unique point $`𝕢`$. We set $`\pi (𝕡)=𝕢`$.

###### Exercise 2

Using this geometric statement as a definition, derive formula (1) for $`\pi `$.

The geometric definition makes sense for any point in $`^3`$ with third component not equal to 1. In this way $`\pi `$ may be extended from $`𝕊^2\backslash \{(0,0,1)\}`$ to $`^3\backslash \{(x,y,1)\}`$. We call this extended map $`\overline{\pi }`$. Does formula (1) still apply?

Next we consider the equator circle

$$C=\{𝕩𝕊^2:x^2+y^2=1\}=\{𝕩:x^2+y^2=1,z=0\}$$

in the sphere. The stereographic projection $`\pi (C)`$ of $`C`$ is particularly simple—it is $`C`$ itself.

What happens if we first rotate the sphere and then stereographically project? Say we rotate about the $`y`$-axis for example—by an angle $`\varphi `$. If we call this rotation $`R_\varphi ^y`$, then $`R_\varphi ^y(C)=\{(x\mathrm{cos}\varphi ,y,x\mathrm{sin}\varphi ):x^2+y^2=1\}`$, and the stereographic projection is

$$\pi R_\varphi ^y(C)=\{(\frac{x\mathrm{cos}\varphi }{1x\mathrm{sin}\varphi },\frac{y}{1x\mathrm{sin}\varphi }):x^2+y^2=1\}.$$
(2)   
This set in the plane is (perhaps) not so easy to recognize.

On page 19 of , however, Lars Ahlfors gave a nice way to look at it: $`R_\varphi ^y(C)`$ is the intersection of a plane $`P=\{𝕩:x\mathrm{sin}\varphi z\mathrm{cos}\varphi =0\}`$ with $`𝕊^2`$. If we could find an inverse map $`\pi ^1:^2𝕊^2`$, then

$$\pi R_\varphi ^y(C)=\{𝕒=(a,b):\pi ^1(𝕒)P\}.$$

Stereographic projection on $`𝕊^2\backslash \{(0,0,1)\}`$ does have an inverse (though the extended map $`\overline{\pi }`$ does not—why?). The formula for the inverse is

$$\pi ^1(𝕒)=\frac{1}{|𝕒|^2+1}(2a,2b,|𝕒|^21).$$

###### Exercise 3

Derive this formula for $`\pi ^1`$.

The statement $`\pi ^1(𝕒)P`$ now translates into an equation:

$$2a\mathrm{tan}\varphi +a^2+b^2=1.$$

Such an equation, as we know, represents a circle,

$$(a\mathrm{tan}\varphi )^2+b^2=\mathrm{sec}^2\varphi ,$$

with center $`(\mathrm{tan}\varphi ,0)`$ and radius $`r=|\mathrm{sec}\varphi |`$.

If you think about what happens to $`C`$ when the sphere is rotated, it is fairly clear that the simple rotation $`R_\varphi ^y`$ is typical. In particular, $`\pi R(C)`$ should be a circle for any rotation $`R`$ of $`𝕊^2`$. One way to make this precise is to decompose an arbitrary rotation $`R`$ into simple coordinate rotations like $`R_\varphi ^y`$. The following theorem gives such a decomposition.

###### Theorem 4

Any rotation $`R`$ is the composition of three rotations—one about the $`z`$-axis, one about the $`y`$-axis, and another about the $`z`$-axis. Thus, there are angles $`\theta `$, $`\varphi `$, and $`\psi `$ such that

$$R=R_\psi ^zR_\varphi ^yR_\theta ^z.$$

Proof. The simple rotations $`R_\theta ^z`$, $`R_\varphi ^y`$, and $`R_\psi ^z`$, like rotations of $`^2`$, can be represented by matrices. For example,

$$R_\psi ^z(𝕩)=\left(\begin{array}{ccc}\mathrm{cos}\psi & \mathrm{sin}\psi & 0\\ \mathrm{sin}\psi & \mathrm{cos}\psi & 0\\ 0& 0& 1\end{array}\right)𝕩$$

for every $`𝕩^3`$. Consequently, these rotations are linear transformations of $`^3`$. Moreover, we show in the appendix that all rotations are linear. Because of this, we only need to find $`\theta `$, $`\varphi `$, and $`\psi `$ such that $`R_\psi ^zR_\varphi ^yR_\theta ^z`$ and $`R`$ agree on an orthonormal basis.

Let $`𝕖_1=(1,0,0)`$, $`𝕖_2=(0,1,0)`$ and $`𝕖_3=(0,0,1)`$. Notice that for any $`\theta `$ we have $`R_\theta ^z(𝕖_3)=𝕖_3`$ so that $`R_\psi ^zR_\varphi ^yR_\theta ^z(𝕖_3)=R_\psi ^zR_\varphi ^y(𝕖_3)`$. Thus, we want to find $`\varphi `$ and $`\psi `$ such that, in particular,

$$R(𝕖_3)=R_\psi ^zR_\varphi ^y(𝕖_3)=\left(\begin{array}{c}\mathrm{cos}\psi \mathrm{sin}\varphi \\ \mathrm{sin}\psi \mathrm{sin}\varphi \\ \mathrm{cos}\varphi \end{array}\right)$$
(3)   
where the second equality is by direct calculation. On the other hand, $`R(𝕖_3)`$ is some unit vector $`(u_1,u_2,u_3)`$, and since $`|u_3|1`$, we can find an angle $`\varphi `$ with $`\mathrm{cos}\varphi =u_3`$. If $`|u_3|=1`$, then $`\mathrm{sin}\varphi =0`$ and (3) holds. Otherwise, $`\mathrm{sin}\varphi 0`$ and $`(u_1/\mathrm{sin}\varphi )^2+(u_2/\mathrm{sin}\varphi )^2=1`$. Thus, for some angle $`\psi `$, $`\mathrm{cos}\psi =u_1/\mathrm{sin}\varphi `$, $`\mathrm{sin}\psi =u_2/\mathrm{sin}\varphi `$, and again (3) holds.

We have then for any $`\theta `$, $`R_\psi ^zR_\varphi ^yR_\theta ^z(𝕖_3)=R(𝕖_3)`$. It remains to choose $`\theta `$ so that $`R_\psi ^zR_\varphi ^yR_\theta ^z(𝕖_j)=R(𝕖_j)`$ for $`j=1`$ and $`2`$.

Let $`S=R_\psi ^zR_\varphi ^y`$ and note that $`S^1R(𝕖_3)=𝕖_3`$. Therefore, $`S^1R`$ induces a rotation $`R_\theta `$ (by some angle $`\theta `$) on $`^2`$. That is, $`S^1R(𝕖_j)=R_\theta (𝕖_j)`$ for $`j=1`$ and $`2`$. Since $`R_\theta `$ extends to a rotation $`R_\theta ^z`$ on $`^3`$ we are done. $`\mathrm{}`$

We can now apply Theorem 4 as follows.

$`\pi R(C)`$ $`=`$ $`\pi R_\psi ^zR_\varphi ^yR_\theta ^z(C)`$   
$`=`$ $`R_\psi ^z\pi R_\varphi ^y(C).`$   
This set is the circle $`(a\mathrm{tan}\varphi )^2+b^2=\mathrm{sec}^2\varphi `$ rotated by an angle $`\psi `$, i.e., it is the circle with center $`(\mathrm{cos}\psi \mathrm{tan}\varphi ,\mathrm{sin}\psi \mathrm{tan}\varphi )`$ and radius $`r=|\mathrm{sec}\varphi |`$.

###### Exercise 5

Show that any circle in $`𝕊^2`$ stereographically projects to a circle in $`^2`$, and any circle in $`^2`$ is the projection of a circle in $`𝕊^2`$. Hint: A circle in $`𝕊^2`$ is the intersection of a plane in $`^3`$ with $`𝕊^2`$.

We will need one other fact about the stereographic projection $`\pi :𝕊^2^2`$:

###### Lemma 6

If $`C_1`$ and $`C_2`$ are two (smooth) curves in $`𝕊^2`$ that intersect at a point $`𝕡`$ in an angle $`\gamma `$, then the image curves $`\pi (C_1)`$ and $`\pi (C_2)`$ intersect at $`\pi (𝕡)`$ in the same angle $`\gamma `$.

This property is expressed by saying that $`\pi `$ is conformal. Henry Wente told us a short proof of Lemma 6 which we have included in an appendix. For another proof, we refer the reader to the classic book  by David Hilbert.

## 2 Symmetry

When we described the stereographic projection of a rotation of the equator circle ($`\pi R(C)`$) in the last section, we ignored the unpleasant possibility that $`C`$ had been rotated onto $`(0,0,1)`$—where stereographic projection is not defined. This happens, of course, when the angle $`\varphi `$ of the preceding section is $`\pi /2`$. Our analysis in that case is flawed since $`\mathrm{tan}\varphi `$ and $`\mathrm{sec}\varphi `$ are not defined, and in fact the image of $`R(C)`$ (aside from the point $`(0,0,1)`$) is then a line in $`^2`$. It is one of our objectives in this section to address this apparent difficulty. Our second and main objective is to generalize in a natural way our intuitive notion of symmetry, so that we can introduce the symmetry assertion of the main theorem.

The analysis of stereographic projection of circles that pass through $`(0,0,1)`$ is simple. For example, if we take $`\varphi =\pi /2`$, then in place of (2) we have

$`\pi R_{\pi /2}^y(C\backslash \{(1,0,0)\})`$ $`=`$ $`\{(0,{\displaystyle \frac{y}{1x}}):x^2+y^2=1,x1\}`$   
$`=`$ $`\{(0,\pm \sqrt{{\displaystyle \frac{1+x}{1x}}}):1x<1\}.`$   
The last set is clearly the line $`x=0`$, since $`(1+x)/(1x)`$ maps $`[1,1)`$ monotonely onto $`[0,\mathrm{})`$. The more general cases can be handled similarly. What we really wish to emphasize, however, is the following: because circles in $`𝕊^2`$ that pass through $`(0,0,1)`$ are geometrically identical to other circles that do not, it is natural for our purposes to view straight lines in $`^2`$ as circles with (infinite radius and) one point at $`\mathrm{}`$.

For starters, this viewpoint allows Exercise 5 to make sense as stated. More importantly it illustrates how sets and structures in $`𝕊^2`$ can provide insight for terminology and constructions in $`^2`$. We proceed further along this line presently.

The symmetry of a circle in $`^2`$ is perhaps most easily described in terms of its center. Given a point $`𝕡`$ in a circle $`A`$ with center $`𝕒`$, $`A`$ is generated by rotating $`𝕡`$ about $`𝕒`$. The same circle can also be generated by reflecting $`𝕡`$ about each of the lines through $`𝕒`$. This latter characterization will be the one of interest to us.

###### Definition 7

A set $`A^2`$ has Euclidean reflectional symmetry with respect to a point $`𝕒^2`$ if, for each line $`E`$ passing through $`𝕒`$, we have $`\psi _E(A)=A`$, where $`\psi _E:^2^2`$ is the reflection about $`E`$.

###### Exercise 8

Show that any such set (with Euclidean reflectional symmetry) is a union of concentric circles with center $`𝕒`$.

If, as we have suggested, lines should be considered simply as circles with infinite radius, then it is natural to ask for a definition of symmetry in which reflection about lines is replaced with reflection about circles. Extrapolating directly from the definition above we might try to replace the family of symmetry lines passing through $`𝕒`$ with a family of symmetry circles passing through a common point $`𝕒`$. Unfortunately, the full geometric situation is not completely evident from considering the plane alone. Again we turn to stereographic projection. The inverse image of each line through $`𝕒`$ is a circle in $`𝕊^2`$ passing through $`\pi ^1(𝕒)`$ and $`(0,0,1)`$. (There are two points of intersection.) If one then rotates slightly this family of circles in $`𝕊^2`$ and stereographically projects, a family of circles in $`^2`$ is obtained that pass through two distinct points $`𝕒_1`$ and $`𝕒_2`$, as shown on the left in Figure 4. Note that this family also contains the line determined by $`𝕒_1`$ and $`𝕒_2`$. We call the circles that pass through two given points $`𝕒_1`$ and $`𝕒_2`$ Steiner symmetry circles. We use these circles to generalize the symmetry lines in Definition 7.

It remains to specify, for each circle $`S`$ passing through $`𝕒_1`$ and $`𝕒_2`$, a transformation $`\psi _S:^2^2`$ which we will call reflection about $`S`$. Again we look to the sphere for intuition. What transformation of $`𝕊^2`$ corresponds to reflection about a line in $`^2`$? If $`E`$ is a line in $`^2\backslash \{\mathrm{𝟘}\}`$, then the inverse image of $`E`$ is some circle $`C`$ in $`𝕊^2`$ passing through $`(0,0,1)`$. Furthermore, there is a unique point $`𝕔=(c_1,c_2,1)`$ such that the segments connecting $`𝕔`$ to $`C`$ form a right circular cone (tangent to $`𝕊^2`$), n.b., Figure 2. The point $`𝕔`$ can now be used to define a transformation $`\mathrm{\Psi }_C:𝕊^2𝕊^2`$:

> For each point $`𝕡𝕊^2`$, the line determined by $`𝕡`$ and $`𝕔`$ intersects $`𝕊^2`$ in a set $`\{𝕡,𝕢\}`$. We set $`\mathrm{\Psi }_C(𝕡)=𝕢`$.

Note that this definition is much like the geometric definition of stereographic projection. The reader can check (and we will show below) that $`\mathrm{\Psi }_C`$ corresponds to the reflection $`\psi _E`$ in the sense that $`\psi _E=\pi \mathrm{\Psi }_C\pi ^1`$. This construction also works if $`E`$ passes through $`\mathrm{𝟘}`$—though in that case the transformation $`\mathrm{\Psi }_C`$ is simply given by reflection about the plane determined by $`C`$.

Notice that the fact $`C`$ passes through $`(0,0,1)`$ is not required for the geometric definitions of $`\mathrm{\Psi }_C`$ to make sense. That is, for any circle $`C`$ in $`𝕊^2`$, if $`C`$ is not a great circle, it defines a cone point<sup>1</sup><sup>1</sup>1Or horizon point. See  for other interesting properties of this point. In particular, $`\overline{\pi }(𝕔)`$ is the center of $`\pi (C)`$. $`𝕔`$, and the definition above gives a transformation $`\mathrm{\Psi }_C`$ of $`𝕊^2`$ that is geometrically identical (modulo rotation) to one that corresponds to Euclidean reflection. For great circles we use the alternative construction.

Going back to $`^2`$, we may start with any circle (or straight line) $`S`$, take $`C=\pi ^1(S)`$ and apply the construction described above to obtain a transformation $`\psi _S=\pi \mathrm{\Psi }_C\pi ^1`$ of $`^2\backslash \{𝕒=\overline{\pi }(𝕔)\}`$. This is the transformation we call reflection about $`S`$.

We proceed to derive a formula for $`\psi _S:^2\backslash \{𝕒\}^2`$. Notice first that if $`C^{}`$ is a circle in $`𝕊^2`$ that meets $`C`$ in right angles at points $`𝕡_1`$ and $`𝕡_2`$, then $`C^{}`$ lies in the plane determined by $`𝕔`$, $`𝕡_1`$ and $`𝕡_2`$, and one sees from this that $`\mathrm{\Psi }_C(C^{})=C^{}`$. It follows moreover, since $`\pi `$ is an angle and circle preserving transformation, that any circle $`S^{}`$ in $`^2`$ which is orthogonal to $`S`$ is mapped by $`\psi _S`$ into itself. Thus, consider a point $`𝕡`$ inside $`S`$ as shown in Figure 3. Let $`S^{}`$ be the line determined by the center of $`S`$ and $`𝕡`$. There is also a circle $`S^{\prime \prime }`$ which passes through $`𝕡`$, meets $`S`$ orthogonally, and has its center on $`S^{}`$. Since $`\psi _S(S^{}\backslash \{𝕒\})=S^{}\backslash \{𝕒\}`$, $`\psi _S(S^{\prime \prime })=S^{\prime \prime }`$, and $`\psi _S(𝕡)𝕡`$, it follows that $`\psi _S(𝕡)=𝕡^{}`$ is the other point of intersection of $`S^{}`$ and $`S^{\prime \prime }`$.

Moreover, if $`𝕒`$ is the center of $`S`$ and $`𝕢SS^{\prime \prime }`$, then triangles $`𝕒𝕢𝕡`$ and $`𝕒𝕢𝕡^{}`$ are similar. It follows that $`|𝕡𝕒||𝕡^{}𝕒|=\rho ^2`$ where $`\rho `$ is the radius of $`S`$. The same reasoning applies if $`𝕡`$ lies outside of $`S`$, and we obtain the formula

$$𝕡^{}=\psi _S(𝕡)=\rho ^2\frac{𝕡𝕒}{|𝕡𝕒|^2}+𝕒$$
(4)   
for reflection about the circle $`S`$ in $`^2`$ with center $`𝕒`$ and radius $`\rho `$. This same discussion applied to the case when $`C`$ passes through $`(0,0,1)`$ and $`S=E`$ is a straight line provides a proof of the assertion made above that $`\mathrm{\Psi }_C`$ corresponds to $`\psi _E`$.

Finally we have the following

Definition A set $`A^2`$ has generalized reflectional symmetry if there are two distinct points $`𝕒_1`$ and $`𝕒_2`$ such that for each Steiner circle $`S`$ passing through $`𝕒_1`$ and $`𝕒_2`$, $`\psi _S(A)=A`$ where $`\psi _S`$ is reflection about $`S`$. 

We may allow one of the points $`𝕒_1`$ or $`𝕒_2`$ to be at $`\mathrm{}`$, in which case the circles $`S`$ are all the lines passing through the other point. Furthermore, it can be shown (in analogy to Exercise 8) that if $`A`$ has generalized reflectional symmetry, then $`A`$ is a union of circles, each of which is orthogonal to all the circles through $`𝕒_1`$ and $`𝕒_2`$. We will not need this fact, but it is a special case of an assertion proved in . These circles are called circles of Apollonius, and once it is known that they are circles, it is easy to show the following. (See Figure 4.)

###### Lemma 9

The circles of Apollonius determined by the Steiner circles through $`𝕒_1`$ and $`𝕒_2`$ in $`^2`$ are disjoint and are in one to one correspondence with their centers which comprise the line $`E`$ passing through $`𝕒_1`$ and $`𝕒_2`$ except for the segment between $`𝕒_1`$ and $`𝕒_2`$. Let $`𝕞_0=(𝕒_1+𝕒_2)/2`$. The circle of Apollonius with center $`𝕒^2`$ has radius $`r=\sqrt{d^2\rho _0^2}`$ where $`d=|𝕒𝕞_0|`$ and $`\rho _0=|𝕒_1𝕒_2|/2`$.

The centers of the Steiner circles also form a line $`l`$, and once we know the point $`𝕞_0=(𝕒_1+𝕒_2)/2`$ on $`l`$ and the reference distance $`\rho _0=|𝕒_1𝕒_2|/2`$, we can express generalized reflectional symmetry without reference to $`𝕒_1`$ or $`𝕒_2`$ as follows.

###### Definition 10

A set $`Q`$ has generalized reflectional symmetry along a line $`l`$ if, for each point $`𝕒l`$, we have $`\psi _S(Q)=Q`$, where $`\psi _S`$ is given by (4) with $`\rho =\sqrt{d^2+\rho _0^2}`$ and $`d=|𝕒𝕞_0|`$.

Notice finally that formula (4) makes sense for points $`𝕒`$ and $`𝕡`$ in $`^3`$ and gives a generalization of reflection about circles to reflection about spheres. Thus, this statement of generalized symmetry can be applied to sets $`Q^3`$.

In the next section we use this formulation and take $`Q`$ to be a stereographic projection of the Clifford torus.

## 3 Stereographic projection of the Clifford Torus

The unit sphere in $`^4`$ is the three-dimensional space

$$𝕊^3=\{𝕩=(x,y,z,w):|𝕩|=1\}.$$

Because we are used to visualizing things that are described by three Euclidean coordinates (i.e., things in $`^3`$), it is often difficult to see what objects look like in $`𝕊^3`$. For this reason, it is convenient to use a stereographic projection $`\pi :𝕊^3\backslash \{(0,0,0,1)\}^3`$. The formula for such a map is similar to the one for $`𝕊^2`$:

$$\pi (𝕩)=\frac{1}{1w}(x,y,z),$$

and a similar geometric description applies as well.

We are interested in a particular geometric object in $`𝕊^3`$ called the Clifford torus:

$$𝒞=\{𝕩:x^2+y^2=1/2=z^2+w^2\}.$$

The stereographic projection $`\pi (𝒞)`$ of the Clifford torus is particularly nice because of its symmetry.

###### Exercise 11

Show that $`\pi (𝒞)`$ is rotationally symmetric with respect to the $`z`$-axis in $`^3=\{(x,y,z,0)\}`$.

What is the intersection of $`\pi (𝒞)`$ with the $`x,z`$-plane?

From Exercise 11 it is clear that $`\pi (𝒞)`$ is described by its intersection with the half planes $`\mathrm{\Pi }_\theta =\{(r\mathrm{cos}\theta ,r\mathrm{sin}\theta ,z):r>0\}`$. In fact, it is enough to know only $`\pi (𝒞)\mathrm{\Pi }_0`$.

As with circles in $`𝕊^2`$, rotating the three-sphere (i.e., moving $`𝒞`$ around in $`𝕊^3`$) changes the stereographic projection. Since the rotated surface is geometrically identical to $`𝒞`$ however, one might expect that some kind of symmetry of the projection is preserved. In fact, we show the following.

###### Theorem 12

Let $`R`$ be any rotation of $`𝕊^3^4`$. The surface $`Q=\pi R(𝒞)`$ has generalized symmetry in the sense described in the last section.

We will, as we did in §1, consider first a particular rotation and then show that that rotation is typical via a decomposition formula (Theorem 14) for general rotations. With hindsight from the decomposition formula, we consider the rotation $`R_\psi ^{xw}`$ of the $`x,w`$-plane corresponding to the matrix

$$\left(\begin{array}{cccc}\mathrm{cos}\psi & 0& 0& \mathrm{sin}\psi \\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ \mathrm{sin}\psi & 0& 0& \mathrm{cos}\psi \end{array}\right).$$

###### Proposition 13

Let $`Q=Q(\psi )=\pi R_\psi ^{xw}(𝒞)`$.

If $`\psi =0`$, then $`Q=Q_0`$ has generalized reflectional symmetry along the $`z`$-axis.

If $`0<|\psi |\pi /2`$, then $`Q`$ has generalized reflectional symmetry along the vertical line $`(x,y)=(\mathrm{tan}\psi ,0)`$ and along the horizontal line $`(x,z)=(\mathrm{cot}\psi ,0)`$.

Let $`R`$ be the rotation of $`^3`$ about the $`x`$-axis by $`\pi /2`$. Then

$`Q(\psi +\pi /2)=R(Q(\psi ))`$, and

$`Q(\psi +\pi )=Q(\psi )`$, for all $`\psi `$.

In particular, $`Q=Q(\psi )`$ has generalized reflectional symmetry for all $`\psi `$.

###### Theorem 14

Any rotation $`R`$ of $`𝕊^3^4`$ is a composition

$$R=R_0R_\psi ^{xw}R_\varphi ^{zw}R_\theta ^{xy}$$
(5)   
where $`R_0`$ is the trivial extension<sup>2</sup><sup>2</sup>2For a precise definition see the appendix on rotations. to $`^4`$ of a rotation of $`^3=\{(x,y,z,0)\}`$ and $`R_\theta ^{xy}`$ is the trivial extension$`^\text{2}`$ to $`^4`$ of a rotation of $`^2=\{(x,y,0,0)\}`$ etc..

Before we prove Proposition 13 and Theorem 14 we will show that they imply Theorem 12. It is easy to check (see Lemma 17 below) that rotations of the $`x,y`$ and $`z,w`$-planes leave $`𝒞`$ invariant. Furthermore, if $`S`$ is any set in $`𝕊^3\backslash \{(0,0,0,1)\}`$ and $`R_0`$ is a rotation of $`\{(x,y,z,0)\}`$ as above, then $`\pi R_0(S)=R_0\pi (S)`$. To see this, let $`R_0(x,y,z,0)=(x^{},y^{},z^{},0)`$ and note that

$`\pi R_0(x,y,z,w)`$ $`=`$ $`\pi (x^{},y^{},z^{},w)`$   
$`=`$ $`{\displaystyle \frac{1}{1w}}(x^{},y^{},z^{},0)`$   
$`=`$ $`R_0\left({\displaystyle \frac{1}{1w}}(x,y,z,0)\right)`$   
$`=`$ $`R_0\pi (x,y,z,w).`$   
Thus, using the decomposition formula (5) we have

$`\pi R(𝒞)`$ $`=`$ $`\pi R_0R_\psi ^{xw}R_\varphi ^{zw}R_\theta ^{xy}(𝒞)`$   
$`=`$ $`R_0\pi R_\psi ^{xw}(𝒞).`$   
The set $`\pi R_\psi ^{xw}(𝒞)`$ is described in Proposition 13. The rotation $`R_0`$ only changes that description by a rigid rotation in $`^3`$. In particular, $`\pi R(𝒞)`$ has generalized reflectional symmetry. $`\mathrm{}`$

Proof of Proposition 13. Part (i) follows from Exercise 11 where one finds that Definition 10 is satisfied with $`𝕞_0=\mathrm{𝟘}^3`$ and $`\rho _0=1`$. Therefore, the sphere of symmetry with center $`𝕒=(0,0,c)`$ which we denote by $`S=S_\rho (𝕒)`$ has radius

$$\rho =\sqrt{1+c^2}.$$
(6)   
For $`0<|\psi |\pi /2`$ we will show that $`C=\pi ^1(S)`$ determines a transformation $`\mathrm{\Psi }_C`$ of $`𝕊^3`$. This construction is analogous to the discussion in §2 of circles $`C𝕊^2`$. Moreover, we will again have the correspondence $`\psi _S=\pi \mathrm{\Psi }_C\pi ^1`$ where $`\psi _S`$ is the reflection about $`S`$. Furthermore, a geometrically identical transformation $`\mathrm{\Psi }_{\stackrel{~}{C}}`$ will be determined by $`\stackrel{~}{C}=R_\psi ^{xw}(C)`$, and $`\mathrm{\Psi }_{\stackrel{~}{C}}`$ will correspond to reflection about the sphere $`\stackrel{~}{S}=\pi (\stackrel{~}{C})`$. The spheres $`\stackrel{~}{S}`$ thus corresponding to the spheres $`S=S_\rho (𝕒)`$ will be symmetry spheres for $`Q=Q(\psi )`$ that satisfy Definition 10. Of course, at this point we do not even know that $`\stackrel{~}{S}`$ is a sphere. We give now a precise higher dimensional version of Exercise 5 which will establish this fact. For the statement we use the notation $`\underset{¯}{𝕟}=(n_1,n_2,n_3)`$ when $`𝕟=(n_1,n_2,n_3,n_4)`$ and the notation $`(𝕟,n_4)=(n_1,n_2,n_3,n_4)`$ when $`𝕟=(n_1,n_2,n_3)`$.

###### Lemma 15

Let $`\mathrm{\Pi }=\{𝕩=(x,y,z,w):𝕟𝕩=e\}`$ be a three-plane in $`^4`$. If $`(0,0,0,1)\mathrm{\Pi }`$, then

$$\pi (\mathrm{\Pi }𝕊^3)=\{𝕒=(a,b,c):\left|𝕒\frac{\underset{¯}{𝕟}}{n_4e}\right|^2=\frac{n_4+e}{n_4e}+\frac{|\underset{¯}{𝕟}|^2}{(n_4e)^2}\}$$
(7)   
(which is a sphere). If $`(0,0,0,1)\mathrm{\Pi }`$, then

$$\pi (\mathrm{\Pi }𝕊^3\backslash \{(0,0,0,1)\})=\{𝕒:\underset{¯}{𝕟}𝕒=n_4\}$$
(8)   
(which is a plane).

On the other hand, let $`S=\{𝕒:|𝕒𝕒_0|^2=\rho ^2\}`$ be a sphere in $`^3`$. Then $`\pi ^1(S)=\mathrm{\Pi }𝕊^3`$ where

$$\mathrm{\Pi }=\{𝕩:(2𝕒_0,\rho ^2|𝕒_0|^2+1)𝕩=\rho ^2|𝕒_0|^21\}.$$
(9)   
Let $`P=\{𝕒:𝕟𝕒=e\}`$ be a plane in $`^3`$. Then $`\pi ^1(P)\{(0,0,0,1)\}=\mathrm{\Pi }𝕊^3`$ where

$$\mathrm{\Pi }=\{𝕩:(𝕟,e)𝕩=e\}.$$
(10)   
Since we have given explicit equations, Lemma 15 follows from simple substitution using the formulas for $`\pi `$ and $`\pi ^1`$, and we omit the proof. Note that equations (7) and (8) allow degenerate cases corresponding to $`\mathrm{\Pi }𝕊^3\{(0,0,0,1)\}`$. In our applications below however, we will know that $`\mathrm{\Pi }𝕊^3`$ is nontrivial.

Recall that $`S=S_\rho (𝕒)`$ is a sphere of symmetry for $`Q_0`$. One sees from (9) and (6) that $`C=\pi ^1(S)=\mathrm{\Pi }𝕊^3`$ where $`\mathrm{\Pi }=\{𝕩:(𝕒,1)𝕩=0\}`$. Note that $`\mathrm{\Pi }`$ passes through $`\mathrm{𝟘}^4`$, i.e., $`C`$ is a great sphere in $`𝕊^3`$. Let $`𝕟=(𝕒,1)`$ be the normal to $`\mathrm{\Pi }`$. We consider the reflection $`\mathrm{\Psi }_C`$ of $`𝕊^3`$ about $`\mathrm{\Pi }`$ defined by

$$\mathrm{\Psi }_C(𝕩)=𝕩\frac{2𝕩𝕟}{|𝕟|^2}𝕟.$$
(11)   
To see that $`\psi _S=\pi \mathrm{\Psi }_C\pi ^1`$, we extend the discussion of Figure 3 in §2. Let $`S^{}=\{𝕒^{}:𝕟^{}(𝕒^{}𝕒)=0\}`$ be a plane orthogonal to $`S`$. According to (10) we have $`\pi ^1(S^{})\{(0,0,0,1)\}=\mathrm{\Pi }^{}𝕊^3`$ where $`\mathrm{\Pi }^{}=\{𝕩:(𝕟^{},𝕟^{}𝕒)𝕩=𝕟^{}𝕒\}`$. Since $`(𝕟^{},𝕟^{}𝕒)𝕟=(𝕟^{},𝕟^{}𝕒)(𝕒,1)=0`$, we see that $`\mathrm{\Psi }_C(\mathrm{\Pi }^{})=\mathrm{\Pi }^{}`$. Consequently, $`\pi \mathrm{\Psi }_C\pi ^1(S^{}\backslash \{𝕒\})=S^{}\backslash \{𝕒\}`$. It follows similarly that $`\pi \mathrm{\Psi }_C\pi ^1(S^{\prime \prime })=S^{\prime \prime }`$ for any sphere $`S^{\prime \prime }`$ orthogonal to $`S`$.

It then follows that formula (4) gives the value of $`\pi \mathrm{\Psi }_C\pi ^1(𝕡)`$, and hence that $`\psi _S=\pi \mathrm{\Psi }_C\pi ^1`$. To see this, we can apply the discussion of Figure 3 in §2 where we interpret $`S`$, $`S^{}`$ and $`S^{\prime \prime }`$ as $`S_\rho (𝕒)`$, a plane (orthogonal to the paper), and a sphere respectively. Technically, we should also introduce the plane of the paper $`S^{\prime \prime \prime }`$ which can be used to show that $`𝕡^{}S^{\prime \prime \prime }`$.

There is nothing special about $`S=S_\rho (𝕒)`$ in this reasoning, except that its inverse image is a great sphere. We have actually shown the following.

###### Lemma 16

Let $`S`$ be any sphere or plane in $`^3`$ whose inverse image $`C=\pi ^1(S)`$ is determined by a three-plane $`\mathrm{\Pi }=\{𝕩𝕟=0\}`$ through $`\mathrm{𝟘}^4`$. Then the reflection $`\psi _S`$ about $`S`$ is given by $`\psi _S=\pi \mathrm{\Psi }_C\pi ^1`$ where $`\mathrm{\Psi }_C`$ is the reflection about $`\mathrm{\Pi }`$ given by (11).

We are now in a position to finish the proof of Proposition 13. The rotation $`\stackrel{~}{C}=R_\psi ^{xw}(C)`$ is also a great sphere in $`𝕊^3`$, and for $`0<|\psi |\pi /2`$, the plane $`\stackrel{~}{\mathrm{\Pi }}=R_\psi ^{xw}(\mathrm{\Pi })=\{𝕩:(\mathrm{sin}\psi ,0,c,\mathrm{cos}\psi )𝕩=0\}`$ does not contain $`(0,0,0,1)`$. Thus, we have from (7) that $`\pi (\stackrel{~}{C})`$ is the sphere

$$\stackrel{~}{S}=\{\stackrel{~}{𝕒}:|\stackrel{~}{𝕒}(\mathrm{tan}\psi ,0,c/\mathrm{cos}\psi )|^2=(1+c^2)/\mathrm{cos}^2\psi \}.$$

If we set $`\stackrel{~}{𝕞}_0=(\mathrm{tan}\psi ,0,0)`$ and $`\stackrel{~}{\rho _0}=1/\mathrm{cos}^2\psi `$, we see that $`Q=\pi R_\psi ^{xw}(𝒞)`$ satisfies Definition 10 since

$`\psi _{\stackrel{~}{S}}(Q)`$ $`=`$ $`\pi \mathrm{\Psi }_{\stackrel{~}{C}}\pi ^1\pi R_\psi ^{xw}(𝒞)`$   
$`=`$ $`\pi R_\psi ^{xw}\mathrm{\Psi }_CR_\psi ^{xw}R_\psi ^{xw}(𝒞)`$   
$`=`$ $`\pi R_\psi ^{xw}\pi ^1\pi \mathrm{\Psi }_C\pi ^1\pi (𝒞)`$   
$`=`$ $`\pi R_\psi ^{xw}\pi ^1\psi _S\pi (𝒞)`$   
$`=`$ $`\pi R_\psi ^{xw}(𝒞)=Q.`$   
We have established that $`Q`$ has a vertical line $`(x,y)=(\mathrm{tan}\psi ,0)`$ of generalized reflectional symmetry for $`0<|\psi |\pi /2`$.

The planes $`P_\varphi =\{𝕒:(\mathrm{sin}\varphi ,\mathrm{cos}\varphi ,0)𝕒=0\}`$ are also planes of reflective symmetry for $`Q_0`$. Applying Lemma 16 and Lemma 15 much as we have done above with the spheres $`S_\rho (𝕒)`$ we find that for $`0<|\psi |\pi /2`$ the spheres

$`\stackrel{~}{S}`$ $`=`$ $`\pi R_\psi ^{xw}\pi ^1(P_\varphi )`$   
$`=`$ $`\{𝕒:|𝕒(\mathrm{cot}\psi ,\mathrm{cot}\varphi /\mathrm{sin}\psi ,0)|^2=(1+\mathrm{cot}^2\varphi )/\mathrm{sin}^2\psi \}`$   
are spheres of symmetry along the horizontal line $`(x,z)=(\mathrm{cot}\psi ,0)`$ which satisfy Definition 10 with $`\stackrel{~}{𝕞}_0=(\mathrm{cot}\psi ,0,0)`$ and $`\stackrel{~}{\rho }_0=1/\mathrm{sin}^2\psi `$. This finishes the proof of statement (ii).

The first identity in statement (iii) follows from explicit calculation and the following observation.

###### Lemma 17

For any function $`f:^4^4`$ we have $`\{f(x,y,z,w):𝕩𝒞\}=\{f(x^{},y^{},z^{},w^{}):𝕩𝒞\}`$ where $`x^{}`$ is $`\pm x`$ and $`y^{}`$ is $`\pm y`$ (or possibly $`x^{}`$ is $`\pm y`$ and $`y^{}`$ is $`\pm x`$), and similarly $`z^{}`$ is $`\pm z`$ and $`w^{}`$ is $`\pm w`$ (or possibly $`z^{}`$ is $`\pm w`$ and $`w^{}`$ is $`\pm z`$).

Statement (iiib) follows from (iiia). $`\mathrm{}`$

Proof of Theorem 14. We use again the fact that rotations are precisely those linear transformations that correspond to orthogonal matrices of determinant 1. Let $`M`$ be the matrix representing $`R`$. Let $`N=N(\theta ,\varphi ,\psi )`$ be the unknown matrix representing $`R_\psi ^{xw}R_\varphi ^{zw}R_\theta ^{xy}`$, and let $`N_0`$ be the unknown matrix representing $`R_0`$. We then need to show $`M=N_0N`$.

We know that $`N_0`$ has the form

$$N_0=\left(\begin{array}{cccc}& & & 0\\ & & & 0\\ & & & 0\\ 0& 0& 0& 1\end{array}\right)$$
(12)   
where $``$ represents a rotation matrix for $`^3`$. From this we see that the last row of $`N_0N`$ and the last row of $`N`$ are the same. This last row is given by $`N^\mathrm{T}𝕖_4`$ (where $`\mathrm{T}`$ indicates the transpose), and we need to have $`M^\mathrm{T}𝕖_4=N^\mathrm{T}𝕖_4`$.

###### Lemma 18

There exist angles $`\theta `$, $`\varphi `$, and $`\psi `$ such that $`M^\mathrm{T}𝕖_4=N^\mathrm{T}𝕖_4`$.

Proof. Since $`M`$ is orthogonal, so is $`M^1=M^\mathrm{T}`$. Therefore, the columns of $`M^\mathrm{T}`$ (i.e., the rows of $`M`$) form an orthonormal basis—see \[4, pp. 127–129\]. In particular, $`M^\mathrm{T}𝕖_4=(m_{41},m_{42},m_{43},m_{44})`$ is some unit vector.

On the other hand, by direct calculation we see that

$$N^\mathrm{T}𝕖_4=(\mathrm{sin}\psi \mathrm{cos}\theta ,\mathrm{sin}\psi \mathrm{sin}\theta ,\mathrm{cos}\psi \mathrm{sin}\varphi ,\mathrm{cos}\psi \mathrm{cos}\varphi ).$$

Since $`m_{41}^2+m_{42}^21`$, there is some angle $`\psi `$ with $`\mathrm{sin}^2\psi =m_{41}^2+m_{42}^2`$. If $`\mathrm{sin}\psi 0`$, then we can find $`\theta `$ with $`\mathrm{cos}\theta =m_{41}/\mathrm{sin}\psi `$ and $`\mathrm{sin}\theta =m_{42}/\mathrm{sin}\psi `$. If $`\mathrm{sin}\psi =0`$, then $`m_{41}=m_{42}=0`$. In either case, our choice of $`\theta `$ and $`\psi `$ implies that the first two coordinates of $`M^\mathrm{T}𝕖_4`$ and $`N^\mathrm{T}𝕖_4`$ agree. Since $`m_{43}^2+m_{44}^2=1m_{41}^2+m_{42}^2=\mathrm{cos}^2\theta `$, we can choose $`\varphi `$, much as we chose $`\theta `$, and have the last two coordinates match. $`\mathrm{}`$

To prove Theorem 14 it remains to specify $`N_0`$. Let $`𝕞_j=(m_{j1},m_{j2},m_{j3},m_{j4})`$ be the $`j`$th row of $`M`$ and $`𝕟_j`$ be the $`j`$th row of $`N`$ for $`j=1,2,3,4`$, and consider

$`MN^1`$ $`=`$ $`\left(\begin{array}{cccc}𝕞_1& & & \\ 𝕞_2& & & \\ 𝕞_3& & & \\ 𝕟_4& & & \end{array}\right)(𝕟_1,𝕟_2,𝕟_3,𝕞_4)`$   
$`=`$ $`\left(\begin{array}{cccc}& & & 𝕞_1𝕞_4\\ & & & 𝕞_2𝕞_4\\ & & & 𝕞_3𝕞_4\\ 𝕟_4𝕟_1& 𝕟_4𝕟_2& 𝕟_4𝕟_3& 𝕟_4𝕞_4\end{array}\right)`$   
$`=`$ $`\left(\begin{array}{cccc}& & & 0\\ & & & 0\\ & & & 0\\ 0& 0& 0& 𝕞_4𝕞_4\end{array}\right)`$   
which is of the form (12). Thus, we let $`N_0`$ be the rotation matrix on the right and clearly we have $`M=N_0N`$. $`\mathrm{}`$

## Epilogue

We observed in §2 that stereographic projections of rotations of the equator circle in $`𝕊^2`$ are circles. Exercise 5 points out that other circles in $`𝕊^2`$ have this property as well. That is, we have not characterized the rotations of the equator circle $`C`$. Nevertheless, $`C`$ and its rotations (the great circles) are “balanced” on the surface of $`𝕊^2`$ in a way that the other circles are not. This “balance” is expressed precisely by saying the geodesic curvature is zero or simply that these curves are geodesics. It is this balance that justifies the specific attention we have given to the great circles.

In a similar way, the Clifford torus is “balanced” in the three-sphere $`𝕊^3`$, because its mean curvature is zero, i.e., it is a minimal surface. While it can be shown that every geodesic curve in $`𝕊^2`$ is (part of) a great circle, there is a great variety of minimal surfaces in $`𝕊^3`$. There are spheres and tori and surfaces of genus two (two holed tori), etc.. In fact, Lawson  has given examples of closed minimal surfaces in $`𝕊^3`$ of every topological genus, i.e., tori with any number of holes. On the other hand, Bryant  has shown that every embedded (non self-intersecting) minimal surface in $`𝕊^3`$ that is topologically spherical stereographically projects to a standard Euclidean sphere. A similar characterization for minimal tori is not known, but it is believed that, up to a rigid rotation of $`𝕊^3`$, the Clifford torus $`𝒞`$ is the unique embedded minimal torus.

For this reason, symmetry properties of $`𝒞`$ as shown above are of great interest. We remark finally that the only closed surfaces in $`^3`$ possessing the symmetry shown above for stereographic projections of $`𝒞`$ are topologically spherical or toroidal . This symmetry, moreover, has geometric consequences as well, and we hope to give, in another paper, an elementary introduction to the curvature of surfaces in $`𝕊^3`$ and prove that $`𝒞`$ is the unique minimal torus possessing such symmetry.

## Appendix: Rotations

We seek below to give an intuitive introduction to the family of rotations of Euclidean space $`^n`$, $`n3`$. Our starting point is with the distance preserving transformations $`T:^n^n`$ which satisfy

$$|T(𝕩)T(𝕪)|=|𝕩𝕪|.$$
(16)   
We refer to all such transformations as rigid motions, and our objective is to determine which rigid motions should be called rotations.

Notice first of all that translations are rigid motions. That is, for any fixed vector $`𝕒`$, the transformation defined by $`T(𝕩)=𝕩+𝕒`$ satisfies (16). It is a fundamental algebraic fact that up to a translation every rigid motion is linear. 

###### Theorem 19

If $`T_0:^n^n`$ is a rigid motion, then $`T`$ defined by $`T(𝕩)=T_0(𝕩)T_0(\mathrm{𝟘})`$ is a linear transformation.

Proof.<sup>3</sup><sup>3</sup>3This discussion is considered in a more general setting in \[2, pp. 1–6\]. Recall that $`T`$ is linear if $`T(a𝕩)=aT(𝕩)`$ and $`T(𝕩)+T(𝕪)=T(𝕩+𝕪)`$ for all $`𝕩,𝕪^n`$ and $`a^1`$. Recall also the triangle inequality in $`^n`$:

> $`|𝕩+𝕪||𝕩|+|𝕪|`$ with equality only if $`𝕩=\lambda 𝕪`$ for some $`\lambda 0`$.

See \[9, Exercise 1-2\] for a proof.

Because $`T`$ preserves distance and fixes the origin,

$$|T(𝕩)|=|𝕩|,|T(a𝕩)|=|a||𝕩|,|T(a𝕩)T(𝕩)|=|a1||𝕩|.$$
(17)   
On the other hand, by the triangle inequality

$$|T(𝕩)T(a𝕩)|+|T(a𝕩)||T(𝕩)|.$$
(18)   
If $`0a1`$, one can use (17) to check that equality holds in (18). Consequently, for some $`\lambda 0`$

$$T(𝕩)T(a𝕩)=\lambda T(a𝕩),$$

or $`T(𝕩)=(1+\lambda )T(a𝕩)`$. Taking the norm of both sides we see that $`T(a𝕩)=aT(𝕩)`$.

By exchanging $`|T(a𝕩)|`$ and $`|T(𝕩)|`$ in (18), and following the same line of reasoning, one sees that $`T(a𝕩)=aT(𝕩)`$ also for $`1<a`$.

Finally, if $`a<0`$, the same reasoning applied to the inequality

$$|T(a𝕩)|+|T(𝕩)||T(𝕩)T(a𝕩)|$$

yields again that $`T(a𝕩)=aT(𝕩)`$.

Next consider $`T(𝕩+𝕪)`$. In fact, let $`a<0`$ and note that

$$|T(𝕩+a𝕪)T(𝕩)|+|T(𝕩)T(𝕩+𝕪)||T(𝕩+a𝕪)T(𝕩+𝕪)|.$$

The left side is $`|a𝕪|+|𝕪|=(1a)𝕪`$, and the right side is $`|a𝕪𝕪|=(1a)𝕪`$. Since they are equal, there exists $`\lambda 0`$ with $`T(𝕩+a𝕪)T(𝕩)=\lambda (T(𝕩)T(𝕩+𝕪))`$. It is easy to see that $`\lambda =a`$, so

$$T(𝕩+a𝕪)=T(𝕩)+a(T(𝕩+𝕪)T(𝕩)).$$

Subtracting $`aT(𝕪)=T(a𝕪)`$ from both sides and rearranging we get

$$a[T(𝕩+𝕪)(T(𝕩)+T(𝕪))]=T(𝕩+a𝕪)T(a𝕪)T(𝕩).$$

Therefore,

$`|a||T(𝕩+𝕪)(T(𝕩)+T(𝕪))|`$ $``$ $`|T(𝕩+a𝕪)T(a𝕪)|+|T(𝕩)|`$   
$`=`$ $`2|𝕩|.`$   
Notice that the right side is a fixed value, but $`|a|`$ on the left may be taken as large as we like. The only way the inequality can continue to hold is if

$$|T(𝕩+𝕪)(T(𝕩)+T(𝕪))|=0,$$

i.e., $`T(𝕩+𝕪)=T(𝕩)+T(𝕪)`$. $`\mathrm{}`$

From now on, we assume our rigid motions satisfy

$$T(\mathrm{𝟘})=\mathrm{𝟘}.$$
(19)   
Thus, we are only going to consider rotations about the origin—since other rotations only differ from these by a translation. Furthermore, we can refer to the matrix $`M`$ which corresponds to a rigid motion $`T`$ (which will be the matrix of $`T`$ with respect to the standard basis unless stated otherwise).

From Theorem 19 we can easily prove

###### Corollary 20

If $`𝕖_1,\mathrm{},𝕖_n`$ form an orthonormal basis, then $`T(𝕖_1),\mathrm{},T(𝕖_n)`$ form an orthonormal basis as well.

Proof. Once linearity is established, the preservation of orthonormal bases follows by expressing the inner product in terms of the norm $`|𝕩|=\sqrt{𝕩𝕩}`$. In fact,

$$𝕩𝕪=\frac{1}{2}(|𝕩+𝕪|^2|𝕩|^2|𝕪|^2).$$

It follows, using the linearity, that $`T(𝕩)T(𝕪)=𝕩𝕪`$. In particular, $`T(𝕖_i)T(𝕖_j)=𝕖_i𝕖_j=\delta _{ij}`$ where $`𝕖_1,\mathrm{},𝕖_n`$ form an orthonormal basis. $`\mathrm{}`$

Any linear transformation that preserves orthonormality of bases is called an orthogonal transformation. The main properties of orthogonal transformations and the matrices that represent them may be found in \[4, pp. 127–129\]. In particular, the inverse matrix $`M^1`$ that represents $`T^1`$ is the transpose matrix $`M^T`$ of $`M`$. It follows from this and the product formula for determinants that $`(\mathrm{det}M)^2=1`$, or since $`M`$ is a real matrix, that $`\mathrm{det}M=\pm 1`$. As pointed out in the introduction, the additional condition

$$\mathrm{det}M=1$$
(20)   
is often used to distinguish $`T`$ as a rotation.

So far we have used the intuitive condition (16) and the normalization (19) to derive some algebraic facts. We now return to our intuition concerning rotations and ask for a precise condition which, in conjunction with (16), will express our intuitive idea of what defines a rotation. This is not so easy, but we should keep in mind that such a condition is likely to be equivalent to (20).

Our first approach might be to give an intuitive (yet precise) definition of orientation, and then try to connect a condition concerning orientation preserving transformations with (20). The reader may be surprised to find, as we were, that our physical intuition concerning this approach is limited to two dimensions. To see this, take a piece of paper and draw an orthonormal basis on it dark enough so that you can see it from the back side of the paper (see Figure 6).

Now draw a dot on the desk to represent the origin $`\mathrm{𝟘}`$. Any rigid motion of the plane (i.e., the paper) which fixes the origin must map $`𝕖_1`$ to some unit vector $`(\mathrm{cos}\theta ,\mathrm{sin}\theta )`$—which you can draw on the desk. Now there are two obvious ways to rigidly move the paper so that it lies flat on the desk and $`𝕖_1`$ lies on top of $`(\mathrm{cos}\theta ,\mathrm{sin}\theta )`$. Intuitively, if the paper is facing up, the motion is a rotation. If the paper is facing down, it is not. That is, whether or not a rigid motion is a rotation is determined by how we “orient” the paper before placing it on the desk.

It is very difficult however (if not impossible) for us to rigidly move a physical representation of $`^3`$ (like a wooden block) so as to change its orientation.

It turns out that the only way to define orientation of bases for $`^3`$ is, one way or another, to append an additional dimension. One feels, however, that we do have an intuitive idea of what constitutes a rotation of $`^3`$ independent of additional dimensions.

A second approach might be based on the idea of a rotation axis. Indeed, every rotation of $`^3`$ has $`1`$ as an eigenvalue so that it does have a fixed vector, $`𝕩=R(𝕩)`$, which can be used to define an axis of rotation (See \[4, pg. 291, Corollary 33.3\]). Unfortunately, there is no such rotation axis for non-trivial rotations of $`^2`$, and there need not be one for rotations of $`^4`$.

A third approach (since we are getting frustrated) could be to use the idea of decomposition as in Theorems 4 and 14—except in reverse. That is, we could define an elementary rotation to be a rotation of just one coordinate two-plane, i.e., a transformation $`R_\psi ^{kj}`$ corresponding to a matrix of the form

$$\begin{array}{c}k\\ \\ j\end{array}\left(\begin{array}{ccccc}I_{k1}& & & & \\ & \mathrm{cos}\psi & & \mathrm{sin}\psi & \\ & & I_{jk1}& & \\ & \mathrm{sin}\psi & & \mathrm{cos}\psi & \\ & & & & I_{nj}\end{array}\right)$$

where $`I_m`$ denotes an $`m\times m`$ identity matrix and there are zeros filling all the spaces. Then we could define a rotation to be a composition of elementary rotations. After pondering this, however, it is not at all clear that a composition of rotations should be a rotation. In fact, the decomposition in Theorem 4 is not intuitively a rotation of $`^3`$—it is the composition of three rotations, one executed after another in time. And here is the key. A rotation is a transformation which can be realized as a physical rigid motion (parameterized by time) that is the same motion at each instant of time. To make this statement precise is fairly easy.

###### Definition 21

A rigid motion $`R`$ is a rotation if there is a smoothly parameterized family of rigid motions $`R_0(t)`$ such that $`R_0(0)=\mathrm{id}_^n`$ and, for each $`m=1,2,3,\mathrm{}`$,

$$R_0(1/m)^m=\underset{m\mathrm{times}}{\underset{}{R_0(1/m)\mathrm{}R_0(1/m)}}=R.$$

Notice that $`R_0(t)`$ for $`t(0,1)`$ is not explicitly required to be a rotation (so the definition is not circular). One might be worried however that the definition allows transformations of determinant $`1`$ which we don’t want as rotations in $`^2`$. It is easy to show that this does not happen, but it turns out that the most difficult thing to see is that condition (20) does not allow transformations that Definition 21 excludes. Nevertheless, we have the following.

###### Proposition 22

If $`R:^n^n`$ is a rigid motion represented by the matrix $`M`$, then the following are equivalent.

1. $`R`$ is a rotation.
2. There exist elementary rotations $`R_1,R_2,\mathrm{},R_k`$ such that $`R=R_1\mathrm{}R_k`$.
3. $`\mathrm{det}M=1`$.
4. With respect to some basis $`R`$ is represented by a matrix of the form

$$\left(\begin{array}{cccc}I_k& & & \\ & R_{\theta _1}& & \\ & & \mathrm{}& \\ & & & R_{\theta _{(nk)/2}}\end{array}\right)$$

where $`I_k`$ is a $`k\times k`$ identity matrix and $`R_{\theta _1},\mathrm{},R_{\theta _{(nk)/2}}`$ are $`2\times 2`$ rotation matrices.

Notice that condition (ii) was mentioned above as a condition that came somewhat short in expressing our intuitive idea of a rotation. It is however a useful condition, of which Theorems 4 and 14 are particular instances, so we have included it. We will use the following exercise and lemma to show that it is part of the equivalence.

###### Exercise 23

Show that elementary rotations are rotations and have determinant $`1`$.

###### Lemma 24

Given any two vectors $`𝕧,𝕨^n`$ of the same length, there is a rotation $`Q`$, which is a composition of elementary rotations $`R_\theta ^{kl}`$, such that $`Q𝕧=𝕨`$.

Proof. We first note that it is enough to prove the lemma for $`𝕧=𝕖_n`$ and $`𝕨=𝕦`$ an arbitrary unit vector. To see this simply note that $`\stackrel{~}{𝕧}=𝕧/|𝕧|`$ and $`\stackrel{~}{𝕨}=𝕨/|𝕨|`$ are unit vectors. Thus, if we can find $`Q_1`$ and $`Q_2`$ (compositions of elementary rotations) with $`Q_1(𝕖_n)=\stackrel{~}{𝕧}`$ and $`Q_2(𝕖_n)=\stackrel{~}{𝕨}`$, we can take $`Q=Q_2Q_1^1`$ and it is easily checked that $`Q(𝕧)=𝕨`$.

We prove that $`𝕖_n`$ can be “coordinate rotated” to $`𝕦`$ by induction. The initial case, $`n=2`$ follows from the fact that in $`^2`$ any unit vector $`𝕦`$ can be represented by $`(\mathrm{cos}\theta ,\mathrm{sin}\theta )`$ for some angle $`\theta `$.

For $`n>2`$, let $`𝕦=(u_1,\mathrm{},u_n)`$ and $`u_n=\mathrm{cos}\varphi `$. It follows that for some $`𝕧=(v_1,\mathrm{},v_{n1})^{n1}`$

$$R_\varphi ^{1n}(𝕖_n)=(v_1,\mathrm{},v_{n1},u_n).$$

Also, by Exercise 23, $`R_\varphi ^{1n}`$ preserves length, so $`|𝕧|=|𝕨|`$ where $`𝕨=(u_1,\mathrm{},u_{n1})`$. By induction, there is a composition $`Q`$ of elementary rotations of $`^{n1}`$ such that $`Q(𝕧)=𝕨`$. Notice that $`Q`$ extends to a composition of elementary rotations of $`^n`$, and we have $`QR_\varphi ^{1n}(𝕖_n)=𝕦`$. This completes the induction and the proof of Lemma 24. $`\mathrm{}`$

Proof of Proposition 22. That (i) implies (iii) follows from the product formula for determinants applied to $`R=R_0(1/2)R_0(1/2)`$. That (iii) implies (iv) is Theorem 30.5 in \[4, pg. 270\] where rotations are viewed as orthogonal transformations of determinant $`1`$. Condition (i) follows from (iv) by taking $`R_0(t)`$ to be the transformation corresponding (in the same basis) to the matrix

$$\left(\begin{array}{cccc}I_k& & & \\ & R_{t\theta _1}& & \\ & & \mathrm{}& \\ & & & R_{t\theta _{(nk)/2}}\end{array}\right).$$

Condition (ii) we deal with separately. It is clear from the product formula for determinants and Exercise 23 that (ii) implies (iii). We obtain the reverse implication by induction. As discussed above, if $`n=2`$, then $`R(𝕖_1)`$ must be some unit vector $`(\mathrm{cos}\theta ,\mathrm{sin}\theta )`$. By orthogonality $`R(e_2)=\pm (\mathrm{sin}\theta ,\mathrm{cos}\theta )`$. Only the $`+`$ sign is compatible with (iii).

For $`n3`$, let $`M`$ be the orthogonal matrix representing $`R`$. Let $`𝕧=R(𝕖_n)`$. According to Lemma 24, there is a composition $`Q`$ of elementary rotations such that $`Q𝕧=𝕖_n`$. Thus, $`QR`$, fixes $`𝕖_n`$, and if $`N`$ is the matrix representing $`Q`$ we have

$$NM=\left(\begin{array}{cccc}& & & 0\\ & U& & \mathrm{}\\ & & & 0\\ 0& \mathrm{}& 0& 1\end{array}\right)$$
(21)   
where $`U`$ is an $`(n1)\times (n1)`$ rotation matrix. By Exercise 23 and the multiplication formula for determinants $`\mathrm{det}U=\mathrm{det}(NM)=\mathrm{det}M=1`$. Therefore, by induction $`U=U_1\mathrm{}U_k`$ for some elementary rotation matrices $`U_1,\mathrm{},U_k`$. These rotations extend linearly to elementary rotations of $`^n`$ represented by matrices $`N_j`$ of the form (21) with $`U_j`$ in place of $`U`$. Hence, $`M=N^1N_1\mathrm{}N_k`$ is a product of elementary rotation matrices. $`\mathrm{}`$

We note that the construction just used to extend the elementary rotation matrices can be used to extend any rotation to a rotation on a higher dimensional space. To be precise, if $`R`$ is a rotation of $`^k`$ with standard basis elements $`𝕖_1,\mathrm{},𝕖_k`$, $`k<n`$, and $`J=\{j_1<\mathrm{}<j_k\}`$ is a subset of $`k`$ indices from $`\{1,\mathrm{},n\}`$, then one obtains a rotation $`\stackrel{~}{R}`$ of $`^n`$ with standard basis elements $`\stackrel{~}{𝕖}_1,\mathrm{},\stackrel{~}{𝕖}_n`$ by setting $`\stackrel{~}{R}(\stackrel{~}{𝕖}_j)=\stackrel{~}{𝕖}_j`$ if $`jJ`$ and $`\stackrel{~}{R}(\stackrel{~}{𝕖}_{j_l})=b_m\stackrel{~}{𝕖}_{j_m}`$ where $`R(𝕖_l)=b_m𝕖_m`$. The rotation $`\stackrel{~}{R}`$ is called a trivial extension of $`R`$.

## Appendix: Conformality of Stereographic Projection

Here we give a short proof of Lemma 6. Let us first assume that the two curves $`C_1`$ and $`C_2`$ intersect at the point $`𝕡=(0,0,1)`$ in an angle $`\gamma (C_1,C_2,𝕡)`$. Let $`T_j`$ be a unit tangent vector to $`C_j`$ at $`p_j`$ for $`j=1`$ and $`2`$, and let $`\stackrel{~}{C}_j`$ be the intersection (circle) of the plane $`\mathrm{\Pi }_j`$ containing $`T_j`$ and $`(0,0,1)`$ with $`𝕊^2`$. Clearly we have $`\gamma (C_1,C_2,𝕡)=\gamma (\stackrel{~}{C}_1,\stackrel{~}{C}_2,𝕡)`$ is the angle between $`\mathrm{\Pi }_1`$ and $`\mathrm{\Pi }_2`$.

On the other hand, $`\pi (𝕡)=(0,0)`$, and $`\pi (\stackrel{~}{C}_j)`$ is the intersection (line) of $`\mathrm{\Pi }_j`$ with the $`x,y`$-plane for $`j=1`$ and $`2`$. Thus, the angle of intersection of $`\pi (\stackrel{~}{C}_1)`$ and $`\pi (\stackrel{~}{C}_2)`$ is again the angle between $`\mathrm{\Pi }_1`$ and $`\mathrm{\Pi }_2`$. We have shown that $`\pi `$ is conformal at $`𝕡=(0,0,1)`$.

If the point of intersection $`𝕡`$ is any point other than $`(0,0,1)`$ in $`𝕊^2\backslash \{(0,0,1)\}`$, we again take tangents $`T_j`$ to $`C_j`$ at $`𝕡`$ and let $`\stackrel{~}{C}_j`$ be the intersection (circle) determined by the plane $`\mathrm{\Pi }_j`$ containing $`T_j`$ and $`(0,0,1)`$ for $`j=1`$ and $`2`$. Here $`\pi (\stackrel{~}{C}_1)`$ and $`\pi (\stackrel{~}{C}_2)`$ are circles that intersect in two points $`𝕢_1=\pi (𝕡)`$ and $`𝕢_2=(0,0)`$. Since circles (on the sphere and in the plane) intersect in equal angles at their two points of intersection, we have

$`\gamma (\pi (C_1),\pi (C_2),\pi (𝕡))`$ $`=`$ $`\gamma (\pi (\stackrel{~}{C}_1),\pi (\stackrel{~}{C}_2),\pi (𝕡))`$   
$`=`$ $`\gamma (\pi (\stackrel{~}{C}_1),\pi (\stackrel{~}{C}_2),(0,0))`$   
$`=`$ $`\gamma (\stackrel{~}{C}_1,\stackrel{~}{C}_2,(0,0,1))`$   
$`=`$ $`\gamma (\stackrel{~}{C}_1,\stackrel{~}{C}_2,𝕡)`$   
$`=`$ $`\gamma (C_1,C_2,𝕡).\mathrm{}`$   
John McCuan   
Mathematics Department   
University of California, Berkeley   
Berkeley, CA 94720   
johnm@math.berkeley.edu