# Hölder continuity of holomorphic motions

Let $D$ denote the complex unit disk and $X \subset \mathbb{C}$ some subset. Let us consider a holomorphic motion $i \colon D \times X \rightarrow \mathbb{C}$ (denoted $i_\lambda(z)$) meaning for each fixed $\lambda \in D$ the map $i_\lambda(\cdot)$ is injective, for each fixed $z \in X$ the map $i_{(\cdot)}(z)$ is holomorphic and lastly $i_0 = id_X$. It is known that for such a motion each map $i_\lambda$ is quasi-conformal, i.e. has bounded dilatation: $$\exists K \colon~ \sup_{x \in X} \limsup_{t \rightarrow \infty} \frac{\sup_{y \in \partial B_t(x)} ~d(f(x),f(y))}{\inf_{z \in \partial B_t(x)} ~d(f(x),f(z))} \leq K$$ The proof proceeds as follows:

Fix four distinct points $z_1,\dots,z_4 \in X$ and define $$f(\lambda) = \frac{i_{\lambda}(z_1)-i_{\lambda}(z_3)}{i_{\lambda}(z_1)-i_{\lambda}(z_2)} \cdot \frac{i_{\lambda}(z_2)-i_{\lambda}(z_4)}{i_{\lambda}(z_3)-i_{\lambda}(z_4)}$$ so that $|f(\lambda)|$ is the cross ratio of the points $(i_\lambda(z_1),\dots,i_\lambda(z_4))$. By the properties of $i$, $f$ is holomorphic and omits the values $0,1,\infty$. Thus, the image of $f$ is in $\mathbb{C} \setminus \{0,1\}$, which admits a hyperbolic metric $\rho$. As $f$ is holomorphic, $\rho(f(\lambda),f(0))\leq \rho_D(\lambda,0)$, where $\rho_D$ is the hyperbolic metric on $D$. In particular, the right hand side is a bound independent of the quadruple fixed in the beginning. From this it follows that $i_\lambda$ is quasi-möbius (meaning that the cross ratios of image quarduples are bounded), which implies quasi-conformality (proved by Väisälä).

Quasi-conformality implies Hölder-continuity (sometimes called Mori's theorem, see Lectures on quasi-conformal mappings by Ahlfors). Thus, for any motion, the maps $i_\lambda$ are Hölder continuous.

Now Shishikura claims in his paper "The Hausdorff Dimension of the Mandelbrot set and Julia sets" (https://www.jstor.org/stable/121009?seq=1#page_scan_tab_contents) that the inverse maps $i_\lambda^{-1}$ are also Hölder-continuous (see page 234), but does not provide a proof. Unfortunately, this fact is crucial for the proof of his lemma 3.2 (page 235).

Can someone explain to me how it follows? Cheers!

• The inverse of a qc map is again qc. Nov 27 '17 at 13:27
• As far as I'm concerned, this only holds with some additional regularity assumptions on $X$ and $i_\lambda(X)$. In the context, $X$ will be some hyperbolic set for a rational map (and could potentially look horrible). If I'm wrong about this, can you give me a reference for a general statement about qc of the inverse? Nov 27 '17 at 14:05

The answer is given in @Misha's comment. This is an extended comment. You do not need the theory of quasiconformal (quasisymmetric) maps on arbitrary sets $X$ here, because there is a stronger form of $\lambda$-lemma: every holomorphic motion of any set extends to a holomorphic motion of the whole Riemann sphere, with $K$ estimated in terms of $|\lambda|$. Thus it is quasiconformal on the whole sphere. The inverse of a quasiconformal map is quasiconformal, without any additional restrictions, and all quasiconformal maps are Holder (also without any additional restriction; the Holder exponent is estimated by a function of $K$ alone).
{"ft_lang_label":"__label__en","ft_lang_prob":0.77956784,"math_prob":0.99941754,"size":2165,"snap":"2021-43-2021-49","text_gpt3_token_len":698,"char_repetition_ratio":0.12586765,"word_repetition_ratio":0.0,"special_character_ratio":0.31547344,"punctuation_ratio":0.112941176,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999212,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-10-20T22:24:02Z\",\"WARC-Record-ID\":\"<urn:uuid:e1b3b829-a435-4001-8249-34a9ff38fc86>\",\"Content-Length\":\"133908\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:024e639c-732b-4ce9-9b35-e27cb8fb3a63>\",\"WARC-Concurrent-To\":\"<urn:uuid:ec0869f7-a57d-4df3-9467-4619249b0cbc>\",\"WARC-IP-Address\":\"151.101.65.69\",\"WARC-Target-URI\":\"https://mathoverflow.net/questions/287080/h%c3%b6lder-continuity-of-holomorphic-motions\",\"WARC-Payload-Digest\":\"sha1:LHGTTFYYYS4MPDM3NOXK7RKCQCOJPMSY\",\"WARC-Block-Digest\":\"sha1:2YNRFEAHBWXLFX3KZGU4KE3USALIYNZ7\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-43/CC-MAIN-2021-43_segments_1634323585353.52_warc_CC-MAIN-20211020214358-20211021004358-00371.warc.gz\"}"}