Isoperimetric inequality on a metric measure space and Lipschitz order with an additive error

DOI10.1007/S12220-021-00773-3MaRDI QIDQ2074488zbMATH OpenOpenAlexFDO

Authors Hiroki Nakajima

Publication date 10 February 2022

Published in The Journal of Geometric Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1902.07424

zbMATH Keywords

1-measurement\(l^1\)-Minkowski distanceconcentration of measure phenomenonconcentration topologyisoperimetric inequalityLipschitz ordermetric measure spaceobservable diameterobservable distancetorus with \(l^1\)-Minkowski metric

Mathematics Subject Classification ID

Global Riemannian geometry, including pinching (53C20) Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces (53C23)

Abstract: M. Gromov introduced the Lipschitz order relation on the set of metric measure spaces and developed a rich theory. In particular, he claimed that an isoperimetric inequality on a non-discrete space is represented by using the Lipschitz order. We relax the definition of the Lipschitz order allowing an additive error to relate with an isoperimetric inequality on a discrete space. As an application, we obtain an isoperimetric inequality on the non-discrete $n$-dimensional $l^1$-cube by taking the limits of an isoperimetric inequality of the discrete $l^1$-cubes.

Review text

Isoperimetric inequalities are interesting geometric inequalities, and have been studied in various cases, e.g., Riemannian manifolds, and metric measure spaces with lower Ricci curvature bounds etc. For example, the classical Lévy isoperimetric inequality asserts that if \(\Omega\) is a domain in the standard sphere \(S^n\), and \(B_\Omega\) is the metric ball with \(m(\Omega)=m(B_\Omega)\) where \(m\) denotes the Riemannian measure, then their \(r\)-neighbourhoods satisfy \( m(U_r(\Omega))\geq m(U_r(B_\Omega)),\) for any \(r>0\). This paper proves isoperimetric inequalities on the \(n\)-dimensional cubes and the \(n\)-torus equipped with the \(l^1\)-metric. One of the main theorems shows that if \(\Omega\) is a domain in the \(l^1\)-torus \(T^n\), and \(B_\Omega\subset T^n\) is the metric ball with \(m(\Omega)=m(B_\Omega)\), then \[ m(U_r(\Omega))\geq m(U_r(B_\Omega)),\] for any \(r>0\). These isoperimetric inequalities are proved by taking the limits of isoperimetric inequalities of discrete \(l^1\)-cubes and \(l^1\)-tori under the so-called concentrate topology. The main technical result is the stability of isoperimetric inequalities with respect to the concentrate topology. The method builds on generalising the notion of the Lipschitz order introduced by Gromov.

Recommendations

• Isoperimetric inequalities in metric measure spaces [after F. Cavalletti \& A. Mondino]
• Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds
• From concentration to isoperimetry: semigroup proofs
• Isoperimetric inequality under measure-contraction property
• Isoperimetric inequalities for finite perimeter sets under lower Ricci curvature bounds

Cites work

• An isoperimetric inequality on the \(\ell _p\) balls
• An Isoperimetric Inequality on the Discrete Torus
• Compressions and isoperimetric inequalities
• Concentration of measure and isoperimetric inequalities in product spaces
• Crystalline variational problems
• scientific article; zbMATH DE number 4011191 (Why is no real title available?)
• scientific article; zbMATH DE number 3778409 (Why is no real title available?)
• scientific article; zbMATH DE number 3545969 (Why is no real title available?)
• scientific article; zbMATH DE number 2152346 (Why is no real title available?)
• scientific article; zbMATH DE number 1909499 (Why is no real title available?)
• scientific article; zbMATH DE number 3349081 (Why is no real title available?)
• Isoperimetric constants for product probability measures
• Isoperimetric rigidity and distributions of 1-Lipschitz functions
• Isoperimetry of waists and concentration of maps
• Metric measure geometry. Gromov's theory of convergence and concentration of metrics and measures
• Metric structures for Riemannian and non-Riemannian spaces. Transl. from the French by Sean Michael Bates. With appendices by M. Katz, P. Pansu, and S. Semmes. Edited by J. LaFontaine and P. Pansu
• Probability Inequalities for Sums of Bounded Random Variables
• Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds
• Sharp quantitative isoperimetric inequalities in the L^1 Minkowski plane
• The Brunn-Minkowski inequality in Gauss space
• The concentration of measure phenomenon
• The dimension of almost spherical sections of convex bodies
• The maximum of the 1-measurement of a metric measure space
• Unconditional and symmetric sets in \(n\)-dimensional normed spaces
• Unique isoperimetric foliations of asymptotically flat manifolds in all dimensions

Cited in

(1)

• An isoperimetric method in additive theory

This page was built for publication: Isoperimetric inequality on a metric measure space and Lipschitz order with an additive error

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2074488)