Factorization of proper holomorphic maps on irreducible bounded symmetric domains of rank≥2

We obtain rigidity results on arbitrary proper holomorphic maps F from an irreducible bounded symmetric domain Ω of rank ≥2 into any complex space Z. After lifting to the normalization of the subvariety F (Ω) Z, we prove that F must be the canonical projection map to the quotient space of Ω by a finite group of automorphisms. The approach is along the line of the works of Mok and Tsai by considering radial limits of bounded holomorphic functions derived from F and proving that proper holomorphic maps between bounded symmetric domains preserve certain totally geodesic subdomains. In contrast to the previous works, in general we have to deal with multivalent holomorphic maps for which Fatou’s theorem cannot be applied directly. We bypass the difficulty by devising a limiting process for taking radial limits of correspondences arising from proper holomorphic maps and by elementary estimates allowing us to define distinct univalent branches of the underlying multivalent map on certain subsets. As a consequence of our rigidity result, with the exception of Type-IV domains, any proper holomorphic map f : Ω→ D of Ω onto a bounded convex domain D is necessarily a biholomorphism. In the exceptional case where Ω is a Type-IV domain, either f is a biholomorphism or it is a double cover branched over a totally geodesic submanifold which can be explicitly described.