{"id":"arxiv/2602.00346","url":"https://arxiv.org/abs/2602.00346","tags":["math.MG"],"score":0,"title":"A minimal regularity for the area formula in the Engel group","domain":"math.MG","source":"arxiv","authors":["Francesca Corni","Fares Essebei","Valentino Magnani"],"reviews":0,"subject":"math.MG","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-30","reactions":{}}