Extending local analytic conjugacies

We prove that if two globally-defined one-dimensional complex dynamics are locally analytically conjugate, then we extend the conjugacy to obtain global conjugacy by a correspondence. The most important case occurs when two rational maps have analytically conjugate polynomial-like restrictions. In this case, we prove that there exists another rational map which is semiconjugate to them both by some rational maps.