Bonnet theorem
In the mathematical field of differential geometry, the fundamental theorem of surface theory deals with the problem of prescribing the geometric data of a submanifold of Euclidean space. Originally proved by Pierre Ossian Bonnet in 1867, it has since been extended to higher dimensions and non-Euclidean contexts.
Bonnet's theorem
Any surface in three-dimensional Euclidean space has a first and second fundamental form, which automatically are interrelated by the Gauss–Codazzi equations. Bonnet's theorem asserts a local converse to this result.Given an open region in, let and be symmetric 2-tensors on, with additionally required to be positive-definite. If these are smooth and satisfy the Gauss–Codazzi equations, then Bonnet's theorem says that is covered by open sets which can be smoothly embedded into with first fundamental form and second fundamental form . Furthermore, each of these embeddings is uniquely determined up to a rigid motion of.
Bonnet's theorem is a corollary of the Frobenius theorem, upon viewing the Gauss–Codazzi equations as a system of first-order partial differential equations for the two coordinate derivatives of the position vector of an embedding, together with the normal vector.
Related results
Lawson and Tribuzy showed that for a compact surface, prescribing the first fundamental form together with a nonconstant mean curvature function on the surface yields at most two compact smooth immersions in up to congruence, and at most one for genus-zero surfaces. When two noncongruent immersions realize the same first fundamental form and the same mean curvature function, they form a compact Bonnet pair. In 2025, Bobenko, Hoffmann, and Sageman-Furnas constructed the first explicit compact Bonnet pairs, consisting of two immersed tori in.General formulations
Bonnet's theorem can be naturally formulated for hypersurfaces in a Euclidean space of any dimension, and the result remains true in this context. Furthermore, the theorem can be extended from Bonnet's local formulation to a global formulation, allowing to be any connected and simply-connected smooth manifold, with the result asserting the existence and uniqueness of a smooth immersion of as a hypersurface of Euclidean space with first fundamental form and second fundamental form. The idea of the proof is to use the existence theory from the local formulation to construct the immersion along arbitrary curves emanating from a single point. Simple-connectedness is used to say that any two such curves with a common endpoint are homotopic, and uniqueness from the local formulation implies that the value of the immersion at the endpoint must be fixed through the homotopy, so that an immersion results which is well-defined on the entire manifold.In this global formulation, existence would not hold in general if the condition of simple-connectedness were removed. This can be seen from the nonexistence of a hypersurface immersion of the torus whose first fundamental form is flat and whose second fundamental form is zero.
The theorem can also be extended, beyond the context of hypersurfaces, to the theory of submanifolds of arbitrary codimension. This is more complicated to formulate, because in addition to the first and second fundamental forms, there is also the connection in the normal bundle which must be taken into account. In this generality, the fundamental theorem of surface theory subsumes the fundamental theorem of curves.
In this general context, the ambient Euclidean space can also be replaced by any connected and geodesically complete Riemannian manifold of constant curvature, which requires a suitably extended formulation of the Gauss–Codazzi equations.