By the argument principle, this is a single valued function on $D$ as long as $D$ does not allow the path from $z_0$ to $z$ to loop around an odd number of zeros of $g$. This can be prevented by pairing up the zeros with a branch cut. For an odd number of zeroes, the left over one can be connected to the point at infinity.

So any combination of branch cuts that connects two of the zeros, and the third zero to the point at infinity will make $\sqrt{g(z)}$ single valued.

Similarly,

$\sqrt[n]{g(z)}$ would require the branch cuts to group $n$-zeroes at a time, to prevent any loops around $k$-zeroes for $k<n$. If there is any shortage, $\infty$ fire one branch cut off to infinity.

$\begingroup$You're looking for algebraic functions. For each algebraic function, you can associate a Riemann surface such that the algebraic function becomes a holomorphic function. See Markushevich's book "Theory of Functions of a Complex Variable" for a practical procedure using triangulations. If you want something more abstract, there is Foster's "Lectures on Riemann Surfaces".$\endgroup$
– user40276May 26 '15 at 16:14

$\begingroup$Thanks. Are there multiple volumes of Markushevich?$\endgroup$
– BraindeadMay 26 '15 at 16:16

$\begingroup$And this is definitely not a trivial or obvious topic, since all the theory of elliptic curves and abelian varieties come from this (actually motives can be realized in this way!).$\endgroup$
– user40276May 26 '15 at 16:17

$\begingroup$I think in the new edition all volumes were merged. For the old edition, I believe it's somewhere in the third volume.$\endgroup$
– user40276May 26 '15 at 16:19

1 Answer
1

It is actually very simple. Draw some disjoint curves connecting singularities,
or starting at the singularities and going to infinity, so that these curves separate the plane into simply connected regions. Then instead of a "multivalued function" you have several ordinary (single-valued) functions in each region.
These ordinary functions are called "branches" of the multivalued function.
When you choose a branch and try to cross one of your curves into another region
your branch must match one of the branches in that other region.

For example, $\sqrt{z}$ has one singularity in the plane, namely $0$ (another one is $\infty$). Draw ray from $0$ to $\infty$. You obtain one region. In this region you have two ordinary functions, branches of $\sqrt{z}$. When you cross the cut, they are interchanged.