Measure contraction properties of Carnot groups

From MaRDI portal
Publication:2628962



Abstract: We prove that any corank 1 Carnot group of dimension k+1 equipped with a left-invariant measure satisfies the mathrmMCP(K,N) if and only if Kleq0 and Ngeqk+3. This generalizes the well known result by Juillet for the Heisenberg group mathbbHk+1 to a larger class of structures, which admit non-trivial abnormal minimizing curves. The number k+3 coincides with the geodesic dimension of the Carnot group, which we define here for a general metric space. We discuss some of its properties, and its relation with the curvature exponent (the least N such that the mathrmMCP(0,N) is satisfied). We prove that, on a metric measure space, the curvature exponent is always larger than the geodesic dimension which, in turn, is larger than the Hausdorff one. When applied to Carnot groups, our results improve a previous lower bound due to Rifford. As a byproduct, we prove that a Carnot group is ideal if and only if it is fat.


In the paper under review, the author focuses on Carnot groups. An extension of the MCP results of \textit{N. Juillet} [Int. Math. Res. Not. 2009, No. 13, 2347--2373 (2009; Zbl 1176.53053)] to any corank-\(1\) Carnot group is given. Thus, the author proves 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\) (see Theorem 2). The proof combines the arguments of Juillet [loc. cit.] and the computation of the Jacobian determinant of \textit{A. Agrachev} et al. [Calc. Var. Partial Differ. Equ. 43, No. 3--4, 355--388 (2012; Zbl 1236.53030)] for contact Carnot groups, extended here to the general corank-\(1\) case. Under the assumption of having negligible cut loci, the author defines the geodesic dimension in the more general setting of metric measure spaces. On a metric measure space, the curvature exponent is always larger than the geodesic dimension which, in turn, is larger than the Hausdorff one. At the end of the paper, the author proves that a Carnot group is ideal if and only if it is fat. The Engel group is also discussed.




Cited in
(39)








This page was built for publication: Measure contraction properties of Carnot groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2628962)