Two counterexamples in low-dimensional length geometry

Abstract

One of the key properties of the length of a curve is its lower semicontinuity: if a sequence of curves γ i converges to a curve γ, then length(γ) ≤ lim inf length(γ i ). Here the weakest type of pointwise convergence suffices.There are higher-dimensional analogs of this semicontinuity for Riemannian (and even Finsler) metrics. For instance, the Besicovitch inequality (see, e.g., [1] and [4]) implies that if a sequence of Riemannian metrics d i on a manifold M uniformly converges toFurthermore, the same is true if the limit metric is Finsler (where any "reasonable" notion of volume for Finsler manifolds can be used); the proof, though, is more involved (see [2,7]).However, we shall give an example of an increasing sequence of Riemannian metrics The counterexample undermines a natural approach to proving length-area inequalities for length spaces by means of approximations by Riemannian (more generally, Finsler) metrics. Similar considerations lead to the following question: can every intrinsic metric on a disk be approximated by an increasing sequence of Finsler metrics? There is some evidence suggesting that the answer is likely to be affirmative in dimension two. However, we shall give an example of an intrinsic metric on a 3-dimensional ball such that no neighborhood of the origin admits a Lipschitz bijection to a Euclidean region.In this elementary exposition we present both counterexamples. Unfortunately, people often choose not to publish the results of research that led to counterexamples rather than proofs of desired theorems; as such, even published counterexamples tend to be forgotten. Hence we cannot be confident in the complete newness of the results. At the very least, we use this paper to raise open problems and embed these problems into a new context. The paper is organized as follows. In the rest of the Introduction we give rigorous formulations of the results and outline the proofs. § §2 and 3 contain proofs of Theorems 2000 Mathematics Subject Classification. Primary 51K10, 28A75.

Metric geometry on manifolds: two lectures

“…An analog of Exercise 1.16 with Hausdorff measure instead of volume does not hold for general metrics on a manifold. In fact there is a nondecreasing sequence of metric tensors g n on M , such that ( 1) vol(M, g n ) < 1 for any n and (2) dist gn converges to a metric on M with arbitrary large Hausdorff measure of any given dimension; such an example was constructed by Dmitri Burago, Sergei Ivanov, and David Shoenthal [7].…”