On the Chabauty space of ${\text{PSL}}_2(\mathbb{R})$, I: lattices and grafting

Abstract

This is the first of two papers on the global topology of the space $\text{Sub}(G)$ of all closed subgroups of $G={\text{PSL}}_2(\mathbb{R})$, equipped with the Chabauty topology. In this paper, we study the spaces of lattices and elementary subgroups of $G$, and prove a continuity result for conformal grafting of (possibly infinite type) vectored orbifolds that will be useful in both papers. More specifically, we first identify the homotopy type of the space of elementary subgroups of $G$, following Baik-Clavier. Then for a fixed finite type hyperbolizable $2$-orbifold $S$, we show that the space ${\text{Sub}}_S(G)$ of all lattices $\Gamma <G$ with $\Gamma \backslash {\mathbb{H}}^2\cong S$ is a fiber orbibundle over the moduli space $\mathcal{M}(S)$. We describe the closure $\overline{{\text{Sub}}_S(G)}$ in $\text{Sub}(G)$ and show that $\partial {\text{Sub}}_S(G)$ has a neighborhood deformation retract within $\overline{{\text{Sub}}_S(G)}$. When $S$ is not one of finitely many low complexity orbifolds, we show that $\overline{{\text{Sub}}_S(G)}$ is simply connected. In the simplest exceptional case, when $S$ is a sphere with three total cusps and cone points, we show that $\overline{{\text{Sub}}_S(G)}$ is a (usually nontrivial) lens space. Finally, we show that when $(X_i,v_i)\to (X_{\infty },v_{\infty })$ is a (possibly infinite type) smoothly converging sequence of vectored hyperbolic $2$-orbifolds, and we graft in Euclidean annuli along suitable collections of simple closed curves in the $X_i$, then after uniformization, the resulting vectored hyperbolic $2$-orbifolds converge smoothly to the expected limit. As part of the proof, we give a new lower bound on the hyperbolic distance between points in a grafted orbifold in terms of their original distance.

88 pages, 10 figures

References in corpus (3)

• Spaces of closed subgroups of locally compact groups
• On the IRS compactification of moduli space
• Characterization of Fuchsian groups as laminar groups & the structure theorem of hyperbolic 2-orbifolds