Symmetric decompositions of free Kleinian groups and hyperbolic displacements (Q1738811)

The author shows that every point in the hyperbolic \(3\)-space is moved at a distance at least \(\frac{1}{2}\log(12\cdot 3^{k-1}-3)\) by one of the isometries of length at most \(k \geq 2\) in a \(2\)-generator Kleinian group \(\Gamma\) which is torsion-free, not co-compact and contains no parabolics. This extends the celebrated \(\log 3\) theorem of \textit{M. Culler} and \textit{P. B. Shalen} [J. Am. Math. Soc. 5, No. 2, 231--288 (1992; Zbl 0769.57010)], which can be seen as the \(k = 1\) case of the statement above. Note that the conditions imposed on \(\Gamma\) imply that it is a \(2\)-generator free group. This allows one to give a simple explicit description of the sets of length \(k\) in \(\Gamma\). The proof then follows the method of Culler and Shalen combined with a solution of certain minimax problems, which produce the lower bounds for the displacements. The two cases of \(\Gamma\) being geometrically infinite and geometrically finite are treated separately. In the end the author states a conjecture about an analogous displacement bound for purely loxodromic, free Kleinian groups generated by \(n \geq 2\) elements that generalises the main result and gives a sketch of a proof of the conjecture.