Analysis Seminar

We will show that the appropriately-defined vertical perimeter of a measurable subset of the Heisenberg group is at most a constant multiple of its horizontal (Heisenberg) perimeter. This isoperimetric-type inequality exhibits different behavior in dimension 3 and 5, and it has a variety of applications to several areas.

Joint work with Robert Young.