Determining a surface in $\mathbb{R}^3$ by its Gaussian curvature

Question

A curve in the plane is determined, up to orientation-preserving Euclidean motions, by its curvature function, $\kappa(s)$. Here is one of my favorite examples, from Alfred Gray's book, Modern Differential Geometry of Curves and Surfaces with Mathematica, p.116:

Q1. Is there an analogous theorem stating that a surface in $\mathbb{R}^3$ is determined (in some sense) by its Gaussian curvature?

I know such a reconstruction path (curvature $\rightarrow$ surface) is needed in computer vision, and so there are approximation algorithms, but I don't know what is the precise theorem underlying this work.

Q2. Are there higher-dimensional generalizations, determining a Riemannian manifold by its curvature tensor?

I have no doubt this is all well known to the cognoscenti, in which case a reference would suffice. Thanks!

Addendum (4Oct11). Permit me to augment this question with a relevant reference which loosens the notion of "determines" and answers my Q1 with that notion replaced by "find some." The paper by Gluck, Krigelman, and Singer, entitled "The converse to the Gauss-Bonnet Theorem in PL," J. Diff. Geom, 9(4): 601-616, 1974, poses this question:

Suppose that a closed smooth two-manifold $M$ and a smooth real-valued function $K \colon M \rightarrow \mathbb{R}$ are given, and that one is asked to find a Riemannian metric for $M$ having $K$ as its Gaussian curvature. [...] With these restrictions on $K$ [just elided], the problem has been completely solved for all closed smooth two-manifolds by: Melvyn Berger [...], Gluck [...], Moser [...], Kazdan and Warner [...]. Recently Kazdan and Warner have obtained a uniform solution. The problem for compact two-manifolds with boundary, however, seems not to have been addressed in the smooth category.

The MathSciNet review of this paper was written by Gromov.

Answer 1

I'm not sure what you mean by "determining". One natural notion of equivalence is for two surfaces to be related by an ambient isometry (a euclidean motion).

A basic result is that two surfaces in $\mathbb{R}^3$ are related by an isometry of $\mathbb{R}^3$ if and only if their first and second fundamental forms agree.

A weaker condition is that of isometry. Two surfaces are said to be isometric if their first fundamental forms agree. Gauss's Theorema Egregium says that isometric surfaces have the same Gaussian curvature, but the converse is not true: there are examples of surfaces with the same Gaussian curvature, but which are not isometric.

In dimension $\geq 4$ Kulkarni in his paper Curvature and Metric showed that a diffeomorphism which preserves the sectional curvature is an isometry, except possibly in the case of constant sectional curvature. In dimension $\leq 3$ there are counterexamples which are mentioned in his paper.

Answer 2

The associated family of a minimal surface gives a tangible counterexample. The Weierstrass representation lets you cook up a conformally parameterized minimal surface from a meromorphic pair $f \sqrt{dz}$, $g \sqrt{dz}$.

The parameterization is then given by $$F(x,y) = Re\int_0^{x+iy} (f^2 - g^2, i(f^2 + g^2), 2 fg) ~dz$$

The normal map of $F$ can be obtained by thinking of $g/f$ as a map to the Riemann sphere, and the metric induced by $F$ is just $4(|f|^2 + |g|^2)^2 |dz|^2$. From this data, you can cook up the Gauss and mean curvatures, and it happens to be true that if $f \sqrt{dz}$ and $g \sqrt{dz}$ are meromorphic, you get a minimal surface.

But then consider what happens if you multiply both $f$ and $g$ by $e^{i \theta}$ --- the normal map and the metric are both unchanged, and $e^{i\theta} f \sqrt{dz}, e^{i\theta} g \sqrt{dz}$ are still quite meromorphic, so you get a new minimal surface which is isometric to your old one. This means you have made a new surface whose principal curvatures agree with your old one!

I think the moral here is that even knowing the metric and the complete set of principal curvatures isn't enough to reconstruct a surface --- the curvature directions are also vital data.

To see all this in action, here is a video with strange music showing the helicoid transforming into the catenoid, which starts with the Weierstrass data for the catenoid and then multiplies by $e^{i \theta}$, with $\theta$ increasing as the movie progresses. Every one of the surfaces is isometric to the catenoid! But they do have different second fundamental forms.

Answer 3

Insted of Q2, I will answer the following question:

Are there higher-dimensional generalizations, determining a submanifold in $\mathbb R^q$.

Yes, there are some analogs, but I am sure you do not need them.

They work well for $n$-dimensional submanifolds in $\mathbb R^{n{\cdot}(n+3)/2}$. (curves in $\mathbb R^2$, surfaces in $\mathbb R^5$ and so on). Instead of natural parametrization you remember metric tensor $g$; which is a degree 2 homogeneous polynomial on the tangent space. Instead of curvature you remember the following degree 4 homogeneous polynomial $h(X)=|s(X,X)|^2$, where $s\colon T\times T\to N$ is the second fundamental form (for two tangent vectors $X$ and $Y$ the value $s(X,Y)$ is a normal vector).

The proofs are the same as Frenet–Serret formulas. You can find it in Spivak's book.

Answer 4

There is a satisfactory answer to Q1 if you restrict to convex surfaces: one way to state the question is then as the Minkowski problem. That is, you choose a positive function $k$ on the sphere and look for a surface $S$ in $R^3$ with Gauss curvature $k(n)$ at the point where the unit normal vector is $n$. This problem was solved in the early 50', see the Math Review of MR0058265 (15,347b) Nirenberg, Louis The Weyl and Minkowski problems in differential geometry in the large. Comm. Pure Appl. Math. 6, (1953). 337–394. In higher dimensions you can still play the same game, for convex hypersurfaces (or sometimes using a weaker form of convexity) and find one with prescribed "curvature", where the curvature can be a symmetric function of the eigenvalues of the shape operator. For instance the determinant of the shape operator, which corresponds to the Minkowski problem in higher dimension, which was also solved in the early 50', but it's not exactly what you're asking for in Q2.

Answer 5

In section 4.5 of his big book on Riemannian geometry, Berger has a discussion on the question of to what degree (and in what sense) the curvature determines the metric. He quotes the following theorem by Cartan on the two-dimensional case.

Given two surfaces with Riemannian metrics, so that the functions $K$ and $\|dK\|^2$ have everywhere independent differentials, a map between these surfaces is an isometry precisely when it preserves the four functions

\begin{eqnarray} I_1 &=& K\\ I_2 &=& \|dK\|^2\\ I_3 &=& \langle dK,dI_2\rangle\\ I_4 &=& \|dI_2\|^2 \end{eqnarray} [where $K$ is the Gaussian curvature.]

Answer 6

Instead of looking at the Gaussian curvature you should ask this question for the mean curvature which is the analog of the curvature function $\kappa$ for surfaces:

It is a well-known fact that CMC (constant mean curvature) surfaces come along in 1dimensional families, the special case of $H=0$ is described in Matt's answer. Of course, these associated surfaces are generally not closed, but the first and second fundamental form are well-defined globally. By a theorem of Tribuzy and Lawson (On the mean curvature function on compact surfaces, Journal of Differential Geometry), this cannot happen for non-constant mean curvature $H$ on compact oriented surfaces. In fact, they have shown that there are at most two different isometric immersions from a compact Riemannian surface (surface with a metric and orientation) into $\mathbb R^3$ which have the same non-constant mean curvature.

This result implies, that for compact surfaces you are almost in the same situation as for curves: if you know the intrinsic geometry (of course, this gives no invariant for curves), then the (extrinsic) mean curvature (as long as not constant) determines your surface almost uniquely.

Answer 7

For $\bf{Q1}$, (local) congruence of sub-manifolds under a continuous group action can be determined by the method of moving (co)frames (inspired by Elie Cartan and rigorously formulated by Olver and Fels): see Section 10 in https://www-users.cse.umn.edu/~olver/mf_/mcII.pdf.

For an application of this to image recognition and computer vision (since you mentioned it) see the section on image processing here: https://www-users.cse.umn.edu/~olver/paper.html

Answer 8

Q1

The above is an intrinsic or natural equation. Analogous to the plane we have many surface possibilities:

Gauss curvature as a function of parameters u and v.

Geodesic curvature as function of u and v.

Gauss curvature as a function of geodesic curvature etc.,

However treating u, v as independent parameters is direct, advantageous and simple.

From the First fundamental form coefficients (E,F and G) of surface theory we can get to describe all dependent surfaces not only with a common Gauss curvature but coming out of their Christoffel symbols several scalar invariants: tangent rotations, integral curvature, geodesic curvature, geodesic torsion etc. They can all be isometrically bent to any shape within the integrated solution while sharing the above scalar invariants included in the definition of the same metric by classical Gauss theory,Minding and Bour.

When both First and Second fundamental form coefficients ( E,F,G,L,M and N ) are same, a rigid surface is uniquely determined up to Euclidean motions ( any translation or rotation)...by Gauss-Codazzi-Mainardi relations.

Answer 9

An important classical result due to Bonnet [53] states that the sextuplet {E, F, G\ e, f, g] determines the surface £ up to its position in space. and there exist a program for solving this problem by Mathematica where {E, F, G\ e, f, g] . are the first and second fundamental form on a surface . I am taha yousif from egypt my emial is [email protected]

Answer 10

This link https://encyclopediaofmath.org/wiki/Bonnet_theorem gives you the main theorem and I am sure that there exist a program for solving this problem by Mathematica.