Carnot groups can be polarized if they have specific coordinate systems.
problem Understanding when Carnot groups can be polarized.
method Proving Carnot groups with certain coordinate systems are polarizable.
result Carnot groups with suitable horizontal polar coordinates are polarizable.
The paper explores the Rumin complex and spectral sequence on Carnot groups.
problem Understanding the relationship between Rumin complex and spectral sequence on Carnot groups.
method Investigates the Rumin complex and spectral sequence on Carnot groups, focusing on the filtration by homogeneous weights.
result Provides a detailed insight into the relationship between the Rumin complex and the spectral sequence on Carnot groups.
Extends potential theory to Carnot groups, estimating Hausdorff dimension.
problem Estimating Hausdorff dimension of polar sets in Carnot groups.
method Geometric completeness and Riesz potential inequalities in Carnot groups.
result Developed applications in CR geometry and quaternionic CR geometry.
Carnot groups are distinguished spaces that are rich of structure: they are those Lie groups equipped with a path distance that is invariant by left-translations of the group and admit automorphisms that are dilations with respect to the distance. We present the basic theory of Carnot groups together with several remar…
Optimal quantization of measures on Carnot groups
problem Quantization of probability measures on Carnot groups
method Zador-type asymptotic formula and weak convergence of empirical measures
result Convergence of quantization error and density of absolutely continuous part
Study spectral properties of sub-Laplacians in Carnot groups.
problem Spectral properties of sub-Laplacians in Carnot groups.
method Proved pure point spectrum and spectral gap; applied to small ball problem and heat content.
result Proved existence of spectral gap and pure point spectrum.
The book explores Lie groups and Carnot-Carathéodory spaces, highlighting their applications in metric geometry and geometric group theory.
problem Exploring non-smooth geometries on Lie groups and their applications.
method Study of left-invariant metrics on Lie groups, focusing on nilpotent and Carnot groups.
result Illustrates the role of metric Lie groups, particularly Carnot groups, in various mathematical contexts.
Alternative construction of Rumin complex on Lie groups.
problem Constructing Rumin complex on homogeneous nilpotent Lie groups.
method Using ideas from parabolic geometry, an alternative construction to the classical one on Carnot groups.
result Explicit computations for the Engel group using the new approach.
Study examines harmonic functions in sub-Riemannian and RCD settings.
problem Characterizing harmonic functions in sub-Riemannian and RCD settings.
method Analyzes weak and strong asymptotically mean value harmonic functions.
result Weakly amv-harmonic functions are equivalent to harmonicity in Carnot groups.
Study on homogeneous geodesics in sub-Riemannian geometry.
problem Characterizing and understanding homogeneous geodesics in sub-Riemannian manifolds.
method Criterion for geodesics to be homogeneous, proof of geodesic orbit spaces, examples of geodesic orbit sub-Riemannian manifolds.
result Existence of at least one homogeneous geodesic under broad conditions.
Let $\GG$ be a sub-Riemannian k-step Carnot group of homogeneous dimension Q. In this paper, we shall prove several geometric inequalities concerning smooth hypersurfaces (i.e. codimension one submanifolds) immersed in $\GG$, endowed with the $\HH$-perimeter measure.
The study lists low-dimensional stratified groups and their properties.
problem Understanding the algebraic structure of stratified groups.
method Explicitly provided a list of low-dimensional stratified groups and their properties.
result All stratified groups in dimensions up to 7 and some free-nilpotent groups in dimensions up to 14 were studied.
Proves existence of longest paths in sub-Lorentzian problems.
problem Existence of longest paths in sub-Lorentzian problems.
method Generalizes classical theorem for Lorentzian manifolds to sub-Lorentzian problems.
result Longest paths exist for any left-invariant sub-Lorentzian structures on Carnot groups.
L. Capogna and M. Cowling showed that if φ is 1-quasiconformal on an open subset of a Carnot group G, then composition with φ preserves Q-harmonic functions, where Q denotes the homogeneous dimension of G. Then they combine this with a regularity theorem for Q-harmonic functions to show that φ is in fact $C^\inft…
This paper studies rectifiability in Carnot groups and proves geometric area formulas.
problem The study of rectifiability in Carnot groups and related geometric properties.
method Analysis of rectifiable measures in Carnot groups, geometric area formulas, and rectifiability of geodesic spheres.
result Geometric area formula for the centered Hausdorff measure restricted to intrinsically differentiable graphs in Carnot groups.
We show that isometries between open sets of Carnot groups are affine. This result generalizes a result of Hamenstadt. Our proof does not rely on her proof. In addition, we study global isometries of general homogeneous manifolds equipped with left-invariant subFinsler distances. We show that each isometry is determine…
Gromov proposed to extract the (differential) geometric content of a sub-riemannian space exclusively from its Carnot-Carathéodory distance. One of the most striking features of a regular sub-riemannian space is that it has at any point a metric tangent space with the algebraic structure of a Carnot group, hence a homo…
The paper compares three hypoelliptic Laplacians on a specific 5D Cartan group.
problem Defining suitable hypoelliptic Laplacians for sharp estimates on Carnot groups.
method Introducing and comparing three hypoelliptic Laplacians on a specific Carnot group.
result Sharp div-curl type inequalities for the three hypoelliptic Laplacians.
The paper validates Stokes' theorem for differential subcomplexes in positively graded Lie groups.
problem Validating Stokes' theorem for differential subcomplexes in positively graded Lie groups.
method Introducing geometric conditions and spectral complexes to recover Stokes' theorem on locally smooth intrinsic graphs.
result Stokes' theorem holds for Rumin complex and new spectral complexes on Carnot groups.
This paper is related to the problem of finding a good notion of rectifiability in sub-Riemannian geometry. In particular, we study which kind of results can be expected for smooth hypersurfaces in Carnot groups. Our main contribution will be a consequence of the following result: there exists a C∞ hypersurfa…
New stability theorems for H-type Carnot groups established.
problem Characterize H-type Carnot groups using stability theorems.
method Introduced H-type deviation, computed for families, established new characterizations.
result H-type Carnot groups are uniquely characterized by specific conditions.
A helical CR structure is a decomposition of a real Euclidean space into an even-dimensional horizontal subspace and its orthogonal vertical complement, together with an almost complex structure on the horizontal space and a marked vector in the vertical space. We prove an equivalence between such structures and step t…
Smooth C1 contact maps are always smooth in rigid Carnot groups.
problem Smoothness of C1 contact maps in rigid Carnot groups. method Analyzing C∞-rigid Carnot groups to show C1-contact maps are smooth. result Smooth C1 contact maps are always smooth in rigid Carnot groups. The author reviews his results on locally compact homogeneous spaces with inner metric, in particular, homogeneous manifolds with inner metric. The latter are isometric to homogeneous (sub-)Finslerian manifolds; under some additional conditions they are isometric to homogeneous (sub)-Riemannian manifolds. The class Ω…
This paper is a sequel of arxiv:1709.09045 and deals with privileged coordinates and nilpotent approximation of Carnot manifolds. By a Carnot manifold it is meant a manifold equipped with a filtration by subbundles of the tangent bundle which is compatible with the Lie bracket of vector fields. In this paper, we single…
This paper studies the infinitesimal structure of Carnot manifolds. By a Carnot manifold we mean a manifold together with a subbundle filtration of its tangent bundle which is compatible with the Lie bracket of vector fields. We introduce a notion of differential, called Carnot differential, for Carnot manifolds maps (…
Study on mappings between nonrigid Carnot groups, proving quasisymmetric rigidity.
problem Quasisymmetric homeomorphisms in nonrigid Carnot groups.
method Use pullback theorem from previous work to show reducibility and rigidity.
result Quasisymmetric homeomorphisms are reducible in nonrigid Carnot groups, except for specific cases.
We prove that H-type Carnot groups of rank k and dimension n satisfy the MCP(K,N) if and only if K≤0 and N≥k+3(n−k). The latter integer coincides with the geodesic dimension of the Carnot group. The same result holds true for the larger class of generalized H-type Carnot groups introduced in…
Improved Sobolev mappings in Carnot groups with weaker assumptions.
problem Improving Sobolev mappings in Carnot groups with weaker conditions.
method Using Buser-Karcher center-of-mass and polynomial expressions in moments.
result Rigidity and structural results hold under weaker Sobolev exponents.
We study left-invariant distances on Lie groups for which there exists a one-parameter family of homothetic automorphisms. The main examples are Carnot groups, in particular the Heisenberg group with the standard dilations. We are interested in criteria implying that, locally and away from the diagonal, the distance is…
Curves in Carnot groups avoid compact sets, growing at least t1/s.
problem Existence of periodic normal geodesics in subFinsler Carnot groups.
method Analysis of curves satisfying Pontryagin Maximum Principle.
result Normal curves in subFinsler Carnot groups leave every compact set.
New bounds on geodesic dimension and curvature exponent in Carnot groups.
problem Characterizing geodesic dimension and curvature exponent in Carnot groups.
method Characterization and lower bound calculation for geodesic dimension and curvature exponent.
result Found an example where curvature exponent is greater than geodesic dimension.
Compact currents and charges in Carnot groups proved.
problem Compactness of normal currents in Carnot groups.
method Dual compactness argument for Rumin forms using pseudo-differential calculus.
result Compactness of normal currents in Carnot groups in flat topology.
ODE trajectories become abnormal curves in Carnot groups.
problem Understanding abnormal curves in Carnot groups.
method Explicit construction of covectors for abnormal curves.
result Polynomial ODE trajectories lift to abnormal curves in Carnot groups.
Maps in Carnot groups are equivalent to solutions of a PDE system.
problem Understanding maps in Carnot groups of step 2.
method Equivalence between intrinsic Lipschitz maps and solutions to a PDE system.
result Intrinsic Lipschitz maps are equivalent to weak solutions of a PDE system.
Maps commuting with sub-Laplacians on Carnot groups are conformal.
problem Characterizing maps preserving sub-Laplacians on sub-Riemannian Lie groups.
method Analyzing smooth maps between sub-Riemannian Lie groups that commute with sub-Laplacians.
result Sub-Laplacian determines the sub-Riemannian structure in Carnot groups.
We characterize the rigidity of Carnot groups in the class of C2 contact maps in terms of complex characteristics. Furthermore, we obtain a Liouville type theorem for Carnot groups which states that 1-quasiconformal maps form finite dimensional Lie groups.
Commutes Pansu pullback with spectral complexes in Carnot groups.
problem Understanding the relationship between Pansu pullback and spectral complexes in Carnot groups.
method Proving commutativity between Pansu pullback and differentials in spectral complexes.
result Commutes Pansu pullback with spectral complexes in Carnot groups.
Study on mappings in Carnot groups, proving rigidity results.
problem Understanding mappings in Carnot groups and proving rigidity.
method Structural results for Sobolev mappings, proving rigidity or regularity.
result Establishes partial rigidity and partial regularity theorems.
Study shows a specific Carnot group violates a curvature exponent bound.
problem Understanding the curvature exponent in step-two Carnot groups.
method Examined convergence of Lie algebra structure constants.
result Found a Carnot group where curvature exponent bound is violated.
This paper characterizes semigenerated Carnot groups and applies it to rectifiability of perimeter sets.
problem Characterizing semigenerated Carnot groups and their applications to rectifiability.
method Algebraic approach focusing on semigroup generation and Engel-type quotients.
result Complete characterization of semigeneration in Carnot groups of step 3 and sufficient criteria for semigeneration in Carnot groups of arbitrary step.
Existence and rigidity results for lifts in Carnot groups.
problem Existence and properties of lifts for maps between Carnot groups.
method Use central extensions to define lifts and prove existence and rigidity results for Lipschitz, Sobolev, and quasiconformal maps.
result Quasiconformal maps admit contact lifts that are bi-Lipschitz.
We study metric contraction properties for metric spaces associated with left-invariant sub-Riemannian metrics on Carnot groups. We show that ideal sub-Riemannian structures on Carnot groups satisfy such properties and give a lower bound of possible curvature exponents in terms of the datas.
Study uniformly differentiable graphs in Carnot groups, proving area formulas.
problem Characterize uniformly differentiable intrinsic graphs in Carnot groups.
method Characterize uniform intrinsic differentiability via Hölder properties of projections of vector fields.
result Explicit area formula for uniformly intrinsically differentiable maps in Carnot groups.
Paper proves equivalence of derivatives for maps between Carnot groups.
problem Maps between Carnot groups and their derivatives.
method Elementary proof using Euclidean arguments and mean value estimates.
result Maps preserving horizontal curves are continuously Pansu differentiable.
In Carnot groups, directional pliability allows curve extensions and approximations.
problem Existence of curve extensions and approximations in Carnot groups.
method Directional pliability in subsets of directions guarantees Whitney-type extensions and Lusin approximations.
result Every horizontal curve in the Engel group intersects a C1 curve in a set of positive measure. Study Sard problem in step 2 and filiform Carnot groups.
problem Understanding the Sard problem in specific types of Carnot groups.
method Analyzing endpoint maps in step 2 and filiform Carnot groups.
result Characterized abnormal set in filiform groups and provided bounds in step 2 Carnot groups.
A Carnot group G admits Lusin approximation for horizontal curves if for any absolutely continuous horizontal curve γ in G and ε>0, there is a C1 horizontal curve Γ such that Γ=γ and Γ′=γ′ outside a set of measure at most ε. We verify this property for free Carno…