Skip to main content
5 of 6
corrected spelling of Ahlfors's name
Igor Belegradek
  • 29.1k
  • 2
  • 80
  • 176

A question about Ahlfors's proof of modular function being a covering space of the twice punctured plane

I have a question about Ahlfors's proof of modular function being a covering space of the twice punctured plane .See Ahlfors' complex analysis, second edition, page 272. You can either explain or suggest a better reference.

Let $\Omega$ be defined by the open domain in $\mathbb{H} $ bounded by the lines $\Re(\tau)=0,\Re(\tau)=1, $ and the circle $|z-1/2|=1/2 $. ( $\Re$ means real part. )

In Ahlfors's complex analysis, second edition, page 272, Ahlfors proves that the modular function $\lambda $ maps $\Omega $ ( which is the open right half of the fundamental domain of the congruence subgroup modulo 2 group $\Gamma(2)$ ) conformally onto the upper half plane $\mathbb{H} $ ( which, while combined with the fact $\lambda o \phi = \lambda \forall \phi \in \Gamma(2) $ and that $\Omega \cup \Omega^* $$\cup $ {positive y-axis} is a fundamental domain for $\Gamma(2)$,( $\Omega^*$ is the reflection of $\Omega $ in the positive y- axis ) and that $\lambda$ is surjective,proves that $\lambda$ is a covering space for $\mathbb{C}\backslash{0,1}$.

I have some questions regarding the proof of covering space :

  1. How exactly do we prove that $\lambda : \mathbb{H} \to \mathbb{C}\backslash \{0,1} $ is surjective ? I think this should follow from the my queston # 2.

  2. I am also unable to follow Ahlfors's argument on the first paragraph of P. 273, apparently which seems rather sketchy to me ( see P. 272 ) that $ \forall w_0\in \mathbb{H}, \frac{1}{2\pi i}\int_\Gamma \frac{\lambda'(\tau)}{\lambda(\tau)- \ w_0}d\tau = 1 $ and $ \forall w_0\in \mathbb{H^*}, $ ( the lower half plane )$ \frac{1}{2\pi i}\int_\Gamma \frac{\lambda'(\tau)}{\lambda(\tau) -\ w_0}d\tau = 0 $ , where $\Gamma$ is obtained by taking the boundary of the truncated region bounded by $\Re(\tau)= t_0 > 0,\Im (\tau) =0, \Im(\tau)=1$ where $t_0$ is sufficiently large, and two sufficiently small circles tangent to the x-axis at 0 and 1 respectively. This will prove, by argument principle, that $\lambda$ takes each $ w_0 \in \mathbb{H} $ exactly once in $\Omega$. But why are the integrals 1 and 0 in the two above cases ? Could you please explain that in more detail ? Or suggest a better reference that is easier to follow ?

Thanks very much !

Analysis Now
  • 1.5k
  • 13
  • 25