Local rigidity of manifolds with hyperbolic cusps. II: Nonlinear theory (Q6122614)

For every homotopy class \(c\) in the space \(\mathcal{C}\) of free homotopy classes on a smooth closed compact Riemannian manifold \((M,g)\) without boundary write \(\gamma_g(c)\) for the corresponding unique closed geodesic in \(c\), and \(\ell_g(\gamma_g(c))\) for its length. This gives the `marked length spectrum' as a map \(L\) defined on the space of negatively-curved metrics on \(M\) by sending \(g\) to \((\ell_g(\gamma_g(c)))_{c\in\mathcal{C}}\). The marked length rigidity problem is to understand if the only obstruction to injectivity of the map \(L\) comes from the invariance of \(L\) under the group of diffeomorphisms isotopic to the identity. \textit{K. Burns} and \textit{A. Katok} [Ergodic Theory Dyn. Syst. 5, 307--317 (1985; Zbl 0572.58019)] conjectured that on closed negatively-curved manifolds the marked length spectrum should determine the metric up to isometries isotopic to the identity. This paper is the second of two articles extending to the case of negatively curved manifolds with hyperbolic cusps a recent result of \textit{C. Guillarmou} and \textit{T. Lefeuvre} [Ann. Math. (2) 190, No. 1, 321--344 (2019; Zbl 1506.53054)] giving local rigidity of the marked length spectrum in the case of compact negatively curved Riemannian manifolds. Here the non-linear version of the problem is considered, and it is shown that these manifolds are locally rigid for non-linear perturbations of the metric under a condition at infinity. The proof uses the linear theory addressed in the first paper [\textit{Y. Guedes Bonthonneau} and \textit{T. Lefeuvre}, Ann. Inst. Fourier 73, No. 1, 335--421 (2023; Zbl 1522.53033)] and delicate analysis of the so-called generalized \(X\)-ray transform operator.