Related papers: Characterizations of uniformly differentiable co-h…
We consider submanifolds of sub-Riemannian Carnot groups with intrinsic $C^1$ regularity ($C^1_H$). Our first main result is an area formula for $C^1_H$ intrinsic graphs; as an application, we deduce density properties for Hausdorff…
A Carnot group G is a connected, simply connected, nilpotent Lie group with stratified Lie algebra. Intrinsic regular surfaces in Carnot groups play the same role as C^1 surfaces in Euclidean spaces. As in Euclidean spaces, intrinsic…
We analyze some properties of a class of multiexponential maps appearing naturally in the geometric analysis of Carnot groups. We will see that such maps can be useful in at least two interesting problems. First, in relation to the analysis…
In this paper we study intrinsic regular submanifolds of $\mathbb{H}^n$, of low co-dimension in relation with the regularity of their intrinsic parametrization. We extend some results proved for one co-dimensional $\mathbb{H}$-regular…
We discuss Q-absolutely continuous functions between Carnot groups, following Maly's definition for maps of several variables. Such maps enjoy nice regularity properties, like continuity, Pansu differentiability a.e., weak differentiability…
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…
We establish an area formula for the spherical measure of intrinsic graphs of any codimension in homogeneous groups. Our approach relies on the assumption that the map defining the intrinsic graph is continuously intrinsically…
Carnot groups are distinguished spaces that are rich of structure: they are those Lie groups equipped with a path distance that is invariant by left-translations of the group and admit automorphisms that are dilations with respect to the…
We study the approximate differentiability of measurable mappings of Carnot--Carath\'eodory spaces. We show that the approximate differentiability almost everywhere is equivalent to the approximate differentiability along the basic…
This paper studies the infinitesimal structure of Carnot manifolds. By a Carnot manifold we mean a manifold together with a subbundle filtration of its tangent bundle which is compatible with the Lie bracket of vector fields. We introduce a…
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 gives an alternate, elementary proof of a result of Magnani: maps between Carnot groups that preserve horizontal curves and are continuously differential in horizontal directions in the Euclidean sense are continuously Pansu…
We prove that a strictly stable minimal $C^2_h$ intrinsic graph G is locally area-minimizing, i.e. given any $C^1_h$ graph $S$ with the same boundary, $\text{Area}(G)<\text{Area}(S)$ unless $G=S$. As a consequence we show the existence and…
We investigate metric properties of level sets of horizontally differentiable maps defined on the first Heisenberg group $(\Bbb{H}^1,d_{cc})$ equipped with the standard sub-Riemannian structure. In particular, we present an exhaustive…
We provide an intrinsic notion of curved cosets for arbitrary Cartan geometries, simplifying the existing construction of curved orbits for a given holonomy reduction. To do this, we define an intrinsic holonomy group, which is shown to…
Stratified groups are those simply connected Lie groups whose Lie algebras admit a derivation for which the eigenspace with eigenvalue 1 is Lie generating. When a stratified group is equipped with a left-invariant path distance that is…
Invariant learning demonstrates substantial potential for enhancing the generalization of graph neural networks (GNNs) with out-of-distribution (OOD) data. It aims to recognize stable features in graph data for classification, based on the…
In the first Heisenberg group, we study entire, locally Sobolev intrinsic graphs that are stable for the sub-Riemannian area. We show that, under appropriate integrability conditions for the derivatives, the intrinsic graph must be an…
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…
Color refinement is a classical technique used to show that two given graphs G and H are non-isomorphic; it is very efficient, although it does not succeed on all graphs. We call a graph G amenable to color refinement if it succeeds in…