Here on the left (click to enlarge) you can
see—to contradict an earlier
statement I made that they are difficult to picture—a
(nonsingular) cubic surface, one of the beasts that I've spent a good
part of my thesis studing (the arithmetic of). Specifically, this is
the surface with (affine) equation
y³-3x²y+z³-3z=0.
The white rods (fifteen of them, if you count well) are not part of
the surface itself—or rather, they are, but they've been
emphasized for clarity: they represent the straight lines lying on the
surface. There are always twenty-seven straight lines on a
nonsingular cubic surface, but all might not be “real” in
the sense that some are actually pairs of complex conjugate lines; and
this particular surface has fifteen real lines and six pairs of
complex conjugate lines. Sometimes three lines on the surface
(necessarily in the same plane) meet in one point: then that point is
called an Eckardt point; this surface happens to have six
Eckardt points (all real), three of which have been shown on the
picture as small bright pink spheres (the other three are at infinity
so you cannot see them); one of them (namely (0,0,0)) is at the center
of the image. I've already mentioned
Eckardt points on this 'blog; they have many remarkable properties,
but they make the arithmetic of the surface rather harder to study
when they exist. The sort of question one might ask is this: given
that the surface has one point with rational coordinates (namely
(0,0,0)), and since its equation has rational coefficients, is it true
that there are points with rational coordinates arbitrarily close to
any real point? (And the answer, for this surface, is
yes.)
The image was made with the Persistance of Vision
(“POV-ray”) raytracer. I don't deserve much credit
since POV-ray has a primitive (quite appropriately called
cubic
!) which draws a cubic surface. My work as a
mathematician in composing this image was limited to finding the
equation of a nice cubic surface having some Eckardt points and then
computing the equation of all the lines on it (a horrendous task in
general, but relatively easy for this one surface since it has a very
simple equation in which variables are separated). Note incidentally
that the colors are not on the surface but come from three colored
light sources.
I've also made a little animation of the rotation of the cubic surface (984kbyte AVI file) from the images computed by POV-ray. (Don't ask me how to read it or what codec it uses, I don't know anything about this stuff: I just fiddled around with MPlayer/MEncoder, randomly tweaking the command line options until it produced something that seemed like it was an animation.)
Would you believe it? Cubic surfaces have their own Web site!