Related papers: Geometric inequalities on Heisenberg groups

Finsler geometry is a natural and fundamental generalization of Riemann geometry. The Finsler structure depends on both coordinates and velocities. It is defined as a function on tangent bundle of a manifold. We use the Bianchi identities…

We introduce a general class of transport distances ${\rm WB}_{\Lambda}$ over the space of positive semi-definite matrix-valued Radon measures $\mathcal{M}(\Omega,\mathbb{S}_+^n)$, called the weighted Wasserstein-Bures distance. Such a…

We describe natural K\"ahler or para-K\"ahler structures of the spaces of geodesics of pseudo-Riemannian space forms and relate the local geometry of hypersurfaces of space forms to that of their normal congruences, or Gauss maps, which are…

We introduce dynamic and static formulations that formally extend unbalanced optimal transport from the space of positive densities to the space of Riemannian metrics. The first construction is based on a dynamic variational formulation in…

We develop the optimal transportation approach to modified log-Sobolev inequalities and to isoperimetric inequalities. Various sufficient conditions for such inequalities are given. Some of them are new even in the classical log-Sobolev…

After works by Michael and Simon [10], Hoffman and Spruck [9], and White [14], the celebrated Sobolev inequality could be extended to submanifolds in a huge class of Riemannian manifolds. The universal constant obtained depends only on the…

Let k>n be positive integers. We consider mappings from a subset of k-dimensional Euclidean space R^k to the Heisenberg group H^n with a variety of metric properties, each of which imply that the mapping in question satisfies some weak form…

We give a new approach, inspired by H\"ormander's $L^2$-method, to weighted variance inequalities which extend results obtained by Bobkov and Ledoux. It provides in particular a local proof of the dimensional functional forms of the…

What is the optimal way to deform a projective hypersurface into another one? In this paper we will answer this question adopting the point of view of measure theory, introducing the optimal transport problem between complex algebraic…

We study the geometry of the space of densities $\VolM$, which is the quotient space $\Diff(M)/\Diff_\mu(M)$ of the diffeomorphism group of a compact manifold $M$ by the subgroup of volume-preserving diffemorphisms, endowed with a…

Let $\GG$ be a sub-Riemannian $k$-step Carnot group of homogeneous dimension $Q$. In this paper, we shall prove several geometric inequalities concerning smooth hypersurfaces (i.e. codimension one submanifolds) immersed in $\GG$, endowed…

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,…

A well-known theorem by Ruh and Vilms states that the Laplacian of the Gauss map for a smooth immersion into Euclidean space is given by the covariant derivative of the mean curvature vector field. For hypersurfaces, this implies that the…

We study the geodesic flow corresponding to the left-invariant sub-Riemannian metric and the right-invariant distribution on the second Heisenberg group. The corresponding Hamiltonian system is completely integrable and in this paper we…

We prove $L^p$-Hardy inequalities with distance to the boundary for domains in the Heisenberg group ${\mathbb{H}}^n$, $n\geq 1$. Our results are based on a certain geometric condition. This is first implemented for the Euclidean distance in…

We generalize the concept of sub-Riemannian geometry to infinite-dimensional manifolds modeled on convenient vector spaces. On a sub-Riemannian manifold $M$, the metric is defined only on a sub-bundle $\calH$ of the tangent bundle $TM$,…

We propose the construction of equations of motion based on symmetries in quantum-mechanical systems, using Heisenberg's uncertainty principle as a minimal foundation. From canonical operators, two spaces of conjugate operators are…

A special type of coarea inequality is proved for compositions of intrinsically Lipschitz mappings of Carnot groups with projections along horizontal vector fields. It is proved that the equality is achieved for mappings with finite…

We solve explicitly the geodesic equation for a wide class of (pseudo)-Riemannian homogeneous manifolds (G/H,m), including those with G compact, as well as non-compact semisimple Lie groups, under a simple algebraic condition for the metric…

In this expository paper, we discuss a unified framework for proving various geometric inequalities, based on the so-called Alexandrov-Bakelman-Pucci technique. Examples include Cabr\'e's proof of the classical isoperimetric inequality in…