Showing 1–35 of 35 results for author: Barilari, D

Magnetic fields on sub-Riemannian manifolds

Authors: Davide Barilari, Tania Bossio, Valentina Franceschi

Abstract: Motivated by a classical correspondence between magnetic flows and sub-Riemannian geometry, first established by Montgomery, we undertake a systematic study of magnetic flows on sub-Riemannian manifolds. We focus on three-dimensional contact manifolds, and we show that magnetic fields are naturally defined through Rumin differential forms. We provide a geometric interpretation of the sub-Riemann… ▽ More Motivated by a classical correspondence between magnetic flows and sub-Riemannian geometry, first established by Montgomery, we undertake a systematic study of magnetic flows on sub-Riemannian manifolds. We focus on three-dimensional contact manifolds, and we show that magnetic fields are naturally defined through Rumin differential forms. We provide a geometric interpretation of the sub-Riemannian magnetic geodesic flow, demonstrating that it can be understood as a geodesic flow on a suitably defined lifted sub-Riemannian structure, which is of Engel type when the magnetic field is non-vanishing. In the general case, when the magnetic field might be vanishing, we investigate the geometry of this lifted structure, characterizing properties such as its step and the abnormal trajectories in terms of the analytical features of the magnetic field. △ Less

Submitted 12 April, 2025; originally announced April 2025.

Comments: 27 pages

Refined Strichartz Estimates for sub-Laplacians in Heisenberg and $H$-type groups

Authors: Davide Barilari, Steven Flynn

Abstract: We obtain refined Strichartz estimates for the sub-Riemannian Schrödinger equation on $H$-type Carnot groups using Fourier restriction techniques. In particular, we extend the previously known Strichartz estimates previously obtained for the Heisenberg group also to non radial initial data. The same arguments permits to obtain refined Strichartz estimates for the wave equation on $H$-type groups.… ▽ More We obtain refined Strichartz estimates for the sub-Riemannian Schrödinger equation on $H$-type Carnot groups using Fourier restriction techniques. In particular, we extend the previously known Strichartz estimates previously obtained for the Heisenberg group also to non radial initial data. The same arguments permits to obtain refined Strichartz estimates for the wave equation on $H$-type groups. Our proof is based on estimates for the spectral projectors for sub-Laplacians and reinterprets Strichartz estimates as Fourier restriction theorems for nilpotent groups in the context of trace-class operator valued measures. △ Less

Submitted 8 January, 2025; originally announced January 2025.

Comments: 32 pages

Steiner and tube formulae in 3D contact sub-Riemannian geometry

Authors: Davide Barilari, Tania Bossio

Abstract: We prove a Steiner formula for regular surfaces with no characteristic points in 3D contact sub-Riemannian manifolds endowed with an arbitrary smooth volume. The formula we obtain, which is equivalent to a half-tube formula, is of local nature. It can thus be applied to any surface in a region not containing characteristic points. We provide a geometrical interpretation of the coefficients appeari… ▽ More We prove a Steiner formula for regular surfaces with no characteristic points in 3D contact sub-Riemannian manifolds endowed with an arbitrary smooth volume. The formula we obtain, which is equivalent to a half-tube formula, is of local nature. It can thus be applied to any surface in a region not containing characteristic points. We provide a geometrical interpretation of the coefficients appearing in the expansion, and compute them on some relevant examples in three-dimensional sub-Riemannian model spaces. These results generalize those obtained in 10.1016/j.na.2015.05.006 and arXiv:1703.01592v3 for the Heisenberg group. △ Less

Submitted 2 June, 2023; v1 submitted 2 February, 2023; originally announced February 2023.

Comments: 31 pages. To appear in Communications in Contemporary Mathematics

Unified synthetic Ricci curvature lower bounds for Riemannian and sub-Riemannian structures

Authors: Davide Barilari, Andrea Mondino, Luca Rizzi

Abstract: Recent advances in the theory of metric measures spaces on the one hand, and of sub-Riemannian ones on the other hand, suggest the possibility of a "great unification" of Riemannian and sub-Riemannian geometries in a comprehensive framework of synthetic Ricci curvature lower bounds. With the aim of achieving such a unification program, in this paper we initiate the study of gauge metric measure sp… ▽ More Recent advances in the theory of metric measures spaces on the one hand, and of sub-Riemannian ones on the other hand, suggest the possibility of a "great unification" of Riemannian and sub-Riemannian geometries in a comprehensive framework of synthetic Ricci curvature lower bounds. With the aim of achieving such a unification program, in this paper we initiate the study of gauge metric measure spaces. △ Less

Submitted 8 April, 2024; v1 submitted 14 November, 2022; originally announced November 2022.

Comments: 153 pages. v2: new Section 10.2 on the Grushin plane. v3: minor cosmetic changes. Accepted version, to appear on Memoirs of the AMS

MSC Class: 53C17; 53C21; 49Q22

Intrinsic sub-Laplacian for hypersurface in a contact sub-Riemannian manifold

Authors: Davide Barilari, Karen Habermann

Abstract: We construct and study the intrinsic sub-Laplacian, defined outside the set of characteristic points, for a smooth hypersurface embedded in a contact sub-Riemannian manifold. We prove that, away from characteristic points, the intrinsic sub-Laplacian arises as the limit of Laplace-Beltrami operators built by means of Riemannian approximations to the sub-Riemannian structure using the Reeb vector f… ▽ More We construct and study the intrinsic sub-Laplacian, defined outside the set of characteristic points, for a smooth hypersurface embedded in a contact sub-Riemannian manifold. We prove that, away from characteristic points, the intrinsic sub-Laplacian arises as the limit of Laplace-Beltrami operators built by means of Riemannian approximations to the sub-Riemannian structure using the Reeb vector field. We carefully analyse three families of model cases for this setting obtained by considering canonical hypersurfaces embedded in model spaces for contact sub-Riemannian manifolds. In these model cases, we show that the intrinsic sub-Laplacian is stochastically complete and in particular, that the stochastic process induced by the intrinsic sub-Laplacian almost surely does not hit characteristic points. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Comments: 24 pages

MSC Class: 53C17; 53B25; 58J65

Journal ref: Nonlinear Differential Equations and Applications NoDEA, Volume 31 (2024), Article Number 3, 1-31

Spectral summability for the quartic oscillator with applications to the Engel group

Authors: Hajer Bahouri, Davide Barilari, Isabelle Gallagher, Matthieu Léautaud

Abstract: In this article, we investigate spectral properties of the sublaplacian $-Δ_{G}$ on the Engel group, which is the main example of a Carnot group of step 3. We develop a new approach to the Fourier analysis on the Engel group in terms of a frequency set. This enables us to give fine estimates on the convolution kernel satisfying $F(-Δ_{G})u=u\star k_{F}$, for suitable scalar functions $F$, and in t… ▽ More In this article, we investigate spectral properties of the sublaplacian $-Δ_{G}$ on the Engel group, which is the main example of a Carnot group of step 3. We develop a new approach to the Fourier analysis on the Engel group in terms of a frequency set. This enables us to give fine estimates on the convolution kernel satisfying $F(-Δ_{G})u=u\star k_{F}$, for suitable scalar functions $F$, and in turn to obtain proofs of classical functional embeddings, via Fourier techniques. This analysis requires a summability property on the spectrum of the quartic oscillator, which we obtain by means of semiclassical techniques and which is of independent interest. △ Less

Submitted 21 June, 2022; originally announced June 2022.

On the induced geometry on surfaces in 3D contact sub-Riemannian manifolds

Authors: Davide Barilari, Ugo Boscain, Daniele Cannarsa

Abstract: Given a surface $S$ in a 3D contact sub-Riemannian manifold $M$, we investigate the metric structure induced on $S$ by $M$, in the sense of length spaces. First, we define a coefficient $\widehat K$ at characteristic points that determines locally the characteristic foliation of $S$. Next, we identify some global conditions for the induced distance to be finite. In particular, we prove that the in… ▽ More Given a surface $S$ in a 3D contact sub-Riemannian manifold $M$, we investigate the metric structure induced on $S$ by $M$, in the sense of length spaces. First, we define a coefficient $\widehat K$ at characteristic points that determines locally the characteristic foliation of $S$. Next, we identify some global conditions for the induced distance to be finite. In particular, we prove that the induced distance is finite for surfaces with the topology of a sphere embedded in a tight coorientable distribution, with isolated characteristic points. △ Less

Submitted 24 September, 2020; originally announced September 2020.

Comments: 24 pages, 15 figures

MSC Class: 53C17; 53A05; 57K33

Journal ref: ESAIM: COCV, 28 (2022) 9

Stochastic processes on surfaces in three-dimensional contact sub-Riemannian manifolds

Authors: Davide Barilari, Ugo Boscain, Daniele Cannarsa, Karen Habermann

Abstract: We are concerned with stochastic processes on surfaces in three-dimensional contact sub-Riemannian manifolds. Employing the Riemannian approximations to the sub-Riemannian manifold which make use of the Reeb vector field, we obtain a second order partial differential operator on the surface arising as the limit of Laplace-Beltrami operators. The stochastic process associated with the limiting oper… ▽ More We are concerned with stochastic processes on surfaces in three-dimensional contact sub-Riemannian manifolds. Employing the Riemannian approximations to the sub-Riemannian manifold which make use of the Reeb vector field, we obtain a second order partial differential operator on the surface arising as the limit of Laplace-Beltrami operators. The stochastic process associated with the limiting operator moves along the characteristic foliation induced on the surface by the contact distribution. We show that for this stochastic process elliptic characteristic points are inaccessible, while hyperbolic characteristic points are accessible from the separatrices. We illustrate the results with examples and we identify canonical surfaces in the Heisenberg group, and in ${\rm SU}(2)$ and ${\rm SL}(2,\mathbb{R})$ equipped with the standard sub-Riemannian contact structures as model cases for this setting. Our techniques further allow us to derive an expression for an intrinsic Gaussian curvature of a surface in a general three-dimensional contact sub-Riemannian manifold. △ Less

Submitted 28 April, 2020; originally announced April 2020.

Comments: 25 pages, 2 figures

MSC Class: 53C17; 58J65; 60J60

Journal ref: Annales de l'Institut Henri Poincaré - Probabilités et Statistiques, Volume 57 (2021), Issue 3, 1388-1410

Strichartz estimates and Fourier restriction theorems on the Heisenberg group

Authors: Hajer Bahouri, Davide Barilari, Isabelle Gallagher

Abstract: This paper is dedicated to the proof of Strichartz estimates on the Heisenberg group $\mathbb{H}^d$ for the linear Schrödinger and wave equations involving the sublaplacian. The Schrödinger equation on $\mathbb{H}^d$ is an example of a totally non-dispersive evolution equation: for this reason the classical approach that permits to obtain Strichartz estimates from dispersive estimates is not avail… ▽ More This paper is dedicated to the proof of Strichartz estimates on the Heisenberg group $\mathbb{H}^d$ for the linear Schrödinger and wave equations involving the sublaplacian. The Schrödinger equation on $\mathbb{H}^d$ is an example of a totally non-dispersive evolution equation: for this reason the classical approach that permits to obtain Strichartz estimates from dispersive estimates is not available. Our approach, inspired by the Fourier transform restriction method initiated by Tomas and Stein, is based on Fourier restriction theorems on $\mathbb{H}^d$, using the non-commutative Fourier transform on the Heisenberg group. It enables us to obtain also an anisotropic Strichartz estimate for the wave equation, for a larger range of indices than was previously known. △ Less

Submitted 31 January, 2021; v1 submitted 9 November, 2019; originally announced November 2019.

Comments: 30 pages, to appear on Journal of Fourier Analysis and Applications

On sub-Riemannian geodesic curvature in dimension three

Authors: Davide Barilari, Mathieu Kohli

Abstract: We introduce a notion of geodesic curvature $k_ζ$ for a smooth horizontal curve $ζ$ in a three-dimensional contact sub-Riemannian manifold, measuring how much a horizontal curve is far from being a geodesic. We show that the geodesic curvature appears as the first corrective term in the Taylor expansion of the sub-Riemannian distance between two points on a unit speed horizontal curve… ▽ More We introduce a notion of geodesic curvature $k_ζ$ for a smooth horizontal curve $ζ$ in a three-dimensional contact sub-Riemannian manifold, measuring how much a horizontal curve is far from being a geodesic. We show that the geodesic curvature appears as the first corrective term in the Taylor expansion of the sub-Riemannian distance between two points on a unit speed horizontal curve $$ d_{SR}^2( ζ(t),ζ(t+ε))=ε^2-\frac{k_ζ^2(t)}{720} ε^6 +o(ε^{6}). $$ The sub-Riemannian distance is not smooth on the diagonal, hence the result contains the existence of such an asymptotics. This can be seen as a higher-order differentiability property of the sub-Riemannian distance along smooth horizontal curves. It generalizes the previously known results on the Heisenberg group. △ Less

Submitted 12 May, 2021; v1 submitted 29 October, 2019; originally announced October 2019.

Comments: 26 pages, to appear on Advances in Calculus of Variations

Bakry-Émery curvature and model spaces in sub-Riemannian geometry

Authors: Davide Barilari, Luca Rizzi

Abstract: We prove comparison theorems for the sub-Riemannian distortion coefficients appearing in interpolation inequalities. These results, which are equivalent to a sub-Laplacian comparison theorem for the sub-Riemannian distance, are obtained by introducing a suitable notion of sub-Riemannian Bakry-Émery curvature. The model spaces for comparison are variational problems coming from optimal control theo… ▽ More We prove comparison theorems for the sub-Riemannian distortion coefficients appearing in interpolation inequalities. These results, which are equivalent to a sub-Laplacian comparison theorem for the sub-Riemannian distance, are obtained by introducing a suitable notion of sub-Riemannian Bakry-Émery curvature. The model spaces for comparison are variational problems coming from optimal control theory. As an application we establish the sharp measure contraction property for 3-Sasakian manifolds satisfying a suitable curvature bound. △ Less

Submitted 17 March, 2020; v1 submitted 19 June, 2019; originally announced June 2019.

Comments: 37 pages; v2: added section 6.2 on the weighted Heisenberg group, fixed typos. Final version to appear on Mathematische Annalen

MSC Class: 53C17; 49J15

On the regularity of abnormal minimizers for rank $2$ sub-Riemannian structures

Authors: Davide Barilari, Yacine Chitour, Frédéric Jean, Dario Prandi, Mario Sigalotti

Abstract: We prove the $C^{1}$ regularity for a class of abnormal length-minimizers in rank $2$ sub-Riemannian structures. As a consequence of our result, all length-minimizers for rank $2$ sub-Riemannian structures of step up to $4$ are of class $C^{1}$. We prove the $C^{1}$ regularity for a class of abnormal length-minimizers in rank $2$ sub-Riemannian structures. As a consequence of our result, all length-minimizers for rank $2$ sub-Riemannian structures of step up to $4$ are of class $C^{1}$. △ Less

Submitted 4 December, 2018; v1 submitted 3 April, 2018; originally announced April 2018.

Comments: 20 pages, v2 minor corrections, to appear on J. Math. Pures Appl

Volume of small balls and sub-Riemannian curvature in 3D contact manifolds

Authors: Davide Barilari, Ivan Beschastnyi, Antonio Lerario

Abstract: We compute the asymptotic expansion of the volume of small sub-Riemannian balls in a contact 3-dimensional manifold, and we express the first meaningful geometric coefficients in terms of geometric invariants of the sub-Riemannian structure We compute the asymptotic expansion of the volume of small sub-Riemannian balls in a contact 3-dimensional manifold, and we express the first meaningful geometric coefficients in terms of geometric invariants of the sub-Riemannian structure △ Less

Submitted 4 December, 2018; v1 submitted 27 February, 2018; originally announced February 2018.

Comments: 19 pages, v2 minor corrections

Kolmogorov-Fokker-Planck operators in dimension two: heat kernel and curvature

Authors: Davide Barilari, Francesco Boarotto

Abstract: We consider the heat equation associated with a class of hypoelliptic operators of Kolmogorov-Fokker-Planck type in dimension two. We explicitly compute the first meaningful coefficient of the small time asymptotic expansion of the heat kernel on the diagonal, and we interpret it in terms of curvature-like invariants of the optimal control problem associated with the diffusion. This gives a first… ▽ More We consider the heat equation associated with a class of hypoelliptic operators of Kolmogorov-Fokker-Planck type in dimension two. We explicitly compute the first meaningful coefficient of the small time asymptotic expansion of the heat kernel on the diagonal, and we interpret it in terms of curvature-like invariants of the optimal control problem associated with the diffusion. This gives a first example of geometric interpretation of the small-time heat kernel asymptotics of non-homogeneous Hörmander operators which are not associated with a sub-Riemannian structure, i.e., whose second-order part does not satisfy the Hörmander condition. △ Less

Submitted 18 January, 2018; v1 submitted 25 September, 2017; originally announced September 2017.

Comments: 27 pages, to appear on Journal of Evolution Equations

Sub-Riemannian interpolation inequalities

Authors: Davide Barilari, Luca Rizzi

Abstract: We prove that ideal sub-Riemannian manifolds (i.e., admitting no non-trivial abnormal minimizers) support interpolation inequalities for optimal transport. A key role is played by sub-Riemannian Jacobi fields and distortion coefficients, whose properties are remarkably different with respect to the Riemannian case. As a byproduct, we characterize the cut locus as the set of points where the square… ▽ More We prove that ideal sub-Riemannian manifolds (i.e., admitting no non-trivial abnormal minimizers) support interpolation inequalities for optimal transport. A key role is played by sub-Riemannian Jacobi fields and distortion coefficients, whose properties are remarkably different with respect to the Riemannian case. As a byproduct, we characterize the cut locus as the set of points where the squared sub-Riemannian distance fails to be semiconvex, answering to a question raised by Figalli and Rifford in [Geom. Funct. Anal. (2010) 20: 124]. As an application, we deduce sharp and intrinsic Borell-Brascamp-Lieb and geodesic Brunn-Minkowski inequalities in the aforementioned setting. For the case of the Heisenberg group, we recover in an intrinsic way the results recently obtained by Balogh, Kristály and Sipos in [Calc. Var. PDE (2018) 57: 61], and we extend them to the class of generalized H-type Carnot groups. Our results do not require the distribution to have constant rank, yielding for the particular case of the Grushin plane a sharp measure contraction property and a sharp Brunn-Minkowski inequality. △ Less

Submitted 29 November, 2018; v1 submitted 15 May, 2017; originally announced May 2017.

Comments: 43 pages. v2: typo corrected in the statement of Theorem 10. v3: updated references, added Corollary 11, typos corrected. v4: major revision, improved exposition and updated references, added section 7.4 on Sasakian examples. v5, v6 minor corrections. To appear on Inventiones Mathematicae

MSC Class: 53C17 (Primary) 49J15; 49Q20 (Secondary)

A Bonnet-Myers type theorem for quaternionic contact structures

Authors: Davide Barilari, Stefan Ivanov

Abstract: We prove a Bonnet-Myers type theorem for quaternionic contact manifolds of dimension bigger than 7. If the manifold is complete with respect to the natural sub-Riemannian distance and satisfies a natural Ricci-type bound expressed in terms of derivatives up to the third order of the fundamental tensors, then the manifold is compact and we give a sharp bound on its sub-Riemannian diameter. We prove a Bonnet-Myers type theorem for quaternionic contact manifolds of dimension bigger than 7. If the manifold is complete with respect to the natural sub-Riemannian distance and satisfies a natural Ricci-type bound expressed in terms of derivatives up to the third order of the fundamental tensors, then the manifold is compact and we give a sharp bound on its sub-Riemannian diameter. △ Less

Submitted 9 December, 2018; v1 submitted 13 March, 2017; originally announced March 2017.

Comments: 21 pages, v2 minor corrections, v3 final draft version. To appear on Calc. Var. PDE

Sharp measure contraction property for generalized H-type Carnot groups

Authors: Davide Barilari, Luca Rizzi

Abstract: 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 holds true for the larger class of generalized H-type Carnot groups introduced in this paper, and for which we compute explicitly the optimal synthesis. This con… ▽ More 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 holds true for the larger class of generalized H-type Carnot groups introduced in this paper, and for which we compute explicitly the optimal synthesis. This constitutes the largest class of Carnot groups for which the curvature exponent coincides with the geodesic dimension. We stress that generalized H-type Carnot groups have step 2, include all corank 1 groups and, in general, admit abnormal minimizing curves. As a corollary, we prove the absolute continuity of the Wasserstein geodesics for the quadratic cost on all generalized H-type Carnot groups. △ Less

Submitted 6 November, 2017; v1 submitted 14 February, 2017; originally announced February 2017.

Comments: 18 pages. This article extends the results of arXiv:1510.05960. v2: revised and improved version. v3: final version, to appear in Commun. Contemp. Math

MSC Class: 53C17; 53C22; 35R03; 54E35; 53C21

Journal ref: Communications in Contemporary Mathematics, Vol. 20, No. 6 (2018) 1750081 (24 pages)

On the set of points of smoothness for the value function for affine optimal control problems

Authors: Davide Barilari, Francesco Boarotto

Abstract: We study the regularity properties of the value function associated with an affine optimal control problem with quadratic cost plus a potential, for a fixed final time and initial point. Without assuming any condition on singular minimizers, we prove that the value function is continuous on an open and dense subset of the interior of the attainable set. As a byproduct we obtain that it is actually… ▽ More We study the regularity properties of the value function associated with an affine optimal control problem with quadratic cost plus a potential, for a fixed final time and initial point. Without assuming any condition on singular minimizers, we prove that the value function is continuous on an open and dense subset of the interior of the attainable set. As a byproduct we obtain that it is actually smooth on a possibly smaller set, still open and dense. △ Less

Submitted 1 July, 2017; v1 submitted 24 October, 2016; originally announced October 2016.

Comments: 20 pages, 2 figures

Heat kernel asymptotics on sub-Riemannian manifolds with symmetries and applications to the bi-Heisenberg group

Authors: Davide Barilari, Ugo Boscain, Robert W. Neel

Abstract: By adapting a technique of Molchanov, we obtain the heat kernel asymptotics at the sub-Riemannian cut locus, when the cut points are reached by an $r$-dimensional parametric family of optimal geodesics. We apply these results to the bi-Heisenberg group, that is, a nilpotent left-invariant sub-Rieman\-nian structure on $\mathbb{R}^{5}$ depending on two real parameters $α_{1}$ and $α_{2}$. We develo… ▽ More By adapting a technique of Molchanov, we obtain the heat kernel asymptotics at the sub-Riemannian cut locus, when the cut points are reached by an $r$-dimensional parametric family of optimal geodesics. We apply these results to the bi-Heisenberg group, that is, a nilpotent left-invariant sub-Rieman\-nian structure on $\mathbb{R}^{5}$ depending on two real parameters $α_{1}$ and $α_{2}$. We develop some results about its geodesics and heat kernel associated to its sub-Laplacian and we illuminate some interesting geometric and analytic features appearing when one compares the isotropic ($α_{1}=α_{2}$) and the non-isotropic cases ($α_{1}\neq α_{2}$). In particular, we give the exact structure of the cut locus, and we get the complete small-time asymptotics for its heat kernel. △ Less

Submitted 3 June, 2016; originally announced June 2016.

Comments: 17 pages, 1 figure

Volume geodesic distortion and Ricci curvature for Hamiltonian dynamics

Authors: Andrei Agrachev, Davide Barilari, Elisa Paoli

Abstract: We study the variation of a smooth volume form along extremals of a variational problem with nonholonomic constraints and an action-like Lagrangian. We introduce a new invariant describing the interaction of the volume with the dynamics and we study its basic properties. We then show how this invariant, together with curvature-like invariants of the dynamics, appear in the expansion of the volume… ▽ More We study the variation of a smooth volume form along extremals of a variational problem with nonholonomic constraints and an action-like Lagrangian. We introduce a new invariant describing the interaction of the volume with the dynamics and we study its basic properties. We then show how this invariant, together with curvature-like invariants of the dynamics, appear in the expansion of the volume at regular points of the exponential map. This generalizes the well-known expansion of the Riemannian volume in terms of Ricci curvature to a wide class of geometric structures, including all sub-Riemannian manifolds. △ Less

Submitted 13 March, 2018; v1 submitted 28 February, 2016; originally announced February 2016.

Comments: 31 pages, 5 figures. v3 Minor revision, to appear on Annales de l'Institut Fourier

Curvature terms in small time heat kernel expansion for a model class of hypoelliptic Hörmander operators

Authors: Davide Barilari, Elisa Paoli

Abstract: We consider the heat equation associated with a class of second order hypoelliptic Hörmander operators with constant second order term and linear drift. We describe the possible small time heat kernel expansion on the diagonal giving a geometric characterization of the coefficients in terms of the divergence of the drift field and the curvature-like invariants of the optimal control problem associ… ▽ More We consider the heat equation associated with a class of second order hypoelliptic Hörmander operators with constant second order term and linear drift. We describe the possible small time heat kernel expansion on the diagonal giving a geometric characterization of the coefficients in terms of the divergence of the drift field and the curvature-like invariants of the optimal control problem associated with the diffusion operator. △ Less

Submitted 16 October, 2015; originally announced October 2015.

Comments: 17 pages

Sub-Finsler structures from the time-optimal control viewpoint for some nilpotent distributions

Authors: Davide Barilari, Ugo Boscain, Enrico Le Donne, Mario Sigalotti

Abstract: In this paper we study the sub-Finsler geometry as a time-optimal control problem. In particular, we consider non-smooth and non-strictly convex sub-Finsler structures associated with the Heisenberg, Grushin, and Martinet distributions. Motivated by problems in geometric group theory, we characterize extremal curves, discuss their optimality, and calculate the metric spheres, proving their Euclide… ▽ More In this paper we study the sub-Finsler geometry as a time-optimal control problem. In particular, we consider non-smooth and non-strictly convex sub-Finsler structures associated with the Heisenberg, Grushin, and Martinet distributions. Motivated by problems in geometric group theory, we characterize extremal curves, discuss their optimality, and calculate the metric spheres, proving their Euclidean rectifiability. △ Less

Submitted 13 June, 2015; originally announced June 2015.

Comments: 24 pages, 17 figures

On Jacobi fields and canonical connection in sub-Riemannian geometry

Authors: Davide Barilari, Luca Rizzi

Abstract: In sub-Riemannian geometry the coefficients of the Jacobi equation define curvature-like invariants. We show that these coefficients can be interpreted as the curvature of a canonical Ehresmann connection associated to the metric, first introduced in [Zelenko-Li]. We show why this connection is naturally nonlinear, and we discuss some of its properties. In sub-Riemannian geometry the coefficients of the Jacobi equation define curvature-like invariants. We show that these coefficients can be interpreted as the curvature of a canonical Ehresmann connection associated to the metric, first introduced in [Zelenko-Li]. We show why this connection is naturally nonlinear, and we discuss some of its properties. △ Less

Submitted 28 March, 2017; v1 submitted 5 June, 2015; originally announced June 2015.

Comments: 13 pages, (v2) minor corrections. Final version to appear on Archivum Mathematicum

MSC Class: 53C17; 53B21; 53B15

Journal ref: Archivum mathematicum, 53 (2017), no. 2, 77-92

Sub-Riemannian curvature in contact geometry

Authors: Andrei Agrachev, Davide Barilari, Luca Rizzi

Abstract: We compare different notions of curvature on contact sub-Riemannian manifolds. In particular we introduce canonical curvatures as the coefficients of the sub-Riemannian Jacobi equation. The main result is that all these coefficients are encoded in the asymptotic expansion of the horizontal derivatives of the sub-Riemannian distance. We explicitly compute their expressions in terms of the standard… ▽ More We compare different notions of curvature on contact sub-Riemannian manifolds. In particular we introduce canonical curvatures as the coefficients of the sub-Riemannian Jacobi equation. The main result is that all these coefficients are encoded in the asymptotic expansion of the horizontal derivatives of the sub-Riemannian distance. We explicitly compute their expressions in terms of the standard tensors of contact geometry. As an application of these results, we obtain a sub-Riemannian version of the Bonnet-Myers theorem that applies to any contact manifold. △ Less

Submitted 21 February, 2016; v1 submitted 17 May, 2015; originally announced May 2015.

Comments: 31 pages, 2 figures; v2: the Bonnet-Myers theorem 1.7 now holds for any contact structure; v3: final version (with expanded introduction) to appear on Journal of Geometric Analysis; v4: fixed typos

MSC Class: 53C17; 53C21; 53C22; 49N10

Comparison theorems for conjugate points in sub-Riemannian geometry

Authors: Davide Barilari, Luca Rizzi

Abstract: We prove sectional and Ricci-type comparison theorems for the existence of conjugate points along sub-Riemannian geodesics. In order to do that, we regard sub-Riemannian structures as a special kind of variational problems. In this setting, we identify a class of models, namely linear quadratic optimal control systems, that play the role of the constant curvature spaces. As an application, we prov… ▽ More We prove sectional and Ricci-type comparison theorems for the existence of conjugate points along sub-Riemannian geodesics. In order to do that, we regard sub-Riemannian structures as a special kind of variational problems. In this setting, we identify a class of models, namely linear quadratic optimal control systems, that play the role of the constant curvature spaces. As an application, we prove a version of sub-Riemannian Bonnet-Myers theorem and we obtain some new results on conjugate points for three dimensional left-invariant sub-Riemannian structures. △ Less

Submitted 13 May, 2016; v1 submitted 14 January, 2014; originally announced January 2014.

Comments: 33 pages, 5 figures, v2: minor revision, v3: minor revision, v4: minor revisions after publication

MSC Class: 53C17; 53C21; 53C22; 49N10

Journal ref: ESAIM: COCV Volume 22, Number 2, 439 - 472, 2016

On the heat diffusion for generic Riemannian and sub-Riemannian structures

Authors: Davide Barilari, Ugo Boscain, Grégoire Charlot, Robert W. Neel

Abstract: In this paper we provide the small-time heat kernel asymptotics at the cut locus in three relevant cases: generic low-dimensional Riemannian manifolds, generic 3D contact sub-Riemannian manifolds (close to the starting point) and generic 4D quasi-contact sub-Riemannian manifolds (close to a generic starting point). As a byproduct, we show that, for generic low-dimensional Riemannian manifolds, the… ▽ More In this paper we provide the small-time heat kernel asymptotics at the cut locus in three relevant cases: generic low-dimensional Riemannian manifolds, generic 3D contact sub-Riemannian manifolds (close to the starting point) and generic 4D quasi-contact sub-Riemannian manifolds (close to a generic starting point). As a byproduct, we show that, for generic low-dimensional Riemannian manifolds, the only singularities of the exponential map, as a Lagragian map, that can arise along a minimizing geodesic are $A_3$ and $A_5$ (in the classification of Arnol'd's school). We show that in the non-generic case, a cornucopia of asymptotics can occur, even for Riemannian surfaces. △ Less

Submitted 11 December, 2013; v1 submitted 3 October, 2013; originally announced October 2013.

Comments: 25 pages, 1 figure

MSC Class: 53C17; 57R45; 58J35

Curvature: a variational approach

Authors: Andrei Agrachev, Davide Barilari, Luca Rizzi

Abstract: The curvature discussed in this paper is a rather far going generalization of the Riemannian sectional curvature. We define it for a wide class of optimal control problems: a unified framework including geometric structures such as Riemannian, sub-Riemannian, Finsler and sub-Finsler structures; a special attention is paid to the sub-Riemannian (or Carnot-Caratheodory) metric spaces. Our constructi… ▽ More The curvature discussed in this paper is a rather far going generalization of the Riemannian sectional curvature. We define it for a wide class of optimal control problems: a unified framework including geometric structures such as Riemannian, sub-Riemannian, Finsler and sub-Finsler structures; a special attention is paid to the sub-Riemannian (or Carnot-Caratheodory) metric spaces. Our construction of the curvature is direct and naive, and it is similar to the original approach of Riemann. Surprisingly, it works in a very general setting and, in particular, for all sub-Riemannian spaces. △ Less

Submitted 5 June, 2015; v1 submitted 22 June, 2013; originally announced June 2013.

Comments: 120 pages, 12 figures, (v2) minor revision; (v3) new sections on Finsler manifolds, slow growth distributions, Heisenberg group; (v4) major revision, new extended section on 3D contact structures, constant curvature, improved results about existence of ample geodesics on SR structures, 2 new appendices, many minor revisions; (v5) 1 new appendix, minor revisions

MSC Class: 49-02; 53C17; 49J15; 58B20

Journal ref: Mem. Amer. Math. Soc. 256 (2018), no. 1225, v+142 pp

Geometry of Maslov cycles

Authors: Davide Barilari, Antonio Lerario

Abstract: We introduce the notion of induced Maslov cycle, which describes and unifies geometrical and topological invariants of many apparently unrelated problems, from Real Algebraic Geometry to sub-Riemannian Geometry. We introduce the notion of induced Maslov cycle, which describes and unifies geometrical and topological invariants of many apparently unrelated problems, from Real Algebraic Geometry to sub-Riemannian Geometry. △ Less

Submitted 2 January, 2013; originally announced January 2013.

A formula for Popp's volume in sub-Riemannian geometry

Authors: Davide Barilari, Luca Rizzi

Abstract: For an equiregular sub-Riemannian manifold M, Popp's volume is a smooth volume which is canonically associated with the sub-Riemannian structure, and it is a natural generalization of the Riemannian one. In this paper we prove a general formula for Popp's volume, written in terms of a frame adapted to the sub-Riemannian distribution. As a first application of this result, we prove an explicit form… ▽ More For an equiregular sub-Riemannian manifold M, Popp's volume is a smooth volume which is canonically associated with the sub-Riemannian structure, and it is a natural generalization of the Riemannian one. In this paper we prove a general formula for Popp's volume, written in terms of a frame adapted to the sub-Riemannian distribution. As a first application of this result, we prove an explicit formula for the canonical sub-Laplacian, namely the one associated with Popp's volume. Finally, we discuss sub-Riemannian isometries, and we prove that they preserve Popp's volume. We also show that, under some hypotheses on the action of the isometry group of M, Popp's volume is essentially the unique volume with such a property. △ Less

Submitted 15 January, 2013; v1 submitted 10 November, 2012; originally announced November 2012.

Comments: 16 pages, minor revisions

MSC Class: 53C17; 28D05

Journal ref: Analysis and Geometry in Metric Spaces, 1 (2012), 42-57

Small time heat kernel asymptotics at the cut locus on surfaces of revolution

Authors: Davide Barilari, Jacek Jendrej

Abstract: In this paper we investigate the small time heat kernel asymptotics on the cut locus on a class of surfaces of revolution, which are the simplest 2-dimensional Riemannian manifolds different from the sphere with non trivial cut-conjugate locus. We determine the degeneracy of the exponential map near a cut-conjugate point and present the consequences of this result to the small time heat kernel asy… ▽ More In this paper we investigate the small time heat kernel asymptotics on the cut locus on a class of surfaces of revolution, which are the simplest 2-dimensional Riemannian manifolds different from the sphere with non trivial cut-conjugate locus. We determine the degeneracy of the exponential map near a cut-conjugate point and present the consequences of this result to the small time heat kernel asymptotics at this point. These results give a first example where the minimal degeneration of the asymptotic expansion at the cut locus is attained. △ Less

Submitted 13 March, 2013; v1 submitted 8 November, 2012; originally announced November 2012.

Comments: Accepted on Annales IHP - Analyse Non Lineaire

Small time heat kernel asymptotics at the sub-Riemannian cut locus

Authors: Davide Barilari, Ugo Boscain, Robert W. Neel

Abstract: For a sub-Riemannian manifold provided with a smooth volume, we relate the small time asymptotics of the heat kernel at a point $y$ of the cut locus from $x$ with roughly "how much" $y$ is conjugate to $x$. This is done under the hypothesis that all minimizers connecting $x$ to $y$ are strongly normal, i.e.\ all pieces of the trajectory are not abnormal. Our result is a refinement of the one of Le… ▽ More For a sub-Riemannian manifold provided with a smooth volume, we relate the small time asymptotics of the heat kernel at a point $y$ of the cut locus from $x$ with roughly "how much" $y$ is conjugate to $x$. This is done under the hypothesis that all minimizers connecting $x$ to $y$ are strongly normal, i.e.\ all pieces of the trajectory are not abnormal. Our result is a refinement of the one of Leandre $4t\log p_t(x,y)\to -d^2(x,y)$ for $t\to 0$, in which only the leading exponential term is detected. Our results are obtained by extending an idea of Molchanov from the Riemannian to the sub-Riemannian case, and some details we get appear to be new even in the Riemannian context. These results permit us to obtain properties of the sub-Riemannian distance starting from those of the heat kernel and vice versa. For the Grushin plane endowed with the Euclidean volume we get the expansion $p_t(x,y)\sim t^{-5/4}\exp(-d^2(x,y)/4t)$ where $y$ is reached from a Riemannian point $x$ by a minimizing geodesic which is conjugate at $y$. △ Less

Submitted 13 April, 2012; v1 submitted 14 January, 2012; originally announced January 2012.

Journal ref: Journal of Differential Geometry, 92 (2012), no.3, 373-416

On 2-step, corank 2 nilpotent sub-Riemannian metrics

Authors: Davide Barilari, Ugo Boscain, Jean-Paul Gauthier

Abstract: In this paper we study the nilpotent 2-step, corank 2 sub-Riemannian metrics that are nilpotent approximations of general sub-Riemannian metrics. We exhibit optimal syntheses for these problems. It turns out that in general the cut time is not equal to the first conjugate time but has a simple explicit expression. As a byproduct of this study we get some smoothness properties of the spherical Haus… ▽ More In this paper we study the nilpotent 2-step, corank 2 sub-Riemannian metrics that are nilpotent approximations of general sub-Riemannian metrics. We exhibit optimal syntheses for these problems. It turns out that in general the cut time is not equal to the first conjugate time but has a simple explicit expression. As a byproduct of this study we get some smoothness properties of the spherical Hausdorff measure in the case of a generic 6 dimensional, 2-step corank 2 sub-Riemannian metric. △ Less

Submitted 5 November, 2011; v1 submitted 29 May, 2011; originally announced May 2011.

Trace heat kernel asymptotics in 3D contact sub-Riemannian geometry

Authors: Davide Barilari

Abstract: In this paper we study the small time asymptotics for the heat kernel on a sub-Riemannian manifold, using a perturbative approach. We then explicitly compute, in the case of a 3D contact structure, the first two coefficients of the small time asymptotics expansion of the heat kernel on the diagonal, expressing them in terms of the two basic functional invariants $χ$ and $κ$ defined on a 3D contact… ▽ More In this paper we study the small time asymptotics for the heat kernel on a sub-Riemannian manifold, using a perturbative approach. We then explicitly compute, in the case of a 3D contact structure, the first two coefficients of the small time asymptotics expansion of the heat kernel on the diagonal, expressing them in terms of the two basic functional invariants $χ$ and $κ$ defined on a 3D contact structure. △ Less

Submitted 4 November, 2011; v1 submitted 6 May, 2011; originally announced May 2011.

Sub-Riemannian structures on 3D Lie groups

Authors: Andrei Agrachev, Davide Barilari

Abstract: We give the complete classification of left-invariant sub-Riemannian structures on three dimensional Lie groups in terms of the basic differential invariants. This classifications recovers other known classification results in the literature, in particular the one obtained in [Falbel-Gorodski, 1996] in terms of curvature invariants of a canonical connection. Moreover, we explicitly find a sub-Riem… ▽ More We give the complete classification of left-invariant sub-Riemannian structures on three dimensional Lie groups in terms of the basic differential invariants. This classifications recovers other known classification results in the literature, in particular the one obtained in [Falbel-Gorodski, 1996] in terms of curvature invariants of a canonical connection. Moreover, we explicitly find a sub-Riemannian isometry between the nonisomorphic Lie groups $SL(2)$ and $A^{+}(\mathbb{R})\times S^1$, where $A^+(\mathbb{R})$ denotes the group of orientation preserving affine maps on the real line. △ Less

Submitted 28 July, 2017; v1 submitted 28 July, 2010; originally announced July 2010.

Journal ref: J. Dynamical and Control Systems (2012), v.18, 21-44

On the Hausdorff volume in sub-Riemannian geometry

Authors: Andrei Agrachev, Davide Barilari, Ugo Boscain

Abstract: For a regular sub-Riemannian manifold we study the Radon-Nikodym derivative of the spherical Hausdorff measure with respect to a smooth volume. We prove that this is the volume of the unit ball in the nilpotent approximation and it is always a continuous function. We then prove that up to dimension 4 it is smooth, while starting from dimension 5, in corank 1 case, it is C^3 (and C^4 on every smoot… ▽ More For a regular sub-Riemannian manifold we study the Radon-Nikodym derivative of the spherical Hausdorff measure with respect to a smooth volume. We prove that this is the volume of the unit ball in the nilpotent approximation and it is always a continuous function. We then prove that up to dimension 4 it is smooth, while starting from dimension 5, in corank 1 case, it is C^3 (and C^4 on every smooth curve) but in general not C^5. These results answer to a question addressed by Montgomery about the relation between two intrinsic volumes that can be defined in a sub-Riemannian manifold, namely the Popp and the Hausdorff volume. If the nilpotent approximation depends on the point (that may happen starting from dimension 5), then they are not proportional, in general. △ Less

Submitted 15 April, 2011; v1 submitted 4 May, 2010; originally announced May 2010.

Comments: Accepted on Calculus and Variations and PDE

Journal ref: Calc. Var. and PDE, 43 (2012), no. 3-4, 355-388