-
Hypergenerated Carnot groups
Authors:
Enrico Le Donne,
Luca Nalon,
Nicola Paddeu,
Simone Verzellesi
Abstract:
In this paper we provide an algebraic characterization of those stratified groups in which boundaries with locally constant normal are locally flat. We show that these groups, which we call hypergenerated, are exactly the stratified groups where embeddings of non-characteristic hypersurfaces are locally bi-Lipschitz. Finally, we extend these results to submanifolds of arbitrary codimension.
In this paper we provide an algebraic characterization of those stratified groups in which boundaries with locally constant normal are locally flat. We show that these groups, which we call hypergenerated, are exactly the stratified groups where embeddings of non-characteristic hypersurfaces are locally bi-Lipschitz. Finally, we extend these results to submanifolds of arbitrary codimension.
△ Less
Submitted 31 March, 2025;
originally announced March 2025.
-
Asymptotics of Riemannian Lie groups with nilpotency step 2
Authors:
Enrico Le Donne,
Luca Nalon,
Sebastiano Nicolussi Golo,
Seung-Yeon Ryoo
Abstract:
We derive estimates comparing asymptotic Riemannian or sub-Riemannian metrics in step-2 nilpotent Lie groups. Given a sub-Riemannian metric, we construct a Carnot metric whose square remains at a bounded distance from the square of the original metric. As a consequence, we obtain a refined estimate of the error term in the asymptotic expansion of the volume of (sub-)Riemannian metric balls. To ach…
▽ More
We derive estimates comparing asymptotic Riemannian or sub-Riemannian metrics in step-2 nilpotent Lie groups. Given a sub-Riemannian metric, we construct a Carnot metric whose square remains at a bounded distance from the square of the original metric. As a consequence, we obtain a refined estimate of the error term in the asymptotic expansion of the volume of (sub-)Riemannian metric balls. To achieve this, we develop a novel technique to perturb sub-Riemannian geodesics, allowing us to modify their endpoints in a prescribed vertical direction.
△ Less
Submitted 1 March, 2025;
originally announced March 2025.
-
Metric Lie Groups. Carnot-Carathéodory spaces from the homogeneous viewpoint
Authors:
Enrico Le Donne
Abstract:
This book explores geometries defined by left-invariant distance functions on Lie groups, with a particular focus on nilpotent groups and Carnot groups equipped with geodesic distances. Geodesic left-invariant metrics are either sub-Riemannian or their generalizations, known as sub-Finsler geometries or Carnot-Carathéodory metrics. The primary objective is to illustrate how these non-smooth geomet…
▽ More
This book explores geometries defined by left-invariant distance functions on Lie groups, with a particular focus on nilpotent groups and Carnot groups equipped with geodesic distances. Geodesic left-invariant metrics are either sub-Riemannian or their generalizations, known as sub-Finsler geometries or Carnot-Carathéodory metrics. The primary objective is to illustrate how these non-smooth geometries, together with a Lie group structure, manifest in various mathematical fields, including metric geometry and geometric group theory.
Additionally, the book demonstrates the role of metric Lie groups, particularly Carnot groups, in the following contexts:
(a) as asymptotic cones of nilpotent groups;
(b) as parabolic boundaries of rank-one symmetric spaces and, more broadly, of homogeneous negatively curved Riemannian manifolds;
(c) as limits of Riemannian manifolds and tangents of sub-Riemannian manifolds.
△ Less
Submitted 9 October, 2024;
originally announced October 2024.
-
Metabelian distributions and sub-Riemannian geodesics
Authors:
Enrico Le Donne,
Nicola Paddeu,
Alessandro Socionovo
Abstract:
We begin by characterizing metabelian distributions in terms of principal bundle structures. Then, we prove that in sub-Riemannian manifolds with metabelian distributions of rank $r$, the projection of strictly singular trajectories to some $r$-dimensional manifold must remain within an analytic variety. As a consequence, for rank-2 metabelian distributions, geodesics are of class $C^1$.
We begin by characterizing metabelian distributions in terms of principal bundle structures. Then, we prove that in sub-Riemannian manifolds with metabelian distributions of rank $r$, the projection of strictly singular trajectories to some $r$-dimensional manifold must remain within an analytic variety. As a consequence, for rank-2 metabelian distributions, geodesics are of class $C^1$.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Euclidean rectifiability of sub-Finsler spheres in free-Carnot groups of step 2
Authors:
Enrico Le Donne,
Luca Nalon
Abstract:
We consider 2-step free-Carnot groups equipped with sub-Finsler distances. We prove that the metric spheres are codimension-one rectifiable from the Euclidean viewpoint. The result is obtained by studying how the Lipschitz constant for the distance function behaves near abnormal geodesics.
We consider 2-step free-Carnot groups equipped with sub-Finsler distances. We prove that the metric spheres are codimension-one rectifiable from the Euclidean viewpoint. The result is obtained by studying how the Lipschitz constant for the distance function behaves near abnormal geodesics.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Notions of null sets in infinite-dimensional Carnot groups
Authors:
Nathaniel Eldredge,
Maria Gordina,
Enrico Le Donne,
Sean Li
Abstract:
We study several notions of null sets on infinite-dimensional Carnot groups. We prove that a set is Aronszajn null if and only if it is null with respect to measures that are convolutions of absolutely continuous (CAC) measures on Carnot subgroups. The CAC measures are the non-abelian analogue of cube measures. In the case of infinite-dimensional Heisenberg-like groups we also show that being null…
▽ More
We study several notions of null sets on infinite-dimensional Carnot groups. We prove that a set is Aronszajn null if and only if it is null with respect to measures that are convolutions of absolutely continuous (CAC) measures on Carnot subgroups. The CAC measures are the non-abelian analogue of cube measures. In the case of infinite-dimensional Heisenberg-like groups we also show that being null in the previous senses is equivalent to being null for all heat kernel measures. Additionally, we show that infinite-dimensional Carnot groups that have locally compact commutator subgroups have the structure of Banach manifolds. There are a number of open questions included as well.
△ Less
Submitted 27 April, 2023;
originally announced April 2023.
-
Escape from compact sets of normal curves in Carnot groups
Authors:
Enrico Le Donne,
Nicola Paddeu
Abstract:
In the setting of subFinsler Carnot groups, we consider curves that satisfy the normal equation coming from the Pontryagin Maximum Principle. We show that, unless it is constant, each such a curve leaves every compact set, quantitatively. Namely, the distance between the points at time 0 and time $t$ grows at least of the order of $t^{1/s}$, where $s$ denotes the step of the Carnot group. In parti…
▽ More
In the setting of subFinsler Carnot groups, we consider curves that satisfy the normal equation coming from the Pontryagin Maximum Principle. We show that, unless it is constant, each such a curve leaves every compact set, quantitatively. Namely, the distance between the points at time 0 and time $t$ grows at least of the order of $t^{1/s}$, where $s$ denotes the step of the Carnot group. In particular, in subFinsler Carnot groups there are no periodic normal geodesics.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
Carnot rectifiability and Alberti representations
Authors:
Gioacchino Antonelli,
Enrico Le Donne,
Andrea Merlo
Abstract:
A metric measure space is said to be Carnot-rectifiable if it can be covered up to a null set by countably many biLipschitz images of compact sets of a fixed Carnot group. In this paper, we give several characterisations of such notion of rectifiability both in terms of Alberti representations of the measure and in terms of differentiability of Lipschitz maps with values in Carnot groups.
In ord…
▽ More
A metric measure space is said to be Carnot-rectifiable if it can be covered up to a null set by countably many biLipschitz images of compact sets of a fixed Carnot group. In this paper, we give several characterisations of such notion of rectifiability both in terms of Alberti representations of the measure and in terms of differentiability of Lipschitz maps with values in Carnot groups.
In order to obtain this characterisation, we develop and study the analogue of the notion of Lipschitz differentiability space by Cheeger, using Carnot groups and Pansu derivatives as models. We call such metric measure spaces Pansu differentiability spaces (PDS).
△ Less
Submitted 19 October, 2024; v1 submitted 2 February, 2023;
originally announced February 2023.
-
Sympletic reduction of the sub-Riemannian geodesic flow for metabelian nilpotent groups
Authors:
Alejandro Bravo-Doddoli,
Enrico Le Donne,
Nicola Paddeu
Abstract:
We consider nilpotent Lie groups for which the derived subgroup is abelian. We equip them with subRiemannian metrics and we study the normal Hamiltonian flow on the cotangent bundle. We show a correspondence between normal trajectories and polynomial Hamiltonians in some euclidean space. We use the aforementioned correspondence to give a criterion for the integrability of the normal Hamiltonian fl…
▽ More
We consider nilpotent Lie groups for which the derived subgroup is abelian. We equip them with subRiemannian metrics and we study the normal Hamiltonian flow on the cotangent bundle. We show a correspondence between normal trajectories and polynomial Hamiltonians in some euclidean space. We use the aforementioned correspondence to give a criterion for the integrability of the normal Hamiltonian flow. As an immediate consequence, we show that in Engel-type groups the flow of the normal Hamiltonian is integrable. For Carnot groups that are semidirect products of two abelian groups, we give a set of conditions that normal trajectories must fulfill to be globally length-minimizing. Our results are based on a symplectic reduction procedure.
△ Less
Submitted 22 September, 2023; v1 submitted 10 November, 2022;
originally announced November 2022.
-
Rough similarity of left-invariant Riemannian metrics on some Lie groups
Authors:
Enrico Le Donne,
Gabriel Pallier,
Xiangdong Xie
Abstract:
We consider Lie groups that are either Heintze groups or Sol-type groups, which generalize the three-dimensional Lie group SOL. We prove that all left-invariant Riemannian metrics on each such a Lie group are roughly similar via the identity. This allows us to reformulate in a common framework former results by Le Donne-Xie, Eskin-Fisher-Whyte, Carrasco Piaggio, and recent results of Ferragut and…
▽ More
We consider Lie groups that are either Heintze groups or Sol-type groups, which generalize the three-dimensional Lie group SOL. We prove that all left-invariant Riemannian metrics on each such a Lie group are roughly similar via the identity. This allows us to reformulate in a common framework former results by Le Donne-Xie, Eskin-Fisher-Whyte, Carrasco Piaggio, and recent results of Ferragut and Kleiner-Müller-Xie, on quasiisometries of these solvable groups.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
Intrinsically Lipschitz sections and applications to metric groups
Authors:
Daniela Di Donato,
Enrico Le Donne
Abstract:
We introduce a notion of intrinsically Lipschitz graphs in the context of metric spaces. This is a broad generalization of what in Carnot groups has been considered by Franchi, Serapioni, and Serra Cassano, and later by many others. We proceed by focusing our attention on the graphs as subsets of a metric space given by the image of a section of a quotient map and we require an intrinsically Lipsc…
▽ More
We introduce a notion of intrinsically Lipschitz graphs in the context of metric spaces. This is a broad generalization of what in Carnot groups has been considered by Franchi, Serapioni, and Serra Cassano, and later by many others. We proceed by focusing our attention on the graphs as subsets of a metric space given by the image of a section of a quotient map and we require an intrinsically Lipschitz condition. We shall not have any function on a topological product, not we shall consider a metric on the base of the quotient map. Our results are: an Ascoli-Arzelà compactness theorem, an Ahlfors regularity theorem, and some extension theorems for partially defined intrinsically Lipschitz sections. Known results by Franchi, Serapioni, and Serra Cassano, and by Vittone will be our corollaries.
△ Less
Submitted 3 October, 2023; v1 submitted 4 May, 2022;
originally announced May 2022.
-
Nilpotent groups and biLipschitz embeddings into $L^1$
Authors:
Sylvester Eriksson-Bique,
Chris Gartland,
Enrico Le Donne,
Lisa Naples,
Sebastiano Nicolussi-Golo
Abstract:
We prove that if a simply connected nilpotent Lie group quasi-isometrically embeds into an $L^1$ space, then it is abelian. We reach this conclusion by proving that every Carnot group that biLipschitz embeds into $L^1$ is abelian.
Our proof follows the work of Cheeger and Kleiner, by considering the pull-back distance of a Lipschitz map into $L^1$ and representing it using a cut measure. We show…
▽ More
We prove that if a simply connected nilpotent Lie group quasi-isometrically embeds into an $L^1$ space, then it is abelian. We reach this conclusion by proving that every Carnot group that biLipschitz embeds into $L^1$ is abelian.
Our proof follows the work of Cheeger and Kleiner, by considering the pull-back distance of a Lipschitz map into $L^1$ and representing it using a cut measure. We show that such cut measures, and the induced distances, can be blown up and the blown-up cut measure is supported on "generic" tangents of the original sets. By repeating such a blow-up procedure, one obtains a cut measure supported on half-spaces. This differentiation result then is used to prove that bi-Lipschitz embeddings can not exist in the non-abelian settings.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Lipschitz Carnot-Carathéodory structures and their limits
Authors:
Gioacchino Antonelli,
Enrico Le Donne,
Sebastiano Nicolussi Golo
Abstract:
In this paper we discuss the convergence of distances associated to converging structures of Lipschitz vector fields and continuously varying norms on a smooth manifold. We prove that, under a mild controllability assumption on the limit vector-fields structure, the distances associated to equi-Lipschitz vector-fields structures that converge uniformly on compact subsets, and to norms that converg…
▽ More
In this paper we discuss the convergence of distances associated to converging structures of Lipschitz vector fields and continuously varying norms on a smooth manifold. We prove that, under a mild controllability assumption on the limit vector-fields structure, the distances associated to equi-Lipschitz vector-fields structures that converge uniformly on compact subsets, and to norms that converge uniformly on compact subsets, converge locally uniformly to the limit Carnot-Carathéodory distance. In the case in which the limit distance is boundedly compact, we show that the convergence of the distances is uniform on compact sets. We show an example in which the limit distance is not boundedly compact and the convergence is not uniform on compact sets. We discuss several examples in which our convergence result can be applied. Among them, we prove a subFinsler Mitchell's Theorem with continuously varying norms, and a general convergence result for Carnot-Carathéodory distances associated to subspaces and norms on the Lie algebra of a connected Lie group.
△ Less
Submitted 12 November, 2021;
originally announced November 2021.
-
Metric equivalences of Heintze groups and applications to classifications in low dimension
Authors:
Ville Kivioja,
Enrico Le Donne,
Sebastiano Nicolussi Golo
Abstract:
We approach the quasi-isometric classification questions on Lie groups by considering low dimensional cases and isometries alongside quasi-isometries. First, we present some new results related to quasi-isometries between Heintze groups. Then we will see how these results together with the existing tools related to isometries can be applied to groups of dimension 4 and 5 in particular. Thus we tak…
▽ More
We approach the quasi-isometric classification questions on Lie groups by considering low dimensional cases and isometries alongside quasi-isometries. First, we present some new results related to quasi-isometries between Heintze groups. Then we will see how these results together with the existing tools related to isometries can be applied to groups of dimension 4 and 5 in particular. Thus we take steps towards determining all the equivalence classes of groups up to isometry and quasi-isometry. We completely solve the classification up to isometry for simply connected solvable groups in dimension 4, and for the subclass of groups of polynomial growth in dimension 5.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
Polynomial and horizontally polynomial functions on Lie groups
Authors:
Gioacchino Antonelli,
Enrico Le Donne
Abstract:
We generalize both the notion of polynomial functions on Lie groups and the notion of horizontally affine maps on Carnot groups. We fix a subset $S$ of the algebra $\mathfrak g$ of left-invariant vector fields on a Lie group $\mathbb G$ and we assume that $S$ Lie generates $\mathfrak g$. We say that a function $f:\mathbb G\to \mathbb R$ (or more generally a distribution on $\mathbb G$) is $S$-poly…
▽ More
We generalize both the notion of polynomial functions on Lie groups and the notion of horizontally affine maps on Carnot groups. We fix a subset $S$ of the algebra $\mathfrak g$ of left-invariant vector fields on a Lie group $\mathbb G$ and we assume that $S$ Lie generates $\mathfrak g$. We say that a function $f:\mathbb G\to \mathbb R$ (or more generally a distribution on $\mathbb G$) is $S$-polynomial if for all $X\in S$ there exists $k\in \mathbb N$ such that the iterated derivative $X^k f$ is zero in the sense of distributions.
First, we show that all $S$-polynomial functions (as well as distributions) are represented by analytic functions and, if the exponent $k$ in the previous definition is independent on $X\in S$, they form a finite-dimensional vector space.
Second, if $\mathbb G$ is connected and nilpotent we show that $S$-polynomial functions are polynomial functions in the sense of Leibman. The same result may not be true for non-nilpotent groups.
Finally, we show that in connected nilpotent Lie groups, being polynomial in the sense of Leibman, being a polynomial in exponential chart, and the vanishing of mixed derivatives of some fixed degree along directions of $\mathfrak g$ are equivalent notions.
△ Less
Submitted 27 November, 2020;
originally announced November 2020.
-
Bicycle paths, elasticae and sub-Riemannian geometry
Authors:
Andrey Ardentov,
Gil Bor,
Enrico Le Donne,
Richard Montgomery,
Yuri Sachkov
Abstract:
We relate the sub-Riemannian geometry on the group of rigid motions of the plane to `bicycling mathematics'. We show that this geometry's geodesics correspond to bike paths whose front tracks are either non-inflectional Euler elasticae or straight lines, and that its infinite minimizing geodesics (or `metric lines') correspond to bike paths whose front tracks are either straight lines or `Euler's…
▽ More
We relate the sub-Riemannian geometry on the group of rigid motions of the plane to `bicycling mathematics'. We show that this geometry's geodesics correspond to bike paths whose front tracks are either non-inflectional Euler elasticae or straight lines, and that its infinite minimizing geodesics (or `metric lines') correspond to bike paths whose front tracks are either straight lines or `Euler's solitons' (also known as Syntractrix or Convicts' curves).
△ Less
Submitted 14 March, 2021; v1 submitted 8 October, 2020;
originally announced October 2020.
-
A Cornucopia of Carnot groups in Low Dimensions
Authors:
Enrico Le Donne,
Francesca Tripaldi
Abstract:
Stratified groups are those simply connected Lie groups whose Lie algebras admit a derivation for which the eigenspace with eigenvalue 1 is Lie generating. When a stratified group is equipped with a left-invariant path distance that is homogeneous with respect to the automorphisms induced by the derivation, this metric space is known as Carnot group. Carnot groups appear in several mathematical co…
▽ More
Stratified groups are those simply connected Lie groups whose Lie algebras admit a derivation for which the eigenspace with eigenvalue 1 is Lie generating. When a stratified group is equipped with a left-invariant path distance that is homogeneous with respect to the automorphisms induced by the derivation, this metric space is known as Carnot group. Carnot groups appear in several mathematical contexts. To understand their algebraic structure, it is useful to study some examples explicitly. In this work, we provide a list of low-dimensional stratified groups, express their Lie product, and present a basis of left-invariant vector fields, together with their respective left-invariant 1-forms, a basis of right-invariant vector fields, and some other properties. We exhibit all stratified groups in dimension up to 7 and also study some free-nilpotent groups in dimension up to 14.
△ Less
Submitted 27 August, 2020;
originally announced August 2020.
-
Characterizations of uniformly differentiable co-horizontal intrinsic graphs in Carnot groups
Authors:
Gioacchino Antonelli,
Daniela Di Donato,
Sebastiano Don,
Enrico Le Donne
Abstract:
In arbitrary Carnot groups we study intrinsic graphs of maps with horizontal target. These graphs are $C^1_H$ regular exactly when the map is uniformly intrinsically differentiable. Our first main result characterizes the uniformly intrinsic differentiability by means of Hölder properties along the projections of left-invariant vector fields on the graph. We strengthen the result in step-2 Carnot…
▽ More
In arbitrary Carnot groups we study intrinsic graphs of maps with horizontal target. These graphs are $C^1_H$ regular exactly when the map is uniformly intrinsically differentiable. Our first main result characterizes the uniformly intrinsic differentiability by means of Hölder properties along the projections of left-invariant vector fields on the graph. We strengthen the result in step-2 Carnot groups for intrinsic real-valued maps by only requiring horizontal regularity. We remark that such a refinement is not possible already in the easiest step-3 group. As a by-product of independent interest, in every Carnot group we prove an area-formula for uniformly intrinsically differentiable real-valued maps. We also explicitly write the area element in terms of the intrinsic derivatives of the map.
△ Less
Submitted 22 May, 2020;
originally announced May 2020.
-
Semigenerated step-3 Carnot algebras and applications to sub-Riemannian perimeter
Authors:
Enrico Le Donne,
Terhi Moisala
Abstract:
This paper contributes to the study of sets of finite intrinsic perimeter in Carnot groups. Our intent is to characterize in which groups the only sets with constant intrinsic normal are the vertical half-spaces. Our viewpoint is algebraic: such a phenomenon happens if and only if the semigroup generated by each horizontal half-space is a vertical half-space. We call \emph{semigenerated} those Car…
▽ More
This paper contributes to the study of sets of finite intrinsic perimeter in Carnot groups. Our intent is to characterize in which groups the only sets with constant intrinsic normal are the vertical half-spaces. Our viewpoint is algebraic: such a phenomenon happens if and only if the semigroup generated by each horizontal half-space is a vertical half-space. We call \emph{semigenerated} those Carnot groups with this property.
For Carnot groups of nilpotency step 3 we provide a complete characterization of semigeneration in terms of whether such groups do not have any Engel-type quotients. Engel-type groups, which are introduced here, are the minimal (in terms of quotients) counterexamples.
In addition, we give some sufficient criteria for semigeneration of Carnot groups of arbitrary step. For doing this, we define a new class of Carnot groups, which we call type $(\Diamond)$ and which generalizes the previous notion of type $(\star)$ defined by M. Marchi. As an application, we get that in type $ (\Diamond) $ groups and in step 3 groups that do not have any Engel-type algebra as a quotient, one achieves a strong rectifiability result for sets of finite perimeter in the sense of Franchi, Serapioni, and Serra-Cassano.
△ Less
Submitted 18 April, 2020;
originally announced April 2020.
-
Horizontally affine functions on step-2 Carnot algebras
Authors:
Enrico Le Donne,
Daniele Morbidelli,
Séverine Rigot
Abstract:
In this paper we introduce the notion of horizontally affine, h-affine in short, function and give a complete description of such functions on step-2 Carnot algebras. We show that the vector space of h-affine functions on the free step-2 rank-$n$ Carnot algebra is isomorphic to the exterior algebra of $\mathbb{R}^n$. Using that every Carnot algebra can be written as a quotient of a free Carnot alg…
▽ More
In this paper we introduce the notion of horizontally affine, h-affine in short, function and give a complete description of such functions on step-2 Carnot algebras. We show that the vector space of h-affine functions on the free step-2 rank-$n$ Carnot algebra is isomorphic to the exterior algebra of $\mathbb{R}^n$. Using that every Carnot algebra can be written as a quotient of a free Carnot algebra, we shall deduce from the free case a description of h-affine functions on arbitrary step-2 Carnot algebras, together with several characterizations of those step-2 Carnot algebras where h-affine functions are affine in the usual sense of vector spaces. Our interest for h-affine functions stems from their relationship with a class of sets called precisely monotone, recently introduced in the literature, as well as from their relationship with minimal hypersurfaces.
△ Less
Submitted 25 June, 2021; v1 submitted 17 April, 2020;
originally announced April 2020.
-
A rectifiability result for finite-perimeter sets in Carnot groups
Authors:
Sebastiano Don,
Enrico Le Donne,
Terhi Moisala,
Davide Vittone
Abstract:
In the setting of Carnot groups, we are concerned with the rectifiability problem for subsets that have finite sub-Riemannian perimeter. We introduce a new notion of rectifiability that is, possibly, weaker than the one introduced by Franchi, Serapioni, and Serra Cassano. Namely, we consider subsets $Γ$ that, similarly to intrinsic Lipschitz graphs, have a cone property: there exists an open dilat…
▽ More
In the setting of Carnot groups, we are concerned with the rectifiability problem for subsets that have finite sub-Riemannian perimeter. We introduce a new notion of rectifiability that is, possibly, weaker than the one introduced by Franchi, Serapioni, and Serra Cassano. Namely, we consider subsets $Γ$ that, similarly to intrinsic Lipschitz graphs, have a cone property: there exists an open dilation-invariant subset $C$ whose translations by elements in $Γ$ don't intersect $Γ$. However, a priori the cone $C$ may not have any horizontal directions in its interior. In every Carnot group, we prove that the reduced boundary of every finite-perimeter subset can be covered by countably many subsets that have such a cone property. The cones are related to the semigroups generated by the horizontal half-spaces determined by the normal directions. We further study the case when one can find horizontal directions in the interior of the cones, in which case we infer that finite-perimeter subsets are countably rectifiable with respect to intrinsic Lipschitz graphs. A sufficient condition for this to hold is the existence of a horizontal one-parameter subgroup that is not an abnormal curve. As an application, we verify that this property holds in every filiform group, of either first or second kind.
△ Less
Submitted 4 October, 2023; v1 submitted 1 December, 2019;
originally announced December 2019.
-
Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces
Authors:
Gioacchino Antonelli,
Enrico Le Donne
Abstract:
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^{\infty}$ hypersurface $S$ without characteristic points that has uncountably many pairwise non-isom…
▽ More
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^{\infty}$ hypersurface $S$ without characteristic points that has uncountably many pairwise non-isomorphic tangent groups on every positive-measure subset. The example is found in a Carnot group of topological dimension 8, it has Hausdorff dimension 12 and so we use on it the Hausdorff measure $\mathcal{H}^{12}$. As a consequence, we show that for every Carnot group of Hausdorff dimension 12, any Lipschitz map defined on a subset of it with values in $S$ has $\mathcal{H}^{12}$-null image. In particular, we deduce that this smooth hypersurface cannot be Lipschitz parametrizable by countably many maps each defined on some subset of some Carnot group of Hausdorff dimension $12$. As main consequence we have that a notion of rectifiability proposed by S.Pauls is not equivalent to one proposed by B.Franchi, R.Serapioni and F.Serra Cassano, at least for arbitrary Carnot groups. In addition, we show that, given a subset $U$ of a homogeneous subgroup of Hausdorff dimension $12$ of a Carnot group, every bi-Lipschitz map $f:U\to S$ satisfies $\mathcal{H}^{12}(f(U))=0$. Finally, we prove that such an example does not exist in Heisenberg groups: we prove that all $C^{\infty}$-hypersurfaces in $\mathbb H^n$ with $n\geq 2$ are countably $\mathbb{H}^{n-1}\times\mathbb R$-rectifiabile according to Pauls' definition, even with bi-Lipschitz maps.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
Sets with constant normal in Carnot groups: properties and examples
Authors:
Costante Bellettini,
Enrico Le Donne
Abstract:
We analyze subsets of Carnot groups that have intrinsic constant normal, as they appear in the blowup study of sets that have finite sub-Riemannian perimeter. The purpose of this paper is threefold. First, we prove some mild regularity and structural results in arbitrary Carnot groups. Namely, we show that for every constant-normal set in a Carnot group its sub-Riemannian-Lebesgue representative i…
▽ More
We analyze subsets of Carnot groups that have intrinsic constant normal, as they appear in the blowup study of sets that have finite sub-Riemannian perimeter. The purpose of this paper is threefold. First, we prove some mild regularity and structural results in arbitrary Carnot groups. Namely, we show that for every constant-normal set in a Carnot group its sub-Riemannian-Lebesgue representative is regularly open, contractible, and its topological boundary coincides with the reduced boundary and with the measure-theoretic boundary. We infer these properties from a cone property. Such a cone will be a semisubgroup with nonempty interior that is canonically associated with the normal direction. We characterize the constant-normal sets exactly as those that are arbitrary unions of translations of such semisubgroups. Second, making use of such a characterization, we provide some pathological examples in the specific case of the free-Carnot group of step 3 and rank 2. Namely, we construct a constant normal set that, with respect to any Riemannian metric, is not of locally finite perimeter; we also construct an example with non-unique intrinsic blowup at some point, showing that it has different upper and lower sub-Riemannian density at the origin. Third, we show that in Carnot groups of step 4 or less, every constant-normal set is intrinsically rectifiable, in the sense of Franchi, Serapioni, and Serra Cassano.
△ Less
Submitted 26 October, 2019;
originally announced October 2019.
-
Universal infinitesimal Hilbertianity of sub-Riemannian manifolds
Authors:
Enrico Le Donne,
Danka Lučić,
Enrico Pasqualetto
Abstract:
We prove that sub-Riemannian manifolds are infinitesimally Hilbertian (i.e., the associated Sobolev space is Hilbert) when equipped with an arbitrary Radon measure. The result follows from an embedding of metric derivations into the space of square-integrable sections of the horizontal bundle, which we obtain on all weighted sub-Finsler manifolds. As an intermediate tool, of independent interest,…
▽ More
We prove that sub-Riemannian manifolds are infinitesimally Hilbertian (i.e., the associated Sobolev space is Hilbert) when equipped with an arbitrary Radon measure. The result follows from an embedding of metric derivations into the space of square-integrable sections of the horizontal bundle, which we obtain on all weighted sub-Finsler manifolds. As an intermediate tool, of independent interest, we show that any sub-Finsler distance can be monotonically approximated from below by Finsler ones. All the results are obtained in the general setting of possibly rank-varying structures.
△ Less
Submitted 14 October, 2019;
originally announced October 2019.
-
Space of signatures as inverse limits of Carnot groups
Authors:
Enrico Le Donne,
Roger Züst
Abstract:
We formalize the notion of limit of an inverse system of metric spaces with $1$-Lipschitz projections having unbounded fibers. The purpose is to use sub-Riemannian groups for metrizing the space of signatures of rectifiable paths in Euclidean spaces, as introduced by Chen. The constructive limit space has the universal property in the category of pointed metric spaces with 1-Lipschitz maps. In the…
▽ More
We formalize the notion of limit of an inverse system of metric spaces with $1$-Lipschitz projections having unbounded fibers. The purpose is to use sub-Riemannian groups for metrizing the space of signatures of rectifiable paths in Euclidean spaces, as introduced by Chen. The constructive limit space has the universal property in the category of pointed metric spaces with 1-Lipschitz maps. In the general setting some metric properties are discussed such as the existence of geodesics and lifts. The notion of submetry will play a crucial role. The construction is applied to the sequence of free Carnot groups of fixed rank $n$ and increasing step. In this case, such limit space is in correspondence with the space of signatures of rectifiable paths in $\mathbb R^n$. Hambly-Lyons's result on the uniqueness of signature implies that this space is a geodesic metric tree that brunches at every point with infinite valence. As a particular consequence we deduce that every path in $\mathbb R^n$ can be approximated by projections of some geodesics in some Carnot group of rank $n$, giving an evidence that the complexity of sub-Riemannian geodesics increases with the step.
△ Less
Submitted 10 October, 2019;
originally announced October 2019.
-
Carnot rectifiability of sub-Riemannian manifolds with constant tangent
Authors:
Enrico Le Donne,
Robert Young
Abstract:
We show that if $M$ is a sub-Riemannian manifold and $N$ is a Carnot group such that the nilpotentization of $M$ at almost every point is isomorphic to $N$, then there are subsets of $N$ of positive measure that embed into $M$ by bilipschitz maps. Furthermore, $M$ is countably $N$--rectifiable, i.e., all of $M$ except for a null set can be covered by countably many such maps.
We show that if $M$ is a sub-Riemannian manifold and $N$ is a Carnot group such that the nilpotentization of $M$ at almost every point is isomorphic to $N$, then there are subsets of $N$ of positive measure that embed into $M$ by bilipschitz maps. Furthermore, $M$ is countably $N$--rectifiable, i.e., all of $M$ except for a null set can be covered by countably many such maps.
△ Less
Submitted 31 January, 2019;
originally announced January 2019.
-
Metric Lie groups admitting dilations
Authors:
Enrico Le Donne,
Sebastiano Nicolussi Golo
Abstract:
We consider left-invariant distances $d$ on a Lie group $G$ with the property that there exists a multiplicative one-parameter group of Lie automorphisms $(0, \infty)\rightarrow\mathtt{Aut}(G)$, $λ\mapstoδ_λ$, so that $ d(δ_λx,δ_λy) = λd(x,y)$, for all $x,y\in G$ and all $λ>0$.
First, we show that all such distances are admissible, that is, they induce the manifold topology. Second, we character…
▽ More
We consider left-invariant distances $d$ on a Lie group $G$ with the property that there exists a multiplicative one-parameter group of Lie automorphisms $(0, \infty)\rightarrow\mathtt{Aut}(G)$, $λ\mapstoδ_λ$, so that $ d(δ_λx,δ_λy) = λd(x,y)$, for all $x,y\in G$ and all $λ>0$.
First, we show that all such distances are admissible, that is, they induce the manifold topology. Second, we characterize multiplicative one-parameter groups of Lie automorphisms that are dilations for some left-invariant distance in terms of algebraic properties of their infinitesimal generator.
Third, we show that an admissible left-invariant distance on a Lie group with at least one nontrivial dilating automorphism is biLipschitz equivalent to one that admits a one-parameter group of dilating automorphisms. Moreover, the infinitesimal generator can be chosen to have spectrum in $[1,\infty)$. Fourth, we characterize the automorphisms of a Lie group that are a dilating automorphisms for some admissible distance.
Finally, we characterize metric Lie groups admitting a one-parameter group of dilating automorphisms as the only locally compact, isometrically homogeneous metric spaces with metric dilations of all factors. Such metric spaces appear as tangents of doubling metric spaces with unique tangents.
△ Less
Submitted 10 June, 2019; v1 submitted 8 January, 2019;
originally announced January 2019.
-
Gâteaux differentiability on infinite-dimensional Carnot groups
Authors:
Enrico Le Donne,
Sean Li,
Terhi Moisala
Abstract:
This paper contributes to the generalization of Rademacher's differentiability result for Lipschitz functions when the domain is infinite dimensional and has nonabelian group structure. We introduce the notion of metric scalable groups which are our infinite-dimensional analogues of Carnot groups. The groups in which we will mostly be interested are the ones that admit a dense increasing sequence…
▽ More
This paper contributes to the generalization of Rademacher's differentiability result for Lipschitz functions when the domain is infinite dimensional and has nonabelian group structure. We introduce the notion of metric scalable groups which are our infinite-dimensional analogues of Carnot groups. The groups in which we will mostly be interested are the ones that admit a dense increasing sequence of (finite-dimensional) Carnot subgroups. In fact, in each of these spaces we show that every Lipschitz function has a point of Gâteaux differentiability. We provide examples and criteria for when such Carnot subgroups exist. The proof of the main theorem follows the work of Aronszajn and Pansu.
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
Toward a quasi-Möbius characterization of Invertible Homogeneous Metric Spaces
Authors:
David Freeman,
Enrico Le Donne
Abstract:
We study locally compact metric spaces that enjoy various forms of homogeneity with respect to Möbius self-homeomorphisms. We investigate connections between such homogeneity and the combination of isometric homogeneity with invertibility. In particular, we provide a new characterization of snowflakes of boundaries of rank-one symmetric spaces of non-compact type among locally compact and connecte…
▽ More
We study locally compact metric spaces that enjoy various forms of homogeneity with respect to Möbius self-homeomorphisms. We investigate connections between such homogeneity and the combination of isometric homogeneity with invertibility. In particular, we provide a new characterization of snowflakes of boundaries of rank-one symmetric spaces of non-compact type among locally compact and connected metric spaces. Furthermore, we investigate the metric implications of homogeneity with respect to uniformly strongly quasi-Möbius self-homeomorphisms, connecting such homogeneity with the combination of uniform bi-Lipschitz homogeneity and quasi-invertibility. In this context we characterize spaces containing a cut point and provide several metric properties of spaces containing no cut points. These results are motivated by a desire to characterize the snowflakes of boundaries of rank-one symmetric spaces up to bi-Lipschitz equivalence.
△ Less
Submitted 8 December, 2018;
originally announced December 2018.
-
On the quasi-isometric and bi-Lipschitz classification of 3D Riemannian Lie groups
Authors:
Katrin Fässler,
Enrico Le Donne
Abstract:
This note is concerned with the geometric classification of connected Lie groups of dimension three or less, endowed with left-invariant Riemannian metrics. On the one hand, assembling results from the literature, we give a review of the complete classification of such groups up to quasi-isometries and we compare the quasi-isometric classification with the bi-Lipschitz classification. On the other…
▽ More
This note is concerned with the geometric classification of connected Lie groups of dimension three or less, endowed with left-invariant Riemannian metrics. On the one hand, assembling results from the literature, we give a review of the complete classification of such groups up to quasi-isometries and we compare the quasi-isometric classification with the bi-Lipschitz classification. On the other hand, we study the problem whether two quasi-isometrically equivalent Lie groups may be made isometric if equipped with suitable left-invariant Riemannian metrics. We show that this is the case for three-dimensional simply connected groups, but it is not true in general for multiply connected groups. The counterexample also demonstrates that `may be made isometric' is not a transitive relation.
△ Less
Submitted 6 November, 2018;
originally announced November 2018.
-
Sub-Finsler geodesics on the Cartan group
Authors:
A. Ardentov,
E. Le Donne,
Yu. Sachkov
Abstract:
This paper is a continuation of the work by the same authors on the Cartan group equipped with the sub-Finsler $\ell_\infty$ norm. We start by giving a detailed presentation of the structure of bang-bang extremal trajectories. Then we prove upper bounds on the number of switchings on bang-bang minimizers. We prove that any normal extremal is either bang-bang, or singular, or mixed. Consequently, w…
▽ More
This paper is a continuation of the work by the same authors on the Cartan group equipped with the sub-Finsler $\ell_\infty$ norm. We start by giving a detailed presentation of the structure of bang-bang extremal trajectories. Then we prove upper bounds on the number of switchings on bang-bang minimizers. We prove that any normal extremal is either bang-bang, or singular, or mixed. Consequently, we study mixed extremals. In particular, we prove that every two points can be connected by a piecewise smooth minimizer, and we give a uniform bound on the number of such pieces.
△ Less
Submitted 12 October, 2018;
originally announced October 2018.
-
A sub-Finsler problem on the Cartan group
Authors:
A. Ardentov,
E. Le Donne,
Yu. Sachkov
Abstract:
In this paper we study a sub-Finsler geometric problem on the free-nilpotent group of rank 2 and step 3. Such a group is also called Cartan group and has a natural structure of Carnot group, which we metrize considering the $\ell_\infty$ norm on its first layer. We adopt the point of view of time-optimal control theory. We characterize extremal curves via Pontryagin maximum principle. We describe…
▽ More
In this paper we study a sub-Finsler geometric problem on the free-nilpotent group of rank 2 and step 3. Such a group is also called Cartan group and has a natural structure of Carnot group, which we metrize considering the $\ell_\infty$ norm on its first layer. We adopt the point of view of time-optimal control theory. We characterize extremal curves via Pontryagin maximum principle. We describe abnormal and singular arcs, and construct the bang-bang flow.
△ Less
Submitted 9 October, 2018;
originally announced October 2018.
-
A note on topological dimension, Hausdorff measure, and rectifiability
Authors:
Guy C. David,
Enrico Le Donne
Abstract:
The purpose of this note is to record a consequence, for general metric spaces, of a recent result of David Bate. We prove the following fact: Let $X$ be a compact metric space of topological dimension $n$. Suppose that the $n$-dimensional Hausdorff measure of $X$, $\mathcal H^n(X)$, is finite. Suppose further that the lower n-density of the measure $\mathcal H^n$ is positive, $\mathcal H^n$-almos…
▽ More
The purpose of this note is to record a consequence, for general metric spaces, of a recent result of David Bate. We prove the following fact: Let $X$ be a compact metric space of topological dimension $n$. Suppose that the $n$-dimensional Hausdorff measure of $X$, $\mathcal H^n(X)$, is finite. Suppose further that the lower n-density of the measure $\mathcal H^n$ is positive, $\mathcal H^n$-almost everywhere in $X$. Then $X$ contains an $n$-rectifiable subset of positive $\mathcal H^n$-measure. Moreover, the assumption on the lower density is unnecessary if one uses recently announced results of Csörnyei-Jones.
△ Less
Submitted 7 July, 2018;
originally announced July 2018.
-
Blowups and blowdowns of geodesics in Carnot groups
Authors:
Eero Hakavuori,
Enrico Le Donne
Abstract:
This paper provides some partial regularity results for geodesics (i.e., isometric images of intervals) in arbitrary sub-Riemannian and sub-Finsler manifolds. Our strategy is to study infinitesimal and asymptotic properties of geodesics in Carnot groups equipped with arbitrary sub-Finsler metrics. We show that tangents of Carnot geodesics are geodesics in some groups of lower nilpotency step. Name…
▽ More
This paper provides some partial regularity results for geodesics (i.e., isometric images of intervals) in arbitrary sub-Riemannian and sub-Finsler manifolds. Our strategy is to study infinitesimal and asymptotic properties of geodesics in Carnot groups equipped with arbitrary sub-Finsler metrics. We show that tangents of Carnot geodesics are geodesics in some groups of lower nilpotency step. Namely, every blowup curve of every geodesic in every Carnot group is still a geodesic in the group modulo its last layer. Then as a consequence we get that in every sub-Riemannian manifold any $s$ times iterated tangent of any geodesic is a line, where $s$ is the step of the sub-Riemannian manifold in question. With a similar approach, we also show that blowdown curves of geodesics in sub-Riemannian Carnot groups are contained in subgroups of lower rank. This latter result is also extended to rough geodesics.
△ Less
Submitted 17 January, 2022; v1 submitted 25 June, 2018;
originally announced June 2018.
-
Restricting open surjections
Authors:
Jesus A. Jaramillo,
Enrico Le Donne,
Tapio Rajala
Abstract:
We show that any continuous open surjection from a complete metric space to another metric space can be restricted to a surjection for which the domain has the same density character as the target. This improves a recent result of Aron, Jaramillo and Le Donne.
We show that any continuous open surjection from a complete metric space to another metric space can be restricted to a surjection for which the domain has the same density character as the target. This improves a recent result of Aron, Jaramillo and Le Donne.
△ Less
Submitted 23 March, 2018;
originally announced March 2018.
-
From homogeneous metric spaces to Lie groups
Authors:
Michael G. Cowling,
Ville Kivioja,
Enrico Le Donne,
Sebastiano Nicolussi Golo,
Alessandro Ottazzi
Abstract:
We study homogeneous metric spaces, by which we mean connected, locally compact metric spaces whose isometry group acts transitively. After a review of some classical results, we use the Gleason-Iwasawa-Montgomery-Yamabe-Zippin structure theory to show that for all positive $ε$, each such space is $(1,ε)$-quasi-isometric to a connected metric Lie group. Next, we develop the structure theory of Lie…
▽ More
We study homogeneous metric spaces, by which we mean connected, locally compact metric spaces whose isometry group acts transitively. After a review of some classical results, we use the Gleason-Iwasawa-Montgomery-Yamabe-Zippin structure theory to show that for all positive $ε$, each such space is $(1,ε)$-quasi-isometric to a connected metric Lie group. Next, we develop the structure theory of Lie groups to show that every homogeneous metric manifold is homeomorphically roughly isometric to a quotient space of a connected amenable Lie group, and roughly isometric to a simply connected solvable metric Lie group. Third, we investigate solvable metric Lie groups in more detail, and expound on and extend work of Gordon and Wilson and of Jablonski on these, showing, for instance, that connected, simply connected solvable Lie groups may be made isometric if and only if they have the same real-shadow. Finally, we extend a result of Kivioja and Le Donne to show that homogeneous metric spaces that admit a metric dilation are all metric Lie groups with an automorphic dilation.
△ Less
Submitted 26 August, 2021; v1 submitted 26 May, 2017;
originally announced May 2017.
-
Universal differentiability sets and maximal directional derivatives in Carnot groups
Authors:
Enrico Le Donne,
Andrea Pinamonti,
Gareth Speight
Abstract:
We show that every Carnot group G of step 2 admits a Hausdorff dimension one `universal differentiability set' N such that every real-valued Lipschitz map on G is Pansu differentiable at some point of N. This relies on the fact that existence of a maximal directional derivative of f at a point x implies Pansu differentiability at the same point x. We show that such an implication holds in Carnot g…
▽ More
We show that every Carnot group G of step 2 admits a Hausdorff dimension one `universal differentiability set' N such that every real-valued Lipschitz map on G is Pansu differentiable at some point of N. This relies on the fact that existence of a maximal directional derivative of f at a point x implies Pansu differentiability at the same point x. We show that such an implication holds in Carnot groups of step 2 but fails in the Engel group which has step 3.
△ Less
Submitted 9 April, 2020; v1 submitted 16 May, 2017;
originally announced May 2017.
-
Conformal equivalence of visual metrics in pseudoconvex domains
Authors:
Luca Capogna,
Enrico Le Donne
Abstract:
We refine estimates introduced by Balogh and Bonk, to show that the boundary extensions of isometries between smooth strongly pseudoconvex domains in $\C^n$ are conformal with respect to the sub-Riemannian metric induced by the Levi form. As a corollary we obtain an alternative proof of a result of Fefferman on smooth extensions of biholomorphic mappings between pseudoconvex domains. The proofs ar…
▽ More
We refine estimates introduced by Balogh and Bonk, to show that the boundary extensions of isometries between smooth strongly pseudoconvex domains in $\C^n$ are conformal with respect to the sub-Riemannian metric induced by the Levi form. As a corollary we obtain an alternative proof of a result of Fefferman on smooth extensions of biholomorphic mappings between pseudoconvex domains. The proofs are inspired by Mostow's proof of his rigidity theorem and are based on the asymptotic hyperbolic character of the Kobayashi or Bergman metrics and on the Bonk-Schramm hyperbolic fillings.
△ Less
Submitted 1 March, 2017;
originally announced March 2017.
-
Isometric embeddings of snowflakes into finite-dimensional Banach spaces
Authors:
Enrico Le Donne,
Tapio Rajala,
Erik Walsberg
Abstract:
We consider a general notion of snowflake of a metric space by composing the distance by a nontrivial concave function.
We prove that a snowflake of a metric space $X$ isometrically embeds into some finite-dimensional normed space if and only if $X$ is finite. In the case of power functions we give a uniform bound on the cardinality of $X$ depending only on the power exponent and the dimension o…
▽ More
We consider a general notion of snowflake of a metric space by composing the distance by a nontrivial concave function.
We prove that a snowflake of a metric space $X$ isometrically embeds into some finite-dimensional normed space if and only if $X$ is finite. In the case of power functions we give a uniform bound on the cardinality of $X$ depending only on the power exponent and the dimension of the vector space.
△ Less
Submitted 12 September, 2016;
originally announced September 2016.
-
Smooth surjections and surjective restrictions
Authors:
Richard M. Aron,
Jesús A. Jaramillo,
Enrico Le Donne
Abstract:
Given a surjective mapping $f : E \to F$ between Banach spaces, we investigate the existence of a subspace $G$ of $E$, with the same density character as $F$, such that the restriction of $f$ to $G$ remains surjective. We obtain a positive answer whenever $f$ is continuous and uniformly open. In the smooth case, we deduce a positive answer when $f$ is a $C^1$-smooth surjection whose set of critica…
▽ More
Given a surjective mapping $f : E \to F$ between Banach spaces, we investigate the existence of a subspace $G$ of $E$, with the same density character as $F$, such that the restriction of $f$ to $G$ remains surjective. We obtain a positive answer whenever $f$ is continuous and uniformly open. In the smooth case, we deduce a positive answer when $f$ is a $C^1$-smooth surjection whose set of critical values is countable. Finally we show that, when $f$ takes values in the Euclidean space $\mathbb R^n$, in order to obtain this result it is not sufficient to assume that the set of critical values of $f$ has zero-measure.
△ Less
Submitted 27 June, 2018; v1 submitted 6 July, 2016;
originally announced July 2016.
-
A primer on Carnot groups: homogenous groups, CC spaces, and regularity of their isometries
Authors:
Enrico Le Donne
Abstract:
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 remarks. We consider them as special cases of graded groups and as homogeneous metric…
▽ More
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 remarks. We consider them as special cases of graded groups and as homogeneous metric spaces. We discuss the regularity of isometries in the general case of Carnot-Caratheodory spaces and of nilpotent metric Lie groups.
△ Less
Submitted 28 April, 2016;
originally announced April 2016.
-
Conformality and $Q$-harmonicity in sub-Riemannian manifolds
Authors:
Luca Capogna,
Giovanna Citti,
Enrico Le Donne,
Alessandro Ottazzi
Abstract:
We prove the equivalence of several natural notions of conformal maps between sub-Riemannian manifolds. Our main contribution is in the setting of those manifolds that support a suitable regularity theory for subelliptic $p$-Laplacian operators. For such manifolds we prove a Liouville-type theorem, i.e., 1-quasiconformal maps are smooth. In particular, we prove that contact manifolds support the s…
▽ More
We prove the equivalence of several natural notions of conformal maps between sub-Riemannian manifolds. Our main contribution is in the setting of those manifolds that support a suitable regularity theory for subelliptic $p$-Laplacian operators. For such manifolds we prove a Liouville-type theorem, i.e., 1-quasiconformal maps are smooth. In particular, we prove that contact manifolds support the suitable regularity. The main new technical tools are a sub-Riemannian version of p-harmonic coordinates and a technique of propagation of regularity from horizontal layers.
△ Less
Submitted 5 January, 2017; v1 submitted 17 March, 2016;
originally announced March 2016.
-
Lusin approximation for horizontal curves in step 2 Carnot groups
Authors:
Enrico Le Donne,
Gareth Speight
Abstract:
A Carnot group $\mathbb{G}$ admits Lusin approximation for horizontal curves if for any absolutely continuous horizontal curve $γ$ in $\mathbb{G}$ and $\varepsilon>0$, there is a $C^1$ horizontal curve $Γ$ such that $Γ=γ$ and $Γ'=γ'$ outside a set of measure at most $\varepsilon$. We verify this property for free Carnot groups of step 2 and show that it is preserved by images of Lie group homomorp…
▽ More
A Carnot group $\mathbb{G}$ admits Lusin approximation for horizontal curves if for any absolutely continuous horizontal curve $γ$ in $\mathbb{G}$ and $\varepsilon>0$, there is a $C^1$ horizontal curve $Γ$ such that $Γ=γ$ and $Γ'=γ'$ outside a set of measure at most $\varepsilon$. We verify this property for free Carnot groups of step 2 and show that it is preserved by images of Lie group homomorphisms preserving the horizontal layer. Consequently, all step 2 Carnot groups admit Lusin approximation for horizontal curves.
△ Less
Submitted 8 February, 2016;
originally announced February 2016.
-
Isometries of nilpotent metric groups
Authors:
Ville Kivioja,
Enrico Le Donne
Abstract:
We consider Lie groups equipped with arbitrary distances. We only assume that the distance is left-invariant and induces the manifold topology. For brevity, we call such object metric Lie groups. Apart from Riemannian Lie groups, distinguished examples are sub-Riemannian Lie groups and, in particular, Carnot groups equipped with Carnot-Carathéodory distances. We study the regularity of isometries,…
▽ More
We consider Lie groups equipped with arbitrary distances. We only assume that the distance is left-invariant and induces the manifold topology. For brevity, we call such object metric Lie groups. Apart from Riemannian Lie groups, distinguished examples are sub-Riemannian Lie groups and, in particular, Carnot groups equipped with Carnot-Carathéodory distances. We study the regularity of isometries, i.e., distance-preserving homeomorphisms. Our first result is the analyticity of such maps between metric Lie groups. The second result is that if two metric Lie groups are connected and nilpotent then every isometry between the groups is the composition of a left translation and an isomorphism. There are counterexamples if one does not assume the groups to be either connected or nilpotent. The first result is based on a solution of the Hilbert 5th problem by Montgomery and Zippin. The second result is proved, via the first result, considering the Riemannian case, which for self-isometries was solved by Wolf.
△ Less
Submitted 29 January, 2016;
originally announced January 2016.
-
Besicovitch Covering Property on graded groups and applications to measure differentiation
Authors:
Enrico Le Donne,
Severine Rigot
Abstract:
We give a complete answer to which homogeneous groups admit homogeneous distances for which the Besicovitch Covering Property (BCP) holds. In particular, we prove that a stratified group admits homogeneous distances for which BCP holds if and only if the group has step 1 or 2. These results are obtained as consequences of a more general study of homogeneous quasi-distances on graded groups. Namely…
▽ More
We give a complete answer to which homogeneous groups admit homogeneous distances for which the Besicovitch Covering Property (BCP) holds. In particular, we prove that a stratified group admits homogeneous distances for which BCP holds if and only if the group has step 1 or 2. These results are obtained as consequences of a more general study of homogeneous quasi-distances on graded groups. Namely, we prove that a positively graded group admits continuous homogeneous quasi-distances satisfying BCP if and only if any two different layers of the associated positive grading of its Lie algebra commute. The validity of BCP has several consequences. Its connections with the theory of differentiation of measures is one of the main motivations of the present paper. As a consequence of our results, we get for instance that a stratified group can be equipped with some homogeneous distance so that the differentiation theorem holds for each locally finite Borel measure if and only if the group has step 1 or 2. The techniques developed in this paper allow also us to prove that sub-Riemannian distances on stratified groups of step 2 or higher never satisfy BCP. Using blow-up techniques this is shown to imply that on a sub-Riemannian manifold the differentiation theorem does not hold for some locally finite Borel measure.
△ Less
Submitted 15 December, 2015;
originally announced December 2015.
-
Non-minimality of corners in subriemannian geometry
Authors:
Eero Hakavuori,
Enrico Le Donne
Abstract:
We give a short solution to one of the main open problems in subriemannian geometry. Namely, we prove that length minimizers do not have corner-type singularities. With this result we solve Problem II of Agrachev's list, and provide the first general result toward the 30-year-old open problem of regularity of subriemannian geodesics.
We give a short solution to one of the main open problems in subriemannian geometry. Namely, we prove that length minimizers do not have corner-type singularities. With this result we solve Problem II of Agrachev's list, and provide the first general result toward the 30-year-old open problem of regularity of subriemannian geodesics.
△ Less
Submitted 29 March, 2016; v1 submitted 18 September, 2015;
originally announced September 2015.
-
Regularity properties of spheres in homogeneous groups
Authors:
Enrico Le Donne,
Sebastiano Nicolussi Golo
Abstract:
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 Euclidean Lipschitz and, consequently, that the metric spheres are boundaries o…
▽ More
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 Euclidean Lipschitz and, consequently, that the metric spheres are boundaries of Lipschitz domains in the Euclidean sense. In the first part of the paper, we consider geodesic distances. In this case, we actually prove the regularity of the distance in the more general context of sub-Finsler manifolds with no abnormal geodesics. Secondly, for general groups we identify an algebraic criterium in terms of the dilating automorphisms, which for example makes us conclude the regularity of homogeneous distances on the Heisenberg group.In such a group, we analyze in more details the geometry of metric spheres. We also provide examples of homogeneous groups where spheres presents cusps.
△ Less
Submitted 13 September, 2015;
originally announced September 2015.
-
Asymptotic behavior of the Riemannian Heisenberg group and its horoboundary
Authors:
Enrico Le Donne,
Sebastiano Nicolussi Golo,
Andrea Sambusetti
Abstract:
The paper is devoted to the large scale geometry of the Heisenberg group $\mathbb H$ equipped with left-invariant Riemannian distances.
We prove that two such distances have bounded difference if and only if they are asymptotic, i.e., their ratio goes to one, at infinity.
Moreover, we show that for every left-invariant Riemannian distance $d$ on $\mathbb H$ there is a unique subRiemanniann met…
▽ More
The paper is devoted to the large scale geometry of the Heisenberg group $\mathbb H$ equipped with left-invariant Riemannian distances.
We prove that two such distances have bounded difference if and only if they are asymptotic, i.e., their ratio goes to one, at infinity.
Moreover, we show that for every left-invariant Riemannian distance $d$ on $\mathbb H$ there is a unique subRiemanniann metric $d'$ for which $d-d'$ goes to zero at infinity, and we estimate the rate of convergence.
As a first immediate consequence we get that the Riemannian Heisenberg group is at bounded distance from its asymptotic cone.
The second consequence, which was our aim, is the explicit description of the horoboundary of the Riemannian Heisenberg group.
△ Less
Submitted 1 September, 2015;
originally announced September 2015.
-
Ahlfors-regular distances on the Heisenberg group without biLipschitz pieces
Authors:
Enrico Le Donne,
Sean Li,
Tapio Rajala
Abstract:
We show that the Heisenberg group is not minimal in looking down. This answers Problem 11.15 in `Fractured fractals and broken dreams' by David and Semmes, or equivalently, Question 22 and hence also Question 24 in `Thirty-three yes or no questions about mappings, measures, and metrics' by Heinonen and Semmes.
The non-minimality of the Heisenberg group is shown by giving an example of an Ahlfors…
▽ More
We show that the Heisenberg group is not minimal in looking down. This answers Problem 11.15 in `Fractured fractals and broken dreams' by David and Semmes, or equivalently, Question 22 and hence also Question 24 in `Thirty-three yes or no questions about mappings, measures, and metrics' by Heinonen and Semmes.
The non-minimality of the Heisenberg group is shown by giving an example of an Ahlfors $4$-regular metric space $X$ having big pieces of itself such that no Lipschitz map from a subset of $X$ to the Heisenberg group has image with positive measure, and by providing a Lipschitz map from the Heisenberg group to the space $X$ having as image the whole $X$.
As part of proving the above result we define a new distance on the Heisenberg group that is bounded by the Carnot-Carathéodory distance, that preserves the Ahlfors-regularity, and such that the Carnot-Carathéodory distance and the new distance are biLipschitz equivalent on no set of positive measure. This construction works more generally in any Ahlfors-regular metric space where one can make suitable shortcuts. Such spaces include for example all snowflaked Ahlfors-regular metric spaces. With the same techniques we also provide an example of a left-invariant distance on the Heisenberg group biLipschitz to the Carnot-Carathéodory distance for which no blow-up admits nontrivial dilations.
△ Less
Submitted 25 August, 2015;
originally announced August 2015.
-
Sub-Finsler structures from the time-optimal control viewpoint for some nilpotent distributions
Authors:
Davide Barilari,
Ugo Boscain,
Enrico Le Donne,
Mario Sigalotti
Abstract:
In this paper we study the sub-Finsler geometry as a time-optimal control problem. In particular, we consider non-smooth and non-strictly convex sub-Finsler structures associated with the Heisenberg, Grushin, and Martinet distributions. Motivated by problems in geometric group theory, we characterize extremal curves, discuss their optimality, and calculate the metric spheres, proving their Euclide…
▽ More
In this paper we study the sub-Finsler geometry as a time-optimal control problem. In particular, we consider non-smooth and non-strictly convex sub-Finsler structures associated with the Heisenberg, Grushin, and Martinet distributions. Motivated by problems in geometric group theory, we characterize extremal curves, discuss their optimality, and calculate the metric spheres, proving their Euclidean rectifiability.
△ Less
Submitted 13 June, 2015;
originally announced June 2015.
