Let $\mathbb{D}\subset\mathbb{C}$ be the unit disk, and remove $n\geq 2$ of its points $P$. The resulting object will be called the punctured disk $\mathbb{D}_n$ in the following. I am interested in its mapping class group, that is, the isotopy classes of orientation-preserving self-homeomorphisms/self-diffeomorphisms $\phi:\mathbb{D}_n\rightarrow\mathbb{D}_n$ which fix the boundary, and permute the points in $P$, where isotopy is defined as homotopy 'through' such homeomorphisms. I can equip $\mathbb{D}_n$ with a hyperbolic metric so that the boundary is a geodesic in that metric, and the punctures are cusps. The metric can be lifted to the universal cover $\widetilde{\mathbb{D}_n}$, which can then be embedded into the hyperbolic plane $\mathbb{H}^2$.
Specifically, I am interested in how the mapping class group acts on geodesic rays in the universal cover. It is apparently 'well-known' that the mapping class group acts on part of the boundary at infinity of $\mathbb{H}^2$, which is given by equivalence classes $\Gamma$ of geodesic rays, where two geodesic rays are considered equivalent iff they stay a bounded distance apart/are asymptotic. This is used in proving that the braid-groups (which are just the above mapping class groups) admit uncountably many left-orderings by an approach due to Thurston, but the action is never given explicitly. See for example page 113 in this paper. (The paper also has a nice picture of the embedding $\widetilde{\mathbb{D}_2}\subset\mathbb{H}_2$ on page 114.)
I am trying to construct this action explicitly, rather than working with high-level arguments. What I tried so far: Fix a point $x\in\mathbb{D}_n$, and a point $y\in\widetilde{\mathbb{D}}_n$ with $p(y)=x$, where $p$ is the covering map. Now I want to create the action: Take an element $[\phi]$ of the mapping class group, and a geodesic ray $\Gamma:[0,\infty)\rightarrow\widetilde{\mathbb{D}}_n$ starting at $y$. The first guess is $[\phi].[\Gamma]:=[\widetilde{\phi}\circ\Gamma]$, where $\widetilde{\phi}$ is the unique lift of $\phi\circ p$ to the universal cover such that $\widetilde{\phi}(y)=y$. This doesn't work though, because $\widetilde{\phi}\circ\Gamma$ need not be a geodesic.
Next I thought that maybe the lift $\widetilde{\phi}$ as above is a quasi-isometry, which would allow me to conclude that $\widetilde{\phi}\circ\Gamma$ is a quasi-geodesic ray, which I could then associate to a unique geodesic ray since I am operating in hyperbolic space. According to the answer to this question $\widetilde{\phi}$ need not be a quasi-isometry though. But the answer says there is a fix, where I can construct a representative homeomorphism $\psi$ of each isotopy class which has a quasi-isometry $\widetilde{\psi}:\mathbb{D}_n\rightarrow\mathbb{D}_n$ as lift, and this would give me what I need to construct my action. Sadly, the construction is only sketched and I don't have the knowledge to do it myself, so my first question would be if someone could please elaborate on the sketch given there in the comments. It goes like this: 1. Delete the interior $(0,\infty)\times S_1$ of the cusps. 2. Find a representative which permutes the resulting circles by isometries of circles. 3. Apply Milnor Svarc to the universal cover of the deleted object. 4. Extend over cusps by isometries. I have no idea how to make this precise, but assume for the moment that I accept this result.
I assume that I can then explicitly state my action as $[\phi].[\Gamma]=[\widetilde{\phi}\circ\Gamma]$ where I assume w.l.o.g. that $\phi$ lifts to a quasi-isometry. I then still have to show well-definedness of $[\widetilde{\phi}\circ\Gamma]$ for different representatives of the same class which lift to quasi-isometries, which brings me to my second question: Is $\pi_1(\mathbb{D}_n)$ quasi-isometric to $\widetilde{\mathbb{D}}_n$? If I knew that this was true, then I came up with a proof (won't include it here because the post is already so long). But I still need to know whether the statement is true for my proof to hold. I know that at least for the deleted object the analogous statement holds, because the deleted object is compact and thus the fundamental group acts geometrically on the universal cover by deck-transformations. This means that I can apply the Milnor-Svarc-Lemma which states that if a group $G$ acts cocompactly, properly discontinuously, and by isometries on a nice-enough metric space, then group and space are quasi-isometric. But $\mathbb{D}_n$ isn't compact (the points are removed), so I can't apply Milnor-Svarc like I'd like to.
Now if somebody could explain to me
- How to construct the representative as in the sketch in a little more detail and/or
- Tell me if/why $\pi_1(\mathbb{D}_n)$ is quasi-isometric to $\widetilde{\mathbb{D}}_n$. This is apparently wrong.
Most importantly:
- Since 2) isn't the case, how can I assure well-definedness of $[\phi].[\Gamma]=[\widetilde{\phi}\circ\Gamma]$ for different representatives $\phi_1,\phi_2$ from the same isotopy class and which both lift to quasi-isometries? Or if this doesn't work, how can I construct the action instead? I would be very grateful for answers.
Edit 2: An idea regarding 3). Let $D_n$ denote the object I obtain by deleting very small circles around the punctures of $\mathbb{D}_n$. Is it true that the mapping class group of $D_n$ is the same as that of $\mathbb{D}_n$? If this were so, maybe then for any homeomorphism $\phi:D_n\rightarrow D_n$ its lift $\widetilde{\phi}:\widetilde{D}_n\rightarrow\widetilde{D}_n$ would be a quasi-isometry (why?), and because $D_n$ is compact I could use my earlier proof with Svarc-Milnor that relies on $\pi_1(D_n)\overset{quasi-isometric}{\simeq}\widetilde{D_n}$ to show well-definedness of $[\phi].[\Gamma]=[\widetilde{\phi}\circ\Gamma]$.
Edit 1: I meant to write $\widetilde{\mathbb{D}}_n$ instead of $\mathbb{D}_n$ in 2).
