I have a polynomial p(z), say of degree n; view it as an n-to-1 map of the complex Riemann sphere to itself. Can I always construct an inverse which is defined on large piece of the complex plane? of course I can define the inverse locally around each point where , but I want global inverses

example: z^2, its inverse is which we can define e.g. on

I hope to get that for any polynomial there exists a cut (or a few) of the complex plane such that the inverse is defined there globally

any ideas will be appreciated...

Feb 6th 2009, 08:14 AM

Laurent

Quote:

Originally Posted by choovuck

Hi all,

I have a polynomial p(z), say of degree n; view it as an n-to-1 map of the complex Riemann sphere to itself. Can I always construct an inverse which is defined on large piece of the complex plane? of course I can define the inverse locally around each point where , but I want global inverses

example: z^2, its inverse is which we can define e.g. on

I hope to get that for any polynomial there exists a cut (or a few) of the complex plane such that the inverse is defined there globally

any ideas will be appreciated...

Hi,

I don't have a full proof yet, but I'm almost sure the following holds:

Let . On any simply-connected open subset of , it is possible to define an inverse of .

In terms of "slit plane", the inverse may thus be defined on the whole plane except for a simple path joining all the points of and going to infinity. The slit could more generally be any "planar tree" containing the elements of and .

I have a few ideas for a proof but there are still parts missing. I'll post it if I can complete it.

Feb 6th 2009, 01:46 PM

choovuck

thanks. that's what I've been getting too. it looks like all we need is the monodromy theorem (Monodromy theorem - Wikipedia, the free encyclopedia), with only exception that here we can define f in a small neighborhood of each point rather than along every path... I feel this should be easy to deduce but I'm not getting it yet

Feb 7th 2009, 03:39 AM

Laurent

Quote:

Originally Posted by choovuck

thanks. that's what I've been getting too. it looks like all we need is the monodromy theorem (Monodromy theorem - Wikipedia, the free encyclopedia), with only exception that here we can define f in a small neighborhood of each point rather than along every path... I feel this should be easy to deduce but I'm not getting it yet

Thanks, this theorem was a part I missed.

Meanwhile, I've found a wonderful course on Complex Variables by Joseph L. Taylor from University of Utah, which provides a well-written answer.

Look at Chapter 7. The result is Theorem 7.3.4. Using analytic continuation along curves, and the monodromy theorem, this theorem allows to lift an analytic function through an analytic covering, on a simply-connected subset of . Explanation below.

In our case, the polynomial is a ( -sheeted) analytic covering from to , which means that for any point , there is an open neighbourhood of in and disjoint open subsets of such that, for , is a bijective map from to . This is a consequence of the inversion theorem applied at every pre-image of (with being the intersection of the neighbourhoods provided by each pre-image).

Theorem 7.3.4 thus says that for any analytic map where is simply connected, it is possible to find an analytic map such that , i.e. we can choose an element in a "coherent" way on all .

The answer to your question is obtained as a particular example if you consider to be the identity map.

The proof does not get any simpler in this case (simply because the general case is a direct consequence of this one), and anyway the proof is neatly written, I read it in detail, it is pretty natural.