BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Gioacchino Antonelli

Gioacchino Antonelli contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.MGmath.DGmath.APmath.CAmath.FA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access