定义了Heisenberg群上有界域的Royden p-代数，证明了Heisenberg群上二个有界域拟共形等价当且仅当它们的（2n+2）-Royden代数同构，发现了Heisenberg群上数量化的Margulis引理，刻画了Heisenberg群上局部拟共形映射的代数半群结构，给出了零测度集的拟共不变性原理和Heisenberg群上完全双曲流形体积的上下界的精确估计，完善了Heisenberg群上拟共形映射的Holder连续性和边界扩张性理论。. 在Heisenberg群上的非C^{1,1}域中构造了一致和非正切可达域，建立了Heisenberg群上的凸域、拟凸域、星形域、Cigar域等典型区域上拟共形映射的Riemann型映射定理，发现了二维Heisenberg群上拟圆周和高维Heisenberg群上拟球的若干充分和必要条件。. 提出了Heisenberg群上曲面族的p-极值面积的概念，给出了p-极值面积的几何与分析性质以及算法，发现了p-极值面积和拟共形映射的本质联系，给出了一维Heisenberg群上Cantor-型集的Hausdorff维数在K-拟共形映射下的精确偏差估计；发现了Heisenberg群上拟共形映射的参数表达式，建立了典型域上若干重要度量在拟共形映射下的偏差不等式。. 建立了Beltrami方程在Heisenberg群上的等价形式，给出了Heisenberg群上的Beltrami方程具有拟共形同胚和局部拟共形同胚解的存在性、唯一性和正则性条件；利用区域的比较性质发现了Heisenberg群上不同度量下的双Lipschitz映射之间的本质联系和差别，并给出了若干度量下的双Lipschitz映射的判别准则和等价条件。. 通过对Gauss算术几何平均、Toader平均、Seiffert平均、广义对数平均、二次平均、指数平均、反调和平均和Neuman-Sandor平均等二元平均的比较，发现了拟共形特殊函数的系列精确或渐近精确不等式。. 建立了Heisenberg群上拟共形映射的收敛和离散性准则，澄清了Heisenberg群上由拟共形映射诱导出了Klein群的全局或局部收敛性问题，揭示了Ramanaujan模方程与拟共形特殊函数之间的内在联系。