Singularities

Zero sets of Simple Singularities of functions on R^3

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/

MSC2000 Classification:

14J99, 14J17, 32S25, 65S05, 14Q10

Keywords:

Algebraic Varieties
Implicit Surfaces
Singularity Theory

Abstract:
The types of simple singularities which can occur for functions from R^3 to R consist of two infinite sequences and three special cases. The zero sets of some of these singularities are presented here.

A function, f, from R3 to R is singular at a point p in R3 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.

Notation

Let p be a point in Rn. Then f : Rn,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 : Rn,p -> R, c, mean in addition f(p)=c.

We now define a equivalence relation for functions.

Definition

Let Ui, i=1,2 be open subsets of Rn, and let pi be a point of Ui with fi : Ui -> R. We say that f1 (at p1) and f2 (at p2) are right-equivalent if there exists open neighbourhoods of pi, say Vi, a subset of Ui, a diffeomorphism h: V1 -> V2 and a constant c in R such that

for all p.

This equivalence relation allows smooth changes of coordinates in Rn In particular it is sufficient just to consider functions at the origin as f : Rn,p1 ->R is right-equivalent to a germ f : Rn,0 -> R, the diffeomorphism h : Rn,p1 -> Rn,0 simply being the translation h(p) = p - p1.

We can now state the main classification theorem. Let x be a point in Rn and let x1, ... ,xn denote its coordinates.

Theorem (V.I. Arnold)

Any simple singularity f : Rn,0 -> R,0 is right equivalent to one of the following types, where ei = +/- 1 in each case.

  1. The Ak series. f : Rn,0 -> R,0 defined by
  2. The Dk series. f : Rn,0 -> R,0 defined by
  3. The E6, E7 and E8 singularities. f : Rn,0 -> R,0 defined by

It should be noted that permuting the coordinates in Rn 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

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 R3. Models are provided for the Ak series, (k=1,2,3,4) the Dk series, (k=4,5,6) and E6, E7 and E8. 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 (xk+1+ y2+z2, 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+y2-z2) and A0mm (x-y2-z2) 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:

Calculation of models

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.

References

  1. V.I. Arnold: Singularity Theory, London Mathematical Society (1981).
  2. J.W. Bruce and P.J. Giblin: Curves and Singularities, Cambridge University Press (1992).
  3. R.J. Morris: A new method for drawing Algebraic Surfaces, Design and application of curves and surface, Oxford University Press (1994), 31--48.
  4. R.J. Morris: The Use of Computer Graphics for Solving Problems in Singularity Theory, Visualization and Mathematics, Springer (1997), 53--66.
  5. R.J. Morris: Algebraic Surfaces Web-Server.
  6. K. Polthier, S. Khadem-Al-Charieh, E. Preuss and U Reitebuch: JavaView.

Technical Notes

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.