# Holomorphic proper maps from $B_n$ to $\Delta^k$, $k>n$

I am studying proper holomorphic maps: one result is that there are no proper holomorphic maps from $B_n$ to $\Delta^n$, i.e. from the open ball in $\mathbb C^n$ in the open polydisc. What if I increase the dimension on the right?

I can't come to an answer: for what I know, embedding theorems could hold, such that every ball can be embedded holomorphically into some polydisc in great dimension.

Thank you in advance for any suggestion.

• Why no proper holomorphic map from $B_n$ to $\Delta^n$?, isn't the inclusion $B_n\to \Delta^n$ such a map? – chan kifung Jul 12 '17 at 19:21
• Well, the inclusion is not surjective; so pick a compact in $\Delta^n$ that intersects $B_n$ and its boundary (so it has points in and out of $B_n$): its preimage is not compact in $B_n$, since it approaches the boundary. Am I right? – W. Rether Jul 12 '17 at 19:26
• Yes, you are right! – Georges Elencwajg Jul 12 '17 at 20:47

More generally, Løw has proved that every strictly psudoconvex open subset $\Omega \subset \mathbb C^n$ with $C^2$ boundary can be properly holomorphically embedded into a polydisc $P\subset \mathbb C^m$ of sufficiently high dimension $m\gt n$.
If $m\gt1$ and $r\gt0$ there is no holomorphic proper map of a polydisc $P \subset \mathbb C^m$ into an open ball $B\subset \mathbb C^r.$
This is part of Theorem 15.2.4, pages 306-307, of Rudins Function Theory in the Unit Ball of $\mathbb C ^n$.