A low rank property and nonexistence of higher-dimensional horizontal Sobolev sets

DOI10.1007/S12220-014-9478-1zbMATH Open1342.46036arXiv1212.1563OpenAlexW1990427408MaRDI QIDQ490753FDOQ490753

Authors: Valentino Magnani, Jan Malý, Samuele Mongodi 

Publication date: 28 August 2015

Published in: The Journal of Geometric Analysis (Search for Journal in Brave)

Abstract: We establish a "low rank property" for Sobolev mappings that pointwise solve a first order nonlinear system of PDEs, whose smooth solutions have the so-called "contact property". As a consequence, Sobolev mappings from an open set of the plane, taking values in the first Heisenberg group and that have almost everywhere maximal rank must have images with positive 3-dimensional Hausdorff measure with respect to the sub-Riemannian distance of the Heisenberg group. This provides a complete solution to a question raised in a paper by Z. M. Balogh, R. Hoefer-Isenegger and J. T. Tyson. Our approach differs from the previous ones. Its technical aspect consists in performing an "exterior differentiation by blow-up", where the standard distributional exterior differentiation is not possible. This method extends to higher dimensional Sobolev mappings taking values in higher dimensional Heisenberg groups.

Full work available at URL: https://arxiv.org/abs/1212.1563

Recommendations

• Frequence of Sobolev dimension distortion of horizontal subgroups in Heisenberg groups
• Level sets of classes of mappings of two-step Carnot groups in a nonholonomic interpretation
• Nonexistence of horizontal Sobolev surfaces in the Heisenberg group
• Rank-one theorem and subgraphs of BV functions in Carnot groups
• On the lack of density of Lipschitz mappings in Sobolev spaces with Heisenberg target

zbMATH Keywords

Heisenberg groupHausdorff measureSobolev mappingslow rank propertynonisotropic submanifolds

Mathematics Subject Classification ID

Nilpotent and solvable Lie groups (22E25) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Sub-Riemannian geometry (53C17) Integral formulas of real functions of several variables (Stokes, Gauss, Green, etc.) (26B20)

Cites Work

• A tour of subriemannian geometries, their geodesics and applications
• Weakly Differentiable Functions
• An Introduction to Contact Topology
• Characteristic points, rectifiability and perimeter measure on stratified groups
• Regular submanifolds, graphs and area formula in Heisenberg groups
• Lifts of Lipschitz maps and horizontal fractals in the Heisenberg group
• On the lack of density of Lipschitz mappings in Sobolev spaces with Heisenberg target
• A low rank property and nonexistence of higher-dimensional horizontal Sobolev sets
• Non-horizontal submanifolds and coarea formula
• Blow-up of regular submanifolds in Heisenberg groups and applications
• A Lusin type theorem for gradients
• Nonexistence of horizontal Sobolev surfaces in the Heisenberg group
• Weak contact equations for mappings into Heisenberg groups
• Hausdorff dimensions of self-similar and self-affine fractals in the Heisenberg group

Cited In (5)

• Nonexistence of horizontal Sobolev surfaces in the Heisenberg group
• Calculus of variations. Abstracts from the workshop held July 13--19, 2014.
• A low rank property and nonexistence of higher-dimensional horizontal Sobolev sets
• On the geometric structure of currents tangent to smooth distributions
• A Gromov's dimension comparison estimate for rectifiable sets

This page was built for publication: A low rank property and nonexistence of higher-dimensional horizontal Sobolev sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q490753)