0
$\begingroup$

Actually I am interested to know whether sum of two proper holomorphic map is again a proper map or not, so in precise

Let $f_1,f_2$ be two proper, holomorphic map,so for any compact $K\subseteq\mathbb{C}$ we need to prove either $(f_1+f_2)^{-1}(K)$ is compact or not?

  • 0
    @LeonidKovalev, oka$y$ dear sir :)2012-08-18

1 Answers 1

4

Denote by $S=:\mathbb C \cup \lbrace \infty \rbrace$ the Riemann sphere and for a continuous function $f:\mathbb C\to \mathbb C$ , call $\hat f:S\to S$ its extension by $\hat f(\infty)=\infty$.
Then: $f \;\text {is proper} \implies \hat f \;\text { is continuous}$
This follows from the properties of the Alexandrov (= one-point) compactification and has nothing to do with holomorphic functions.
However if $f$ is holomorphic on $\mathbb C$, the condition that $\hat f $ be continuous is equivalent to the condition that $\hat f :S\to S$ be holomorphic (by Riemann's removable singularity theorem) and this in turn implies (see here for a proof) that $\hat f$ is rational : $\hat f (z)=P(z)/Q(z)$ for some polynomials $P,Q$.
Since $f$ is holomorphic, our rational function has no pole and we may take $Q=1$ in the expression above and thus $f(z)=P(z)$.

On the other hand, a polynomial $P(z)$ is clearly proper unless it is a constant.

Conclusion
The proper holomorphic maps $f:\mathbb C\to \mathbb C$ are exactly the non-constant polynomials $P(z)\in \mathbb C[z]\setminus \mathbb C$

Corollary (= answer to the original question)
The sum of two proper holomorphic maps is either proper or is a constant.

  • 0
    You are welcome, Flute.2012-08-19