Showing 1–10 of 10 results for author: Borza, S

Failure of the measure contraction property via quotients in higher-step sub-Riemannian structures

Authors: Samuël Borza, Luca Rizzi

Abstract: We investigate the validity of the synthetic Ricci curvature lower bound known as the measure contraction property (MCP) for sub-Riemannian structures beyond step two. We show that whenever the distance function is not Lipschitz in charts, the MCP may fail. This occurs already in fundamental examples such as the Martinet and Engel structures. Central to our analysis are new results on the stabil… ▽ More We investigate the validity of the synthetic Ricci curvature lower bound known as the measure contraction property (MCP) for sub-Riemannian structures beyond step two. We show that whenever the distance function is not Lipschitz in charts, the MCP may fail. This occurs already in fundamental examples such as the Martinet and Engel structures. Central to our analysis are new results on the stability of the local MCP under quotients by isometric group actions for general metric measure spaces, developed under a weaker variant of the essential non-branching condition which, in contrast with the classical one, is implied by the minimizing Sard property in sub-Riemannian geometry. Since the MCP is preserved under blow-ups, we focus on Carnot homogeneous spaces, proving that MCP descends to suitable quotients. As a byproduct, any structure whose tangent at some point admits a quotient to Martinet fails the MCP. We also obtain a computation-free proof that the Grushin plane shares the Heisenberg group's MCP. Applications include a detailed analysis of validity and failure of the MCP for Carnot groups of low dimension. Our results suggest a conjecture on the failure of the MCP in presence of Goh abnormal geodesics satisfying the strong generalized Legendre condition. △ Less

Submitted 14 May, 2025; originally announced May 2025.

Comments: 50 pages

MSC Class: 53C17; 53C21; 49Q22

Optimal transport on the sub-Lorentzian Heisenberg group

Authors: Samuël Borza, Wilhelm Klingenberg, Patrick Wood

Abstract: We investigate the synthetic metric spacetime structure of the sub-Lorentzian Heisenberg group and we study the optimal transport problem in this space. The sub-Lorentzian version of Brenier's theorem is established in this setting. Finally, we provide examples of optimal transport maps and derive a sub-Lorentzian Monge-Ampère equation. We investigate the synthetic metric spacetime structure of the sub-Lorentzian Heisenberg group and we study the optimal transport problem in this space. The sub-Lorentzian version of Brenier's theorem is established in this setting. Finally, we provide examples of optimal transport maps and derive a sub-Lorentzian Monge-Ampère equation. △ Less

Submitted 3 April, 2025; originally announced April 2025.

Comments: 34 pages

MSC Class: 53C50; 53C17; 49Q22

Curvature-dimension condition of sub-Riemannian $α$-Grushin half-spaces

Authors: Samuël Borza, Kenshiro Tashiro

Abstract: We provide new examples of sub-Riemannian manifolds with boundary equipped with a smooth measure that satisfy the $\mathsf{RCD}(K , N)$ condition. They are constructed by equipping the half-plane, the hemisphere and the hyperbolic half-plane with a two-dimensional almost-Riemannian structure and a measure that vanishes on their boundary. The construction of these spaces is inspired from the geomet… ▽ More We provide new examples of sub-Riemannian manifolds with boundary equipped with a smooth measure that satisfy the $\mathsf{RCD}(K , N)$ condition. They are constructed by equipping the half-plane, the hemisphere and the hyperbolic half-plane with a two-dimensional almost-Riemannian structure and a measure that vanishes on their boundary. The construction of these spaces is inspired from the geometry of the $α$-Grushin plane. △ Less

Submitted 17 September, 2024; originally announced September 2024.

Comments: 16 pages

MSC Class: 53C17; 53C21; 49Q22

The curvature exponent of sub-Finsler Heisenberg groups

Authors: Samuël Borza, Mattia Magnabosco, Tommaso Rossi, Kenshiro Tashiro

Abstract: The curvature exponent $N_{\mathrm{curv}}$ of a metric measure space is the smallest number $N$ for which the measure contraction property $\mathsf{MCP}(0,N)$ holds. In this paper, we study the curvature exponent of sub-Finsler Heisenberg groups equipped with the Lebesgue measure. We prove that $N_{\mathrm{curv}} \geq 5$, and the equality holds if and only if the corresponding sub-Finsler Heisenbe… ▽ More The curvature exponent $N_{\mathrm{curv}}$ of a metric measure space is the smallest number $N$ for which the measure contraction property $\mathsf{MCP}(0,N)$ holds. In this paper, we study the curvature exponent of sub-Finsler Heisenberg groups equipped with the Lebesgue measure. We prove that $N_{\mathrm{curv}} \geq 5$, and the equality holds if and only if the corresponding sub-Finsler Heisenberg group is actually sub-Riemannian. Furthermore, we show that for every $N\geq 5$, there is a sub-Finsler structure on the Heisenberg group such that $N_{\mathrm{curv}}=N$. △ Less

Submitted 25 February, 2025; v1 submitted 19 July, 2024; originally announced July 2024.

Comments: 25 pages, 1 figure. Minor corrections and clarifications

MSC Class: 53C17; 53C23; 49J52

Measure contraction property and curvature-dimension condition on sub-Finsler Heisenberg groups

Authors: Samuël Borza, Mattia Magnabosco, Tommaso Rossi, Kenshiro Tashiro

Abstract: In this paper, we investigate the validity of synthetic curvature-dimension bounds in the sub-Finsler Heisenberg group, equipped with a positive smooth measure. Firstly, we study the measure contraction property, in short $\mathsf{MCP}$, proving that its validity depends on the norm generating the sub-Finsler structure. Indeed, we show that, if it is neither $C^1$ nor strongly convex, the associat… ▽ More In this paper, we investigate the validity of synthetic curvature-dimension bounds in the sub-Finsler Heisenberg group, equipped with a positive smooth measure. Firstly, we study the measure contraction property, in short $\mathsf{MCP}$, proving that its validity depends on the norm generating the sub-Finsler structure. Indeed, we show that, if it is neither $C^1$ nor strongly convex, the associated Heisenberg group does not satisfy $\mathsf{MCP}(K,N)$ for any pair of parameters $K \in \mathbb{R}$ and $N \in (1,\infty)$. On the contrary, we prove that the sub-Finsler Heisenberg group, equipped with a $C^{1,1}$ and strongly convex norm, and with the Lebesgue measure, satisfies $\mathsf{MCP}(0,N)$ for some $N \in (1,\infty)$. Additionally, we provide a lower bound on the optimal dimensional parameter, and we also study the case of $C^1$ and strongly convex norms. Secondly, we address the validity of the curvature-dimension condition pioneered by Sturm and Lott-Villani, in short $\mathsf{CD}(K,N)$. We show that the sub-Finsler Heisenberg group, equipped with a $C^1$ and strongly convex norm, and with a positive smooth measure, does not satisfy the $\mathsf{MCP}(K,N)$ condition for any pair of parameters $K \in \mathbb{R}$ and $N \in (1,\infty)$. Combining this result with our findings regarding the measure contraction property, we conclude the failure of the $\mathsf{CD}$ condition in the Heisenberg group for every sub-Finsler structure. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: 50 pages, 3 figures

Measure contraction property, curvature exponent and geodesic dimension of sub-Finsler Heisenberg groups

Authors: Samuël Borza, Kenshiro Tashiro

Abstract: We initiate the study of synthetic curvature-dimension bounds in sub-Finsler geometry. More specifically, we investigate the measure contraction property $\mathsf{MCP}(K, N)$, and the geodesic dimension on the Heisenberg group equipped with an $\ell^p$-sub-Finsler norm. We show that for $p\in(2,\infty]$, the $\ell^p$-Heisenberg group fails to satisfy any of the measure contraction properties. On t… ▽ More We initiate the study of synthetic curvature-dimension bounds in sub-Finsler geometry. More specifically, we investigate the measure contraction property $\mathsf{MCP}(K, N)$, and the geodesic dimension on the Heisenberg group equipped with an $\ell^p$-sub-Finsler norm. We show that for $p\in(2,\infty]$, the $\ell^p$-Heisenberg group fails to satisfy any of the measure contraction properties. On the other hand, if $p\in(1,2)$, then it satisfies the measure contraction property $\mathsf{MCP}(K, N)$ if and only if $K \leq 0$ and $N \geq N_p$, where the curvature exponent $N_p$ is strictly greater than $2q+1$ ($q$ being the Hölder conjugate of $p$). We also prove that the geodesic dimension of the $\ell^p$-Heisenberg group is $\min(2q+2,5)$ for $p\in[1,\infty)$. As a consequence, we provide the first example of a metric measure space where there is a gap between the curvature exponent and the geodesic dimension. △ Less

Submitted 26 May, 2023; originally announced May 2023.

Comments: 46 pages, 11 figures

MSC Class: 53C17; 26A33; 49N60; 49Q22

Normal forms for the sub-Riemannian exponential map of $\mathbb{G}_α$, $\mathrm{SU}(2)$, and $\mathrm{SL}(2)$

Authors: Samuël Borza

Abstract: The goal of this paper is to use singularity theory to find normal forms near the critical points of the sub-Riemannian exponential map. Three cases are studied: the $α$-Grushin plane with fold singularities, and the special unitary group $\mathrm{SU}(2)$ and special linear group $\mathrm{SL}(2)$ with fold and saddle-like singularities. They serve as examples of different sub-Riemannian structures… ▽ More The goal of this paper is to use singularity theory to find normal forms near the critical points of the sub-Riemannian exponential map. Three cases are studied: the $α$-Grushin plane with fold singularities, and the special unitary group $\mathrm{SU}(2)$ and special linear group $\mathrm{SL}(2)$ with fold and saddle-like singularities. They serve as examples of different sub-Riemannian structures and the techniques presented can be applied to other contexts. The paper also includes a discussion of the implications of this approach, as well as open problems. △ Less

Submitted 1 February, 2023; originally announced February 2023.

Comments: 26 pages

MSC Class: 53C17; 58C25; 22E30

Local non-injectivity of the exponential map at critical points in sub-Riemannian geometry

Authors: Samuël Borza, Wilhelm Klingenberg

Abstract: We prove that the sub-Riemannian exponential map is not injective in any neighbourhood of certain critical points. Namely that it does not behave like the injective map of reals given by $f(x) = x^3$ near its critical point $x = 0$. As a consequence, we characterise conjugate points in ideal sub-Riemannian manifolds in terms of the metric structure of the space. The proof uses the Hilbert invarian… ▽ More We prove that the sub-Riemannian exponential map is not injective in any neighbourhood of certain critical points. Namely that it does not behave like the injective map of reals given by $f(x) = x^3$ near its critical point $x = 0$. As a consequence, we characterise conjugate points in ideal sub-Riemannian manifolds in terms of the metric structure of the space. The proof uses the Hilbert invariant integral of the associated variational problem. △ Less

Submitted 29 November, 2022; v1 submitted 11 June, 2022; originally announced June 2022.

Comments: 19 pages, v2: acknowledgements updated, v3: 22 pages, major improvements, title changed to a more informative one, hypothesis of Lemma 31. fixed, introduction and last section significantly expanded, Remark 28. added, typos corrected

MSC Class: 53C17; 58E10; 53C22

Regularity and Continuity properties of the sub-Riemannian exponential map

Authors: Samuël Borza, Wilhelm Klingenberg

Abstract: We prove a version of Warner's regularity and continuity properties for the sub-Riemannian exponential map. The regularity property is established by considering sub-Riemannian Jacobi fields while the continuity property follows from studying the Maslov index of Jacobi curves. We finally show how this implies that the exponential map of the three dimensional Heisenberg group is not injective in an… ▽ More We prove a version of Warner's regularity and continuity properties for the sub-Riemannian exponential map. The regularity property is established by considering sub-Riemannian Jacobi fields while the continuity property follows from studying the Maslov index of Jacobi curves. We finally show how this implies that the exponential map of the three dimensional Heisenberg group is not injective in any neighbourhood of a conjugate vector. △ Less

Submitted 5 July, 2023; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: 23 pages, 1 figure. v2: 23 pages, significant improvements; published in The Journal of Dynamical and Control Systems

MSC Class: 53C17; 53B15; 53B99; 49J15

Journal ref: Journal of Dynamical and Control Systems, January 2023

Distortion coefficients of the $α$-Grushin plane

Authors: Samuël Borza

Abstract: We compute the distortion coefficients of the $α$-Grushin plane. They are expressed in terms of generalised trigonometric functions. Estimates for the distortion coefficients are then obtained and a conjecture of a synthetic curvature condition for the generalised Grushin planes is suggested. We compute the distortion coefficients of the $α$-Grushin plane. They are expressed in terms of generalised trigonometric functions. Estimates for the distortion coefficients are then obtained and a conjecture of a synthetic curvature condition for the generalised Grushin planes is suggested. △ Less

Submitted 12 January, 2022; v1 submitted 30 October, 2020; originally announced October 2020.

Comments: 27 pages, 2 figures. v2: typos corrected; acknowledgments, keywords and MSC class added. v3: correction to (12) which simplifies some equations; Final version to appear in The Journal of Geometric Analysis

MSC Class: 51F99 (Primary) 53B99; 28A75; 28C10 (Secondary)

Journal ref: The Journal of Geometric Analysis, Volume 32, Issue 3, March 2022, Article 78