Unlike the tori in "Torus Triptych", this is a projection of a torus lying originally in fourspace, 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 fourspace. (In fact, this torus separates the sphere into two congruent solid tori.) Stereographic projection from the point (0,0,0,sqrt(2)) in fourspace yields an image of the torus in threespace, 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.
A torus projected from fourspace can look like a torus of revolution (left). If part of it is closer to the projection point, part will appear larger, and it will form a cyclide of Dupin.
If we rotate the original torus in fourspace 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 threespace. (Two other circles on the torus also map to straight lines in threespace: 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 vice versa; the torus in threespace 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 threespace into two congruent parts, the images of the two solid tori mentioned earlier that form the threesphere in fourspace 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 threespace 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 fourspace in more detail. Stereographic projection from the point (0,0,0,d) is the map
p_{d}: R^{4} > R^{3} given by
p_{d}(x,y,z,w) =
d d  w (x,y,z) for all points where
w ¹ d . In our case,d = sqrt(2) . As with rotations in the xyplane, rotations in fourspace can be represented by matrix multiplication. For example, a rotation in the xwplane by an angle of y is given by the map
R_{y}(x,y,z,w) = æ
ç
ç
ç
è
cos y 0 0 sin y 0 1 1 0 0 1 1 0 sin y 0 0 cos y ö
÷
÷
÷
øæ
ç
ç
ç
è
x y z w ö
÷
÷
÷
ø
The composition of these two maps with the parameterization of the torus given above will yield the series of pictures described here (as y varies from 0 to 90 degrees and beyond).

