2
$\begingroup$

I am a newcomer to hyperbolic geometry and was trying to understand some of it in the context of dynamics, for reading certain literature.

Let a discrete subgroup $G$ of $SL_2(\mathbb R)$ act on the upper-half plane $\mathbb H$ and consider the quotient $X$ as a hyperbolic space. Fix a point $x \in \mathbb H$. I would like a proof that the following are homeomorphic.

  1. Gromov boundary of the group $G$;

  2. The set of accumulation points of the set $\{gx: g \in G\}$ inside $\mathbb H \cup \mathbb R \cup \infty$.

Also: In each case, supposedly the result is indifferent of the point you start with. How to prove this?

Also, some standard books/articles for such topics will be appreciated. Easily accessible(preferably free) references would also be nice in addition.

Added: In the situation I was looking into, the group $G$ is either: free and convex co-compact, or: co-compact surface group. (Added for the case that this assumption makes things easier.)

In certain other situations, I was reading about similar dynamical results about boundary behavior in the case of more arithmetical groups but stated without notions such as Gromov boundary, and was led to wonder about the contrast. Therefore I am also curious about how different the behavior would be for more arithmetical groups; for example for $SL_2(\mathbb Z)$ and its congruence subgroups, and how would the Gromov boundary look like in those cases.

One more question: In the earlier version, I seem to have confused between the Gromov boundary of a group $G$ and the Gromov boundary of the space $X$. I hope my understanding of the latter is correct: The geodesic boundary in the sense of equivalence class of geodesics starting at $x$, and of bounded distance from each other as you go away from $x$. What exactly is the difference between the two? Some references that might help me in clearing this kind of basic misunderstandings also will be thankfully received.

  • 0
    @George - Oddly enough, in this situation, co-compact is a special case of convex co-compact.2011-09-08

3 Answers 3

2

New answer.

Notation: $\newcommand{\HH}{\mathbb{H}}$ $\HH$ is the hyperbolic plane. If $X$ is a metric space then write $\partial X$ for the Gromov boundary of $X$. For example $\partial \HH$ is a circle. Now, suppose that $G$ is a finitely generated group. If we think of $G$ as a metric space then we do so by equipping $G$ with the word metric.

Now we suppose that $G$ is a discrete, torsion-free, finitely generated group of isometries of $\HH$. Suppose further that the quotient $X = G\backslash\HH$ has compact convex core. (Equivalently, $G$ has no nontrivial parabolic elements.)

Let $L_G$ be the limit set of $G$ - that is, the set of accumulation points in the Gromov boundary of $\HH$ of the set $G \cdot x$, for any basepoint $x \in \HH$. The referenced paper of Pollicott and Sharp states (on page 8, immediately before Lemma 4.1) that $L_G$ and $\partial G$ are homeomorphic. (More is true: the natural homeomorphism is $G$-equivariant.)

Ok, the proof of this, with details in, is a lengthy "follow-your-nose" argument. But I would advise that you first get the definitions very solid.

2

Assuming the action is co-compact, this is fairly easy: Every point in $\mathbb{H}$ is of bounded distance (under the hyperbolic metric) from some point in the orbit of $x$. So you can take any sequence you like approaching an arbitrary boundary point and find a sequence of points $g_ix$ of bounded distance from it - ergo the set of accumulation points is the full bounding circle. (And nothing but the circle, since the action is discrete.)

And Gromov boundary is a quasi-isometry invariant, and since $G$ is acting cocompactly and discretely (therefore properly discontinuously) then the Švarc-Milnor Lemma says that $G$ and $\mathbb{H}$ are quasi-isometric. Thus the Gromov boundary of $G$ is the circle.

If $G$ does not act co-compactly then, as Sam Nead points out, the statement is false, for example when $G$ is a free group on two generators.

  • 0
    @Sam - Now that I look more carefully, it seems my confusion was that I was simply conflating "cocompact" and "convex cocompact". I believe my answer stands, then, except perhaps "false" could be clarified to "false in general".2011-09-08
1

Answer to an old version of the question:

Are these two sets homeomorphic?

It sounds as if you are asking "Is the Gromov boundary of $X$ homeomorphic to the to the limit set of $G$?" This is not generally true. For example, suppose that $G$ is the group generated by the matrices

$ \left[ \begin{array}{rr} 1 & 2 \\ 0 & 1 \end{array} \right] \quad \mbox{and} \quad \left[ \begin{array}{rr} 1 & 0 \\ 2 & 1 \end{array} \right]. $ Then $X = H/G$ is a thrice-punctured sphere. The Gromov boundary of $X$ is the discrete space with exactly three points. The limit set of $G$, on the other hand, is the entire Gromov boundary of $H$, and so is homeomorphic to a circle.

OLD:

You may be interested in the second half of my answer to the following question on MathOverflow.

https://mathoverflow.net/questions/73219/hyperbolicity-on-riemann-surfaces/73245#73245

Briefly, if $G$ is finitely generated then you can classify the possible quasi-isometry types of the resulting surface $X = H/G$. The Gromov boundary will be a disjoint union of circles (one per "funnel") and points (one per "cusp").

As a introduction to hyperbolic geometry I would suggest "A course on geometric group theory" by Brian Bowditch.

  • 0
    Yes exactly... :) It took me some time to figure this out...2011-09-07