2
$\begingroup$

I'm reading Forster's Lectures on Riemann surfaces. The proof of theorem 2.1(you don't need to know what it is) of the book uses the following fact.

Let $g(z)$ be a holomorphic function defined on a neighborhood of $0$ in $\mathbb{C}$ such that $g(0) \neq 0$. Let $k > 0$ be an integer. Then there exists a holomorphic function defined on a neighborhood of $0$ such that $h^k = g$.

How do we prove this?

  • 0
    I'm expecting someone would write a detailed answer incorporating these comments.2012-09-21

1 Answers 1

1

If $\Omega \subset \mathbb{C}$ is simply connected and $g(z)$ is holomorphic and non-vanishing on $\Omega$, then there exists a holomorphic logarithm $h(z)$ which is holomorphic on $\Omega$, such that $e^{h(z)} = g(z)$. We can construct $h(z)$ as the antiderivative of $g'(z)/g(z)$, since $g'(z)/g(z)$ is holomorphic as the denominator is non-vanishing. Now take $f(z) = h(z)/k$; this is holomorphic, and hence $e^{f(z)} = e^{h(z)/k}$ is holomorphic, and exponentiating by $k$ yields $g(z)$.

(edited per comment)

  • 0
    You have a typo. $f$ should be $e^{h/k}$ so that $f^k=e^h=g$2018-11-24