Richard Morris
Department of Statistics, University of Leeds
Department of Statistics,
University of Leeds,
Leeds, LS2 9JT
England
rjm@amsta.leeds.ac.uk
webmaster@pfaf.org
http://www.amsta.leeds.ac.uk/~rjm/
A function, f, from R^{3} to R is singular at a point p in R^{3} if its Jacobian, (df/dx,df/dy,df/dz)^{T} vanishes at p. Arnold [1] has classified the types of singularities which can can occur and models of the zero sets of some of these are presented in this collection. See [2] for a detailed introduction to singularity theory.
We will just be concerned with the local behaviour of functions defined near the origin and some notation is necessary.
Let p be a point in R^{n}. Then f : R^{n},p -> R denotes a function defined on some neighbourhood of p. Two functions are regarded as equal if they coincide on some (possibly smaller) neighbourhood of p. A equivalence class of such functions is called a germ at p. The notation f : R^{n},p -> R, c, mean in addition f(p)=c.
We now define a equivalence relation for functions.
Let U_{i}, i=1,2 be open subsets of R^{n}, and let p_{i} be a point of U_{i} with f_{i} : U_{i} -> R. We say that f_{1} (at p_{1}) and f_{2} (at p_{2}) are right-equivalent if there exists open neighbourhoods of p_{i}, say V_{i}, a subset of U_{i}, a diffeomorphism h: V_{1} -> V_{2} and a constant c in R such that
This equivalence relation allows smooth changes of coordinates in R^{n} In particular it is sufficient just to consider functions at the origin as f : R^{n},p_{1} ->R is right-equivalent to a germ f : R^{n},0 -> R, the diffeomorphism h : R^{n},p_{1} -> R^{n},0 simply being the translation h(p) = p - p_{1}.
We can now state the main classification theorem. Let x be a point in R^{n} and let x_{1}, ... ,x_{n} denote its coordinates.
Any simple singularity f : R^{n},0 -> R,0 is right equivalent to one of the following types, where e_{i} = +/- 1 in each case.
It should be noted that permuting the coordinates in R^{n} will give a right-equivalent function, so not all the possible combinations of signs yield distinct singularities. There are further singularities which are not simple. These occur less frequently and have not been included in this collection.
The models in this collection show the zero sets, f^{-1}(0), for some of these singularities where n=3. Let x, y, z denote the coordinates in R^{3}. Models are provided for the A_{k} series, (k=1,2,3,4) the D_{k} series, (k=4,5,6) and E_{6}, E_{7} and E_{8}. For most cases two zero sets of two non equvalent forms of the singularity, denoted A1pm and A1mm etc., have been provided. The zero sets of some of these singularities (x^{k+1}+ y^{2}+z^{2}, k=1,3) just consists of an isolated point and their models have not been shown. Some of the other zeros sets have not been shown, but these are simple reflections of the models shown. Additionally the zero sets of two non singular functions, A0pm (x+y^{2}-z^{2}) and A0mm (x-y^{2}-z^{2}) have also been included. These two functions are right-equivalent to each other and also to any other non singular function.
The models shown are:
These models have been calculate by a Java applet [5] constructed using the JavaView system [6] which connects to a server which calculates the zero set of a given function. The server is adapted from the program in the LSMP package [3,4]. The algorithm has been constructed to try to get accurate representations of the singular points in the surfaces. For the purpose of this collection the models have been cleaned up by hand to give topologically accurate representations of the singular points.
Used Software: Liverpool Surface Modeling Package 2.9 and JavaView
These files have been hand edited to ensure that the boundaries are correct and that they are topologically correct around the singular point.