Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-115/2/ii/solution

Using the left-invariant frame of the real Heisenberg group, horizontality gives
For an arbitrary starting point ,
This is the control equation for the Heisenberg horizontal distribution. The final coordinate records a signed area-like integral, so changing the path in the plane can change the endpoint in the central direction.

New to topics? Read the docs here!