{"id":"arxiv/2605.15987","url":"https://arxiv.org/abs/2605.15987","tags":["math.MG","math.CA","math.DG"],"score":0,"title":"Area of Hölder curves and coarea formula on the Heisenberg group","domain":"math.MG","source":"arxiv","authors":["Gioacchino Antonelli","Robert Young"],"reviews":0,"subject":"math.MG","summary":"We prove the coarea formula for Lipschitz maps from the subriemannian $n$th Heisenberg group $\\mathbb H_n$ to $\\mathbb R^{2n}$. Our result is new even when $n=1$ and provides the simplest vector-valued instance of the coarea formula in subriemannian geometry. This answers a question left open in the works of Magnani, Kozhevnikov, Magnani--Stepanov--Trevisan, and Julia--Nicolussi Golo--Vittone. The main difficulty of the proof is that a fiber of a $C^1_{\\mathrm{H}}$ map $f: \\mathbb H_n\\to \\mathbb R^{2n}$ is typically an unrectifiable curve. Its measure depends on the symplectic area of its…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-15","reactions":{}}