The Rank-One Theorem on $\mathrm{RCD}$ spaces
We extend Alberti's Rank-One Theorem to $\mathrm{RCD}(K,N)$ metric measure spaces.
math.MG↗
arXiv subjects
Gioacchino Antonelli
Publications and source records attributed to Gioacchino Antonelli.
Asymptotic isoperimetry on non collapsed spaces with lower Ricci bounds
This paper studies sharp and rigid isoperimetric comparison theorems and asymptotic isoperimetric properties for small and large volumes on $N$-dimensional ${\rm RCD}(K,N)$ spaces $(X,\mathsf{d},\mathscr{H}^N)$. Moreover, we obtain almost regularity theorems formulated in terms of the isoperimetric profile and enhanced consequences at the level of several functional inequalities. Most of our statements are new even in the classical setting of smooth, non compact manifolds with lower Ricci curvature bounds. The synthetic theory plays a key role via compactness and stability arguments.
math.DG↗
Sharp isoperimetric comparison on non-collapsed spaces with lower Ricci bounds
This paper studies sharp isoperimetric comparison theorems and sharp dimensional concavity properties of the isoperimetric profile for non smooth spaces with lower Ricci curvature bounds, the so-called $N$-dimensional ${\rm RCD}(K,N)$ spaces $(X,\mathsf{d},\mathscr{H}^N)$. The absence of most of the classical tools of Geometric Measure Theory and the possible non existence of isoperimetric regions on non compact spaces are handled via an original argument to estimate first and second variation of the area for isoperimetric sets, avoiding any regularity theory, in combination with an asymptotic mass decomposition result of perimeter-minimizing sequences. Most of our statements are new even for smooth, non compact manifolds with lower Ricci curvature bounds and for Alexandrov spaces with lower sectional curvature bounds. They generalize several results known for compact manifolds, non compact manifolds with uniformly bounded geometry at infinity, and Euclidean convex bodies.
math.DG↗
Topological regularity of isoperimetric sets in PI spaces having a deformation property
We prove topological regularity results for isoperimetric sets in PI spaces having a suitable deformation property, which prescribes a control on the increment of the perimeter of sets under perturbations with balls. More precisely, we prove that isoperimetric sets are open, satisfy boundary density estimates and, under a uniform lower bound on the volumes of unit balls, are bounded. Our results apply, in particular, to the class of possibly collapsed $\mathrm{RCD}(K,N)$ spaces. As a consequence, the rigidity in the isoperimetric inequality on possibly collapsed $\mathrm{RCD}(0,N)$ spaces with Euclidean volume growth holds without the additional assumption on the boundedness of isoperimetric sets. Our strategy is of interest even in the Euclidean setting, as it simplifies some classical arguments.
math.MG↗
The isoperimetric problem on Riemannian manifolds via Gromov-Hausdorff asymptotic analysis
In this paper we prove the existence of isoperimetric regions of any volume in Riemannian manifolds with Ricci bounded below assuming Gromov--Hausdorff asymptoticity to the suitable simply connected model 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 (possibly nonsmooth) Gromov--Hausdorff limits at infinity. The Gromov--Hausdorff asymptotic analysis allows us to recover and extend different previous existence theorems. While studying the isoperimetric problem in the smooth setting, the nonsmooth geometry naturally emerges, and thus our treatment combines techniques from both the theories.
math.DG↗
Subgraphs of $\rm BV$ functions on $\rm RCD$ spaces
In this work we extend classical results for subgraphs of functions of bounded variation in $\mathbb{R}^n\times\mathbb{R}$ to the setting of $\mathsf{X}\times\mathbb{R}$, where $\mathsf{X}$ is an ${\rm RCD}(K,N)$ metric measure space. In particular, we give the precise expression of the push-forward onto $\mathsf{X}$ of the perimeter measure of the subgraph in $\mathsf{X}\times\mathbb{R}$ of a $\rm BV$ function on $\mathsf{X}$. Moreover, in properly chosen good coordinates, we write the precise expression of the normal to the boundary of the subgraph of a $\rm BV$ function $f$ with respect to the polar vector of $f$, and we prove change-of-variable formulas.
math.MG↗
On rectifiable measures in Carnot groups: existence of density
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$-rectifiabile measure is almost everywhere covered by sets satisfying a cone-like property, and in the particular case of $\mathscr P_h$-rectifiabile 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.
math.MG↗
On rectifiable measures in Carnot groups: Marstrand-Mattila rectifiability criterion
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 $ϕ$ 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\subseteq \mathbb R$ to $\mathbb H^1$.
math.MG↗
The isoperimetric problem via direct method in noncompact metric measure spaces with lower Ricci bounds
We establish a structure theorem for minimizing sequences for the isoperimetric problem on noncompact $\mathsf{RCD}(K,N)$ spaces $(X,\mathsf{d},\mathcal{H}^N)$. Under the sole (necessary) assumption that the measure of unit balls is uniformly bounded away from zero, we prove that the limit of such a sequence is identified by a finite collection of isoperimetric regions possibly contained in pointed Gromov--Hausdorff limits of the ambient space $X$ along diverging sequences of points. The number of such regions is bounded linearly in terms of the measure of the minimizing sequence. The result follows from a new generalized compactness theorem, which identifies the limit of a sequence of sets $E_i\subset X_i$ with uniformly bounded measure and perimeter, where $(X_i,\mathsf{d}_i,\mathcal{H}^N)$ is an arbitrary sequence of $\mathsf{RCD}(K,N)$ spaces. An abstract criterion for a minimizing sequence to converge without losing mass at infinity to an isoperimetric set is also discussed. The latter criterion is new also for smooth Riemannian spaces.
math.DG↗
Lipschitz Carnot-Carathéodory structures and their limits
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.
math.MG↗
Isoperimetric sets in spaces with lower bounds on the Ricci curvature
In this paper we study regularity and topological properties of volume constrained minimizers of quasi-perimeters in $\sf RCD$ spaces where the reference measure is the Hausdorff measure. A quasi-perimeter is a functional given by the sum of the usual perimeter and of a suitable continuous term. In particular, isoperimetric sets are a particular case of our study. We prove that on an ${\sf RCD}(K,N)$ space $({\rm X},{\sf d},\mathcal{H}^N)$, with $K\in\mathbb R$, $N\geq 2$, and a uniform bound from below on the volume of unit balls, volume constrained minimizers of quasi-perimeters are open bounded sets with $(N-1)$-Ahlfors regular topological boundary coinciding with the essential boundary. The proof is based on a new Deformation Lemma for sets of finite perimeter in ${\sf RCD}(K,N)$ spaces $({\rm X},{\sf d},\mathfrak m)$ and on the study of interior and exterior points of volume constrained minimizers of quasi-perimeters. The theory applies to volume constrained minimizers in smooth Riemannian manifolds, possibly with boundary, providing a general regularity result for such minimizers in the smooth setting.
math.DG↗
On the existence of isoperimetric regions in manifolds with nonnegative Ricci curvature and Euclidean volume growth
In this paper we provide new existence results for isoperimetric sets of large volume in Riemannian manifolds with nonnegative Ricci curvature and Euclidean volume growth. We find sufficient conditions for their existence in terms of the geometry at infinity of the manifold. As a byproduct we show that isoperimetric sets of big volume always exist on manifolds with nonnegative sectional curvature and Euclidean volume growth. Our method combines an asymptotic mass decomposition result for minimizing sequences, a sharp isoperimetric inequality on nonsmooth spaces, and the concavity property of the isoperimetric profile. The latter is new in the generality of noncollapsed manifolds with Ricci curvature bounded below.
math.DG↗
Unextendable intrinsic Lipschitz curves
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.
math.MG↗
On rectifiable measures in Carnot groups: representation
This paper deals with the theory of rectifiability in arbitrary Carnot groups, and in particular with the study of the notion of $\mathscr{P}$-rectifiable measure. First, we show that in arbitrary Carnot groups the natural \textit{infinitesimal} definition of rectifiabile measure, i.e., the definition given in terms of the existence of \textit{flat} tangent measures, is equivalent to the global definition given in terms of coverings with intrinsically differentiable graphs, i.e., graphs with \textit{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.
math.MG↗
Polynomial and horizontally polynomial functions on Lie groups
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.
math.GR↗
Intrinsically Lipschitz functions with normal target in Carnot groups
We provide a Rademacher theorem for intrinsically Lipschitz functions $ϕ: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 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.
math.MG↗
Distributional solutions of Burgers' type equations for intrinsic graphs in Carnot groups of step 2
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 $φ\colon U\subseteq \mathbb W\to \mathbb L$ is $C^1_{\mathrm{H}}$-regular precisely when $φ$ satisfies, in the distributional sense, a Burgers' type system $D^φφ=ω$, with a continuous $ω$. 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 $φ$ to a Burgers' type system $D^φφ=ω$, with $ω$ continuous, is actually a broad solution to $D^φφ=ω$. As a by-product of independent interest we obtain that all the continuous distributional solutions to $D^φφ=ω$, with $ω$ continuous, enjoy $1/2$-little Hölder regularity along vertical directions.
math.MG↗
Characterizations of uniformly differentiable co-horizontal intrinsic graphs in Carnot groups
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.
math.MG↗