Abstract:The lens data of a Riemannian manifold with boundary is the collection of lengths of geodesics with endpoints on the boundary together with their incoming and outgoing vectors. We show that negatively-curved Riemannian manifolds with strictly convex boundary are locally lens rigid in the following sense: if $g_0$ is such a metric, then any metric $g$ sufficiently close to $g_0$ and with same lens data is isometric to $g_0$, up to a boundary-preserving diffeomorphism. More generally, we consider the same problem for a wider class of metrics with strictly convex boundary, called metrics of Anosov type. We prove that the same rigidity result holds within that class in dimension $2$ and in any dimension, further assuming that the curvature is non-positive.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether on a specific type of manifold, namely Anosov - type manifolds, the geometric structure of the manifold, specifically its Riemannian metric \(g\), can be uniquely determined by the so - called "lens data". Here, the lens data includes the lengths of geodesics starting from the boundary as well as their incident and exit vectors on the boundary. More precisely, if two Riemannian manifolds with strictly convex boundaries have the same lens data, then can these two manifolds be isometric to each other through a boundary - preserving diffeomorphism? This problem is mathematically known as the lens rigidity problem.
The main contribution of the paper lies in proving that for Riemannian manifolds with negative curvature and strictly convex boundaries, or more broadly, for Anosov - type manifolds, local lens rigidity holds in the two - dimensional case or in the high - dimensional case assuming non - positive curvature. This means that if a metric \(g\) is sufficiently close to another known metric \(g_0\) and both have the same lens data, then \(g\) can be transformed into \(g_0\) through a boundary - preserving diffeomorphism. This result provides important theoretical support for understanding the geometric structure inside the manifold, especially in cases where the interior of the manifold cannot be directly observed, such as in applications in geophysics.