Measure of submanifolds in the Engel group (Q971971)

The authors give an answer the following question: to compute the Hausdorff measure of submanifolds in stratified groups with respect to the Carnot-Carathéodory distance. The main result is: Theorem. Let \(\Sigma\) be a \(p\)-dimensional \(C^{1,1}\) submanifold of degree \(d\) in the Engel group \((p= 1,2)\). Then for every \(x\in\Sigma\) with \(d_\Sigma(x)< d\), there holds \[ \lim_{r\to 0} {\mu_p(\Sigma\cap D_{x,r})\over r^d}= +\infty, \] (\(\mu_p\) is the \(p\)-dimensional Riemannian surface measure induced on \(\Sigma\) by a fixed left invariant Riemannian metric on the group).