Quasiregular mappings of the Heisenberg group.
In this paper we resolve in the affirmative a question of Heinonen on the absolute continuity of quasisymmetric mappings defined on subsets of Euclidean spaces. The main ingredients in the proof are extension results for quasisymmetric mappings and metric doubling measures.