On the Bergman Kernel of complex hyperbolic manifolds

We prove a formula for the Bergman kernel of polarized complex hyperbolic manifolds. The formula expresses the Bergman kernel as a sum over the geodesic loops in the manifold. As an application, we prove a result about the maximum and minimum of the Bergman kernel function. We also prove an estimate of the off-diagonal Bergman kernel.