We prove a \(C^{1,1}\)-regularity of minimizers of the functional
\[
\int_I \sqrt{1+\vert Du\vert ^2} + \int_I \vert u-g\vert\,ds,\quad u\in BV(I),
\]
provided \(I\subset\mathbb{R}\) is a bounded open interval and \(\vert\vert g\vert\vert_\infty\) is sufficiently small, thus partially establishing a De Giorgi conjecture in dimension one and codimension one. We also extend our result to a suitable anisotropic setting.
In this paper we prove that in $\mathbb R^3$ the minimizing movement solutions for mean curvature motion of droplets, obtained in [Bellettini, Kholmatov: J. Math. Pures Appl. (2018)|https://www.sciencedirect.com/science/article/pii/S0021782418300825 ], starting from a regular droplets sitting on the horizontal plane with a regular relative adhesion coefficient, coincide with the smooth mean curvature flow of droplets with a prescribed contact-angle.
We study the crystalline curvature flow of planar networks with a single hexagonal anisotropy. After proving the local existence of a classical solution for a rather large class of initial conditions, we classify the homothetically shrinking solutions having one bounded component. We also provide an example of network shrinking to a segment with multiplicity two.
In this paper we prove that the Winterbottom shape [[Winterbottom: Acta Metallurgica (1967)]] is a volume-constraint minimizer of the corresponding anisotropic capillary functional.
We study forced anisotropic curvature flow of droplets on an inhomogeneous horizontal hyperplane. As in [[Bellettini, Kholmatov: J. Math. Pures Appl (2018)]] we establish the existence of smooth flow, starting from a regular droplet and satisfying the prescribed anisotropic Young's law, and also the existence of a $1/2$-Hölder continuous in time minimizing movement solution starting from a set of finite perimeter. Furthermore, we investigate various properties of minimizing movements, including comparison principles, uniform boundedness and the consistency with the smooth flow.
Motivated by a conjecture of De Giorgi, we consider the Almgren-Taylor-Wang scheme for mean curvature flow, where the volume penalization is replaced by a term of the form
\[
\int_{E\Delta F} f\Big(\frac{ {\rm d}_F }{\tau}\Big)~dx
\]
for $f$ ranging in a large class of strictly increasing
continuous functions. In particular, our analysis covers the case
\[
f(r) = r^\alpha, \qquad r \geq 0, \quad \alpha>0,
\]
considered by De Giorgi. We show that
the generalized minimizing movement
scheme converges to the geometric evolution equation
\[
f(v) = - \kappa\quad \text{on $\partial E(t)$,}
\]
where $\{E(t)\}$ are evolving subsets of $\mathbb{R}^n,$ $v$ is the normal velocity of $\partial E(t),$ and $\kappa$ is the mean curvature of $\partial E(t)$. We extend our analysis to the anisotropic setting, and in the presence of a driving force. We also show that minimizing movements coincide with the smooth classical solution as long as the latter exists. Finally, we prove that in the absence of forcing, mean convexity and convexity are preserved by the weak flow.
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.
G. Antonelli, E. Le Donne, A. Merlo (Proceedings of the London Mathematical Society)
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).
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.
Given $p \in (1,\infty)$, let $(\operatorname{X},\operatorname{d},\mu)$ be a metric measure space with
uniformly locally doubling measure $\mu$ supporting a weak local $(1,p)$-Poincar´e inequality. For each $\theta \in [0,p)$ we characterize the trace space of the Sobolev $W_{p}^{1}(\operatorname{X})$-space to lower $\theta$-codimensional content regular closed sets $S \subset \operatorname{X}$. In particular, if the space $(\operatorname{X},\operatorname{d},\mu)$ is Ahlfors $Q$-regular for some
$Q \geq 1$ and $p \in (Q,\infty)$, then we obtain an intrinsic description of the
trace-space of the Sobolev space $W_{p}^{1}(\operatorname{X})$ to arbitrary closed nonempty sets
$S \subset \operatorname{X}$.
E. Hakavuori, V. Kivioja, T. Moisala, F. Tripaldi (Journal of Lie Theory)
We present a constructive approach to torsion-free gradings of Lie algebras.
Our main result is the computation of a maximal grading. Given a Lie algebra,
using its maximal grading we enumerate all of its torsion-free gradings as well
as its positive gradings. As applications, we classify gradings in low
dimension, we consider the enumeration of Heintze groups, and we give methods
to find bounds for non-vanishing $\ell^{q,p}$ cohomology.
G. Antonelli, M. Fogagnolo, M. Pozzetta (Communications in Contemporary Mathematics)
In this paper we prove the existence of isoperimetric regions of any volume in Riemannian manifolds with Ricci bounded below and with a mild assumption at infinity, that is Gromov-Hausdorff asymptoticity to simply connected models of constant sectional curvature. The previous result is a consequence of a general structure theorem for perimeter-minimizing sequences of sets of fixed volume on noncollapsed Riemannian manifolds with a lower bound on the Ricci curvature. We show that, without assuming any further hypotheses on the asymptotic geometry, all the mass and the perimeter lost at infinity, if any, are recovered by at most countably many isoperimetric regions sitting in some Gromov-Hausdorff limits at infinity. The Gromov-Hausdorff asymptotic analysis conducted allows us to provide, in low dimensions, a result of nonexistence of isoperimetric regions in Cartan-Hadamard manifolds that are Gromov-Hausdorff asymptotic to the Euclidean space. While studying the isoperimetric problem in the smooth setting, the nonsmooth geometry naturally emerges, and thus our treatment combines techniques from both the theories.
E. Le Donne, G. Pallier, X. Xie (Groups, Geometry, and Dynamics)
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\"uller-Xie, on quasiisometries of these
solvable groups.
We introduce the notion of intrinsically Lipschitz graphs to metric spaces.
We generalize the notion of intrinsically Lipschitz graphs in the sense of
Franchi, Serapioni and Serra Cassano. We do this by focusing our attention on
the graphs property instead of the maps. More precisely, we prove some relevant
results as the Ascoli-Arzel\`a compactness Theorem, Ahlfors regularity and the
Extension Theorem for the intrinsically Lipschitz sections.
G. Antonelli, A. Merlo (Journal of Functional Analysis)
In this paper we continue the study of the notion of $\mathscr{P}$-rectifiability in Carnot groups. We say that a Radon measure is $\mathscr{P}_h$-rectifiable, for $h\in\mathbb N$, if it has positive $h$-lower density and finite $h$-upper density almost everywhere, and, at almost every point, it admits a unique tangent measure up to multiples. In this paper we prove a Marstrand--Mattila rectifiability criterion in arbitrary Carnot groups for $\mathscr{P}$-rectifiable measures with tangent planes that admit a normal complementary subgroup. Namely, in this co-normal case, even if a priori the tangent planes at a point might not be the same at different scales, a posteriori the measure has a unique tangent almost everywhere.
Since every horizontal subgroup of a Carnot group has a normal complement, our criterion applies in the particular case in which the tangents are one-dimensional horizontal subgroups. Hence, as an immediate consequence of our Marstrand--Mattila rectifiability criterion and a result of Chousionis--Magnani--Tyson, we obtain the one-dimensional Preiss's theorem in the first Heisenberg group $\mathbb H^1$. More precisely, we show that a Radon measure $\varphi$ on $\mathbb H^1$ with positive and finite one-density with respect to the Koranyi distance is absolutely continuous with respect to the one-dimensional Hausdorff measure $\mathcal{H}^1$, and it is supported on a one-rectifiable set in the sense of Federer, i.e., it is supported on the countable union of the images of Lipschitz maps from $A\subset \mathbb R$ to $\mathbb H^1$.
In the present work, we consider area minimizing currents in the general setting of arbitrary codimension and arbitrary boundary multiplicity. We study the boundary regularity of 2d area minimizing currents, beyond that, several results are stated in the more general context of $(C_0,\alpha_0,r_0)$-almost area minimizing currents of arbitrary dimension m and arbitrary codimension taking the boundary with arbitrary multiplicity. Furthermore, we do not consider any type of convex barrier assumption on the boundary, in our main regularity result which states that the regular set, which includes one-sided and two-sided points, of any 2d area minimizing current $T$ is an open dense set in $\Gamma$.
E. Le Donne, F. Tripaldi (Analysis and Geometry in Metric Spaces)
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.
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.
A. Carbotti, S. Don, D. Pallara, A. Pinamonti (ESAIM cocv)
We prove the local minimality of halfspaces in Carnot groups for a class of nonlocal functionals usually addressed as nonlocal perimeters. Moreover, in a class of Carnot groups in which the De Giorgi's rectifiability Theorem holds, we provide a lower bound for the $\Gamma$-liminf of the rescaled energy in terms of the horizontal perimeter.
T. Moisala, E. Pasqualetto (Mathematica Scandinavica)
We give a construction of direct limits in the category of complete metric
scalable groups and provide sufficient conditions for the limit to be an
infinite-dimensional Carnot group. We also prove a Rademacher-type theorem for
such limits.
These are lecture notes from various courses on sub-Riemannian geometry. The viewpoint that is emphasised is the one from the Lie group theory and metric geometry.
The aim of this paper is to study ultralimits of pointed metric measure
spaces (possibly unbounded and having infinite mass). We prove that ultralimits
exist under mild assumptions and are consistent with the pointed measured
Gromov-Hausdorff convergence. We also introduce a weaker variant of pointed
measured Gromov-Hausdorff convergence, for which we can prove a version of
Gromov's compactness theorem by using the ultralimit machinery. This
compactness result shows that, a posteriori, our newly introduced notion of
convergence is equivalent to the pointed measured Gromov one. Another byproduct
of our ultralimit construction is the identification of direct and inverse
limits in the category of pointed metric measure spaces.
G. Antonelli, A. Merlo (Calculus of Variations and Partial Differential Equations)
This paper deals with the theory of rectifiability in arbitrary Carnot groups, and in particular with the study of the notion of P-rectifiable measure.
First, we show that in arbitrary Carnot groups the natural infinitesimal definition of rectifiabile measure, i.e., the definition given in terms of the existence of flat tangent measures, is equivalent to the global definition given in terms of coverings with intrinsically differentiable graphs, i.e., graphs with flat Hausdorff tangents. In general we do not have the latter equivalence if we ask the covering to be made of intrinsically Lipschitz graphs.
Second, we show a geometric area formula for the centered Hausdorff measure restricted to intrinsically differentiable graphs in arbitrary Carnot groups. The latter formula extends and strengthens other area formulae obtained in the literature in the context of Carnot groups.
As an application, our analysis allows us to prove the intrinsic C^1-rectifiability of almost all the preimages of a large class of Lipschitz functions between Carnot groups. In particular, from the latter result, we obtain that any geodesic sphere in a Carnot group equipped with an arbitrary left-invariant homogeneous distance is intrinsic C^1-rectifiable.
G. Antonelli, A. Merlo (Annali della Scuola Normale Superiore di Pisa, Classe di Scienze)
In the setting of Carnot groups, we exhibit examples of intrinisc Lipschitz
curves of positive $\mathcal{H}^1$-measure that intersect every connected
intrinsic Lipschitz curve in a $\mathcal{H}^1$-negligible set. As a consequence
such curves cannot be extended to connected intrinsic Lipschitz curves.
The examples are constructed in the Engel group and in the free Carnot group
of step 3 and rank 2. While the failure of the Lipschitz extension property was
already known for some pairs of Carnot groups, ours is the first example of the
analogous phenomenon for intrinsic Lipschitz graphs. This is in sharp contrast
with the Euclidean case.
S. Nardulli, F. Russo (Journal of Functional Analysis)
We study a family of geometric variational functionals introduced by Hamilton, and considered later by Daskalopulos, Sesum, Del Pino and Hsu, in order to understand the behavior of maximal solutions of the Ricci flow both in compact and non-compact complete Riemannian manifolds of finite volume. The case of dimension two has some peculiarities, which force us to use different ideas from the corresponding higher-dimensional case. Under some natural restrictions, we investigate sufficient and necessary conditions which allow us to show the existence of connected regions with a connected complementary set (the so-called “separating regions”). In dimension higher than two, the associated problem of minimization is reduced to an auxiliary problem for the isoperimetric profile (with the corresponding investigation of the minimizers). This is possible via an argument of compactness in geometric measure theory valid for the case of complete finite volume manifolds. Moreover, we show that the minimum of the separating variational problem is achieved by an isoperimetric region. Dimension two requires different techniques of proof. The present results develop a definitive theory, which allows us to circumvent the shortening curve flow approach of the above-mentioned authors at the cost of some applications of the geometric measure theory and of the Ascoli-Arzela's Theorem.
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.
G. Antonelli, E. Le Donne, S. Nicolussi Golo (Journal of Dynamical and Control Systems)
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\'eodory 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\'eodory distances associated
to subspaces and norms on the Lie algebra of a connected Lie group.
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.
This article analyzes sublinearly quasisymmetric homeo-morphisms (generalized
quasisymmetric mappings), and draws applications to the sublinear large-scale
geometry of negatively curved groups and spaces. It is proven that those
homeomorphisms lack analytical properties but preserve a conformal dimension
and appropriate function spaces, distinguishing certain (nonsymmetric)
Riemannian negatively curved homogeneous spaces, and Fuchsian buildings, up to
sublinearly biLipschitz equivalence (generalized quasiisometry).
E. Hakavuori (SIAM Journal on Control and Optimization)
In the setting of step 2 sub-Finsler Carnot groups with strictly convex norms, we prove that all infinite geodesics are lines. It follows that for any other homogeneous distance, all geodesics are lines exactly when the induced norm on the horizontal space is strictly convex. As a further consequence, we show that all isometric embeddings between such homogeneous groups are affine. The core of the proof is an asymptotic study of the extremals given by the Pontryagin Maximum Principle.
G. Antonelli, A. Merlo (Ann. Acad. Sci. Fenn. Math.)
We provide a Rademacher theorem for intrinsically Lipschitz functions
$\phi:U\subseteq \mathbb W\to \mathbb L$, where $U$ is a Borel set, $\mathbb W$
and $\mathbb L$ are complementary subgroups of a Carnot group, where we require
that $\mathbb W$ is a Carnot subgroup and $\mathbb L$ is a normal subgroup. Our
hypotheses are satisfied for example when $\mathbb W$ is a horizontal subgroup.
Moreover, we provide an area formula for this class of intrinsically Lipschitz
functions.
In this paper we introduce the notion of horizontally affine, $h$-affine in
short, maps on step-two Carnot groups. When the group is a free step-two Carnot
group, we show that such class of maps has a rich structure related to the
exterior algebra of the first layer of the group. Using the known fact that
arbitrary step-two Carnot groups can be written as a quotient of a free
step-two Carnot group, we deduce from the free step-two case a description of
$h$-affine maps in this more general setting, together with several
characterizations of step-two Carnot groups where $h$-affine are affine in the
usual sense, when identifying the group with a real vector space. Our interest
for $h$-affine maps 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.
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.
G. Antonelli, D. Di Donato, S. Don, E. Le Donne (Annales de l'Institut Fourier)
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\"older 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.
G. Antonelli, D. Di Donato, S. Don (Potential Analysis)
We prove that in arbitrary Carnot groups $\mathbb G$ of step 2, with a
splitting $\mathbb G=\mathbb W\cdot\mathbb L$ with $\mathbb L$ one-dimensional,
the graph of a continuous function $\varphi\colon U\subseteq \mathbb W\to
\mathbb L$ is $C^1_{\mathrm{H}}$-regular precisely when $\varphi$ satisfies, in
the distributional sense, a Burgers' type system $D^{\varphi}\varphi=\omega$,
with a continuous $\omega$. We stress that this equivalence does not hold
already in the easiest step-3 Carnot group, namely the Engel group. As a tool
for the proof we show that a continuous distributional solution $\varphi$ to a
Burgers' type system $D^{\varphi}\varphi=\omega$, with $\omega$ continuous, is
actually a broad solution to $D^{\varphi}\varphi=\omega$. As a by-product of
independent interest we obtain that all the continuous distributional solutions
to $D^{\varphi}\varphi=\omega$, with $\omega$ continuous, enjoy $1/2$-little
H\"older regularity along vertical directions.
For every $k\geqslant 3$, we exhibit a simply connected $k$-nilpotent Lie
group $N_k$ whose Dehn function behaves like $n^k$, while the Dehn function of
its associated Carnot graded group behaves like $n^{k+1}$. This property and
its consequences allow us to reveal three new phenomena. First, since those
groups have uniform lattices, this provides the first examples of pairs of
finitely presented groups with bilipschitz asymptotic cones but with different
Dehn functions. The second surprising feature of these groups is that for every
even integer $k \geqslant 4$ the centralized Dehn function of $N_k$ behaves
like $n^{k-1}$ and so has a different exponent than the Dehn function. This
answers a question of Young. Finally, we turn our attention to sublinear
bilipschitz equivalences (SBE), which are weakenings of quasiisometries where
the additive error is replaced by a sublinearly growing function; they were
introduced by Cornulier. The group $N_4$ had specifically been considered by
Cornulier who suspected the existence of a positive lower bound on the set of
$r>0$ such that there exists an $n^r$-SBE between $N_4$ and its associated
Carnot graded group, strengthening the fact that those two groups are not
quasiisometric. We confirm his intuition, thereby producing the first example
of a pair of groups for which such a positive lower bound is known to exist.
More generally, we show that $r_k = 1/(2k - 1)$ is a lower bound for the group
$N_k$ for all $k\geqslant 4$.
A. Ardentov, G. Bor, E. Le Donne, R. Montgomery, Y. Sachkov
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).
G. Antonelli, A. Merlo (The Journal of Geometric Analysis)
In this paper we start a detailed study of a new notion of rectifiability in Carnot groups: we say that a Radon measure is $\mathscr{P}_h$-rectifiable, for $h\in\mathbb N$, if it has positive $h$-lower density and finite $h$-upper density almost everywhere, and, at almost every point, it admits a unique tangent measure up to multiples.
First, we compare $\mathscr{P}_h$-rectifiability with other notions of rectifiability previously known in the literature in the setting of Carnot groups, and we prove that it is strictly weaker than them. Second, we prove several structure properties of $\mathscr{P}_h$-rectifiable measures. Namely, we prove that the support of a $\mathscr{P}_h$-rectifiable measure is almost everywhere covered by sets satisfying a cone-like property, and in the particular case of $\mathscr{P}_h$-rectifiable measures with complemented tangents, we show that they are supported on the union of intrinsically Lipschitz and differentiable graphs. Such a covering property is used to prove the main result of this paper: we show that a $\mathscr{P}_h$-rectifiable measure has almost everywhere positive and finite $h$-density whenever the tangents admit at least one complementary subgroup.
G. Antonelli, E. Le Donne (Annali di Matematica Pura ed Applicata (1923 - ))
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.
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)$, $\lambda\mapsto\delta_\lambda$, so
that $ d(\delta_\lambda x,\delta_\lambda y) = \lambda d(x,y)$, for all $x,y\in
G$ and all $\lambda>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.
E. Le Donne, D. Lučić, E. Pasqualetto (Potential Analysis)
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.
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.
If $n \geq 3$ and $\Gamma$ is a convex-cocompact Zariski-dense discrete subgroup of $\mathbf{SO}^o (1,n+1)$ such that $\delta_\Gamma = n-m$ where $m$ is an integer, $1 \leq m \leq n-1$, we show that for any $m$-dimensional subgroup $U$ in the horospheric group $N$, the Burger–Roblin measure associated to $\Gamma$ on the quotient of the frame bundle is $U$-recurrent.
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.
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.
S. Don, E. Le Donne, T. Moisala, D. Vittone (Indiana Univ. Math. J.)
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 $\Gamma$
that, similarly to intrinsic Lipschitz graphs, have a cone property: there
exists an open dilation-invariant subset $C$ whose translations by elements in
$\Gamma$ don't intersect $\Gamma$. 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 type.
We study infinitesimal and asymptotic properties of geodesics (i.e., isometric images of intervals) in Carnot groups equipped with arbitrary sub-Finsler metrics. We show that tangents of 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. With the same approach, we also show that blowdown curves of geodesics in sub-Riemannian Carnot groups are contained in subgroups of lower rank. This latter result can be extended to rough geodesics.
J. Jaramillo, E. Le Donne, T. Rajala (Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas)
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.
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$, $H^n(X)$, is finite. Suppose further that the lower $n$-density of the measure $H^n(X)$ is positive, $H^n(X)$-almost everywhere in $X$. Then $X$ contains an $n$-rectifiable subset of positive $H^n(X)$-measure. Moreover, the assumption on the lower density is unnecessary if one uses recently announced results of Csörnyei-Jones.
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.
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.
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\^{a}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.
The image of the branch set of a PL branched cover between PL $n$-manifolds
is a simplicial $(n-2)$-complex. We demonstrate that the reverse implication
also holds; i.e., for a branched cover $f \colon \mathbb{S}^n \to \mathbb{S}^n$
with the image of the branch set contained in a simplicial $(n-2)$-complex the
mapping can be reparametrized as a PL mapping. This extends a result by Martio
and Srebro [MS79].
For all $n \geq 2$, we construct a metric space $(X,d)$ and a quasisymmetric mapping $f\colon [0,1]^n \rightarrow X$ with the property that $f^{-1}$ is not absolutely continuous with respect to the Hausdorff $n$-measure on $X$. That is, there exists a Borel set $E \subset [0,1]^n$ with Lebesgue measure $|E|>0$ such that $f(E)$ has Hausdorff $n$-measure zero. The construction may be carried out so that $X$ has finite Hausdorff $n$-measure and $|E|$ is arbitrarily close to 1, or so that $|E|=1$. This gives a negative answer to a question of Heinonen and Semmes.
We construct quasiconformal mappings $f\colon \mathbb{R}^{3} \rightarrow \mathbb{R}^{3}$ for which there is a Borel set $E \subset \mathbb{R}^2 \times \{0\}$ of positive Lebesgue $2$-measure whose image $f(E)$ has Hausdorff $2$-measure zero. This gives a solution to the open problem of inverse absolute continuity of quasiconformal mappings on hypersurfaces, attributed to Gehring. By implication, our result also answers questions of Väisälä and Astala--Bonk--Heinonen.
K. Rajala, M. Romney (Ann. Acad. Sci. Fenn. Math.)
We prove that any metric space $X$ homeomorphic to $\mathbb{R}^2$ with locally finite Hausdorff 2-measure satisfies a reciprocal lower bound on modulus of curve families associated to a quadrilateral. More precisely, let $Q \subset X$ be a topological quadrilateral with boundary edges (in cyclic order) denoted by $ζ_1, ζ_2, ζ_3, ζ_4$ and let $Γ(ζ_i, ζ_j; Q)$ denote the family of curves in $Q$ connecting $ζ_i$ and $ζ_j$; then $\text{mod } Γ(ζ_1, ζ_3; Q) \text{mod } Γ(ζ_2, ζ_4; Q) \geq 1/κ$ for $κ= 2000^2\cdot (4/π)^2$. This answers a question concerning minimal hypotheses under which a metric space admits a quasiconformal parametrization by a domain in $\mathbb{R}^2$.
We study projectional properties of Poisson cut-out sets $E$ in non-Euclidean spaces. In the first Heisenbeg group $\mathcal{H}=\mathbf{C}\times\mathbf{R}$, endowed with the Koranyi metric, we show that the Hausdorff dimension of the vertical projection $\pi(E)$ (projection along the center of $\mathcal{H}$) almost surely equals $\min\{2,\dim(E)\}$ and that $\pi(E)$ has non-empty interior if $\dim(E)>2$. As a corollary, this allows us to determine the Hausdorff dimension of $E$ with respect to the Euclidean metric in terms of its Heisenberg Hausdorff dimension $\dim (E)$.
We also study projections in the one-point compactification of the Heisenberg group, that is, the $3$-sphere $\mathbf{S}^3$ endowed with the visual metric $d$ obtained by identifying $\mathbf{S}^3$ with the boundary of the complex hyperbolic plane.
In $\mathbf{S}^3$, we prove a projection result that holds simultaneously for all radial projections (projections along so called ``chains''). This shows that the Poisson cut-outs in $\mathbf{S}^3$ satisfy a strong version of the Marstrand's projection theorem, without any exceptional directions.
We define a Newman property for BLD-mappings and study its connections to the
porosity of the branch set in the setting of generalized manifolds equipped
with complete path metrics.
Sto\"ilow's theorem from 1928 states that a continuous, light, and open
mapping between surfaces is a discrete map with a discrete branch set. This
result implies that such mappings between orientable surfaces are locally
modelled by power mappings $z\mapsto z^k$ and admit a holomorphic
factorization.
The purpose of this expository article is to give a proof of this classical
theorem having the readers interested in discrete and open mappings in mind.