Quantization commutes with reduction in the non-compact setting: the case of holomorphic discrete series

In this paper we show that the multiplicities of holomorphic discrete series representations relatively to reductive subgroups satisfy the credo “Quantization commutes with reduction”.