Solution

ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2021/3/c/solution

On the slit domain , choose the complex argument . The resulting holomorphic logarithm is , with . Define
It is holomorphic as a composition of holomorphic functions, and . At the chosen argument is , so .
Suppose a holomorphic square root existed on the whole punctured complex plane. It would be nonzero, and differentiating would give . There are several ways to express the resulting obstruction; a direct one uses the unit circle. Set
The chain rule and imply , so is constant. But
These cannot agree because . Thus no such global holomorphic square root exists. Going once around zero changes the sign of the locally chosen root.

New to topics? Read the docs here!