Teichm\"uller extremal maps on infinite Riemann surfaces

Extracted source text · arXiv 2507.09845

\documentclass[11pt,letterpaper]{amsart}
\pdfoutput=1
\usepackage{geometry}                % See geometry.pdf to learn the layout options. There are lots.
\geometry{letterpaper}    
\textheight 615pt 
\textwidth 360pt               % ... or a4paper or a5paper or ... 
%\geometry{landscape}                % Activate for for rotated page geometry
%\usepackage[parfill]{parskip}    % Activate to begin paragraphs with an empty line rather than an indent
\usepackage{graphicx}
\usepackage{amsfonts,amsthm,amsmath,amssymb,latexsym, amscd, euscript}
\usepackage{graphicx,color}
\usepackage[all]{xy}
\usepackage{epsfig}
\usepackage{labelfig}
\usepackage{mathrsfs}


\usepackage{amssymb}
\usepackage{epstopdf}
\DeclareGraphicsRule{.tif}{png}{.png}{`convert #1 `dirname #1`/`basename #1 .tif`.png}

\theoremstyle{plain}
\newtheorem{thm}{Theorem}[section]
\newtheorem{cor}[thm]{Corollary}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{lem}[thm]{Lemma}
\newtheorem{ex}[thm]{Exercise}
\newtheorem{rem}[thm]{Remark}
\newtheorem{exam}[thm]{Example}
\newtheorem{note}[thm]{Note}
\newtheorem{definition}[thm]{Definition}

\makeatletter
\@namedef{subjclassname@2020}{\textup{2020} Mathematics Subject Classification}
\makeatother



\title[Teichm\"uller extremal maps]{Teichm\"uller extremal maps on infinite Riemann surfaces}

\thanks{The author was partially supported by PSC-CUNY grants (61582 and 63477).}


\author{Dragomir \v Sari\' c}
%\date{}                                           % Activate to display a given date or no date
\address{PhD Program in Mathematics, The Graduate Center, CUNY \\ 365 Fifth Ave., N.Y., N.Y., 10016 and \newline 
Department of Mathematics, Queens College, CUNY\\ 65--30 Kissena Blvd., Flushing, NY 11367, USA.}


\email{Dragomir.Saric@qc.cuny.edu}



\begin{document}


\subjclass[2020]{Primary 30F60, 32G15}



\begin{abstract} Let $X=\mathbb{D}/\Gamma$ be an arbitrary Riemann surface. We establish a necessary and sufficient criterion for $[f]\in T(X)$ to have a Teichm\"uller-type extremal map. 
 \end{abstract}


\maketitle
%%%%%%%%%%%%%%%%%%Introduction

\section{Introduction}


We consider an arbitrary Riemann surface $X=\mathbb{D}/\Gamma$, where $\Gamma$ is a Fuchsian group. The Teichm\" uller space $T(X)$ of $X$ consists of equivalence classes $[f]$ of quasiconformal maps $f:X\to Y$, where two quasiconformal maps are equivalent if one is homotopic (modulo ideal endpoints) to a post-composition of the other by a conformal map  (see \cite{Ahlfors, GardinerLakic1, Lehto}). The homotopy class $[id]$ of the identity map $id:X\to X$ is called the {\it basepoint}.
When $X=\mathbb{D}$ we get the {\it universal} Teichm\"uller space $T(\mathbb{D})$ (see \cite{Bers}). Our considerations are valid for arbitrary, even infinite Riemann surfaces (see \cite{Bas, BS}). 

The Teichm\"uller distance between $[id]$ and $[f]$ in $T(X)$ is one-half of the logarithm of the minimal quasiconformal constant of the maps in the homotopy class $[f]$. A map with the minimal quasiconformal constant in its homotopy classes is called {\it extremal}. When $X$ is a compact Riemann surface, each homotopy class has a unique extremal map which is given by the horizontal stretching in the natural parameter of a (finite-area) holomorphic quadratic differential on $X$. Such extremal maps are said to be of Teichm\"uller-type. When $X$ is neither a compact surface nor a compact surface minus finitely many points, there are homotopy classes of quasiconformal maps that have extremal maps not of Teichm\"uller-type (see \cite{BLMM, Lehto, ReichStrebel, reichstrebel1} and reference therein). Some of these classes may have even more than one extremal map (for example, see \cite{BLMM}). However, the set of points $[f]\in T(X)$ which have Teichm\"uller-type extremal maps is open and dense (see \cite{GardinerLakic1}). This was proved using the Strebel Frame Mapping Condition (see \cite{GardinerLakic1}), which gives a sufficient condition for a class $[f]$ to contain a Teichm\"uller-type map.

We give a complete characterization for $[f]\in T(X)$ to contain a Teichm\"uller-type extremal map (which is necessarily uniquely extremal). Let $A(X)$ be the space of all finite-area holomorphic quadratic differentials on $X$. Given a non-zero $\varphi\in A(X)$, denote by $\|\varphi\|$ the $L^1$-norm and by $h_{\varphi}$ the horizontal foliation of $\varphi$. 
Given $[f]\in T(X)$, we consider the mapping by heights
$$
f_{\#}:A(X)\to A(Y),
$$
where $f:X\to Y$. Let $f_*(h_{\varphi})$ be the push-forward of $h_{\varphi}$ to the image surface $Y$. Then $f_{\#}(\varphi )$ is the unique finite-area holomorphic quadratic differential $\psi\in A(Y)$ whose horizontal foliation is homotopic to $f_*(h_{\varphi})$. The existence of $f_{\#}(\varphi )=\psi $ is established in \cite[Theorem 1.6]{Saric-realization} and \cite[Theorem 1.1]{Saric-ft}, and the uniqueness in \cite{Saric-heights}. 


\begin{thm}
\label{thm:main}
Let $X=\mathbb{D}/\Gamma$ be an arbitrary Riemann surface that admits a conformal hyperbolic metric. Then $[f]\in T(X)$ admits a Teichm\"uller-type extremal map if and only if the supremum 
$$
\sup_{\varphi\in A(X)\setminus \{ 0\}}\max\Big{\{}\frac{\| f_{\#}(\varphi )\|}{\|\varphi\|}, \frac{\|\varphi\|}{\| f_{\#}(\varphi )\|}
\Big{\}}
$$ 
is achieved at some $\varphi^*\in A(X)\setminus\{ 0\}$. 

When the supremum is achieved, the Teichm\"uller map stretches the horizontal direction in the natural parameter of $\varphi^*$ by the amount equal to the supremum. 
\end{thm}

The above theorem is established for compact surfaces by Marden and Strebel \cite{MardenStrebel-Teich}, and they gave a new proof of the Teichm\"uller existence theorem for the compact surfaces using the fact that the above supremum is always achieved in finite-dimensional $A(X)$. For arbitrary Riemann surfaces, the supremum is achieved for maps that are homotopic to a Teichm\"uller-type map.


{\it Open problems:} Characterize the Strebel/Busemann points of $T(X)$ in terms of the height map $f_{\#}:A(X)\to A(Y)$ (see Earle-Li \cite{EarleLi}). Characterize the homotopy classes that have uniquely extremal maps using the height map (see \cite{BLMM}). 

\section{A necessary and sufficient condition for the existence of the Teichm\"uller extremal maps}

Let $f:X\to Y$ be a $K$-quasiconformal map, with $X$ and $Y$ two arbitrary Riemann surfaces that admit conformal hyperbolic metrics. In particular, we allow $X$ to be the unit disk $\mathbb{D}$ or any infinite Riemann surface.  The map $f$ induces the height map $f_{\#}:A(X)\to A(Y)$ which is a bijection (see \cite[Theorem 4.5]{Saric-realization}, \cite[Theorem 1.1]{Saric-ft}). Denote by $S^1(X)$ and $S^1(Y)$ the unit spheres in $A(X)$ and $A(Y)$ with respect to the $L^1$-norms. We note that $f_{\#}$ does not preserve the $L^1$-norm and therefore, it does not map the unit sphere onto the unit sphere. We first establish that $f_{\#}$ maps the unit sphere $S^1(X)$ between the two spheres in $A(Y)$ of radii $1/K$ and $K$.

\begin{lem}
\label{lem:quasi-inv}
Let $f:X\to Y$ be a $K$-quasiconformal map. Then, for all $\varphi\in A(X)$,  
$$
\frac{1}{K}\| f_{\#}(\varphi )\|_{L^1}\leq\| \varphi\|_{L^1}\leq K \| f_{\#}(\varphi )\|_{L^1},
$$
where $\|\cdot\|_{L^1}$ is the $L^1$-norm on the corresponding surface. 
\end{lem}

\begin{proof}
 By Gardiner and Lakic \cite{GardinerLakic}, given $f:X\to Y$, there exists a sequence of $K_n$-quasiconformal maps $f_n:X\to Y$ in the same Teichm\"uller class as $f$ that are $C^{\infty}$-maps with $\lim_{n\to\infty}K_n$ equal to the minimal dilatation of the Teichm\"uller class of $f$.
 
Let $h_{\varphi}$ denote the horizontal foliation of the holomorphic quadratic differential $\varphi$. Let $(f_n)_*(h_{\varphi})$ be the push-forward of $h_{\varphi}$ by the $C^\infty$-map $f_n$ to a foliation of $Y$. Note that the foliations $(f_n)_*(h_{\varphi})$, for all $n$, are equivalent (homotopic) because $f_n$ are in the same Teichm\"uller class.

Note that $D((f_n)_*(h_{\varphi}))\leq K_n D(h_{\varphi})=K_n \int_X|\varphi |<\infty$ (see Ahlfors \cite{Ahlfors}).
Denote by $f_{\#}(\varphi)=\psi\in A(Y)$ the unique holomorphic quadratic differential whose vertical foliation is equivalent to the foliations $(f_n)_*(h_{\varphi})$ and the foliation $f_*(h_{\varphi})$ (which exists by \cite[Theorem 1.6]{Saric-realization}). Let $h_{\psi} $ be the horizontal foliation of $\psi$. 

Since the heights of $h_{\psi}$ and $(f_n)_*(h_{\varphi})$ are equal,  the Dirichlet's principle (see Strebel \cite[Theorem 24.5]{Strebel} and \cite[Theorem 3.2]{SaricShima}) gives
$$
\int_Y|\psi |=\mathcal{D}(h_{\psi}) \leq \mathcal{D}((f_n)_*(h_{\varphi})). 
$$
The change of variable and the fact that $f_n$ are $K_n$-quasiconformal gives
$$
\mathcal{D}((f_n)_*(h_{\varphi}))\leq K_n \mathcal{D}(h_{\varphi})=K_n\int_{X_0}|\varphi |.
$$
Putting the above two inequalities together, we get 
$$
\int_Y|\psi |\leq (\lim_{n\to\infty}K_n) \int_{X}|\varphi |\leq K \int_{X}|\varphi |.
$$
The last inequality follows because $\lim_{n\to\infty} K_n$ equals the minimal quasiconformal constant of the Teichm\"uller class of $f$, which is less than or equal to $K$.

The opposite inequality is obtained by replacing $f$ with $f^{-1}$.
\end{proof}



The above lemma implies that $1/K\leq \frac{\| f_{\#}(\varphi )\|_{L^1}}{\|\varphi \|_{L^1}}\leq K$ for all $\varphi\in S^1(X_0)$. We define
$$
L=\sup_{\varphi\in S^1(X)}\{ \frac{\| f_{\#}(\varphi )\|_{L^1}}{\|\varphi \|_{L^1}},\frac{\|\varphi \|_{L^1}}{\| f_{\#}(\varphi )\|_{L^1}}\} .
$$
Note that $L$ does not have to be achieved for any $\varphi\in S^1(X)$ because $S^1(X)$ is not compact. This fact is a major difference between the Teichm\"uller spaces of infinite and finite area hyperbolic surfaces.

Assume that $f$ is a Teichm\"uller extremal map given by stretching in the natural parameter of $\varphi\in A(X)$. If $w=u+iv$ is a natural parameter coordinate (given by $z\mapsto \int_{z_0}^{z}\sqrt{\varphi (z)}dz$), then $f$ is given by $w=u+iv\mapsto Ku+iv$. The heights of $\varphi$ and $f_{\#}(\varphi )=\psi$ are equal and $\int_Y|\psi |=K\int_{X}|\varphi |$. Therefore we conclude

\begin{prop}
If $f:X\to Y$ is in the same class as an extremal Teichm\"uller map for $\varphi\in A(X)$, then the quantity $L$ is achieved at $\varphi$.
\end{prop}

The main goal of this section is to prove that if $L$ is achieved on some $\varphi\in A(X)$, then $f$ is homotopic to a Teichm\"uller map. A major step in this is the following theorem.

\begin{thm}
\label{thm:max-extremal}
Let $f:X\to Y$ be a quasiconformal map. If the supremum in 
\begin{equation}
\label{eq:L=sup}
L=\sup_{\varphi\in S^1(X)}\{ \frac{\| f_{\#}(\varphi )\|_{L^1}}{\|\varphi \|_{L^1}},\frac{\|\varphi \|_{L^1}}{\| f_{\#}(\varphi )\|_{L^1}}\} 
\end{equation}
is achieved at some $\varphi^{*}\in A(X)$, then there exists $c>0$ such that
$$
f_{\#}(-\varphi^{*} )=-cf_{\#}(\varphi^{*} ).
$$
\end{thm}

\begin{proof} We assume that $L=\frac{\| f_{\#}(\varphi^{*} )\|_{L^1}}{\|\varphi^{*} \|_{L^1}}$. 
Let $\psi =f_{\#}(\varphi^{*} )$ and $\widetilde{\varphi^{*}}=(f_{\#})^{-1}(-\psi )$. We need to prove that 
\begin{equation}
\label{eq:tilde=-var}
\widetilde{\varphi^{*}}=-c\varphi^{*} .
\end{equation} 

We first consider the case when $X=\mathbb{D}/\Gamma$ with $\Gamma$ a Fuchsian group of the first kind.
 The proof of (\ref{eq:tilde=-var}) extends the idea in Marden and Strebel 
 \cite[Theorem 10.4]{MardenStrebel-Teich} from compact to infinite Riemann surfaces $X=\mathbb{D}/\Gamma$ with $\Gamma$ of the first kind using an approximation method developed in \cite[\S 3 and \S 4]{Saric-realization}. 
 

 Let $\mu\in ML_{\mathrm{int}}(X)$ be the geodesic lamination obtained by straightening the leaves of the horizontal foliation $h_{\varphi^*}$ of $\varphi^*$. 
As in \cite[\S 3]{Saric-realization}, consider an exhaustion of $X$ by finite-area geodesic subsurfaces $\{X_n\}$. 
We replace boundary components of $X_n$ by step curves and obtain a homotopic surface $X_n'$. Let $h_n$ denote the restriction of the horizontal foliation 
$h_{\varphi^*}$ of $\varphi^*\in A(X)$ to the subsurface $X_n'$ and denote by $h_n'$ the foliation obtained by erasing all leaves from $h_n$ that can be homotoped to a single component of the boundary of $X_n'$. Then each leaf of $h_n'$ corresponds to a unique leaf of $\mu\cap X_n$. 


The double $\widehat{X}_n'$ over the boundary of $X_n'$ is a finite type Riemann surface, i.e., a compact Riemann surface with finitely many points removed. The partial foliation $h_n'\subset X_n'$ together with its mirror image in $\widehat{X}_n'\setminus X_n'$ forms a partial foliation $\widehat{h}_n'$ in $\widehat{X}_n'$ that is proper (see \cite[Lemma 3.6]{Saric-realization}). 
By the realization theorem of Hubbard-Masur \cite{HubbardMasur}, there exists a unique holomorphic quadratic differential $\widehat{\varphi}_n$ on $\widehat{X}_n'$ whose horizontal foliation is realizing the partial foliation $\widehat{h}_n'$ in the sense that they have equal heights on simple closed curves. 

Since $\widehat{h}_n'$ is invariant under the mirror symmetry in $\widehat{X}_n'$ across the boundary $\partial X_n'$, it follows that $\widehat{\varphi}_n$ is also invariant by the uniqueness of the realization. Then
\begin{equation}
\label{eq:double_half}
\int_{\widehat{X}_n'}|\widehat{\varphi}_n|=2\int_{{X}_n'}|\widehat{\varphi}_n|
\end{equation}
and
$$
\mathcal{D}_{\widehat{X}_n'}(\widehat{h}_n')=2\mathcal{D}_{{X}_n'}(\widehat{h}_n').
$$
Then by \cite[Theorem 7.5]{Bourque} (see also \cite[Theorem 3.2]{SaricShima}), we have
$$
\int_{{X}_n'}|\widehat{\varphi}_n|\leq \mathcal{D}_{{X}_n'}(\widehat{h}_n').
$$



By the construction, $\mathcal{D}_{{X}_n'}(\widehat{h}_n')\leq \mathcal{D}_{{X}}({h_{\varphi^*}})=\int_X |\varphi^* |$ and we conclude that
\begin{equation}
\label{eq:limsup-app}
\limsup_{n\to\infty} \int_{{X}_n'}|\widehat{\varphi}_n|\leq \int_X|\varphi^* |.
\end{equation}
By \cite[Lemmas 3.7 and 3.8]{Saric-realization}, we have that $\widehat{\varphi}_n|_{X_n'}$ converges uniformly on compact subsets of $X$ to $\varphi$. 

Define
\begin{equation}
\label{eq:app-hol-diff}
\varphi_n'(z)=\left\{
\begin{array}{rcl}
\widehat{\varphi}_n'(z),&\ \mbox{for}&\ z\in X_n'\\
0,&\ \mbox{for}&\ z\in X\setminus X_n' 
\end{array}
\right .
\end{equation}
 and note that by the above and by \cite[Lemma 3.9]{Saric-realization} we have, as $n\to\infty$,
 \begin{equation}
 \label{eq:L^1-conv-X_n}
 \int_X|\varphi^* -{\varphi}_n'|\to 0.
 \end{equation}
 
 Consider the holomorphic quadratic differential $\psi =f_{\#}(\varphi^{*} )$ induced by $f:X\to Y$. Denote by $\{ Y_n\}$ exhaustion of $Y$ by finite area geodesic subsurfaces such that $Y_n$ is homotopic to $f(X_n)$. Let $Y_n'$ be the subsurface $Y$ homotopic to $Y_n$ whose boundaries are step curves. Let $e_n'$ be the partial foliation of $Y_n'$ obtained by restricting the horizontal foliation of $\psi$ to $Y_n'$ and erasing leaves which can be homotoped relative endpoints to the boundary. Then we double $Y_n'$ to a finite area surface $\widehat{Y}_n'$ without boundary and $e_n'$ to partial foliation $\widehat{e}_n'$. By the construction, the partial foliations $f_*\widehat{h}_n'$ and $\widehat{e}_n'$ are equivalent since both straighten to the same measured (geodesic) lamination on $\widehat{Y}_n'$. Let $\widehat{\psi}_n'$ be the integrable holomorphic quadratic differential on $\widehat{Y}_n'$ whose horizontal foliation is equivalent to $\widehat{e}_n'$. 
 
 Define
\begin{equation}
\label{eq:app-hol-diff}
\psi_n'(z)=\left\{
\begin{array}{rcl}
\widehat{\psi}_n'(z),&\ \mbox{for}&\ z\in Y_n'\\
0,&\ \mbox{for}&\ z\in Y\setminus Y_n' 
\end{array}
\right .
\end{equation}
 and by the same reasoning as the above, we have, as $n\to\infty$,
 \begin{equation}
 \label{eq:L^1-conv}
 \int_Y|\psi -{\psi}_n'|\to 0.
 \end{equation}
 
 
 The quadratic differentials $\widehat{\varphi}_n'\in A(\widehat{X}_n')$ and $\widehat{\psi}_n'\in A(\widehat{Y}_n')$ are finite-area but their horizontal foliations are erbitrary. By \cite{Masur}, each differential can be approximated by Jenkins-Strebel holomorphic quadratic differentials in the $L^1$-norm (since $\widehat{X}_n'$ and $\widehat{Y}_n'$ are of finite area). We can choose the approximating differentials to correspond to each other under the homotopy class of the double of $f:X_n\to f(X_n)$. More precisely, let $\widehat{\varphi}_{n,n}'\in A(\widehat{X}_n')$ and $\widehat{\psi}_{n,n}'\in A(\widehat{Y}_n')$ be the Jenkins-Strebel differentials with corresponding cylinders under $f$  such that
 $$
 \int_{\widehat{X}_n'}|\widehat{\varphi}_{n}'-\widehat{\varphi}_{n,n}'|<\frac{1}{n}\ \ \mbox{and}\ \ 
 \int_{\widehat{Y}_n'}|\widehat{\psi}_{n}'-\widehat{\psi}_{n,n}'|<\frac{1}{n}.
 $$
 
If we denote by $\varphi_{n,n}'$  the quadratic differential which agrees with $\widehat{\varphi}_{n,n}'$ on $X_n'$ and is equal to zero on $X\setminus X_n'$, then we have, as $n\to\infty$,
\begin{equation}
\label{eq:app-nn}
\int_X |\varphi^* -\varphi_{n,n}'|\to 0.
\end{equation}
Similarly, for the quadratic differential $\psi_{n,n}'$ given by $\psi_{n,n}':=\widehat{\psi}_{n,n}'$ on $Y_n'$ and $\psi_{n,n}':=0$ on $Y\setminus Y_n'$ we have, as $n\to\infty$,
$$
\int_Y |\psi -\psi_{n,n}'|\to 0.
$$

Let $R_n$ and $Q_n$ denote the horizontal cylinders of $\widehat{\varphi}_{n,n}'$ and $\widehat{\psi}_{n,n}'$, respectively. Denote the lengths of the closed horizontal trajectories in $R_n$ and $Q_n$ by $a_n$ and $a_n'$ and the heights by $b_n$ and $b_n'$, respectively. Since $\widehat{\varphi}_{n,n}'$ and $\widehat{\psi}_{n,n}'$ correspond to each other under the natural class of homeomorphisms obtained by doubling $f:X_n\to f(X_n)$, the heights of the cylinders $R_n$ and $Q_n$ are equal, i.e. $b_n=b_n'$. 

Let $L_n$ be defined by the equation $a_n'=L_na_n$ (see \cite{MardenStrebel}). Then we have
$\int_{\widehat{X}_n'}|\widehat{\varphi}_{n,n}'|=a_nb_n$ and $\int_{\widehat{Y}_n'}|\widehat{\psi}_{n,n}'|=a_n'b_n'=L_na_nb_n$. Since $\widehat{\varphi}_{n}'$ and $\widehat{\psi}_{n}'$ are invariant under mirror symmetries, the approximations $\widehat{\varphi}_{n,n}'$ and $\widehat{\psi}_{n,n}'$ satisfy
$\frac{1}{2}\int_{\widehat{X}_n'}|\widehat{\varphi}_{n,n}'| - \int_{{X}_n'}|\widehat{\varphi}_{n,n}'|\to 0$ and 
$\frac{1}{2}\int_{\widehat{Y}_n'}|\widehat{\psi}_{n,n}'| - \int_{{Y}_n'}|\widehat{\psi}_{n,n}'|\to 0$ as $n\to\infty$. Then by (\ref{eq:L^1-conv-X_n}) and (\ref{eq:L^1-conv}) we have
$$
\int_Y|\psi |=\lim_{n\to\infty} L_na_nb_n=(\lim_{n\to\infty} L_n)\int_X|\varphi^* |.
$$
Since $\varphi^*$ attains the maximum for $L$ in (\ref{eq:L=sup}) and $\psi =f_{\#}(\varphi^{*} )$  we have that
$$
\lim_{n\to\infty}L_n=L.
$$

We estimate $\int_X|\widetilde{\varphi^*}|$, where $\widetilde{\varphi^{*}}=(f_{\#})^{-1}(-\psi )$. Let $z=x+iy$ be a local parameter on $X$ and let 
$$z_n=x_n+iy_n=\int_{z^*}^z\sqrt{\widehat{\varphi}_n'(z)}dz$$ be the natural parameter of $\widehat{\varphi}_n'$ on $\widehat{X}_n'$. The local parameter $z$ is defined on $X_n'$, and we extend it by reflection to $\widehat{X}_n'\setminus X_n'$ and keep the same notation for simplicity. 

Let $\widetilde{\widehat{\varphi}_{n,n}'}=(f_{\#})^{-1}(-\widehat{\psi}_{n,n}')$, where, for simplicity, $f$ denotes the quasiconformal map obtained by doubling $f:X_n'\to f(X_n')$. Let
$$
\tilde{w}_n=\tilde{u}_n+i\tilde{v}_n:=\int_{z^*}^z\sqrt{\widetilde{\widehat{\varphi}_{n,n}'}(z_n)}dz_n
$$
be the natural parameter on the cylinder $R_n$ for the holomorphic quadratic differential $\widetilde{\widehat{\varphi}_{n,n}'}$. 

Let $\alpha_n$ be a closed horizontal trajectory of $R_n$ for the quadratic differential ${\widehat{\varphi}_{n,n}'}$. We estimate the $\widetilde{\widehat{\varphi}_{n,n}'}$-length of $\alpha_n$ 
\begin{equation}
\begin{split}
\int_{\alpha_n}|d\tilde{w}_n|=\int_{\alpha_n}|\widetilde{\widehat{\varphi}_{n,n}'}(z_n)|^{1/2}|dz_n|=
\int_{\alpha_n} \sqrt{(d\tilde{u}_n)^2+(d\tilde{v}_n)^2}\\ \geq\int_{\alpha_n}|d\tilde{v}_n|\geq h_{\widetilde{\widehat{\varphi}_{n,n}'}}(\alpha_n) =h_{-\widehat{\psi}_{n,n}'}(\alpha_n)=a_n'=L_na_n.
\end{split}
\end{equation}
Note that $h_{-\widehat{\psi}_{n,n}'}(\alpha_n)=a_n'$ because $-\widehat{\psi}_{n,n}'$ is the holomorphic  quadratic differential on $Q_n$ that has $\alpha_n$ as its vertical trajectory. 

For the natural parameter $z_n=x_n+iy_n$ of $\widehat{\varphi}_{n,n}'$, on $\alpha_n$, we have $dz_n=dx_n$
which gives
\begin{equation}
\label{eq:alpha_n_length}
\begin{split}
\int_{\alpha_n}|\widetilde{\widehat{\varphi}_{n,n}'}(z_n)|^{1/2}dx_n=\int_{\alpha_n}
\sqrt{\Big{(}\frac{\partial \tilde{u}_n}{\partial x_n}\Big{)}^2 + \Big{(}\frac{\partial \tilde{v}_n}{\partial x_n}\Big{)}^2}dx_n\\ \geq  \int_{\alpha_n}\Big{|}\frac{\partial \tilde{v}_n}{\partial x_n}\Big{|}dx_n \geq L_na_n.
\end{split}
\end{equation}
By integrating (\ref{eq:alpha_n_length}) with respect to $dy_n$ from $0$ to $b_n$, we obtain
\begin{equation}
\label{eq:R_n_area}
\begin{split}
\iint_{R_n} |\widetilde{\widehat{\varphi}_{n,n}'}(z_n)|^{1/2}dx_ndy_n=\iint_{R_n} \sqrt{\Big{(}\frac{\partial \tilde{u}_n}{\partial x_n}\Big{)}^2 + \Big{(}\frac{\partial \tilde{v}_n}{\partial x_n}\Big{)}^2}dx_ndy_n \\ \geq  \iint_{R_n}\Big{|}\frac{\partial \tilde{v}_n}{\partial x_n}\Big{|}dx_ndy_n \geq L_na_nb_n=L_n\iint_{R_n}|\widehat{\varphi}_{n,n}'|
\end{split}
\end{equation}

In order to take the limit as $n\to\infty$, we change the integration to a local parameter $z=x+iy$ on the surfaces $\widehat{X}_n'$ which is obtained by the natural reflection of a local parameter on $X_n'\subset X$. The change of variables gives $|\widetilde{\widehat{\varphi}_{n,n}'}(z_n)|^{1/2}=|\widetilde{\widehat{\varphi}_{n,n}'}(z)|^{1/2} |dz/dz_n|$, $dx_ndy_n=|dz_n/dz|^2dxdy$ and $|dz_n|=|\widehat{\varphi}_{n,n}'(z)|^{1/2}|dz|$. From (\ref{eq:R_n_area}), we obtain
$$
\iint_{R_n} |
\widetilde{\widehat{\varphi}_{n,n}'}(z)|^{1/2}|\widehat{\varphi}_{n,n}'(z)|^{1/2}dxdy\geq L_n \iint_{R_n}|\widehat{\varphi}_{n,n}'|
$$
and applying the Cauchy-Schwartz inequality gives
$$
\Big{(}\iint_{R_n} |
\widetilde{\widehat{\varphi}_{n,n}'}(z)|dxdy\Big{)} \Big{(}\iint_{R_n} |
{\widehat{\varphi}_{n,n}'}(z)|dxdy\Big{)}\geq L_n^2 \Big{(} \iint_{R_n}|\widehat{\varphi}_{n,n}'(z)|dxdy\Big{)}^2.
$$
By (\ref{eq:double_half}), (\ref{eq:app-nn}) and $\lim_{n\to\infty}L_n=L$, after letting $n$ go to infinity, the above inequality gives
$$
\Big{(}\limsup_{n\to\infty}\iint_{R_n} |
\widetilde{\widehat{\varphi}_{n,n}'}(z)|dxdy\Big{)}\geq 2L^2\iint_{X}|\varphi^* (z)|dxdy=2L
\iint_Y|\psi (w)|dudv.
$$

By Proposition \ref{prop:limsup_upper_bound} proved below, we have $\limsup_{n\to\infty}\iint_{R_n} |
\widetilde{\widehat{\varphi}_{n,n}'}(z)|dxdy\leq 2\iint_X|\widetilde{\varphi^*}(z)|dxdy$. We obtain
\begin{equation}
\label{eq:main=}
\iint_X|\widetilde{\varphi^*}(z)|dxdy\geq L
\iint_Y|\psi (w)|dudv.
\end{equation}
Since $f_{\#}(\widetilde{\varphi^*})=-\widehat{\psi}$ and $L=\max\{ \frac{\| f_{\#}(\varphi )\|_{L^1}}{\|\varphi \|_{L^1}},\frac{\|\varphi \|_{L^1}}{\| f_{\#}(\varphi )\|_{L^1}}\}$, the above inequality is equality and all the inequalities in the proof become equalities when $n\to\infty$. 

We claim that $\widetilde{\varphi^*}=-L^2\varphi^*$. The natural parameter $\tilde{w}_n$ of $\widetilde{\widehat{\varphi}_{n,n}'}$ on $X$ converges to the natural parameter $\tilde{w}=\tilde{u}+i\tilde{v}$ of $\widetilde{\varphi^*}$.
Let $n\to\infty$ in (\ref{eq:R_n_area}) and obtain $\partial\tilde{u}/\partial x\equiv 0$. This implies that the horizontal trajectories of $\widetilde{\varphi^*}$ are orthogonal to the horizontal trajectories of $\varphi^*$, which implies that one differential is a constant multiple of the other. Then, by (\ref{eq:L=sup}),
$$
\widetilde{\varphi^*}=-L^2\varphi^*
$$
and
$$
f_{\#}(-\varphi^* )=-\frac{1}{L^2}\psi .
$$

In the case when $X=\mathbb{D}$, we use an approximation argument from \cite{Saric-ft}. Namely, we add punctures to the unit circle and double across the boundary. The restriction of the horizontal foliation of $\varphi^*$ extends to the double, and the equation (\ref{eq:L=sup}) becomes an approximate equality for $n$ large, where $n$ is the number of added punctures. By the approximation process as above, we again obtain (\ref{eq:main=}) with the equality sign. Then the theorem follows as in the paragraph above. Finally, if $\Gamma$ is of the second kind then we double across the ideal boundaries and add finitely many punctures as in the proof of \cite[Theorem 1.1]{Saric-ft}. Then again we obtain the theorem.
\end{proof}


We prove that the conclusion of the previous Theorem implies the desired existence of the Teichm\"uller map in the homotopy class of $f:X\to Y$. This establishes Theorem \ref{thm:main} from the introduction.

\begin{thm}
\label{thm:Teich-map}
Let $f:X\to Y$ be a quasiconformal map. If there exists $\varphi^*\in A(X)\setminus\{ 0\}$ with
$$
f_{\#}(-\varphi^* )=-cf_{\#}(\varphi^* )
$$
for some $c>0$, 
then there is a Teichm\"uller extremal map homotopic to $f$ obtained by horizontal stretching in the 
natural parameter of $\varphi^*$.
\end{thm}

\begin{proof}
Let $\psi=f_{\#}(\varphi^* )\in A(Y)$. We lift the holomorphic quadratic differentials $\varphi^*\in A(X)$ and $\psi\in A(Y)$ to holomorphic quadratic differentials 
$\tilde{\varphi^*}$ and $\tilde{\psi}$ on the universal covers $\tilde{X}$ and $\tilde{Y}$. Fix conformal identifications of $\tilde{X}$ and $\tilde{Y}$ with the unit disk $\mathbb{D}$. Then $X=\mathbb{D}/\Gamma$ and $Y=\mathbb{D}/\Gamma_1$; the lift $\tilde{f}:\mathbb{D}\to\mathbb{D}$ of $f:X\to Y$ conjugates $\Gamma$ to $\Gamma_1$; and the holomorphic quadratic differentials $\tilde{\varphi^*}$ and $\tilde{\psi}$ are equivariant with respect to $\Gamma$ and $\Gamma_1$, respectively.

By \cite{MardenStrebel}, each regular horizontal trajectory of $\tilde{\varphi}^*$ and of $\tilde{\psi}$ has exactly two limit points on the unit circle $S^1$, each limit point corresponds to one class of trajectory rays going to infinity for a fixed parametrization of the ray. The heights map $f_{\#}$ induces a bijective correspondence between  regular horizontal trajectories of $\varphi^*$ and $\psi$ (see \cite{Saric-heights}). There are countably many singular horizontal trajectories of $\tilde{\varphi^*}$ and of $\tilde{\psi}$ since they have countably many zeros in $\mathbb{D}$. 

Since $f_{\#}(-\varphi^* )=\frac{1}{L^2}(-\psi )$ the heights map $f_{\#}$ is also mapping the regular vertical trajectories of $\varphi^*$ onto the regular vertical trajectories of $\psi$. The lift $\tilde{f}$ induces a bijective heights map $\tilde{f}_{\#}$ between the sets of regular horizontal trajectories of $\tilde{\varphi^*}$ and $\tilde{\psi}$ as well as regular vertical trajectories of the two differentials. 

We construct a map $\tilde{g}:\mathbb{D}\to\mathbb{D}$ using the correspondence $\tilde{f}_{\#}$. Since each regular horizontal and vertical trajectory of a holomorphic quadratic differential $\tilde{\varphi^*}$ can intersect in at most one point in $\mathbb{D}$ (the same is true for $\tilde{\psi}$), each point of the complement of the countably many singular horizontal and vertical trajectories is the intersection of a unique horizontal and a unique vertical regular trajectory of $\tilde{\varphi^*}$. We define $\tilde{g}$ to send this point to the intersection of the corresponding (under $\tilde{f}_{\#}$) horizontal and vertical trajectories of $\tilde{\psi}$. 

So far, the map $\tilde{g}$ is defined on the complement of the singular horizontal and vertical trajectories of $\tilde{\varphi^*}$. 
We establish that $\tilde{g}$ is continuous. Indeed, let $z_n\in\mathbb{D}$ be a sequence of points where $\tilde{g}$ is defined that converges to $z\in\mathbb{D}$. Let $\frak{h}_n$ be the horizontal trajectory of $\varphi^*$ that contains $z_n$ and let $\frak{v}_n$ be the vertical trajectory of $\varphi^*$ that contains $z_n$. Then $\frak{h}_n\cap\frak{v}_n=\{ z_n\}$. Let $\frak{h}$ be the limit horizontal trajectory of the sequence $\frak{h}_n$. The horizontal trajectory $\frak{h}$ is either regular or 
it limits to a zero of $\varphi^*$ in at least one end. In the latter case, we can take a subsequence of $\frak{h}_n$, if necessary, such that $\frak{h}_n$ are on the same side of $\frak{h}$. Then the limit of $\frak{h}_n$ consists of a concatenation of, possibly countably many, singular horizontal trajectories. In either case, the ends of the trajectory $\frak{h}$ consist of two distinct points. An analogous construction yields a sequence of regular vertical trajectories $\frak{v}_n$ that contain $z_n$ and converge on one side to a vertical trajectory $\frak{v}$ which contains $z$. The vertical trajectory $\frak{v}$ is either regular or it is a concatenation of, at most countably many, singular vertical trajectories, both ends converging to distinct points on $S^1$.

Then $f_{\#}(\frak{h}_n)$ and $f_{\#}(\frak{v}_n)$ are regular trajectories of $\tilde{\psi}$. The sequence $f_{\#}(\frak{h}_n)$ converges to a horizontal trajectory $\frak{h}^*$. The trajectory $\frak{h}^*$ is either regular, in which case $f_{\#}(\frak{h})= \frak{h}^*$, or it is a concatenation of singular horizontal trajectories of $\tilde{\psi}$. Analogous statements hold for $f_{\#}(\frak{v}_n)$ and its limiting vertical trajectory $\frak{v}^*$. Let $w_n=f_{\#}(\frak{h}_n)\cap f_{\#}(\frak{v}_n)$ and $w=\frak{h}^*\cap \frak{v}^*$. 

Assume that $z$ is not a zero of $\tilde{\varphi^*}$ and $w$ is not a zero of $\tilde{\psi}$. 
Let $R$ be an arbitrary small rectangle in the natural parameter of $\tilde{\psi}$ whose center is $w$. By the convergence of 
$f_{\#}(\frak{h}_n)$ to $\frak{h}^*$ and $f_{\#}(\frak{v}_n)$ to $\frak{v}^*$, $f_{\#}(\frak{h}_n)\cap R$ and $f_{\#}(\frak{v}_n)\cap R$ are a horizontal and vertical segments when $n$ is large enough. Therefore $w_n\in R$ and $\lim_{n\to\infty}w_n=w$ which implies that $\tilde{g}$ extends to a continuous map from $\mathbb{D}$ minus the set of the zeros of $\tilde{\varphi^*}$ and $\tilde{\psi}$ onto itself. By the same reasoning, it follows that $g^{-1}$ is continuous and therefore $g$ is a homeomorphism outside a discrete subset of $\mathbb{D}$. 

In addition, the map $\tilde{g}$ is fixing the vertical direction and stretching the horizontal direction by a factor $L^2$ in the natural parameter of $\tilde{\varphi^*}$ because $f_{\#}(-\varphi^* )=\frac{1}{L^2}(-\psi )$. It follows that $\tilde{g}$ is an $L^2$-quasiconformal map, and it extends to the complementary discrete set because quasiconformal maps extend to isolated points. In fact, $\tilde{g}$ is the Teichm\"uller map for the differential $\tilde{\varphi^*}$ and it agrees with $\tilde{f}$ on $S^1$ by the construction. Since $\tilde{g}$ is invariant under $\Gamma$, then we obtain a Teichm\"uller map $g:X\to Y$ in the homotopy class of $f:X\to Y$. 
\end{proof}

\section{The continuity of the approximations with respect to the heights map}


Let $f:X\to Y$ be a quasiconformal map. Consider the mapping by heights $f_{\#}:A(X)\to A(Y)$ which assigns to each $\varphi\in A(X)$ a holomorphic quadratic differential $f_{\#}(\varphi )\in A(Y)$ such that $f_{\#}(\nu_{\varphi})=\nu_{f_{\#}(\varphi )}$, where $\nu_{\varphi}$ is the measured geodesic foliation obtained by straigthening $h_{\varphi}$ and $\nu_{f_{\#}(\varphi )}$ is the measured geodesic lamination obtained by straigthening $h_{f_{\#}(\varphi )}$. We set $\psi =f_{\#}(\varphi )$. 


The quasiconformal map $f:X\to Y$ extends by reflections (up to homotopy) to a quasiconformal map $f:\widehat{X}_n'\to\widehat{Y}_n'$. For simplicity, we write $\widehat{X}_n:=\widehat{X}_n'$ and $\widehat{Y}_n:=\widehat{Y}_n'$. Denote by $X_n$ and $Y_n$ the halves of $\widehat{X}_n$ and $\widehat{Y}_n$ that lie in $X$ and $Y$, respectively. Let $g:=f^{-1}$ be the inverse quasiconformal map and let $\mu$ be its Beltrami coefficient.
Set
$$
g^t=g^{t\mu}:Y\to Y^t
$$
where $g^{t\mu}$ is the quasiconformal map whose Beltrami coefficient is $t\mu$ for $0\leq t\leq 1$. Then $g^1=f^{-1}$,  $g^0=id$ and $Y^t$ is the image Riemann surface $g^{t\mu}(Y)$. By definition, $g^0(Y)=Y$ and $g^1(Y)=X$. 

The double Riemann surfaces $\widehat{Y}_n^t$ are obtained by doubling the Riemann surfaces $g^{t}({Y}_n)=Y_n^t\subset Y^t$. The induced quasiconformal map from $\widehat{Y}_n$ to $\widehat{Y}_n^t$ will be denoted by $g^t$, for simplicity.


As in the section above, let $\widehat{\varphi}_{n}'\in A(\widehat{X}_n')$ and $\widehat{\psi}_{n}'\in A(\widehat{Y}_n')$
be quadratic differentials representing the doubled foliations of $\varphi$ and $\psi$ on the surfaces $\widehat{X}_n'$ and $\widehat{Y}_n'$.
Let $\widehat{\varphi}_{n,n}'\in A(\widehat{X}_n')$ and $\widehat{\psi}_{n,n}'\in A(\widehat{Y}_n')$ be the Jenkins-Strebel differentials with corresponding cylinders under $f$  such that
 $$
 \int_{\widehat{X}_n'}|\widehat{\varphi}_{n}'-\widehat{\varphi}_{n,n}'|<\frac{1}{n}\ \ \mbox{and}\ \ 
 \int_{\widehat{Y}_n'}|\widehat{\psi}_{n}'-\widehat{\psi}_{n,n}'|<\frac{1}{n}.
 $$
 Let $\widetilde{\widehat{\varphi}_{n,n}'}=(f_{\#})^{-1}(-\widehat{\varphi}_{n,n}')$ and $\widetilde{{\varphi}}=(f_{\#})^{-1}(-{\varphi})$ as above.


To simplify the notation, we set
$$
q_n:={\widehat{\psi}_{n,n}'}
$$
and
$$
p_n:=\widetilde{\widehat{\varphi}_{n,n}'}.
$$
Note that $g^1_{\#}(-q_n)=p_n$ and define
$$
p_n^t=g^t_{\#}(q_n).
$$


\begin{prop}
\label{prop:limsup_upper_bound}
Under the above notation, we have
$$
\limsup_{n\to\infty} \int_{{X}_n}|p_n|\leq \iint_X|\widetilde{\varphi}|.
$$
\end{prop}


\begin{proof}
Assume, on the contrary, that 
$$
\limsup_{n\to\infty} \int_{{X}_n}|p_n|> \int_X|\widetilde{\varphi}|.
$$
We seek a contradiction. Our method is using an idea from Lakic \cite[Lemma 3]{Lakic}. 

We note that $p_n^t$ have bounded $L^1$-norms on $\widehat{Y}_n^t$ because $g^t_{\#}(-q_n)=p_n^t$, $g_t$ is a quasiconformal map and the $L^1$-norms on $\widehat{Y}_n$ of $q_n$ are bounded. Since the heights of simple closed curves on $Y^t$ in the $p_n^t$-metric converge to the heights of the corresponding curves on $Y$ in the $\psi$-metric, it follows that $p_n^t$ converge uniformly on compact subsets of $Y^t$ to an integrable holomorphic quadratic differential $p^t$ whose heights are equal to the heights of $\psi$ on $Y$ (for the corresponding curves). 

Define
$$
A(t)=\limsup_{n\to\infty}\int_{Y_n^t}|p_n^t|-\int_{Y^t}|p^t|
$$
and note that the following holds:
\begin{enumerate}
\item $A(t)$ is non-negative for all $0\leq t\leq 1$ and
$$
S=\sup_{t\in [0,1]}A(t)\leq \|\psi\|_{L^1(Y)}\frac{1+\|\mu\|_{\infty}}{1-\|\mu\|_{\infty}},
$$
\item $A(1)=\limsup_{n\to\infty} \int_{{X}_n}|p_n|-\int_X|\widetilde{\varphi}|>0$ and $A(0)=\limsup_{n\to\infty} \int_{{Y}_n}|q_n|-\int_X|\widetilde{\psi}|=0$, and
\item $\lim_{t\to 0}A(t)=0$.
\end{enumerate}
To see this, note that $A(t)\geq 0$ by Fatou's lemma, and the second part of (1) follows by the change of variables. The first condition in (2) is the initial assumption in this proof, and the second condition in (2) is by the definition. To prove condition (3), note that, by the change of variables, 
\begin{equation}
\label{eq:A(t)to0}
\begin{split}
A(t)\leq \limsup_{n\to\infty} \|q_n\|_{L^1(Y_n)}\frac{1+t\|\mu\|_{\infty}}{1-t\|\mu\|_{\infty}} 
- \|q \|_{L^1(Y)}\frac{1-t\|\mu\|_{\infty}}{1+t\|\mu\|_{\infty}} \\
=\| q\|_{L^1(Y)} \Big{(} \frac{1+t\|\mu\|_{\infty}}{1-t\|\mu\|_{\infty}}-\frac{1-t\|\mu\|_{\infty}}{1+t\|\mu\|_{\infty}}\Big{)}
\end{split}
\end{equation}
which implies the desired condition. 

The supremum $S$ is positive because $A(1)>0$. Since $\lim_{t\to 0}A(t)=0$ and $A(0)=0$, there exists $t_0\in (0,1]$ such that
\begin{equation}
\label{eq:almost_sup}
A(t_0)>S/2.
\end{equation} 

Define
\begin{equation}
h(t)=\iint_{Y^t}| p^t|
\end{equation}
and
\begin{equation}
h_n(t)=\iint_{Y^t_n}|p_n^t|.
\end{equation}

The functions $h(t)$ and $h_n(t)$ are $C^1$, and a variational formula for the Dirichlet integral from Lakic \cite[page 311]{Lakic} applies to arbitrary Riemann surfaces to give 
\begin{equation}
h'(t)=2\mathrm{Re}\iint_{Y^t}\frac{\mu}{1-|t\mu |^2} \frac{g^t_z}{\overline{g^t_z}}\circ (g^t)^{-1}  p^t
\end{equation}
and
\begin{equation}
h_n'(t)=2\mathrm{Re}\iint_{Y_n^t}\frac{\mu}{1-|t\mu |^2}\frac{g^t_z}{\overline{g^t_z}}\circ (g^t)^{-1}p_n^t.
\end{equation}

In order to have integration over the same space, we extend $p_n^t$ to be zero in $Y^t\setminus Y_n^t$ and keep the notation $p_n^t$. Whenever we have the integration of $p_n^t$ over $Y_n^t$, we formally replace it with the integration of $p_n^t$ over $Y^t$ without further mention.  

Then we have
\begin{equation}\begin{split}
A(t_0)=\limsup_{n\to\infty}\int_0^{t_0}[h_n'(t)-h'(t)]dt\\
\leq 2\limsup_{n\to\infty}\int_0^{t_0}\Big{|} \iint_{Y^t} \frac{\mu}{1-|t\mu |^2}\frac{g^t_z}{\overline{g^t_z}}\circ (g^t)^{-1}\Big{(}p_n^t-p^t\Big{)}\Big{|}dt\\
\leq \frac{2\|\mu\|_{\infty}}{1-\|\mu \|_{\infty}^2}\limsup_{n\to\infty} \int_0^{t_0} \iint_{Y_n^t} \Big{|}p_n^t-p^t\Big{|}dt
\end{split}
\end{equation}


Since $q_n$ approximate $q$ and by the change of the variables, there exists $M>0$ such that
$ \iint_{Y^t} {|}p_n^t-p^t{|}\leq M$. The Fatou's lemma gives
\begin{equation}
\label{eq:limsup-change}
\begin{split}
 \limsup_{n\to\infty}\int_0^{t_0}\iint_{Y^t} {|}p_n^t-p^t{|}dt
 =Mt_0-\liminf_{n\to\infty}  
 \int_0^{t_0} \Big{(} M-
 \iint_{Y^t} {|}p_n^t-p^t{|}\Big{)}dt
  \Big{)}\\
  \leq Mt_0-\int_0^{t_0} \liminf_{n\to\infty}\Big{(} M-\iint_{Y^t} {|}p_n^t-p^t{|}\Big{)}dt\\
  \leq 
  \int_0^{t_0}\limsup_{n\to\infty}\iint_{Y^t} {|}p_n^t-p^t{|}dt
\end{split}
\end{equation}

Then we obtain
\begin{equation}
\label{eq:A(t_0)}
\begin{split}
A(t_0)\leq \frac{2\|\mu\|_{\infty}}{1-\|\mu \|_{\infty}^2}\int_0^{t_0}\Big{(} \limsup_{n\to\infty}\iint_{Y^t} {|}p_n^t-p^t{|}\Big{)}dt\\
\leq \frac{2\|\mu\|_{\infty}}{1-\|\mu \|_{\infty}^2}\int_0^{t_0}\Big{(} \limsup_{n\to\infty}(\iint_{Y^t} {|}p_n^t-p^t{|}-|p_n^t|)\\ + \limsup_{n\to\infty}\iint_{Y^t}|p_n^t|\Big{)}dt.
\end{split}
\end{equation}

By the above inequality, since $p_n^t$ converges uniformly on compact subsets of $Y^t$ to $p^t$ and by an application of the Lebesgue Dominated Convergence Theorem to the first integral on the right, we get
\begin{equation}
\label{eq:A(t_0)-continuation}
\begin{split}
A(t_0)\leq 
\frac{2\|\mu\|_{\infty}}{1-\|\mu \|_{\infty}^2}\int_0^{t_0}\Big{(}\iint_{Y^t} -|p^t|
+ \limsup_{n\to\infty}\iint_{Y^t}|p^t|\Big{)}dt\\
=\frac{2\|\mu\|_{\infty}}{1-\|\mu \|_{\infty}^2}\int_0^{t_0}A(t)dt\leq \frac{2\|\mu\|_{\infty}}{1-\|\mu \|_{\infty}^2}t_0A(t_0)=
\frac{2\|\mu\|_{\infty}}{1-\|\mu \|_{\infty}^2}t_0S
\end{split}
\end{equation}

Since $A(t_0)>S/2$, the above inequality implies
$$
S/2< \frac{2\|\mu\|_{\infty}}{1-\|\mu \|_{\infty}^2}t_0S<\frac{2\|\mu\|_{\infty}}{1-\|\mu \|_{\infty}^2}S
$$
which gives 
$$
1-\|\mu\|_{\infty}^2<4\|\mu\|_{\infty}.
$$
The above inequality gives a contradiction when $\|\mu\|_{\infty}<1/5$.

Therefore the statement is true for all $f$ whose Beltrami coefficient has norm less than $1/5$. Since each quasiconformal map can be written as a composition of finitely many quasiconformal maps whose Beltrami coefficients have norms less than $1/5$ and the heights map of a composition is the composition of the height maps, the proposition follows.
\end{proof}

















\begin{thebibliography}{Thua}

\vskip .5cm

\bibitem{Ahlfors}  Ahlfors, Lars V. {\it Lectures on quasiconformal mappings.} Second edition. With supplemental chapters by C. J. Earle, I. Kra, M. Shishikura and J. H. Hubbard. University Lecture Series, 38. American Mathematical Society, Providence, RI, 2006.

\bibitem{Bas} A. Basmajian, {\it  Hyperbolic structures for surfaces of infinite type}, Trans. Amer. Math. Soc. 336, no. 1, March 1993, 421-444.

\bibitem{BS} A. Basmajian and D. \v Sari\' c, {\it Geodesically complete hyperbolic structures}, Math. Proc. Cambridge Philos. Soc. 166 (2019), no. 2, 219-242.


\bibitem{Bers}  Bers, Lipman {\it Universal Teichm\"uller space.} Analytic methods in mathematical physics (Sympos., Indiana Univ., Bloomington, Ind., 1968), pp. 65-83, Gordon and Breach, New York-London-Paris, 1970.

\bibitem{Bourque}  Bourque, Maxime Fortier {\it The holomorphic couch theorem.} Invent. Math. 212 (2018), no. 2, 319-406.

\bibitem{BLMM} Bo\v zin, V.; Lakic, N.; Markovi\' c, V.; Mateljevi\' c, M. {\it 
Unique extremality.} 
J. Anal. Math. 75 (1998), 299-338. 

\bibitem{EarleLi}  Earle, Clifford J.; Li, Zhong {\it Isometrically embedded polydisks in infinite dimensional Teichm\"uller spaces.} J. Geom. Anal. 9 (1999), no. 1, 51-71. 

\bibitem{GardinerLakic} Gardiner, F. P.; Lakic, N. {\it Efficient smooth quasiconformal mappings.} Complex manifolds and hyperbolic geometry (Guanajuato, 2001), 197-205, Contemp. Math., 311, Amer. Math. Soc., Providence, RI, 2002.

\bibitem{GardinerLakic1}  F. Gardiner and N. Lakic, {\it Quasiconformal Teichm\" uller theory}, Mathematical Surveys and Monographs, 76. American Mathematical Society, Providence, RI, 2000. 




 \bibitem{HubbardMasur} J. Hubbard and H. Masur, {\it Quadratic differentials and foliations}, Acta Math. 142 (1979), no. 3-4,  221-274.
 
\bibitem{Jenkins} J. A. Jenkins, {\it On the existence of certain general extremal metrics}, Ann. of Math.,
66 (1957), 440-453.


\bibitem{Lakic} N. Lakic, {\it The minimal norm property for quadratic differentials in the disk}, Michigan Math. J. 44 (1997), no. 2, 299-316.

\bibitem{Lehto}  Lehto, Olli {\it Univalent functions and Teichm\" uller spaces.} Graduate Texts in Mathematics, 109. Springer-Verlag, New York, 1987. 


\bibitem{MardenStrebel} A. Marden and K. Strebel, {\it On the ends of trajectories},  Differential geometry and complex analysis, 195-204, Springer, Berlin, 1985.

\bibitem{MardenStrebel1} A. Marden and K. Strebel, {\it The heights theorem for quadratic differentials on Riemann surfaces}, Acta Math. 153 (1984), no. 3-4, 153-211.

\bibitem{MardenStrebel-Teich} A. Marden and K. Strebel, {\it A characterization of Teichm\"uller differentials}, J. Differential Geom. 37 (1993), no. 1, 1-29. 


\bibitem{Masur}  H. Masur, {\it The Jenkins-Strebel differentials with one cylinder are dense}, Comment. Math. Helv. 54 (1979), no. 2, 179-184.


\bibitem{ReichStrebel}  E. Reich and K. Strebel, {\it Extremal quasiconformal mappings with given boundary values}, Contributions to analysis (a collection of papers dedicated to Lipman Bers), pp. 375-391. Academic Press, New York, 1974.



\bibitem{reichstrebel1} E. Reich and K. Strebel, {\it Teichm\"uller mappings which keep the boundary point-wise fixed},  1971 Advances in the Theory of Riemann Surfaces (Proc. Conf., Stony Brook, N.Y., 1969) pp. 365-367 Princeton Univ. Press, Princeton, N.J.

\bibitem{Saric-heights} D. \v Sari\' c, {\it The heights theorem for infinite Riemann surfaces}, Geom. Dedicata 216 (2022), no. 3, Paper No. 33, 23 pp. 

\bibitem{Saric-realization} D. \v Sari\' c, {\it Quadratic differentials and foliations on infinite Riemann surfaces.} Duke Math. J. 173 (2024), no. 10, 1883-1930.

\bibitem{Saric-ft} D. \v Sari\' c, {\it Quadratic differentials and function theory on Riemann surfaces},  	 	arXiv:2407.16333 [math.DS].


\bibitem{SaricShima} D. \v Sari\' c and T. Shima, {\it Intersection numbers between horizontal foliations of quadratic differentials}, arXiv:2506.14943.


\bibitem{Strebel1} K. Strebel, {\it  \"Uber quadratische differentials mit geschlossen trajectorien and extremale
quasikonforme abbildungen}, In Festband zum 70, Geburstag von Rolf Nevanlinna,
Springer-Verlag, Berlin, 1966.

\bibitem{Strebel} K. Strebel, {\it Quadratic differentials}, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 5. Springer-Verlag, Berlin, 1984. 


\end{thebibliography}





\end{document}