We prove 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. We describe formal solutions of the corresponding nonholonomic mass transport problem and present the Hamiltonian framework for both the Otto calculus and its nonholonomic counterpart as infinite-dimensional Hamiltonian reductions on diffeomorphism groups.

Finally, we define a nonholonomic analog of the Wasserstein (or, Kantorovich) metric on the space of densities and prove that the subriemannian heat equation defines a gradient flow on the nonholonomic Wasserstein space with the potential given by the Boltzmann relative entropy functional.

In this paper, we construct a quantization functor, associating a complex vector space $\cal{H}(V)$ to a finite-dimensional symplectic vector space V over a finite field of odd characteristic. As a result, we obtain a canonical model for the Weil representation of the symplectic group Sp$(V )$. The main new technical result is a proof of a stronger form of the Stone–von Neumann property for the Heisenberg group $H(V )$. Our result answers, for the case of the Heisenberg group, a question of Kazhdan about the possible existence of a canonical vector space attached to a coadjoint orbit of a general unipotent group over finite field.