Holomorphic quantization formula in singular reduction

We show that the holomorphic Morse inequalities proved by Tian and the author [TZ1, 2] are in effect equalities by refining the analytic arguments in [TZ1, 2].