Related papers: A rough calculus approach to level sets in the Hei…
We propose a new formulation for integrating over smooth curves and surfaces that are described by their closest point mappings. Our method is designed for curves and surfaces that are not defined by any explicit parameterization and is…
The purpose of this paper is to introduce and study some basic concepts of quantitative rectifiability in the first Heisenberg group $\mathbb{H}$. In particular, we aim to demonstrate that new phenomena arise compared to the Euclidean…
We introduce the class of "smooth rough paths" and study their main properties. Working in a smooth setting allows us to discard sewing arguments and focus on algebraic and geometric aspects. Specifically, a Maurer-Cartan perspective is the…
We give a geometric criterion for a topological surface in the first Heisenberg group to be an intrinsic Lipschitz graph, using planar cones instead of the usual open cones.
We consider a functional related with phase transition models in the Heisenberg group framework. We prove that level sets of local minimizers satisfy some density estimates, that is, they behave as "codimension one" sets. We thus deduce a…
We prove quantitative stability of isometries on the first Heisenberg group with sub-Riemannian geometry: every $ (1+ \varepsilon)$-quasi-isometry of the John domain of the Heisenberg group $ \mathbb {H} $ is close to some isometry with…
We focus our attention on the notion of intrinsic Lipschitz graphs, inside a subclass of Carnot groups of step 2 which includes a corank 1 Carnot groups (and so the Heisenberg groups), Free groups of step 2 and the complexified Heisenberg…
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 several rigidity properties for random quotients of mapping class groups of surfaces, namely whose kernel is normally generated by the n-th steps of finitely many independent random walks. Firstly, we generalise a celebrated…
It is known, since the seminal work [T. Lyons, Differential equations driven by rough signals, Rev. Mat. Iberoamericana, 14 (1998)], that the solution map associated to a controlled differential equation is locally Lipschitz continuous in…
In this paper we aim at identifying the level sets of the gauge norm in the Heisenberg group $\mathbb{H}^n$ via the prescription of their (non-constant) horizontal mean curvature. We establish a uniqueness result in $\mathbb{H}^1$ under an…
We establish unweighted Hardy-type inequalities on step-two Carnot groups with one-dimensional vertical layer, with explicit lower bounds for the optimal Hardy constant. The approach is based on a quantitative integration-by-parts mechanism…
In this note, we prove interior a priori first- and second-order estimates for solutions of fully nonlinear degenerate elliptic inequalities structured over the vector fields of Carnot groups, under the main assumption that $u$ is…
We provide a new approach for computing integrals over hypersurfaces in the level set framework. The method is based on the discretization (via simple Riemann sums) of the classical formulation used in the level set framework, with the…
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…
A special type of coarea inequality is proved for compositions of intrinsically Lipschitz mappings of Carnot groups with projections along horizontal vector fields. It is proved that the equality is achieved for mappings with finite…
A branched rough path $X$ consists of a rough integral calculus for $X \colon [0, T] \to \mathbb R^d$ which may fail to satisfy integration by parts. Using Kelly's bracket extension [Kel12], we define a notion of pushforward of branched…
We consider $H$(eisenberg)-type groups whose law of left translation gives rise to a bracket generating distribution of step 2. In the contrast with sub-Riemannian studies we furnish the horizontal distribution with a nondegenerate…
In this paper we study a class of Riemannian metrics on the space of unparametrized curves and develop a method to compute geodesics with given boundary conditions. It extends previous works on this topic in several important ways. The…
We study the horizontally regular curves in the Heisenberg groups $H_n$. We show the fundamental theorem of curves in $H_n$ $(n\geq 2)$ and define the concept of the orders for horizontally regular curves. We also show that the curve…