Gauss map

The Gauss map can be defined for hypersurfaces in Rⁿ as a map from a hypersurface to the unit sphere S^{n − 1}  ⊆  Rⁿ.

For a general oriented k-submanifold of Rⁿ the Gauss map can also be defined, and its target space is the oriented Grassmannian ${\displaystyle {\tilde {G}}_{k,n}}$, i.e. the set of all oriented k-planes in Rⁿ. In this case a point on the submanifold is mapped to its oriented tangent subspace. One can also map to its oriented normal subspace; these are equivalent as ${\displaystyle {\tilde {G}}_{k,n}\cong {\tilde {G}}_{n-k,n}}$ via orthogonal complement. In Euclidean 3-space, this says that an oriented 2-plane is characterized by an oriented 1-line, equivalently a unit normal vector (as ${\displaystyle {\tilde {G}}_{1,n}\cong S^{n-1}}$), hence this is consistent with the definition above.

Finally, the notion of Gauss map can be generalized to an oriented submanifold X of dimension k in an oriented ambient Riemannian manifold M of dimension n. In that case, the Gauss map then goes from X to the set of tangent k-planes in the tangent bundle TM. The target space for the Gauss map N is a Grassmann bundle built on the tangent bundle TM. In the case where ${\displaystyle M=\mathbf {R} ^{n}}$, the tangent bundle is trivialized (so the Grassmann bundle becomes a map to the Grassmannian), and we recover the previous definition.

The area of the image of the Gauss map is called the total curvature and is equivalent to the surface integral of the Gaussian curvature. This is the original interpretation given by Gauss. The Gauss–Bonnet theorem links total curvature of a surface to its topological properties.

${\displaystyle \iint _{R}\pm |N_{u}\times N_{v}|\ du\,dv=\iint _{R}K|X_{u}\times X_{v}|\ du\,dv=\iint _{S}K\ dA}$

A surface with a parabolic line and its Gauss map. A ridge passes through the parabolic line giving rise to a cusp on the Gauss map.

The Gauss map reflects many properties of the surface: when the surface has zero Gaussian curvature, (that is along a parabolic line) the Gauss map will have a fold catastrophe. This fold may contain cusps and these cusps were studied in depth by Thomas Banchoff, Terence Gaffney and Clint McCrory. Both parabolic lines and cusp are stable phenomena and will remain under slight deformations of the surface. Cusps occur when:

1. The surface has a bi-tangent plane
2. A ridge crosses a parabolic line
3. at the closure of the set of inflection points of the asymptotic curves of the surface.

There are two types of cusp: elliptic cusp and hyperbolic cusps.

• Gauss, K. F., Disquisitiones generales circa superficies curvas (1827)
• Gauss, K. F., General investigations of curved surfaces, English translation. Hewlett, New York: Raven Press (1965).
• Banchoff, T., Gaffney T., McCrory C., Cusps of Gauss Mappings, (1982) Research Notes in Mathematics 55, Pitman, London. online version
• Koenderink, J. J., Solid Shape, MIT Press (1990)

• Weisstein, Eric W. "Gauss Map". MathWorld.
• Thomas Banchoff; Terence Gaffney; Clint McCrory; Daniel Dreibelbis (1982). Cusps of Gauss Mappings. Research Notes in Mathematics. 55. London: Pitman Publisher Ltd. ISBN 0-273-08536-0. Retrieved 4 March 2016.