Consider a proper geodesic $\delta$-hyperbolic space $X$ (in the sense of Gromov). Let ∂𝑋 be its Gromov boundary. In the book "Geometric Group Theory" by Cornelia Druţu and Michael Kapovich https://www.math.ucdavis.edu/~kapovich/EPR/ggt.pdf page 391, for $k>2\delta$ and $a\in X$, they define the shadow topology $\Im _{a,k}$ by declaring the basis: $$\begin{Bmatrix} B_{r}(x): x\in X ,r>0 \end{Bmatrix}\cup \begin{Bmatrix} U_{\rho (t),k}(\xi ):t\geq 0, \xi\in\partial X \end{Bmatrix}$$ where $\rho$ is a geodesic ray asymptotic to $\xi$ and initiating from $a$, and $$U_{\rho (t),k}(\xi )=\begin{Bmatrix} z\in X^{-}:[a,z]\cap B_{k}(\rho(t))\neq \phi \end{Bmatrix},$$ where $[a,z]$ is any geodesic connecting $a$ and $z$.

I need to clarify the following:

1) I know what $[a,z]$ means when $z\in X$, but what does that mean when $z\in \partial X$?

2) Let $\gamma \in \partial X$, when do we say that $\gamma \in U_{\rho (t),k}(\xi )$?


To answer your first question, I'm a bit confused because you seem to be okay with the existence of$\rho$ which is a geodesic asymptotic to $\xi$. Actually, $[a,z]$ is nothing else than a geodesic asymptotic to $z$, if $z$ is in the boundary.

Maybe you need a bit of clarification though. I guess it depends on your definition of the Gromov boundary. I assume that you use the definion with equivalence classes of sequences converging in the sense of Gromov. Then, for any proper geodesic Gromov hyperbolic space $X$, for any point $o\in X$ and any point $\gamma\in \partial X$, there exists a geodesic ray $\alpha:\mathbb{R}_{\geq 0}\to X$ such that $\alpha(0)=o$ and $\alpha(t)$ converges to $\gamma$ in the sense of Gromov. The proof is basically a use of Arzelà-Ascoli lemma. You can actually define the Gromov boundary as the equivalence classes of geodesic rays, declaring that two geodesic are equivalent if they stay within a bounded distance of each other. This is proved in Section 11.11 of the book you refer too. You can also find a detailed proof of all this (and in particular of the fact that these two definitions are equivalent) in Section 7 of de la Harpe and Ghys's book Sur les Groupes Hyperboliques d’après Mikhael Gromov. You can also look at Boundaries of hyperbolic groups by Ilya Kapovic and Nadia Benakli. In particular, they prove there that without the properness assumption, this statement is still true replacing geodesic by (1,10$\delta$)-quasi-geodesic.

For your second question, maybe you have some specific thoughts, but I can only suggest a reformulation. Letting $\gamma\in \partial X$, $\gamma\in U_{\rho(t),k}(\xi)$ if any geodesic from $a$ to $\gamma$ passes within $k$ of the point at distance $t$ from $a$ on the fixed geodesic $\rho$ from $a$ to $\xi$. In other words, the geodesics from $a$ to $\gamma$ and from $a$ to $\xi$ start diverging more than $k$ only after time $t$. Notice that two geodesics asymptotic to $\gamma$ stay within a uniform distance of each other, so that up to changing $k$, you could also ask in the definition that some geodesic asymptotic to $\gamma$ passes in $B_k(\rho(t))$. This answer the question in your comment. Note also that because of this property, the choice of the geodesic $\rho$ is not important.

Maybe the following will help and will explain the terminology shadow. If you think of geodesics as light rays, then put an opaque ball around $\rho(t)$ and a light source at $a$. Then, the shadow will exactly be the part which is not enlightened.

Also, to understand why this is a system of neighborhood, note the following. Take a tree (which is 0-hyperbolic) and take $k=0$. Then, $U_{\rho(t),0}(\xi)$ is exactly all the points in the boundary that will be "after $\rho(t)$", in the sense that a geodesic from $a$ to $\gamma$ has to pass through $\rho(t)$. If you make $t$ go to infinity, then you only have $\xi$ left.

  • $\begingroup$ Thank you, @M. Dus! I appreciate your detailed answer. Just to be sure I understand your answer to my second question: $\gamma \in U_{\rho (t),k}(\xi )$ if and only if there exists a geodesic ray initiating from $a$ and asymptotic to $\gamma$ intersecting the ball of radius $k$ around $\rho (t))$. $\endgroup$ – Hussain Rashed Jan 20 at 23:36
  • $\begingroup$ @HussainRashed According to the definition you have, it is every geodesic ray asymptotic to $\gamma$ that needs to intersect the ball $B_k(\rho(t))$. However, you can replace every by some, using $\delta$-hyperbolicity. I added details in the answer. $\endgroup$ – M. Dus Jan 21 at 8:59
  • $\begingroup$ To have the freedom of choosing our $k> 2\delta$, it would make sense if we declare the basis $$\begin{Bmatrix} B_{r}(x): x\in X ,r>0 \end{Bmatrix}\cup \begin{Bmatrix} U_{\rho (t)}(\xi ):t\geq 0, \xi\in\partial X \end{Bmatrix}$$ where $\rho$ is a geodesic ray asymptotic to $\xi$ and initiating from $a$, and $\\$$U_{\rho (t)}(\xi )$={$z\in X^{-}$:$[a,z]\cap B_{k}(\rho(t))\neq \phi$, for some $k>2\delta$} where $[a,z]$ is any geodesic connecting $a$ and $z$. Otherwise, I cannot see why for some geodesic ray implies that for all geodesic rays. $\endgroup$ – Hussain Rashed Jan 21 at 15:48
  • 1
    $\begingroup$ @HussainRashed I'm not saying that you have the freedom of choosing $k$. Let me clarify. I denote by $U_{\rho(t),k}(\xi)$ the neighborhood defined as above (with any geodesic $[a,z]$ in the definition) and I denote by $U'_{\rho(t),k}(\xi)$ the neighborhood defined in the same way, but replacing "any geodesic $[a,z]$" by "some geodesic $[a,z]$". Then I'm saying that for every $k$, there exists $k'$ such that $U'_{\rho(t),k}(\xi)\subset U_{\rho(t),k'}(\xi)$. $\endgroup$ – M. Dus Jan 25 at 13:19
  • $\begingroup$ Great! and $k^{'}$ can be taken to be $2k$. $\endgroup$ – Hussain Rashed Jan 26 at 17:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.