Abstract

We give a generalisation of Shimizu’s lemma to complex or quaternionic hyperbolic space in any dimension for groups of isometries containing an arbitrary parabolic map. This completes a project begun by Kamiya (Hiroshima Math J 13:501–506, 1983). It generalises earlier work of Kamiya, Inkang Kim and Parker. The analogous result for real hyperbolic space is due to Waterman (Adv Math 101:87–113, 1993).

Highlights

  • 1.1 The Context The hyperbolic spaces are HFn, where F is one of the real numbers, the complex numbers, the quaternions or Communicated by Doron Lubinsky.W

  • In all the other cases, there are more complicated parabolic maps, which are conjugate to Euclidean screw motions

  • For subgroups of PU(n, 1) containing a general Heisenberg translation, Parker [20,21] gave versions of Shimizu’s lemma both in terms of a bound on the radius of isometric spheres and a precisely invariant horoball or sub-horospherical region.This was generalised to PSp(n, 1) by Kim and Parker [16]

Read more

Summary

Introduction

1.1 The Context The hyperbolic spaces (that is rank 1 symmetric spaces of non-compact type) are HFn , where F is one of the real numbers, the complex numbers, the quaternions or Communicated by Doron Lubinsky. Ohtake gave examples showing that, for n ≥ 4, subgroups of Isom(HRn ) containing a more general parabolic map can have isometric spheres of arbitrarily large radius, or equivalently there can be no precisely invariant horoball [19]. For subgroups of PU(n, 1) containing a general Heisenberg translation, Parker [20,21] gave versions of Shimizu’s lemma both in terms of a bound on the radius of isometric spheres and a precisely invariant horoball or sub-horospherical region.This was generalised to PSp(n, 1) by Kim and Parker [16]. Versions for isometry groups of HC2 containing a loxodromic or elliptic map were given by Basmajian and Miner [1] and Jiang et al [9] These results were extended to HH2 by Kim and Parker [16] and Kim [15]. Markham and Parker [18] obtained a version of Jørgensen’s inequality for the isometry groups of HO2 with certain types of loxodromic map

Statements of the Main Results
Outline of the Proofs
Quaternionic Hyperbolic Space
A Precisely Invariant Sub-horospherical Region
The Dynamical System Involving S and T
Convergence of the Dynamical System
Convergence of S j to T
Convergence of c j
The Remaining Matrix Entries are Bounded
Convergence of a j and d j
Convergence of A j
Convergence of β j and γ j
Convergence of b j
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call