We study various notions of the Schwarzian derivative for contact mappings in the Heisenberg group \({\mathbb {H}}_{1}\) and introduce two definitions: (1) the CR Schwarzian derivative based on the conformal connection approach studied by Osgood and Stowe and, recently, by Son; (2) the classical type Schwarzian refering to the well-known complex analytic definition. In particular, we take into consideration the effect of conformal rigidity and the limitations it imposes. Moreover, we study the kernels of both Schwarzians and the cocycle conditions. Inspired by ideas of Chuaqui et al. (J. Anal. Math. 91:329–351, 2003), Hernández and Martín (J. Geom. Anal. 25(1):64–91, 2015) and Hernández and Venegas (Complex Anal. Oper. Theory 13(4):1783–1793, 2019), we introduce the Preschwarzian for mappings in \({\mathbb {H}}_{1}\) . Furthermore, we study results in the theory of subelliptic PDEs for the horizontal Jacobian and related differential expressions for harmonic mappings and the gradient harmonic mappings, the latter notion introduced here in the setting of \({\mathbb {H}}_{1}\) .