Sobolev interpolation inequalities on Hadamard manifolds

We prove Sobolev-type interpolation inequalities on Hadamard manifolds and their optimality whenever the Cartan-Hadamard conjecture holds (e.g., in dimensions 2, 3 and 4). The existence of extremals leads to unexpected rigidity phenomena.