Measure of curves in graded groups (Q384307)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Measure of curves in graded groups
scientific article

    Statements

    Measure of curves in graded groups (English)
    0 references
    0 references
    0 references
    27 November 2013
    0 references
    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}\).
    0 references
    0 references
    graded group
    0 references
    Hausdorff measure
    0 references
    neglibility
    0 references
    blow-up
    0 references

    Identifiers