In the differential geometry of surfaces in three dimensions, umbilics or umbilical points are points on a surface that are locally spherical. At such points the normal curvatures in all directions are equal, hence, both principal curvatures are equal, and every tangent vector is a principal direction. The name "umbilic" comes from the Latin umbilicus (navel).
Umbilic points generally occur as isolated points in the elliptical region of the surface; that is, where the Gaussian curvature is positive.
The sphere is the only surface with non-zero curvature where every point is umbilic. A flat umbilic is an umbilic with zero Gaussian curvature. The monkey saddle is an example of a surface with a flat umbilic and on the plane every point is a flat umbilic. A closed surface topologically equivalent to a torus may or may not have zero umbilics, but every closed surface of nonzero Euler characteristic, embedded smoothly into Euclidean space, has at least one umbilic. An unproven conjecture of Constantin Carathéodory states that every smooth surface topologically equivalent to the sphere has at least two umbilics.[1]
The three main types of umbilic points are elliptical umbilics, parabolic umbilics and hyperbolic umbilics. Elliptical umbilics have the three ridge lines passing through the umbilic and hyperbolic umbilics have just one. Parabolic umbilics are a transitional case with two ridges one of which is singular. Other configurations are possible for transitional cases. These cases correspond to the D4−, D5 and D4+ elementary catastrophes of René Thom's catastrophe theory.
Umbilics can also be characterised by the pattern of the principal direction vector field around the umbilic which typically form one of three configurations: star, lemon, and lemonstar (or monstar). The index of the vector field is either -½ (star) or ½ (lemon, monstar). Elliptical and parabolic umbilics always have the star pattern, whilst hyperbolic umbilics can be star, lemon, or monstar. This classification was first due to Darboux and the names come from Hannay.[2]
For surfaces with genus 0 with isolated umbilics, e.g. an ellipsoid, the index of the principal direction vector field must be 2 by the Poincaré–Hopf theorem. Generic genus 0 surfaces have at least four umbilics of index ½. An ellipsoid of revolution has two non-generic umbilics each of which has index 1.[3]
The classification of umbilics is closely linked to the classification of real cubic forms
ax3+3bx2y+3cxy2+dy3
λ(x,y)
λ
x2y-y3
x2y
x2y+y3
x3
The equivalence classes of such cubics under uniform scaling form a three-dimensional real projective space and the subset of parabolic forms define a surface – called the umbilic bracelet by Christopher Zeeman. Taking equivalence classes under rotation of the coordinate system removes one further parameter and a cubic forms can be represent by the complex cubic form
z3+3\overline{\beta}z2\overline{z}+3\betaz\overline{z}2+\overline{z}3
\beta
\beta=\tfrac{1}{3}(2ei\theta+e-2)
\left|\beta\right|=1
\beta
\left|\beta\right|=\tfrac{1}{3}
A second cubic form, the Jacobian is formed by taking the Jacobian determinant of the vector valued function
F:R2 → R2
F(x,y)=(x2+y2,ax3+3bx2y+3cxy2+dy3)
bx3+(2c-a)x2y+(d-2b)xy2-cy3
\beta=-2ei\theta-e-2
Any surface with an isolated umbilic point at the origin can be expressed as a Monge form parameterisation
z=\tfrac{1}{2}\kappa(x2+y2)+\tfrac{1}{3}(ax3+3bx2y+3cxy2+dy3)+\ldots
\kappa
The classification of umbilic points is as follows:
In a generic family of surfaces umbilics can be created, or destroyed, in pairs: the birth of umbilics transition. Both umbilics will be hyperbolic, one with a star pattern and one with a monstar pattern. The outer circle in the diagram, a right angle cubic form, gives these transitional cases. Symbolic umbilics are a special case of this.
The elliptical umbilics and hyperbolic umbilics have distinctly different focal surfaces. A ridge on the surface corresponds to a cuspidal edges so each sheet of the elliptical focal surface will have three cuspidal edges which come together at the umbilic focus and then switch to the other sheet. For a hyperbolic umbilic there is a single cuspidal edge which switch from one sheet to the other.
A point p in a Riemannian submanifold is umbilical if, at p, the (vector-valued) Second fundamental form is some normal vector tensor the induced metric (First fundamental form). Equivalently, for all vectors U, V at p, II(U, V) = gp(U, V)
\nu
\nu
A submanifold is said to be umbilic (or all-umbilic) if this condition holds at every point "p". This is equivalent to saying that the submanifold can be made totally geodesic by an appropriate conformal change of the metric of the surrounding ("ambient") manifold. For example, a surface in Euclidean space is umbilic if and only if it is a piece of a sphere.