Local limit theorem in negative curvature (Q2037865)

In this very well written paper, the authors prove a local limit theorem for the heat kernel on the universal cover of a closed Riemannian manifold of negative sectional curvature. It involves the bottom of the spectrum of the geometric Laplacian, a positive harmonic function related to the former, and tools such as: Martin boundary, Mohsen's Rayleigh quotient, uniform Harnack inequality, uniform three-mixing of the geodesic flow on the unit tangent bundle for suitable Gibbs-Margulis measures.