A remark on quasiconformal mappings on Carnot groups (Q1325798)

A. Koranyi and M. Reimann informed me that a result of theirs on the theory of quasiconformal mappings on the Heisenberg groups contradicted inequality (20.17) in my monograph [Strong rigidity of locally symmetric spaces, Ann. Math. Studies, No. 78 (Princeton 1973; Zbl 0265.53039)] which is asserted there without proof and used in the proof of Proposition 21.3. Proposition 21.3 is an essential step in proving strong rigidity for locally hyperbolic spaces. This paper offers a correction of the proof of Proposition 21.3 via bypassing the faulty inequality (20.17). The method used can be generalized directly to simplify the definition of quasiconformal mappings on two-step Carnot groups.