相关论文: Structure of Porous Sets in Carnot Groups

Our main result is a positive answer to the question whether one can find homogeneous distances on the Heisenberg groups that have the Besicovitch Covering Property (BCP). This property is well known to be one of the fundamental tools of…

In the Engel group with its Carnot group structure we study subsets of locally finite subRiemannian perimeter and possessing constant subRiemannian normal. We prove the rectifiability of such sets: more precisely we show that, in some…

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…

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…

We show that if n>1 then there exists a Lebesgue null set in R^n containing a point of differentiability of each Lipschitz function mapping from R^n to R^(n-1); in combination with the work of others, this completes the investigation of…

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…

We prove that any measurable set in the Heisenberg group, $\mathbb{H}^n$, of positive upper density has the property that all sufficiently large real numbers are realised as the Kor\'anyi distance between points in that set. The result can…

We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is…

We prove that the boundary of an almost minimizer of the intrinsic perimeter in a plentiful group can be approximated by intrinsic Lipschitz graphs. Plentiful groups are Carnot groups of step~$2$ whose center of the Lie algebra is generated…

We prove an analog for integrable measurable cocycles of Pansu's differentiation theorem for Lipschitz maps between Carnot-Carath\'eodory spaces. This yields an alternative, ergodic theoretic proof of Pansu's quasi-isometric rigidity…

We provide a new and elementary proof for the structure of geodesics in the Heisenberg group $\mathbb{H}^n$. The proof is based on a new isoperimetric inequality for closed curves in $\mathbb{R}^{2n}$. We also prove that the…

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…

We investigate the connection between maximal directional derivatives and differentiability for Lipschitz functions defined on Laakso space. We show that maximality of a directional derivative for a Lipschitz function implies…

We show that if $A$ is a closed subset of the Heisenberg group whose vertical projections are nowhere dense, then the complement of $A$ is quasiconvex. In particular, closed sets which are null sets for the cc-Hausdorff $3$-measure have…

Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ a mapping. We prove that there exists a $\sigma$-directionally porous set $A\subset X$ such that if $x\in X \setminus A$, $f$ is Lipschitz at $x$, and $f$ is G\^ateaux…

The classical isodiametric inequality in the Euclidean space says that balls maximize the volume among all sets with a given diameter. We consider in this paper the case of Carnot groups. We prove that for any Carnot group equipped with a…

This paper is devoted to show that the flatness of tangents of $1$-codimensional measures in Carnot Groups implies $C^1_\mathbb{G}$-rectifiability. As applications we prove that measures with $(2n+1)$-density in the Heisenberg groups…

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…

We show that every model filiform group $\mathbb{E}_{n}$ contains a measure zero set $N$ such that every Lipschitz map $f\colon \mathbb{E}_{n}\to \mathbb{R}$ is differentiable at some point of $N$. Model filiform groups are a class of…

The main motivation of this paper arises from the study of Carnot-Carath\'eodory spaces, where the class of 1-rectifiable sets does not contain smooth non-horizontal curves; therefore a new definition of rectifiable sets including…