Lipschitz Functions on Submanifolds of Heisenberg Groups

We study the behavior of Lipschitz functions on intrinsic C1 submanifolds of Heisenberg groups: our main result is their almost everywhere tangential Pansu differentiability. We also provide two applications: a Lusin-type approximation of Lipschitz functions on H-rectifiable sets and a coarea formula on H-rectifiable sets that completes the program started in [18].peerReviewe