A minimal regularity for the area formula in the Engel group

Francesca Corni, Fares Essebei, Valentino Magnani

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 integr…