Gauss continued-fraction map Created 2026-10-05 Updated 2026-10-06
The map on , with . Its digit gives the successive partial quotients of a continued fraction. This is distinct from the geometric Gauss map assigning surface normals.
For an oriented smooth embedded surface, the Gauss map sends each point to its chosen unit normal. This surface is the ring torus with major radius two and minor radius one. Its outward Gauss map is
On the cross-section, the normal points radially away from the center of each generating circle, which gives this formula for and then rotational symmetry gives it for all .
The upper hemisphere condition is , hence . For this torus, the Gaussian curvature and area element are
Therefore the positive outer and negative inner contributions cancel:
For an oriented smooth surface , the Gauss map sends to the chosen unit normal vector . Since , differentiation shows that is perpendicular to and hence lies in .
In a local parametrization with , differentiating
gives
Thus the bilinear form is symmetric, so is self-adjoint. The Gaussian curvature is
Writing the coefficients of the first fundamental form as
and those of the second fundamental form as
one obtains
At an umbilic point, the self-adjoint map has a repeated eigenvalue, so it is a scalar map. If every point is umbilic, there is a function with
Equality of mixed partial derivatives gives
The two tangent vectors are linearly independent, hence . Since is connected, is constant.
If , then is constant and
so lies in a plane. If , then
Thus is constant, and
Therefore lies in a sphere of radius . This proves that the surface is part of a plane or part of a sphere.
For an oriented regular surface with unit normal , the Gauss map sends each point to . The outward normal to the catenoid is
Its image is the open southern hemisphere, apart from its limiting equator and south pole. The Gauss map is one-to-one after taking modulo and reverses orientation. Since the Jacobian of the Gauss map is the Gaussian curvature, its signed spherical area is the total Gaussian curvature:
Equivalently, , whose integral over and is .
The Gauss map sends to the chosen unit normal . Differentiating shows that maps into itself. The shape operator is self-adjoint because its associated second fundamental form is symmetric. Its eigenvalues are the principal curvatures. A point is umbilical when , and the surface is minimal when its mean curvature vanishes everywhere.
In an orthonormal principal basis, has diagonal matrix . It is conformal exactly when
which is equivalent to . At a nonumbilical point this says , exactly the condition . Hence, when there are no umbilical points, the surface is minimal if and only if its Gauss map is conformal.
Choose the orientation of a surface represented by a smooth Gauss map . The shape operator at is
If its principal curvatures are , then by definition
Let be a proper Euclidean motion of Euclidean three-space, so . Orient by transporting the normal:
The chain rule gives the orthogonal conjugacy
The determinant and trace are invariant under similarity, so the Euclidean invariance of the shape operator yields
If the surface orientation is reversed, then and are multiplied by . Therefore the orientation reversal of surface curvature says
Use the global parametrization
Its tangent vectors are
and
Thus is a regular parametrization and the graph is a smooth surface.
The first fundamental form is
Choosing the upward orientation, the Gauss map is
For a local parametrization , the first fundamental form is the Euclidean inner product restricted to each tangent plane:
Writing , this is
After choosing an orientation, the Gauss map is
The second fundamental form is , where the shape operator is . In coordinates,
The Gaussian curvature and mean curvature are respectively the determinant and half the trace of :
Changing the chosen normal reverses and but leaves unchanged.
An orientation of chooses a unit normal at every point. The Gauss map is
For the unit tangent , the surface covariant derivative is the tangential projection
The signed geodesic curvature is
Because , is perpendicular to and hence
Consequently means : the tangent is parallel along , so is a geodesic.