Abstract
We prove that if two conformal embeddings between Riemann surfaces with finite topology are homotopic, then they are isotopic through conformal embeddings. Furthermore, we show that the space of all conformal embeddings in a given homotopy class is homotopy equivalent to a point, a circle, a torus, or the unit tangent bundle of the codomain, depending on the induced homomorphism on fundamental groups. Quadratic differentials play a central role in the proof.
Introduction
Loosely speaking, the 1parametric hprinciple is said to hold for a class of maps between manifolds if the only obstructions to connecting two maps in the class through maps in the same class are topological [10, p. 60]. For example, the 1parametric hprinciple holds for immersions of \(S^2\) in \(\mathbb {R}^3\), so that the standard sphere can be turned inside out via immersions. This is known as Smale’s paradox. Of course, there are situations where the 1parametric hprinciple fails due to geometric obstructions. A famous example is Gromov’s symplectic camel theorem, which says that one cannot move a closed 4dimensional ball through a hole in a wall in \(\mathbb {R}^4\) via symplectic embeddings if the ball is bigger than the hole.
For us, a Riemann surface is a connected 1dimensional complex manifold. A finite Riemann surface is a Riemann surface with finitely generated fundamental group. Equivalently, a finite Riemann surface is a closed Riemann surface with finitely many points and closed disks removed. This should not be confused with the notion of a Riemann surface of finite type, which is a closed Riemann surface with finitely many points removed. A conformal embedding between Riemann surfaces is an injective holomorphic map.
In this paper, we prove that the 1parametric hprinciple holds for conformal embeddings between finite Riemann surfaces.
Theorem 1.1
(The holomorphic couch theorem) If two conformal embeddings between finite Riemann surfaces are homotopic, then they are isotopic through conformal embeddings.
We think of the codomain as a house and the domain as a couch that we want to move around in the house without changing its holomorphic structure. Hence the name “holomorphic couch”.
Given finite Riemann surfaces X and Y, and a topological embedding \(h:X \rightarrow Y\), we define \({{\mathrm{CEmb}}}(X,Y,h)\) to be the set of all conformal embeddings homotopic to h. We equip this set with the compactopen topology, which is the same as the topology of uniform convergence on compact sets with respect to any metric inducing the topology given on Y. Theorem 1.1 is equivalent^{Footnote 1} to the statement that \({{\mathrm{CEmb}}}(X,Y,h)\) is pathconnected whenever it is nonempty.
In fact, we prove a stronger result. Namely, we determine the homotopy type of the space \({{\mathrm{CEmb}}}(X,Y,h)\). The answer depends on the image of h at the level of fundamental groups. We say that h is trivial, cyclic, or generic if the image of the induced homomorphism \(\pi _1(h): \pi _1(X,x) \rightarrow \pi _1(Y,h(x))\) is trivial, infinite cyclic, or nonabelian, respectively. If Y is a torus, then the image of \(\pi _1(h)\) can be isomorphic to \(\mathbb {Z}^2\), but we do not need to distinguish this case.
Theorem 1.2
(Strong holomorphic couch) Let \(h:X \rightarrow Y\) be a topological embedding between finite Riemann surfaces such that \({{\mathrm{CEmb}}}(X,Y,h)\) is nonempty. Then \({{\mathrm{CEmb}}}(X,Y,h)\) is homotopy equivalent to either the unit tangent bundle of Y, a circle, or a point, depending on whether h is trivial, cyclic, or generic. This is unless Y is a torus and h is nontrivial, in which case \({{\mathrm{CEmb}}}(X,Y,h)\) is homotopy equivalent to a torus.
If h is generic, then \({{\mathrm{CEmb}}}(X,Y,h)\) is contractible. This is the most interesting case; the other cases are either analogous or corollaries (see Sect. 11). The rest of the introduction outlines the proof of Theorem 1.2 in the case that h is generic, although we state some intermediate results in greater generality.
Ioffe’s theorem
A Teichmüller embedding between finite Riemann surfaces X and Y is an injective continuous map \(f:X\rightarrow Y\) for which there exists a constant \(K \ge 1\) and nonzero integrable holomorphic quadratic differentials on X and Y that extend to be real and nonnegative along the ideal boundary, such that f is locally of the form \(x+iy \mapsto Kx+iy\) in natural coordinates and \(Y {\setminus } f(X)\) is a finite union of points and horizontal arcs.
Our main tool is a theorem of Ioffe which says that extremal quasiconformal embeddings and Teichmüller embeddings are one and the same [20].
Theorem 1.3
(Ioffe) Let \(f:X\rightarrow Y\) be a quasiconformal embedding between finite Riemann surfaces which is not conformal. Then f has minimal dilatation (i.e. is closest to being conformal) in its homotopy class if and only if it is a Teichmüller embedding.
We reprove this theorem in Sect. 3. In the special case where X and Y are closed, this reduces to Teichmüller’s celebrated theorem, since an embedding between closed surfaces is a homeomorphism. What is different from Teichmüller’s theorem, however, is that Teichmüller embeddings are not necessarily unique in their homotopy class—even after ruling out the obvious counterexamples. This is an important issue which we discuss next.
Slit mappings
A slit mapping is a conformal Teichmüller embedding, i.e., with stretch factor \(K=1\). In this case, the quadratic differential on X is the pullback of the quadratic differential on Y by the slit mapping.
We show that if \({{\mathrm{CEmb}}}(X,Y,h)\) contains a slit mapping, then every element of \({{\mathrm{CEmb}}}(X,Y,h)\) is a slit mapping and \({{\mathrm{CEmb}}}(X,Y,h)\) is naturally homeomorphic to a point, a compact interval, a circle, or a torus.
Theorem 1.4
(Slit mappings are almost rigid) Let \(h:X \rightarrow Y\) be any embedding between finite Riemann surfaces. Suppose that \({{\mathrm{CEmb}}}(X,Y,h)\) contains a slit mapping with respect to a quadratic differential \(\psi \) on Y. Then every \(f\in {{\mathrm{CEmb}}}(X,Y,h)\) is a slit mapping with respect to \(\psi \). Moreover, for every \(x \in X\), the evaluation map \({{\mathrm{CEmb}}}(X,Y,h) \rightarrow Y\) sending f to f(x) is a homeomorphism onto its image. This image is equal to Y if Y is a torus, is a compact horizontal arc or a point if h is generic, and is a horizontal circle if h is cyclic and Y is not a torus.
A better way to say this is: except in the torus case, any conformal embedding homotopic to a slit mapping differs from the latter by a horizontal translation which can be performed gradually (Theorem 4.1). An analogous statement holds for Teichmüller embeddings of dilatation \(K>1\).
This theorem corrects the wrong statement from [20] that \({{\mathrm{CEmb}}}(X,Y,h)\) is a single point if h is generic and \({{\mathrm{CEmb}}}(X,Y,h)\) contains a slit mapping. Indeed, there are easy examples showing that \({{\mathrm{CEmb}}}(X,Y,h)\) can be a nondegenerate interval (see Sect. 3.3).
We prove Theorem 1.4 in Sect. 4. Observe that Theorem 1.4 implies Theorem 1.2 whenever \({{\mathrm{CEmb}}}(X,Y,h)\) contains a slit mapping. If h is generic and \({{\mathrm{CEmb}}}(X,Y,h)\) is nonempty but does not contain a slit mapping, the idea is to enlarge X until it barely fits in Y, then appeal to Theorem 1.4 for the enlarged surface.
Modulus of extension
Given a finite Riemann surface X with nonempty ideal boundary, we define a 1parameter family of enlargements of X as follows. We first choose an analytic parametrization \(S^1 \rightarrow C\) of each ideal boundary component C of X. Then, for every \(r \in (0,\infty ]\), we let \(X_r\) be the bordered surface \(X \cup \partial X\) with a copy of the cylinder \(S^1 \times [0,r)\) glued to each ideal boundary component along \(S^1 \times \{0\}\) via the fixed parametrization \(S^1 \rightarrow C\). We also let \(X_0=X\).
We say that a cyclic embedding is parabolic if its image on \(\pi _1\) is generated by a loop around a puncture. Denote by (H) the hypothesis that:

\(h:X\rightarrow Y\) is a nontrivial and nonparabolic embedding between finite Riemann surfaces;

X has nonempty ideal boundary^{Footnote 2};

\(\{X_r\}_{r \in [0,\infty ]}\) is a 1parameter family of enlargements of X;

\({{\mathrm{CEmb}}}(X,Y,h)\) is nonempty.
Under hypothesis (H), we define the modulus of extension \(\mathfrak {m}(f)\) of any \(f \in {{\mathrm{CEmb}}}(X,Y,h)\) as the supremum of the set of \(r \in [0,\infty ]\) such that f extends to a conformal embedding of \(X_r\) into Y. Montel’s theorem in complex analysis implies that:

for every \(f\in {{\mathrm{CEmb}}}(X,Y,h)\) the supremum \(\mathfrak {m}(f)\) is achieved by a unique conformal embedding \(\widehat{f}: X_{\mathfrak {m}(f)} \rightarrow Y\) extending f;

\({{\mathrm{CEmb}}}(X,Y,h)\) is compact;

\(\mathfrak {m}\) is upper semicontinuous.
In particular, \(\mathfrak {m}\) achieves its maximum value over \({{\mathrm{CEmb}}}(X,Y,h)\). Using Ioffe’s theorem, it is not too hard to show that if \(\mathfrak {m}\) attains its maximum at f, then \(\widehat{f}\) is a slit mapping. We prove in Sect. 5 that the same holds if f is only assumed to be a local maximum of \(\mathfrak {m}\).
Theorem 1.5
(Characterization of local maxima) Assume hypothesis (H). Let \(f\in {{\mathrm{CEmb}}}(X,Y,h)\) be a local maximum of \(\mathfrak {m}\) such that \(\mathfrak {m}(f)<\infty \) and let \(\widehat{f}\) be the conformal extension of f to \(X_{\mathfrak {m}(f)}\). Then \(\widehat{f}\) is a slit mapping. Conversely, if \(g: X_r \rightarrow Y\) is a slit mapping such that \(g_X\) is homotopic to h, then \(g_X\) is a global maximum of \(\mathfrak {m}\). The set M of all local maxima of \(\mathfrak {m}\) is homeomorphic to a point, a compact interval, a circle, or a torus, and \(\mathfrak {m}\) is constant on M.
The initial motivation for studying \(\mathfrak {m}\) was to think of it as a Morse function for the space \({{\mathrm{CEmb}}}(X,Y,h)\). In an ideal world, flowing along the gradient of \(\mathfrak {m}\) would yield a deformation retraction of \({{\mathrm{CEmb}}}(X,Y,h)\) into M. This does not make sense, however, since \(\mathfrak {m}\) is not even continuous unless it is constant equal to zero. In any case, the connectedness of \({{\mathrm{CEmb}}}(X,Y,h)\) is a direct consequence of Theorem 1.5 (see Sect. 5).
Theorem 1.6
Under hypothesis (H), the space \({{\mathrm{CEmb}}}(X,Y,h)\) is connected.
To improve upon this, we show that there are no local obstructions to contractibility.
Where can one point go?
Throughout this subsection, we assume that:

\(h:X\rightarrow Y\) is a generic embedding between finite Riemann surfaces;

X has nonempty ideal boundary;

\({{\mathrm{CEmb}}}(X,Y,h)\) is nonempty and does not contain any slit mapping;
which we call hypothesis (\(\mathbf{H'}\)). Note that \(({\mathbf{H'}}) \Rightarrow ({\mathbf{H}})\).
Given a point \(x \in X\), we are interested in set of points in Y where x can be mapped by the elements of \({{\mathrm{CEmb}}}(X,Y,h)\). It is convenient to also keep track of how x gets mapped to a given \(y\in Y\) in the following sense. If \(f \in {{\mathrm{CEmb}}}(X,Y,h)\), then by definition there exists a homotopy
from h to f. Since h is generic, the homotopy class rel endpoints of the path \(t \mapsto H(x,t)\) from h(x) to f(x) does not depend on the particular choice of H (see Lemma 6.1). Denote the homotopy class of that path by \({{\mathrm{lift}}}_x(f)\). If the point \(x\in X\) is kept fixed, \({{\mathrm{lift}}}_x(f)\) represents an element of the universal cover of Y based at h(x). Since Y has nonabelian fundamental group, its universal cover is conformally equivalent to the unit disk \(\mathbb {D}\).
The map \({{\mathrm{lift}}}_x: {{\mathrm{CEmb}}}(X,Y,h) \rightarrow \mathbb {D}\) is continuous, and we call its image \({{\mathrm{Blob}}}(x,X,Y,h)\). The blob is simpler than the image of the evaluation map in much the same way as Teichmüller space is simpler than moduli space. Indeed, the blob is as simple as can be.
Theorem 1.7
(The blob is a disk) Under hypothesis (\(\mathbf{H'}\)), \({{\mathrm{Blob}}}(x,X,Y,h)\) is homeomorphic to a closed disk for any \(x \in X\).
The proof has four steps:

the blob is compact and connected (because \({{\mathrm{CEmb}}}(X,Y,h)\) is);

the blob is semismooth;

every semismooth subset of \(\mathbb {R}^2\) is a 2manifold with boundary;

there are no holes in the blob.
We refer the reader to Sects. 6–9 for the definition of a semismooth set and the breakdown of these steps. Suffice it to say that Ioffe’s theorem implies that points on the boundary of \({{\mathrm{Blob}}}(x,X,Y,h)\) come from conformal embeddings f whose restriction \(f^\star :X{\setminus }\{x\} \rightarrow Y{\setminus } \{f(x)\}\) is a slit mapping. We then use a variational formula for extremal length to deduce information about the shape of \({{\mathrm{Blob}}}(x,X,Y,h)\) near such boundary points.
Moving one point at a time
We now explain how to deduce that \({{\mathrm{CEmb}}}(X,Y,h)\) is contractible from the previous results, still assuming hypothesis (\(\mathbf{H'}\)). Pick a countable dense set \(\{x_1,x_2,...\}\) in X and let \(F \in {{\mathrm{CEmb}}}(X,Y,h)\) be any conformal embedding. We define a deformation retraction of the space \({{\mathrm{CEmb}}}(X,Y,h)\) into \(\{F\}\) by moving one point at a time. Given a map f in \({{\mathrm{CEmb}}}(X,Y,h)\), we join \({{\mathrm{lift}}}_{x_1}(f)\) to \({{\mathrm{lift}}}_{x_1}(F)\) by a path \(\gamma _1\) in \({{\mathrm{Blob}}}(x_1,X,Y,h)\). Such a path exists since \({{\mathrm{Blob}}}(x_1,X,Y,h)\) is homeomorphic to a closed disk.
For every \(t \in [0,1]\), we then look at where \(x_2\) can go under maps g in \({{\mathrm{CEmb}}}(X,Y,h)\) which satisfy \({{\mathrm{lift}}}_{x_1}(g)=\gamma _1(t)\). This defines a new kind of blob, call it \({{\mathrm{Blob}}}_t(x_2)\). We show that \({{\mathrm{Blob}}}_t(x_2)\) moves continuously with t, which allows us to construct a second path \(\gamma _2\) from \({{\mathrm{lift}}}_{x_2}(f)\) to \({{\mathrm{lift}}}_{x_2}(F)\) with the property that for every \(t \in [0,1]\), the point \(\gamma _2(t)\) belongs to \({{\mathrm{Blob}}}_t(x_2)\).
Proceeding by induction, we obtain a sequence of paths \(\gamma _1,\gamma _2,\ldots \) such that for every \(n \in \mathbb {N}\) and every \(t\in [0,1]\), there exists at least one map \(f_t^n\) in \({{\mathrm{CEmb}}}(X,Y,h)\) such that \({{\mathrm{lift}}}_{x_j}(f_t^n)=\gamma _j(t)\) for every \(j\in \{1,\ldots ,n\}\). If we fix t and pass to a subsequence, we get some limit \(f_t \in {{\mathrm{CEmb}}}(X,Y,h)\) for which \({{\mathrm{lift}}}_{x_j}(f_t)=\gamma _j(t)\) for every \(j \in \mathbb {N}\). Since any two limits agree on the dense set \(\{x_1,x_2,...\}\), we actually have convergence \(f_t^n \rightarrow f_t\) as \(n \rightarrow \infty \) (without passing to a subsequence). By a similar argument, \(f_t\) depends continuously on t. We thus found a path from f to F in \({{\mathrm{CEmb}}}(X,Y,h)\).
We construct the paths \(\gamma _1, \gamma _2, \ldots \) carefully enough so that they depend continuously on the initial map f, hence the path \(t \mapsto f_t\) also depends continuously on f. The end result is a deformation retraction of \({{\mathrm{CEmb}}}(X,Y,h)\) into \(\{F\}\). See Sect. 10 for details.
Notes and references
The holomorphic couch problem arose in the context of renormalization in complex dynamics. Although Theorem 1.1 does not have any direct application to dynamics, some of the tools used here do (see [41]).
The space \({{\mathrm{CEmb}}}(\mathbb {D},\mathbb {C})\), or rather its subspace \({\mathcal {S}}\) of conformal embeddings \(f:\mathbb {D}\rightarrow \mathbb {C}\) satisfying \(f(0)=0\) and \(f'(0)=1\), was the subject of much interest until the solution of the Bieberbach conjecture by de Branges in 1984. It is easy to see that \({\mathcal {S}}\) is contractible in the compactopen topology. On the other hand, \({\mathcal {S}}\) has isolated points when equipped with the topology of uniform convergence of the Schwarzian derivative [42]. The literature on the class \(\mathcal {S}\) is quite vast. In comparison, not much has been written about conformal embeddings between general Riemann surfaces. Exceptions include [6, 20,21,22, 36] and [37].
The holomorphic couch problem for embeddings of a multiplypunctured disk in a multiplypunctured sphere was first considered in [34]. However, the solution presented there relies in part on a rigidity claim [33] which is known to be false in general [23].
Theorems 1.4 and 1.5 generalize the fact that in the homotopy class of an essential simple closed curve \(\alpha \) on a finite Riemann surface Y, there exists a unique embedded annulus \(X \subset Y\) of largest modulus, and X is the horizontal cylinder of a quadratic differential \(\psi \) on Y (known as the Jenkins–Strebel differential corresponding to \(\alpha \)).
In [6], Earle and Marden consider a functional similar to our modulus of extension \(\mathfrak {m}\) where they keep the annuli disjoint from X. Their construction is more natural than ours as it does not require any choice of parametrization of \(\partial X\). We decided to glue the annuli to X in order to deal with a connected surface. The main theorem in [6] is analogous to Theorem 1.5, but its uniqueness statement is false for the same reason that Ioffe’s uniqueness statement is.
There is a plethora of other extremal problems on Riemann surfaces whose solutions involve quadratic differentials (see e.g. [25] and the references therein). These are all examples of “Teichmüller’s principle” [22, p.48].
For the class \(\mathcal {S}\) of normalized univalent functions from \(\mathbb {D}\) to \(\mathbb {C}\), a suitable version of the blob is actually a round disk. More precisely, for every \(z \in \mathbb {D}\) and every \(f \in {\mathcal {S}}\), the quantity \(w=\log (f(z)/z)\) satisfies
and every value w satisfying the inequality is achieved for some \(f\in {\mathcal {S}}\). This was proved by Grunsky in 1932 (see [5, p. 323]). The blob for Kquasiconformal homeomorphisms of the disk with prescribed boundary values was studied in [40] (see also [9] for a generalization to arbitrary hyperbolic surfaces). Our approach for proving that the blob is homeomorphic to a closed disk seems similar to Strebel’s, but the context is different.
The idea of moving one point at a time to get an isotopy is reminiscent of the finite “holomorphic axiom of choice” used by Slodkowski to extend holomorphic motions [38]. Our isotopies are holomorphic in the space variable and continuous in the time variable, whereas holomorphic motions are the other way around.
Preliminaries
Ideal boundary and punctures
A Riemann surface is hyperbolic if its universal covering space is conformally isomorphic to the unit disk \(\mathbb {D}\). The only nonhyperbolic Riemann surfaces are the Riemann sphere \(\widehat{\mathbb {C}}\), the complex plane \(\mathbb {C}\), the oncepunctured plane \(\mathbb {C}{\setminus }\{0\}\) and complex tori. A hyperbolic surface X can be regarded as the quotient of its universal covering space \(\mathbb {D}\) by its group of deck transformations \(\varGamma \). The limit set \(\varLambda _\varGamma \) is the set of accumulation points in \(\partial \mathbb {D}\) of the \(\varGamma \)orbit of any point \(z \in \mathbb {D}\), and the set of discontinuity is \(\varOmega _\varGamma = \partial \mathbb {D}{\setminus } \varLambda _\varGamma \). The ideal boundary of X is \(\partial X = \varOmega _\varGamma /\varGamma \). The union \(X \cup \partial X = (\mathbb {D}\cup \varOmega _\varGamma )/\varGamma \) is naturally a bordered Riemann surface, since \(\varGamma \) acts properly discontinuously and analytically on \(\mathbb {D}\cup \varOmega _\varGamma \). If X is a finite hyperbolic surface, then \(\partial X\) has finitely many connected components, each homeomorphic to a circle.
A puncture in a Riemann surface X is an end corresponding to a proper (preimages of compact sets are compact) conformal embedding \({\overline{\mathbb {D}}}{\setminus }\{0\}\rightarrow X\). For example, \(\mathbb {C}\) has one puncture at infinity and \(\mathbb {C}{\setminus }\{0\}\) has two punctures. For hyperbolic surfaces, punctures are the same as a cusps, or ends with parabolic monodromy. Every puncture can be filled, meaning that one can add the missing point and extend the complex structure there. The set of punctures of X is denoted by \({\dot{X}}\).
Given a finite Riemann surface X, we write \(\widehat{X} =X \cup \partial X \cup \dot{X}\) for the compact bordered Riemann surface obtained after adding the ideal boundary and filling the punctures (by definition, a nonhyperbolic Riemann surface has empty ideal boundary). Suppose that \(\partial X\) is nonempty. Then if we take two copies of \(\widehat{X}\)—the second with reversed orientation—and glue them along \(\partial X\) with the identity, we get a closed Riemann surface called the double of \(\widehat{X}\). Because of this construction, many theorems about Riemann surfaces of finite type are also true for finite Riemann surfaces.
Automorphisms
Given a Riemann surface X, let \({{\mathrm{Aut}}}_0(X)\) be its group of conformal automorphisms homotopic to the identity. It is wellknown that:

\({{\mathrm{Aut}}}_0(\widehat{\mathbb {C}})\) acts simply transitively on ordered triples of distinct points in \(\widehat{\mathbb {C}}\);

\({{\mathrm{Aut}}}_0(\mathbb {C})\) acts simply transitively on ordered pairs of distinct points in \(\mathbb {C}\);

\({{\mathrm{Aut}}}_0(\mathbb {C}{\setminus }\{0\})\) acts simply transitively on \(\mathbb {C}{\setminus }\{0\}\);

if X is a torus, then \({{\mathrm{Aut}}}_0(X)\) acts simply transitively on X;

\({{\mathrm{Aut}}}_0(\mathbb {D})\) acts simply transitively on the unit tangent bundle of \(\mathbb {D}\) (with respect to the hyperbolic metric);

if \(r \in [0,1)\), then \({{\mathrm{Aut}}}_0(\mathbb {D}{\setminus } r\overline{\mathbb {D}})\) is isomorphic to the circle \(S^1\).
In all other cases, \({{\mathrm{Aut}}}_0(X)\) only contains the identity.
Lemma 2.1
Let X be a hyperbolic Riemann surface not isomorphic to \(\mathbb {D}\) nor \(\mathbb {D}{\setminus }\{0\}\), and let \(h: X \rightarrow X\) be a holomorphic map homotopic to the identity. Then h is equal to the identity unless X is an annulus and h is a rotation.
In this lemma, X is not assumed to be finite and h is not assumed to be either injective or surjective.
Proof
By the Schwarz lemma, h is 1Lipschitz with respect to the hyperbolic metric. Therefore, if \(\alpha \) is a closed geodesic in X, then \(h(\alpha )\) is at most as long as \(\alpha \). But geodesics minimize length in their homotopy class, so that \(h(\alpha )=\alpha \). In particular, h is an isometry along \(\alpha \).
If X is an annulus, then it contains a unique simple closed geodesic \(\alpha \). We can postcompose h by a rotation r of X so that \(r \circ h\) is equal to the identity on \(\alpha \) and hence on all of X by the identity principle.
If X is not an annulus, then it contains a closed geodesic \(\alpha \) which selfintersects exactly once. Then h fixes this selfintersection point, thus all of \(\alpha \) pointwise, and hence all of X pointwise by the identity principle. \(\square \)
It follows that \({{\mathrm{Aut}}}_0(X)\) is pathconnected for any Riemann surface X. More precisely, \({{\mathrm{Aut}}}_0(X)\) is

homotopy equivalent to the unit tangent bundle of X if \(\pi _1(X) = \{ 0 \}\);

homotopy equivalent to \(S^1\) if \(\pi _1(X) \cong \mathbb {Z}\);

homeomorphic to \(S^1 \times S^1\) if \(\pi _1(X) \cong \mathbb {Z}^2\);

a point if \(\pi _1(X)\) is nonabelian.
Theorems 1.1 and 1.2 can be viewed as generalizations of this. When the domain has finite type, Theorem 1.2 actually follows from the above.
Lemma 2.2
Suppose that \(h:X \rightarrow Y\) is a topological embedding between finite Riemann surfaces, where \(\partial X\) is empty and Y is not the sphere with at most 2 punctures nor a torus. Then \({{\mathrm{CEmb}}}(X,Y,h)\) contains at most one element.
Proof
Since conformal embeddings send punctures to punctures or regular points, every f in \({{\mathrm{CEmb}}}(X,Y,h)\) extends to a conformal embedding \(\widehat{f}\) from \(X \cup {\dot{X}}\) to \(Y \cup {\dot{Y}}\). As \(\widehat{X} = X \cup {\dot{X}}\) is compact and \(\widehat{f}\) is open, the map \(\widehat{f}\) is surjective. In particular, \(Y \cup {\dot{Y}}=\widehat{Y}\) is compact. If \(f,g \in {{\mathrm{CEmb}}}(X,Y,h)\), then the inverses of the extensions \(\widehat{f},\widehat{g}: \widehat{X} \rightarrow \widehat{Y}\) are homotopic rel \({\dot{Y}}\). The composition \(\widehat{g} \circ \widehat{f}^{1}\) is thus a conformal automorphism of \(\widehat{Y}\) homotopic to the identity rel \({\dot{Y}}\). If \(\widehat{Y}\) has genus 0, then \(\dot{Y}\) must contain at least 3 points by hypothesis, so that \(\widehat{f} = \widehat{g}\). If \(\widehat{Y}\) has genus 1, then \(\dot{Y}\) contains at least 1 point, so that \(\widehat{f} = \widehat{g}\). If \(\widehat{Y}\) has genus at least 2, then \(\widehat{f} = \widehat{g}\) by Lemma 2.1. \(\square \)
By the same argument, if \(\partial X = \varnothing \) and Y is the sphere with at most 2 punctures or a torus, then \({{\mathrm{CEmb}}}(X,Y,h)\) is either empty or homeomorphic to \({{\mathrm{Aut}}}_0(Y)\). Theorem 1.2 for domains of finite type follows easily.
Proof of Theorem 1.2 in the case where \(\partial X = \varnothing \). The image of any element in \({{\mathrm{CEmb}}}(X,Y,h)\) has finite complement in Y so that \(\pi _1(h)\) surjects onto \(\pi _1(Y)\). If \(\pi _1(Y)\) is nonabelian, then h is generic and \({{\mathrm{CEmb}}}(X,Y,h)\) is a singleton by Lemma 2.2. Otherwise \({{\mathrm{CEmb}}}(X,Y,h)\) is homeomorphic to \({{\mathrm{Aut}}}_0(Y)\), whose homotopy type was described above. \(\square \)
Montel’s theorem
The simplest version of Montel’s theorem says that the set of all holomorphic maps from \(\mathbb {D}\) to \(\overline{\mathbb {D}}\) is compact. This implies a similar result for holomorphic maps between arbitrary hyperbolic surfaces by lifting to the universal covers.
A sequence of maps \(f_n:X \rightarrow Y\) between Riemann surfaces diverges locally uniformly if for every compact sets \(K \subset X\) and \(L\subset Y\), the sets \(f_n(K)\) and L are disjoint for all large enough n. A set \(\mathcal {F}\) of maps between two Riemann surfaces X and Y is normal if every sequence in \(\mathcal {F}\) admits either a locally uniformly convergent subsequence or a locally uniformly divergent subsequence.
Theorem 2.3
(Montel’s theorem) If X and Y are hyperbolic surfaces, then every set of holomorphic maps from X to Y is normal.
See [29, p. 34]. Note that the limit of a convergent sequence of holomorphic maps is holomorphic. If every map in the sequence is injective, then the limit is either injective or constant. If every map in the sequence is locally injective, then the limit is either locally injective or constant.
Quasiconformal maps
Let \(K\ge 1\). A Kquasiconformal map ^{Footnote 3} between Riemann surfaces is a map f such that in charts, its first partial derivatives in the distributional sense are locally in \(L^2\) and the formal matrix \(\mathrm {d}f\) of partial derivatives satisfies the inequality \(\Vert \mathrm {d}f\Vert ^2 \le K \det (\mathrm {d}f)\) almost everywhere. For almost every point z, the real linear map \(\mathrm {d}_z f\) sends circles in the tangent plane at z to ellipses of eccentricity \(\Vert \mathrm {d}_zf\Vert ^2/\det (\mathrm {d}_zf)\) in the tangent plane at f(z), and this ratio is called the pointwise dilatation of f at z. The dilatation of f, denoted \({{\mathrm{Dil}}}(f)\), is the smallest \(K\ge 1\) for which f is Kquasiconformal. This is the same as the essential supremum of the pointwise dilatation of f.
A Beltrami form on a Riemann surface X is a map \(\mu : TX{\setminus } \mathbf {0} \rightarrow \mathbb {C}\) such that \(\mu (\lambda \mathbf {v})= ({\overline{\lambda }}/\lambda )\mu (\mathbf {v})\) for every \(\mathbf {v} \in TX{\setminus } \mathbf {0}\) and every \(\lambda \in \mathbb {C}{\setminus } \{0\}\) where \(\mathbf {0}\) denotes the zero section. In charts, the Wirtinger derivatives of a quasiconformal map f are
The ratio \({\overline{\partial }}f/\partial f\) is naturally a Beltrami form, and is sometimes called the Beltrami coefficient of f. The Beltrami coefficient of f encodes the field of ellipses in TX which \(\mathrm {d}f\) sends to circles.
The measurable Riemann mapping theorem of Morrey and Ahlfors–Bers says that every measurable ellipse field with bounded eccentricity is the Beltrami coefficient of a quasiconformal homeomorphism.
Theorem 2.4
(The measurable Riemann mapping theorem) Let X be a Riemann surface and let \(\mu \) be a measurable Beltrami form on X such that \(\Vert \mu \Vert _\infty < 1\). Then there exists a Riemann surface Y and a quasiconformal homeomorphism \(f:X \rightarrow Y\) such that \({\overline{\partial }}f/\partial f = \mu \) almost everywhere. The surface and the quasiconformal homeomorphism are unique up to postcomposition with a conformal homeomorphism.
An important consequence is the following factorization principle. Suppose that \(f:X \rightarrow Y\) is a quasiconformal map. Then \(f=g \circ h\) where \(h: X \rightarrow Z\) is a quasiconformal homeomorphism and \(g:Z \rightarrow Y\) is holomorphic. Indeed, we can take h to be the solution of the Beltrami equation with \(\mu = {\overline{\partial }}f/\partial f\) and let \(g = f \circ h^{1}\).
Another fundamental property of Kquasiconformal homeomorphisms is compactness under appropriate normalization [2, p. 32].
Theorem 2.5
For every \(K\ge 1\), the space of all Kquasiconformal homeomorphisms from \(\mathbb {D}\) to \(\mathbb {D}\) fixing 0 is compact.
Lastly, we will use the fact that quasiconformal homeomorphisms send punctures to punctures. As a consequence, any quasiconformal embedding between finite Riemann surfaces extends to a quasiconformal embedding between the surfaces with their punctures filled.
The reader may consult [2] for more background on quasiconformal homeomorphisms.
Quadratic differentials
A quadratic differential on a Riemann surface X is a map \(\varphi : TX \rightarrow \widehat{\mathbb {C}}\) such that \(\varphi (\lambda \mathbf {v}) = \lambda ^2 \varphi (\mathbf {v})\) for every \(\mathbf {v} \in TX\) and every \(\lambda \in \mathbb {C}\). A quadratic differential on X is holomorphic (resp. meromorphic) if for every open set \(U \subset X\), and every holomorphic vector field \(\mathbf {v}:U \rightarrow TU\), the function \(\varphi \circ \mathbf {v}: U \rightarrow \mathbb {C}\) is holomorphic (resp. meromorphic). All quadratic differentials in this paper will be holomorphic or meromorphic. The pullback \(f^* \varphi \) of a quadratic differential \(\varphi \) by a holomorphic map f is defined in the usual way by the formula \(f^* \varphi (\mathbf {v}) = \varphi (\mathrm {d}f(\mathbf {v}))\).
A vector \(\mathbf {v}\in TX\) is horizontal (resp. vertical) for \(\varphi \) if \(\varphi (\mathbf {v})>0\) (resp. \(\varphi (\mathbf {v})<0\)). Let \(I \subset \mathbb {R}\) be an interval. A piecewise smooth arc \(\gamma : I \rightarrow X\) is horizontal (resp. vertical) if \(\gamma '(t)\) is horizontal (resp. vertical) wherever it is defined. Such a trajectory is called regular if it does not contain any zero or pole of \(\varphi \). The absolute value \(\varphi \) is an area form, and its integral \(\Vert \varphi \Vert =\int _X \varphi \) is the norm of \(\varphi \). For a finite Riemann surface X, we denote by \(\mathcal {Q}(X)\) the set of all integrable holomorphic quadratic differentials \(\varphi \) on X which extend analytically to the ideal boundary of X, and such that \(\varphi (\mathbf {v})\in \mathbb {R}\) for every vector \(\mathbf {v}\) tangent to \(\partial X\). Every \(\varphi \in \mathcal {Q}(X)\) extends to a meromorphic quadratic differential on \(\widehat{X}\) with at most simple poles on \({\dot{X}}\). The set \(\mathcal {Q}^+(X)\) is similarly defined, but with the additional requirements that \(\varphi \ge 0\) along \(\partial X\) and that \(\varphi \) is not identically zero. The set \(\mathcal {Q}(X)\) is a real vector space inside of which \(\mathcal {Q}^+(X)\) forms a convex cone.
For every simply connected open set \(U \subset \widehat{X}\) where a quadratic differential \(\varphi \) does not have any zero or pole, there exists a locally injective holomorphic map \(z: U \rightarrow \mathbb {C}\) such that \(\varphi =\mathrm {d}z^2\). The map z is unique up to translation and sign and is called a natural coordinate when it is injective. If \(\varphi \in \mathcal {Q}(X)\), then the atlas of natural coordinates for \(\varphi \) is a halftranslation structure on \(\widehat{X}\) minus the singularities of \(\varphi \). The transition maps for this atlas have the form \(z \mapsto \pm z + c\). Such a structure induces a flat geometry with cone points on \(\widehat{X}\). We return to this geometry at the end of the present section. The standard reference for this material is [39].
Teichmüller’s theorem
A Teichmüller homeomorphism (usually called Teichmüller map) between finite Riemann surfaces X and Y is a homeomorphism \(f:X \rightarrow Y\) such that there exists a constant \(K>1\) and nonzero \(\varphi \in \mathcal {Q}(X)\) and \(\psi \in \mathcal {Q}(Y)\) such that f is locally of the form \(x+iy \mapsto Kx + iy\) in natural coordinates for \(\varphi \) and \(\psi \), up to sign and translation. Such a homeomorphism is Kquasiconformal with constant pointwise dilatation.
The following theorems of Teichmüller are of central importance.
Theorem 2.6
(Teichmüller’s existence theorem) Let h be a quasiconformal homeomorphism between finite Riemann surfaces. If there is no conformal homeomorphism homotopic to h, then there is a Teichmüller homeomorphism homotopic to h.
Theorem 2.7
(Teichmüller’s uniqueness theorem) Let \(f:X \rightarrow Y\) be a Teichmüller homeomorphism of dilatation K between finite Riemann surfaces. If g is a Kquasiconformal homeomorphism homotopic to f, then \(g \circ f^{1}\) is a conformal automorphism of Y homotopic to the identity. If Y is not an annulus nor a torus, then \(g=f\).
Teichmüller’s theorem is usually stated and proved for closed Riemann surfaces, but the general case follows from the closed case by doubling across the ideal boundary and by taking a branched cover of degree 2 or 4 ramified at the punctures [1].
Teichmüller spaces
Let S be a finite Riemann surface. The Teichmüller space \(\mathcal {T}(S)\) is defined as the set of pairs (X, f) where X is a finite Riemann surface and \(f:S\rightarrow X\) is a quasiconformal homeomorphism, modulo the equivalence relation \((X,f) \sim (Y,g)\) if and only if \(g \circ f^{1}\) is homotopic to a conformal homeomorphism. The equivalence class of (X, f) is denoted [X, f], or just X when the marking f is implicit. The Teichmüller distance between two points of \(\mathcal {T}(S)\) is defined as
where the infimum is taken over all quasiconformal homeomorphisms h homotopic to \(g \circ f^{1}\). By Teichmüller’s theorem, the infimum is realized by a (usually unique) quasiconformal homeomorphism h which is either conformal or a Teichmüller homeomorphism.
The space \(\mathcal {T}(S)\) is a contractible realanalytic manifold of finite dimension. Let \(\mathcal {M}(X)\) denote the space of essentially bounded Beltrami forms on \(X \in \mathcal {T}(S)\). By the measurable Riemann mapping theorem, the tangent space to \(\mathcal {T}(S)\) at X can be identified with the quotient of \(\mathcal {M}(X)\) by its subspace \(\mathcal {M}_0(X)\) of infinitesimally trivial deformations. There is a natural pairing between \(\mathcal {M}(X)\) and \(\mathcal {Q}(X)\) given by
and it turns out that \(\mathcal {M}_0(X) = \mathcal {Q}(X)^\perp \) with respect to this pairing. The tangent and cotangent spaces to \(\mathcal {T}(S)\) at X are thus isomorphic to \(\mathcal {M}(X)/\mathcal {Q}(X)^\perp \) and \(\mathcal {Q}(X)\) respectively. See [7] and [8] for more details.
Remark 2.8
In the literature, \(\mathcal {T}(S)\) is called the reduced Teichmüller space of S. The (unreduced) Teichmüller space of S is defined similarly, except that pairs (X, f) and (Y, g) are declared equivalent if \(g\circ f^{1}\) is homotopic to a conformal homeomorphism rel \(\partial X\). This unreduced Teichmüller space is always a contractible complex manifold, but has infinite dimension whenever the ideal boundary of S is nonempty. We will only consider reduced Teichmüller spaces in this paper, and will therefore omit the adjective “reduced”.
Homotopies
If two maps are homotopic, then they induce the same homomorphism between fundamental groups, up to conjugation. The converse also holds under appropriate conditions [2, p. 60] [3, §6].
Lemma 2.9
Let X be a space which has a universal cover, let Y be a metric space whose universal cover is a uniquely geodesic space in which geodesics depend continuously on endpoints, and let \(f_0,f_1:X \rightarrow Y\) be continuous maps. Suppose that for some \(x \in X\) the induced homomorphisms \(\pi _1(f_j): \pi _1(X,x) \rightarrow \pi _1(Y,f_j(x))\) agree up to conjugation by a path between \(f_0(x)\) and \(f_1(x)\). Then \(f_0\) and \(f_1\) are homotopic.
Proof
Let \(\widetilde{X}\) and \(\widetilde{Y}\) be the universal covers of X and Y, and let \(\alpha \) be a path connecting \(f_0(x)\) to \(f_1(x)\) which conjugates the homomorphisms \(\pi _1(f_0)\) and \(\pi _1(f_1)\). Given a lift \(\widetilde{f}_0: \widetilde{X} \rightarrow \widetilde{Y}\), the path \(\alpha \) allows us to lift \(f_1\) in such a way that \(\widetilde{f}_0\) and \(\widetilde{f}_1\) are equivariant with respect to the same homomorphism of deck groups. The homotopy from \(\widetilde{f}_0\) to \(\widetilde{f}_1\) sending \((x,t) \in \widetilde{X} \times [0,1]\) to the point at proportion t along the geodesic from \(\widetilde{f}_0(x)\) to \(\widetilde{f}_1(x)\) in \(\widetilde{Y}\) is continuous and equivariant, so it descends to a homotopy from \(f_0\) to \(f_1\).\(\square \)
This is also true if X is a CWcomplex and Y is a \(K(\pi ,1)\) [18, p. 90]. If X and Y are finite Riemann surfaces and Y is not the sphere, then either hypotheses are satisfied. The most useful consequence for us is that homotopy classes of maps between finite Riemann surfaces are closed.
Corollary 2.10
Let X and Y be finite Riemann surfaces and let \(f_n,f:X \rightarrow Y\) be continuous maps such that \(f_n \rightarrow f\) as \(n\rightarrow \infty \). Then \(f_n\) is homotopic to f for all large enough n.
Proof
First assume that Y is the Riemann sphere. By the Hopf theorem [30, p. 50], two maps \(X \rightarrow Y\) are homotopic if and only if they have the same degree. Since topological degree depends continuously on the map, \(f_n\) eventually has the same degree as f and is therefore homotopic to it.
Suppose that Y is not the Riemann sphere. Then the universal cover of Y supports a metric which is proper (whose closed balls are compact) and is uniquely geodesic. In such a metric, geodesics depend continuously on endpoints. Thus the hypotheses of Lemma 2.9 are satisfied.
Let \(\beta _1, \ldots , \beta _k\) be loops based at \(x \in X\) which generate \(\pi _1(X,x)\) and let V be a simply connected neighborhood of f(x) in Y. Let n be large enough so that \(f_n(x) \in V\) and so that there is a homotopy between the restrictions \(f_n\beta _j\) and \(f\beta _j\) which keeps the image of the basepoint x inside V for every \(j \in \{1, \ldots , k \}\). Let \(\alpha \) be any path from f(x) to \(f_n(x)\) in V. Then \(\alpha * f_n(\beta _j)*\overline{\alpha }\) is homotopic to \(f(\beta _j)\) as loops based at f(x), for every j. In other words, \(\alpha \) conjugates the induced homomorphisms \(\pi _1(f)\) and \(\pi _1(f_n)\). By Lemma 2.9, \(f_n\) is homotopic to f.\(\square \)
In Teichmüller theory, one often goes back and forth between punctures and marked points as convenient. This passage is justified by the fact that quasiconformal homeomorphisms send punctures to punctures. Moreover, homotopies defined in the complement of punctures can be modified as to extend to the punctures.
Definition 2.11
Let \(h:X \rightarrow Y\) be a quasiconformal embedding between finite Riemann surfaces. Recall that h extends to a quasiconformal embedding \(\overline{h}\) from \(X \cup \dot{X}\) to \(Y \cup {\dot{Y}}.\) We say that a puncture \(p \in {\dot{X}}\) is essential if \(\overline{h}(p) \in {\dot{Y}}\) and is inessential if \(\overline{h}(p) \in Y\).
Lemma 2.12
Let X and Y be finite Riemann surfaces, let \(f_0, f_1: X \rightarrow Y\) be quasiconformal embeddings, let \({\overline{f}}_0\) and \({\overline{f}}_1\) be their extensions to \(X \cup {\dot{X}}\), and let \(H: X \times [0,1] \rightarrow Y\) be a homotopy from \(f_0\) to \(f_1\). Let \(E \subset {\dot{X}}\) be the set of punctures which are essential with respect to \(f_0\). Then there exists a homotopy \(\overline{H}:X\cup {\dot{X}} \times [0,1]\rightarrow Y \cup {\dot{Y}}\) from \({\overline{f}}_0\) to \({\overline{f}}_1\) which is constant on \(E\times [0,1]\), maps \(X \times [0,1]\) into Y, and whose restriction to \(X \times [0,1]\) is homotopic to H.
Proof
For each \(p\in {\dot{X}}\), let \(D_p \subset X\cup {\dot{X}}\) be an embedded closed disk such that \(D_p \cap {\dot{X}} = \{p\}\). Further assume that the disks \(D_p\) are all disjoint. The idea is to define \({\overline{H}} = H\) on \(X{\setminus }\bigcup _{p\in {\dot{X}}} D_p \times [0,1]\) and then extend this to a continuous map \( {\overline{H}}: D_p \times [0,1] \rightarrow Y \cup {\dot{Y}}\) sending \(D_p {\setminus } \{p \}\) into Y for each \(p \in {\dot{X}}\). If the puncture \(p\in {\dot{X}}\) is inessential, then the annulus \(H(\partial D_p \times [0,1])\) is contractible in Y so that H extends to a continuous map \({\overline{H}}: D_p \times [0,1] \rightarrow Y\). If \(p\in {\dot{X}}\) is essential, then the annulus \(H(\partial D_p \times [0,1])\) is contractible in \(Y \cup \{f_0(p)\}\) so that H extends to a continuous map \({\overline{H}}: D_p \times [0,1] \rightarrow Y \cup \{f_0(p)\}\). We can further choose the extension to satisfy \(\overline{H}^{1}(f_0(p))=\{p\} \times [0,1]\). \(\square \)
Geometry of quadratic differentials
Let X be a finite Riemann surface and let \(\varphi \in \mathcal {Q}(X){\setminus } \{0\}\). Then \(\varphi \) induces a notion of direction as well as a Riemannian metric with singularities \(\varphi \) on X. This metric is Euclidean except at the zeros of \(\varphi \), where it has cone points. At a zero of order k, the metric looks like a cone with angle \((k+2)\pi \). Because the total angle at cone points is at least \(2\pi \), the induced metric is locally \({{\mathrm{CAT}}}(0)\). However, the metric \(\varphi \) is not complete whenever X is not closed. Nevertheless, given an arc \(\gamma : [0,1] \rightarrow X\) there exists a unique “geodesic representative” \(\gamma ^\dagger :[0,1] \rightarrow \widehat{X}\) which is a limit of arcs homotopic to \(\gamma \) in X and has minimal \(\varphi \)length among such arcs. To see this, it is convenient to pass to the universal cover first.
Let \(\pi : \widetilde{X} \rightarrow X\) be the universal covering map and let \(\widetilde{\varphi } = \pi ^* \varphi \). The Riemannian metric with singularities \(\widetilde{\varphi }\) induces a distance d on \(\widetilde{X}\) in the usual way: for any \(x,y\in \widetilde{X}\) the distance d(x, y) is defined as the infimum of \(\int _\gamma \sqrt{\widetilde{\varphi } }\) over all piecewise smooth paths \(\gamma \) between x and y. The resulting metric space \((\widetilde{X}, d)\) is \({{\mathrm{CAT}}}(0)\). It follows that its metric completion \((\widetilde{X}', d')\) is also \({{\mathrm{CAT}}}(0)\) [4, Corollary 3.11]. When X is hyperbolic, \(\widetilde{X}'\) is the universal cover \(\widetilde{X}\) together with the the set of discontinuity and the parabolic limit points. Observe that \(\widehat{X}\) is the metric completion of X in the metric \(\varphi \) and that \(\pi \) extends to a continuous map \(\pi ': \widetilde{X}' \rightarrow \widehat{X}\).
Since \((\widetilde{X}',d')\) is a complete \({{\mathrm{CAT}}}(0)\) space, there is a unique geodesic segment between any two points of \(\widetilde{X}'\). Thus given an arc \(\gamma : [0,1] \rightarrow X\), we can lift it to an arc \(\widetilde{\gamma }: [0,1] \rightarrow \widetilde{X}\), find the geodesic \(\widetilde{\gamma }^\dagger : [0,1] \rightarrow \widetilde{X}'\) between the endpoints of \(\widetilde{\gamma }\), then define the “geodesic representative”^{Footnote 4} of \(\gamma \) to be \(\gamma ^\dagger = \pi '\circ \widetilde{\gamma }^\dagger \).
By hypothesis, \(\varphi \) extends analytically to the ideal boundary of X (if any). Hence \(\widetilde{\varphi }\) extends analytically to the set of discontinuity in \(\widetilde{X}'\). Say that a singularity of \(\widetilde{\varphi }\) is a point in \(\widetilde{X}'\) where \(\widetilde{\varphi }\) has a zero or is not defined (those are the parabolic limit points). Since \((\widetilde{X}',d')\) is locally Euclidean, geodesics are straight lines in natural coordinates away from the singularities of \(\widetilde{\varphi }\). If a geodesic passes though a singularity, then there should not be any shortcut on either side, which translates into an angle condition at the singularity. More precisely, an arc \(\gamma : [0,1] \rightarrow \widetilde{X}'\) is geodesic if and only if

\(\gamma \) is smooth except at singularities of \(\widetilde{\varphi }\);

the argument of \(\widetilde{\varphi }(\gamma '(t))\) is locally constant where \(\gamma \) is smooth;

at a singularity of \(\widetilde{\varphi }\), the cone angle on either side^{Footnote 5} of \(\gamma \) is at least \(\pi \).
For example, an arc which is horizontal and does not backtrack is geodesic. Actually, any horizontal arc which does not backtrack minimizes horizontal travel (defined as the integral of \({{\mathrm{Re}}}\sqrt{\widetilde{\varphi }} \)) between its endpoints, since it is quasitransverse to the vertical foliation [19, Proposition 2.5].
A geodesic polygon in a \({{\mathrm{CAT}}}(0)\) space is a closed curve which is piecewise geodesic. Selfintersecting polygons are allowed. Given a geodesic polygon P in a \({{\mathrm{CAT}}}(0)\) space, and three consecutive vertices a, b and c along P, let \(\angle abc\) be the Alexandrov angle between the geodesics [a, b] and [b, c] at b. In general, this is defined as the limit of the angle at \(b'\) in the comparison triangle \(\varDelta u'b'v' \subset \mathbb {R}^2\) for \(\varDelta ubv\), as \(u \rightarrow b\) along [a, b] and \(v \rightarrow b\) along [b, c] (see [4, p. 184]). In particular, the Alexandrov angle takes values in \([0,\pi ]\).
For example, if P is a geodesic polygon in the Euclidean surface with conical singularities \(\widetilde{X}'\), then \(\angle abc\) is simply the minimum between \(\pi \) and the two cone angles on either side of \([a,b]\cup [b,c]\) at b, as measured in the metric induced by \(\widetilde{\varphi }\). With this terminology, a piecewise geodesic arc \(\gamma \) in \(\widetilde{X}'\) is geodesic if and only if the Alexandrov angle at any point along \(\gamma \) is equal to \(\pi \).
The next Proposition is a generalization of Strebel’s “divergence principle” [39, p.77]. It says that if two geodesic rays \(\gamma _0\) and \(\gamma _1\) in \(\widetilde{X}'\) are such that the angles they form with the geodesic \([\gamma _0(0),\gamma _1(0)]\) sum to at least \(\pi \), then the distance between \(\gamma _0(t)\) and \(\gamma _1(t)\) is nondecreasing as a function of \(t \ge 0\). In the original statement, each angle is assumed to be at least \(\pi /2\). The result actually holds in any \({{\mathrm{CAT}}}(0)\) space.
Lemma 2.13
Let Q be a geodesic quadrilateral with vertices a, b, c, d in a \({{\mathrm{CAT}}}(0)\) space \((M,\mu )\). Suppose that \(\mu (a,d)=\mu (b,c)\) and \(\angle dab + \angle abc \ge \pi \). Then \(\mu (c,d) \ge \mu (a,b)\) with equality only if Q is isometric to a (possibly degenerate) Euclidean parallelogram.
Proof
Consider the geodesic triangles \(\varDelta abc\) and \(\varDelta acd\). Let \(\varDelta a'b'c'\) and \(\varDelta a'c'd'\) be corresponding comparison triangles in \(\mathbb {R}^2\). We may assume that these two triangles are on opposite sides of the segment \([a', c']\) so that the quadrilateral \(Q'\) they form is simple. We need to show that \(c'  d' \ge a'  b'\). By the law of cosines, it suffices to prove that \(\angle d' a'c' \ge \angle b'c'a'\). Indeed, the triangles \(\varDelta a'b'c'\) and \(\varDelta a'c'd'\) share the side \([a',c']\) and the sides \([b',c']\) and \([d',a']\) are congruent. There are two cases to consider depending on whether \(Q'\) is convex or not.
Suppose first that \(\angle d'a'c' + \angle c'a'b' \le \pi \). Note that angles in \(\varDelta a'b'c'\) and \(\varDelta a'c'd'\) are are at least as large as corresponding angles in \(\varDelta abc\) and \(\varDelta acd\). Moreover, angles are subadditive in the sense that \(\angle dab \le \angle dac + \angle cab\) for instance. Since the sum of \(\angle d'a'c'\) and \(\angle c'a'b'\) is at most \(\pi \), we have
so that
We deduce that
as required.
If \(\angle d' a'c' = \angle b'c'a'\), then \(Q'\) is a parallelogram (which is possibly contained in a line) and all the above inequalities are equations. Thus the angles in \(\varDelta abc\) and \(\varDelta acd\) are the same as in their comparison triangles, which implies that \(\varDelta abc\) and \(\varDelta acd\) are isometric to their comparison triangles. By considering the other diagonal of Q, we get that any two adjacent sides of Q lie in a flat triangle. The equality \(\angle dab = \angle dac + \angle cab \) means that the triangles \(\varDelta abc\) and \(\varDelta acd\) line up, in the sense that the union of their convex hulls is convex. Hence Q spans a Euclidean parallelogram.
Now suppose that \(\angle d'a'c'+ \angle c'a'b' > \pi \). Then
Equality cannot hold in this case. \(\square \)
One can deduce from this the wellknown fact that if two simple closed geodesics in X (with respect to \(\varphi \)) are freely homotopic, then they span a Euclidean cylinder.
Ioffe’s theorem
The goal of this section is to reprove Theorem 1.3 from Ioffe, that is, to characterize quasiconformal embeddings that have minimal dilatation in their homotopy class. The main motivation for doing so is that Ioffe’s original statement contains a mistake (we pointed this out in the introduction and will return to this issue in Sect. 3.3). Thus we wanted to work out the proof in detail to make sure that the remaining part was correct.
The results are stated for quasiconformal embeddings from one finite Riemann surface to another, but they extend to quasiconformal embeddings from a finite union of finite Riemann surfaces to a finite Riemann surface, which is is the context considered in Ioffe’s paper [20].
Compactness
Recall that an embedding h between finite Riemann surfaces is trivial if the image of \(\pi _1(h)\) is trivial, is cyclic if the image of \(\pi _1(h)\) is infinite cyclic, and is generic if the image of \(\pi _1(h)\) is nonabelian. An embedding h is called parabolic if the image of \(\pi _1(h)\) is infinite cyclic and generated by a loop around a puncture.
The following compactness lemma (cf. [20, Theorem 1.1]) guarantees the existence of extremal quasiconformal embeddings, that is, with minimal dilatation in their homotopy class.
Lemma 3.1
Let \(K \ge 1\) and let \(h: X \rightarrow Y\) be a Kquasiconformal embedding between finite Riemann surfaces. The space of all Kquasiconformal embeddings homotopic to h is compact if and only if h is neither trivial nor parabolic.
Proof
Suppose that Y is equal to \(\widehat{\mathbb {C}}\), \(\mathbb {C}\) or \(\mathbb {C}{\setminus } \{0\}\). Then h is either trivial or parabolic. Moreover, the space of Kquasiconformal emdeddings homotopic to h is closed under postcomposition with elements of \({{\mathrm{Aut}}}_0(Y)\), which is noncompact. It follows that the space of Kquasiconformal emdeddings homotopic to h is also noncompact.
Suppose that Y is a torus. The group \({{\mathrm{Aut}}}_0(Y)\) is homeomorphic to Y and is in particular compact. Let W be the set of all Kquasiconformal embeddings homotopic to h and let N be the space of of Kquasiconformal embeddings homotopic to h rel \(x_0\), where \(x_0\) is any point in X. Then W is homeomorphic to \({{\mathrm{Aut}}}_0(Y) \times N\), hence is compact if and only if N is. Now N is the same as the space of Kquasiconformal embeddings homotopic to the restriction \(h^\star : X{\setminus }\{x_0\} \rightarrow Y {\setminus } \{h(x_0)\}\). Moreover h nontrivial if and only if \(h^\star \) is nonparabolic. The case where Y is a torus thus reduces to the case where Y is a oncepunctured torus, hence hyperbolic.
For the rest of the proof, we may assume that Y is hyperbolic. This implies that X is hyperbolic as well, since there is no nonconstant quasiconformal map from a nonhyperbolic surface to a hyperbolic surface.
If h is trivial then its image is contained in a disk in Y. In other words, h can be written as \(h=F \circ g\) where \(F: \mathbb {D}\rightarrow Y\) is a conformal embedding and \(g: X \rightarrow \mathbb {D}\) is a Kquasiconformal embedding. Consider the sequence \(h_n=F_n \circ g\) where \(F_n(z)=F(z/n)\). Each \(h_n\) is a Kquasiconformal embedding homotopic to h, but the sequence converges to a constant map. Similarly, if h is parabolic, then we can form a sequence of homotopic Kquasiconformal embeddings which diverges to the corresponding puncture.
If h is neither trivial nor parabolic then it is is either generic, or cyclic but not parabolic. We treat the generic case first and return to the cyclic case at the end. Suppose that h is generic. Pick any basepoint \(b_0 \in X\) and let \(\pi _X:(\mathbb {D},0) \rightarrow (X,b_0)\) and \(\pi _Y: (\mathbb {D},0) \rightarrow (Y,h(b_0))\) be universal covering maps with respective deck groups \({{\mathrm{Deck}}}(X)\) and \({{\mathrm{Deck}}}(Y)\). Let \(\widetilde{h}\) be the unique lift of h such that \(\widetilde{h}(0) = 0\). For any \(\alpha \in {{\mathrm{Deck}}}(X)\), let \(\varTheta (\alpha )\) be the unique element in \({{\mathrm{Deck}}}(Y)\) sending 0 to \(\widetilde{h}(\alpha \cdot 0)\). Then \(\varTheta \) is a homomorphism.
If \(f: X \rightarrow Y\) is a Kquasiconformal embedding homotopic to h, then it lifts to a Kquasiconformal immersion \(\widetilde{f}: \mathbb {D}\rightarrow \mathbb {D}\) satisfying
for every \(z \in \mathbb {D}\) and every \(\alpha \in {{\mathrm{Deck}}}(X)\). The lift \(\widetilde{f}\) is uniquely determined by this equation, since there is only one homotopy class of homotopy from h to f according to Lemma 6.1. We do not really need uniqueness of the lift here (any lift would do), which is why the lemma is postponed to a later section. Observe that f is injective if and only if
Let f be a Kquasiconformal embedding homotopic to h and \(\widetilde{f}\) be its lift as above. Write \(\widetilde{f} = F \circ g\) where \(g:\mathbb {D}\rightarrow \mathbb {D}\) is a Kquasiconformal homeomorphism fixing 0 and \(F: \mathbb {D}\rightarrow \mathbb {D}\) is a holomorphic immersion. As mentioned in Sect. 2, the space of Kquasiconformal homeomorphisms of \(\mathbb {D}\) fixing the origin and the space of holomorphic maps from \(\mathbb {D}\) to \({\overline{\mathbb {D}}}\) are both compact. Thus, given a sequence of Kquasiconformal embeddings \(f_n\) homotopic to h and corresponding lifts \(\widetilde{f}_n = F_n \circ g_n\) factored as above, we can pass to a subsequence such that \(F_n \rightarrow F\) and \(g_n \rightarrow g\) and hence \(\widetilde{f}_n \rightarrow \widetilde{f}:= F \circ g.\)
We claim that the limit \(\widetilde{f}\) is not constant. Indeed, if there is a constant \(w_0 \in {\overline{\mathbb {D}}}\) such that \(\widetilde{f}(z)=w_0\) for every \(z \in \mathbb {D}\), then
for every \(\alpha \in {{\mathrm{Deck}}}(X)\). However, a Fuchsian group which fixes a point in \({\overline{\mathbb {D}}}\) is cyclic, contradicting the assumption that h is generic. In particular, the holomorphic map g is not constant, hence has image in \(\mathbb {D}\). By Hurwitz’s theorem in complex analysis, g is locally injective. Therefore \(\widetilde{f}=F \circ g\) is a Kquasiconformal immersion. Moreover, the equality \(\widetilde{f} (\alpha \cdot z)=\varTheta (\alpha )\cdot \widetilde{f} (z)\) for every \(z \in \mathbb {D}\) and every \(\alpha \in {{\mathrm{Deck}}}(X)\) implies that \(\widetilde{f}\) descends to a Kquasiconformal immersion \(f: X \rightarrow Y\).
It remains to show that f is injective. If \(f(\pi _X(z))=f(\pi _X(w))\), then \(\pi _Y(\widetilde{f}(z))=\pi _Y(\widetilde{f}(w))\). Since \(\widetilde{f}_n \rightarrow \widetilde{f}\) and since these maps are open, we can find a sequence \(z_n\) converging to z and a sequence \(w_n\) converging to w such that \(\widetilde{f}_n(z_n) = \widetilde{f} (z)\) and \(\widetilde{f}_n (w_n)= \widetilde{f} (w)\) for all n large enough. Then \(\pi _Y(\widetilde{f}_n(z_n))=\pi _Y(\widetilde{f}_n (w_n))\), which implies that \(\pi _X(z_n)=\pi _X(w_n)\) since \(f_n\) is injective. Taking the limit as \(n \rightarrow \infty \), we obtain \(\pi _X(z)=\pi _X(w)\).
Lastly, f is homotopic to h because it is a limit of maps which are (see Corollary 2.10). We have shown that if Y is hyperbolic and h is generic, then the space of Kquasiconformal embeddings homotopic to h is sequentially compact.
Suppose now that h is cyclic but not parabolic. The same construction as above still applies, but the image of \(\varTheta \) is a cyclic group generated by a hyperbolic element \(\beta \in {{\mathrm{Deck}}}(Y)\). Morover, given an embedding f homotopic to h, its lift \(\widetilde{f}\) is only defined up to postcomposition with powers of \(\beta \). Let \(D \subset \mathbb {D}\) be a fundamental domain for \(\beta \) whose closure is disjoint from the fixed points of \(\beta \). Let \(\{f_n\}_{n\ge 1}\) be a sequence of Kquasiconformal embeddings homotopic to h. By applying an appropriate power of \(\beta \), we can choose a lift \(\widetilde{f}_n\) of \(f_n\) such that \(\widetilde{f}_n(0) \in D\). As above, we can extract a subsequence of \(\{\widetilde{f}_n\}_{n\ge 1}\) converging to some map \(\widetilde{f}\). By our normalization, the limit \(\widetilde{f}(0)\) belongs to the closure \({\overline{D}}\), so it is not one of the fixed points of \(\beta \). It follows that \(\widetilde{f}\) is not constant. The rest of the argument applies verbatim to conclude that \(\widetilde{f}\) descends to a Kquasiconformal embedding f homotopic to h. \(\square \)
The following corollary is immediate.
Corollary 3.2
Let \(h: X \rightarrow Y\) be a nontrivial and nonparabolic quasiconformal embedding between finite Riemann surfaces. Among the quasiconformal embeddings homotopic to h, there is one with minimal dilatation.
Proof
Dilatation is lower semicontinuous, hence achieves its minimum on any compact set. \(\square \)
Remark 3.3
If \(h:X \rightarrow Y\) is a quasiconformal embedding between finite Riemann surfaces which is trivial or parabolic, then it is homotopic to a conformal embedding. This is because h(X) is contained in a subset \(Z \subset Y\) isomorphic to the disk with at most one puncture or the sphere with at most two punctures, whose Teichmüller space is a point. Using Theorem 2.4, we can apply a quasiconformal deformation on Z to make h conformal. The hypothesis that h be nontrivial and nonperipheral is thus superfluous in Corollary 3.2.
Teichmüller embeddings
Let us recall the definition of a Teichmüller embedding.
Definition 3.4
A Teichmüller embedding of dilatation \(K\ge 1\) between finite Riemann surfaces X and Y is an injective continuous map \(f:X \rightarrow Y\) for which there exist quadratic differentials \(\varphi \in \mathcal {Q}^+(X)\) and \(\psi \in \mathcal {Q}^+(Y)\) such that f has the form \(x+iy \mapsto Kx +iy\) in natural coordinates and such that \(Y {\setminus } f(X)\) is a finite union of points and horizontal arcs for \(\psi \). We say that \(\varphi \) and \(\psi \) are initial and terminal quadratic differentials for f. A slit mapping is a conformal Teichmüller embedding, i.e. one with \(K=1\).
Remark 3.5
The horizontal arcs in the definition are allowed to overlap. In general, the complement of the image of a Teichmüller embedding is an analytic graph (see Fig. 4 for example).
Remark 3.6
Despite the appellation, a Teichmüller homeomorphism between surfaces with nonempty ideal boundary is not necessarily a Teichmüller embedding, as its initial and terminal quadratic differentials are allowed be negative along the ideal boundary.
Remark 3.7
If Y is a finite Riemann surface, \(\psi \in \mathcal {Q}^+(Y)\), and X is the complement of a finite union of points and of horizontal arcs in Y, then \(\iota ^*\psi \) belongs to \(\mathcal {Q}^+(X)\), where \(\iota :X \rightarrow Y\) is the inclusion map. This means that \(\iota ^*\psi \) extends analytically to the ideal boundary of X and that the latter is horizontal. Near the endpoint of a horizontal slit, one needs to take a square root in order to unfold the slit to an ideal boundary component. If we pullback the quadratic differential \(z^k \mathrm {d}z^2\) in \(\mathbb {C}\) by the squaring map \(s(z)=z^2\) from \(\mathbb {H}\) to \(\mathbb {C}{\setminus }[0,\infty )\), we get the quadratic differential \(4 z^{2k+2} \mathrm {d}z^2\). In other words, unfolding a slit ending at a singularity of order \(k\ge 1\) yields a singularity of order \(2k+2 \ge 0\) on the boundary. In particular, if the slit ends at a simple pole then the unfolded quadratic differential is regular at the corresponding point. It is perhaps more natural to count the number of prongs: an nprong singularity transforms into half of a 2nprong singularity (see Fig. 1). The ideal boundary remains horizontal in the process of unfolding so that \(\iota ^*\psi \in \mathcal {Q}^+(X)\).
Every slit mapping \(f:X \rightarrow Y\) arises in this way, in the sense that f gives a conformal homeomorphism from X to f(X) and \(f(X)\subset Y\) is obtained by removing finitely many points and horizontal arcs for some \(\psi \in \mathcal {Q}^+(Y)\). The quadratic differential \(\varphi = f^* \psi \) is redundant data.
Remark 3.8
Every Teichmüller embedding can be factored as a Teichmüller homeomorphism \(G:X \rightarrow Z\) (which happens to also be a Teichmüller embedding) followed by a slit mapping \(F:Z \rightarrow Y\), where the terminal quadratic differential of G agrees with the initial quadratic differential of F.
Remark 3.9
If there is a Teichmüller embedding \(X \rightarrow Y\), then \(\mathcal {Q}^+(Y)\) is nonempty. This imposes some restrictions on Y, namely, it cannot be a sphere with at most 3 punctures or a disk with at most 1 puncture. By the same token, a Teichmüller embedding is always nontrivial and nonparabolic.
Remark 3.10
If f is a Teichmüller embedding of dilatation K with initial and terminal quadratic differentials \(\varphi \) and \(\psi \), then \({\overline{\partial }}f/\partial f = k \overline{\varphi }/\varphi \) on X and \({\overline{\partial }}(f^{1})/\partial (f^{1}) = k\overline{\psi }/\psi \) on f(X), where \(k=\frac{K1}{K+1}\). This is one way of describing f without using coordinates.
We present Ioffe’s theorem in two parts. The first part says that every extremal quasiconformal embedding is either conformal or a Teichmüller embedding.
Theorem 3.11
(Extremal embeddings are Teichmüller) Let \(f: X \rightarrow Y\) be a quasiconformal embedding between finite Riemann surfaces with minimal dilatation in its homotopy class. If f is not conformal, then it is a Teichmüller embedding.
Proof
Suppose that f is not conformal and let
Let \(F: Y \rightarrow Y_\mu \) be the solution to the Beltrami equation \({\overline{\partial }} F/\partial F = \mu \) provided by Theorem 2.4. By construction we have \({\overline{\partial }} (F\circ f)/\partial (F\circ f) = 0\) so that \(F \circ f\) is a conformal embedding. By Teichmüller’s theorem (Theorems 2.6 and 2.7), there exists a quasiconformal homeomorphism \(G: Y_\mu \rightarrow Y\) homotopic to \(F^{1}\) with minimal dilatation. Moreover, G is either conformal or a Teichmüller homeomorphism. The composition \(G \circ F \circ f: X \rightarrow Y\) is a quasiconformal embedding homotopic to f, so that
Thus all the terms in this chain are equal. The equality \({{\mathrm{Dil}}}(G) = {{\mathrm{Dil}}}(F^{1})\) implies that F has minimal dilatation in its homotopy class. Since F is not conformal, it is a Teichmüller homeomorphism. This means that there is a nonzero \(\psi \in \mathcal {Q}(Y)\) and a constant \(k\in (0,1)\) such that \(\mu = k {\overline{\psi }}/ \psi \) almost everywhere. In particular, \(Y{\setminus }f(X)\) has measure zero and f has constant pointwise dilatation.
Thought of as a homeomorphism from X to f(X), the map f has minimal dilatation in its homotopy class and is thus a Teichmüller homeomorphism. Let \(\varphi \) and \(\omega \) be its initial and terminal quadratic differentials. Since \(F \circ f\) is conformal, the directions of maximal stretching for F and \(f^{1}\) must be perpendicular, which means that \(\psi = c \omega \) on f(X) for some \(c>0\), which we may assume is equal to 1 by rescaling.
We have to show that \(\varphi \in \mathcal {Q}^+(X)\). If not, then \(\varphi < 0\) along some segment \(I \subset \partial X\). We will explicitly construct a quasiconformal embedding \(\widetilde{f}\) from X to f(X) with pointwise dilatation smaller than f near I. We may work in a natural coordinate chart for \(\varphi \) in which I is equal to the vertical segment \([i,i]\) in the plane and X is to the right of I. There is also a natural chart for \(\omega \) in which f takes the form \(x+iy \mapsto Kx + i y\). Let \(\varDelta \) be the isoceles triangle with base \([i,i]\) and apex \(\delta > 0\) (Fig. 2).
Consider the map \(L: \varDelta \rightarrow \varDelta \) which is affine on the upper and lower halves of \(\varDelta \), fixes all three vertices of \(\varDelta \), and sends the midpoint of I to \((11/K)\delta \). Extend L to be the identity on \(X{\setminus }\varDelta \) and let \(\widetilde{f} = f \circ L\). The linear part of \(\widetilde{f}\) on the lower half of \(\varDelta \) is equal to
and the dilatation of this matrix tends to 1 as \(\delta \rightarrow 0\). A similar statement holds in the upper half of \(\varDelta \). Therefore, if \(\delta \) is small enough, then the embedding \(\widetilde{f}\) has strictly smaller pointwise dilatation than f on \(\varDelta \). Moreover, the global dilatation of \(\widetilde{f}\) is the same as f, so that \(\widetilde{f}\) also has minimal dilatation in its homotopy class. By the first paragraph of the proof, the pointwise dilatation of \(\widetilde{f}\) must be constant. This is a contradiction, and hence \(\varphi \in \mathcal {Q}^+(X)\).
It remains to show that f(X) is the complement of a graph which is horizontal with respect to \(\psi \). Recall that \(\widehat{X}\) is the compactification of X obtained by adding its ideal boundary and filling its punctures. The metrics induced by \(\varphi \) and \(\psi \) extend to complete metrics on \(\widehat{X}\) and \(\widehat{Y}\). Since \(f: X \rightarrow Y\) is KLipschitz with respect to these metrics, it extends to a KLipschitz map \(\widehat{f}: \widehat{X} \rightarrow \widehat{Y}\). Moreover, \(\widehat{f}\) is surjective since \(Y{\setminus }f(X)\) has measure zero and hence empty interior. Let I be the closure of a connected component of \(\partial X{\setminus }\{\text {zeros of }\varphi \}\). There is a sequence \(\{I_n\}\) of arcs in X which are horizontal for \(\varphi \) and converge uniformly to I. Since the image arcs \(f(I_n)\) are all horizontal for \(\psi \), they can only accumulate onto horizontal arcs, and thus \(\widehat{f}(I)\) is horizontal. Therefore, the complement \(\widehat{Y}{\setminus }f(X)=\widehat{f}(\partial X \cup {\dot{X}})\) is a union of finitely many points and horizontal arcs for \(\psi \). In particular, the ideal boundary \(\partial Y\) is horizontal for \(\psi \) so that \(\psi \in \mathcal {Q}^+(Y)\). \(\square \)
In the last paragraph of the proof we actually showed the following useful criterion.
Lemma 3.12
Let X and Y be finite Riemann surfaces, let \(\varphi \in \mathcal {Q}^+(X)\) and \(\psi \in \mathcal {Q}(Y){\setminus } \{0 \}\), and let \(f: X \rightarrow Y\) be an embedding which is locally of the form \(x+iy \mapsto Kx +iy\) in natural coordinates. If f(X) is dense in Y, then \(\psi \in \mathcal {Q}^+(Y)\) and f is a Teichmüller embedding with respect to \(\varphi \) and \(\psi \).
The second part of Ioffe’s theorem says that every Teichmüller embedding is extremal. The proof is very similar to the proofs of Teichmüller’s uniqueness theorem given in [3] and [11, Chapter 11], only with additional technicalities due to the lack of compactness.
Theorem 3.13
(Teichmüller embeddings are extremal) Let \(f: X \rightarrow Y\) be a Teichmüller embedding of dilatation K with initial and terminal quadratic differential \(\varphi \) and \(\psi \), and let \(g: X \rightarrow Y\) be a Kquasiconformal embedding homotopic to f. Then g is a Teichmüller embedding of dilatation K with initial and terminal quadratic differentials \(\varphi \) and \(\psi \), and \(g \circ f^{1}: f(X) \rightarrow g(X)\) is locally a translation in natural coordinates for \(\psi \).
Proof
We may assume that all the punctures of X are essential with respect to f. Otherwise, the set I of inessential punctures can be filled and f extended to a Teichmüller embedding \(\widetilde{f}: X \cup I \rightarrow Y\). Similarly, g extends to a Kquasiconformal embedding \(\widetilde{g}: X \cup I \rightarrow Y\) homotopic to \(\widetilde{f}\). If \(\widetilde{g}\) is a Teichmüller embedding with respect to \(\psi \), then so is its restriction g.
By rescaling, we may assume that \(\Vert \varphi \Vert =1\). This implies that \(\Vert \psi \Vert =K\) since f multiplies area by a factor K and f(X) has full measure in Y. Recall that \(\widehat{X}\) and \(\widehat{Y}\) are the metric completions of X and Y with respect to the distance induced by \(\varphi \) and \(\psi \). Since f is KLipschitz with respect to these metrics, it extends to a KLipschitz map \(\widehat{f}:\widehat{X} \rightarrow \widehat{Y}\). Since f is assumed to have only essential punctures, \(\widehat{f}\) maps \({\dot{X}}\) into \({\dot{Y}}\).
Let \(M>1\). For every \(n \in \mathbb {N}\), let \( G_n: \widehat{X} \rightarrow \widehat{X}\) be a smooth Mquasiconformal and MLipschitz embedding such that

\(G_n({\dot{X}})={\dot{X}}\);

\(G_n\) is homotopic to the identity rel \({\dot{X}}\);

\(G_n(\widehat{X})\) is contained in \(X \cup {\dot{X}}\);

\(G_n \rightarrow {{\mathrm{id}}}\) uniformly in the \(C^1\) norm as \(n \rightarrow \infty \).
Here is one way to construct such maps. Given a smooth vector field on \(\widehat{X}\) pointing inwards on \(\partial X\) and vanishing on \({\dot{X}}\), we can let \(G_n\) be the corresponding flow at small enough time \(t_n\). Then let \(g_n = g\circ G_n: \widehat{X} \rightarrow \widehat{Y}\), which is a KMquasiconformal embedding. The purpose of this construction is to circumvent the following difficulty: when \(X \cup {\dot{X}}\) is noncompact g has no reason to extend continuously to \(\partial X\) while \(g_n\) does.
Fix n for a little while. By construction, \(g_n_X\) is homotopic to g and hence to f. By Lemma 2.12, there is a homotopy \(H: X \times [0,1] \rightarrow Y\) from f to \(g_n_X\) that extends to be constant at the punctures (which are assumed to be essential). By flowing \(\partial X\) inward at the beginning and end of the homotopy as above, we may further assume that H extends continuously to \(\partial X \times [0,1]\). Let \(\widehat{H}\) be the extension of H to \(\widehat{X} \times [0,1]\).
For every \(x \in X\), let \(\ell (x)= \inf \int _\alpha \sqrt{\psi }\) where the infimum is taken over all piecewise smooth paths \(\alpha : [0,1] \rightarrow Y\) that are homotopic to \(t \mapsto H(x,t)\) rel endpoints. In general, the infimum need not be realized since the restriction of \(\psi \) to Y is not complete. However, \(\ell (x)\) is equal to the length of the “geodesic representative” \(\gamma _x\) of \(t \mapsto H(x,t)\) in the completion \(\widehat{Y}\) as explained in Sect. 2.9.
Since H is continuous, the maps \(x \mapsto \gamma _x\) and \(x \mapsto \ell (x)\) are continuous. Moreover, they extend continuously to \(\widehat{X}\). Indeed, for \(x \in \widehat{X}{\setminus }X\) we can define \(\gamma _x\) as the limit of \(\gamma _{x_n}\) as \(n \rightarrow \infty \), where \(\{x_n\}_{n\ge 1}\) is a sequence in X converging to x. This limit exists and does not depend on the sequence \(\{x_n\}_{n \ge 1}\) since the path \(t \mapsto \widehat{H}(x,t)\) is welldefined even for \(x \in \widehat{X}{\setminus }X\). Moreover, its length \(\ell (x)\) is the limit of the lengths \(\ell (x_n)\). As \(\widehat{X}\) is compact, there exists a constant B such that \(\ell (x)<B\) for every \(x \in \widehat{X}\). This constant B depends on n, but we will make it disappear before changing n.
Let \(\eta \) be a horizontal arc of length \(L>0\) in X. Since f is a Teichmüller embedding of dilatation K, it sends \(\eta \) to a horizontal arc of length KL in Y. Let \(x_0\) and \(x_1\) be the endpoints of \(\eta \). We can obtain a path homotopic to \(f(\eta )\) in Y by taking the concatenation of a piecewise smooth path \(\alpha _0\) of length at most B homotopic to \(t \mapsto H(x_0,t)\), the image \(g_n(\eta )\), and a piecewise smooth path \(\alpha _1\) of length at most B homotopic to \(t \mapsto H(x_1,1t)\). Since horizontal arcs minimize horizontal travel among all homotopic paths, we have
Let \(\mathrm {d}g_n\) denote the matrix of partial derivatives of \(g_n\) with respect to natural coordinates^{Footnote 6} and \((\mathrm {d}g_n)_{1,1}\) its first entry. If \(z=x+iy\) and \(\zeta \) are natural coordinates for \(\varphi \) and \(\psi \), then \((\mathrm {d}g_n)_{1,1}={{\mathrm{Re}}}(\partial (\zeta \circ g_n\circ z^{1})/\partial x)\). If \(g_n\) is absolutely continuous on \(\eta \), then we have
Remove from X all trajectories that go through a puncture of X or a zero of \(\varphi \) and denote the resulting full measure subset by U. For every \(x \in U\), there is a unique (possibly closed) biinfinite horizontal trajectory through x. For every \(L>0\) and every \(x \in U\), let \(\eta (x,L)\) be the horizontal arc of length L centered at x. Since \(g_n\) is quasiconformal, it is absolutely continuous on almost every horizontal trajectory. Upon applying Fubini’s theorem, we find
Letting \(L \rightarrow \infty \), we obtain \(\int _U (\mathrm {d}g_n)_{1,1}\cdot \varphi  \ge K \int _U \varphi \) and hence
since U has full measure in X.
Now that we got rid of the constant \(B=B(n)\), we can vary the index n. We claim that \(\int _X (\mathrm {d}g)_{1,1}\cdot \varphi =\lim _{n\rightarrow \infty } \int _X (\mathrm {d}g_n)_{1,1}\cdot \varphi \) and hence that \(\int _X (\mathrm {d}g)_{1,1}\cdot \varphi \ge K\). This is a consequence of the Vitali convergence theorem [35, p. 94]. In order to apply the theorem, we need to check that the functions \((\mathrm {d}g_n)_{1,1}\) are uniformly integrable. First observe that
so that \(\det (\mathrm {d} g)\) is integrable. It follows that for every \(\varepsilon >0\), there exists a \(\delta >0\) such that if \(A \subset X\) is measurable and \(\int _A \varphi  < \delta \), then \(\int _A \det (\mathrm {d} g)\cdot \varphi  < \varepsilon \). Now if \(\int _A \varphi  < \delta /M^2\), then \(\int _{G_n(A)} \varphi < \delta \) since \(G_n\) is MLipschitz. By the Cauchy–Schwarz inequality we have
which shows uniform integrability and proves the claim.
Applying Cauchy–Schwarz to the inequality \(K \le \int _X (\mathrm {d}g)_{1,1}\cdot \varphi \) yields
Since the two ends of this chain of inequalities agree, each intermediate inequality is in fact an equation. Equality in (b) implies that \((\mathrm {d}g)_{1,1}\) is equal to a constant almost everywhere on X, and that constant is equal to K by (a). The inequality (c) is based on
Equality implies that \(\mathrm {d}g\bigl ({\begin{matrix} 1 \\ 0 \end{matrix}}\bigr )=\pm \bigl ({\begin{matrix} K \\ 0 \end{matrix}}\bigr )\). Moreover, since \(\mathrm {d}g\) stretches maximally in the horizontal direction which is preserved, \(\mathrm {d}g\) must be diagonal, i.e. \(\mathrm {d}g=\pm \bigl ({\begin{matrix} K &{}\quad 0 \\ 0 &{}\quad *\end{matrix}}\bigr )\) with \(0< *\le K\). Then the equality \(K^2 = \Vert \mathrm {d}g\Vert ^2 = K \det (\mathrm {d}g)\) determines that \(\mathrm {d} g=\pm \bigl ({\begin{matrix} K &{}\quad 0 \\ 0 &{}\quad 1 \end{matrix}}\bigr )\) almost everywhere on X.
Since \(\mathrm {d} f=\bigl ({\begin{matrix} K &{}\quad 0 \\ 0 &{} \quad 1 \end{matrix}}\bigr )\) up to sign as well, we have \(\mathrm {d}(g \circ f^{1})=\pm \bigl ({\begin{matrix} 1 &{}\quad 0 \\ 0 &{}\quad 1 \end{matrix}}\bigr )\) almost everywhere on f(X). The Beltrami coefficient of \(g \circ f^{1}\) is thus equal to 0 almost everywhere on f(X), so that \(g \circ f^{1}\) is conformal and in particular smooth. Since f is smooth except at the zeros of \(\varphi \), the same holds for g. Therefore the equality \(\mathrm {d}g=\pm \bigl ({\begin{matrix} K &{}\quad 0 \\ 0 &{}\quad 1 \end{matrix}}\bigr )\) holds everywhere except at the zeros of \(\varphi \), and g takes the form \(x + i y \mapsto \pm (Kx+iy)+c\) in natural coordinates. Equality in (d) means that g(X) has full measure in Y. By Lemma 3.12, g is a Teichmüller embedding with respect to \(\varphi \) and \(\psi \). Finally, the equality \(\mathrm {d}(g \circ f^{1})=\pm \bigl ({\begin{matrix} 1 &{}\quad 0 \\ 0 &{}\quad 1 \end{matrix}}\bigr )\) holds everywhere, so that \(g\circ f^{1}\) is a local translation. \(\square \)
Theorems 3.11 and 3.13 together imply Theorem 1.3 from the introduction.
Remark 3.14
Theorem 3.13 does not say that the quadratic differentials \(\varphi \) and \(\psi \) are unique up to scale because that is not the case when \(K=1\). A slit mapping may be so with respect to a largedimensional family of quadratic differentials.
For example, suppose that Y admits an anticonformal involution \(\sigma \) and let X be the complement in Y of finitely many arcs contained in the fixed locus of \(\sigma \). Any element of \(\mathcal {Q}^+(Y/\sigma )\) can be doubled to a quadratic differential in \(\mathcal {Q}^+(Y)\) which is nonnegative along the fixed locus of \(\sigma \). The inclusion map \(X \hookrightarrow Y\) is a slit mapping with respect to any quadratic differential obtained in this way.
However, if \(K>1\) then \(\varphi \) and \(\psi \) are unique up to a positive scalar, since the Beltrami coefficients \({\overline{\partial }}f/\partial f\) and \({\overline{\partial }}(f^{1})/\partial (f^{1})\) on X and f(X) encode the directions of maximal stretching, which are the horizontal and vertical directions of \(\varphi \) and \(\psi \) respectively.
Lack of uniqueness
If f and g are homotopic Teichmüller embeddings between finite Riemann surfaces X and Y, then the inclusion map \(f(X) \hookrightarrow Y\) and the composition \(g\circ f^{1}: f(X) \rightarrow Y\) are homotopic slit mappings with respect to the same quadratic differential by Theorem 3.13. If X and Y are closed, then \(g\circ f^{1}\) is a conformal automorphism of Y homotopic to the identity. If Y has genus at least 2, then \(g=f\) by Lemma 2.1.
However, the map \(g\circ f^{1}\) does not extend to all of Y in general and indeed, Teichmüller embeddings are not necessaily unique in their homotopy class. There are two obvious ways for uniqueness to fail:

if Y is a torus, then we can postcompose f with any automorphism of Y isotopic to the identity;

if f(X) is contained in an annulus \(A\subset Y\), then we can postcompose f with rotations of A.
In [20], Ioffe claims these are the only exceptions, but this is wrong^{Footnote 7}. The next simplest example is as follows. Let Y be a round annulus in the plane with a concentric circular arc removed, and let X be the same annulus but with a slightly longer arc removed. Then we can obviously rotate X inside of Y by some amount. This gives a 1parameter family of slit mappings between triply connected domains. If the annulus is centered at the origin, then the quadratic differential in play is \(\mathrm {d} z^2/z^2\).
One might think that every counterexample comes from a torus or an annulus with slits, but this is not the case. Here is a general method for constructing examples of slit mappings which are not unique in their homotopy class, with essentially any codomain Y. Let \(\omega \) be a holomorphic 1form on Y such that \(\omega ^2 \in \mathcal {Q}^+(Y)\). Then we can find finitely many horizontal arcs for \(\omega ^2\) such that their complement \(X \subset Y\) is not rigid as follows. For every point \(y \in \widehat{Y}\) which is either a zero of \(\omega \) or a puncture of Y, and every trajectory \(\gamma \) of \(\omega \) ending at y in forward time, remove a neighborhood of y in \(\gamma \) from Y to obtain X. For all small enough \(t > 0\), the timet flow for the vector field \(1/\omega \) is welldefined on X, and is a slit mapping homotopic to the inclusion map yet different from it. The slit annulus example is a special case of this (Fig. 3).
In the next section, we show that this kind of phenomenon is the worse that can happen: we can always get from any slit mapping to any homotopic one by flowing horizontally (except in the torus case), although the quadratic differential does not have to be globally the square of an abelian differential in general.
Slit mappings are almost rigid
We prove that slit mappings are almost rigid in their isotopy class, in the sense that we can get from any one to any other by flowing horizontally (except in the torus case).
Theorem 4.1
Let \(f_0,f_1: X \rightarrow Y\) be distinct homotopic slit mappings with terminal quadratic differential \(\psi \). There is an isotopy \(f_t\) from \(f_0\) to \(f_1\) through slit mappings with terminal quadratic differential \(\psi \) such that for every \(x \in X\), the path \(t \mapsto f_t(x)\) is a regular geodesic for \(\psi \) whose length and slope are independent of x. If Y is not a torus, then the paths \(t \mapsto f_t(x)\) are horizontal.
Remark 4.2
The statement is still true if we replace each occurrence of “slit mappings” with “Teichmüller embeddings of dilatation K”, since this is really a statement about \(f_1 \circ f_0^{1}\), which is a slit mapping either way (Theorem 3.13).
Proof
The setup is the same as in Theorem 3.13. We can assume that \(f_0\) and \(f_1\) have only essential punctures, since inessential punctures can be filled and play no special role whatsoever. As explained earlier, the maps \(f_0\) and \(f_1\) extend to continuous maps \(\widehat{f}_0\) and \(\widehat{f}_1\) from \(\widehat{X}\) to \(\widehat{Y}\). By Lemma 2.12, there is a homotopy \(H: X \times [0,1] \rightarrow Y\) from \(f_0\) to \(f_1\) which extends to be constant at the punctures. By pushing \(\partial X\) inward at the beginning and end of the homotopy, we may further assume that H extends continuously to \(\partial X \times [0,1]\). To summarize, we have a homotopy \(\widehat{H}: \widehat{X} \times [0,1] \rightarrow \widehat{Y}\) from \(\widehat{f}_0\) to \(\widehat{f}_1\) which sends \({\dot{X}} \times [0,1]\) into \({\dot{Y}}\) and whose restriction H to \(X \times [0,1]\) has image in Y.
Given \(x \in X\), let \(\ell (x)\) be the infimum \(\psi \)length of piecewise smooth arcs homotopic rel endpoints to the path \(t \mapsto H(x,t)\) in Y. This is equal to the length of the “geodesic representative” \(\gamma _x\) of \(t \mapsto H(x,t)\), which has image in \(\widehat{Y}\) a priori. Note that \(\gamma _x\) has endpoints \(f_0(x)\) and \(f_1(x)\) by construction. As explained in the proof of Theorem 3.13, the maps \(x \mapsto \gamma _x\) and \(x \mapsto \ell (x)\) are continuous and extend continuously to \(\widehat{X}\).
Recall that the initial quadratic differential \(\varphi = f_0^*\psi = f_1^*\psi \) is the same for both slit mappings and that \(f_1 \circ f_0^{1}\) is a local translation with respect to \(\psi \) by Theorem 3.13. In what follows, a singularity of \(\psi \) is either a zero of \(\psi \) or a puncture of Y. The rationale behind this is that even if \(\psi \) is regular at some puncture, its pullback to the universal cover has infinite angle singularities at the corresponding boundary points.
Claim
Suppose that \(\ell \) has a local maximum at \(x \in \widehat{X}\). Then \(x \notin {\dot{X}}\) and \(\ell \) is constant in a neighborhood of x. If \(x \in X\), then \(\gamma _x\) does not contain any singularity of \(\psi \), and \(\varphi \) does not have a zero at x. Moreover, for every y near x there is an isometric immersion from a Euclidean parallelogram P to Y which sends two opposite sides of P to \(\gamma _x\) and \(\gamma _y\).
Proof of Claim
Suppose that \(x \in {\dot{X}}\). Then \(\ell (x)=0\) since H is constant on \({\dot{X}}\). Since x is a local maximum, \(\ell (y) = 0\) for all y in a neighborhood U of x. This means that \(\widehat{f}_0= \widehat{f}_1\) on U and hence on all of \(\widehat{X}\) by the identity principle. This contradicts the hypothesis that \(f_0\ne f_1\).
We need to set up some notation. Let \(\pi _X: \widetilde{X} \rightarrow X\) and \(\pi _Y: \widetilde{Y} \rightarrow Y\) be the universal covers and let \(\widetilde{X}'\) and \(\widetilde{Y} '\) be their metric completions with respect to \(\widetilde{\varphi }= \pi _X^* \varphi \) and \(\widetilde{\psi }= \pi _Y^* \psi \). Recall that \(\pi _X\) and \(\pi _Y\) extend to continuous maps \( \pi _X': \widetilde{X}' \rightarrow \widehat{X}\) and \(\pi _Y': \widetilde{Y}' \rightarrow \widehat{Y}\). The homotopy \(\widehat{H}:\widehat{X} \times [0,1] \rightarrow \widehat{Y}\) lifts to a continuous map \(\widetilde{H}: \widetilde{X}' \times [0,1] \rightarrow \widetilde{Y}'\) under these. For any \((u,j) \in \widetilde{X}' \times \{0,1\}\), let us write \(\widetilde{H}_j(u):= \widetilde{H}(u,j)\). Note that \(\widetilde{H}_j\) is a lift of \(\widehat{f}_j\). In particular, the restriction of \(\widetilde{H}_j\) to \(\widetilde{X}\) is a local translation with respect to \(\widetilde{\varphi }\) and \(\widetilde{\psi }\). For any \(u \in \widetilde{X}'\), let \(\widetilde{\gamma }_u\) be the geodesic between \(\widetilde{H}_0(u)\) and \(\widetilde{H}_1(u)\) in \(\widetilde{Y}'\) and let \(\widetilde{\ell }(u)\) be its length. By definition, \(\gamma _{\pi _X'(u)} = \pi _X' ( \widetilde{\gamma }_u)\) and \(\ell (\pi _X'(u))=\widetilde{\ell }(u)\). Let \(u \in \widetilde{X}'\) be any lift of x under \(\pi _X'\). Then \(\widetilde{\ell }\) has a local maximum at u. Let B be a ball centered at u in \(\widetilde{X}'\) such that \(\widetilde{\ell }(v) \le \widetilde{\ell }(u)\) for every \(v \in B\). Let \(\eta : [1,1] \rightarrow B\) be a geodesic such that \(\eta (0)=u\). Let \(\eta ^\) and \(\eta ^+\) be its restrictions to \([1,0]\) and [0, 1] respectively, and let \(v^\pm =\eta (\pm 1)\). Given two geodesic rays \(\alpha \) and \(\beta \) sharing an endpoint in \(\widetilde{X}'\) or \(\widetilde{Y}'\), we will denote their Alexandrov angle by \(\angle (\alpha ,\beta )\) instead of the three point notation from Sect. 2.9 (this angle takes values in \([0,\pi ]\)).
After possibly shrinking B and \(\eta \), the images \(\widetilde{H}_0(\eta ^+)\) and \(\widetilde{H}_1(\eta ^+)\) are geodesic segments of the same length in \(\widetilde{Y} '\) (and similarly for \(\eta ^\)). This is because \(\widetilde{H}_0\) and \(\widetilde{H}_1\) are local isometries in \(\widetilde{X}\). Their extensions to \((\pi _X')^{1}(\partial X)\) are also local isometries except perhaps at zeros of \(\varphi \) where they can fold the boundary in two. In any case, \(\widetilde{H}_0\) and \(\widetilde{H}_1\) are isometries along any sufficiently short geodesic rays at u.
Here is the main observation. Let \(\sigma \in \{+, \}\). By Lemma 2.13, if
then \(\widetilde{\ell }(v^\sigma ) \ge \widetilde{\ell }(u)\). But \(\widetilde{\ell }(v^\sigma ) \le \widetilde{\ell }(u)\) by hypothesis. Since equality holds, the geodesic quadrilateral \(Q^\sigma \) with sides \(\widetilde{\gamma }_u\), \(\widetilde{\gamma }_{v^\sigma }\), \(\widetilde{H}_0(\eta ^\sigma )\) and \(\widetilde{H}_1(\eta ^\sigma )\) is isometric to a Euclidean parallelogram and \(\angle (\widetilde{H}_0(\eta ^\sigma ),\widetilde{\gamma }_u) + \angle (\widetilde{\gamma }_u, \widetilde{H}_1(\eta ^\sigma ))= \pi \).
Case 1: Suppose that \(x \in X\).
Then after possibly shrinking the ball B centered at \(u\in \widetilde{X}\), the restrictions of \(\widetilde{H}_0\) and \(\widetilde{H}_1\) to B are isometries. This means that \(\widetilde{H}_0(\eta )\) and \(\widetilde{H}_1(\eta )\) are geodesics and hence that
for \(j=0\) and \(j=1\) by subadditivity of angles. Thus if
then
Lemma 2.13 implies that \(\widetilde{\ell }(v^)> \widetilde{\ell }(u)\), which is a contradiction. We conclude that \(\angle (\widetilde{H}_0(\eta ^+),\widetilde{\gamma }_u) + \angle (\widetilde{\gamma }_u, \widetilde{H}_1(\eta ^+))\ge \pi \). By the main observation, \(Q^+\) is isometric to a Euclidean parallelogram and \(\widetilde{\ell }(v^+) = \widetilde{\ell }(u)\). Since the geodesic \(\eta \) through u was arbitrary, \(\widetilde{\ell }\) is constant in a neighborhood of u.
Choose \(\eta \) in such a way that each of \(H_0(\eta ^+)\), \(H_0(\eta ^)\), \(H_1(\eta ^+)\) and \(H_1(\eta ^)\) forms a positive angle with \(\widetilde{\gamma }_u\). Then the corresponding parallelograms \(Q^+\) and \(Q^\) are nondegenerate and lie on opposite sides of \(\widetilde{\gamma }_u\). In particular, there is no excess angle on either side of \(\widetilde{\gamma }_u\) in the metric \(\widetilde{\psi }\). In other words, the interior of \(\widetilde{\gamma }_u\) does not contain any singularity of \(\widetilde{\psi }\). Suppose however that \(\widetilde{\psi }\) has a zero at an endpoint of \(\widetilde{\gamma }_u\). Then \(\widetilde{\varphi }\) has a zero at u as both \(\widetilde{H}_0\) and \(\widetilde{H}_1\) are local translations in a neigborhood of u. Since u is in the interior, the cone angle at u in the metric \(\widetilde{\varphi }\) is at least \(3\pi \). Thus there is a whole sector of points \(v^+ \in B {\setminus } \{u\}\) such that \(\angle (\widetilde{H}_0(\eta ^+) , \widetilde{\gamma }_u) = \pi \) where \(\eta ^+\) is the geodesic \([u,v^+]\). For each such \(v^+\), we then have \(\angle (\widetilde{H}_1(\eta ^+) , \widetilde{\gamma }_u) = 0\), which means that \(\widetilde{H}_1(\eta ^+)\) and \(\widetilde{\gamma }_u\) share a segment. In other words, \(\widetilde{H}_1\) collapses a whole sector of B into \(\widetilde{\gamma }_u\). But this is impossible since \(\widetilde{H}_1\) is locally injective. This shows that \(\widetilde{\gamma }_u\) is completely free of singularities. In particular, \(\widetilde{\varphi }=(\widetilde{H}_0)^* \widetilde{\psi }\) does not have a zero at u.
Since \(\widetilde{\gamma }_u\) is regular and has endpoints in \(\widetilde{Y}\), it is contained in \(\widetilde{Y}\). Similarly, for any short geodesic ray \(\eta ^+\) at u, the resulting parallelogram \(Q^+\) is contained in \(\widetilde{Y}\). The covering map \(\pi _Y: \widetilde{Y} \rightarrow Y\) is an isometric immersion which sends two parallel sides of \(Q^+\) to \(\gamma _x\) and \(\gamma _y\) where \(y=\pi _Y(v^+)\).
Case 2: Suppose that \(x \in \partial X\) and that \(\varphi \) has a zero at x.
Then the total cone angle at u in the metric \(\widetilde{\varphi }\) is at least \(2\pi \). For any geodesic \(\eta \) through u in B, the main observation still holds. Now for every geodesic ray \(\eta ^+\) from u, there exists a ray \(\eta ^\) such that \(\widetilde{H}_0(\eta )\) and \(\widetilde{H}_1(\eta )\) are geodesic, where \(\eta = \eta ^+ \cup \eta ^\). This is because there is enough angle at u to make sure that the cone angle on either side of \(\widetilde{H}_j(\eta )\) at \(\widetilde{H}_j(u)\) is at least \(\pi \).
The argument from Case 1 applies for any such geodesic \(\eta \): if the angles at the endpoints of \(\widetilde{\gamma }_u\) in \(Q^+\) sum to less than \(\pi \), then \(\widetilde{\ell }(v^)> \widetilde{\ell }(u)\). Hence the angles sum to at least \(\pi \) and \(Q^+\) is a Euclidean parallelogram by the main observation. This shows that \(\widetilde{\ell }(v^+) = \widetilde{\ell }(u)\). This holds for every \(v^+ \in B {\setminus } \{u\}\), so that \(\widetilde{\ell }\) is constant there.
Case 3: Suppose that \(x \in \partial X\) and that \(\varphi \) does not have a zero at x.
Then the cone angle at u in the metric \(\widetilde{\varphi }\) is \(\pi \) and there is only one geodesic \(\eta \) through u, namely the horizontal one running along the boundary. In this case, neither \(\widetilde{H}_0\) nor \(\widetilde{H}_1\) folds the boundary of \(\widetilde{X}'\) in two at u. Indeed, if \(\widetilde{H}_j\) did fold in two at u, then \(\widetilde{\psi }\) would have a simple pole at \(\widetilde{H}_j(u)\). But all the simple poles of \(\psi \) in \(\widehat{Y}\) have been unwrapped to infinite angle singularities in \(\widetilde{Y}'\).
Therefore \(\widetilde{H}_0(\eta )\) and \(\widetilde{H}_1(\eta )\) are geodesic. Thus the same argument as above applies to show that the corresponding quadrilaterals \(Q\pm \) are parallelograms. If one of \(Q^+\) or \(Q^\) is degenerate, then so is the other one.
Suppose first that \(Q^\pm \) are degenerate so that the beginning and end of \(\widetilde{\gamma }_u\) are contained in \(\widetilde{H}_0(\eta )\) and \(\widetilde{H}_1(\eta )\) respectively. Moreover if the beginning is contained in \(\widetilde{H}_0(\eta ^+)\) then the end is contained in \(\widetilde{H}_1(\eta ^)\), and vice versa. It follows that for any \(w \in B{\setminus }\{u\}\) the geodesic \(\tau =[u,w]\) satifies
By the main observation, \(\widetilde{\gamma }_w\) and \(\widetilde{\gamma }_u\) are the opposite sides of a Euclidean parallelogram and \(\widetilde{\ell }(w) = \widetilde{\ell }(u)\).
Now suppose that \(Q^+\) and \(Q^\) are nondegenerate. Then the interior of \(\widetilde{\gamma }_u\) is free of singularities, as \(Q^+\) and \(Q^\) lie on opposite sides of it. This implies that equation (1) holds for any geodesic ray \(\tau \) at u in B, as parallel transport is welldefined along \(\widetilde{\gamma }_u\). Therefore \(\widetilde{\ell }\) is constant on B. \(\square \)
It follows from the above claim that \(\ell \) is constant. Indeed, the subset of \(\widehat{X}\) where \(\ell \) attains its maximum is open by the claim and is closed by continuity, hence equal to \(\widehat{X}\). In particular, every point of \(\widehat{X}\) is a local maximum of \(\ell \), so the additional conclusions of the claim hold everywhere. Specifically,

(C1)
\({\dot{X}}\) is empty^{Footnote 8};

(C2)
\(\varphi \) does not have any zero in X;

(C3)
for every \(x \in X\) and y near x, the geodesics \(\gamma _x\) and \(\gamma _y\) form opposite sides of an isometrically immersed parallelogram in Y.
Let \(x \in X\). Parametrize \(\gamma _x: [0,1] \rightarrow Y\) proportionally to arc length in such a way that \(\gamma _x(0) = f_0(x)\) and \(\gamma _x(1)=f_1(x)\). For every \((x,t) \in X \times [0,1]\), define \(f_t(x) = \gamma _x(t)\). Then \(f_t\) has image in Y and depends continuously on t. By (C3), \(f_t\circ f_0^{1}\) is a local translation with respect to \(\psi \) for every \(t \in [0,1]\). Thus \(f_t\) is a local translation with respect to \(\varphi \) and \(\psi \). It remains to prove that \(f_t\) is injective and that its image is the complement of finitely many horizontal arcs and points.
Suppose that Y is a torus. Then \(\psi = \omega ^2\) for an abelian differential \(\omega \). For any \(x \in X\), the tangent vector \(v(x,t)=\omega (\gamma _x'(t)) \in \mathbb {C}\) does not depend on \(t\in [0,1]\) since \(\gamma _x\) is a smooth geodesic. As nearby geodesics \(\gamma _x\) and \(\gamma _y\) are parallel and of the same length, v is locally constant as a function of \(x \in X\), hence constant on X. This means that \(f_t\) differs from \(f_0\) by the translation \(z \mapsto z + t v\) with respect to \(\omega \), and is therefore a slit mapping.
Suppose that Y is an annulus. Then \(\psi \) is again the square of an abelian differential \(\omega \). By the same argument as in the previous paragraph, \(v=\omega (\gamma _x'(t))\) is independent of \((x,t) \in X \times [0,1]\). If the geodesics \(\gamma _x\) are not horizontal, then they point away from Y on one of the two boundary components, which is absurd. Hence \(v\in \mathbb {R}\) and \(f_t\) differs from \(f_0\) by the horizontal translation \(z \mapsto z + t v\) with respect to \(\omega \) (i.e., by a rotation of Y).
Our proof that \(f_t\) is a slit mapping in the general case is rather indirect. By Lemma 3.12, it suffices to show that \(f_t\) is injective and that \(f_t(X)\) is dense in Y. To prove this, we first show that the geodesics \(\gamma _x\) are horizontal.
Claim
If Y is not a torus, then \(\gamma _x\) is horizontal for every \(x\in \widehat{X}\).
Proof
By the same argument as in the torus and annulus case, the unoriented slope \(\psi (\gamma _x'(t))\) is constant on \(X \times [0,1]\). Since the map \(x \mapsto \gamma _x\) is continuous on \(\widehat{X}\) and since the limit of a sequence of geodesics of slope s has slope s wherever it is smooth, the slope function is constant on all \(\widehat{X}\). Thus if we find a single horizontal geodesic, then all geodesics are horizontal.
If Y is an annulus, then we have already shown that \(\gamma _x\) is horizontal for every \(x\in \widehat{X}\). We can leverage the same idea to prove that if Y contains a horizontal cylinder, then \(\gamma _x\) is horizontal for some (hence all) \(x \in \widehat{X}\).
Let \(A \subset Y\) be a maximal horizontal cylinder for \(\psi \). Let \(\alpha \) be a closed horizontal trajectory in \(A \cap f_0(X)\). Then \(f_t\circ f_0^{1}(\alpha )\) is a closed horizontal trajectory homotopic to \(\alpha \)—hence is contained in A—for every \(t\in [0,1]\). Since all but finitely many horizontal trajectories in A are contained in \(f_0(X)\), we have that \(f_t\circ f_0^{1}(A \cap f_0(X)) \subset A\) for every \(t \in [0,1]\). In particular, the geodesic \(\gamma _x\) is contained in A for every \(x \in f_0^{1}(A)\).
Observe that \(f_0(X) \cap A\) has either one or two connected components. If \(f_0(X) \cap A\) is connected, then the same argument as in the annulus case applies: if the geodesics \(\gamma _x\) are not horizontal, then they point away from A on one of its two boundary components, contradicting the fact that they are contained in A. Suppose that \(f_0(X) \cap A\) has two components. Since X is connected, \(f_0(X)\) intersects each boundary component of A. If \(\gamma _x\) points strictly inward at such a boundary point \(f_0(x)\), then for small \(t>0\) the map \(f_t\circ f_0^{1}\) drags points from the complement of A into A, which is impossible. Said differently, if \(t>0\) and \(\alpha \subset A \cap f_t(X)\) is a closed horizontal trajectory sufficiently close to \(f_0(x)\), then \(f_0 \circ f_t^{1}(\alpha )\) is a closed horizontal trajectory outside of A yet homotopic to \(\alpha \), contradicting the maximality of A. In either case, the geodesics \(\gamma _x\) have to be horizontal.
If Y has a horizontal cylinder then we are done, so suppose that it does not have any. Let \(t \in [0,1]\). Since \(f_t:X \rightarrow Y\) is 1Lipschitz with respect to \(\varphi \) and \(\psi \), it extends to a 1Lipschitz map \(\widehat{f}_t: \widehat{X} \rightarrow \widehat{Y}\) between the completions. Let C be a connected component of \(\partial X\), let N be neighborhood of C in \(\widehat{X}\) such that \(N\cap X\) is an annulus, and let \(\alpha \subset N\cap X\) be homotopic to C in N. If \(f_0(\alpha )\) is not homotopic to a point or a puncture in Y, then \(\widehat{f}_t(C)\) becomes the “geodesic representative” of \(f_0(\alpha )\) after erasing its backtracks (see Fig. 4). Since Y contains no horizontal cylinders, the “geodesic representative” of \(f_0(\alpha )\) is unique. This means that \(\widehat{f}_t(C)\) is contained in the same horizontal leaf for every \(t \in [0,1]\), hence that \(\gamma _x\) is horizontal for every \(x \in C\).
We may thus assume that \(f_0(\alpha )\) is homotopic to a point or a puncture in Y for every C, N and \(\alpha \) as above. This means that \(\widehat{f}_t(C)\) is completely folded onto itself, as it reduces to a point after erasing its backtracks. Thus \(\widehat{f}_t(N)\) forms an open neighborhood of \(\widehat{f}_t(C)\) in \(\widehat{Y}\). This holds for every component C of \(\partial X\) and every \(t \in [0,1]\). Moreover, \(\partial Y\) is empty for otherwise there is some component C of \(\partial X\) such that \(\widehat{f}_0(C)\) intersects \(\partial Y\), forcing \(f_0(\alpha )\) to be essential.
Since Y is not a torus nor an annulus, \(\psi \) has at least one singularity, say at \(y \in \widehat{Y}\). As \(\widehat{f}_0: \widehat{X} \rightarrow \widehat{Y}\) is surjective, there is some \(x\in \widehat{X}\) such that \(\widehat{f}_0 (x) = y\). We have that \(x \in \partial X\) since \({\dot{X}}\) is empty (C1) and \(\varphi \) does not have any zeros in X (C2). Let C be the component of \(\partial X\) containing x. If \(\gamma _x\) is not horizontal, then \(\widehat{f}_t(C)\) moves off of its horizontal leaf for small enough \(t>0\). On the other hand, y is contained in the open set \(\widehat{f}_t(N)\) for all sufficiently small \(t>0\). But then \(y \in f_t(N{\setminus }C) \subset f_t(X) \subset Y\) so that \(\psi \) has a zero at y and hence \(\varphi \) has zeros on \(f_t^{1}(y)\), contradicting (C2). Therefore \(\gamma _x\) is horizontal. \(\square \)
Since \(f_t\) is a local translation with respect to \(\varphi \) and \(\psi \), the area of its image is at most the area of X, with equality only if \(f_t\) is injective. Recall that the set \(U\subset X\) of points through which passes a biinfinite regular horizontal trajectory of \(\varphi \) has full measure in X. For every biinfinite regular horizontal trajectory \(\eta \subset U\), its image \(f_0(\eta )\) is a biinfinite regular horizontal trajectory of \(\psi \). For any \(x \in \eta \), the horizontal geodesic \(\gamma _x\) is thus contained in \(f_0(\eta )\). Hence \(f_t\circ f_0^{1}\) acts as a translation along \(f_0(\eta )\) for every \(t \in [0,1]\), so that \(f_t(\eta ) = f_0(\eta )\). It follows that \(f_t(U)=f_0(U)\). But \(f_0(U)\) has full measure in Y since U has full measure in X and \(f_0(X)\) has full measure in Y. Therefore \(f_t(X)\) has full measure in Y, whose area is equal to that of X. Hence \(f_t\) is injective.
It follows that \(f_t\) is a slit mapping by Lemma 3.12. Thus \((x,t) \mapsto f_t(x)\) is an isotopy from \(f_0\) to \(f_1\) through slit mappings. If Y is not a torus, then the path \(t \mapsto f_t(x)=\gamma _x(t)\) is horizontal for every \(x\in X\) by the previous claim. \(\square \)
Remark 4.3
As observed in footnote 8, if \(f_0,f_1:X \rightarrow Y\) are homotopic slit mappings with an essential puncture, then \(f_0 = f_1\). Similarly, if their initial quadratic differential has a zero in X then \(f_0=f_1\). As another example, if their terminal quadratic differential has a horizontal saddle connection whose interior is contained in \(f_j(X)\) for \(j=0\) or \(j=1\) then \(f_0 = f_1\). This is because the saddle connection has nowhere to go under the horizontal isotopy. The same statements apply to Teichmüller embeddings.
Remark 4.4
If Y is not the torus and \(f_0,f_1:X \rightarrow Y\) are distinct homotopic slit mappings, then their terminal quadratic differential \(\psi \) is unique up to a positive scalar (cf. Remark 3.14). Indeed, for every \(x\in X\) and every \(\psi \in \mathcal {Q}^+(Y)\) with respect to which \(f_0\) and \(f_1\) are slit mappings, \(f_0(x)\) and \(f_1(x)\) are on the same horizontal leaf of \(\psi \). Thus if \(f_t\) is any isotopy between \(f_0\) and \(f_1\) through slit mappings, then \(t \mapsto f_t(x)\) is horizontal for every \(x\in X\) and every \(\psi \in \mathcal {Q}^+(Y)\) with respect to which \(f_0\) and \(f_1\) are slit mappings. But if two quadratic differentials have the same horizontal trajectories, then they are positive multiples of each other. The contrapositive is worth mentioning explicitly: if the terminal quadratic differential of a slit mapping f is not unique up to scale, then f is the unique conformal embedding in its homotopy class. For example, if \(\dim \mathcal {Q}^+(Y)>1\) and \(X \subset Y\) has finite complement, then the inclusion map \(X \hookrightarrow Y\) is the only conformal embedding in its homotopy class (cf. Lemma 2.2).
Let \(h:X \rightarrow Y\) be a topological embedding between finite Riemann surfaces. Recall that the space \({{\mathrm{CEmb}}}(X,Y,h)\) is the set of all conformal embeddings homotopic to h equipped with the compactopen topology. We now deduce Theorem 1.4 from the introduction, which describes the homeomorphism type of \({{\mathrm{CEmb}}}(X,Y,h)\) whenever the latter contains a slit mapping.
Proof of Theorem 1.4
If \({{\mathrm{CEmb}}}(X,Y,h)\) contains a slit mapping with terminal differential \(\psi \), then every \(f \in {{\mathrm{CEmb}}}(X,Y,h)\) is a slit mapping with respect to \(\psi \) by Theorem 3.13. Let \(x \in X\). The evaluation map \({{\mathrm{CEmb}}}(X,Y,h) \rightarrow Y\) sending f to f(x) is continuous by definition of the compactopen topology. We now show that it is injective.
Suppose that \(f_0(x)=f_1(x)\) for distinct \(f_0,f_1 \in {{\mathrm{CEmb}}}(X,Y,h)\) and some \(x \in X\). Our goal is to show that \(f_0 = f_1\). If not, let \(f_t\) be the isotopy from \(f_0\) to \(f_1\) provided by Theorem 4.1. Then \(\gamma : S^1 \rightarrow Y\) defined by \(\gamma (t)=f_t(x)\) is a closed regular geodesic for \(\psi \).
Suppose that Y is a torus. For each \(t \in [0,1]\), there is a unique translation \(g_t \in {{\mathrm{Aut}}}_0(Y)\) such that \(g_t(\gamma (t))=\gamma (0)\). Then \(t \mapsto g_{t} \circ f_t\) is an isotopy from \(f_0\) to \(f_1\) which is constant at x. Thus the restrictions \(f_0^\star , f_1^\star : X{\setminus }\{x\} \rightarrow Y {\setminus } \{f_0(x)\}\) are homotopic slit mappings with an essential puncture. It follows that \(f_0=f_1\) by Remark 4.3. Alternatively, the proof of Theorem 4.1 show that \(f_0\) and \(f_1\) differ by an element of \({{\mathrm{Aut}}}_0(Y)\), which has to be the identity since it fixes the point \(f_0(x)=f_1(x)\).
Suppose that Y is not a torus. Then \(\gamma \) is horizontal. Let \(A \subset Y\) be a cylinder foliated by closed horizontal trajectories homotopic to \(\gamma \) which is symmetric about \(\gamma \). Since \(f_0(x)\) is a fixed point of the local translation \(f_1 \circ f_0^{1}\), we have that \(f_1 \circ f_0^{1}\) is either equal to the identity near \(f_0(x)\) or a halfturn around \(f_0(x)\). If \(f_1 \circ f_0^{1}\) is equal to the identity near \(f_0(x)\), then \(f_0=f_1\) by the identity principle. Otherwise, let \(\sigma \) be the conformal involution of A which fixes \(f_0(x)\) and permutes its two boundary components. By the identity principle \(f_1 \circ f_0^{1} = \sigma \) on the connected component U of \(A\cap f_0(X)\) containing \(f_0(x)\). Let \(\alpha \subset U\) be a closed horizontal trajectory and let \(\beta = f_0^{1}(\alpha )\). Then \(f_0(\beta )=\alpha \) and \(f_1(\beta )=\sigma (\alpha )\) are not homotopic in Y, for they have reverse orientations. This is a contradiction, which proves that the first situation prevails.
Thus the evaluation map is injective. Since \({{\mathrm{CEmb}}}(X,Y,h)\) contains a slit mapping, h is nontrivial and nonparabolic by Remark 3.9. It follows that \({{\mathrm{CEmb}}}(X,Y,h)\) is compact by Lemma 3.1. Any injective continuous map from a compact space to a Hausdorff space is a homeomorphism onto its image. Let V(x) be the image of evaluation map at \(x\in X\). If Y is a torus, then \(V(x)=Y\) since \({{\mathrm{Aut}}}_0(Y)\) acts on \({{\mathrm{CEmb}}}(X,Y,h)\) by composition on the left and acts transitively on Y.
Suppose that Y is not a torus. Then V(x) is pathconnected and is contained in a regular horizontal trajectory by Theorem 4.1. As V(x) is compact, it is either a closed trajectory, a geodesic segment, or a point. If h is cyclic, then the image of any \(f \in {{\mathrm{CEmb}}}(X,Y,h)\) is contained in some annulus \(A \subset Y\). Since f can be postcomposed with rotations of A, the set V(x) contains a circle, hence is equal to a circle.
Conversely, if V(x) is a horizontal circle then its free homotopy class in Y does not depend on \(x\in X\) since X is pathconnected and V(x) depends continuously on x. Therefore \(\bigcup _{x\in X} V(x)\) is contained in a horizontal cylinder \(A\subset Y\), which means that \(f(X) \subset A\) for every \(f \in {{\mathrm{CEmb}}}(X,Y,h)\) so that h is cyclic. This shows that if h is generic (so that Y is not a torus), then V(x) is either a segment or a point. \(\square \)
As pointed out in the introduction, if \({{\mathrm{CEmb}}}(X,Y,h)\) contains a slit mapping then the conclusions of Theorem 1.2 follow immediately from Theorem 1.4. In that case h is necessarily nontrivial. If Y is a torus then \({{\mathrm{CEmb}}}(X,Y,h)\) is homeomorphic to a torus, hence homotopy equivalent to one. If Y is not a torus and h is cyclic, then \({{\mathrm{CEmb}}}(X,Y,h)\) is homeomorphic to a circle. If h is generic, then \({{\mathrm{CEmb}}}(X,Y,h)\) is homeomorphic to a point or a compact interval, hence contractible.
The modulus of extension
In this section, we characterize local maxima of the modulus of extension (Theorem 1.5) and use that to prove that the space of all conformal embeddings in a given homotopy class is connected under some conditions (Theorem 1.6).
Let \(h:X \rightarrow Y\) be a topological embedding between finite Riemann surfaces where X has nonempty ideal boundary. We will impose further conditions on h in a moment, but for now the only hypothesis is that \(\partial X \ne \varnothing \).
For each connected component C of \(\partial X\), choose an analytic parametrization \(\zeta _C:S^1 \rightarrow C\). For every \(r \in (0,\infty ]\) and every component C of \(\partial X\), glue a copy of the cylinder \(S^1 \times [0,r)\) to \(X\cup \partial X\) along \(S^1 \times \{0\}\) using the map \(\zeta _C\) (see Fig. 5). We denote the resulting surface by \(X_r\) and also let \(X_0=X\). If \(\rho \le r\), then the inclusion \([0,\rho ) \subset [0,r)\) induces a conformal embedding \(X_{\rho } \subset X_{r}\). We call the directed family of Riemann surfaces \(\{X_r\}\) a 1parameter family of enlargements of X. Note that for every \(r\in [0,\infty ]\), there is a homeomorphism \(H_r: X_r \rightarrow X\) which when followed by the inclusion \(X \subset X_r\) is homotopic to the identity. We will abuse notation and write \({{\mathrm{CEmb}}}(X_r,Y,h)\) instead of \({{\mathrm{CEmb}}}(X_r,Y,h\circ H_r)\).
Given a conformal embedding \(f \in {{\mathrm{CEmb}}}(X,Y,h)\), we define the modulus of extension of f as
This number depends on the 1parameter family of enlargements \(\{X_r\}_{r \in [0,\infty ]}\) which is fixed once and for all. It is easy to see that the supremum is realized and that the conformal extension of f to \(X_{\mathfrak {m}(f)}\) is unique.
Lemma 5.1
For every \(f \in {{\mathrm{CEmb}}}(X,Y,h)\), there is a unique conformal embedding \(\widehat{f}: X_{\mathfrak {m}(f)} \rightarrow Y\) extending f.
Proof
Let \(r=\mathfrak {m}(f)\), let \(r_n \nearrow r\), and let \(f_n: X_{r_n} \rightarrow Y\) be a conformal embedding extending f. Every \(x \in X_r\) is contained in \(X_{r_n}\) when n is large enough since \(X_{r_n} \nearrow X_r\). Define \(\widehat{f} (x) = f_n(x)\). This does not depend on n since \(f_j = f_{j+1}\) on \(X_{r_j}\) by the identity principle. The function \(\widehat{f}\) is holomorphic and injective on \(X_r\) because each \(f_n\) is holomorphic and injective. The uniqueness of \(\widehat{f}\) follows from the identity principle. \(\square \)
Similarly, \(\mathfrak {m}\) is upper semicontinuous on \({{\mathrm{CEmb}}}(X,Y,h)\). Again, this holds without any extra assumptions on h.
Lemma 5.2
The modulus of extension \(\mathfrak {m}\) is upper semicontinuous.
Proof
Suppose that \(f_n \rightarrow f\) in \({{\mathrm{CEmb}}}(X,Y,h)\). Pass to a subsequence so that \(r_n=\mathfrak {m}(f_n)\) converges to some \(r \in [0,\infty ]\). We have to show that \(\mathfrak {m}(f) \ge r\). If \(r=0\), then there is nothing to prove so we assume that \(r>0\).
If Y is not hyperbolic, then its group \({{\mathrm{Aut}}}_0(Y)\) of conformal automorphisms homotopic to the identity acts simply transitively on ktuples of distinct points for some \(k \in \{1,2,3\}\). Pick some ktuple \(P\subset X\) of distinct points. Then there exists a sequence of automorphisms \(T_n \in {{\mathrm{Aut}}}_0(Y)\) converging to the identity such that \(T_n\circ f_n(P)=f(P)\) for every n. Observe that \(\mathfrak {m}(f_n) = \mathfrak {m}(T_n \circ f_n)\), so we might as well assume from the start that \(f_n(P)=f(P)\) for every n. Under this assumption, we can consider \(f_n\) and f as maps from \(X{\setminus } P\) to \(Y {\setminus } f(P)\). Now \(Y{\setminus }f(P)\) is hyperbolic, so the problem is reduced to that case.
Assume that Y is hyperbolic. Let \(\rho \in (0,r)\) and let \(\widehat{f}_n\) be the conformal extension of \(f_n\) to \(X_{r_n}\). If n is large enough, then \(\rho \le r_n\), and we let \(g_n\) be the restriction of \(\widehat{f}_n\) to \(X_\rho \). Since \(g_n\) cannot diverge locally uniformly (its restriction to X converges to f), we may pass to a subsequence such that \(g_n \rightarrow g\) for some \(g \in {{\mathrm{CEmb}}}(X_\rho ,Y,h)\) by Montel’s theorem. The restriction of g to X is necessarily equal to f. In other words, g is a conformal embedding extending f, so that \(\mathfrak {m}(f) \ge \rho \). Since \(\rho \in (0,r)\) was arbitrary we have \(\mathfrak {m}(f) \ge r\). \(\square \)
Since \(\mathfrak {m}\) is upper semicontinuous, it attains its maximum whenever the space \({{\mathrm{CEmb}}}(X,Y,h)\) is compact. This happens precisely when h is nontrivial and nonparabolic by Lemma 3.1. Let us recall hypothesis (H) from the introduction:

\(h:X\rightarrow Y\) is a nontrivial and nonparabolic embedding between finite Riemann surfaces;

X has nonempty ideal boundary;

\(\{X_r\}_{r\in [0,\infty ]}\) is a 1parameter family of enlargements of X;

\(\mathfrak {m}\) is the associated modulus of extension;

\({{\mathrm{CEmb}}}(X,Y,h)\) is nonempty.
Note that this hypothesis prevents Y from being the sphere with at most 2 punctures or the disk with at most 1 puncture. Under hypothesis (H), \(\mathfrak {m}\) achieves its maximum at some \(f\in {{\mathrm{CEmb}}}(X,Y,h)\). We will see that any such maximum is the restriction of a slit mapping. We first need to show that any limit of Teichmüller embeddings is itself a Teichmüller embedding.
Definition 5.3
Let \(X_n \in \mathcal {T}(X)\) and \(Y_n \in \mathcal {T}(Y)\) be such that \(X_n \rightarrow X\) and \(Y_n \rightarrow Y\) as \(n \rightarrow \infty \), and let \(\sigma _n: X_n \rightarrow X\) and \(\tau _n: Y_n \rightarrow Y\) be the Teichmüller homeomorphisms that respect the markings. Let \(h_n:X_n \rightarrow Y_n\) and \(h:X \rightarrow Y\) be any maps. We say that \(h_n \rightarrow h\) as \(n \rightarrow \infty \) if \(\tau _n \circ h_n \circ \sigma _n^{1} \rightarrow h\) locally uniformly on X as \(n \rightarrow \infty \).
Lemma 5.4
Let \(h:X \rightarrow Y\) be a nontrivial and nonparabolic embedding between finite Riemann surfaces. Suppose that \(X_n \rightarrow X\) in \(\mathcal {T}(X)\) and \(Y_n \rightarrow Y\) in \(\mathcal {T}(Y)\), and let \(f_n: X_n \rightarrow Y_n\) be a sequence of Teichmüller embeddings homotopic to h. Then there exists a Teichmüller embedding \(f:X \rightarrow Y\) homotopic to h such that \(f_n \rightarrow f\) after passing to a subsequence.
Note that passing to a subsequence might be necessary due to the nonuniqueness of Teichmüller embeddings.
Proof
By Lemma 3.1, we may pass to a subsequence such that \(f_n \rightarrow f\) for some quasiconformal embedding \(f: X \rightarrow Y\) homotopic to h. By Theorem 3.13, each \(f_n\) has minimal dilatation in its homotopy class. It follows that f has minimal dilatation in its homotopy class. If f is not conformal, then it is a Teichmüller embedding by Theorem 3.11, and we are done.
Suppose that f is conformal. We need to show that f is a slit mapping. Let \(\psi _n\) be the terminal quadratic differential of \(f_n\), and let \(g_n: Y_n \rightarrow Y_n'\) be a Teichmüller homeomorphism of dilatation \(e^2\) and initial quadratic differential \(\psi _n\). Since \(d(Y_n,Y_n')=1\) for every n, \(Y_n \rightarrow Y\) as \(n \rightarrow \infty \), and closed balls in \(\mathcal {T}(Y)\) are compact, we may pass to a subsequence such that \(Y_n'\rightarrow Y'\) as \(n\rightarrow \infty \), for some \(Y' \in \mathcal {T}(Y)\) with \(d(Y,Y')=1\). Let \(g: Y \rightarrow Y'\) be a Teichmüller homeomorphism that respects the markings. By a standard argument similar to the one above, \(g_n\rightarrow g\) after passing to yet another subsequence (this is only necessary if Y is an annulus or a torus).
By construction, \(g_n \circ f_n: X_n \rightarrow Y_n'\) is a Teichmüller embedding. Moreover, \(g_n \circ f_n \rightarrow g \circ f\). As in the first paragraph of this proof, \(g \circ f\) has minimal dilatation in its homotopy class. This dilatation is equal to \(e^2>1\), so that \(g \circ f\) is a Teichmüller embedding. Since f is conformal, the terminal quadratic differential of \(g \circ f\) is equal to the terminal quadratic differential of g. It follows that \(f= g^{1} \circ (g \circ f)\) is a slit mapping with respect to the initial quadratic differential of g. \(\square \)
We obtain the following characterization of the global maxima of \(\mathfrak {m}\).
Proposition 5.5
Assume hypothesis (H). Let f be a global maximum of \(\mathfrak {m}\) with \(\mathfrak {m}(f)<\infty \) and let \(\widehat{f}\) be the conformal extension of f to \(X_{\mathfrak {m}(f)}\). Then \(\widehat{f}\) is a slit mapping.
Proof
Let \(R=\mathfrak {m}(f)\). For every \(r>R\), there is no conformal embedding \(g: X_r \rightarrow Y\) whose restriction to X is homotopic to h, for otherwise we would have \(\mathfrak {m}(g_X)\ge r > R = \mathfrak {m}(f)\). By Corollary 3.2 and Theorem 3.11, there exists a Teichmüller embedding \(g_r: X_r \rightarrow Y\) whose restriction to X is homotopic to h. It is easy to see that \(X_r\) moves continuously in \(\mathcal {T}(X)\) as a function of \(r \in [0,\infty )\). By Lemma 5.4, we can extract a limiting Teichmüller embedding \(g: X_R \rightarrow Y\) from some subsequence of \(g_r\) as \(r \rightarrow R\). Since \(\widehat{f}\) is conformal and homotopic to g, Theorem 3.13 implies that \(\widehat{f}\) is itself a Teichmüller embedding. A conformal Teichmüller embedding is a slit mapping. \(\square \)
Remark 5.6
Observe that every end of the surface \(X_\infty \) is a puncture since the cylinder \(S^1 \times [0,\infty )\) is conformally isomorphic to \({\overline{\mathbb {D}}}{\setminus }\{0\}\). Thus if \(\mathfrak {m}(f)=\infty \), then the extension \(\widehat{f}\) extends further to a conformal homeomorphism between \(\widehat{X_\infty }\) and \(\widehat{Y}\). In particular, \(Y {\setminus } \widehat{f} (X_\infty )\) is finite, so that \(\widehat{f}\) is a slit mapping with respect to any \(\psi \in \mathcal {Q}^+(Y)\). This is unless Y is the triplypunctured sphere in which case \(\mathcal {Q}^+(Y)\) is empty. Thus the hypothesis \(\mathfrak {m}(f)<\infty \) in the above theorem is superfluous unless Y is the triplypunctured sphere. In the latter case \(\widehat{f}\) is nevertheless unique in its homotopy class by Lemma 2.2.
We can in fact strengthen Proposition 5.5 by replacing the word “global” with “local”. The proof requires another lemma similar to Lemma 5.4.
Lemma 5.7
Let \(h:X \rightarrow Y\) be a nontrivial and nonparabolic embedding between finite Riemann surfaces. Suppose that \(Y_n \nearrow Y\), where the inclusion \(\iota _n:Y_n \hookrightarrow Y\) is homotopic to a homeomorphism, and let \(f_n: X \rightarrow Y_n\) be a sequence of Teichmüller embeddings such that \(\iota _n \circ f_n \) is homotopic to h. Then there exists a Teichmüller embedding \(f:X \rightarrow Y\) homotopic to h such that \(f_n \rightarrow f\) after passing to a subsequence.
The difference with Lemma 5.4 is that \(Y_n\) is allowed to live in a different Teichmüller space than Y. For example, a surface with punctures can be exhausted by surfaces with holes. A priori, the terminal quadratic differentials could converge to a quadratic differential with double poles at the punctures of Y and then the limiting map would not be a Teichmüller embedding. What prevents this from happening is that the domain X is fixed.
Proof
Let \(K_n\) be the dilatation of \(f_n\). The sequence \(K_n\) is nonincreasing and thus converges to a limit \(K\ge 1\). After passing to a subsequence, \(f_n\) converges to a Kquasiconformal embedding \(f:X \rightarrow Y\).
We claim that f has minimal dilatation in its homotopy class. If not, let \(g:X \rightarrow Y\) be a quasiconformal embedding homotopic to f such that \({{\mathrm{Dil}}}(g) < {{\mathrm{Dil}}}(f)\). If \(r>0\) is small enough, then there is a quasiconformal homeomorphism \(\sigma : X_r \rightarrow X\) of dilatation strictly smaller than \({{\mathrm{Dil}}}(f)/{{\mathrm{Dil}}}(g)\). Thus the quasiconformal embedding F consisting of the inclusion \(X \hookrightarrow X_r\) followed by \(g \circ \sigma \) has dilatation strictly less than \({{\mathrm{Dil}}}(f)\). Then \(F(X) \subset Y_n\) whenever n is large enough. Indeed, the ends of F(X) which are not punctures are contained in a compact subset of Y since they are surrounded by the union of collars \(g \circ \sigma (X_r{\setminus }X)\). Thus the only way to go to infinity in the closure \(\overline{F(X)}\) relative to Y is via punctures of F(X) that are also punctures of Y. For every such puncture p and every \(n\in \mathbb {N}\), a neighborhood of p in Y is contained in \(Y_n\). This is because \(f_n\) is quasiconformal and as such it cannot map punctures of X to ends of \(Y_n\) with finite modulus. Since \(Y_n \nearrow Y\), the inclusion \(F(X) \subset Y_n\) holds for n large enough. But the inequality \({{\mathrm{Dil}}}(F)< {{\mathrm{Dil}}}(f) \le {{\mathrm{Dil}}}(f_n)\) contradicts the hypothesis that \(f_n\) is a Teichmüller embedding and hence has minimal dilatation in its homotopy class.
If f is not conformal, then it is a Teichmüller embedding by Theorem 3.11, and we are done. Thus suppose that f is conformal but is not a slit mapping. By Proposition 5.5, there exists an \(r>0\) and a conformal embedding \(g: X_r \rightarrow Y\) whose restriction to X is homotopic to f. By the above argument, we have \(g(X_{r/2}) \subset Y_n\) if n is large enough, and thus \(g(X) \subset Y_n\) with complement having nonempty interior. On the other hand, the restriction \(g_X: X \rightarrow Y_n\) is conformal and homotopic to the Teichmüller embedding \(f_n:X \rightarrow Y_n\). By Theorem 3.13, \(g_X\) is a slit mapping so that \(Y_n{\setminus }g(X)\) has empty interior, contradiction. \(\square \)
We come to the main result of this section, which is that every local maximum of \(\mathfrak {m}\) is the restriction of a slit mapping.
Theorem 5.8
Assume hypothesis (H). Let f be a local maximum of \(\mathfrak {m}\) with \(\mathfrak {m}(f)<\infty \), and let \(\widehat{f}\) be the conformal extension of f to \(X_{\mathfrak {m}(f)}\). Then \(\widehat{f}\) is a slit mapping.
Proof
Let \(R = \mathfrak {m}(f)\). We first show that the complement \(Y {\setminus } \widehat{f}(X_R)\) is horizontal for some meromorphic quadratic differential on Y, and is in particular an analytic graph. Let \(\{x_1,x_2,\ldots \}\) be a dense subset of X.
Claim
There exists an \(n \in \mathbb {N}\) such that if \(g \in {{\mathrm{CEmb}}}(X,Y,h)\) satisfies \(g(x_j)=f(x_j)\) for every \(j \in \{1,...,n\}\), then \(\mathfrak {m}(g) \le \mathfrak {m}(f)\).
Proof of Claim
Suppose on the contrary that for every \(n \in \mathbb {N}\) there exists an element \(g_n\) of \({{\mathrm{CEmb}}}(X,Y,h)\) satisfying \(g_n(x_j)=f(x_j)\) for every \(j \in \{1,...,n\}\) such that \(\mathfrak {m}(g_n) > \mathfrak {m}(f)\). As \({{\mathrm{CEmb}}}(X,Y,h)\) is compact, every subsequence of \(\{g_n\}_{n=1}^\infty \) has a subsequence converging to some \(g \in {{\mathrm{CEmb}}}(X,Y,h)\). Any limit g agrees with f on the dense set \(\{x_1,x_2,....\}\), and hence is equal to f. Thus \(g_n \rightarrow f\) with \(\mathfrak {m}(g_n) > \mathfrak {m}(f)\). This contradicts the hypothesis that f is a local maximum of \(\mathfrak {m}\). \(\square \)
Let n be as in the claim, and let \(P = \{x_1, x_2, \ldots , x_n \}\). Then for every \(r>R\), there is no conformal embedding \(g: X_r \rightarrow Y\) homotopic to f rel P. By Corollary 3.2 and Theorem 3.11, there exists a Teichmüller embedding \(g_r: X_r{\setminus } P \rightarrow Y{\setminus } {f}(P)\) homotopic to f rel P.
Let g be any limit of any subsequence of \(g_r\) as \(r\searrow R\). Then \(g: X_R{\setminus } P \rightarrow Y{\setminus } f(P)\) is a Teichmüller embedding by Lemma 5.4. Since \(\widehat{f}\) is conformal and homotopic to g rel P, Theorem 3.13 implies that \(\widehat{f}\) is itself a slit mapping, considered as a map from \(X_R{\setminus } P\) to \(Y{\setminus } {f}(P)\). Therefore the complement \(Y{\setminus }\widehat{f} (X_R)\) is a finite union of horizontal arcs for some meromorphic quadratic differential on Y, possibly with simple poles on the set f(P).
Let \(\varGamma = Y{\setminus }\widehat{f} (X_R)\), let \(\{y_1,y_2,...\}\) be a dense subset of the graph \(\ \varGamma \) minus its vertices, and fix a Riemannian metric on Y.
Claim
There exists a \(k\in \mathbb {N}\) such that for every \(r>R\) and every \(\varepsilon > 0\), there is no conformal embedding \(g: X_r \rightarrow Y\) homotopic to h whose image is disjoint from the balls \(\overline{B}(y_1,\varepsilon ),\ldots ,\overline{B}_\varepsilon (y_k,\varepsilon )\).
Proof of Claim
Suppose that for every \(k\in \mathbb {N}\) there exist an \(r_k>R\), an \(\varepsilon _k > 0\), and a conformal embedding \(g_k: X_{r_k} \rightarrow Y\) whose restriction to X is homotopic to h such that \(g_k(X_{r_k})\) is disjoint from the balls \(\overline{B}(y_1,\varepsilon _k),\ldots ,\overline{B}(y_k,\varepsilon _k)\). We may assume that \(r_k \rightarrow R\) and \(\varepsilon _k \rightarrow 0\). Let g be any limit of any subsequence of the sequence \(\{g_k\}\). Then \(g(X_R)\) is disjoint from the set \(\{y_1,y_2,...\}\) and hence from its closure \(\varGamma \), so that \(\widehat{f}^{1} \circ g: X_R \rightarrow X_R\) is a conformal embedding homotopic to the identity. If \(X_R\) is not an annulus, then Lemma 2.1 implies that \(g=\widehat{f}\) and hence \(g_k \rightarrow \widehat{f}\). If \(X_R\) is an annulus, then we may precompose each \(g_k\) by a rotation so that we still get \(g_k \rightarrow \widehat{f}\). Since \(\mathfrak {m}(g_k_X) \ge r_k > R = \mathfrak {m}(f)\), this contradicts the hypothesis that f is a local maximum of \(\mathfrak {m}\). \(\square \)
Let k be as in the last claim, and let \(Q=\{y_1,\ldots , y_k\}\). For each \(\varepsilon >0\), let \(Y_\varepsilon = Y {\setminus } (\overline{B}(y_1,\varepsilon )\cup \cdots \cup \overline{B}(y_k,\varepsilon ))\). Let \(\iota _\varepsilon : Y_\varepsilon \rightarrow Y{\setminus } Q\) be a homeomorphism homotopic to the inclusion map, and let \(h_\varepsilon = \iota _\varepsilon ^{1} \circ \widehat{f}\). The embedding \(h_\varepsilon : X_R \rightarrow Y_\varepsilon \) followed by the inclusion \(Y_\varepsilon \hookrightarrow Y\) is homotopic to h. By the claim, for every \(r>R\), there is no conformal embedding \(g: X_r \rightarrow Y_\varepsilon \) homotopic to \(h_\varepsilon \). Therefore, there is a Teichmüller embedding \(g_\varepsilon ^r: X_r \rightarrow Y_\varepsilon \) homotopic to \(h_\varepsilon \). Letting \(r\searrow R\), we can extract a limiting Teichmüller embedding \(g_\varepsilon : X_R \rightarrow Y_\varepsilon \) by Lemma 5.4.
Since \(Y_\varepsilon \nearrow (Y{\setminus }Q)\) as \(\varepsilon {\searrow }0\), we can apply Lemma 5.7 and obtain a Teichmüller embedding \(g: X_R \rightarrow Y{\setminus }Q\) as a limit of a subsequence of \(\{g_\varepsilon \}\). Since \(\widehat{f}: X_R \rightarrow Y{\setminus } Q\) is homotopic to g, it is a slit mapping with respect to some \(\psi \in \mathcal {Q}^+(Y {\setminus } Q)\). Thus \(\psi \) is meromorphic on Y with at most simple poles on Q. Moreover, the graph \(\varGamma = Y {\setminus } \widehat{f}(X_R)\) is horizontal for \(\psi \). Since every point of Q is contained in the interior of an edge of \(\varGamma \), the quadratic differential \(\psi \) cannot have simple poles on Q. Indeed, there is only one horizontal ray emanating from any simple pole. Therefore, \(\psi \) is holomorphic on Y and the map \(\widehat{f}: X_R \rightarrow Y\) is an honest slit mapping. \(\square \)
Once again, the hypothesis \(\mathfrak {m}(f) < \infty \) is not necessary unless Y is the triplypunctured sphere.
As a consequence of Theorem 5.8, every conformal embedding which is not a slit mapping can be approximated by a sequence of conformal embeddings each of which extends by some amount.
Corollary 5.9
Assume hypothesis (H) and let \(g \in {{\mathrm{CEmb}}}(X,Y,h)\). If g is not a slit mapping, then there is a sequence \(\{g_n\}\) converging to g in \({{\mathrm{CEmb}}}(X,Y,h)\) such that \(g_n\) extends to a conformal embedding of \(X_{r_n}\) into Y for some \(r_n>0\).
Proof
If \(\mathfrak {m}(g)>0\), then we can take \(g_n=g\). If \(\mathfrak {m}(g)=0\) but g is not a local maximum of \(\mathfrak {m}\), then there exists a sequence \(g_n \rightarrow g\) with \(\mathfrak {m}(g_n)>0\). If \(\mathfrak {m}(g)=0\) and g is a local maximum of \(\mathfrak {m}\), then g is a slit mapping by the previous theorem. \(\square \)
A strong converse to Theorem 5.8 holds due to Theorem 3.13.
Lemma 5.10
Assume hypothesis (H). Suppose that \(g: X_r \rightarrow Y\) is a slit mapping such that \(g_X\) is homotopic to h. Then \(g_X\) is a global maximum of \(\mathfrak {m}\).
Proof
First observe that \(\mathfrak {m}(g_X) \ge r\). Suppose that \(\mathfrak {m}(f) \ge \mathfrak {m}(g_X)\) for some element f of \({{\mathrm{CEmb}}}(X,Y,h)\) and let \(\widehat{f}\) be the maximal extension of f. Then \(\widehat{f}_{X_r}\) is homotopic to g. By Theorem 3.13, \(\widehat{f}_{X_r}\) is a slit mapping. In particular, the complement of \(\widehat{f} (X_r)\) has empty interior in Y. Therefore \(X_{\mathfrak {m}(f)}{\setminus }X_r\) is empty so that \(\mathfrak {m}(f)\le r \le \mathfrak {m}(g_X)\). \(\square \)
Furthermore, the almost rigidity of slit mappings implies that the set of local maxima of \(\mathfrak {m}\) is pathconnected.
Lemma 5.11
Assume hypothesis (H). The set M of all local maxima of \(\mathfrak {m}\) is homeomorphic to either a point, a compact interval, a circle, or a torus, and \(\mathfrak {m}\) is constant on M.
Proof
Suppose first that there is some \(f \in M\) such that \(\mathfrak {m}(f) < \infty \). Then by Theorem 5.8, the maximal extension \(\widehat{f}\) is a slit mapping. By Lemma 5.10, f is a global maximum of \(\mathfrak {m}\). In particular, \(\mathfrak {m}(g) < \infty \) for every \(g \in M\) and thus every \(g \in M\) is a global maximum of \(\mathfrak {m}\). In particular, \(\mathfrak {m}\) is constant on M, say equal to R. The map \(M \rightarrow {{\mathrm{CEmb}}}(X_R, Y , h)\) defined by \(f\mapsto \widehat{f}\) is a homeomorphism with inverse \(g \mapsto g_X\). By Theorem 1.4, the evaluation map \({{\mathrm{CEmb}}}(X_R,Y,h) \rightarrow Y\) sending f to f(x) is a homeomorphism onto its image for every \(x \in X_R\), and its image is either a point, a compact interval, a circle, or a torus.
Otherwise, \(\mathfrak {m}\) is constant equal to \(\infty \) on M. In this case M is homeomorphic to \({{\mathrm{CEmb}}}(X_\infty ,Y,h)\), which is the same as \({{\mathrm{Aut}}}_0(Y)\). This is either a point or a torus (see Sect. 2.2). \(\square \)
Theorem 5.8, Lemmas 5.10 and 5.11 together imply Theorem 1.5 from the introduction. The fact that \(\mathfrak {m}\) has a connected plateau of local maxima easily implies that the space \({{\mathrm{CEmb}}}(X,Y,h)\) is connected.
Proof of Theorem 1.6
Suppose that \({{\mathrm{CEmb}}}(X,Y,h)=E_0 \cup E_1\) where \(E_0\) and \(E_1\) are disjoint nonempty closed sets. Then each of \(E_0\) and \(E_1\) is both compact and open. Since \(\mathfrak {m}\) is upper semicontinuous, the restriction \(\mathfrak {m}_{E_j}\) attains its maximum at some \(f_j\in E_j\). Then \(f_j\) is a local maximum of \(\mathfrak {m}\) since \(E_j\) is open. By Lemma 5.11, \(f_0\) and \(f_1\) are both contained in a connected subset M of \({{\mathrm{CEmb}}}(X,Y,h)\). But \(M = (M \cap E_0) \cup (M \cap E_1)\) is disconnected. Contradiction. \(\square \)
The blob and its boundary
We say that a continuous map \(h:X \rightarrow Y\) between any Riemann surfaces is generic if the induced homomorphism \(\pi _1(h):\pi _1(X,x) \rightarrow \pi _1(Y,h(x))\) has nonabelian image. This implies that X and Y are hyperbolic. Given such a generic map h, let \({{\mathrm{Map}}}(X,Y,h)\) be the space of all continuous maps \(f:X \rightarrow Y\) homotopic to h. The following lemma shows that for every \(x \in X\) and every \(f \in {{\mathrm{Map}}}(X,Y,h)\), there is a welldefined way to lift the image point f(x) to the universal cover of Y.
Lemma 6.1
Let \(h:X \rightarrow Y\) be a generic map between Riemann surfaces. Let \(H: X \times [0,1] \rightarrow Y\) be a homotopy from h to some \(f\in {{\mathrm{Map}}}(X,Y,h)\). Then for every \(x \in X\), the homotopy class rel endpoints of the path \(t \mapsto H(x,t)\) does not depend on the choice of H.
Proof
We use two standard facts about hyperbolic surfaces:

every abelian subgroup of \(\pi _1(Y,h(x))\) is cyclic;

every nontrivial element in \(\pi _1(Y,h(x))\) is the positive power of a unique primitive element.
Let G be any other homotopy from h to f. By composing H with G run backwards, we get a homotopy from h to itself, hence a map \(F: X \times S^1 \rightarrow Y\). Suppose that the loop \(\gamma (t)= F(x,t)\) is not trivial in \(\pi _1(Y,h(x))\). Then it is equal to \(\beta ^k\) for some primitive element \(\beta \) and some \(k> 0\).
Let \(\alpha \) be any loop in X based at x. Then the map \(S^1 \times S^1 \rightarrow Y\) given by \((s,t) \mapsto F(\alpha (s),t)\) induces a homomorphism of \(\mathbb {Z}^2\) into \(\pi _1(Y,h(x))\). The image of this homomorphism is cyclic, and contains both \([h\circ \alpha ]\) and \([\gamma ]\). From the existence and uniqueness of primitive roots in \(\pi _1(Y,h(x))\), it follows that \([h\circ \alpha ]=\beta ^j\) for some \(j \in \mathbb {Z}\). Since \(\alpha \) was arbitrary, we deduce that the image of the homomorphism \(\pi _1(h): \pi _1(X,x) \rightarrow \pi _1(Y,h(x))\) is contained in the cyclic group \(\langle \beta \rangle \). This contradicts the hypothesis that h is generic. We conclude that the loop \(\gamma (t) = F(x,t)\) is nullhomotopic. Equivalently, the paths \(t \mapsto H(x,t)\) and \(t \mapsto G(x,t)\) are homotopic rel endpoints. \(\square \)
Definition 6.2
Let \(h:X \rightarrow Y\) be a generic map between Riemann surfaces, let \(f \in {{\mathrm{Map}}}(X,Y,h)\) and let \(x \in X\). We define \({{\mathrm{lift}}}_x(f)\) to be the homotopy class rel endpoints of the path \(t \mapsto H(x,t)\) in Y where H is any homotopy from h to f. This is welldefined by Lemma 6.1. By definition, \({{\mathrm{lift}}}_x(f)\) is an element of the universal cover \(\widetilde{Y}\) of Y based at h(x). This universal cover is isomorphic to \(\mathbb {D}\), but for our purposes it will be better to think of it as the set of homotopy classes of paths in Y starting at h(x).
Remark 6.3
If \(h:X \rightarrow Y\) is a cyclic map between Riemann surfaces, i.e., such that the image of \(\pi _1(h)\) is an infinite cyclic subgroup \(C\le \pi _1(Y,h(x))\), and Y is not a torus then a similar construction defines a lift from \({{\mathrm{Map}}}(X,Y,h)\) to the annulus cover \(A \rightarrow Y\) associated to C.
Lemma 6.4
Let \(h:X \rightarrow Y\) be a generic map between Riemann surfaces, where X is finite. Then \({{\mathrm{lift}}}_x: {{\mathrm{Map}}}(X,Y,h) \rightarrow \widetilde{Y}\) is continuous.
Proof
Since \({{\mathrm{Map}}}(X,Y,h)\) is metrizable, it suffices to prove sequential continuity. Let \(f_n,f \in {{\mathrm{Map}}}(X,Y,h)\) be such that \(f_n \rightarrow f\) as \(n \rightarrow \infty \). Let \(K\subset X\) be a compact deformation retract of X containing x. Let \(\varepsilon >0\) be smaller than the minimum of the injectivity radius of Y over f(K) with respect to the hyperbolic metric and let n be large enough so that \(f_nf<\varepsilon \) on K. For every \((\xi ,t) \in K \times [0,1]\), let \(F_n(\xi ,t)\) be the point at proportion t along the unique shortest length geodesic between \(f(\xi )\) and \(f_n(\xi )\) in Y. This gives a continuous homotopy from \(f_K\) to \(f_nK\). By composing the deformation retraction \(X \rightarrow K\) with \(F_n\), we get a homotopy \(G_n\) from f to \(f_n\) moving points of K by distance at most \(\varepsilon \).
Given any homotopy H from h to f, the concatenation \(H*G_n\) (that is, H followed by \(G_n\)) is a homotopy from h to \(f_n\). Thus \({{\mathrm{lift}}}_x(f_n)\) can be represented as \(\alpha *\beta _n\) where \(\alpha \) is any representative of \({{\mathrm{lift}}}_x(f)\) and \(\beta _n(t)=G_n(x,t)\). Since the geodesic \(\beta _n\) is contained in the ball of radius \(\varepsilon \) centered at \(\alpha (1)\) in Y, and \(\varepsilon \) can be taken arbitrarily small, we have \({{\mathrm{lift}}}_x(f_n) \rightarrow {{\mathrm{lift}}}_x(f)\) as \(n \rightarrow \infty \). \(\square \)
We now get back to conformal embeddings and look at where a given point can go under all conformal embeddings in a given homotopy class.
Definition 6.5
Let \(h: X \rightarrow Y\) be a generic embedding between finite Riemann surfaces and let \(x \in X\). We define \({{\mathrm{Blob}}}(x,X,Y,h)\) to be the image of \({{\mathrm{CEmb}}}(X,Y,h)\) by the map \({{\mathrm{lift}}}_x\) from Definition 6.2. This is a subset of the universal cover \(\widetilde{Y}\) of Y based at h(x). Given \(c \in \widetilde{Y}\), we will write \(\pi _Y(c)\) for its projection to Y, that is, the endpoint \(\gamma (1)\) of any representative \(\gamma \in c\).
Our previous results imply that \({{\mathrm{Blob}}}(x,X,Y,h)\) is at most 1dimensional whenever \({{\mathrm{CEmb}}}(X,Y,h)\) contains a slit mapping.
Proposition 6.6
Let \(h: X \rightarrow Y\) be a generic embedding between finite Riemann surfaces and let \(x \in X\). If \({{\mathrm{CEmb}}}(X,Y,h)\) contains a slit mapping, then \({{\mathrm{Blob}}}(x,X,Y,h)\) is homeomorphic to a point or a compact interval.
Proof
By Theorem 1.4, the evaluation map \({{\mathrm{ev}}}_x:{{\mathrm{CEmb}}}(X,Y,h) \rightarrow Y\) sending f to f(x) is a homeomorphism onto its image V(x). Moreover, V(x) is either a point or a compact interval since Y is not a torus and h is not cyclic. The restriction of the universal covering map \(\pi _Y : \widetilde{Y} \rightarrow Y\) to \({{\mathrm{Blob}}}(x,X,Y,h)\) is a homeomorphism onto its image V(x) with inverse \({{\mathrm{lift}}}_x \circ {{\mathrm{ev}}}_x^{1}\). \(\square \)
We will see that \({{\mathrm{Blob}}}(x,X,Y,h)\) is not much more complicated when \({{\mathrm{CEmb}}}(X,Y,h)\) does not contain any slit mapping. Let us recall hypothesis (\(\mathbf{H'}\)) from the introduction:

\(h:X \rightarrow Y\) is a generic embedding between finite Riemann surfaces;

\(\partial X \ne \varnothing \);

\({{\mathrm{CEmb}}}(X,Y,h)\) is nonempty and does not contain any slit mapping.
Assume hypothesis (\(\mathbf{H'}\)). Since \({{\mathrm{CEmb}}}(X,Y,h)\) is compact (Lemma 3.1) and connected (Theorem 1.6), and since \({{\mathrm{lift}}}_x\) is continuous (Lemma 6.4), the set \({{\mathrm{Blob}}}(x,X,Y,h)\) is compact and connected for any \(x \in X\). Our goal is to show that the blob is homeomorphic to a closed disk (Theorem 1.7). The strategy of the proof is to analyze the boundary of the blob. We will show that every point in \(\partial {{\mathrm{Blob}}}(x,X,Y,h)\) is attained by a special kind of map in \({{\mathrm{CEmb}}}(X,Y,h)\) which we call a slit mapping rel x.
Definition 6.7
Let \(h:X \rightarrow Y\) be a topological embedding between finite Riemann surfaces and let \(x \in X\). We say that a map \(f \in {{\mathrm{Map}}}(X,Y,h)\) is a Teichmüller embedding rel x if the restriction \(f^\star :X{\setminus }\{x\} \rightarrow Y{\setminus }\{f(x)\}\) is a Teichmüller embedding. A slit mapping rel x is a Teichmüller embedding rel x which is conformal.
The distinction to make here is that the initial and terminal quadratic differentials of f are allowed to have simple poles at x and f(x) respectively. For example, there are no slit mappings into the triplypunctured sphere, but plenty of slit mappings relative to a point.
In order to characterize the boundary points of the blob, we first need a standard construction for pushing a point around on a Riemann surface. To paraphrase [11, p.97]: imagine placing your finger on a surface and pushing it along a smooth path, dragging the rest of the surface along as you go. The diffeomorphism obtained at the end is called a pointpushing diffeomorphism.
Lemma 6.8
Let Y be any Riemann surface and let \(\gamma :[0,1] \rightarrow Y\) be a smooth immersion. There exists an isotopy \(H: Y \times [0,1] \rightarrow Y\) through quasiconformal diffeomorphisms such that \(H(y,0)=y\) for every \(y \in Y\) and \(H(\gamma (0),t)=\gamma (t)\) for every \(t \in [0,1]\).
Proof
First assume that \(\gamma \) embedded. Extend the vector field \(\gamma _*(\partial /\partial t)\) to a smooth vector field V supported in a tubular neighborhood of \(\gamma ([0,1])\), and define H to be the vector flow along V. For each \(t \in [0,1]\), the map \(y \mapsto H(y,t)\) is a diffeomorphism which is the identity outside a compact set, hence is quasiconformal.
If \(\gamma \) is not embedded, break it up into finitely many embedded subarcs \(\gamma _j\), then construct an isotopy \(H_j\) on each corresponding subinterval \([a_{j1},a_j]\) using the above method. The isotopy H(y, t) is defined as \(H_1(y,t)\) for \(t \in [a_0,a_1]\), then \(H_2(H_1(y,a_1),t)\) for \(t \in [a_1, a_2]\) and so on, picking up where we left off at each step. \(\square \)
Given a smooth immersion \(\gamma :[0,1] \rightarrow Y\) into a Riemann surface and an isotopy H as in Lemma 6.8, we say that \(y \mapsto \mathcal {P}_\gamma (y):=H(y,1)\) is a pointpushing diffeomorphism along \(\gamma \). By definition, \(\mathcal {P}_\gamma \) is isotopic to the identity and satisfies \(\mathcal {P}_\gamma (\gamma (0))=\gamma (1)\). Of course, \(\mathcal {P}_\gamma \) depends on the specific choice of H but its isotopy class rel \(\gamma (0)\) only depends on the homotopy class of \(\gamma \) by the Birman exact sequence [11, Theorem 4.6].
Here are two elementary observations. If \(h:X \rightarrow Y\) is a generic map between Riemann surfaces and \(\gamma : [0,1] \rightarrow Y\) is an immersed curve such that \(\gamma (0)=h(x)\), then \({{\mathrm{lift}}}_x(\mathcal {P}_\gamma \circ h)=[\gamma ]\) by definition. Secondly, if two maps f and g in \({{\mathrm{Map}}}(X,Y,h)\) are homotopic rel x, then obviously \({{\mathrm{lift}}}_x(f)={{\mathrm{lift}}}_x(g)\). The converse is also true, as can be seen using pointpushing on Y. Thus \({{\mathrm{lift}}}_x\) detects when two homotopic maps are homotopic rel x.
We say that a map \(f \in {{\mathrm{Map}}}(X,Y,h)\) realizes a point \(c \in \widetilde{Y}\) if \({{\mathrm{lift}}}_x(f)=c\). We can now prove that points outside the blob are realized by Teichmüller embeddings rel x, provided that there is some quasiconformal embedding in the homotopy class of h.
Lemma 6.9
Let \(h:X \rightarrow Y\) be a generic quasiconformal embedding between finite Riemann surfaces, let \(x \in X\), and let \(c \in \widetilde{Y} {\setminus } {{\mathrm{Blob}}}(x,X,Y,h)\). Then there exists a unique Teichmüller embedding f rel x homotopic to h such that \({{\mathrm{lift}}}_x(f)=c\).
Proof
Let \(\gamma : [0,1]\rightarrow Y\) be a smooth immersed curve in c, for example the hyperbolic geodesic, and let \(\mathcal {P}_\gamma \) be a quasiconformal pointpushing diffeomorphism along \(\gamma \). Then \(\mathcal {P}_\gamma \circ h\) is a quasiconformal embedding homotopic to h such that \({{\mathrm{lift}}}_x(\mathcal {P}_\gamma \circ h) = [\gamma ] = c\). Let \(f^\star :X{\setminus }\{x\} \rightarrow Y{\setminus }\{ \gamma (1) \}\) be a quasiconformal embedding homotopic to the restriction of \(\mathcal {P}_\gamma \circ h\) with minimal dilatation (Corollary 3.2) and let \(f:X \rightarrow Y\) be its extension. Since f is homotopic to \(\mathcal {P}_\gamma \circ h\) rel x, we have \({{\mathrm{lift}}}_x(f) = {{\mathrm{lift}}}_x(\mathcal {P}_\gamma \circ h)=c\).
Suppose that \(f^\star \) is conformal. Then \(f\in {{\mathrm{CEmb}}}(X,Y,h)\) so that \(c={{\mathrm{lift}}}_x( f)\) belongs to \({{\mathrm{Blob}}}(x,X,Y,h)\), contrary to our assumption. By Theorem 3.11, \(f^\star \) is a Teichmüller embedding, so that f is a Teichmüller embedding rel x.
If g is another Teichmüller embedding rel x homotopic to h such that \({{\mathrm{lift}}}_x(g)=c\), then g is homotopic to f rel x. Thus the restrictions \(g^\star \) and \(f^\star \) to \(X{\setminus }\{x\} \rightarrow Y {\setminus } \{\gamma (1)\}\) are homotopic Teichmüller embeddings with an essential puncture, and we conclude that \(g=f\) by Remark 4.3. \(\square \)
We deduce that points on the boundary of the blob are realized by slit mappings rel x.
Proposition 6.10
Assume (\(\mathbf{H'}\)), let \(x \in X\) and let \(c \in \partial {{\mathrm{Blob}}}(x,X,Y,h)\). Then there is a unique \(f \in {{\mathrm{CEmb}}}(X,Y,h)\) such that \({{\mathrm{lift}}}_x(f)=c\). Moreover, f is a slit mapping rel x. If \(\varphi \) and \(\psi \) are initial and terminal quadratic differentials for f rel x, then \(\varphi \) has a simple pole at x and \(\psi \) has a simple pole at f(x).
Proof
Since \({{\mathrm{Blob}}}(x,X,Y,h)\) is closed, c belongs to \({{\mathrm{Blob}}}(x,X,Y,h)\). Hence there exists some \(f \in {{\mathrm{CEmb}}}(X,Y,h)\) such that \({{\mathrm{lift}}}_x(f)=c\).
Let \(\{c_n\}_{n=1}^\infty \) be a sequence in \(\widetilde{Y} {\setminus } {{\mathrm{Blob}}}(x,X,Y,h)\) such that \(c_n \rightarrow c\) as \(n \rightarrow \infty \). Then \(Y {\setminus } \{\pi _Y(c_n)\}\) converges to \(Y{\setminus }\{\pi _Y(c)\}\) as \(n \rightarrow \infty \), where we can take markings to be the identity outside of a small neighborhood of \(\pi _Y(c)\). By the previous lemma, there exists a Teichmüller embedding \(f_n:X \rightarrow Y\) rel x homotopic to h such that \({{\mathrm{lift}}}_x(f_n)=c_n\). By Lemma 5.4, we can extract a subsequence of the restrictions \(f_n^\star : X{\setminus }\{x\} \rightarrow Y {\setminus } \{\pi _Y(c_n)\}\) converging to a Teichmüller embedding \(g: X{\setminus } \{x\} \rightarrow Y{\setminus }\{\pi _Y(c)\}\) which is homotopic to the restriction \(f^\star \) of f. As \(f^\star \) is conformal, it is a slit mapping by Theorem 3.13, so that f is a slit mapping rel x. For any \(g \in {{\mathrm{CEmb}}}(X,Y,h)\) realizing c, we have that g is homotopic to f rel x. Hence \(g=f\) by Theorem 3.13 and Remark 4.3.
Suppose that \(\psi \) does not have a pole at y. Then f is an honest slit mapping from X to Y. But we assumed that \({{\mathrm{CEmb}}}(X,Y,h)\) does not contain any slit mapping. Therefore \(\psi \) has a simple pole at f(x) and \(\varphi =f^*\psi \) has a simple pole at x. \(\square \)
Assume hypothesis (\(\mathbf{H'}\)) and let \(x \in X\). Suppose that \(c\in \partial {{\mathrm{Blob}}}(x,X,Y,h)\) and that \(f\in {{\mathrm{CEmb}}}(X,Y,h)\) realizes c. We say that any quadratic differential \(\psi \in \mathcal {Q}^+(Y {\setminus } \{f(x)\})\) with respect to which f is a slit mapping rel x realizes c as well. Even though f is unique by Proposition 6.10, \(\psi \) need not be unique up to scale (see Remark 3.14). Nevertheless, the set of quadratic differentials realizing a given point \(c\in \partial {{\mathrm{Blob}}}(x,X,Y,h)\) is convex.
Lemma 6.11
Assume hypothesis (\(\mathbf{H'}\)). Suppose that \(\psi _0\) and \(\psi _1\) in \(\mathcal {Q}^+(Y{\setminus }\{y\})\) realize \(c\in \partial {{\mathrm{Blob}}}(x,X,Y,h)\) where \(y = \pi _Y(c)\). Then for every \(\alpha ,\beta >0\) the quadratic differential \(\alpha \psi _0 + \beta \psi _1\) belongs to \(\mathcal {Q}^+(Y{\setminus }\{y\})\), realizes c, and has a simple pole at y.
Proof
Let f be the slit mapping realizing c. Then \(\psi :=\alpha \psi _0 + \beta \psi _1\) is \(\ge 0\) along any arc in \(\widehat{Y} {\setminus } f(X)\) so that f is a slit mapping rel x with respect to \(\psi \). If \(\psi \) does not have a pole at y, then f is a slit mapping from X to Y, contradicting hypothesis (\(\mathbf{H'}\)). \(\square \)
We will see that any \(\psi \in \mathcal {Q}^+(Y{\setminus }\{\pi _Y(c)\})\) which realizes c tells us something about the shape of \({{\mathrm{Blob}}}(x,X,Y,h)\) near c. More precisely, \(\psi \) can be used to find a region \(U\subset \widetilde{Y}\) of forbidden values for the maps in \({{\mathrm{CEmb}}}(X,Y,h)\), that is, disjoint from \({{\mathrm{Blob}}}(x,X,Y,h)\). The idea is that if we push \(\pi _Y(c)\) in some directions, then a certain quantity goes up, while it cannot increase under conformal embedding. This quantity is extremal length.
Extremal length of partial measured foliations
There are several equivalent ways to define the extremal length of a measured foliation. We follow the approach developed in [15] and [16].
A map will be called almostsmooth if it is continuous and continuously differentiable except perhaps at finitely many points.
Definition 7.1
A partial measured foliation \(F=\{(U_j,v_j)\}_{j \in J}\) on a Riemann surface X is a collection of open sets \(U_j \subset X\) together with almostsmooth functions \(v_j: U_j \rightarrow \mathbb {R}\) satisfying
on \(U_j \cap U_k\), where \(c_{jk}\) is locally constant. The set \(U = \bigcup _j U_j\) is called the support of F. Since \(\mathrm {d}v_j=\mathrm {d}v_k\) on \(U_j\cap U_k\), these patch up to a welldefined object \(\mathrm {d}v\) on U called the transverse measure of F. The leaves of F are the maximal connected subsets of U on which each \(v_j\) is locally constant. We will write F or \(\mathrm {d}v\) interchangeably.
Remark 7.2
This is much weaker that usual notion of measured foliation [12]. For one thing, the support does not have to be the complement of a finite set. Moreover, the leaves are not required to be 1dimensional submanifolds; they can be thick. In practice, we will only deal with partial measured foliations which are measured foliations on a subsurface.
Remark 7.3
We could relax the regularity condition on the functions \(v_j\) and only assume that they belong to the Sobolev space \(W^{1,2}(U_j)\). This would be more natural from the point of view of quasiconformal maps. For the sake of simplicity we will stick to the almostsmooth condition.
For example, if \(\varphi \) is a quadratic differential and \(U_j\) is a simply connected domain on which \(\varphi \) does not have any singularities, then the function
is welldefined on \(U_j\) up to an additive constant and sign. The resulting partial measured foliation \(\mathcal {F}^h\varphi =\mathrm {d}v={{\mathrm{Im}}}\sqrt{\varphi }\) is the horizontal foliation of \(\varphi \). Its leaves are the regular horizontal trajectories of \(\varphi \).
The Dirichlet energy of a partial measured foliation \(F=\mathrm {d}v\) with support U is
where the gradient \(\nabla v\) (only defined up to sign) is computed with respect to any conformal Riemannian metric on X with corresponding area form \(\mathrm {d}A\). Alternatively, we can write
where \(z=x+iy\) is any conformal coordinate.
For example, if \(\varphi \) is a holomorphic quadratic differential on X and \(\mathcal {F}^h\varphi \) is its horizontal foliation, then
as can be seen by computing the Dirichlet energy in natural coordinates where \(\varphi =\mathrm {d}z^2\) and \(v(x+iy)=\pm \,y + c\).
A crosscut on a Riemann surface X is a proper arc \(\alpha : (0,1) \rightarrow X\). Two crosscuts are homotopic if there is a homotopy through crosscuts between them. The height of a homotopy class c of closed curves or crosscuts in X with respect to a partial measured foliation \(F=\mathrm {d}v\) is the quantity
where the infimum is taken over all piecewise smooth curves \(\alpha \in c\), and where \(\mathrm {d}v\) is extended to be zero outside its support.
Given partial measured foliations F and G on a Riemann surface X, we say that G dominates F if
for every homotopy class c of closed curves or crosscuts in X. Two partial measured foliations are measure equivalent if they dominate each other, i.e., if they have the same heights.
Definition 7.4
The extremal length of a partial measured foliation F on a Riemann surface X is defined as
This is not the standard definition of extremal length. However, if F is a measured foliation (not partial) on a finite Riemann surface X, then \({{\mathrm{EL}}}(F , X)\) is the norm of the unique holomorphic quadratic differential \(\Phi (F,X)\) on X with the same heights as F (this is often taken as a definition). The existence and uniqueness of \(\Phi (F,X)\) is due to Hubbard and Masur [19], but what interests us here is its minimizing property.
Theorem 7.5
(The minimal norm property) Let X be a finite Riemann surface, let \(\varphi \in \mathcal {Q}(X) {\setminus } \{0\}\), and let \(\mathcal {F}^h\varphi \) be the horizontal foliation of \(\varphi \). Then
That is,
for every partial measured foliation G on X which dominates \(\mathcal {F}^h\varphi \).
This is proved in [26, Theorem 3.2] (see also [39, Chapter VII]). There the result is stated for partial measured foliations G whose support has a discrete complement, but this hypothesis is not used anywhere in the proof. The idea of the proof is to look at the vertical foliation \(\mathcal {F}^v\varphi \) which splits up into rectangles, cylinders and minimal components. If \(\lambda \) is a vertical leaf which is a crosscut or a closed curve, then \(\int _\lambda \mathrm {d}\mathcal {F}^h\varphi = {{\mathrm{height}}}(\lambda ,\mathcal {F}^h\varphi ) \le \int _\lambda \mathrm {d} G.\) There is a similar inequality for minimal components, but one needs to pick a horizontal transversal and do a surgery on vertical leafs to obtain closed curves. The result is obtained by integrating these 1dimensional inequalities against the leaf space and applying the Cauchy–Schwarz inequality. This is a sophisticated version of the socalled “lengtharea argument”.
Pushing forward
If \(f: X \rightarrow Y\) is an almostsmooth embedding between Riemann surfaces and \(F=\{(U_j,v_j)\}_{j \in J}\) is a partial measured foliation on X, then the pushforward \(f_*F = \{(f(U_j),v_j \circ f^{1})\}_{j \in J}\) is a partial measured foliation on Y. This justifies our preference for partial measured foliations over measured foliations: we will push them forward by conformal embeddings.
Remark 7.6
The notion of heights induces a topology on the set of (measure equivalence classes of) partial measured foliations on a finite Riemann surface. The reader should be warned that the pushforward operator is not continuous with respect to that topology [24, Example 4.4].
A standard calculation shows that Dirichlet energy increases by a factor at most K under almostsmooth Kquasiconformal embeddings [2, p. 14]. As a consequence, extremal length increases by a factor at most K under such maps. In particular, extremal length does not increase under conformal embeddings.
Lemma 7.7
Let \(f: X \rightarrow Y\) be an almostsmooth Kquasiconformal embedding between finite Riemann surfaces and let \(\varphi \in \mathcal {Q}(X) {\setminus } \{0\}\). Then
Proof
Let \(\zeta = \sigma + i \tau \) be a conformal coordinate on f(X) and let \(z=x+iy\) be a conformal coordinate at \(f^{1}(\zeta )\). Since f is Kquasiconformal, we have
Let \(v(z)= {{\mathrm{Im}}}\int _{z_0}^z \sqrt{\varphi }\) so that \(\mathrm {d} v = {{\mathrm{Im}}}\sqrt{\varphi } = \mathcal {F}^h\varphi \). We compute
It follows that
where the last equality holds by Theorem 7.5. \(\square \)
Remark 7.8
It would be desirable to have this for any partial measured foliation F on X, but one runs into a difficulty: it is not clear that \(f_* G\) dominates \(f_* F\) if G dominates F. See Lemma 7.10 for a similar statement which sounds obvious but is not entirely straightforward.
The previous inequality is sharp as the case of Teichmüller embeddings illustrates.
Lemma 7.9
Let \(f:X\rightarrow Y\) be a Teichmüller embedding of dilatation K with initial and terminal quadratic differentials \(\varphi \) and \(\psi \). Then \(f_*\mathcal {F}^h\varphi \) is measure equivalent to \(\mathcal {F}^h\psi \) on Y and we have
Proof
We have \(\mathcal {F}^h\psi =f_*\mathcal {F}^h\varphi \) on f(X) since \(f(x+iy)=Kx+iy\) in natural coordinates. Moreover, since \(Y {\setminus } f(X)\) is a finite union of horizontal arcs and points, the integral of \(\mathcal {F}^h\psi \) is zero along any piece of curve contained in this set. For any piecewise smooth curve \(\alpha \) in Y, we thus have
where \(\chi _A\) is the characteristic function of the set A. Therefore \(\mathcal {F}^h\psi \) and \(f_*\mathcal {F}^h\varphi \) are measure equivalent, which implies that they have the same extremal length. By Lemma 7.7, the inequality
holds and by Theorem 7.5 we have \({{\mathrm{EL}}}(\mathcal {F}^h\psi ,Y)=\Vert \psi \Vert \) and \({{\mathrm{EL}}}(\mathcal {F}^h\varphi ,X)=\Vert \varphi \Vert \). We also have \(\Vert \psi \Vert =K\Vert \varphi \Vert \) since f stretches horizontally by a factor K and f(X) has full measure in Y. Putting everything together, we get
and hence equality holds. \(\square \)
We will need a sufficient condition for when the pushforwards of a measured foliation by two homotopic embeddings are measure equivalent. We say that an embedding \(f: X \rightarrow Y\) between finite Riemann surfaces is tame if it is almostsmooth and extends to a continuous map \(\widehat{f}: \widehat{X} \rightarrow \widehat{Y}\) which is piecewise smooth along \(\partial X\). For example, every Teichmüller embedding is tame.
Lemma 7.10
Let \(f,g: X \rightarrow Y\) be homotopic tame embeddings between finite Riemann surfaces and let \(\varphi \in \mathcal {Q}^+(X)\). Then \(f_*\mathcal {F}^h\varphi \) and \(g_*\mathcal {F}^h\varphi \) are measure equivalent on Y.
It is important that we take \(\varphi \) in \(\mathcal {Q}^+(X)\) and not just in \(\mathcal {Q}(X){\setminus } \{0\}\). We want the transverse measure of each boundary component to be zero.
Proof
Let \(F = \mathcal {F}^h\varphi \). By symmetry, it suffices to show that \(f_*F\) dominates \(g_*F\). Let \(\alpha \) be a piecewise smooth closed curve or crosscut in Y. Given \(\varepsilon > 0\), we have to find a closed curve or crosscut \(\beta \) homotopic to \(\alpha \) such that
If \(\alpha \) is contained in f(X), then we can just take \(\beta = g \circ f^{1}(\alpha )\). The difficulty is when \(\alpha \) intersects \(Y {\setminus } f(X)\).
If \(\int _\alpha f_* F=\infty \) there is nothing to show, so assume the integral is finite. Then there is only a finite number n of components of \(f^{1}(\alpha )\) which are essential in X in the sense that they cannot be homotoped into an arbitrarily small neighborhhood of \(\partial X \cup {\dot{X}}\). Let \(\delta = \varepsilon /(8n)\) and let \(X^\delta \) be \(\widehat{X}\) minus a \(\delta \)neighborhood of \(\partial X \cup {\dot{X}}\) in the metric \(\varphi \). The map \(g\circ f^{1}: f(X^\delta ) \rightarrow g(X^\delta )\) can be extended to an almostsmooth homeomorphism \(H: Y \rightarrow Y\) homotopic to the identity (see [27, Lemma 2]).
We will take \(\beta \) to be a modified version of \(H(\alpha )\). First, each inessential component of \(H(\alpha ) \cap g(X)\) can be homotoped within g(X) to an arc contained in \(g(X{\setminus }X^\delta )\) having arbitrarily small transverse measure with respect to \(g_* F\). Even if there are infinitely many such inessential components, we can make sure that their total transverse measure is at most \(\varepsilon /2\). Let \(\gamma \) be the curve obtained after having done this.
Next, we homotope each essential component c of \(\gamma \cap g(X {\setminus } X^\delta )\), within \(g(X{\setminus }X^\delta )\), to an arc having transverse measure at most \(2 \delta \), while keeping endpoints fixed. This is possible since the height of each component of \(X{\setminus }X^\delta \) is \(\delta \). Moreover, no matter how many times \(g^{1}(c)\) winds around the annular component of \(X {\setminus } X^\delta \) in which it is contained, we can push this winding part toward \(\partial X \cup {\dot{X}}\). In doing so, the transverse measure of the winding part tends to zero and is thus eventually less than \(\delta \), for a total of at most \(2 \delta \). There are 2n such components—two for each essential component of \(\gamma \cap g(X)\)—for a total transverse measure of \((2n)(2\delta ) = \varepsilon /2\).
Let \(\beta \) be the curve obtained after having done these two modifications. Then inequality (2) holds since \(\beta {\setminus } g(X)\) has measure zero, \(\beta \cap g(X {\setminus } X^\delta ) \) contributes at most \(\varepsilon /2+\varepsilon /2 = \varepsilon \), and \(\beta \cap g(\overline{X^\delta })\) is the image by \(g \circ f^{1}\) of a subset of \(\alpha \) so its transverse measure with respect to \(g_*F\) is at most the transverse measure of \(\alpha \) with respect to \(f_* F\). \(\square \)
The blob is semismooth
In this section, we show that each quadratic differential realizing a point on the boundary of \({{\mathrm{Blob}}}(x,X,Y,h)\) determines a vector normal to the blob and vice versa. We use this to prove that the blob satisfies a certain regularity condition near its boundary which we call semismoothness. We first need the following formula for the derivative of extremal length [14, Theorem 8].
Theorem 8.1
(Gardiner’s formula) Let S be a finite Riemann surface and let F be a measured foliation on S. Then the function^{Footnote 9} \(Z\mapsto {{\mathrm{EL}}}(F,Z)\) is differentiable on \(\mathcal {T}(S)\). Its derivative at \(Z \in \mathcal {T}(S)\) in the direction \(\mu \in T_Z \mathcal {T}(S)\) is
where \(\varphi \in \mathcal {Q}(Z)\) is the unique quadratic differential such that \({\mathcal {F}}^h \varphi \) is measure equivalent to F.
We apply this formula along a curve \(Z_t= Y{\setminus }\{\gamma (t)\}\) for some analytic path \(\gamma : I \rightarrow Y\), where Y is a finite hyperbolic surface. It is implicit here that the change of marking \(Z_0 \rightarrow Z_t\) is given by pointpushing along \(\gamma \). In this case, the pairing \(\langle \mu , \varphi \rangle \) is proportional to the real part of the residue of \(\varphi \) in the direction of \(\gamma '(0)\). See [28] for a similar but more general calculation.
Lemma 8.2
Let Y be a finite hyperbolic surface, let \(\gamma : (1,1) \rightarrow Y\) be an analytic arc and let \(Z_t=Y{\setminus }\{\gamma (t)\}\). Then the derivative \(\mu \) of \(Z_t\) at \(t=0\) satisfies
for every \(q \in \mathcal {Q}(Z_0)\).
Proof
We may assume that \(\gamma \) is embedded by restricting to a subinterval. Since \(\gamma \) is analytic, the vector field \(\gamma _*(\partial /\partial t)\) can be extended to a holomorphic vector field \(\mathbf {v}\) on an embedded round disk \(D \subset Y\) centered at \(y=\gamma (0)\). Let E be another round disk of smaller radius centered at y and let \(\phi \) be a smooth bump function which is equal to 1 on E and 0 outside D. Then \(\phi \mathbf {v}\) is a smooth vector field defined on all of Y. Let \(\Phi _t\) be the timet flow for \(\phi \mathbf {v}\) and let \(\nu (t) = \overline{\partial } \Phi _t/\partial \Phi _t \). Then for small enough t, we have \(\Phi _t(\gamma (0))=\gamma (t)\) by construction so the derivative \(\mu \) to the path \(t \mapsto Y{\setminus }\{\gamma (t)\}\) at \(t=0\) coincides with \(\nu '(0) = \overline{\partial }(\phi \mathbf {v})\). We compute
The equality from the first line to the second is by Green’s theorem and the change of sign in the next equality comes from reversing orientation on \(\partial E\). To conclude the proof, recall that \(\langle \mu , q \rangle = {{\mathrm{Re}}}\int _{Z_0} \mu q\) by definition. \(\square \)
Let Y be a finite hyperbolic surface and let \(y \in Y\). If \(\psi \in \mathcal {Q}(Y{\setminus } \{y\})\) has a simple pole at y, then there exists a tangent vector \(\mathbf {v} \in T_{y} Y\) (unique up to rescaling) such that \({{\mathrm{Res}}}_y(\psi \mathbf {v}) < 0\). We say that \(\mathbf {v}\) is vertical for \(\psi \). For example, if \(\psi = \frac{1}{z}\mathrm {d} z^2\) then \(\mathbf {v}=  \frac{\partial }{\partial z}\) is vertical at 0 since
A vector \(\mathbf {w}\in T_{y} Y\) is mostly vertical for \(\psi \) if \({{\mathrm{Re}}}[{{\mathrm{Res}}}_y(\psi \mathbf {w})] < 0\). If \(\mathbf {v}\) is vertical and \(\lambda \in \mathbb {C}\) then \(\lambda \mathbf {v}\) is mostly vertical if and only if \({{\mathrm{Re}}}\lambda > 0\). Thus the mostly vertical vectors are those that make an angle less than \(\pi /2\) with the vertical direction (here angles are measured with respect to the Riemann surface structure on Y, not the cone metric coming from \(\psi \)).
If we push y in a mostly vertical direction, then the extremal length of \(\mathcal {F}^h \psi \) will increase according to equations (3) and (4), at least for small time \(t<\delta \). The intuition for this is that if we push in mostly vertical directions, we stretch the leaves of \(\mathcal {F}^h\psi \) and compress them together, thereby increasing Dirichlet energy (see Fig. 6).
We will need a more uniform statement where \(\delta \) can be chosen independently of the direction. We can do this as long as we restrict to a compact set of angles. Given a point \(y \in Y\) and a tangent vector \(\mathbf {v} \in T_y Y\), let \(\gamma _{\mathbf {v}}: \mathbb {R}\rightarrow Y\) be the hyperbolic geodesic such that \(\gamma _{\mathbf {v}}'(0)=\mathbf {v}\). We will push y along these specific paths.
Lemma 8.3
Let Y be a finite hyperbolic surface and let \(y \in Y\). Suppose that \(\psi \in \mathcal {Q}(Y{\setminus } \{y\})\) has a simple pole at y and let \(\mathbf {v} \in T_y Y\) be vertical for \(\psi \). Then for every \(\theta _0 \in (0, \frac{\pi }{2})\) there exists a number \(\delta >0\) such that
for every \(\theta \in [\theta _0 , \theta _0]\) and every \(t \in (0,\delta )\).
Proof
Suppose not and let \(F =\mathcal {F}^h \psi \). Then there exist convergent sequences \(t_n{\searrow }0\) and \(\theta _n \rightarrow \theta _\infty \in [\theta _0 , \theta _0]\) as \(n \rightarrow \infty \) such that
for every \(n \in \mathbb {N}\).
For \(\mathbf {w} \in T_y Y\) let \(\mu _{\mathbf {w}}\) be the derivative of the path \(t \mapsto Y{\setminus }\{ \gamma _{\mathbf {w}}(t)\}\) at \(t=0\). Then \( \mu _{e^{i\theta _n}\mathbf {v}} \rightarrow \mu _{e^{i\theta _\infty }\mathbf {v}}\) as \(n \rightarrow \infty \) by equation (4). Since \(Z \mapsto {{\mathrm{EL}}}(F, Z)\) is differentiable at \(Z=Y{\setminus }\{ y \}\) we have that
as \(n \rightarrow \infty \). But the lefthand side is nonpositive for each n while
This is a contradiction.\(\square \)
Let us introduce some more terminology. Given \(z \in \mathbb {C}\), \(\mathbf {v}\in T_z \mathbb {C}{\setminus }\{0\}\), \(\theta \in (0,\pi )\), and \(\delta >0\), we denote by the open angular sector based at z with radius \(\delta \) and angle \(\theta \) on either side of \(\mathbf {v}\). In symbols,
Definition 8.4
Let \(B\subset \mathbb {C}\) be closed. A vector \(\mathbf {v} \in T_z \mathbb {C}\) with \(z\in B\) is normal to B if \(\mathbf {v}\ne 0\) and if there are angular sectors arbitrarily close to halfdisks pointing in the direction of \(\mathbf {v}\) which are disjoint from B. More precisely, \(\mathbf {v}\) is normal to B if \(\mathbf {v}\ne 0\) and if for every \(\theta \in (0,\frac{\pi }{2})\), there exists a \(\delta >0\) such that .
See Fig. 7 for some examples. Note that conformal homeomorphisms preserve normal vectors. Thus the definition extends to any Riemann surface. Furthermore, instead of Euclidean rays we can use geodesic rays for any conformal Riemannian metric (for example the hyperbolic metric if the surface is hyperbolic).
We are ready to prove that any quadratic differential realizing a point on the boundary of the blob determines a vector normal to the blob.
Proposition 8.5
(Vertical vectors are normal) Assume hypothesis (\(\mathbf{H'}\)). Let \(x \in X\), let \(c \in \partial {{\mathrm{Blob}}}(x,X,Y,h)\) and suppose that \(\psi \in \mathcal {Q}^+(Y {\setminus } \{\pi _Y(c)\})\) realizes c. If \(\mathbf {v}\in T_{c} \widetilde{Y}\) is vertical for \(\pi _Y^* \psi \), then \(\mathbf {v}\) is normal to \({{\mathrm{Blob}}}(x,X,Y,h)\).
Proof
Let \(f\in {{\mathrm{CEmb}}}(X,Y,h)\) be the slit mapping rel x realizing c provided by Proposition 6.10. Let \(y = \pi _Y(c) = f(x)\), let \(g: X{\setminus }\{x\} \rightarrow Y{\setminus }\{y\}\) be the restriction of f, let \(G = \mathcal {F}^h \psi \) on \(Y {\setminus } \{y\}\), let \(\varphi = g^* \psi \) and let \(F = \mathcal {F}^h \varphi \) on \(X{\setminus }\{x\}\). Also let \(\mathbf {w} = \mathrm {d}\pi _Y(\mathbf {v})\) so that \(\mathbf {w}\) is vertical for \(\psi \) at y.
Fix \(\theta _0 \in (0,\frac{\pi }{2})\). By Lemma 8.3, there exists a \(\delta >0\) such that for every \(\theta \in [\theta _0,\theta _0]\) and every \(t \in (0,\delta )\) we have
Since g is a slit mapping, G is measure equivalent to \(g_* F\) on \(Y{\setminus }\{y\}\) by Lemma 7.9. We also have \({{\mathrm{EL}}}(G, Y {\setminus }\{y\} )= \Vert \psi \Vert =\Vert \varphi \Vert ={{\mathrm{EL}}}(F, X{\setminus }\{x\} )\) by Theorem 7.5, so the above inequality translates to
Fix \(\theta \in [\theta _0,\theta _0]\) and \(t \in (0,\delta )\). Let \(\mathcal {P}\) be a quasiconformal pointpushing diffeomorphism along \(\gamma _{e^{i\theta }\mathbf {w}}([0,t])\). Recall that the lefthand side of (5) really stands for the extremal length of \((\mathcal {P}\circ g)_* F\) since \(\mathcal {P}: Y{\setminus }\{y\} \rightarrow Y {\setminus } \{ \gamma _{e^{i\theta }\mathbf {w}}(t) \}\) is our change of marking by convention (see footnote 9).
Suppose that there is a conformal embedding \(M: X{\setminus }\{x\} \rightarrow Y{\setminus }\{ \gamma _{e^{i\theta }\mathbf {w}}(t) \}\) homotopic to \(\mathcal {P}\circ g\). Then by Corollary 5.9, either M is a slit mapping or it is homotopic to a conformal embedding which extends analytically to the ideal boundary. In either case, M is homotopic to a tame conformal embedding N. By Lemma 7.10, \(N_*F\) and \((\mathcal {P}\circ g)_*F\) are measure equivalent on \(Y{\setminus }\{ \gamma _{e^{i\theta }\mathbf {w}}(t) \}\) which means that
On the other hand, \({{\mathrm{EL}}}(N_*F, Y{\setminus }\{ \gamma _{e^{i\theta }\mathbf {w}}(t) \}) \le {{\mathrm{EL}}}(F, X {\setminus } \{x\})\) by Lemma 7.7. We conclude that no such M exists.
Equivalently, the concatenation of c with \(\gamma _{e^{i\theta }\mathbf {w}}([0,t])\) does not belong to \({{\mathrm{Blob}}}(x,X,Y,h)\). Since this holds for every \(\theta \in [\theta _0,\theta _0]\) and every \(t \in (0,\delta )\), the open hyperbolic sector of radius \(\delta \Vert \mathbf {v}\Vert _{\widetilde{Y}}\) (the norm is with respect to the hyperbolic metric) and angle \(\theta _0\) on either side \(\mathbf {v}\) in \(\widetilde{Y}\) is disjoint from \({{\mathrm{Blob}}}(x,X,Y,h)\). Thus \(\mathbf {v}\) is normal to \({{\mathrm{Blob}}}(x,X,Y,h)\), as \(\theta _0 \in (0, \frac{\pi }{2})\) was arbitrary. \(\square \)
As a corollary, we obtain the converse of Proposition 6.10.
Corollary 8.6
Assume hypothesis (\(\mathbf{H'}\)) and let \(x \in X\). If \(f:X \rightarrow Y\) is a slit mapping rel x homotopic to h, then \({{\mathrm{lift}}}_x(f) \in \partial {{\mathrm{Blob}}}(x,X,Y,h)\).
Proof
Let \(c={{\mathrm{lift}}}_x(f)\). Since f is conformal, c belongs to \({{\mathrm{Blob}}}(x,X,Y,h)\). Let \(\psi \) be a terminal quadratic differential for f rel x. If \(\psi \) does not have a simple pole at \(y=f(x)\) then f is a slit mapping, contradicting the assumption that \({{\mathrm{CEmb}}}(X,Y,h)\) does not contain any. Thus \(\psi \) has a simple pole at y so that there exists a vector \(\mathbf {v} \in T_{c} \widetilde{Y}\) which is vertical for \(\pi _Y^*\psi \). We can apply the same reasoning as in the proof of Proposition 8.5 to conclude that \(\mathbf {v}\) is normal to \({{\mathrm{Blob}}}(x,X,Y,h)\). In particular, \(c \in \partial {{\mathrm{Blob}}}(x,X,Y,h)\). \(\square \)
We will also prove the converse of Proposition 8.5, namely that every vector normal to \({{\mathrm{Blob}}}(x,X,Y,h)\) is vertical with respect to some realizing quadratic differential. The first step is to strengthen Lemma 8.3 by allowing the point \(y \in Y\) and the quadratic differential \(\psi \) to vary inside a compact set. We have to be a little more careful about how to compare two surfaces \(Y {\setminus } \{ y_1\}\) and \(Y{\setminus }\{ y_2\}\) for \(y_1,y_2 \in Y\) though.
Remark 8.7
Let S be a finite hyperbolic surface and let \(s \in S\). Given \(Y \in \mathcal {T}(S)\) and \(y \in Y\), there is no canonical way to define a marking \(S{\setminus }\{s\} \rightarrow Y{\setminus }\{y\}\). However, if \(b \in Y\) is some basepoint, \(\widetilde{Y}\) is the universal cover of Y based at b, and \(f: S{\setminus }\{s\} \rightarrow Y{\setminus }\{b\}\) is a fixed marking, then pointpushing provides a continuous map \(\varTheta : \widetilde{Y} \rightarrow \mathcal {T}(S{\setminus }\{s\})\) as follows. We can represent any \(c \in \widetilde{Y}\) by a smooth immersed curve \(\gamma : [0,1] \rightarrow Y\) with \(\gamma (0)=b\). Let \(\mathcal {P}_\gamma \) be a quasiconformal pointpushing diffeomorphism along \(\gamma \), then define \(\varTheta (c)\) as the marked surface \(\mathcal {P}_\gamma \circ f: S {\setminus } \{s\} \rightarrow Y{\setminus }\{\pi _Y(c)\}\) in \(\mathcal {T}(S {\setminus } \{s\})\). We use these markings implicitly below.
Lemma 8.8
Let Y be a finite hyperbolic surface. Let \(\theta _0 \in (0, \frac{\pi }{2})\) and let K be a compact set of pairs \((c, \psi )\) where \(c\in \widetilde{Y}\) and \(\psi \in \mathcal {Q}(Y{\setminus }\{\pi _Y(c)\})\) has a simple pole at \(\pi _Y(c)\). There exists a number \(\delta >0\) such that \(\forall (c,\psi ) \in K\), \(\forall \theta \in [\theta _0,\theta _0]\) and \(\forall t \in (0,\delta )\) we have
where \(\mathbf {v}\) is the vertical vector for \(\psi \) at \(\pi _Y(c)\) rescaled to have norm 1 with respect to the hyperbolic metric.
Proof
The idea of the proof is the same as for Lemma 8.3. If the statement fails, then there exist convergent sequences \(t_n \searrow 0\), \((c_n, \psi _n) \rightarrow (c,\psi ) \in K\), \(\theta _n \rightarrow \theta \in [\theta _0,\theta _0]\) such that
for every \(n \in \mathbb {N}\), where \(\mathbf {v_n}\) is the unit vertical vector for \(\psi _n\) at \(\pi _Y(c_n)\). Since \(\psi _n \rightarrow \psi \) as \(n \rightarrow \infty \) we have that \(\mathbf {v_n} \rightarrow \mathbf {v}\) where \(\mathbf {v}\) is the unit vertical vector for \(\psi \) at \(\pi _Y(c)\). If \(\mu _n\) denotes the derivative of the path \(t \mapsto Y {\setminus } \{\gamma _{e^{i\theta _n} \mathbf {v}_n}(t)\}\) at \(t=0\) and \(\mu \) the derivative of \(t \mapsto Y{\setminus }\{\gamma _{e^{i\theta } \mathbf {v}}(t)\}\) at \(t=0\), then \(\mu _n \rightarrow \mu \) as \(n \rightarrow \infty \) since \(\theta _n \rightarrow \theta \) and \(\mathbf {v}_n \rightarrow \mathbf {v}\). In the limit, we have
The difference with Lemma 8.3 is that the measured foliations \(\mathcal {F}^h \psi _n\) are not constant, so we are looking at a sequence of functions rather than a single one.
Let \(b\in Y\) be our basepoint for the universal cover \(\pi _Y: \widetilde{Y} \rightarrow Y\). Recall that any \(c\in \widetilde{Y}\) determines a marking \(f_c: Y{\setminus }\{b\} \rightarrow Y{\setminus }\{\pi _Y(c)\}\). Thus the measured foliations \(F_n = f_{c_n} ^* (\mathcal {F}^h \psi _n)\) and \(F=f_c^*(\mathcal {F}^h \psi )\) all live on the same surface \(S = Y{\setminus }\{b\}\). Moreover \(F_n \rightarrow F\) in measure since \((c_n,\psi _n) \rightarrow (c,\psi )\) as \(n \rightarrow \infty \). Given a measured foliation G on S and \(Z \in \mathcal {T}(S)\), let \(\Phi (G,Z)\) be the quadratic differential on Z whose horizontal foliation is measure equivalent to G. By Hubbard–Masur [19], the map \({\mathcal {M}}{\mathcal {F}}(S) \times \mathcal {T}(S) \rightarrow T^* \mathcal {T}(S)\) sending (G, Z) to \(\Phi (G,Z)\) is continuous. Thus the function
depends continuously on G. Furthermore, its derivative
is continuous on \(T \mathcal {T}(S)\) and depends continuously on G.
Let \(\{x_n\}_{n=1}^\infty \) and \(\{y_n\}_{n=1}^\infty \) be sequences in \(\mathbb {R}^k\) such that \(x_n \rightarrow 0\), \(y_n \rightarrow 0\) and \(\frac{y_n  x_n}{y_n  x_n} \rightarrow v\) as \(n \rightarrow \infty \). Suppose that \(g_n,g: \mathbb {R}^k \rightarrow \mathbb {R}\) are \(C^1\) functions such that \(g_n \rightarrow g\) and \(\mathrm {d} g_n \rightarrow \mathrm {d}g\) uniformly on compact sets as \(n \rightarrow \infty \). Then
as \(n \rightarrow \infty \). One can show this using the fundamental theorem of calculus along the line segment between \(x_n\) and \(y_n\) for instance. By the previous paragraph, this criterion applies to the extremal length functions \(\varLambda _{F_n}\) and \(\varLambda _{F}\) on \(\mathcal {T}(S)\) (which is diffeomorphic to some \(\mathbb {R}^k\)) to conclude that
as \(n \rightarrow \infty \). This is a contradiction, since lefthand side is nonpositive for every \(n \in \mathbb {N}\) while the righthand side is positive. \(\square \)
The next observation that we need is that that any nonzero limit of a sequence of terminal quadratic differentials is a terminal quadratic differential for the limiting Teichmüller embedding.
Lemma 8.9
Let \(h: X \rightarrow Y\) be a generic embedding between finite Riemann surfaces and let \(x \in X\). Let \(f_n: X \rightarrow Y\) be a Teichmüller embedding rel x homotopic to h with unit norm terminal quadratic differential \(\psi _n\). Suppose that \({{\mathrm{lift}}}_x(f_n)\) converges to some \(c \in \widetilde{Y}\). Then there is a Teichmüller embedding f rel x homotopic to h with unit norm terminal quadratic differential \(\psi \) such that \(f_n \rightarrow f\) and \(\psi _n \rightarrow \psi \) as \(n \rightarrow \infty \) after passing to a subsequence.
Proof
Let \(K_n\) be the dilatation of \(f_n\). By hypothesis, the marked surface \(\varTheta ({{\mathrm{lift}}}_x(f_n))\) converges to \(\varTheta (c)\) in the Teichmüller space \(\mathcal {T}\) of Y minus a point, where \(\varTheta : \widetilde{Y} \rightarrow \mathcal {T}\) is the map from Remark 8.7. In particular, the sequence \(K_n\) is bounded so we may assume it converges to some \(K \ge 1\). By Lemma 5.4, there is a Teichmüller embedding f rel x homotopic to h such that \(f_n \rightarrow f\) after passing to a subsequence.
Let \(c_n = {{\mathrm{lift}}}_x(f_n)\). The set \(\{c\} \cup \{c_n\}_{n=1}^\infty \) is compact in \(\widetilde{Y}\) and so is its image by \(\varTheta \) in \(\mathcal {T}\). Since the set of unit cotangent vectors over a compact set in \(\mathcal {T}\) is compact, there is a quadratic differential \(\psi \in \mathcal {Q}(Y{\setminus }\pi _Y(c))\) such that \(\psi _n \rightarrow \psi \) after passing to a subsequence. We have to show that \(\psi \) is a terminal quadratic differential for f.
Let \(\varphi _n\) be the initial quadratic differential of \(f_n\) corresponding to \(\psi _n\). We may assume that \(\varphi _n\) converges to some \(\varphi \in \mathcal {Q}^+(X{\setminus }\{x\})\) since its norm \(1/K_n\) is bounded above and below. Suppose that \(z_0 \in X {\setminus }\{ x \}\) is not a zero of \(\varphi \). Then there is a compact simply connected neighborhood U of \(z_0\) on which \(\varphi \) does not vanish. If n is large enough, then \(\varphi _n\) does not have any zeros in U either. If \(V = f(U)\), then \(\psi \) and \(\psi _n\) do not have zeros in V when n is large enough. We can choose square roots consistently so that \(\sqrt{\varphi _n} \rightarrow \sqrt{\varphi }\) uniformly on U and \(\sqrt{\psi _n} \rightarrow \sqrt{\psi }\) uniformly on V. Then for every \(z \in U\) and every n we have
since \(f_n\) restricted to \(X{\setminus }\{x\}\) is a Teichmüller embedding of dilatation \(K_n\) with respect to \(\varphi _n\) and \(\psi _n\). Taking the limit as \(n \rightarrow \infty \) we get
which means that f is locally of Teichmüller form with respect to \(\varphi \) and \(\psi \). \(\square \)
Lastly, we will need the fact that the set of vectors which are vertical for some realizing quadratic differential at a given point is convex.
Lemma 8.10
Assume hypothesis (\(\mathbf{H'}\)). Let \(x \in X\), let \(c \in \partial {{\mathrm{Blob}}}(x,X,Y,h)\) and suppose that \(\psi _0,\psi _1 \in \mathcal {Q}^+(Y{\setminus } \{\pi _Y(c)\})\) realize c. If \(\mathbf {v}_0\) and \(\mathbf {v}_1\) are vertical for \(\psi _0\) and \(\psi _1\) respectively at \(y=\pi _Y(c)\), then there exist \(\alpha ,\beta > 0\) such that \(\mathbf {v}_0+\mathbf {v}_1\) is vertical for \(\alpha \psi _0 + \beta \psi _1\).
Proof
Take \(\alpha =  \frac{\mathbf {v}_0}{\mathbf {v}_1} {{\mathrm{Res}}}_y(\psi _1 \mathbf {v}_1)\) and \(\beta =  \frac{\mathbf {v}_1}{\mathbf {v}_0} {{\mathrm{Res}}}_y(\psi _0 \mathbf {v}_0)\). A calculation shows that \({{\mathrm{Res}}}_y((\alpha \psi _0 + \beta \psi _1)(\mathbf {v}_0+\mathbf {v}_1))\le 0\). By Lemma 6.11, the quadratic differential \(\alpha \psi _0 + \beta \psi _1\) has a simple pole at y. This implies that \(\mathbf {v}_0+\mathbf {v}_1\ne 0\) and hence that \({{\mathrm{Res}}}_y((\alpha \psi _0 + \beta \psi _1)(\mathbf {v}_0+\mathbf {v}_1))<0\). \(\square \)
We are now able to show that normal vectors are vertical.
Proposition 8.11
(Normal vectors are vertical) Assume (\(\mathbf{H'}\)) and let \(x \in X\). Suppose that \(\mathbf {v}\) is normal to \({{\mathrm{Blob}}}(x,X,Y,h)\) at some point c. Then there exists a quadratic differential \(\psi \in \mathcal {Q}^+(Y {\setminus } \pi _Y(c))\) realizing c such that \({\mathbf {v}}\) is vertical for \(\pi _Y^*\psi \).
Proof
Let \(V_c \subset T_c \widetilde{Y}\) denote the set of vectors which are vertical for the pullback of some quadratic differential realizing c. By Lemma 6.11 and Lemma 8.10, \(V_c\) is convex. Moreover \(V_c \cup \{0_c\}\) is closed by Lemma 8.9. Suppose that \({\mathbf {v}}\) is not in \(V_c\). Then there is an open halfplane H through the origin in \(T_c \widetilde{Y}\) containing \(V_c\) such that \({\mathbf {v}}\) is not in the closure \({\overline{H}}\). Let \(c_n\) be a sequence converging to c along the geodesic ray r which is normal to \({\overline{H}}\) at c. Since r makes an angle strictly less than \(\pi /2\) with \({\mathbf {v}}\) and since \({\mathbf {v}}\) is normal to \({{\mathrm{Blob}}}(x,X,Y,h)\), we may assume that \(c_n\) is not in \({{\mathrm{Blob}}}(x,X,Y,h)\) for any n. Let \(f_n\) be the Teichmüller embedding rel x realizing \(c_n\) provided by Lemma 6.9 and let \(\psi _n\) be its terminal quadratic differential, normalized to have norm 1.
We may assume that \(\psi _n\) converges to some \(\psi \in \mathcal {Q}^+(Y {\setminus } \pi _Y(c))\) and that \(f_n\) converges to a slit mapping f rel x with terminal quadratic differential \(\psi \) by Lemma 8.9. Indeed, the limit f is conformal since c belongs to \({{\mathrm{Blob}}}(x,X,Y,h)\). If \(\psi \) is holomorphic at \(\pi _Y(c)\), then f is a slit mapping on X, contrary to the assumption that \({{\mathrm{CEmb}}}(X,Y,h)\) does not contain any. Therefore \(\psi \) has a simple pole at \(\pi _Y(c)\), which implies that \(\psi _n\) has a simple pole at \(\pi _Y(c_n)\) for all but finitely many indices. Let \(\mathbf {w}_n\) be the unit vertical vector for \(\pi _Y^* \psi _n\) at \(c_n\). Then \(\mathbf {w}_n\) converges to the unit vertical vector \(\mathbf {w}\) for \(\pi _Y^*\psi \) at c. We have \(\mathbf {w} \in V_c \subset H\). We will see that this yields a contradiction.
Let \(\phi \in (0,\frac{\pi }{2}]\) be the angle between \(\mathbf {w}\) and the line \(\partial H\), and let \(\theta = \frac{\pi }{2}\frac{\phi }{2}\). By Lemma 8.8, there exists a number \(\delta >0\) such that \(\forall n\in \mathbb {N}\), \(\forall \alpha \in [\theta , \theta ]\) and \(\forall t \in (0, \delta )\) we have
On the other hand, since \(\mathbf {w}_n \rightarrow \mathbf {w}\), the angle between \(\mathbf {w}_n\) and the geodesic between \(c_n\) and c converges to the angle between \(\mathbf {w}\) and the ray opposite to r, that is, to \(\frac{\pi }{2}  \phi < \theta \). Thus if n is large enough then c belongs to the open hyperbolic sector of radius \(\delta \) and angle \(\theta \) on either side of \(\mathbf {w}_n\) (Fig. 8) so that
Let \(\varphi _n\) be the initial quadratic differential of \(f_n\) corresponding to \(\psi _n\) and let \(K_n>1\) be the dilatation of \(f_n\). By Lemma 7.9, \(\mathcal {F}^h\psi _n\) is measure equivalent to \((f_n)_* \mathcal {F}^h \varphi _n\) on \(Y {\setminus } \pi _Y(c_n)\). If we let \(\mathcal {P}_n: Y{\setminus } \{ \pi _Y(c_n)\} \rightarrow Y{\setminus } \{ \pi _Y(c)\}\) be the change of marking given by pointpushing, we get
when n is large enough, by the above inequality and Lemma 7.9. However, since f and \(\mathcal {P}_n \circ f_n\) are homotopic tame embeddings from \(X{\setminus }\{x\}\) to \(Y {\setminus } \{\pi _Y(c)\}\) and f is conformal, we have
by Lemmas 7.10 and 7.7. This is a contradiction, from which we conclude that \({\mathbf {v}}\) belongs to \(V_c\). \(\square \)
We finally come to the main result of this section, which is that the blob is semismooth.
Definition 8.12
A closed subset \(B\subset \mathbb {C}\) is semismooth if

for every \(z \in \partial B\), the set of normal vectors to B at z is nonempty and convex;

any nonzero limit of vectors normal to B (not necessarily at the same point) is normal to B.
For example, a 2dimensional manifold \(M\subset \mathbb {C}\) with \(C^1\) boundary is semismooth, as is any convex set with nonempty interior. A line segment is not semismooth because at interior points the set of normal vectors is not convex.
Theorem 8.13
(The blob is semismooth) Assume hypothesis (\(\mathbf{H'}\)). Then \({{\mathrm{Blob}}}(x,X,Y,h)\) is semismooth for any \(x \in X\).
Proof
For every \(c \in \partial {{\mathrm{Blob}}}(x,X,Y,h)\) the set of vectors which are normal to \({{\mathrm{Blob}}}(x,X,Y,h)\) at c coincides with the set \(V_c\) of vectors which are vertical for the pullback of some quadratic differential realizing c, according to Propositions 8.5 and 8.11. The set \(V_c\) is nonempty by Proposition 6.10 and convex by Lemma 6.11 and Lemma 8.10. Suppose that \(\{c_n\}_{n=1}^\infty \subset \partial {{\mathrm{Blob}}}(x,X,Y,h)\) is such that \(c_n \rightarrow c\), that \(\mathbf {v}_n\) is vertical for \(\pi _Y^* \psi _n\) where \(\psi _n\) realizes \(c_n\), and that \(\mathbf {v}_n \rightarrow \mathbf {v} \ne 0\) as \(n \rightarrow \infty \). By Lemma 5.4 we can rescale \(\psi _n\) and pass to a subsequence such that it converges to some \(\psi \) realizing c. We have \({{\mathrm{Res}}}_c((\pi _Y^*\psi )\mathbf {v}) \le 0\) since \({{\mathrm{Res}}}_{c_n}((\pi _Y^*\psi _n)\mathbf {v}_n) < 0\) for every n. Moreover, \(\psi \) must have a simple pole at \(\pi _Y(c)\) for otherwise \({{\mathrm{CEmb}}}(X,Y,h)\) would contain a slit mapping. This means that \({{\mathrm{Res}}}_c((\pi _Y^*\psi )\mathbf {v}) \ne 0\). Therefore \(\mathbf {v}\) is vertical for \(\pi _Y^*\psi \), hence normal to \({{\mathrm{Blob}}}(x,X,Y,h)\) by Proposition 8.5. \(\square \)
The blob is a disk
In this section, we complete the proof of Theorem 1.7 which says that the blob is homeomorphic to a closed disk under hypothesis (\(\mathbf{H'}\)). We first prove that every semismooth set is a manifold.
Theorem 9.1
(The aquatic theorem) Every closed semismooth subset of \(\mathbb {C}\) is a 2dimensional manifold with boundary.
Proof
Let B be a closed semismooth set. Every interior point of B has a neighborhood homeorphic to an open subset of \(\mathbb {C}\), namely the interior of B. Thus we only have to show that every boundary point \(z\in \partial B\) has a neighborhood homeomorphic to a halfdisk. By applying an isometry of the plane, we may assume that \(z=0\) and that the vector i bissects the cone \(N_0\) of vectors normal to B at 0. Let \(\phi \) be half the angle of \(N_0\), let \(\alpha = \phi + \frac{\pi }{2}\) and let \(\beta = \pi  \alpha \) (Fig. 9).
Since B is semismooth, we have \(\phi <\frac{\pi }{2}\) and hence \(\beta > 0\). Moreover, for every \(\theta \in (0,\alpha )\) there exists a \(\delta >0\) such that the open angular sector is disjoint from B (notation is as in the previous section). We now show the existence of closed sectors pointing downwards contained in B.
Claim
For every \(\theta \in (0,\beta )\), there exists a \(\delta > 0\) such that the closed angular sector is contained in B.
Proof of Claim
Suppose not. Then there exists a \(\theta \in (0,\beta )\) and a sequence \(\delta _n{\searrow }0\) for which the corresponding angular sector intersects the complement of B for every n. Let \(D_n\) be a closed disk in \(S_n\) disjoint from B. Slide the center of \(D_n\) in a straight line towards 0 until the disk first hits B, and let \(D_n^*\) be the resulting disk. The intersection points of \(D_n^*\) with B all lie on the half of \(\partial D_n^*\) which is closest to 0. Let \(z_n\) be any point in this intersection. Then \(z_n\) is on the boundary of B and the unit vector \(\mathbf {v}_n\) pointing from \(z_n\) to the center of \(D_n^*\) is normal to B (Fig. 10). Since \(S_n\) shrinks to 0, we have \(z_n \rightarrow z\). Each vector \(\mathbf {v}_n\) makes an angle at most \(\theta +\frac{\pi }{2}\) with the downward direction. Therefore, the vectors \(\mathbf {v}_n\) can only accumulate onto vectors forming an angle at least \(\beta  \theta \) with the cone \(N_0\). This contradicts the hypothesis that every limit of normal vectors is normal. \(\square \)
Let \(\theta ^+ \in (0, \alpha )\), let be disjoint from B, let \(\theta ^ \in (0,\beta )\), and let be contained in B. Let \(I \subset S^+ \) be a compact horizontal segment symmetric about the vertical line through 0 and lying entirely above \(S^\). We define a map \(p: I \rightarrow \partial B\) as follows. For \(z \in I\), let z fall straight down until it first hits B, and let p(z) be this first hitting point (Fig. 11). Note that \(p(x+iy)=x+iq(x,y)\) for some function q so that p is injective.
Claim
The map p is continuous on some subinterval \(J \subset I\) centered at the midpoint of I.
Proof of Claim
It is easy to see that p is continuous at the midpoint \(p^{1}(0)\). This is because p keeps the xcoordinate unchanged and moreover, p(z) is below \(S^+\) and above \(S^\). Thus the ycoordinate of p(z) converges to 0 as \(z \rightarrow p^{1}(0)\).
Let \(0<\varepsilon < \beta /2\). By semismoothness, there exists a \(\delta > 0\) such that if \(w\in \partial B\) is within distance \(\delta \) of 0, then every vector in \(N_w\) is within angle \(\phi + \varepsilon \) of the upward direction. For every \(w \in \partial B\) with \(w<\delta \), let \(\mathbf {v}_w\) be the bisector of \(N_w\) and let \(\phi _w\) be half the angle of \(N_w\). For every \(\theta _w^+ \in (0,\phi _w+\frac{\pi }{2})\) there is an open sector disjoint from B by definition of \(N_w\). Since
we may choose \(\theta _w^+\) so that \(S_w^+\) contains the vertical direction in its span. By the previous Claim, there is also a closed sector contained in B for every \(\theta _w^ \in (0, \frac{\pi }{2}  \phi _w)\). The angle that \(\mathbf {v}_w\) makes with the downward direction is equal to the angle that \(\mathbf {v}_w\) makes with the vertical direction, which is at most \(\phi +\varepsilon \phi _w\) hence strictly less than \(\frac{\pi }{2}  \phi _w\). Thus we may choose \(\theta _w^\) so that \(S_w^\) contains the downward direction in its interior (Fig. 11).
By continuity of p at \(p^{1}(0)\), there is a closed interval \(J \subset I\) centered at \(p^{1}(0)\) such that p(J) is contained in the ball of radius \(\delta \) about 0. Let \(z \in J\), let \(w=p(z)\), and let \(S_w^+\) and \(S_w^\) be angular sectors as described in the previous paragraph. Also let \(K \subset S_w^+\) be a compact horizontal segment crossing the vertical line through w and lying entirely above \(S_w^\). By construction, the vertical segment from z to w intersects B only at w. Since B is closed, we may assume that the rectangle with bottom edge K and upper edge \(L\subset I\) is disjoint from B, by making K shorter if necessary. For every \(\zeta \in L\), the image \(p(\zeta )\) is thus squeezed between \(S_w^+\) and \(S_w^\), so that p is continuous at z. \(\square \)
Thus p(J) is the graph of a continuous function. Let \(0<\delta <J/2\). For every \(z \in J\) with \(x < \delta \), draw the open vertical segment of length \(2 \delta \) centered at p(z), and let \(U_\delta \) be the union of those segments. The continuity of p implies that \(U_\delta \) is open.
Claim
If \(\delta \) is small enough, then the component of \(U_\delta {\setminus } p(J)\) above p(J) is disjoint from B and the component below p(J) is contained in B.
Proof of Claim
If \(\delta \) is small enough, then the component \(C^+\) of \(U_\delta {\setminus } p(J)\) above p(J) lies below J itself. By definition of p, for every \(z \in J\) the open vertical segment between z and p(z) is disjoint from B, so that \(C^+\) is disjoint from B.
For the component lying below p(J), we use the same idea as in the proof of the first Claim. Suppose that the result does not hold. Then there is a sequence \(\delta _n{\searrow }0\) such that for every n, there is a closed disk \(D_n\) contained in the component of \(U_{\delta _n}{\setminus }p(J)\) below p(J). Slide the center of \(D_n\) upwards until the disk first hits B, and let \(D_n^*\) be this hitting disk. Every intersection point of \(D_n^*\) with B is on the upper half of \(\partial D_n^*\). Let \(z_n\) be any point in that intersection. Then \(z_n\) is on the boundary of B and the unit vector \(\mathbf {v}_n\) pointing from \(z_n\) towards the center of \(D_n^*\) is normal to B. As \(n \rightarrow \infty \), we have \(z_n \rightarrow 0\). Moreover, the vectors \(\mathbf {v}_n\) only accumulate onto vectors forming an angle at least \(\frac{\pi }{2}\) with the upwards direction at 0, hence outside \(N_0\). This contradicts the semismoothness of B at 0. \(\square \)
By this last claim, if \(\delta \) is small enough then \(U_\delta \cap B\) is equal to the union of \(U_\delta \cap p(J)\) with the component of \(U_\delta {\setminus }p(J)\) below p(J). This neighborhood of z in B is clearly homeomorphic to the rectangle \((\delta ,\delta )\times (0,\delta ]\), which in turn is homeomorphic to a halfdisk. Thus B is a 2manifold with boundary.\(\square \)
Since \({{\mathrm{Blob}}}(x,X,Y,h)\) is semismooth under appropriate hypotheses, it is a 2manifold with boundary.
Corollary 9.2
Assume hypothesis (\(\mathbf{H'}\)). Then \({{\mathrm{Blob}}}(x,X,Y,h)\) is a compact, connected, 2manifold with boundary for any \(x \in X\).
Proof
\({{\mathrm{Blob}}}(x,X,Y,h)\) is compact and connected because \({{\mathrm{CEmb}}}(X,Y,h)\) is (Lemma 3.1 and Theorem 1.6) and \({{\mathrm{lift}}}_x\) is continuous (Lemma 6.4). It is semismooth by Theorem 8.13, hence a 2manifold with boundary by Theorem 9.1.\(\square \)
In particular, the blob is the closure of its interior. We use this to show that the blob depends continuously on parameters. We first need to define a topology on closed subsets of a space.
Let S be a topological space and let \({{\mathrm{CL}}}(S)\) be the hyperspace of closed subsets of S. The Fell topology on \({{\mathrm{CL}}}(S)\) is the topology generated by neighborhoods of the form \(N(K, {\mathcal {U}})\), where \(K\subset S\) is compact, \({\mathcal {U}}\) is a finite collection of open subsets of S, and \(N(K, {\mathcal {U}})\) is the set of \(A \in {{\mathrm{CL}}}(S)\) such that \(A \cap K = \varnothing \) and \(A \cap U \ne \varnothing \) for every \(U \in {\mathcal {U}}\).
Theorem 9.3
(Fell [13]) For any topological space S, the hyperspace \({{\mathrm{CL}}}(S)\) is compact. If S is locally compact, then \({{\mathrm{CL}}}(S)\) is Hausdorff.
If S is firstcountable and Hausdorff, then a sequence \(\{A_n\} \subset {{\mathrm{CL}}}(S)\) converges to \(A \in {{\mathrm{CL}}}(S)\) if and only if

for every \(a \in A\), there exist \(a_n \in A_n \) such that \(a_n \rightarrow a\);

for every sequence \(\{a_n\}\) with \(a_n \in A_n\), if \(\{a_n\}\) accumulates onto \(a \in S\), then \(a \in A\).
We use the Fell topology on closed subsets of \(\widetilde{Y} \cong \mathbb {D}\) where Y is a finite hyperbolic surface. To prove convergence, we mostly rely on Fell’s compactness theorem and the above criterion for sequences.
It is fairly clear that the blob depends upper semicontinuously on parameters. The same holds for its boundary.
Lemma 9.4
Suppose that \(h:X \rightarrow Y\) is a generic embedding between finite Riemann surfaces. Then \({{\mathrm{Blob}}}(z,Z,Y,h)\) and \(\partial {{\mathrm{Blob}}}(z,Z,Y,h)\) depend upper semicontinuously on \(Z{\setminus } \{z\} \in \mathcal {T}(X{\setminus } \{x\})\). More precisely, suppose that \(Z_n {\setminus } \{z_n \} \rightarrow Z{\setminus }\{z\}\) in \(\mathcal {T}(X{\setminus } \{x\})\), that \({{\mathrm{Blob}}}(z_n,Z_n,Y,h) \rightarrow A\) in \({{\mathrm{CL}}}(\widetilde{Y})\), and that \(\partial {{\mathrm{Blob}}}(z_n,Z_n,Y,h) \rightarrow B\) in \({{\mathrm{CL}}}(\widetilde{Y})\) as \(n \rightarrow \infty \). Then \(A \subset {{\mathrm{Blob}}}(z,Z,Y,h)\) and \(B \subset \partial {{\mathrm{Blob}}}(z,Z,Y,h)\).
Proof
Let \(c \in A\). By hypothesis there exist \(c_n \in {{\mathrm{Blob}}}(z_n,Z_n,Y,h)\) such that \(c_n \rightarrow c\) as \(n \rightarrow \infty \). Let \(f_n \in {{\mathrm{CEmb}}}(Z_n,Y,h)\) be such that \({{\mathrm{lift}}}_{z_n}(f_n)=c_n\). Let \(\sigma _n^\star : Z{\setminus } \{z\} \rightarrow Z_n{\setminus }\{z_n\}\) be the quasiconformal homeomorphism homotopic to the change of marking with minimal dilatation \(K_n\) and let \(\sigma _n: Z \rightarrow Z_n\) be its extension. By hypothesis, \(K_n\rightarrow 1\) as \(n\rightarrow \infty \). By Lemma 3.1, we may pass to a subsequence such that \(f_n \circ \sigma _n\) converges to a conformal embedding \(f: Z \rightarrow Y\) homotopic to h. Then
so that \(c \in {{\mathrm{Blob}}}(z,Z,Y,h)\).
Now let \(c \in B\) and let \(c_n \in \partial {{\mathrm{Blob}}}(z_n,Z_n,Y,h)\) be such that \(c_n \rightarrow c\). By Proposition 6.10, there exists a slit mapping \(f_n\) rel \(z_n\) from \(Z_n\) to Y homotopic to h such that \({{\mathrm{lift}}}_{z_n}(f_n)=c_n\). By Lemma 8.9, we can pass to a subsequence such that \(f_n\) converges to some slit mapping f rel z from Z to Y. Then \({{\mathrm{lift}}}_z(f) = c\) so that \(c \in {{\mathrm{Blob}}}(z,Z,Y,h)\). Moreover, \(y\in \partial {{\mathrm{Blob}}}(z,Z,Y,h)\) by Corollary 8.6.\(\square \)
We do not know if the blob moves continuously in general, but it does when there are no slit mappings at the limiting parameters.
Lemma 9.5
Assume hypothesis (\(\mathbf{H'}\)) and let \(x \in X\). If \(X_n{\setminus }\{x_n\} \rightarrow X{\setminus } \{x\}\) in \(\mathcal {T}(X{\setminus } \{x\})\) as \(n \rightarrow \infty \), then \({{\mathrm{Blob}}}(x_n,X_n,Y,h) \rightarrow {{\mathrm{Blob}}}(x,X,Y,h)\) and \(\partial {{\mathrm{Blob}}}(x_n,X_n,Y,h) \rightarrow \partial {{\mathrm{Blob}}}(x,X,Y,h)\) in \({{\mathrm{CL}}}(\widetilde{Y})\) as \(n \rightarrow \infty \).
Proof
By compactness of \({{\mathrm{CL}}}(\widetilde{Y})\), it suffices to prove that if \({{\mathrm{Blob}}}(x_n,X_n,Y,h)\) converges to some closed set A and \(\partial {{\mathrm{Blob}}}(x_n,X_n,Y,h)\) converges to some closed set B as \(n \rightarrow \infty \), then \(A={{\mathrm{Blob}}}(x,X,Y,h)\) and \(B=\partial {{\mathrm{Blob}}}(x,X,Y,h)\).
We prove convergence of the blobs first. By Lemma 9.4, the inclusion \(A \subset {{\mathrm{Blob}}}(x,X,Y,h)\) holds. We claim that the interior of \({{\mathrm{Blob}}}(x,X,Y,h)\) is contained in A. Let c be in the interior of \({{\mathrm{Blob}}}(x,X,Y,h)\) and suppose that there is an infinite set \(J \subset \mathbb {N}\) such that c is not contained in \({{\mathrm{Blob}}}(x_n,X_n,Y,h)\) for every \(n\in J\). Then for every \(n \in J\), there exists a Teichmüller embedding \(f_n\) rel \(x_n\) with \({{\mathrm{lift}}}_{x_n}(f_n)=c\). After passing to a subsequence in J, we get that \(f_n \rightarrow f\) for some Teichmüller embedding f rel x by Lemma 8.9. We have \({{\mathrm{lift}}}_x(f)=c\) by continuity of \({{\mathrm{lift}}}_x\). By Corollary 8.6, c is in the complement of the interior of \({{\mathrm{Blob}}}(x,X,Y,h)\). This is a contradiction, which means that c is contained in \({{\mathrm{Blob}}}(x_n,X_n,Y,h)\) for all but finitely many indices, and hence \(c \in A\). Since A is closed and \({{\mathrm{Blob}}}(x,X,Y,h)\) is the closure of its interior, we have \({{\mathrm{Blob}}}(x,X,Y,h) \subset A\) and hence \(A={{\mathrm{Blob}}}(x,X,Y,h)\).
By Lemma 9.4, we have \(B \subset \partial {{\mathrm{Blob}}}(x,X,Y,h)\). Let \(c \in \partial {{\mathrm{Blob}}}(x,X,Y,h)\). Let U be any connected neighborhood of c in \(\widetilde{Y}\). We claim that if n is large enough, then U intersects both the complement of \({{\mathrm{Blob}}}(x_n,X_n,Y,h)\) and the interior of \({{\mathrm{Blob}}}(x_n,X_n,Y,h)\). Suppose on the contrary that U is contained in \({{\mathrm{Blob}}}(x_n,X_n,Y,h)\) for every n in an infinite set \(J \subset \mathbb {N}\). Then \(U \subset A = {{\mathrm{Blob}}}(x,X,Y,h)\), which is nonsense since c is on the boundary of \({{\mathrm{Blob}}}(x,X,Y,h)\). Similarly, suppose that U is contained in the complement of \({{\mathrm{Blob}}}(x_n,X_n,Y,h)\) for every n in an infinite set \(J \subset \mathbb {N}\). Then for every \(z\in U\) and every \(n \in J\) there is a Teichmüller embedding \(f_n: X_n \rightarrow Y\) rel \(x_n\) homotopic to h such that \({{\mathrm{lift}}}_{x_n}(f)=z\). By Lemma 5.4, \(f_n\) converges to a Teichmüller embedding f rel x after passing to a subsequence. Then \({{\mathrm{lift}}}_x(f)=z\) so that \(z \in \partial {{\mathrm{Blob}}}(x,X,Y,h)\) by Corollary 8.6. This is a contradiction, which proves the claim. Let n be large enough so that U intersects both the interior and the complement of \({{\mathrm{Blob}}}(x_n,X_n,Y,h)\). Since U is connected, it also intersects \(\partial {{\mathrm{Blob}}}(x_n,X_n,Y,h)\). Since U can be chosen arbitrarily small, this shows that \(c \in B\). \(\square \)
Similarly, nested families of blobs move continuously. In what follows, \(\{X_r\}_{r\in [0,\infty ]}\) is a 1parameter family of enlargements of X as in Sect. 5, and \(\mathfrak {m}\) is the associated modulus of extension.
Lemma 9.6
Let \(h:X \rightarrow Y\) be a generic embedding between finite Riemann surfaces, let R be the maximum of \(\mathfrak {m}\) on \({{\mathrm{CEmb}}}(X,Y,h)\), and let \(x \in X\). Then the maps \(r \mapsto {{\mathrm{Blob}}}(x,X_r,Y,h)\) and \(r \mapsto \partial {{\mathrm{Blob}}}(x,X_r,Y,h)\) are continuous on the interval [0, R].
Proof
We may assume that \(R>0\) since otherwise there is nothing to show. If \(r \in [0,R)\) and \(\rho \rightarrow r\), then \({{\mathrm{Blob}}}(x,X_\rho ,Y,h) \rightarrow {{\mathrm{Blob}}}(x,X_r,Y,h)\) and \(\partial {{\mathrm{Blob}}}(x,X_\rho ,Y,h) \rightarrow \partial {{\mathrm{Blob}}}(x,X_r,Y,h)\) by Lemma 9.5, since \({{\mathrm{CEmb}}}(X_r,Y,h)\) does not contain any slit mapping. It remains to prove continuity at \(r = R\). By compactness of the hyperspace \({{\mathrm{CL}}}(\widetilde{Y})\) and Lemma 9.4, it suffices to show that if \(r_n{\nearrow }R \), if \({{\mathrm{Blob}}}(x,X_{r_n},Y,h) \rightarrow A\), and if \(\partial {{\mathrm{Blob}}}(x,X_{r_n},Y,h) \rightarrow B\) as \(n \rightarrow \infty \), then \(A \supset {{\mathrm{Blob}}}(x,X_R,Y,h)\) and \(B \supset \partial {{\mathrm{Blob}}}(x,X_R,Y,h)\). By Proposition 5.5, every element of \({{\mathrm{CEmb}}}(X_R,Y,h)\) is a slit mapping^{Footnote 10} so that \({{\mathrm{Blob}}}(x,X_R,Y,h)\) is homeomorphic to a point or an interval (Proposition 6.6). Let \(c \in {{\mathrm{Blob}}}(x,X_R,Y,h)= \partial {{\mathrm{Blob}}}(x,X_R,Y,h)\). Then \(c\in {{\mathrm{Blob}}}(x,X_{r_n},Y,h)\) for every n. Indeed, since \(r_n \le R\) there is a canonical inclusion \(X_{r_n} \subset X_R\) which means that \({{\mathrm{CEmb}}}(X_R,Y,h) \subset {{\mathrm{CEmb}}}(X_{r_n},Y,h)\) and similarly for the blobs. It follows that \(c \in A\). Let U be a connected neighborhood of c in \(\widetilde{Y}\). Then U intersects \({{\mathrm{Blob}}}(x,X_{r_n},Y,h)\) since \(c \in {{\mathrm{Blob}}}(x,X_{r_n},Y,h)\). Thus U intersects the interior of \({{\mathrm{Blob}}}(x,X_{r_n},Y,h)\) because \({{\mathrm{Blob}}}(x,X_{r_n},Y,h)\) is the closure of its interior. Suppose that U is contained in \({{\mathrm{Blob}}}(x,X_{r_n},Y,h)\) for every n in an infinite set \(J \subset \mathbb {N}\). Then U is contained in A and hence in \({{\mathrm{Blob}}}(x,X_R,Y,h)\). This is absurd since \({{\mathrm{Blob}}}(x,X_R,Y,h)\) has empty interior. Thus U intersects \(\partial {{\mathrm{Blob}}}(x,X_{r_n},Y,h)\) for all large enough n and hence \(c \in B\).\(\square \)
We use continuity to show that the blob has no holes and is thus homeomorphic to a closed disk, under hypothesis (\(\mathbf{H'}\)).
Proof of Theorem 1.7
We will show that the complement of \({{\mathrm{Blob}}}(x,X,Y,h)\) is connected, which is sufficient in view of Corollary 9.2. Let \(z_1\) and \(z_2\) be any two points in \(\widetilde{Y} {\setminus } {{\mathrm{Blob}}}(x,X,Y,h)\). Let R be the maximum value of the modulus of extension \(\mathfrak {m}\). Note that \(z_1\) and \(z_2\) are contained in \(\widetilde{Y}{\setminus }{{\mathrm{Blob}}}(x,X_\rho ,Y,h)\) for every \(\rho \in [0,R]\) as the blobs are nested. Let r be the infimum of the set of \(\rho \in [0,R]\) such that \(z_1\) and \(z_2\) are in the same component of \(\widetilde{Y}{\setminus }{{\mathrm{Blob}}}(x,X_\rho ,Y,h)\). The set of such \(\rho \) is nonempty since \({{\mathrm{Blob}}}(x,X_R,Y,h)\) is a point or a compact interval, and hence has connected complement.
Suppose that \(z_1\) and \(z_2\) are in different components of \(\widetilde{Y}{\setminus }{{\mathrm{Blob}}}(x,X_r,Y,h)\). Then \(r < R\). In particular, \({{\mathrm{Blob}}}(x,X_r,Y,h)\) is a compact 2manifold so that each boundary component of \({{\mathrm{Blob}}}(x,X_r,Y,h)\) is a simple closed curve. Let \(C_1\) be the component of \(\partial {{\mathrm{Blob}}}(x,X_r,Y,h)\) surrounding \(z_1\), let \(C_2\) be the one surrounding \(z_2\), and let \(\gamma \) be a simple closed curve in the interior of \({{\mathrm{Blob}}}(x,X_r,Y,h)\) separating \(C_1\) from \(C_2\). For all \(\rho \) close enough to r we have that \(\partial {{\mathrm{Blob}}}(x,X_\rho ,Y,h)\) is disjoint from \(\gamma \). On the other hand, there is a sequence \(\rho _n{\searrow }r\) such that \(z_1\) and \(z_2\) belong to the same component of \(\widetilde{Y}{\setminus }{{\mathrm{Blob}}}(x,X_{\rho _n},Y,h)\). Let \(\alpha _n\) be a path in \(\widetilde{Y} {\setminus } {{\mathrm{Blob}}}(x,X_{\rho _n},Y,h)\) connecting \(z_1\) and \(z_2\). For every n, \(\alpha _n\) intersects \(\gamma \), say at \(w_n\). Since \(\gamma \) is compact, we may pass so a subsequence so that \(w_n \rightarrow w\) for some \(w \in \gamma \). Now w is in the interior of \({{\mathrm{Blob}}}(x,X_r,Y,h)\). Let U be an open disk centered at w whose closure is contained in the interior of \({{\mathrm{Blob}}}(x,X_r,Y,h)\). Since \({{\mathrm{Blob}}}(x,X_{\rho _n},Y,h) \rightarrow {{\mathrm{Blob}}}(x,X_r,Y,h)\) as \(n \rightarrow \infty \), the open set U must intersect \({{\mathrm{Blob}}}(x,X_{\rho _n},Y,h)\) for all large enough n. Since \(w_n \in \gamma {\setminus } {{\mathrm{Blob}}}(x,X_{\rho _n},Y,h) \) and since \(\gamma \cup U\) is connected, the intersection of \(\gamma \cup U\) with \(\partial {{\mathrm{Blob}}}(x,X_{\rho _n},Y,h)\) is nonempty. Let \(\zeta _n\) be in the intersection. After passing to a subsequence, \(\zeta _n\) converges to some point \(\zeta \) in \(\gamma \cup \overline{U}\). This is a contradiction since \(\partial {{\mathrm{Blob}}}(x,X_{\rho _n},Y,h) \rightarrow \partial {{\mathrm{Blob}}}(x,X_r,Y,h)\) as \(n \rightarrow \infty \) but \(\gamma \cup \overline{U}\) is disjoint from \(\partial {{\mathrm{Blob}}}(x,X_r,Y,h)\). Therefore \(z_1\) and \(z_2\) belong to the same component of \(\widetilde{Y} {\setminus } {{\mathrm{Blob}}}(x,X_r,Y,h)\).
Suppose that \(r > 0\). Let \(\gamma \) be a path joining \(z_1\) to \(z_2\) in \(\widetilde{Y}{\setminus }{{\mathrm{Blob}}}(x,X_r,Y,h)\). Since \(\gamma \) is compact and \({{\mathrm{Blob}}}(x,X_\rho ,Y,h)\) depends continuously on \(\rho \), the two are disjoint for all \(\rho \) sufficiently close to r. Then \(z_1\) and \(z_2\) belong to the same component of \(\widetilde{Y} {\setminus } {{\mathrm{Blob}}}(x,X_\rho ,Y,h)\) for all \(\rho < r\) sufficiently close to r, which contradicts the minimality of r. We conclude that \(r=0\) and that \(z_1\) and \(z_2\) belong to the same component of \(\widetilde{Y} {\setminus } {{\mathrm{Blob}}}(x,X_0,Y,h)\). Since \(z_1\) and \(z_2\) were arbitrary, the complement of \({{\mathrm{Blob}}}(x,X,Y,h)={{\mathrm{Blob}}}(x,X_0,Y,h)\) is connected. Thus \({{\mathrm{Blob}}}(x,X,Y,h)\) is homeomorphic to a closed disk.\(\square \)
The deformation retraction
The goal of this section is to prove that \({{\mathrm{CEmb}}}(X,Y,h)\) is contractible under (\(\mathbf{H'}\)), which is the main case of Theorem 1.2. Recall that (\(\mathbf{H'}\)) stands for the hypothesis that \(h:X \rightarrow Y\) is a generic embedding between finite Riemann surfaces (hence X and Y are hyperbolic), X has nonempty ideal boundary, and \({{\mathrm{CEmb}}}(X,Y,h)\) is nonempty and does not contain any slit mapping.
Fix once and for all a countable dense set \(\{x_1,x_2,x_3,...\}\) of distinct points in X and a universal covering map \(\pi _Y: \mathbb {D}\rightarrow Y\). For each \(n \in \mathbb {N}\), let \(b_n \in \mathbb {D}\) be such that \(\pi _Y(b_n) = h(x_n)\) and define a lift \(L_n= {{\mathrm{lift}}}_{x_n}: {{\mathrm{Map}}}(X,Y,h) \rightarrow \mathbb {D}\) as in Sect. 6. For each \(f\in {{\mathrm{Map}}}(X,Y,h)\), \(L_n(f)\) is the endpoint of the lift of \(t \mapsto H(x_n,t)\) based at \(b_n\), where H is any homotopy from h to f. Let \({{\mathrm{Blob}}}(x_j) = L_j({{\mathrm{CEmb}}}(X,Y,h))\).
Let us also fix some \(F \in {{\mathrm{CEmb}}}(X,Y,h)\) which maximizes the modulus of extension \(\mathfrak {m}\) from Sect. 5. Note that \(\mathfrak {m}(F) > 0\) by the hypothesis that \({{\mathrm{CEmb}}}(X,Y,h)\) does not contain any slit mapping. It follows that \(L_1(F)\) does not lie on the boundary of \({{\mathrm{Blob}}}(x_1)\) by Proposition 6.10. We will construct a (strong) deformation retraction of \({{\mathrm{CEmb}}}(X,Y,h)\) into \(\{F\}\).
Given any \(f \in {{\mathrm{CEmb}}}(X,Y,h)\), we define a sequence of paths \(\gamma _n: [0,1] \rightarrow \mathbb {D}\) inductively as follows. Let \( G[1]: {\overline{\mathbb {D}}} \rightarrow {{\mathrm{Blob}}}(x_1)\) be the Riemann map with \(G[1](0)=L_1(F)\) and \( G[1]'(0)>0\), and let
In words, \(\gamma _1\) stays at \(L_1(f)\) for half the time and then moves at constant speed along the conformal ray towards the “center” \(L_1(F)\) of \({{\mathrm{Blob}}}(x_1)\). In particular, \(\gamma _1(t)\) belongs to \({{\mathrm{Blob}}}(x_1)\) for every \(t \in [0,1]\) so that there exists some \(g \in {{\mathrm{CEmb}}}(X,Y,h)\) such that \(L_1(g)=\gamma _1(t)\).
Let \(n \ge 2\). Suppose that paths \(\gamma _1,\ldots \gamma _{n1}\) have been defined in such a way that

the points \(\pi _Y(\gamma _1(t)),\ldots ,\pi _Y(\gamma _{n1}(t))\) are distinct for every \(t \in [0,1]\);

\(\gamma _j\) is constant on the interval \([0,2^{j}]\) for every \(j \in \{1,\ldots , n1\}\);

\(\gamma _j(0)=L_j(f)\) and \(\gamma _j(1)=L_j(F)\) for every \(j \in \{1,\ldots , n1\}\).
Then let
and let \(h[n,t]= \mathcal {P}[n,t] \circ h\) where \(\mathcal {P}[n,t]: Y \rightarrow Y\) is a multipointpushing diffeomorphism chosen so that \(L_j(h[n,t])=\gamma _j(t)\) for every \(j\in \{1,\ldots ,n1\}\) and every \(t \in [0,1]\). The embedding h[n, t] is generic for every t. Define
We assume that E[n, t] is nonempty for every \(t \in [0,1]\) as part of the induction hypothesis. Note that \({{\mathrm{Blob}}}[n,t]\) is either a closed disk or a point. Indeed, if E[n, t] contains a slit mapping then it is homeomorphic to a point or an interval by Theorem 1.4. But since h[n, t] has an essential puncture, there is at most one slit mapping in E[n, t] by Remark 4.3. If E[n, t] does not contain any slit mapping, then \({{\mathrm{Blob}}}[n,t]\) is a closed disk by Theorem 1.7. Also, since we chose the paths \(\gamma _1, \ldots , \gamma _{n1}\) to be constant on \([0,2^{1n}]\), the set \({{\mathrm{Blob}}}[n,t]\) does not change for t in that interval. The next step is to choose a conformal center for \({{\mathrm{Blob}}}[n,t]\).
Lemma 10.1
For every \(t \in [0,1]\) there is is a unique map g[n, t] maximizing \(\mathfrak {m}\) within E[n, t]. The map \(t \mapsto g[n,t]\) is continuous, constant on \([0,2^{1n}]\), and satisfies \(g[n,1]=F\).
Proof
The map \(\mathfrak {m}\) is upper semicontinuous on the compact space E[n, t]. It thus attains its maximum at some g[n, t] say with value R. By Proposition 5.5, the maximal extension of g[n, t] is a slit mapping from \(X_R{\setminus } \{x_1,\ldots , x_{n1}\}\) to Y[n, t]. By Remark 4.3, the map g[n, t] is unique since it sends a puncture to a puncture. Any limit of the maximal extension of g[n, t] as \(t \rightarrow s\) is a slit mapping from \(X_R{\setminus } \{x_1,\ldots , x_{n1}\}\) to Y[n, s] by Lemma 5.4 and thus its restriction to X[n] maximizes \(\mathfrak {m}\) in E[n, s] by Lemma 5.10. Thus \(g[n,t] \rightarrow g[n,s]\) as \(t \rightarrow s\). The paths \(\gamma _j\) for \(j \in \{1,\ldots , n1\}\) are all constant on \([0,2^{1n}]\) so g[n, t] does not change on that interval. Finally, since F maximizes \(\mathfrak {m}\) on \({{\mathrm{CEmb}}}(X,Y,h)\), it maximizes \(\mathfrak {m}\) on the subset E[n, 1] as well, and we have \(g[n,1]=F\). \(\square \)
Let \( G[n]: {\overline{\mathbb {D}}} \rightarrow {{\mathrm{Blob}}}[n,0]\) be the Riemann map normalized in such a way that \( G[n](0)=L_n(g[n,0])\) and \( G[n]'(0)>0\). Then let
This means that \(\gamma _n\) stays put at \(L_n(f)\) for some time, then travels along the conformal ray towards the center of \({{\mathrm{Blob}}}[n,0]={{\mathrm{Blob}}}[n,2^{1n}]\), and then follows the center for the rest of the time. It is possible that \({{\mathrm{Blob}}}[n,0]\) is a point if \(L_{n1}(f)\) is in the boundary of \({{\mathrm{Blob}}}[n1,0]\). In that case we let \( G[n]: {\overline{\mathbb {D}}} \rightarrow {{\mathrm{Blob}}}[n,0]\) be the constant map, i.e., we keep \(\gamma _n\) constant on \([0,2^{1n}]\). By construction we have \(\pi _Y(\gamma _n(t))\in Y[n,t]\) which means that the points \(\pi _Y(\gamma _1(t)),\ldots ,\pi _Y(\gamma _{n1}(t)),\pi _Y(\gamma _{n}(t))\) are distinct for every \(t\in [0,1]\). Moreover the path \(\gamma _n\) is constant on the interval \([0,2^{n}]\). Finally, \(E[n+1,t]\) is nonempty since \(\gamma _n(t) \in {{\mathrm{Blob}}}[n,t]\) for every \(t \in [0,1]\). This finishes the induction scheme.
We now show that the paths \(\{\gamma _n\}\) automatically define a path from f to F inside the space \({{\mathrm{CEmb}}}(X,Y,h)\).
Lemma 10.2
For every \(t \in [0,1]\), there exists a unique \(f_t\in {{\mathrm{CEmb}}}(X,Y,h)\) such that \(L_n(f_t)=\gamma _n(t)\) for every \(n \in \mathbb {N}\). The map \(t \mapsto f_t\) is continuous and satisfies \(f_0 = f\) and \(f_1=F\).
Proof
Observe that E[n, t] is a nonempty closed subset of \({{\mathrm{CEmb}}}(X,Y,h)\) and is thus compact. Therefore, for each \(t \in [0,1]\), the nested intersection \(\bigcap _{n=1}^\infty E[n,t]\) is nonempty. Any two functions in the intersection agree on the dense set \(\{x_1,x_2,...\}\) and hence on all of X. Therefore, there is a unique function \(f_t\) in the intersection. Moreover, \(f_t\) varies continuously with t. Indeed, if g is any limit of any subsequence of \(f_t\) as \(t \rightarrow s\), then for every \(n \in \mathbb {N}\) we have
so that \(g=f_s\). It follows that \(f_t \rightarrow f_s\) as \(t\rightarrow s\). By construction we have \(L_n(f)=\gamma _n(0)\) and \(L_n(F)=\gamma _n(1)\) for every \(n \in \mathbb {N}\) so that \(f_0=f\) and \(f_1=F\).\(\square \)
We thus have a map \(H:{{\mathrm{CEmb}}}(X,Y,h) \times [0,1] \rightarrow {{\mathrm{CEmb}}}(X,Y,h)\) defined by \(H(f,t)=f_t\). This map is such that

\(t \mapsto H(f,t)\) is continuous for every \(f \in {{\mathrm{CEmb}}}(X,Y,h)\);

\(H(f,0)=f\) and \(H(f,1)=F\) for every \(f \in {{\mathrm{CEmb}}}(X,Y,h)\);

\(H(F,t)=F\) for every \(t \in [0,1]\).
The last point holds because if \(f=F\), then every path \(\gamma _n\) is constant and hence \(f_t=F\) for every t. It remains to prove that H is continuous in both variables.
Lemma 10.3
Suppose that for every \(n \in \mathbb {N}\), the path \(\gamma _n \in {{\mathrm{Map}}}([0,1],\mathbb {D})\) depends continuously on \(f \in {{\mathrm{CEmb}}}(X,Y,h)\), where each space is equipped with the compactopen topology. Then the map H defined above is continuous.
Proof
If for every \(n \in \mathbb {N}\) the map \((f,t) \mapsto H(f,t)(x_n)\) is continuous, then H is continuous. This is because of the compactness of \({{\mathrm{CEmb}}}(X,Y,h)\) and the fact that \(\{x_1,x_2,\ldots \}\) is dense in X (the proof is the same as in Lemma 10.2). Since \(H(f,t)(x_n)=f_t(x_n)=\pi _Y(\gamma _n(t))\), it thus suffices that \((f,t)\mapsto \gamma _n(t)\) be continuous. This condition is equivalent to the requirement that \(f \mapsto \gamma _n\) is continuous since [0, 1] is locally compact Hausdorff (see [31, p.287]).\(\square \)
Since the map \(f \mapsto L_1(f)\) is continuous and the Riemann map G[1] is continuous, it is easy to see that \(f \mapsto \gamma _1\) is continuous. We proceed by induction for the rest. Let \(n \ge 2\) and suppose that the maps \(f \mapsto \gamma _{j}\) are all continuous for \(j = 1,...,n1\). We will prove that the map \(f \mapsto {G}[n]\) is continuous, which obviously implies that \(f \mapsto \gamma _n\) is continuous. We use the following theorem of Radó, a proof of which is given in [32, p.26].
Theorem 10.4
(Radó) Let \((D_k,w_k)\) and (D, w) be topological closed disks in \(\mathbb {C}\), each with a marked point in the interior. Suppose that \(w_k \rightarrow w\) and that \(D_k \rightarrow D\) in the Fell topology. Suppose also that there are parametrizations \(c_k: S^1 \rightarrow \partial D_k\) and \( c: S^1 \rightarrow \partial D\) such that \(c_k \rightarrow c\) uniformly. Then the normalized Riemann map \(({\overline{\mathbb {D}}},0) \rightarrow (D_k,w_k)\) converges uniformly on \({\overline{\mathbb {D}}}\) to the normalized Riemann map \(({\overline{\mathbb {D}}},0) \rightarrow (D,w)\).
By a slight generalization^{Footnote 11} of Lemma 9.4, the maps \((f,t) \mapsto {{\mathrm{Blob}}}[n,t]\) and \((f,t) \mapsto \partial {{\mathrm{Blob}}}[n,t]\) are upper semicontinuous in t. Moreover, they are continuous at every (f, t) for which E[n, t] does not contain any slit mapping by Lemma 9.5. But if E[n, t] contains a slit mapping, then \({{\mathrm{Blob}}}[n,t]=\partial {{\mathrm{Blob}}}[n,t]\) is a single point and thus upper semicontinuity at (f, t) implies continuity. By Lemma 10.1, the conformal center \(L_n(g[n,t])\) of \({{\mathrm{Blob}}}[n,t]\) also depends continuously on (f, t). The only thing that remains to be checked is that the boundary \(\partial {{\mathrm{Blob}}}[n,t]\) can be parametrized as to converge uniformly.
Definition 10.5
Let \(\{c_k\}_{k=1}^\infty \) be a sequence of simple closed curves in \(\widehat{\mathbb {C}}\). We say that \(\{c_k\}_{k=1}^\infty \) has a collapsing finger if after passing to a subsequence, there exist \(x_k,y_k,z_k, w_k \in S^1\) in cyclic order and \(x,y \in \widehat{\mathbb {C}}\) with \(x\ne y\) such that \(c_k(x_k)\rightarrow x\), \(c_k(y_k) \rightarrow y\), \(c_k(z_k) \rightarrow x\), and \(c_k(w_k)\rightarrow y\).
The definition is illustrated in Fig. 12. We now show that collapsing fingers are the only obstructions to uniform convergence of simple closed curves.
Lemma 10.6
Let \(c_k\) and c be simple closed curves in \(\widehat{\mathbb {C}}\) such that \(c_k(S^1)\) converges to \(c(S^1)\) in the Fell topology. If \(\{c_k\}_{k=1}^\infty \) does not have any collapsing finger, then we can reparametrize \(c_k\) such that \(c_k \rightarrow c\) uniformly.
Proof
By the Jordan–Schoenflies Theorem, c can be extended to a homeomorphism \({\hat{c}}: \widehat{\mathbb {C}}\rightarrow \widehat{\mathbb {C}}\). Then \({\hat{c}}^{1}\circ c_k(S^1) \rightarrow S^1\) in the Fell topology and the sequence \(\{{\hat{c}}^{1}\circ c_k\}_{k=1}^\infty \) does not have any collapsing finger. Moreover, if \(\sigma _k:S^1 \rightarrow S^1\) is a homeomorphism such that \({\hat{c}}^{1}\circ c_k \circ \sigma _k\) converges uniformly to the inclusion map \(S^1 \hookrightarrow \mathbb {C}\), then \(c_k\circ \sigma _k\) converges uniformly to c. We may thus assume that c is the inclusion map \(S^1 \hookrightarrow \mathbb {C}\).
If k is large enough, then \(c_k(S^1)\) is disjoint from 0 and \(\infty \). We claim that if k is large enough, then the winding number of \(c_k\) around the origin is \(\pm 1\). Since \(c_k\) is simple, its winding number is either \(1\), 0, or 1. Suppose the claim is false. Then after passing to a subsequence, the winding number of \(c_k\) is 0 for every k. Let \(\arg (c_k)=c_k/c_k\) and let \({{\mathrm{Arg}}}(c_k): S^1 \rightarrow \mathbb {R}\) be a lift of \(\arg (c_k)\) under the universal covering map \(\mathbb {R}\rightarrow S^1\). This lift exists because the winding number is zero. Let \([a_k,b_k]\) be the image of \({{\mathrm{Arg}}}(c_k)\). Since \(c_k(S^1)\) converges to \(S^1\), it follows that the image \(\arg (c_k)(S^1)\) converges to \(S^1\) as well, and hence \(\liminf _{n\rightarrow \infty } b_k  a_k \ge 2\pi \). Thus if k is large enough, then \(b_ka_k> \pi \). Let \(x_k\) and \(z_k\) in \(S^1\) be such that \({{\mathrm{Arg}}}(c_k)(x_k)=a_k\) and \({{\mathrm{Arg}}}(c_k)(z_k)=\min (b_k,a_k+2 \pi )\). Also let \(y_k\in \overline{x_k z_k}\) and \(w_k \in \overline{z_k x_k}\) be such that
Since \(c_k(S^1) \rightarrow S^1\), we may pass to a subsequence so that \(c_k(x_k)\), \(c_k(z_k)\), \(c_k(y_k)\), and \(c_k(w_k)\) converge to some x, y, z, and w in \(S^1\). Then \(x=z\), \(y=w\), and \(x \ne y\), i.e. \(\{c_k\}_{n=1}^\infty \) has a collapsing finger. This is a contradiction, which proves the claim.
If the winding number of \(c_k\) around the origin is \(1\), then we reverse the parametrization so that it becomes \(+1\). Let \(\zeta _1^k< \zeta _2^k< \cdots < \zeta _k^k \) be a partition of \(S^1\) into k congruent arcs. Since \(c_k\) has winding number 1, we can find \(\xi _1^k< \xi _2^k< \cdots < \xi _k^k \) in \(S^1\) such that \(\arg (c_k)(\xi _j^k)=\zeta _j^k\) for every \(j \in \{1,\ldots ,k\}\). Let \(\sigma _k: S^1 \rightarrow S^1\) be any homeomorphism such that \(\sigma _k(\zeta _j^k)=\xi _j^k\) for every \(j \in \{1,\ldots ,k\}\). We claim that \(c_k\circ \sigma _k\) converges uniformly to the inclusion map \(c: S^1 \hookrightarrow \mathbb {C}\).
To simplify notation, we assume that \(c_k\) was parametrized correctly from the start, i.e. we assume that for every \(k\gg 0\) and every \(j \in \{1,\ldots ,k\}\), we have \(\arg (c_k)(\zeta _j^k)=\zeta _j^k\). If \(c_k\) does not converge uniformly to c, then there exists an \(\varepsilon >0\) and an infinite set \(J \subset \mathbb {N}\) such that for every \(k \in J\), there exists a \(y_k \in S^1\) such that \(c_k(y_k)y_k \ge \varepsilon \). Since \(S^1\) is compact and \(c_k(S^1) \rightarrow S^1\), we can pass to a subsequence such that \(y_k \rightarrow x\) and \(c_k(y_k) \rightarrow y\) for some x and y in \(S^1\). Note that \(y  x \ge \varepsilon \) and in particular \(y \ne x\). Let \(j \in \{1,\ldots , k\}\) be such that \(\zeta _j^k \le y_k < \zeta _{j+1}^k\), where we define \(\zeta _{k+1}^k=\zeta _1^k\). Then let \(x_k=\zeta _j^k\) and \(z_k=\zeta _{j+1}^k\). Also let \(w_k \in \{\zeta _1^k,\ldots ,\zeta _k^k\}\) be the closest point to y which comes after \(z_k\) but before \(x_k\) in the cyclic order on \(S^1\). We have \(c_k(x_k)=x_k \rightarrow x\), \(c_k(y_k)\rightarrow y\), \(c_k(z_k)=z_k\rightarrow x\), and \(c_k(w_k)=w_k \rightarrow y\). In other words, the sequence \(\{c_k\}_{k=1}^\infty \) has a collapsing finger, which is a contradiction. Therefore, \(c_k\) converges uniformly to c. \(\square \)
To conclude the proof that H is continuous, we show that \(\partial {{\mathrm{Blob}}}[n,t]\) does not have any collapsing fingers. The reason for this is that the blobs \({{\mathrm{Blob}}}[n,t]\) are uniformly semismooth, meaning that any nonzero limit of a sequence of vectors normal to some blob is normal to the limiting blob^{Footnote 12}. Now if there was a collapsing finger somewhere, then we would see two normal vectors pointing opposite to each other in the limit, which is forbidden by the definition of semismoothness.
Lemma 10.7
Suppose that \((f_k , t_k) \rightarrow (f,t)\) in \({{\mathrm{CEmb}}}(X,Y,h)\times [0,1]\). Then \(\partial {{\mathrm{Blob}}}[n,t_k]\) converges to \(\partial {{\mathrm{Blob}}}[n,t]\) without collapsing fingers.
Proof
Let \(B_k= {{\mathrm{Blob}}}[n,t_k]\), \(B= {{\mathrm{Blob}}}[n,t]\), \(c_k=\partial B_k\), and \(c=\partial B\). Suppose that after passing to a subsequence we can find \(x_k,y_k,z_k,w_k \in c_k\) in cyclic order and \(x,y \in c\) with \(x\ne y\) such that \(x_k,z_k \rightarrow x\) and \(y_k,w_k\rightarrow y\). Rotate and translate the picture in such a way that \(x=0\) and that the upward direction i bisects the cone \(N_0\) of vectors normal to B at 0.
By the proof of Theorem 9.1, there exists a rectangle Q centered at 0 with sides parallel to the coordinate axes such that \(Q \cap c\) is the graph of a continuous function. Since \(y \ne 0\), we can shrink Q so that it does not contain y. Let \(\delta >0\) be such that the vertical \(\delta \) neighborhood \(U_\delta \) of \(Q \cap c\) is contained in Q. Then \(Q{\setminus } U_\delta \) is compact and disjoint from c. Let k be large enough so that \(x_k\) and \(z_k\) are in Q, \(y_k\) and \(w_k\) are not in Q, and \(c_k\) is disjoint from \(Q{\setminus }U_\delta \). Then of the three subarcs \(\overline{x_k y_k}\), \(\overline{y_k z_k}\), and \(\overline{z_k w_k}\) of \(c_k\), at least two must cross the same vertical side S of Q. This implies that \(S{\setminus }B_k\) is disconnected. Hence there is an open subinterval I of \(S {\setminus } B_k\) whose highest point is contained in \(B_k\). Let D be a closed round disk centered on I and contained in \(\mathbb {C}{\setminus }B_k\). Move the center of D upwards until the boundary of the translated disk \(D^*\) first hits \(B_k\). Any intersection point \(p_k\) of \(D^*\) with \(B_k\) is on the top half of \(\partial D^*\). Moreover, the unit vector \(\mathbf {v}_k\) based at \(p_k\) and pointing in the direction of the center of \(D^*\) is normal to \(B_k\) (Fig. 13).
Since we can choose Q to be arbitrarily small, we can arrange so that \(p_k \rightarrow 0\). Then the normal vectors \(\mathbf {v}_k\) accumulate onto vectors pointing towards the lower halfplane at 0. This is a contradiction since the cone of normal vectors \(N_0\) is contained in the upper halfplane.\(\square \)
Thus by Lemma 10.6, the boundary of \({{\mathrm{Blob}}}[n,t]\) can be parametrized in a way that depends uniformly continuously on (f, t). By Theorem 10.4, this implies that the Riemann map \(G[n]: {\overline{\mathbb {D}}} \rightarrow {{\mathrm{Blob}}}[n,t]\) depends uniformly continuously on (f, t). Therefore the path \(\gamma _n\) depends uniformly continuously on f, and hence H is continuous by Lemma 10.3. This shows that \({{\mathrm{CEmb}}}(X,Y,h)\) is contractible under hypothesis (\(\mathbf{H'}\)).
More generally, \({{\mathrm{CEmb}}}(X,Y,h)\) is contractible whenever h is generic and \({{\mathrm{CEmb}}}(X,Y,h)\) is nonempty. The proof for \(\partial X = \varnothing \) is in Sect. 2.2 and if \({{\mathrm{CEmb}}}(X,Y,h)\) contains a slit mapping then this follows from Theorem 1.4.
The remaining cases
In this section, we complete the proof of Theorem 1.2, that is, we describe the homotopy type of \({{\mathrm{CEmb}}}(X,Y,h)\) when h is not generic, always assuming that \({{\mathrm{CEmb}}}(X,Y,h)\) is nonempty. As before, we let \(\{x_1,x_2,x_3,\ldots \}\) be a dense set of distinct points in X.
h is cyclic but not parabolic
Suppose that \(h: X \rightarrow Y\) is cyclic but not parabolic and that Y is hyperbolic. This case is analogous to the case where h is generic. We only provide an outline of the proof.
If \({{\mathrm{CEmb}}}(X,Y,h)\) contains a slit mapping, then it is homeomorphic to a circle by Theorem 1.4. So we may assume that \({{\mathrm{CEmb}}}(X,Y,h)\) does not contain any slit mapping. Form the annulus cover \(\pi _A: A \rightarrow Y\) corresponding to the image of \(\pi _1(h)\). We can define a continuous map \({{\mathrm{lift}}}_{x_1}{:} {{\mathrm{Map}}}(X,Y,h) \rightarrow A\) in a similar fashion as in Sect. 6. Let \({{\mathrm{Blob}}}(x_1,X,Y,h)\) be the image of \({{\mathrm{CEmb}}}(X,Y,h)\) by \({{\mathrm{lift}}}_{x_1}\). This \({{\mathrm{Blob}}}(x_1,X,Y,h)\) is compact and connected since \({{\mathrm{CEmb}}}(X,Y,h)\) is, according to Lemma 3.1 and Theorem 1.6. All of the results from Sects. 6, 8 and 9 pertaining to the local geometry of \({{\mathrm{Blob}}}(x_1,X,Y,h)\) extend to the current setting. The conclusion is that \({{\mathrm{Blob}}}(x_1,X,Y,h)\) is a 2dimensional manifold with boundary.
Let \(\{X_r\}_{r \in [0,\infty ]}\) be a 1parameter family of enlargements of X as in Sect. 5, let \(\mathfrak {m}\) be the associated modulus of extension, and let R be the maximum value of \(\mathfrak {m}\). By Proposition 5.5 and Theorem 1.4, \({{\mathrm{CEmb}}}(X_R,Y,h)\) is homeomorphic to a circle via the evaluation map. It follows that \({{\mathrm{Blob}}}(x_1,X_R,Y,h)\) is homeomorphic to a circle so that its complement in A has two connected components. By a similar argument as in the proof of Theorem 1.7, the complement of \({{\mathrm{Blob}}}(x_1,X,Y,h)\) has two connected components as well. Since \({{\mathrm{Blob}}}(x_1,X,Y,h)\) is a planar 2dimensional manifold with two boundary components, it is homeomorphic to a closed annulus.
Let D be any deformation retraction of \({{\mathrm{Blob}}}(x_1,X,Y,h)\) into the circle \({{\mathrm{Blob}}}(x_1,X_R,Y,h).\) The strategy after this step is the same as in Sect. 10. Given \(f \in {{\mathrm{CEmb}}}(X,Y,h)\), we let \(\gamma _1(t)= {{\mathrm{lift}}}_{x_1}(f)\) for \(t \in [0,1/2)\) and \(\gamma _1(t) = D({{\mathrm{lift}}}_{x_1}(f),2t1)\) for \(t \in [1/2,1]\). The map \(h[1,t]: X{\setminus }\{x_1\} \rightarrow Y {\setminus } \pi _A(\gamma _1(t))\) obtained by composing h with pointpushing along \(\pi _A \circ \gamma _1\) is now generic so that we can construct the next paths \(\gamma _2, \gamma _3, \ldots \) in the same way as in the previous section. The end result is a deformation retraction of \({{\mathrm{CEmb}}}(X,Y,h)\) into the circle \({{\mathrm{CEmb}}}(X_R,Y,h)\).
Y is the punctured disk
Let \(h: X \rightarrow \mathbb {D}{\setminus }\{0\}\) be a nontrivial (hence parabolic) embedding. By Montel’s theorem, any sequence in \({{\mathrm{CEmb}}}(X, \mathbb {D}{\setminus }\{0\},h)\) has a subsequence converging locally uniformly to either an element in \({{\mathrm{CEmb}}}(X, \mathbb {D}{\setminus }\{0\},h)\) or to a constant map into \({\overline{\mathbb {D}}}\). As h is nontrivial, the only possible constant limit is 0. Thus the set of \(f \in {{\mathrm{CEmb}}}(X, \mathbb {D}{\setminus }\{0\},h)\) which map \(x_1\) outside of a fixed open neighborhood of 0 is compact. Since \({\overline{\mathbb {D}}} {\setminus } \{0\}\) acts by multiplication on \({{\mathrm{CEmb}}}(X, \mathbb {D}{\setminus }\{0\},h)\), the image \(V(x_1)\) of the evaluation map at \(x_1\) is equal to a punctured disk \(r {\overline{\mathbb {D}}}{\setminus }\{0\}\) for some \(r\in (0,1)\). By a slight modification of Proposition 6.10, for every \(y_1 \in \partial V(x_1)\) there is a unique \(f \in {{\mathrm{CEmb}}}(X, \mathbb {D}{\setminus }\{0\}, h)\) such that \(f(x_1)=y_1\). We do not need to lift here: if two maps \(f,g \in {{\mathrm{Map}}}(X,\mathbb {D}{\setminus }\{0\},h)\) agree at \(x_1\) they are homotopic rel \(x_1\) because the pure mapping class group of the twicepunctured disk is trivial. Thus the inverse image of \(\partial V(x_1)= \{ z \in \mathbb {D}: z=r \}\) in \({{\mathrm{CEmb}}}(X, \mathbb {D}{\setminus }\{0\},h)\) is homeomorphic to a circle.
Given any \(f \in {{\mathrm{CEmb}}}(X, \mathbb {D}{\setminus }\{0\}, h)\), let \(\gamma _1:[0,1] \rightarrow \mathbb {D}{\setminus }\{0\}\) be constant equal to \(f(x_1)\) on [0, 1 / 2) followed by the radial ray from \(f(x_1)\) to \(rf(x_1)/f(x_1)\) on [1 / 2, 1]. Note that the map \(h[1,t]: X {\setminus } \{x_1\} \rightarrow \mathbb {D}{\setminus }\{0,\gamma _1(t)\}\) (notation as in Sect. 10) is generic for every \(t \in [0,1]\), so we can construct the next paths \(\gamma _2, \gamma _3, \ldots \) as before. This gives a deformation retraction of \({{\mathrm{CEmb}}}(X , \mathbb {D}{\setminus }\{0\},h)\) into the circle of slit mappings rel \(x_1\).
Y is the disk
Suppose that Y is the unit disk \(\mathbb {D}\). Consider the map \(\mathbb {D}\rightarrow {{\mathrm{Aut}}}_0(\mathbb {D})\) which sends \(a\in \mathbb {D}\) to the automorphism \(M_a(z)=\frac{za}{1\bar{a}z}\). We have a homeomorphism
given by \(f \mapsto (f(x_1),M_{f(x_1)} \circ f)\), where \(h^\star :X {\setminus } \{ x_1 \}\rightarrow \mathbb {D}{\setminus }\{h(x_1)\}\) is the restriction of h. Since \(\mathbb {D}\) is contractible, \({{\mathrm{CEmb}}}(X,\mathbb {D},h)\) is homotopy equivalent to the second factor. Note that h is trivial and \(M_{h(x_1)} \circ h^\star \) is parabolic, with codomain the oncepunctured disk. By the previous case, \({{\mathrm{CEmb}}}(X{\setminus }\{ x_1 \} , \mathbb {D}{\setminus } \{0\},M_{h(x_1)} \circ h^\star )\) is homotopy equivalent to \(S^1\). Thus \({{\mathrm{CEmb}}}(X,\mathbb {D},h)\) is homotopy equivalent to a circle, which in turn is homotopy equivalent to the unit tangent bundle of \(\mathbb {D}\).
X is the disk
Suppose that \(X=\mathbb {D}\) and that \(Y\ne \mathbb {D}\) is hyperbolic. Here h is trivial so we may drop it from the notation. We first define a map from the unit tangent bundle \(T^1 Y\) to \({{\mathrm{CEmb}}}(\mathbb {D}, Y)\) as follows. Given \(\mathbf {v} \in T_y ^1Y\), let \(D_\mathbf {v} \subset Y\) be the largest embedded ball centered at y in the hyperbolic metric, and let \(F_\mathbf {v} : \mathbb {D}\rightarrow D_\mathbf {v}\) be the Riemann map with \(F_\mathbf {v}(0)=y\) and \(F_\mathbf {v}'(0)=\lambda \mathbf {v}\) for some \(\lambda > 0\). The map \(\mathbf {v} \mapsto F_\mathbf {v}\) is an embedding from \(T^1 Y\) to \({{\mathrm{CEmb}}}(\mathbb {D}, Y)\). We will construct a deformation retraction of \({{\mathrm{CEmb}}}(\mathbb {D}, Y)\) into the image of that map.
Given \(f \in {{\mathrm{CEmb}}}(\mathbb {D}, Y)\), let \(\mathbf {v} \in T^1 Y\) be the unique vector such that \(f'(0)= \lambda \mathbf {v}\) for some \(\lambda > 0\). Then let \(r \in (0,1]\) be the largest number such that \(f(r\mathbb {D}) \subset D_\mathbf {v}\) and let \(f^\dagger (z)=f(rz)\). Then \(F_\mathbf {v}^{1} \circ f^\dagger : \mathbb {D}\rightarrow \mathbb {D}\) is a conformal embedding which fixes the origin and has positive derivative there.
Let \(g:\mathbb {D}\rightarrow \mathbb {D}\) be a conformal embedding with \(g(0)=0\) and \(g'(0)>0\). For every \(t \in (0,1]\), define \(\rho _t = \inf \{ \rho >0 : g(t\mathbb {D}) \subset \rho \mathbb {D}\}\) and \(g_t(z)= g(tz)/\rho _t\). By Koebe’s distortion theorem [5, p.33] we have
and it follows that \(g_t \rightarrow {{\mathrm{id}}}\) as \(t \rightarrow 0\).
We define a deformation retraction of \({{\mathrm{CEmb}}}(\mathbb {D}, Y)\) into \(\{F_{\mathbf {v}}: \mathbf {v} \in T^1 Y \}\) by the formula
where \(r, f^\dagger \) and \(\mathbf {v}\) are defined in terms of f as above and \(g=F_\mathbf {v}^{1} \circ f^\dagger \).
h is trivial
Suppose that \(X \ne \mathbb {D}\), that \(Y\ne \mathbb {D}\) is hyperbolic, and that h is trivial. Given \(f \in {{\mathrm{CEmb}}}(X,Y,h)\), let \(D_f \subset Y\) be the smallest topological disk containing the image of f. We can define \(D_f\) by filling the holes of f(X). Then let \(F: \mathbb {D}\rightarrow D_f\) be the Riemann map with \(F(0)=f(x_1)\) and \(F^{1}(f(x_2))>0\). We thus obtain an embedding
defined by \(f\mapsto (F, F^{1} \circ f)\), where W is the set of all conformal embeddings from X to \(\mathbb {D}\) sending \(x_1\) to 0 and \(x_2\) to a positive real number. There is an obvious left inverse
given by \((G,g)\mapsto G \circ g\).
By the previous subsection, there is a deformation retraction \(H_1\) from \({{\mathrm{CEmb}}}(\mathbb {D}, Y)\) into a subset homeomorphic to \(T_1 Y\). As for W, it is homeomorphic to the quotient \({{\mathrm{CEmb}}}(X{\setminus }\{x_1\},\mathbb {D}{\setminus }\{0\},g^\star )/S^1\) where \(g:X \rightarrow \mathbb {D}\) is any embedding with \(g(x_1)=0\), \(g^\star \) is the restriction of g, and \(S^1\) acts by multiplication. Section 11.2 provides a deformation retraction \(H_2\) of W into a singleton. Therefore \({{\mathrm{CEmb}}}(X,Y,h)\) deformation retracts into a subset homeomorphic to \(T^1 Y\) via the formula \((f,t)\mapsto H_1(F,t)\circ H_2(F^{1}\circ f,t)\).
h is parabolic
Suppose that \(h:X \rightarrow Y\) is parabolic, where Y is hyperbolic and not the oncepunctured disk. Let p be the puncture around which h wraps nontrivially. Given \(f \in {{\mathrm{CEmb}}}(X,Y,h)\), we define a disk \(D_f \subset Y \cup \{p\}\) by filling the holes of f(X) in \(Y \cup \{p\}\). Then we define \(F: \mathbb {D}\rightarrow D_f\) to be the Riemann map with \(F(0)=p\) and \(F^{1}(f(x_1))>0\). This yields an embedding
defined by \(f \mapsto (F , F^{1} \circ f)\), where \(G^\star \) is the restriction of some embedding \(G: \mathbb {D}\rightarrow Y \cup \{p\}\) satisfying \(G(0)=p\) and W is the set of all conformal embeddings \(g:X \rightarrow \mathbb {D}{\setminus } \{0\}\) such that \(g(x_1)>0\) which are homotopic to \(F_0^{1}\circ f_0\) for any \(f_0\in {{\mathrm{CEmb}}}(X,Y,h)\). The first factor deformation retracts into a circle by Sect. 11.4 whereas the second factor deformation retracts into a point by Sect. 11.2. By applying the left inverse of the above embedding (the composition map), we get a deformation retraction of \({{\mathrm{CEmb}}}(X,Y,h)\) into a circle.
It remains to treat the cases where Y is not hyperbolic. In those cases, we can quotient \({{\mathrm{CEmb}}}(X,Y,h)\) by the action of \({{\mathrm{Aut}}}_0(Y)\) to reduce to the hyperbolic case.
Y is a torus
Suppose that Y is a torus. Then \({{\mathrm{CEmb}}}(X,Y,h)\) is homeomorphic to
where \(h^\star :X{\setminus } \{x_1\} \rightarrow Y{\setminus } \{h(x_1)\}\) is the restriction of h. Recall that \({{\mathrm{Aut}}}_0(Y)\) is homeomorphic to Y itself.
If h is trivial, then \(h^\star \) is parabolic and its codomain is a hyperbolic surface. Section 11.6 shows that \({{\mathrm{CEmb}}}(X{\setminus } \{x_1\},Y{\setminus } \{h(x_1)\},h^\star )\) is then homotopy equivalent to \(S^1\). This means that \({{\mathrm{CEmb}}}(X,Y,h)\) is homotopy equivalent to a 3dimensional torus, or the unit tangent bundle of Y.
If h is nontrivial, then \(h^\star \) is generic so that \({{\mathrm{CEmb}}}(X{\setminus } \{x_1\},Y{\setminus } \{h(x_1)\},h^\star )\) is contractible. Thus \({{\mathrm{CEmb}}}(X,Y,h)\) is homotopy equivalent to \({{\mathrm{Aut}}}_0(Y)\approx Y\).
Y is the sphere with at most 2 punctures
Suppose that Y is the Riemann sphere \(\widehat{\mathbb {C}}\). Let \(P=\{x_1,x_2,x_3\}\). Then
where \(h^\star :X{\setminus }P \rightarrow Y{\setminus }h(P)\) is the restriction of h. Observe that h is automatically trivial and that \(h^\star \) is generic. Thus \({{\mathrm{CEmb}}}(X,Y,h)\) is homotopy equivalent to \({{\mathrm{Aut}}}_0(Y)\). We stated in Sect. 2.2 that \({{\mathrm{Aut}}}_0(\widehat{\mathbb {C}})\) is homotopy equivalent to the unit tangent bundle of \(\widehat{\mathbb {C}}\). Here is a proof. First, \({{\mathrm{Aut}}}_0(\widehat{\mathbb {C}})\) is homeomorphic to the set of triples \((a,\mathbf {v},b)\) where \(a,b \in \widehat{\mathbb {C}}\) are distinct and \(\mathbf {v} \in T_a \widehat{\mathbb {C}}\) is nonzero. The homeomorphism is given by \(f \mapsto (f(0),f'(0),f(\infty ))\). This set of triples deformation retracts into \(T\widehat{\mathbb {C}}{\setminus }\mathbf {0}\) (the complement of the zero section in the tangent bundle of \(\widehat{\mathbb {C}}\)) by moving the point b along the spherical geodesic to the antipode of a. Now \(T\widehat{\mathbb {C}}{\setminus }\mathbf {0}\) clearly deformation retracts into the unit tangent bundle \(T^1\widehat{\mathbb {C}}\).
Suppose that Y is the Riemann sphere minus a point. Then we can repeat the same trick with \(P=\{x_1,x_2 \}\) instead. Again, h is trivial and its restriction \(h^\star :X{\setminus }P \rightarrow Y {\setminus } h(P)\) is generic. Thus \({{\mathrm{CEmb}}}(X,Y,h)\) is homotopy equivalent to \({{\mathrm{Aut}}}_0(\mathbb {C})\). The latter is homeomorphic to the complement of the zero section in \(T\mathbb {C}\). This deformation retracts onto the unit tangent bundle of \(\mathbb {C}\) (which deformation retracts further into a circle).
Suppose that Y is the Riemann sphere minus two points. Then we can puncture at one point to factor out the action of \({{\mathrm{Aut}}}_0(Y)\). That group is homeomorphic to \(S^1 \times \mathbb {R}\), hence homotopy equivalent to \(S^1\). If h is trivial, then its restriction \(h^\star : X{\setminus }\{ x_1 \} \rightarrow Y{\setminus }\{h(x_1)\}\) is a parabolic embedding into a hyperbolic surface and \({{\mathrm{CEmb}}}(X{\setminus } \{x_1\},Y{\setminus } \{h(x_1)\},h^\star )\) is homotopy equivalent to \(S^1\) by Sect. 11.6. Thus \({{\mathrm{CEmb}}}(X,Y,h)\) is homotopy equivalent to \(S^1 \times S^1\), which is in turn homotopy equivalent to the unit tangent bundle of Y. If h is nontrivial, then it is cyclic. In this case, \(h^\star \) is generic so that \({{\mathrm{CEmb}}}(X{\setminus } \{x_1\},Y{\setminus } \{h(x_1)\},h^\star )\) is contractible and \({{\mathrm{CEmb}}}(X,Y,h)\) is homotopy equivalent to \(S^1\).
The reader can check that we have exhausted all possibilities for the embedding \(h:X\rightarrow Y\), which concludes the proof of Theorem 1.2. The latter obviously implies Theorem 1.1.
Notes
Since X is locally compact Hausdorff, a path \([0,1]\rightarrow {{\mathrm{Map}}}(X,Y)\) is the same as a homotopy \(X \times [0,1] \rightarrow Y\) [31, p. 287].
This notion is usually called “quasiregular map”, and the expression “quasiconformal map” is usually reserved for homeomorphisms. It seems more convenient to modify the noun “map” instead, to indicate further attributes. For example we will use “quasiconformal immersion”, “quasiconformal embedding”, or “quasiconformal homeomorphism” for a quasiconformal map which is a local embedding, an embedding, or a homeomorphism respectively.
The quotation marks are because \(\gamma ^\dagger \) is not necessarily geodesic in \(\widehat{X}\). For example, it may pass through a pole of \(\varphi \).
At a boundary point of \(\widetilde{X}'\), the cone angle only makes sense on one side of \(\gamma \), but we can define the cone angle on the “other side” to be \(+\infty \) by convention.
The matrix is only defined up to sign, but no matter.
Recall that punctures are assumed to be essential in the proof. This proves that if two slit mappings are homotopic and have an essential puncture, then they are equal.
This is a slight abuse of notation. Recall that a point in \(\mathcal {T}(S)\) is an equivalence class of marking \(f:S \rightarrow Z\), which we may assume is almostsmooth. By the expression \({{\mathrm{EL}}}(F,Z)\) we really mean \({{\mathrm{EL}}}(f_*F,Z)\).
This is unless Y is the triplypunctured sphere, in which case \(R=\infty \) so that \({{\mathrm{CEmb}}}(X_R,Y,h)\) contains only one element anyway by Lemma 2.2.
The codomain Y[n, t] is not fixed but depends continuously on (f, t). The results of Sect. 9 generalize easily to this situation.
The proof of this is a straightforward generalization of Theorem 8.13
References
Ahlfors, L.V.: On quasiconformal mappings. J. Anal. Math. 3(1), 1–58 (1953)
Ahlfors, L.V.: Lectures on Quasiconformal Mappings: 2nd edn, Vol. 38. American Mathematical Society (2006). With additional chapters by C.J. Earle and I. Kra, M. Shishikura, J.H. Hubbard
Bers, L.: Quasiconformal Mappings and Teichmüller’s Theorem. New York University, Institute of Mathematical Sciences, New York (1958)
Bridson, M.R., Haefliger, A.: Metric Spaces of NonPositive Curvature. Springer, Berlin (2009)
Duren, P.L.: Univalent Functions. Springer, Berlin (1983)
Earle, C., Marden, A.: Conformal embeddings of Riemann surfaces. J. Anal. Math. 34, 194–203 (1978)
Earle, C.J.: Teichmüller spaces of groups of the second kind. Acta Math. 112(1), 91–97 (1964)
Earle, C.J.: Reduced Teichmüller spaces. Trans. Am. Math. Soc. 126(1), 54–63 (1967)
Earle, C.J., Lakic, N.: Variablity sets on Riemann surfaces and forgetful maps between Teichmüller spaces. Ann. Acad. Sci. Fenn. Math. 27(2), 307–324 (2002)
Eliashberg, Y., Mishachev, N.: Introduction to the hPrinciple. American Mathematical Society, Providence (2002)
Farb, B., Margalit, D.: A Primer on Mapping Class Groups. Princeton University Press, Princeton (2011)
Fathi, A., Laudenbach, F., Poénaru, V.: Thurston’s Work on Surfaces. Mathematical Notes 48. Princeton University Press, Princeton (2012)
Fell, J.M.G.: A Hausdorff topology for the closed subsets of a locally compact nonHausdorff space. Proc. Am. Math. Soc. 13(3), 472–476 (1962)
Gardiner, F.P.: Measured foliations and the minimal norm property for quadratic differentials. Acta Math. 152, 57–76 (1984)
Gardiner, F.P., Lakic, N.: The Dirichlet principle for measured foliations. Preprint (2010)
Gardiner, F.P., Lakic, N.: A synopsis of the Dirichlet principle for measured foliations. RIMS Kôkyûroku Bessatsu B17, 55–64 (2010)
Golubev, A.A., Graf, SYu.: Extremal problems on classes of quasiconformal embeddings of Riemann surfaces. Sib. Adv. Math. 11(4), 47–64 (2001)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2001)
Hubbard, J., Masur, H.: Quadratic differentials and foliations. Acta Math. 142, 221–274 (1979)
Ioffe, M.S.: Extremal quasiconformal embeddings of Riemann surfaces. Sib. Math. J. 16, 398–411 (1975)
Ioffe, M.S.: Some problems in the calculus of variation “in the large” for conformal and quasiconformal imbeddings of Riemann surfaces. Sib. Math. J. 19, 412–424 (1978)
Jenkins, J.A.: Univalent Functions and Conformal Mapping. Springer, Berlin, Heidelberg (1958)
Jenkins, J.A.: A counterexample to a statement on conformal mapping of Riemann surfaces. Proc. Am. Math. Soc. 10, 423–424 (1959)
Kahn, J., Pilgrim, K.M., Thurston, D.P.: Conformal surface embeddings and extremal length. Preprint, arXiv:1507.05294 (2015)
Krushkal, S.L.: Variational principles in the theory of quasiconformal maps. In: Handbook of Complex Analysis: Geometric Function Theory, Vol. 2, pp. 31–98. Elsevier (2005)
Marden, A., Strebel, K.: The heights theorem for quadratic differentials on Riemann surfaces. Acta Math. 153, 153–211 (1984)
Masur, H.: On a class of geodesics in Teichmüller space. Ann. Math. (2) 102(2), 205–221 (1975)
McMullen, C.: Navigating moduli space with complex twists. J. Eur. Math. Soc. (JEMS) 15, 1223–1243 (2013)
Milnor, J.: Dynamics in One Complex variable, 3rd edn. Princeton University Press, Princeton (2006)
Milnor, J.W.: Topology from the Differentiable Viewpoint. Princeton University Press, Princeton (1997)
Munkres, J.R.: Topology, 2nd edn. Pearson, London (2000)
Pommerenke, C.: Boundary Behavior of Conformal Maps. Springer, Berlin (1992)
Royden, H.L.: The conformal rigidity of certain subdomains on a Riemann surface. Trans. Am. Math. Soc. 76, 14–25 (1954)
Royden, H.L.: The interpolation problem for schlicht functions. Ann. Math. (2) 60(2), 326–344 (1954)
Royden, H.L., Fitzpatrick, P.M.: Real Analysis, 4th edn. Pearson, London (2010)
Schiffer, M.M., Spencer, D.C.: Functionals of Finite Riemann Surfaces. Princeton University Press, Princeton (1954)
Shiba, M.: Conformal mapping of Riemann surfaces and the classical theory of univalent functions. Publ. Inst. Math. (Beograd) (N.S.) 75(89), 217–232 (2004)
Slodkowski, Z.: Holomorphic motions and polynomial hulls. Proc. Am. Math. Soc. 11(2), 347–355 (1991)
Strebel, K.: Quadratic Differentials. Springer, Berlin (1984)
Strebel, K.: Point shift differentials and extremal quasiconformal mappings. Ann. Acad. Sci. Fenn. Math. 23, 475–494 (1998)
Thurston, D.P.: From rubber bands to rational maps: a research report. Res. Math. Sci. 3, 15 (2016)
Thurston, W.P.: Zippers and univalent functions. In: The Bieberbach Conjecture: Proceedings of the Symposium on the Occasion of the Proof, pp. 185–197. American Mathematical Society (1986)
Acknowledgements
The results of this paper are adapted from the author’s Ph.D. thesis at the Graduate Center of the City University of New York. I thank my advisor Jeremy Kahn for suggesting this problem and for his continued interest and support. I also thank Dylan Thurston, Kevin Pilgrim, Frederick Gardiner and Patrick Hooper for useful conversations, François Labourie for pointing out the connection with the hprinciple, and the anonymous referees for their helpful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Research partially supported by a Postgraduate Scholarship and a Discovery Grant from the Natural Sciences and Engineering Research Council of Canada as well as Grant DMS 0905812 from the National Science Foundation.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Fortier Bourque, M. The holomorphic couch theorem. Invent. math. 212, 319–406 (2018). https://doi.org/10.1007/s0022201707696
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s0022201707696
Mathematics Subject Classification
 30F60
 30C75
 32H02