Branch points and cuts
Wednesday, September 27th, 2006It’s unbelievable how hard it is to find a good working definition of a branch point– I have looked through more than 15 books of varying sophistication, and am still at a loss.
The simpler complex analysis books substitute handwaving for a rigorous definition, and implicitly give the message that you should be able to look at an expression for a function and quickly find the branch points. But notice how all the examples are contrived:
or
. And notice also the way they tip-toe around the issue of branch points at infinity: the standard approach here seems to be to define infinity to be a branch point of a function
if
is a branch point of
. Besides begging the question of what makes 0 a branch point, why is this a reasonable/useful definition? Why do I care about branch points at infinity? I read in one book that the identifying character of a branch point at infinity is, if you travel from a point back to itself in a really big circle around the origin, you get a different value starting than the one ending. What the hell? Isn’t that the ‘definition’ given for a branch point at 0?
The more advanced complex analysis books invariably give a reasonable sounding definition, closer to the end of the book than the beginning or even the middle. Said definition relies on some heavy concepts like local biholomorphicity or holomorphic mappings between Riemann surfaces, or analytic continuation. Hence they are practically useless to me.
What’s the problem here? Is there no simple exposition of the basics of branch points: what they are, how to spot them, how to make cuts, etc.?
The closest I’ve found to a reasonable explanation of branch points was given in Visual Complex Analysis, where the author gives a neat diagram illustrating why (sort of) 0 is a branch point of
:

In this image,
is the starting point,
are the different values of
, and
are closed paths that are traveled from
back to
. His point here is that traveling these paths in the
domain means the image in the
domain travels a corresponding path at a radius
as large, and with
the angular speed. Notice how paths
start off at
in the image domain, but after transversal wind up at different values of
, corresponding to the number of circuits they take around 0.
I don’t see why 0 has this special property, or how to identify it as a potential branch point from just looking at the formula
, but at least this author isn’t expecting me to mine through crap looking for gold.
and
are two overlapping charts on a manifold
, they must satisfy
is a
mapping? What I had expected as a natural condition was that
as the ‘join’ of
and
be open sets and let
be a continuously differentiable mapping. Let
be a point for which
and for which the square matrix
of
of
and a continuously differentiable mapping
such that that for all
,
if and only if
.
be an open set in
and let
be a continuously differentiable mapping with the property that the Jacobian at a fixed point
is invertible. Then there is a neighborhood
with
on which the mapping
is a diffeomorphism.
