### Current browse context:

math.GT

### Change to browse by:

### References & Citations

# Mathematics > Geometric Topology

# Title: Jorgensen's Inequality and Purely Loxodromic 2-Generator Free Kleinian Groups

(Submitted on 10 Apr 2016 (v1), last revised 3 Jul 2017 (this version, v4))

Abstract: Let $\xi$ and $\eta$ be two non--commuting isometries of the hyperbolic $3$--space $\mathbb{H}^3$ so that $\Gamma=\langle\xi,\eta\rangle$ is a purely loxodromic free Kleinian group. For $\gamma\in\Gamma$ and $z\in\mathbb{H}^3$, let $d_{\gamma}z$ denote the distance between $z$ and $\gamma\cdot z$. Let $z_1$ and $z_2$ be the mid-points of the shortest geodesic segments connecting the axes of $\xi$, $\eta\xi\eta^{-1}$ and $\eta^{-1}\xi\eta$, respectively. In this manuscript it is proved that if $d_{\gamma}z_2<1.6068...$ for every $\gamma\in\{\eta, \xi^{-1}\eta\xi, \xi\eta\xi^{-1}\}$ and $d_{\eta\xi\eta^{-1}}z_2\leq d_{\eta\xi\eta^{-1}}z_1$, then \[ |\text{trace}^2(\xi)-4|+|\text{trace}(\xi\eta\xi^{-1}\eta^{-1})-2|\geq 2\sinh^2\left(\tfrac{1}{4}\log\alpha\right) = 1.5937.... \] Above $\alpha=24.8692...$ is the unique real root of the polynomial $21 x^4 - 496 x^3 - 654 x^2 + 24 x + 81$ that is greater than $9$. Also generalisations of this inequality for finitely generated purely loxodromic free Kleinian groups are conjectured.

## Submission history

From: İlker Yüce PhD [view email]**[v1]**Sun, 10 Apr 2016 23:42:16 GMT (34kb)

**[v2]**Tue, 23 May 2017 08:48:46 GMT (39kb)

**[v3]**Tue, 6 Jun 2017 14:03:29 GMT (39kb)

**[v4]**Mon, 3 Jul 2017 06:49:07 GMT (40kb)

Link back to: arXiv, form interface, contact.