Two questions from Hubbard's Teichmuller theory book Vol I, P. 130 , Thm 4.4.1, ( QC maps ) - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T10:14:28Z http://mathoverflow.net/feeds/question/67883 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/67883/two-questions-from-hubbards-teichmuller-theory-book-vol-i-p-130-thm-4-4-1 Two questions from Hubbard's Teichmuller theory book Vol I, P. 130 , Thm 4.4.1, ( QC maps ) Analysis Now 2011-06-15T18:57:31Z 2011-06-15T20:48:50Z <p>I was studying Theorem 4.4.1 from John H. Hubbard's Teichmuller Theory, vol I, Theorem 4.4.1 ( P. 129 ) which states :</p> <p>Let $X,Y$ be two hyperbolic Riemann surfaces with hyperbolic metrics $d_X,d_Y$ respectively and let $K\geq 1$.Then there exists a function ( homeomorphism of positive real numbers) $\delta_K:(0,\infty)\to(0,\infty)$ such that $\lim_{\eta\to 0}\delta_K(\eta)=0$ such that for all $K$-q.c maps $f:X\to Y$, we have $dist_Y(f(x),f(y))\leq \delta_K(dist_X(x,y))$.</p> <p>The way he proves it is the following : 1) It is enough to prove the statement for the universal cover ,i.e. the Poincare disk $D$, since a $K$-q.c. map lifts to a $K$-q.c map.</p> <p>2) He defines $\delta_K(\eta)= M^{-1}(\frac{1}{K}M(\eta) )$, where $M$ is the modulus of the branched/ramified cover with ramification locus being the two-point set $P={z_1,z_2}$, which ( modulus ) he proves depends only on the hyperbolic distance $dist_D(z_1,z_2)$ . ( Lemma 4.4.2) and is a strictly decreasing homeomorphim of the positive real numbers.</p> <p>My questions are :</p> <ol> <li><p>Hubbard proves that the branched/ramified double cover of $D$ with ramification locus a two-point set is topologically a cylinder. But then how do we know that this cylinder has a finite modulus , i.e. the cylinder is not conformally equivalent to $C-{0},D-0$ ? Well, in proposition 4.4.6 ( P. 132 ),he proves it, but that is only after proving Thm 4.4.1.</p></li> <li><p>I am unable to follow the lines 4.4.2 and 4.4.3, in the proof of lemma 4.4.2 ? What does he mean exactly by his notation $(D~<em>r)</em> {0,z}$ ? </p> <p>Is he scaling the standard hyperbolic metric on $D$ ? And why exactly the inclusion of the cylinders ( ramified covers ) in the line 4.4.3 true ? Please explain , thanks !</p></li> </ol> http://mathoverflow.net/questions/67883/two-questions-from-hubbards-teichmuller-theory-book-vol-i-p-130-thm-4-4-1/67894#67894 Answer by Sylvain Bonnot for Two questions from Hubbard's Teichmuller theory book Vol I, P. 130 , Thm 4.4.1, ( QC maps ) Sylvain Bonnot 2011-06-15T20:48:50Z 2011-06-15T20:48:50Z <p>1) As you said the first point is covered in prop. 4.4.6. anyway.</p> <p>2) Concerning the second point, you can actually use that same proposition 4.4.6:</p> <p>first the notation $d_{D_{r}}(0,z)$ means that you are considering the distance between $0$ and $z$ in the hyperbolic metric associated to the disk $D_{r}$ centered at the origin with radius $r$ (so if you consider two such disks, $D_{r_{1}}$, $D_{r_{2}}$ you will work with two different metrics). Now you can normalize the situation so that your two points $z_{1}, z_{2}$ are $\pm a$ and use the double cover of $\mathbb{C}$ (ramified above $\pm a$) given by $$\phi_{a}(z)=(a/2)(z+1/z).$$ The preimage by $\phi_{a}$ of a disk $D$ containing $\pm a$ will give you $\tilde{D}$ (because you obtain a double cover branched exactly where it should be). But since you have two such nested disks $D_{r_{2}} \subset D_{r_{1}}$ you will obtain an inclusion for their preimages as well $\tilde{D_{2}} \subset \tilde{D_{1}}$, as you wanted.</p>