Hodge decomposition of L₂-cohomology and intersection cohomology of a Shimura variety

Classical Hodge theory endows the square integrable cohomology of a Shimura variety X with values in a locally homogeneous polarized variation of Hodge structure E with a natural Hodge decomposition. The theory of Morihiko Saito does the same for the E-valued intersection cohomology of the Baily-Borel compactification of X. Existing proofs of the Zucker conjecture identify these cohomology groups, but do not claim this for their Hodge decompositions. We show that one of the proofs yields that as well.