In topology, the branch of mathematics concerned with the properties of shapes that are preserved under continuous deformations such as stretching, twisting, and bending, the Ida surface is a three-dimensional shadow of a four-dimensional Klein bottle. The Klein bottle is a non-orientable surface that has no distinct interior or exterior — meaning it has only a single side. It represents a closed 2-dimensional manifold that can only be constructed without self-intersection in four or more dimensions. A manifold is a shape that, viewed up close at any one of its points, looks just like a small patch of ordinary flat space, the way the curved surface of the Earth looks flat to a person standing on it; a 2-dimensional manifold is closed if it is finite in extent and has no boundary edge. Any depiction of the Klein bottle that can be rendered in ordinary three-dimensional space must therefore pass through itself somewhere. Such a surface is best understood as a shadow — mathematically, a projection of the four-dimensional original into our three-dimensional space, much as the shadow a physical object casts on a wall is a two-dimensional projection of its three-dimensional form. Consequently, the places where the surface crosses itself are artifacts of the projection rather than features of the surface itself.
As a shadow of the Klein bottle, the Ida surface passes through itself only along smooth curves, and it contains none of the pinch points (described below) that appear in most classical one-sided surfaces. A self-crossing surface of this kind is called an immersion. The surface was derived mathematically by the mathematician George K. Francis. The Ida surface is the namesake of Ray Idaszak, who was the first person to see it: the surface became visible only when rendered with a shading algorithm of his own invention for displaying one-sided surfaces. The work was carried out by a three-person team at the National Center for Supercomputing Applications (NCSA) in Urbana, Illinois, with artist and visualization researcher Donna Cox, whose contributions included the aesthetic shading and color used to render the surface and who helped bring the work to a wider audience.
The Ida surface is the end state of a two-parameter family of surfaces swept out by deforming plane ovals. The same family contains several classical surfaces: Steiner's Roman surface is , Boy's surface is , the Etruscan Venus is , and the Ida surface is . Topologically, the Ida surface is the connected sum of two copies of Boy's surface, just as the Klein bottle is the connected sum of two copies of the real projective plane.
History The Ida surface was discovered in the mid-1980s at the National Center for Supercomputing Applications (NCSA) in Urbana, Illinois, by a three-person team: the mathematician George K. Francis, the artist and visualization researcher Donna Cox, and the computer scientist and visualization researcher Ray Idaszak. The project set out to visualize the Romboy homotopy — the deformation, parametrized by François Apéry, that carries Steiner's Roman surface to Boy's surface — and extended it to the Klein-bottle analogue now called the Etruscan Venus. Applying Apéry's pinch-point cancellation to the Venus produced a new immersion of the Klein bottle, the Ida surface, whose namesake, Ray Idaszak, was the first to see it on the computer screen.
The surface emerged from a rendering method Idaszak devised for displaying one-sided surfaces (described below), and contemporary accounts present the surface and the algorithm together. The work was rendered on NCSA supercomputers and shown publicly in the SIGGRAPH 1988 Technical Slide Show under the title "Romboy Homotopy"; the same image appeared on the cover of the August 1989 issue of Computer, the magazine of the IEEE Computer Society. A narrated videotape by Francis, Cox and Idaszak, The Etruscan Venus, was published by the Association for Computing Machinery in 1989 in SIGGRAPH Video Review no. 49. The science writer Ivars Peterson described the project in Science News in 1987 and again in his 1990 book Islands of Truth, on whose cover the surface appears. The surface is also treated in Francis's A Topological Picturebook and in his chapter "The Etruscan Venus."
Background A surface is one-sided, or non-orientable, if an ant walking along it can return to its starting point standing on the opposite side, without ever crossing an edge. The simplest example is the Möbius strip; the Klein bottle can be made by gluing two Möbius strips together edge to edge. As a consequence of the Jordan–Brouwer separation theorem, a closed surface embedded in three-dimensional space must be two-sided; a closed one-sided surface such as the Klein bottle therefore cannot be embedded in three-dimensional space, and any 3D representation of it must cross through itself. The familiar "bottle" picture, in which a tube bends around and passes through its own wall, is one such surface. The Ida surface is a different one, which arises naturally from the geometry of the Roman surface and Boy's surface rather than from the bottle depiction.
Self-crossing in a surface can happen in two distinct ways. Along a double curve, two sheets of the surface pass cleanly through one another, the way two intersecting soap films would; each sheet on its own remains perfectly smooth, and in the four-dimensional original the two sheets simply miss each other. But a double curve can also come to a dead end on the surface, at a point where the two crossing sheets are squeezed together into one. Such an end point is called a pinch point (or Whitney umbrella point), and the surface is genuinely singular there: it is not smooth, no matter how it is viewed. A surface whose only self-crossings are clean double curves, with no pinch points, is an immersion.
Steiner's Roman surface, a nineteenth-century representation of the real projective plane (the other classical closed one-sided surface), has six pinch points. In 1901 Werner Boy showed that the projective plane could be immersed in 3-space with no pinch points at all, producing Boy's surface. Much later, François Apéry, a student of Bernard Morin, found explicit parametrizations and an algebraic equation for Boy's surface, together with a deformation, the Romboy homotopy, that carries the Roman surface to Boy's surface by cancelling its pinch points in pairs. The Ida surface is obtained by applying the same pinch point cancellation to a Klein bottle analogue of the Roman surface, the Etruscan Venus.
Ovalesque surfaces The surfaces in this family are examples of what Francis calls ovalesques: surfaces swept out by the prescribed motion of a plane oval, such as an ellipse, through space. The notion generalizes that of a ruled surface, which is swept out by a moving straight line.
The starting point is Apéry's generation of the Roman surface as a one-parameter family of ellipses, all tangent to a horizontal plane at a single point, the south pole of the surface. The construction depends on two fixed positive constants, and , which are easiest to understand by picturing two points circling in space. One point travels counterclockwise around a horizontal circle of radius held at constant height above the south pole; the other travels clockwise around a unit circle in the base plane itself, turning through half the angle, so that as the first point sweeps an angle the second sweeps . For each value of an equatorial angle , the generating ellipse is specified by a pair of conjugate semi-axes drawn from the south pole to these two moving points: an altitudinal axis
which reaches up to the point on the raised circle, leaning away from the vertical by an amount governed by the ratio , and a horizontal basal axis
which points to the point on the unit base circle. Thus sets how far the upper axis sways from the vertical, and sets the height of the ellipses (and so of the whole surface). These two vectors are the columns of a matrix , regarded as a linear map of a plane into space. A point of the surface is then the image under of a point on a plane curve with Cartesian coordinates :
The shape of the generating oval is controlled entirely by the scalar function , and the whole family is obtained by varying while the axes and are kept fixed.
The family F(ℓ, b) Two independent deformations, each acting on the generating curve in its own plane, are combined in a single polar equation:
The limaçon homotopy is governed by the numerator and the parameter . When the generating curve is the circle , which passes through the origin and is traced twice as runs through a full turn; this double covering is what makes the swept surface a projective plane. As increases, the curve uncurls through the limaçons of Pascal : it is Pascal's trisectrix at , a cardioid at , and the unit circle, traced once, at . Replacing the doubly covered circle by a simple closed oval replaces the projective plane by a Klein bottle.
The Romboy homotopy is governed by the denominator and the parameter . Following Apéry, the denominator magnifies and tilts each generating oval within its own plane. As increases, the pinch points of the surface cancel in adjacent pairs, all of them vanishing at ; past this value the surface is an immersion. Applied to the Roman surface this is exactly Apéry's deformation onto Boy's surface, which is why Francis named it the Romboy homotopy.
The four corners of the parameter square are occupied by four named surfaces: SurfaceTopologyPinch pointsRoman surfaceprojective plane6Boy's surfaceprojective plane0 (immersed)Etruscan VenusKlein bottle12Ida surfaceKlein bottle0 (immersed) The Etruscan Venus is the uncurled Roman surface. It is a singular Klein bottle, equivalent to the connected sum of two Roman surfaces joined at their south poles, and it inherits a doubled set of twelve pinch points. Applying the Romboy homotopy to the Venus cancels all twelve, and the immersed Klein bottle that emerges at is the Ida surface. The full sequence of the deformation — Etruscan Venus to Roman surface to Boy's surface to Ida and back to the Venus — was animated in the videotape Metamorphosis: Shadows from Higher Dimensions and is reproduced as a sequence of frames in Peterson's Islands of Truth.
Parametrization Putting the pieces together, the general member of the family is the image of the map
in which the columns of the matrix are the axes and , and the scalar fraction in front is . The Ida surface is . Substituting collapses the limaçon numerator to the constant , and substituting sets the coefficient of in the denominator to , leaving
A common choice of proportions is and , giving a waist-to-height ratio , the value originally used for the Etruscan Venus.
The map satisfies the identity
which is precisely the gluing rule of a Klein bottle: the parameter torus double-covers the image, with the covering transformation reversing the direction of . Consequently the whole surface is traced exactly once on the fundamental domain
The remaining self-intersections of the image are double curves of the immersion, not artifacts of the parametrization.
Shading the surface