14
$\begingroup$

The metric of a Riemannian manifold determines the shortest distance between any two points.

  1. I assume the reverse holds? That is, if you are given the shortest distance d(x,y) between every pair of points of a manifold M, the metric for M is determined? I am mainly interested in compact, connected, closed 2-manifolds, but the most general answer would be appreciated. (Apologies in advance for my naivete.)

  2. Assuming I am correct above, is there some natural subset S of M such that knowing d(x,y) between every pair of points of S uniquely determines the metric (up to isometry)? For example, suppose S is a simple closed geodesic on M? Perhaps some assumptions on M are necessary: genus zero, convex, ... ?

$\endgroup$
5
  • $\begingroup$ this might be overly nitpicky, but even defining the metric doesn't really define the distance unless you're also using the default affine connection, no ? because you have to do the minimization of path length, and so you need to be able to define the covariant derivative. $\endgroup$ May 27, 2010 at 1:07
  • 3
    $\begingroup$ The R. metric alone determines lengths of paths according to the formula $L(c) = \int_a^b || c'(t) || dt$, and on a connected manifold the infimum over all smooth curves $c$ joining $p$ and $q$ of $L(c)$ defines an honest distance. Covariant differentiation certainly helps you prove things, but it is not needed for the definition. Aside from that, to set up the sorts of variational arguments that you are probably referring to, it is crucial that parallel transport preserve the metric. Since the metric determines a unique compatible connection, specifying the connection is redundant. $\endgroup$ May 27, 2010 at 2:05
  • 1
    $\begingroup$ In your second question, do you want to determine the metric tensor at every point, or to determine the metric up to an isometry? In the former case, you can do if and only if S is dense. The latter is much more complicated. $\endgroup$ May 27, 2010 at 9:33
  • $\begingroup$ @Sergei: Determine the metric up to an isometry. Now edited to reflect that. $\endgroup$ May 27, 2010 at 10:53
  • $\begingroup$ I just found a paper that is at least in the same intellectual neighborhood: Croke, Dairbekov, Sharafutdinov: "Local boundary rigidity of a compact Riemannian manifold with curvature bounded above." Trans. Amer. Math. Soc. 352 (2000), 3937-3956. A snippet from the abstract: "...such that $g$ is the unique metric with the given boundary distance-function." $\endgroup$ May 27, 2010 at 12:27

5 Answers 5

9
$\begingroup$

Concerning the second question. A single closed geodesic is not enough. For example, let $S$ be the equator of the standard sphere. All distances between points of $S$ are realized by paths in $S$, so you don't have any information about the metric outside $S$, except that it is sufficiently large (so that the paths outside $S$ are not shorter).

On the positive side, for every 2D Riemannian manifold, you can construct an embedded graph $S\subset M$ such that the distances between its points determine the metric uniquely (up to an isometry). It suffices to take a union of small geodesic circles such that their encircled regions cover $M$ and lie within convexity radii of their centers. Indeed, a metric on a 2-disc whose boundary is convex and whose geodesics are all strictly minimal, is uniquely determined by the distances between boundary points.

This used to be a long-standing conjecture and was proved in 2005 by Pestov and Uhlmann: "Two dimensional compact simple Riemannian manifolds are boundary distance rigid", Ann. of Math. 161 (2005), no. 2, 1093--1110; MR2153407 (2006c:53038).

In higher dimensions, the full conjecture is still open. Until very recently, it was known only for very special metrics (some locally symmetric ones and some splitting ones). Dima Burago and I proved it for sufficiently small regions in any Riemannian manifold, where "sufficiently small" actually means that the diameter is small relative to the maximum modulus of sectional curvature (and of course to the injectivity radius). This is in our paper "Boundary rigidity and filling volume minimality of metrics close to a flat one", Ann. of Math. 171 (2010), no. 2, 1183--1211.

So, as Will Jagy suggested in his answer, you can take the $(n-1)$-skeleton of a sufficiently fine triangulation for $S$.

I am not aware of any numerical algorithms for this problem. It is known that the solution is stable (depends continuously on the input data) but you have to take into account the derivatives of the boundary distance function. A $C^0$ approximation of the distances is not enough to find an approximation of the metric, see Paul Siegel's answer.

$\endgroup$
2
  • $\begingroup$ Thanks so much for this wealth of information! "Boundary-distance rigid" is the key search phrase, I now realize. Interesting that there are as yet no numerical algorithms. Seems ripe for an attempt! $\endgroup$ May 27, 2010 at 12:59
  • $\begingroup$ In comparison, the most useful part of my answer was where I hoped Sergei Ivanov would find the question! That paper on boundary rigidity with Dima Burago is really worth reading, by the way. It's tough in places, but the overall idea is quite inspiring. $\endgroup$ May 27, 2010 at 18:46
16
$\begingroup$

There is an old paper of mine called "On the Differentiability of Isometries" in which I show that if you know a Riemannian manifold $M$ only as a metric space, i.e., you just know its point set and the metric function $d(x,y)$, then from that information you can recover first the differentiable structure and then the Riemannian metric tensor (i.e., the inner product on each tangent space). I think that answers your first question. The paper is downloadable from here:

http://www.ams.org/proc/1957-008-04/S0002-9939-1957-0088000-X/S0002-9939-1957-0088000-X.pdf

$\endgroup$
1
  • 1
    $\begingroup$ Great, I will study your paper. Thanks! $\endgroup$ Jul 10, 2010 at 12:17
7
$\begingroup$

You are thinking in terms of long geodesics, but your question is local. The metric is defined point by point. To know the metric tensor at a point $A,$ it is only necessary to know the geodesic distances from $A$ to all points in an arbitrarily small ball (germ) around $A.$ As to your second question, $S$ would need to be a fairly large set, as on $C^\infty$ manifolds one can alter the metric in a tiny ball (disk in dimension 2) without this being noticeable from far away. It may be that your set $S$ could be a finite set of triangulations, such that every point is in the interior of at least one simplex from at least one triangulation. So the idea, and I am not sure, is a Riemannian metric in the interior of a simplex determined by all pairwise distances between points on the boundary? If so, recovering the metric from such information is seriously nontrivial. But proving or disproving uniqueness is a smaller problem.

$\endgroup$
6
$\begingroup$

There are other people who frequent MO who are much better equipped than me to answer your question, but I think I can provide a few useful insights.

First, you are correct that the Riemannian metric can be recovered from the distance function that it induces. As Will pointed out this is a purely local problem. First note that not every distance function comes from a Riemannian metric - there are lots of very strong necessary conditions. One necessary condition is that given any point $p$ and any tangent vector $v$ at $p$ there is a unique smooth curve $c(t)$ defined for values of $t$ in $(-\varepsilon, \varepsilon)$ such that $c(0) = p$, $c'(0) = v$, and $c$ is a length minimizer for any pair of points in its image. The norm of $v$ can be recovered by differentiating the distance from $p$ to $c(t)$ at $t = 0$, and the inner product on the tangent space at $p$ can be recovered from the norm.

Your second question has some very illuminating and extremely deep answers, but you need additional assumptions and you generally have to be satisfied with slightly weaker conclusions. The sorts of assumptions you need to make generally involve placing bounds on the sectional curvature of the manifold, and the conclusions usually at best tell you that your metric is uniformly close to another one (such theorems are more useful in the noncompact case). To illustrate why you can't do better, imagine taking your favorite surface with its standard metric, cutting out a tiny disk, and attaching a huge hot air balloon style bulb to the hole that remains. Shortest curves between points outside the disk will stay away from the bulb, and so your knowledge of the geometry of the surface away from the bulb won't even determine the topology let along the geometry on the bulb. Additional assumptions such as curvature bounds help eliminate these examples. Taking this idea to its extreme, you get results like the Mostow rigidity theorem which says that if a Riemannian manifold of dimension 3 or higher has constant negative curvature then the metric is determined by the fundamental group. So in that case you can take the set $S$ to be empty.

If you have some other ideas in mind, try to flesh them out as much as possible and maybe Sergei Ivanov or Anton Petrunin will spot your question.

$\endgroup$
1
  • $\begingroup$ Great example---Thanks! I found a paper that obtains results assuming the "curvature satisfies a general upper bound condition," which accords with your point. See comment above. $\endgroup$ May 27, 2010 at 12:23
4
$\begingroup$

Nice paper, I was not aware of it. There is this paper:

I.G. Nikolaev, A metric characterization of riemannian spaces, Siberian Advances in Mathematics, 1999, v. 9, N4, 1-58

see the mathscinet page:

http://www.ams.org/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=TI&pg6=PC&pg7=ALLF&pg8=ET&r=1&review_format=html&s4=Nikolaev&s5=metric%20characterization&s6=&s7=&s8=All&vfpref=html&yearRangeFirst=&yearRangeSecond=&yrop=eq

Citing from the Abstract: "We present a metric characterization of Riemannian spaces: a locally compact metric space with intrinsic metric in which geodesics are locally extendable, and which has Holder-continuous curvature as a metric space, is isometric with a C^2-Riemannian manifold."

Edit [by J.O'Rourke]. Following Willie's advice (in the comments), here is the MathSciNet link.

$\endgroup$
1
  • 1
    $\begingroup$ for future reference: to link to MathSciNet you should copy the link from the "Make Link" button. The two advantages are (1) the link is much shorter and less likely to break when you paste it somewhere and (2) the link redirects to a bibliographic citation record for those who do not have subscription to MathSciNet (so that they can at least copy down the information and find the journal article at a library somewhere). In this case the link is ams.org/mathscinet-getitem?mr=1749850 $\endgroup$ Jul 20, 2010 at 11:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.