Open Research Index

A minimal regularity for the area formula in the Engel group

Francesca Corni, Fares Essebei, Valentino Magnani

arXivarxiv/2602.00346Jan 30, 2026math.MGscore 0

We prove that the upper blow-up theorem in the Engel group holds for $C^1$ submanifolds. Combining this result with the known negligibility of the singular set, we obtain an integral representation of the spherical measure for all surfaces of class $C^{1,α}$ in the Engel group. A new and central aspect of our method is the suitable use of Stokes' theorem to prove the upper blow-up, which relies on the special algebraic structure of left-invariant forms in the Engel group. Some general tools are also introduced to establish area formulas in arbitrary stratified group.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2602.00346
curl -X POST /api/v1/records/arxiv/2602.00346/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.00346/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'