Normal families of proper holomorphic correspondences (Q1814275)

Let \(D\) and \(G\) be bounded domains in \(\mathbb{C}^ n\). Generalizing single valued proper holomorphic maps, the authors consider multivalued proper holomorphic correspondences with domain \(D\) and range \(G\); the inverses of these are also multivalued proper holomorphic correspondences. For positive integers \(p\) and \(q\), let \(\text{PropCor}(D,G,p,q)\) denote the family of such correspondences that are at most \(p\)-valued and whose inverses are at most \(p\)-valued. The authors' main result states that this family is normal in the sense that any sequence either is compactly divergent or contains a subsequence converging (in a suitable way) to a correspondence in \(\text{PropCor}(D,G,p,q)\). The case where \(p=1\) and the domains have bounded plurisubharmonic exhaustion functions was proved by \textit{S. Bell} [J. Math. Pures Appl., IX. Sér. 67, No. 1, 85-92 (1988; Zbl 0638.32025)]. The case \(p=q=1\) is a theorem about biholomorphisms, which goes back to \textit{H. Cartan} [Math. Z. 35, 760-773 (1932; Zbl 0004.40602)]. The authors also provide a useful variant of this theorem in the situation where the domain and the range are allowed to depend on the correspondence. Their proofs involve a Schwarz lemma for holomorphic correspondences from the unit ball in \(\mathbb{C}^ n\) into the unit disc in \(\mathbb{C}\).