Quasi-isometric embeddings for shrinking maps from surfaces into the moduli space
Yibo Zhang
TL;DR
The paper develops a comprehensive framework to compare shrinking maps from a cusped hyperbolic surface $B$ into the moduli space $\mathcal{M}_h$ with their lifts to Teichmüller space $\mathcal{T}_h$, focusing on three quasi-isometric notions: $\text{q.i.i.}(F)$, $\widetilde{\text{q.i.i.}}(F)$, and $\widetilde{\text{q.i.e.}}(F)$. It shows that for holomorphic $F$, all three properties are completely governed by peripheral monodromies: $F$ satisfies $\text{q.i.i.}(F)$ (and its lifted versions) if and only if these peripheral monodromies have infinite order, with the monodromy criterion extending to the quasi-isometric embedding of $F_*$ into $\mathrm{Mod}_h$ acting on $\mathcal{T}_h$. The work extends these characterisations to $\lambda_0$-shrinking differentiable maps, establishing precise cusp-region and compact-region estimates, and proving that shrinking maps are quasi-isometric immersions with quasi-isometric immersed or embedded lifts under natural monodromy assumptions. By linking monodromy, cusp geometry, and Teichmüller dynamics, the results provide a complete characterization of when shrinking maps and their lifts preserve coarse geometric information, with Teichmüller curves illustrating when isometric lifts arise. The findings contribute a rigorous bridge between hyperbolic geometry, mapping class group actions, and moduli-space geometry, and have potential implications for understanding holomorphic curves in moduli spaces and their geometric embeddings.
Abstract
We investigate shrinking maps from a cusped hyperbolic surface into the moduli space of closed Riemann surfaces. For such a map and its lift to the Teichmüller space, we consider whether they are quasi-isometric embeddings with respect to natural metrics like the Teichmüller distance and the intrinsic distance. Under a mild condition, we prove that these properties are characterised solely by the map's monodromy. These characterisations apply, in particular, to holomorphic maps.
