Related papers: On the codimension of the abnormal set in step two…

We study the Sard problem for the endpoint map in some well-known classes of Carnot groups. Our first main result deals with step 2 Carnot groups, where we provide lower bounds (depending only on the algebra of the group) on the codimension…

In Carnot-Caratheodory or sub-Riemannian geometry, one of the major open problems is whether the conclusions of Sard's theorem holds for the endpoint map, a canonical map from an infinite-dimensional path space to the underlying…

We show that strictly abnormal geodesics arise in graded nilpotent Lie groups. We construct such a group, for which some Carnot geodesics are strictly abnormal; in fact, they are not normal in any subgroup. In the step-2 case we also prove…

In the present paper we study the rigidity of 2-step Carnot groups, or equivalently, of graded 2-step nilpotent Lie algebras. We prove the alternative that depending on bi-dimensions of the algebra, the Lie algebra structure makes it either…

We prove the smoothness of abnormal minimizers of subriemannian manifolds of step 3 with a nilpotent basis. We prove that rank 2 Carnot groups of step 4 admit no strictly abnormal minimizers. For any subriemannian manifolds of step less…

We prove that for every polynomial ODE there exists a Carnot group where the trajectories of the ODE lift to abnormal curves. The proof defines an explicit construction to determine a covector for the resulting abnormal curves. Using this…

In Carnot groups of step 3, all subriemannian geodesics are proved to be normal. The proof is based on a reduction argument and the Goh condition for minimality of singular curves. The Goh condition is deduced from a reformulation and a…

This paper contributes to the study of sets of finite intrinsic perimeter in Carnot groups. Our intent is to characterize in which groups the only sets with constant intrinsic normal are the vertical half-spaces. Our viewpoint is algebraic:…

In this paper we characterize the geodesic dimension $N_{GEO}$ and give a new lower bound to the curvature exponent $N_{CE}$ on Sard-regular Carnot groups. As an application, we give an example of step-two Carnot group on which $N_{CE} >…

We analyze subsets of Carnot groups that have intrinsic constant normal, as they appear in the blowup study of sets that have finite sub-Riemannian perimeter. The purpose of this paper is threefold. First, we prove some mild regularity and…

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…

If the group of a 2-knot group $K$ has an abelian normal subgroup of rank $\geq1$ which is not finitely generated then either $K$ has no minimal Seifert hypersurface or $K$ is topologically equivalent to Example 10 of Ralph Fox's``{\it A…

We show by explicit estimates that the SubRiemannian distance in a Carnot group of step two is locally semiconcave away from the diagonal if and only if the group does not contain abnormal minimizing curves. Moreover, we prove that local…

This paper is a continuation of the previous work of the first author. We characterize a class of step-two groups introduced in \cite{Li19}, saying GM-groups, via some basic sub-Riemannian geometric properties, including the squared…

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…

Combining Varadhan's formula, Loewner's theorem with the method of stationary phase, we study the exact formula of the Carnot-Carath\'eodory distance on $2$-step groups. The method is also adapted to determine all normal geodesics from the…

We exhibit 3-generator Artin groups which have finite 2-dimensional Eilenberg-Mac Lane spaces, but which do not act properly discontinuously by semi-simple isometries on a 2-dimensional CAT(0) complex. We prove that infinitely many of these…

We bound the higher-order Dehn functions and other filling invariants of certain Carnot groups using approximation techniques. These groups include the higher-dimensional Heisenberg groups, jet groups, and central products of two-step…

A subset of a Carnot group is said to be precisely monotone if the restriction of its characteristic function to each integral curve of every left-invariant horizontal vector field is monotone. Equivalently, a precisely monotone set is a…

We consider 2-step free-Carnot groups equipped with sub-Finsler distances. We prove that the metric spheres are codimension-one rectifiable from the Euclidean viewpoint. The result is obtained by studying how the Lipschitz constant for the…