On non-freeness of groups generated by two parabolic matrices with rational parameters: limit points and the orbit test
For $α\in \mathbb{R}$, let $$G_α:= \left< \begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix} , \begin{bmatrix} 1 & 0 \\ α& 1 \end{bmatrix} \right> < \mathrm{SL}_2 (\mathbb{R}).$$ K. Kim and the first author established the orbit test, which provides a sufficient condition for $G_α$ not to be a free group of rank 2. In this article, we present two main applications of the orbit test. First, using the corresponding modulo homomorphism, we show that the converse of the orbit test does not hold. In particular, we construct explicit counterexamples, all of which are rational. As another application, we prove that $$ \frac{2 n_3 + 2 n_5 - 1}{n_3 n_4 (2 n_5 - 1)} \quad \quad (n_3, n_4 \neq 0)$$ is a limit point of limit points of non-free rational numbers. Moreover, we prove that $$3 + \frac{3}{2 (9 n - 1)} \quad \text{and} \quad 3 + \frac{9 n + 5}{3 (2 n + 1) (9 n + 4)}$$ are non-free rational numbers which converge to $3$. Their construction relies on the orbit test together with a modified Pell's equation.