Vertical limits of graph domains (Q2790199)

By the Uniformization Theorem, any proper simply connected domain \(D\) of the complex plane \(\mathbb C\) is conformally equivalent to the hyperbolic plane \(\mathbb H\). The set of prime ends of \(D\) is homeomorphic to the unit circle \(S^{1}\) -- the ideal boundary of \(\mathbb H\). The map \(T_{\varepsilon}f\) that is obtained by multiplying the distances in the vertical direction by \(\varepsilon > 0\) is called the Teichmüller map. Thus, for \(\varepsilon > 0\), we have \(T_{\varepsilon}(x,y) = (x,\varepsilon y)\). The image of \(D\) under \(T_{\varepsilon}\) is a new simply connected domain \(D_{\varepsilon}\) in \(\mathbb C\). The Teichmüller map extends by continuity to a marking homeomorphism between the space of prime ends of \(D\) and the space of prime ends of \(D_{\varepsilon}\).NEWLINENEWLINENEWLINENEWLINETheorem 1.1. Let \(D\) be a simply connected domain under the graph of a real-valued function. Assume that \(\Gamma\) is the family of curves in \(D\) connecting \((a,b)\subset S^{1}\) and \((c,d)\subset S^{1}\). Then NEWLINENEWLINE\[NEWLINE\lim_{\varepsilon \rightarrow 0} \varepsilon\cdot\text{mod}(\Gamma^{\varepsilon}) = \text{mod}( \Gamma_{v}), NEWLINE\]NEWLINE where \(\Gamma^{\varepsilon} = T_{\varepsilon} \Gamma\) is the image of \(\Gamma\) under the Teichmüller map and \(\Gamma_{v}\) is the family, possibly empty, of vertical line segments in \(\Gamma\).NEWLINENEWLINEIn the theorem above, \(\text{mod}(\Gamma)\) denotes the conformal modulus of a curve family \(\Gamma.\)NEWLINENEWLINENext, the authors interpret Theorem 1.1 in terms of the asymptotic behavior of the Teichmüller geodesics corresponding to a particular type of quadratic differentials in the universal Teichmüller space.NEWLINENEWLINEThey consider the limiting behavior of the Teichmüller geodesics in the universal Teichmüller space \(T(\mathbb H)\). The main result states that the limits of the Teichmüller geodesics in the Thurston boundary of \(T(\mathbb H)\) may depend on both the vertical and the horizontal foliation of the corresponding holomorphic quadratic differential.