Measure of curves in graded groups (Q384307)

A submanifold \(\Sigma\) of degree \(q\) embedded into a stratified group \({\mathbb G}\) satisfies the neglibility condition if the set \(\{x\in \Sigma: d_{\Sigma}(x)<q\}\) has null Hausdorff measure of dimension \(q\); here \(d\) stands for degree. The authors prove that every \(C^1\) smooth curve contained in a graded group satisfies this condition. This result enables them to perform an intrinsic blow-up of curves at points of maximal degree, and to prove the following result. Let \(\tilde{g}\) be any Riemannian metric on a graded group \({\mathbb G}\) and let \(\Sigma\) be a \(C^1\) smooth curve such that \(d(\Sigma)=q\). If \(x\in\Sigma\) and \(d_{\Sigma}(x)=q\), then \[ \lim\limits_{r\to 0+} \frac{\tilde{\mu}_{1}(\Sigma\cap B_{x,r})}{r^q} = \frac {\theta(\tau^{q}_{\Sigma}(x))}{|(\tau^{q}_{\Sigma}(x)|}, \] where \(\tilde{\mu}_1\) is the Riemannian measure on \(\Sigma\) with respect to the metric \(\tilde{g}\). Here, \(\tau\) and \(\theta\) stand for a certain tangent vector and its metric factor relatively embedded into the stratified group \({\mathbb G}\).