Sub-riemannian properties of the level sets of noncontact mappings of Heisenberg groups

We consider a model example of noncontact mappings of Heisenberg groups where the dimension of the source space is greater than the dimension of the target space. We derive metric properties of level surfaces and prove an analog of the coarea formula.