Gaussian Curvature – Determining a Surface in R^3

dg.differential-geometrymg.metric-geometryreference-requestriemannian-geometry

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.

Best Answer

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.