Ph.D. Thesis
Inserted: 11 jul 2022
Last Updated: 11 jul 2022
Pages: 184
Year: 2022
Abstract:
This thesis is devoted to the study of the theory of rectifiability of sets and measures in the non smooth context of Carnot groups. The focus is on the study of the notion of $\mathscr{P}$-rectifiability and its relation with other notions of rectifiability in Carnot groups.
A $\mathscr{P}$-rectifiable measure of integer dimension $h$ in a Carnot group is a Radon measure with positive lower and finite upper $h$-densities almost everywhere such that the tangent measures are almost everywhere Haar measures of homogeneous subgroups of the Carnot group of homogeneous dimension $h$.
In Chapter 1 we shall revise the basic notions of Measure Theory, and we shall introduce Carnot groups with a special focus on the notions of rectifiability, intrinsic regular functions, and submanifolds.
In Chapter 2 we summarize part of the results obtained in collaboration with A. Merlo. We prove that in arbitrary Carnot groups $\mathscr{P}$-rectifiable measures of dimension $h$ with a unique complemented tangent almost everywhere have $h$-density. We also characterize $\mathscr{P}$-rectifiable measures with complemented tangents by means of a covering property with intrinsically differentiable graphs in Carnot groups. These results complement and extend in several directions the study by Mattila--Serapioni--Serra Cassano in the Heisenberg groups $\mathbb H^n$.
In Chapter 3 we give the proof of a Marstrand--Mattila type rectifiability criterion in Carnot groups for $\mathscr{P}$-rectifiable measures with tangents that admit at least one normal complementary subgroup. This result extends to the Carnot setting the Marstrand--Mattila rectifiability criterion in Euclidean spaces. We exploit such a criterion to derive as a consequence the Preiss's Theorem for one-dimensional Radon measures in the first Heisenberg group $\mathbb H^1$ endowed with the Kor\'anyi norm. The results in Chapter 3 have been obtained in collaboration with A. Merlo.
In Chapter 4 we present a result obtained with E. Le Donne. In some Carnot group of homogeneous dimension 13 we construct an analytic hypersurface, which is also a $C^1_H$-hypersurface, that is purely unrectifiable with respect to Carnot groups of homogeneous dimension 12. This gives an example of a $C^1_H$-hypersurface that is not Pauls rectifiable. As a consequence Franchi--Serapioni--Serra Cassano's notion of $C^1_H$-rectifiability differs from Pauls's notion of rectifiability in arbitrary Carnot groups. We further present a proof of the fact that in $\mathbb H^n$, with $n\geq 2$, every Euclidean $C^\infty$-hypersurface can be almost everywhere covered by bi-Lipschitz images of subsets of codimension-one subgroups of $\mathbb H^n$.
Download: