Related papers: Carnot-Caratheodory and Koranyi-Geodesics in the H…

We prove that H-type Carnot groups of rank $k$ and dimension $n$ satisfy the $\mathrm{MCP}(K,N)$ if and only if $K\leq 0$ and $N \geq k+3(n-k)$. The latter integer coincides with the geodesic dimension of the Carnot group. The same result…

In this paper we study the invariant Carnot-Caratheodory metrics on $SU(2)\simeq S^3$, $SO(3)$ and $SL(2)$ induced by their Cartan decomposition and by the Killing form. Beside computing explicitly geodesics and conjugate loci, we compute…

We prove that any corank 1 Carnot group of dimension $k+1$ equipped with a left-invariant measure satisfies the $\mathrm{MCP}(K,N)$ if and only if $K \leq 0$ and $N \geq k+3$. This generalizes the well known result by Juillet for the…

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…

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 find geodesics, shortest arcs, cut loci, first conjugate loci for some left-invariant sub-Riemannian metrics on the Lie groups $SU(1,1)\times\mathbb{R}$ and $SO_0(2,1)\times\mathbb{R}$.

We study projectional properties of Poisson cut-out sets $E$ in non-Euclidean spaces. In the first Heisenbeg group, endowed with the Kor\'anyi metric, we show that the Hausdorff dimension of the vertical projection $\pi(E)$ (projection…

We study the existence and cardinality of normal geodesics of different causal types on H(eisenberg)-type quaternion group equipped with the sub-Lorentzian metric. We present explicit formulas for geodesics and describe reachable sets by…

In Carnot groups of step 2 we consider sets having maximal or minimal possible homogeneous Hausdorff dimension compared to their Euclidean one: in the first case we prove that they must be in a sense vertical, that is a large part of these…

This paper provides some partial regularity results for geodesics (i.e., isometric images of intervals) in arbitrary sub-Riemannian and sub-Finsler manifolds. Our strategy is to study infinitesimal and asymptotic properties of geodesics in…

In this note, we describe the geometry of the quaternionic Heisenberg groups from a Riemannian viewpoint. We show, in all dimensions, that they carry an almost $3$-contact metric structure which allows us to define the metric connection…

In many singular metric spaces, the regularity of a shortest-length curve is unknown. Algebraic varieties, or more generally sets defined by finitely many polynomial or real analytic equalities or inequalities, all locally partition into…

We initiate a classification of uniform measures in the first Heisenberg group $\mathbb H$ equipped with the Kor\'anyi metric $d_H$, that represents the first example of a noncommutative stratified group equipped with a homogeneous…

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…

We give a short axiomatic introduction to Carnot groups and their subRiemannian and subFinsler geometry. We explain how such spaces can be metrically described as exactly those proper geodesic spaces that admit dilations and are…

We study the local equivalence problems of curves and surfaces in three dimensional Heisenberg group via Cartans method of moving frames and Lie groups, and find a complete set of invariants for curves and surfaces. For surfaces, in terms…

Metrics on Lie groupoids and differentiable stacks have been introduced recently, extending the Riemannian geometry of manifolds and orbifolds to more general singular spaces. Here we continue that theory, studying stacky curves on…

We use a Riemannnian approximation scheme to define a notion of $\textit{sub-Riemannian Gaussian curvature}$ for a Euclidean $C^{2}$-smooth surface in the Heisenberg group $\mathbb{H}$ away from characteristic points, and a notion of…

We prove $L^p$-Hardy inequalities with distance to the boundary for domains in the Heisenberg group ${\mathbb{H}}^n$, $n\geq 1$. Our results are based on a certain geometric condition. This is first implemented for the Euclidean distance in…

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We consider the…