Related papers: The Bernstein problem for Lipschitz intrinsic grap…

Lipschitz and horizontal maps from an $n$-dimensional space into the $(2n+1)$-dimensional Heisenberg group $\H^n$ are abundant, while maps from higher-dimensional spaces are much more restricted. DeJarnette-Haj{\l}asz-Lukyanenko-Tyson…

We find necessary and sufficient conditions for a Lipschitz map $f:\mathbb{R}E\to X$, into a metric space to have the image with the $k$-dimensional Hausdorff measure equal zero, $H^k(f(E))=0$. An interesting feature of our approach is that…

We prove that ideal sub-Riemannian manifolds (i.e., admitting no non-trivial abnormal minimizers) support interpolation inequalities for optimal transport. A key role is played by sub-Riemannian Jacobi fields and distortion coefficients,…

The purpose of this article is to generalize some known characterizations of Banach space properties in terms of graph preclusion. In particular, it is shown that superreflexivity can be characterized by the non-equi-bi-Lipschitz…

As we all know, the Minkowski type problem is the cornerstone of the Brunn-Minkowski theory in Euclidean space. The Heisenberg group as a sub-Riemannian space is the simplest non-Abelian degenerate Riemannian space that is completely…

We classify all self-dual Einstein four-manifolds invariant under a principal action of the three-dimensional Heisenberg group with non-degenerate orbits. The metrics are explicit and we find, in particular, that the Einstein constant can…

Let k>n be positive integers. We consider mappings from a subset of k-dimensional Euclidean space R^k to the Heisenberg group H^n with a variety of metric properties, each of which imply that the mapping in question satisfies some weak form…

Using variational considerations, we establish that there exists a new symmetric trace-free tensor conformal invariant of hypersurfaces embeddings in even dimensional conformal manifolds. This conformal invariant completes the family of…

We study the first uniformly finite homology group of Block and Weinberger for uniformly locally finite graphs, with coefficients in $\mathbb{Z}$ and $\mathbb{Z}_2$. When the graph is a tree, or coefficients are in $\mathbb{Z}_2$, a…

In the present paper, we obtain explicit formulae for geodesics in some left-invariant sub-Finsler problems on Heisenberg groups $\mathbb{H}_{2n+1}$. Our main assumption is the following: the compact convex set of unit velocities at…

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…

The Heisenberg group $\mathbb{H}$ equipped with a sub-Riemannian metric is one of the most well known examples of a doubling metric space which does not admit a bi-Lipschitz embedding into any Euclidean space. In this paper we investigate…

A Semmes surface in the Heisenberg group is a closed set $S$ that is upper Ahlfors-regular with codimension one and satisfies the following condition, referred to as Condition B. Every ball $B(x,r)$ with $x \in S$ and $0 < r <…

In the setting of step two Carnot groups, we show a "cone property" for horizontally convex sets. Namely we prove that, given a horizontally convex set $C$, a pair of points $P\in \partial C$ and $Q\in $ int $C$, both belonging to a…

This work provides a characterization of the regularity of noncharacteristic intrinsic minimal graphs for a class of vector fields that includes non nilpotent Lie algebras as the one given by Euclidean motions of the plane. The main result…

We prove a quantitative bi-Lipschitz nonembedding theorem for the Heisenberg group with its Carnot-Carath\'eodory metric and apply it to give a lower bound on the integrality gap of the Goemans-Linial semidefinite relaxation of the Sparsest…

In this paper, we prove the following version of the famous Bernstein's theorem: Let $X\subset \mathbb R^{n+k}$ be a closed and connected set with Hausdorff dimension $n$. Assume that $X$ satisfies the monotonicity formula at $p\in X$.…

We establish an area formula for the spherical measure of intrinsically regular submanifolds of low codimension in Heisenberg groups. The spherical measure is computed with respect to an arbitrary homogeneous distance. Among the arguments…

We prove a rank-one theorem \`a la G. Alberti for the derivatives of vector-valued maps with bounded variation in a class of Carnot groups that includes Heisenberg groups $\mathbb H^n$ for $n\geq 2$. The main tools are properties relating…

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…