I'm trying to read about Mumford curves. I've barely begun and I've already encountered a stumbling block. I'm sure this is probably a basic question that an expert could resolve quickly. I would very much appreciate help on this.

Let $k$ be a $p$-adic field (a finite extension of $\mathbb{Q}_p)$, and let $K$ be a complete and algebraically closed field containing $k$.

Let $\Gamma\le PGL_2(k)$ be a discontinuous subgroup. This means, that:

For all $x\in\mathbb{P}^1(K)$, The closure of the orbit $\Gamma x$ is a compact subset of $\mathbb{P}^1(K)$.

There exists a point $x\in\mathbb{P}^1(K)$ which is

*not*a limit point of $\Gamma$. Ie, for any $y\in\mathbb{P}^1(K)$ and any nonrepeating sequence $\{\gamma_n\}_{n\ge 1}\subset\Gamma$, $\lim \gamma_n(y)\ne x$.

In particular, property (2) implies that any discontinuous subgroup is *discrete* as a subgroup of $PGL_2(k)$.

Now let $\Gamma$ be such a discontinuous subgroup, and suppose that $\infty$ is not a limit point of $\Gamma$. Then, for any infinite sequence of $\Gamma$, by (1), there exists a subsequence $\gamma_n = \begin{bmatrix}a_n & b_n\\c_n & d_n\end{bmatrix}$ such that the sequences of points (in $\mathbb{P}^1(K)$) $$\gamma_n(\infty) = \frac{a_n}{c_n},\qquad \gamma_n(0) = \frac{b_n}{d_n},\qquad\text{and}\quad-\gamma_n^{-1}(\infty) = \frac{d_n}{c_n}$$ are convergent. Thus, we may write $$\lim_{n\rightarrow\infty}\begin{bmatrix}\frac{a_n}{c_n} & \frac{b_n}{c_n}\\1 & \frac{d_n}{c_n}\end{bmatrix} = \begin{bmatrix}a & b\\1 & d\end{bmatrix}$$

On page 7 in "Schottky Groups and Mumford Curves" (Lecture notes in mathematics volume 817), they assert that

$$\text{"From the discreteness of $\Gamma$, it follows that $ad = b$. Furthermore, for $q\in\mathbb{P}^1(K)$},$$ $$\text{we find $\lim_{n\rightarrow\infty} \gamma_n(q) = a$ unless $q = -d$ and the sequence $\frac{d_n}{c_n}$ is constant."}$$

Can someone explain why the quoted text above follows from discreteness? Certainly $\begin{bmatrix}a & b\\1 & d\end{bmatrix}$ is a limit point of $\Gamma$, and hence it cannot be in $\Gamma$, but I don't see why that implies $ad = b$ (ie, the limit has determinant 0). For example, I don't see anything stopping the matrix from being an elliptic element of infinite order (no discrete subgroup can contain such an element).

The second statement in the quoted text is even more mysterious.

4more comments