Submanifolds, isoperimetric inequalities and optimal transportation (Q982491)

From MaRDI portal
scientific article; zbMATH DE number 6323350
  • On asymptotically harmonic manifolds of negative curvature
Language Label Description Also known as
English
Submanifolds, isoperimetric inequalities and optimal transportation
scientific article; zbMATH DE number 6323350
  • On asymptotically harmonic manifolds of negative curvature

Statements

Submanifolds, isoperimetric inequalities and optimal transportation (English)
0 references
On asymptotically harmonic manifolds of negative curvature (English)
0 references
0 references
0 references
0 references
0 references
7 July 2010
0 references
31 July 2014
0 references
For any regular domain \(\Omega\subset\mathbb R^ n\), the classical isoperimetric inequality of the Euclidean space states that \(n\omega_ n^{1/n}\text{Vol}(\Omega)^{(n-1)/n}\leq \text{vol}(\partial\Omega)\), where \(\omega_ n\) is the volume of the unit sphere. The equality holds if and only if \(\Omega\) is a ball. There are many generalizations of this inequality to other geometries. In this paper, the author recalls the equivalence between isoperimetric and Sobolev inequalities, existence and properties of the solution of the optimal transportation problem in Euclidean space, and the differentiability properties of convex functions. Next, he describes solutions of the mass transportation problems between a measure supported in a submanifold and a measure supported in a linear space of the same dimension. Finally, by using the optimal map, it is proven that if \(i:M^ n\to\mathbb R^{n+k}\) is an isometric immersion and \(E\) is an \(n\)-dimensional linear subspace of \(\mathbb R^{n+k}\), then for any regular domain \(\Omega\subset M^ n\), \[ n\omega_ n^{1/n}\left(\int\limits_{\Omega}J_ E^{1/{n-1}}dv_ M\right)^{(n-1)/n}\leq \text{vol}(\partial\Omega)+n\int\limits_{\Omega}|H|dv_ M, \] where \(H\) is the mean curvature vector of the immersion and \(J_ H\) is the absolute value of the Jacobian determinant of the orthogonal projection from \(M\) to \(E\). When \(\Omega\) is a geodesic ball in \(E\), then we have the equality.
0 references
A manifold is said to be harmonic if the geodesic spheres have constant mean curvature. Any rank-one symmetric space is a 2-point homogeneous space and hence harmonic. The Damek-Ricci spaces provide examples of harmonic spaces which are not 2-point homogeneous spaces. A manifold is said to be Cartan-Hadamard if it is a complete simply connected Riemannian manifold with nonpositive curvature. A Cartan-Hadamard manifold is said to be asymptotically harmonic if its horospheres have constant mean curvature \(h\). In the present paper, the authors examine Cartan-Hadamard manifolds of strictly negative curvature which are asymptotically harmonic (such manifolds are topologically \(\mathbb{R}^n\) so the topology plays no role and only the geometry is at issue). They establish rigidity under suitable curvature bounds, determine the volume entropy and the spectrum. When the curvature is negatively pinched, they find sharp upper and lower bounds for the volume growth of the horospheres. Other properties of the asymptotic geometry are studied as well. \S1 of the paper introduces the matter at hand and \S2 establishes notational conventions treating the Hessian and Laplacian of Busemann functions and the Riccati equation. \S3 deals with comparisons of spheres on Cartan-Hadamard manifolds with the constant sectional curvature case. In \S4, the authors turn to asymptotically harmonic Cartan-Hadamard manifolds discussing the entropy and the spectrum, rigidity, the growth of horospheres, and the mean value property. \S5 deals with the asymptotic behavior of the volume form. The asymptotic volume-density function is studied and a characterization of asymptotic harmonicity is given. \S6 treats the Margulis function and visual and harmonic measures.
0 references
0 references
0 references
0 references
0 references
0 references
submanifold
0 references
isoperimetric inequality
0 references
Sobolev inequality
0 references
optimal transportation
0 references
asymptotically harmonic manifolds
0 references
spectrum
0 references
asymptotic geometry
0 references
Cartan-Hadamard manifold
0 references
horosphere
0 references
Riccati equation
0 references
Margulis function
0 references
Busemann function
0 references
Laplacian
0 references
visual and harmonic measures
0 references
rigidity
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references