Quasiconformal mappings in the hyperbolic Heisenberg group and a lifting theorem

A study of smooth contact quasiconformal mappings of the hyperbolic Heisenberg group is presented in this paper. Our main result is a Lifting Theorem; according to this, a symplectic quasiconformal mapping of the hyperbolic plane can be lifted to a circles preserving quasiconformal mapping of the hyperbolic Heisenberg group.