Space of K\"ahler metrics (V)-- K\"ahler quantization

Abstract

We prove the convergence of geodesic distance during the quantization of the space of K\"ahler potentials. As applications, this provides alternative proofs of certain inequalities about the K-energy functional in the projective case.