Partition functions of determinantal point processes on polarized K\"ahler manifolds

In this paper, we study the full asymptotic expansion of the partition functions of determinantal point processes defined on a polarized K\"ahler manifold. We show that the coefficients of the expansion are given by geometric functionals on K\"ahler metrics satisfying the cocycle identity, whose first variations can be expressed through the TYZ expansion coefficients of the Bergman kernel. In particular, these functionals naturally generalize the Mabuchi functional in K\"ahler geometry and the Liouville functional on Riemann surfaces. We further show that Futaki-type holomorphic invariants obstruct the existence of critical points of these geometric functionals, extending Lu's formula. We also verify that certain formulas remain valid up to the third coefficient without assuming polarization. Finally, we discuss the relation of our results to the quantum Hall effect (QHE), where the determinantal point process provides a microscopic model. In particular, we recover the higher-dimensional effective Chern-Simons actions derived in the physics literature and confirm a conjecture of Klevtsov on the form of the partition function asymptotics.