We prove arithmetic Hilbert–Samuel type theorems for semi-positive singular hermitian line bundles of finite height. This includes the log-singular metrics of Burgos–Kramer–Kühn. The results apply in particular to line bundles of modular forms on some non-compact Shimura varieties. As an example, 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.
