1

Question 1

Let $X$ be a compact hyperbolic Riemann surface and let $\{[\mu_n]\}$ be a sequence of points in the Teichmüller space $\mathcal T(X)$.

Further, assume there are maps $f_n:X \xrightarrow{q.c.} X$ such that the dilatation of $f_n$ is $\mu_n$ and $$f_n \rightarrow Id \quad \text{(uniformly)}.$$

Now is it true that $[\mu_n] \rightarrow [0]$ in $\mathcal T(X)$?


Question 1*

Specifically, I'm interested in the following: let $X$ and $\{[\mu_n]\}$ be as above. Consider a covering $\varphi: \mathbb D \rightarrow X$. Next lift $\mu_n$ to $\mathbb D$. Then, solve the Beltrami equation to get $\tilde f_n:\mathbb D \rightarrow \mathbb D$ such that $f(0)=0,f(1)=1,$ and dilatation of $\tilde f_n$ is $\tilde \mu_n$. Given $$\tilde f_n \rightarrow Id \quad \text{(uniformly on compacta),}$$ is it always true that $[\mu_n] \rightarrow [0]$ in $\mathcal T(X)$?


Motivation

The converse is true; given $[\mu_n] \rightarrow [0]$, we can find representatives $\nu_n\in [\mu_n]$ such that the maximum dialatation of $\nu_n$ goes to zero. Then solve the Beltrami problem problem to get $\tilde f_n: \mathbb D \rightarrow \mathbb D$ such that $f(0)=0,f(1)=1,$ and dilatation of $\tilde f_n$ is $\tilde \nu_n$.

By compactness of normalized quasi-conformal mappings, there is a sub-sequence $\tilde f_{n_k}$ which converges uniformly on compacta to (say) $g$. Using $||\tilde \nu_n||_\infty \rightarrow 0$, we conclude $g=Id$. (Lastly, by a standard subsubsequnce trick, we conclude $\tilde f_n \rightarrow Id$.)


Thoughts

Given $\tilde f_n: \mathbb D \rightarrow \mathbb D$, in general, the dilatations might not converge pointwise (see Lehto, chap IV, $\S$5.4).

Thus, we are a long shot away from proving $||\mu_n||_\infty \rightarrow 0$. The silver lining is that we only need to find a $\nu_n\in [\mu_n]$ such that $||\nu_n||_\infty \rightarrow 0$.


Lehto, O., Quasiconformal mappings in the plane, Tr. Mezhdunarod. Kongr. Mat., Moskva 1966, 319-322 (1968). ZBL0194.11302.

  • I think in this situation you may have $||\mu_n||\to 1$. – Moishe Kohan Feb 13 '23 at 18:14
  • Why do you say so? The dilatation of Identity is 0, right? – Mohith Nagaraju Feb 14 '23 at 02:37
  • Of course, $\mu_{Id}=0$, but $\mu$ does not behave nicely under uniform limits of qc maps. Just try to construct examples using piecewise-affine maps. – Moishe Kohan Feb 14 '23 at 02:55
  • @MoisheKohan, If I understand correctly, you are saying just because $\tilde f_n \rightarrow Id$, $\mu_n$ need not converge. This is absolutely correct. But in my question, one has the freedom to choose between equivalent representatives. My hope is that one can always find a nice representative which actually goes to zero. – Mohith Nagaraju Feb 14 '23 at 09:30
  • My question is likely to be true because Bishop and Rempe implicitly use this in their paper. Specifically they have: Lemma 4.5: If there are representatives $\nu_n\in [\mu_n]$ that converge to $0$ in measure, then $[\mu_n] \rightarrow [0]$ in $\mathcal T(X)$ (for compact $X$). – Mohith Nagaraju Feb 14 '23 at 09:33
  • Proof of lemma 4.5 (from Bishop & Rempe): ... note that the points having Teichmu ̈ller distance at most $\log K$ from $[0]_T$ is compact. (It is here that we use the fact that our Teichmu ̈ller space is finite-dimensional.) Now lift the Beltrami differentials $\mu_n$ to the universal cover and solve the Beltrami equation, obtaining $K$-quasiconformal maps $\tilde f_n : \mathbb D \rightarrow \mathbb D$ fixing $0$ and $1$. By [Lehto87, Theorem I.4.6], the only limit function of $\tilde f_n$ as $n \rightarrow \infty$ is given by the identity, showing that indeed $[\mu_n]_T \rightarrow [0]_T$. – Mohith Nagaraju Feb 14 '23 at 09:36
  • 1
    Oh, I see. I did not pay attention to brackets. Then indeed the claim holds and is not even that hard. I will add a proof when I have more time. – Moishe Kohan Feb 14 '23 at 14:25

1 Answers1

2

The explanation is a bit long, but relies upon very standard material of the Teichmuller theory (much of it you probably know, but I am not sure). I will be addressing Question 1*, since Question 1 requires some clean-up, as formulation of the Teichmuller Theory in terms of qc maps $X\to X$ is artificial: One usually allows the target Riemann surface to vary.

Suppose that $G$ is a topological group. The relevant example for us is $G=PSL(2, {\mathbb R})$. To topologize it, one could take any reasonable topology, say the topology of pointwise convergence on the hyperbolic plane, or topology of uniform convergence on compacts in the hyperbolic plane, or topology coming from the matrix group topology of $SL(2, {\mathbb R})$. Let $\Gamma$ be a discrete group. One topologizes $$ Hom(\Gamma, G) $$ via topology of elementwise convergence of homomorphisms: This is the same as the subspace topology coming from the product topology on $$ \prod_{\Gamma} G. $$ If the group $\Gamma$ is finitely generated, with generating set $\{\gamma_1,...,\gamma_k\}$ then this topology is equivalent to the topology of convergence on $\{\gamma_1,...,\gamma_k\}$, i.e. the subspace topology coming from $$ \prod_{i=1}^k G. $$ We will use this fact later on.

Given a compact (connected) Riemann surface $X$ of genus $\ge 2$, I will abbreviate:
$$ Hom(X)= Hom(\pi_1(X), PSL(2, {\mathbb R})), $$

Define $$ R(X)=Hom(X)/PSL(2, {\mathbb R}) $$ where $PSL(2, {\mathbb R})$ acts on homomorphisms via conjugation: For $\alpha\in PSL(2, {\mathbb R})$ and $h\in Hom(\pi_1(X), PSL(2, {\mathbb R})$ define $\alpha\cdot h$ by $$ \alpha \cdot h(\gamma)= \alpha h(\gamma) \alpha^{-1}, $$ where $\gamma\in \pi_1(X)$. (I am sloppy here regarding the basepoint in $X$.)

This quotient is actually quite terrible, but things improve quite a bit once we restrict to the subspace of discrete and faithful homomorphisms, $$ Hom_{DF}(X)\subset Hom(\pi_1(X), PSL(2, {\mathbb R})), $$ consisting of homomorphisms which have discrete image and are injective (faithful). Then $Hom_{DF}(X)$ is open in $Hom(X)$ and consists of two connected components, both preserved by the action of $PSL(2, {\mathbb R})$. Moreover, this action is free and proper. Set $$ R_{DF}(X)= Hom_{DF}(X)/PSL(2, {\mathbb R}). $$ This space consists of two components both of which are smooth manifolds of dimension $6g-6$, where $g$ is the genus of $X$. I will denote $R_{DF}^+(X)$ the component whose elements are equivalence classes of homomorphisms induced by equivariant orientation-preserving homeomorphisms of the hyperbolic plane: $$ h(\gamma)= \beta h(\gamma) \beta^{-1} $$ where $\beta$ is a homeomorphism as above.

One has a homeomorphism $$ \sigma: {\mathcal T}(X)\to R_{DF}^+(X) $$ defined as follows: Take $[\mu]\in {\mathcal T}(X)$, let $f_{\mu}: X\to X_\mu$ be the quasiconformal homeomorphism given by $\mu$. I will use the marking on $X_\mu$ given by the homotopy class of $f_\mu$. Then let $\Gamma_\mu< PSL(2, {\mathbb R})$ be a Fuchsian group uniformizing $X_\mu$ (it is defined uniquely up to conjugation by elements of $PSL(2, {\mathbb R})$); lift $f_\mu$ to the hyperbolic plane, to a quasiconformal homeomorphism $F_\mu: {\mathbb H}^2\to {\mathbb H}^2$.

Remark. You use the notation $f_{\tilde\mu}$ for $F_\mu$.

Let $\Gamma< PSL(2, {\mathbb R})$ be the Fuchsian group uniformizing $X$; I will identify it with $\pi_1(X)$. Then $h_{\mu}: \Gamma\to \Gamma_\mu$ is an isomorphism defined by the familiar formula $$ h_\mu(\gamma)= F_\mu \gamma F_{\mu}^{-1}. $$ One verifies that the correspondence $[\mu]\to h_\mu$ depends only on $[\mu]$, up to conjugation by elements of $PSL(2, {\mathbb R})$. Hence, we obtain a map $$ \sigma: [\mu]\to [h_\mu]\in R_{DF}(X). $$

Continuity of $\sigma$ is clear (since qc maps depend continuously on the Beltrami differential, subject to normalization at three distinct points in the boundary circle of the hyperbolic plane; this normalization exactly corresponds to working with equivalence classes of homomorphisms). One then proves that $\sigma$ is a bijection, by constructing an equivariant qc homeomorphism of the hyperbolic plane inducing the given element $h\in Hom_{DF}(\pi_1(X), PSL(2, {\mathbb R}))$. It follows that $\sigma$ is a homeomorphism, since its domain and range are manifolds of the same dimension.

Remark. There are other ways to see that $\sigma$ is a homeomorphism (quasiconformal stability), but the above proof is the "classical" one, from the early 1960s.

With all these preliminaries out of the way, let's go back to your question. You are assuming that $F_{\mu_n}$ is a sequence of qc maps of the hyperbolic plane as above, which converges (say, uniformly on compacts) to the identity homeomorphism $id$. Let $h_n: \Gamma\to \Gamma_n$ be isomorphisms induced by $F_{\mu_n}$, where $\Gamma_n$ is a Fuchsian group uniformizing the Riemann surface $X_n$ (the one given by $[\mu_n]$).

As a compact, I will take a compact fundamental polygon $P$ of the group $\Gamma$. Now, apply the equivariance condition $$ h_{\mu_n}(\gamma_i)= F_{\mu_n} \gamma_i F_{\mu_n}^{-1}=\gamma_{i,n}. $$ applied to the generators $\gamma_i$ of $\Gamma$ (the side-pairing transformations of $P$). Convergence of the maps $F_{\mu_n}\to id$ (even pointwise convergence would suffice!) implies that $$ \lim_{n\to \infty}\gamma_{i,n}= \gamma_i. $$ Thus, $\lim_{n\to\infty} h_n=id: \Gamma\to \Gamma$ (recall the discussion of topology on $Hom(X)$). Now, apply continuity of $\sigma^{-1}$ to conclude that $$ \lim_{n\to \infty} [\mu_n]=0, $$ where $0$ is the Beltrami differential of the identity map.

Moishe Kohan
  • 97,719
  • The shift in perspective is extremely enlightening! Could you explain what you mean by "topology of convergence of the given generating set of $\pi_1(X)$". Isn't it natural to give $\pi_1(X)$ the discrete topology, cause it is essentially the discrete subgroup $\Gamma$? – Mohith Nagaraju Mar 14 '23 at 12:38
  • @MohithRaju: Oh, this was badly written, I will rewrite this to make things more clear. – Moishe Kohan Mar 14 '23 at 13:31