The basic problem of algebraic geometry is to understand the set of points satisfying a system of equations
The solution set of is called the algebraic set, or algebraic variety of and is denoted by
It is easy to see, and important to know, that depends only on the ideal
The Cayley Cubic There is a unique cubic surface which has four ordinary double points, usually called the Cayley cubic after its discoverer, Arthur Cayley. It is a degeneration of the Clebsch cubic, has S_{4} as symmetry group, and the projective equation is |
A Cubic with a D_{4}-Singularity Degenerating the Cayley cubic we receive a D_{4}-singularity. The affine equation is |
The Barth Sextic The equation for this sextic was found by Wolf Barth. It has 65 ordinary double points, the maximal possible number for a sextic. Its affine equation is (with c=(1+sqrt(5))/2) |
An Ordinary Node An ordinary node is the most simple singularity. It has the local equation |
Whitney's Umbrella The Whitney umbrella is named after Hassler Whitney who studied it in connection with the stratification of analytic spaces. It has the local equation |
A 5-nodal plane curve of degree 11 with equation |
Space Curve This space curve is given parametrically by x=t^{4}, y=t^{3}, z=t^{2}, or implicitly by |
Of course, if for some polynomial , , then and hence, depends only on the radical of ,
The important Hilbert Nullstellensatz states that, for an algebraically closed field, we have for any variety and any ideal ,
Many of the problems in algebra, in particular, computer algebra, have a geometric origin. Therefore, I choose an introduction by means of some pictures of algebraic varieties, some of them being used to illustrate subsequent problems.
The above pictures were not only chosen to illustrate the beauty of algebraic geometric objects but also because these varieties have had some prominent influence on the development of algebraic geometry and singularity theory.
The Clebsch cubic itself has been the object of numerous investigations in global algebraic geometry, the Cayley and the D_{4}-cubic also, but, moreover, since the D_{4}-cubic deforms, via the Cayley cubic, to the Clebsch cubic, these first three pictures illustrate deformation theory, an important branch of (computational) algebraic geometry.
The ordinary node, also called A_{1}-singularity (shown as a surface singularity) is the most simple singularity in any dimension. The Barth sextic illustrates a basic but very difficult and still (in general) unsolved problem: to determine the maximum possible number of singularities on a projective variety of given degree. In Section 7.3 we report on recent progress on this question for plane curves.
Whitney's umbrella was, at the beginning of stratification theory, an important example for the two Whitney conditions. We use the umbrella in Section 4.2 to illustrate that the algebraic concept of normalisation may even lead to a parametrisation of a singular variety, an ultimate goal in many contexts, especially for graphical representations. In general, however, such a parametrisation is not possible, even not locally, if the variety has dimension bigger than one. For curve singularities, on the other hand, the normalisation is always a parametrisation. Indeed, computing the normalisation of the ideal given by the implicit equations for the space curve in the last picture, we obtain the given parametrisation. Conversely, the equations are derived from the parametrisation by eliminating t, where elimination of variables is perhaps the most important basic application of Gröbner bases.
Finally, the 5-nodal plane curve illustrates the global existence problem described in Section 7.2. Moreover, these kind of deformations with the maximal number of nodes play also a prominent role in the local theory of singularities. For instance, from this real picture we can read off the intersection form and, hence, the monodromy of the singularity A_{10} by a beautiful theory of A'Campo and Gusein-Zade. We shall present a completely different, algebraic algorithm to compute the monodromy in Section 6.3.
For more than a hundred years, the connection between algebra and geometry has turned out to be very fruitful and both merged to one of the leading areas in mathematics: algebraic geometry. The relationship between both disciplines can be characterised by saying that algebra provides rigour while geometry provides intuition.
In this connection, I place computer algebra on top of rigour, but I should like to stress its limited value if it is used without intuition.