Bonnet Surfaces in Differential Geometry

• Bonnet surfaces are Riemannian submanifolds that admit continuous isometric deformations preserving curvature invariants such as mean and principal curvatures.
• They are analyzed using integrable systems, Gauss-Codazzi-Ricci equations, and isothermic coordinates across various geometries including Euclidean and Thurston model spaces.
• Research focuses on the uniqueness, classification, and explicit construction of Bonnet pairs, with applications to compact tori and higher codimension Lagrangian geometries.

A bonnet, in the context of differential geometry and global analysis, refers to a Riemannian surface or higher-dimensional submanifold that admits a nontrivial isometric deformation preserving specified curvature data, typically the principal curvatures, mean curvature, or associated structure forms. The Bonnet problem addresses the uniqueness and classification of such submanifolds, termed Bonnet surfaces or Bonnet pairs, and their deformations. The notion generalizes across classical Euclidean, projective, and complex geometries, as well as Thurston’s three-dimensional model geometries.

1. Classical Bonnet Problem and Its Generalizations

The classical Bonnet problem originated with Bonnet’s 1867 question of whether a surface in ℝ³ is uniquely determined, up to ambient isometry, by its induced metric and mean curvature function, or if non-congruent immersions exist sharing these invariants (Bobenko et al., 2021). Formally, for a surface $f : \Sigma \to \mathbb{R}^3$ with first fundamental form $ds^2$ and shape operator S (principal curvatures $k_1, k_2$), Bonnet surfaces admit a continuous 1-parameter family of isometric immersions preserving $k_1, k_2$, equivalently, the mean curvature $H = (k_1 + k_2)/2$.

Bonnet pairs are two non-congruent immersions $f^+$, $f^-$ of a surface that are isometric and have identical mean curvature functions. The global Bonnet problem asks if there exist compact Bonnet pairs. The classical answer is negative for genus zero and, more generally, no more than two such immersions exist for a given smooth, non-constant $H$ on a compact surface (Bobenko et al., 2021).

Generalizations of the Bonnet problem have been formulated for surfaces and submanifolds in Thurston geometries (Santiago, 1 Dec 2025), higher-dimensional space forms (Polymerakis, 2020), and complex or Lagrangian geometry (He et al., 2015). The problem is recast to consider when an isometric immersion can be deformed through isometric immersions preserving specified curvature invariants, sometimes interpreted as preserving the mean curvature vector field up to parallel bundle isometry.

2. Structure Equations and Classification in Homogeneous Geometries

For immersed surfaces in model geometries such as ℝ³, Bianchi-Cartan-Vrănceanu spaces $E(\kappa, \tau)$, and Sol₃, the immersion data are governed by a system of structural equations—Gauss, Codazzi, and in some settings additional compatibility relations for the ambient structure (Santiago, 1 Dec 2025).

Bianchi-Cartan-Vrănceanu Spaces: The fundamental data for an isometric immersion $f : \Sigma \to E(\kappa, \tau)$ include the shape operator S, the rotation J, the vertical component of the normal $\nu_3$, and the horizontal part of the vertical field $T_3$, with compatibility equations coupling the induced metric, curvature, and submersion structure.

Sol₃: Here, the left-invariant Gauss map components and associated tangent data fulfill a system of equations relating the shape operator, the left-invariant frame, and the ambient structure. Bonnet pairs correspond to simultaneous solutions of these systems, with continuous deformations only existing for surfaces with constant principal curvatures or constant left-invariant Gauss map.

A key result is that, in these geometries, continuous Bonnet deformations (S¹-families) are fully classified: They exist precisely for minimal surfaces in product spaces (S²×ℝ, H²×ℝ) or for extrinsically homogeneous surfaces (surfaces of constant principal curvatures) in the relevant geometry (Santiago, 1 Dec 2025). Otherwise, any Bonnet mate is unique (at most two) or does not exist.

3. Bonnet Pairs in Higher Codimension and Lagrangian Geometry

In codimension two, notably for surfaces in 4-dimensional space forms $Q^4_c$, the Bonnet problem is reframed in terms of parallel vector bundle isometries preserving the mean curvature vector field (Polymerakis, 2020). Congruence classes of isometric immersions with the same mean curvature are analyzed via the moduli space $M(f)$.

Key structures in Q⁴:

• The Hopf differential splits into isotropic components, which encode the curvature ellipse, and isotropic isothermicity is defined in terms of co-closedness of mixed connection forms.
• For simply-connected surfaces, proper Bonnet surfaces—that is, those with infinitely many Bonnet mates—have deformation spaces that are either S¹ (circle) or S¹×S¹ (torus), with discrete or 2-parameter families depending on the geometric structure and the presence of vertical-harmonic Gauss lifts.

In complex geometry, for conformal Lagrangian surfaces in complex space forms $M^2(4c)$, the Bonnet theorem asserts that the metric, mean-curvature form, and a cubic differential, together with their compatibility (Gauss-Codazzi-Ricci) equations, uniquely determine the immersion up to ambient isometries (He et al., 2015). The existence of Lagrangian Bonnet pairs is thus constrained by holomorphic conditions on the mean-curvature (Maslov) form and complex analytic properties of the cubic differential.

4. Compact Bonnet Pairs and Analyticity

The existence problem for compact Bonnet pairs was resolved constructively in the genus one (torus) case, providing explicit analytic Bonnet pairs in ℝ³ (Bobenko et al., 2021). The construction utilizes isothermic tori and their duals via quaternionic or integrable-system formulations:

• Isothermic immersions—those admitting conformal curvature-line coordinates—allow for explicit analytic construction.
• Their Christoffel duals and integrable deformation formulas enable the production of non-congruent compact immersions with identical metric and mean curvature.
• Analyticity is preserved through theta-function parametrization and integrability closure relations.

This answers the Cohn-Vossen–Berger uniqueness question negatively for analytic metrics on compact surfaces, showing that real-analytic data do not determine a unique compact immersion up to isometry or reflection.

5. Local and Global Uniqueness Theorems

Notions of uniqueness for Bonnet pairs are sharply delimited:

• On simply-connected domains, Bonnet surfaces admitting continuous deformations must arise from prescribed S¹- or S¹×S¹-families, usually associated to minimal or homogeneous surfaces.
• On compact domains, for both real and complex cases, the only exceptions to uniqueness are subject to strong analytic constraints: the mean curvature (or Maslov form) must be holomorphic/conformal, and any Bonnet pair structure is then parameterized by complex-analytic divisors or spectral data (Polymerakis, 2020, He et al., 2015).
• In Thurston three-geometries, including Sol₃ and Bianchi-Cartan-Vrănceanu spaces, local and global classification of Bonnet pairs is achieved via explicit compatibility systems and degree-counting, restricting possible solutions to finite algebraic possibilities and characterizing all surfaces admitting continuous Bonnet deformations in terms of extrinsically homogeneous or minimal cases (Santiago, 1 Dec 2025).

6. Geometric and Analytic Characterizations

The geometric underpinnings of the Bonnet problem are reflected in several structural and analytic features:

• Equations of the Gauss-Codazzi-Ricci type encode the relationships required for the preservation of principal (or mean) curvatures under isometric deformations.
• Isothermicity—admitting conformal curvature line coordinates or co-closed mixed connection forms—is linked intimately with Bonnet flexibility and moduli (Polymerakis, 2020, Bobenko et al., 2021).
• The theory is naturally formulated in the language of integrable systems: quaternionic forms, holomorphic differentials, and period conditions parameterize the moduli of Bonnet deformations, especially for compact tori and higher-genus surfaces.
• In higher codimension and in Lagrangian geometry, the existence of Bonnet pairs is controlled by the conformal/holomorphic structure of the mean curvature form and associated differentials (He et al., 2015).

7. Open Questions and Future Directions

Several research questions remain open within the theory:

• Global classification of Bonnet pairs in non-simply-connected domains and for surfaces of higher genus, particularly in Thurston geometries and in dimensions beyond four.
• Extension of the Bonnet problem to non-orientable surfaces, mixed codimension, and to the setting of discrete differential geometry, where combinatorial analogs of isothermicity and Bonnet pairs have been identified (Bobenko et al., 2021).
• Investigation of isoparametric and extrinsically homogeneous surfaces as the complete class of continuously deformable Bonnet surfaces in specific model spaces, such as Sol₃ (Santiago, 1 Dec 2025).
• Development of integrable-systems representations for the associated compatibility equations, especially for complex and higher-dimensional settings.

The Bonnet problem, through its various geometric and analytic incarnations, continues to serve as a central locus for advances in global surface theory, integrable systems, and the geometric analysis of submanifolds (Santiago, 1 Dec 2025, Polymerakis, 2020, He et al., 2015, Bobenko et al., 2021).