Basic question about branch points on Riemann surfaces

Dear Robert, there exists a holomorphic function $X\to Y $ having non discrete and even dense set of branch points, with $X=\mathbb C^\ast \setminus \{0\}$ and $Y=\mathbb C$.
Consider an enumeration $(q_n)$ of $\mathbb Q$ and the polynomials $P_n(z)=q_n + (z-1/n)^2$.
A theorem due to Mittag-Leffler says that there exists a holomorphic function $f:\mathbb C^\ast \setminus \{0\} \to \mathbb C$ whose Taylor development at $1/n$ is $P_n(z)$. The $q_n=f(1/n)$ , that is all of $\mathbb Q$, are then branch points of $f$.

Bibliography and comments The version of Mittag-Leffler used above is not so easy to find in the literature (I just checked). It is proved in Ash-Novinger's Complex Variables ( theorem 6.3.3 ) where they deduce from it some algebraic properties ( due to Helmer) of the ring $\mathcal O(D)$ of holomorphic functions on an open connected $D\subset \mathbb C$. It is a non-noetherian domain, not a UFD but any collection of elements of $\mathcal O(D)$ has a GCD and all its finitely generated ideals are principal.


This is true if $f$ is proper (the preimage of a compact is compact). Indeed, any compact neighborhood of $y\in Y$ contains only finitely many branch points because its preimage in $X$ contains only finitely many ramification points.

If $f$ is not proper, ramification points in $Y$ may not be discrete. Take for $X$ the union of copies of $\mathbb C$ indexed by $n=1,2,3,...$ and let $f:X\to \mathbb C$ be the holomorphic map which on the $n$--th copy of $\mathbb C$ in $X$ is given by $f(z) = (z-1/n)^2$.