Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

If $X$ and $Y$ are Riemann surfaces (not necessarily compact), and $f:X\to Y$ is a holomorphic function, then it is obvious that the ramification points of $f$ in $X$ form a discrete subset of $X$. Is the same true of the branch points of $f$ (the set made up of the images of the ramification points)?

share|improve this question

5 Answers 5

up vote 4 down vote accepted

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.

share|improve this answer
    
Dear Georges, there is something I do not understand. Locally around a branch point, in suitable coordinates a holomorphic map between Riemann surfaces can be written as $z \to z^n$, where $n$ is the ramification number (see for instance Farkas-Kra, p. 12) so it seems to me that the branch locus should be actually discrete. Am I missing something? –  Francesco Polizzi Apr 5 '11 at 13:13
    
Dear Francesco, I think it is "the suitable coordinates" which make it a little difficult to follow. Put $w=z-q_n$ at the target and $\zeta=z-1/n$ at the source . Then locally my map is described by $\zeta\mapsto w=\zeta^2$, as it should. The confusion arises because we constantly replace the values of $f$ near $f(b)$ by values near $0$ by surreptitiously changing $w$ to $w-f(b)$ and calling that "suitable coordinates"! –  Georges Elencwajg Apr 5 '11 at 13:35
    
Dear Georges, I'm still not completely convinced. If the map $f$ can be locally described as $w=\zeta^2$ around $w=0$, then there is a neighborhood of $w=0$, i.e. a neighborhood of $z=q_n$, where $f$ is not branched (since outside $w=0$ we have two distinct preimages). But this seems to contradict your assertion that $f$ has dense branch locus... –  Francesco Polizzi Apr 5 '11 at 13:49
    
I find it weird that Miranda "assumes" that branch points are discrete because ramification points are discrete. I guess it's just an error in the text maybe? (page 46 at the top) –  rfauffar Apr 5 '11 at 14:10
1  
Dear Francesco, here is the subtle point which (I hope!) will take care of your objection. What you say is true but some points near $q_n$ are branch points of $f$ not because of the behaviour of $f$ near $1/n$, which as you correctly noted is étale at points near to but different from $1/n$, but because of some nasty far away $1/N$ such that $q_N$ happens to be very close to $q_n$. Once again this is hidden by those local coordinates which give us the feeling that $0$ is some determined point whereas all sorts of points get called $0$ the minute you focus your attention on them! –  Georges Elencwajg Apr 5 '11 at 14:34

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$.

share|improve this answer
    
But in your example, $X$ isn't connected. I understand if the preimage of a compact set is compact. What if $X$ is connected? Many books simply say that branch points form a discrete set, but don't give any proof (Miranda, Algebraic Curves and Riemann Surfaces, for example). –  rfauffar Apr 5 '11 at 12:28
    
Dear Xandi, I think your map has $f(1/n)=0$ as its only branch point (=critical value). –  Georges Elencwajg Apr 5 '11 at 13:42

No: $f: \mathbb{C}\setminus \{0\} \to \mathbb{C}$, $f(z):= \frac{1}{z} sin (z)$.

share|improve this answer
    
Yes, or $f:\mathbb C\to \mathbb C$, $f(z)=e^zsin z$. –  Tom Goodwillie Apr 5 '11 at 19:27
    
Dear Johannes, I had thought of that function, but it was not clear to me that the set of branch points is not discrete. How do you show that ? –  Georges Elencwajg Apr 5 '11 at 20:42
    
Dear Tom, according to my calculations, the branch points of your function do form a discrete set, with $0$ not a branch point but the unique point of accumulation of that branch locus. [ I may have made a stupid mistake, of course. Do you agree that the the set of critical points is $-\pi /4+ \pi \mathbb Z$ ?] –  Georges Elencwajg Apr 5 '11 at 20:50
    
George, you are right. I was not paying attention and was thinking "closed and discrete" rather than "discrete". –  Tom Goodwillie Apr 5 '11 at 22:36
    
$e^{i(\alpha x+sin(x))}$ where $\alpha$ is irrational and between $0$ and $1$. –  Tom Goodwillie Apr 6 '11 at 0:23

Here is another example using only algebraic and not transcendental functions. Take three distinct complex numbers $z_1,z_2,z_3$ and let $X$ be the Riemann surface obtained by integrating the form $\sqrt{(z-z_1)(z-z_2)(z-z_3)}dz$. The map $g: X \to\mathbb C$ which sends each germ $\varphi_z\in X$ to $z$ is a covering with infinitely many sheets above the $z$-plane. (The ramification points are exactly above $z_1,z_2,z_3$, and there are infinitely many; each one is of order 2. This is so because near $z_k$ the form is like $(z-z_k)^{1/2}dz$ and therefore the primitive is like $(z-z_k)^{3/2}+cte$.) Now consider the holomorphic map $f: X\to\mathbb C$ which sends each germ $\varphi_z\in X$ to $\varphi_z(z)$. The branch points of $f$ are exactly the same as the branch points of $g$, but whilst they are of order 2 for $g$ they are of order 3 for $f$. (To see why this is so resolve the equation $\zeta=(z-z_k)^{3/2}+cte$ in $z$.) Now comes the important point: For nearly all choices of $z_1,z_2,z_3$ the periods $a_1,a_2,a_3$ of $ydz$ on the elliptic curve $y^2=(z-z_1)(z-z_2)(z-z_3)$ are such that the lattice $\mathbb{Z}a_1+\mathbb{Z}a_2+\mathbb{Z}a_3$ is dense in the plane. This means that the set of the images of the branch points of $f$ is dense in the plane.

In this way you can construct many other examples...

share|improve this answer
    
My example must be modified in order to work: instead of taking three distinct points take five (thus replacing the elliptic curve by a hyperelliptic one to assure that there are really three periods for the form ydx). –  MathOMan Apr 22 '11 at 14:57

Another very concrete answer but without any formula:

I suppose you know how to construct "with papers, scissors and glue" a Riemann surface with a single branch point of order 2 (for example the surface of the function $\sqrt z$). Now take the Riemann surface of the logarithm. It has a countable infinite number of sheets. On each sheet you can add "with papers, scissors and glue" a branch point of order two, and this at any place you wish except above the origin. In this way you construct, for any given countable set $A\subset\mathbb C$ a Riemann surface $f : X \to \mathbb C$ which has a branch point above every point of A.

Moreover you see in the same way, that you can prescribe any (finite or infinite) order to each branch point (just glue more sheets, as you would do for $\sqrt[n]z$ or $\ln$); and you can also prescribe the number of branch points you want to have above each point of A (above each point of A you may want to have a countable number of distinct branch points).

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.