An arithmetic Hilbert-Samuel theorem for singular hermitian line bundles and cusp forms

We prove an arithmetic Hilbert-Samuel type theorem for semi-positive singular hermitian line bundles of finite height. In particular, the theorem applies to the log-singular metrics of Burgos-Kramer-K\"uhn. Our theorem is thus suitable for application to some non-compact Shimura varieties with their bundles of cusp forms. As an application, we treat the case of Hilbert modular surfaces, establishing an arithmetic analogue of the classical result expressing the dimensions of spaces of cusp forms in terms of special values of Dedekind zeta functions.