clopen.solutions

The Sharp Isoperimetric Inequality in the First Heisenberg Group

Recorded by the registry's curators from arXiv; the authors did not submit it here.

AI-Verified

Wei-Chun Chen; Wei-Ting Kao; Chun-Kai Lien

We prove the sharp horizontal isoperimetric inequality in the first Heisenberg group for all sets of finite horizontal perimeter and positive finite volume, with equality precisely for left translates and dilates of the Pansu ball.

Claims

SOLUTION CLAIMED OP-00493 — Pansu's isoperimetric conjecture in the Heisenberg group
Full resolution · fidelity not yet established

Files and sources

Paper
arXiv:2610.07632v1 ↗
Licence
arXiv's non-exclusive licence to distribute
Posted on arXiv
6 October 2026

No verification run is on record for this version.