The book provides an introduction to sub-Riemannian geometry and optimal transport and presents some of the recent progress in these two fields. The text is completely self-contained: the linear discussion, containing all the proofs of the stated results, leads the reader step by step from the notion of distribution at the very beginning to the existence of optimal transport maps for Lipschitz sub-Riemannian structure. The combination of geometry presented from an analytic point of view and of optimal transport, makes the book interesting for a very large community. This set of notes grew from a series of lectures given by the author during a CIMPA school in Beirut, Lebanon.

Provides a comprehensive and self-contained introduction to sub-Riemannian geometry and its applications. For graduate students and researchers.

The theory of optimal transportation has its origins in the eighteenth century when the problem of transporting resources at a minimal cost was first formalised. Through subsequent developments, particularly in recent decades, it has become a powerful modern theory. This book contains the proceedings of the summer school 'Optimal Transportation: Theory and Applications' held at the Fourier Institute in Grenoble. The event brought together mathematicians from pure and applied mathematics, astrophysics, economics and computer science. Part I of this book is devoted to introductory lecture notes accessible to graduate students, while Part II contains research papers. Together, they represent a valuable resource on both fundamental and advanced aspects of optimal transportation, its applications, and its interactions with analysis, geometry, PDE and probability, urban planning and economics. Topics covered include Ricci flow, the Euler equations, functional inequalities, curvature-dimension conditions, and traffic congestion.

This thesis is devoted to subriemannian optimal transportation problems. In the first part of the thesis, we consider cost functions arising from very general optimal control costs. We prove the existence and uniqueness of an optimal map between two given measures under certain regularity and growth assumptions on the Lagrangian, absolute continuity of the measures with respect to the Lebesgue class, and, most importantly, the absence of sharp abnormal minimizers. In particular, this result is applicable in the case where the cost function is square of the subriemannian distance on a subriemannian manifold with a 2-generating distribution. This unifies and generalizes the corresponding Riemannian and subriemannian results of Brenier, McCann, Ambrosio-Rigot and Bernard-Buffoni. We also establish various properties of the optimal plan when abnormal minimizers are present.The second part of the thesis is devoted to the infinite-dimensional geometry of optimal transportation on a subriemannian manifold. We start by proving the following nonholonomic version of the classical Moser theorem: given a bracket-generating distribution on a connected compact manifold (possibly with boundary), two volume forms of equal total volume can be isotoped by the flow of a vector field tangent to this distribution. Next, we describe formal solutions of the corresponding subriemannian optimal transportation problem and present the Hamiltonian framework for both the Otto calculus and its subriemannian counterpart as infinite-dimensional Hamiltonian reductions on diffeomorphism groups. Finally, we define a subriemannian analog of the Wasserstein metric on the space of densities and prove that the subriemannian heat equation defines a gradient flow on the subriemannian Wasserstein space with the potential given by the Boltzmann relative entropy functional.Measure contraction property is one of the possible generalizations of Ricci curvature bound to more general metric measure spaces. In the third part of the thesis, we discuss when a three dimensional contact subriemannian manifold satisfies such property.

At the close of the 1980s, the independent contributions of Yann Brenier, Mike Cullen and John Mather launched a revolution in the venerable field of optimal transport founded by G. Monge in the 18th century, which has made breathtaking forays into various other domains of mathematics ever since. The author presents a broad overview of this area, supplying complete and self-contained proofs of all the fundamental results of the theory of optimal transport at the appropriate level of generality. Thus, the book encompasses the broad spectrum ranging from basic theory to the most recent research results. PhD students or researchers can read the entire book without any prior knowledge of the field. A comprehensive bibliography with notes that extensively discuss the existing literature underlines the book’s value as a most welcome reference text on this subject.

The distance formula in noncommutative geometry was introduced by Connes at the end of the 1980s. It is a generalization of Riemannian geodesic distance that makes sense in a noncommutative setting, and provides an original tool to study the geometry of the space of states on an algebra. It also has an intriguing echo in physics, for it yields a metric interpretation for the Higgs field. In the 1990s, Rieffel noticed that this distance is a noncommutative version of the Wasserstein distance of order 1 in the theory of optimal transport. More exactly, this is a noncommutative generalization of Kantorovich dual formula of the Wasserstein distance. Connes distance thus offers an unexpected connection between an ancient mathematical problem and the most recent discovery in high energy physics. The meaning of this connection is far from clear. Yet, Rieffel's observation suggests that Connes distance may provide an interesting starting point for a theory of optimal transport in noncommutative geometry. This volume contains several review papers that will give the reader an extensive introduction to the metric aspect of noncommutative geometry and its possible interpretation as a Wasserstein distance on a quantum space, as well as several topic papers.

Nonholonomic systems are control systems which depend linearly on the control. Their underlying geometry is the sub-Riemannian geometry, which plays for these systems the same role as Euclidean geometry does for linear systems. In particular the usual notions of approximations at the first order, that are essential for control purposes, have to be defined in terms of this geometry. The aim of these notes is to present these notions of approximation and their application to the motion planning problem for nonholonomic systems.