A $C^{m,\omega }$ Whitney Extension Theorem for Horizontal Curves in the Heisenberg Group

Gareth Speight, Scott Zimmerman

We characterize which mappings from a compact subset of $\mathbb{R}$ into the Heisenberg group can be extended to a $C^{m,\omega }$ horizontal curve for a given modulus of continuity $\omega$…