## In- and Outside the Torus

Title: In- and Outside the Torus
Artist: Tom Banchoff and Davide Cervone
Medium: Computer Graphic (Ilfochrome print)
Size: 24"x20".
This image appeared originally in the book Beyond the Third Dimension, part of the Scientific American Library. You can purchase it on line, or read a short review of it.

This image depicts the three-dimensional projection of a torus in four-space. Bands on the torus have been removed to make it possible to "see through" it. Banchoff's description of the torus and the three-sphere provides more information about this image, and includes several MPEG movies of the torus rotating in four dimensions.

**The Artist's Comments on In- and Outside the Torus**

The last image featured in the exhibit is an interior view of a cyclide of Dupin, a torus on a three-dimensional sphere in four-space projected stereographically from a point on the torus itself, leading to a third-order algebraic surface expressed as a union of circles (and four straight lines). These curves are orbits of a Hamiltonian dynamical system and the fibers over a great circle of the Hopf mapping from the three-sphere to the two-sphere. The exhibit booklet and the electronic links refer the viewer to several articles written by the author and colleagues in Applied Mathematics and Computer Science, examining different aspects of this extremely important surface. This image is also featured on the cover of the Scientific American Library volume

*Beyond the Third Dimension*.

**The Mathematics of In- and Outside the Torus**

Unlike the tori in "Torus Triptych", this is a projection of a torus lying originally in four-space, given parametrically by(cos q, sin q, cos f, sin f). Notice that this represents the cross product of two circles, one in the first two coordinates, and one in the second two. Note also that every point on this torus is at a distance of sqrt(2) from the origin, so the entire torus lies on the sphere of radius sqrt(2) in four-space. (In fact, this torus separates the sphere into two congruent solid tori.) Stereographic projection from the point (0,0,0,sqrt(2)) in four-space yields an image of the torus in three-space, and since stereographic projection maps circles to circles, the image of the torus given above under this map would be a torus of revolution. In contrast to the parameterization given for the "Torus Triptych", however, this one has the interesting property that it is a conformal mapping of the (q,f)-plane onto the torus of revolution.

If we rotate the original torus in four-space before projecting it, the image changes: a portion of the torus moves closer to the point of projection, so its image gets larger (just as a shadow gets larger if you move an object closer to the light source), and part of it moves farther away from the point of projection, so its image gets smaller. In the projection of the torus, we would see one part of the ring get thicker and the opposite part get thinner. The result is known as a cyclide of Dupin. (The offset surfaces of these projections are also cyclides, and it turns out that every cyclide can be produced in this way.) As the torus rotates further, the torus gets fatter and fatter on one side, and thinner and thinner on the other. After a rotation of 90 degrees, the torus will pass through the point of projection, and so its image will appear to extend to infinity; the images of the two generating circles for the torus will be two infinite, straight lines in three-space. (Two other circles on the torus also map to straight lines in three-space: the (1,1)-curve, described below, that passes through the point of projection, and the analogous (1,-1)-curve.) As the torus rotates further, its image again becomes a finite torus, but what was outside the original torus is now inside, and

The image "In- and Outside the Torus" represents the 90 degree rotation, the point of transition when the outside and inside are begin exchanged. Indeed, at this instant, the image of the torus divides all of three-space into two congruent parts, the images of the two solid tori mentioned earlier that form the three-sphere in four-space with this torus as their common boundary. In the picture, the viewer is in one of the two congruent pieces (with the handle of the torus moving horizontally through the center of the picture), and the other piece is "behind" the surface (with the handle moving vertically through the center). A rotation of three-space about a diagonal line from the upper left to the lower right would interchange the two congruent pieces. In the picture, bands on the torus are removed to help make the structure clearer. In this case, the bands are formed by neighborhoods of the (1,1)-curves on the torus, which are the images of curves of the form q = f +

For those interested in producing similar pictures themselves, we describe the stereographic projection map and rotations in four-space in more detail. Stereographic projection from the point (0,0,0,

*vice versa*; the torus in three-space has "turned inside out" by passing through infinity.The image "In- and Outside the Torus" represents the 90 degree rotation, the point of transition when the outside and inside are begin exchanged. Indeed, at this instant, the image of the torus divides all of three-space into two congruent parts, the images of the two solid tori mentioned earlier that form the three-sphere in four-space with this torus as their common boundary. In the picture, the viewer is in one of the two congruent pieces (with the handle of the torus moving horizontally through the center of the picture), and the other piece is "behind" the surface (with the handle moving vertically through the center). A rotation of three-space about a diagonal line from the upper left to the lower right would interchange the two congruent pieces. In the picture, bands on the torus are removed to help make the structure clearer. In this case, the bands are formed by neighborhoods of the (1,1)-curves on the torus, which are the images of curves of the form q = f +

*c*in the (q,f)-plane.For those interested in producing similar pictures themselves, we describe the stereographic projection map and rotations in four-space in more detail. Stereographic projection from the point (0,0,0,

*d*) is the map*pd*:**R**4 ->**R**3 given byfor all points where

*w*�*d*. In our case,*d*= sqrt(2). As with rotations in the*xy*-plane, rotations in four-space can be represented by matrix multiplication. For example, a rotation in the*xw*-plane by an angle of y is given by the mapThe composition of these two maps with the parameterization of the torus given above will yield the series of pictures described here (as yvaries from 0 to 90 degrees and beyond).

**Torus Triptych**