Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Geometric characterizations of ${\sf PI}$ spaces: an overview of some modern techniques

Emanuele Caputo

TL;DR

The article surveys how doubling metric measure spaces with a $1$-Poincaré inequality ($1$-PI) can be characterized through both dimension-1 (pencil of curves, modulus, obstacle-avoidance) and codimension-1 (separating sets, relative isoperimetric inequalities) geometric$data. It presents two complementary frameworks: a pencil-of-curves/modulus approach and an energy/separating-sets approach, establishing their equivalence and then tying them together via geometric tools like the position function. A Euclidean toy-model demonstration and detailed analysis of separating-set energies in terms of the Riesz kernel and Minkowski content illustrate how these analytic and geometric perspectives yield PI, along with a suite of open questions. The discussion extends to the interplay between obstacle-avoidance and separating sets, and to potential extensions to MCP and GCBA spaces, outlining conditions and constructions that may produce new PI spaces. Overall, the work highlights deep links between variational, geometric measure-theoretic, and metric-analytic methods in the study of non-smooth spaces satisfying a $1$-Poincaré inequality.

Abstract

We survey recent results on the study of metric measure spaces satisfying a Poincaré inequality. We overview recent characterizations in terms of objects of dimension 1, such as pencil of curves, modulus estimates and obstacle-avoidance principles. Then, we turn our attention to characterizations in terms of objects of codimension 1, such as relative isoperimetric inequalities and separating sets, the last one obtained in collaboration with N. Cavallucci in [arXiv:2401.02762]. We propose a strategy to provide examples using our characterization in the toy-model of the Euclidean case. We also discuss a more geometric relation between separating sets and obstacle-avoidance principles, obtained in [IMRN, Vol. 2025, Issue 1, Jan. 2025, rnae276]. Finally, we recall some open questions in the field.

Geometric characterizations of ${\sf PI}$ spaces: an overview of some modern techniques

TL;DR

The article surveys how doubling metric measure spaces with a -Poincaré inequality (-PI) can be characterized through both dimension-1 (pencil of curves, modulus, obstacle-avoidance) and codimension-1 (separating sets, relative isoperimetric inequalities) geometric1$-Poincaré inequality.

Abstract

We survey recent results on the study of metric measure spaces satisfying a Poincaré inequality. We overview recent characterizations in terms of objects of dimension 1, such as pencil of curves, modulus estimates and obstacle-avoidance principles. Then, we turn our attention to characterizations in terms of objects of codimension 1, such as relative isoperimetric inequalities and separating sets, the last one obtained in collaboration with N. Cavallucci in [arXiv:2401.02762]. We propose a strategy to provide examples using our characterization in the toy-model of the Euclidean case. We also discuss a more geometric relation between separating sets and obstacle-avoidance principles, obtained in [IMRN, Vol. 2025, Issue 1, Jan. 2025, rnae276]. Finally, we recall some open questions in the field.

Paper Structure

This paper contains 18 sections, 12 theorems, 58 equations, 5 figures.

Table of Contents

  1. Introduction
  2. Structure of the overview
  3. Preliminaries
  4. Pointwise estimates
  5. Characterizations in terms of objects of dimension 1
  6. Pencil of curves
  7. Modulus estimates
  8. Obstacle-avoidance principle
  9. Characterizations in terms of objects of codimension 1
  10. Energy of separating sets
  11. A proof in Rd via separating sets
  12. Relative isoperimetric inequality
  13. A more geometric relation between obstacle-avoidance principle and energy of separating sets
  14. Explanation of the geometric idea behind the proof of Theorem \ref{['thm:main_theorem_CC2']}
  15. The position function and the proof of Theorem \ref{['thm:main_theorem_CC2']}
  16. ...and 3 more sections

Key Result

Proposition 2.1

Let $({\rm X},{\sf d},\mathfrak m)$ be a doubling metric measure space. The following are quantitatively equivalent: The same inequality equivalently holds for the couple $(u,g)$ replacing $(u, {\rm lip} u)$, where $g$ is an upper gradient of $u$.

Figures (5)

  • Figure 2: Computation in the toy-example of ${\rm X}=\mathbb{R}^d$ and $A=B_r(x)$.
  • Figure 3: Example of the setting.
  • Figure 4: The picture gives an informal explanation of the proof of the Theorem in the the toy example of the two dimensional Euclidean case for a specific choice of $x,y$ and unbounded $D$ in the definition of separating ratio.
  • Figure 5: Fix the pair of points $x,y$ in the plane. Then consider the unbounded sets $C$ and $D$. Both of them satisfy the assumption of Proposition \ref{['prop:level_set_position_function']}. The blue lines represent a level set of the position function for $t \in [0,{\rm width}(A)]$, while the red one for $t > {\rm width}(A)$.
  • Figure 6: Example of gluings in the 2-dimensional case.

Theorems & Definitions (24)

  • Definition 1.1: ${\sf PI}$ space
  • Proposition 2.1: Hei01
  • Proposition 3.1
  • Definition 3.2: Pencil of curves Hei01Semmes
  • Theorem 3.3: Characterization 1, DurCarErikBiqueKorteShanmu21FasslerOrponen19
  • Theorem 3.5: Characterization 2, Kei03
  • proof
  • Definition 3.6: $A_1$-connectdness ErikssonBique2019II
  • Definition 3.7: Maximal connectivity Sylvester-Gong-21
  • Proposition 3.8
  • ...and 14 more