To challenge the long-accepted idea, the researchers built two compact, self-contained surfaces shaped like doughnuts, known as tori. These two surfaces share identical values for both metric and mean curvature, yet their overall structures are not the same. This type of example had been sought for decades but had never been found until now.

The metric describes distances along a surface, meaning how far apart two points are when measured across it. Mean curvature captures how the surface bends in space, indicating whether it curves inward or outward and by how much.

Limits of Bonnet's Rule for Surface Geometry

Mathematicians were already aware that Bonnet's rule does not apply in every situation. Known exceptions involved non-compact surfaces, which either extend infinitely, like a flat plane, or have edges where they end. In contrast, compact surfaces such as spheres were thought to follow the rule, with metric and mean curvature fully determining their shape.

For torus-shaped surfaces, earlier work showed that a single set of metric and mean curvature values could correspond to as many as two different shapes. However, no one had been able to produce a clear, concrete example to demonstrate this possibility.

A Long-Sought Counterexample Finally Found

The new work fills that gap. By constructing a pair of tori that match in local measurements but differ globally, the team has provided the first explicit example of this phenomenon.

"After many years of research, we have succeeded for the first time in finding a concrete case that shows that even for closed, doughnut-like surfaces, local measurement data do not necessarily determine a single global shape," says Tim Hoffmann, Professor of Applied and Computational Topology at the TUM School of Computation, Information and Technology. "This allows us to solve a decades-old problem in differential geometry for surfaces."

The finding resolves a long-standing question in geometry and highlights a deeper insight. Even with complete local information, a surface's full shape cannot always be uniquely determined.