Local and infinitesimal rigidity of simply connected negatively curved manifolds (Q506599)

Each connected Riemannian manifold with sectional curvature bounded above by \(-1\) is a~CAT(\(-1\)) space and the geodesic boundary is well defined and equal to the boundary at infinity given by Gromov product. The main goal of this paper is to present the collection of results devoted to relations between deformation of the Riemannian tensor and the geodesic boundary. More precisely, the author proves the following: Theorem 1.1. Let \((X, g_0)\) be a~complete simply connected Riemannian manifold with sectional curvatures bounded above by \(-1\). Let \((g_t)_{0\leq t\leq 1}\) be a~\(1\)-parameter family of Riemannian metrics on \(X\) such that: (1) The symmetric \((0, 2)\)-tensors \(g_t - g_0\), \(0 \leq t \leq 1\) are compactly supported with supports contained in a~fixed compact \(C \subset X\). (2) The sectional curvatures of the metrics \(g_t\), \(0 \leq t \leq 1\) are bounded above by \(-1\). (3) The metrics \(g_t\), \(0 \leq t \leq 1\) depend smoothly on the parameter \(t\). (4) All the boundary maps \(\widehat{\mathrm{id}}_{g_0,g_t} : \partial_{g_0}X \to \partial_{g_t}X\), \(0 \leq t \leq 1\), are Moebius. Then there is a \(1\)-parameter family of diffeomorphisms \(f_t: X \to X\) such that \(f_t^* g_t = g_0\). Moreover, there is a~compact \(K \subset X\) such that \(f_t = \mathrm{id}_X\) on \(X - K\) for \(0 \leq t \leq 1\).