Pith. sign in

REVIEW 3 major objections 4 minor 46 references

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

T0 review · 3 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read On doubling, path-connected, locally quasiconvex metric measure spaces, the obstacle-avoidance ratio and the weighted Minkowski content of separating sets are quantitatively equivalent without a Poincaré inequality.

desk verdict A useful survey of recent PI-space characterizations; the expository value is real, but the Euclidean toy proof has a sign error and the proof sketch of Theorem 5.2 overclaims its Lipschitz constant. read the letter →

arxiv 2501.19132 v1 pith:RKB67KCM submitted 2025-01-31 math.MG math.FA

Emanuele Caputo This is my paper · ORCID
classification math.MGmath.FA MSC 30L1553C2349J52
keywords PoincaréinequalitymetricmeasurespacesseparatingsetsobstacleavoidanceRieszkernelMinkowskicontentpencilofcurvesrelativeisoperimetric
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This survey argues that the analytic condition defining PI spaces—doubling together with a 1-Poincaré inequality—can be captured by purely geometric quantities: families of curves that connect points efficiently (pencils of curves, modulus, obstacle avoidance) and boundaries of sets that separate points (relative isoperimetric inequalities, separating-set energies). It records that two ostensibly different geometric measurements—how much a closed set obstructs curves joining two points, and the weighted Minkowski content of sets separating the two points—are quantitatively the same on doubling, path-connected, locally quasiconvex spaces, without invoking the Poincaré inequality. The equivalence is built from the position function, which fibers a closed set into boundaries of separating sets. The survey closes by using the separating-set criterion as a strategy to verify the Poincaré inequality in model examples, with the Euclidean case worked out in detail.

What carries the argument

Two objects carry the argument. First, the Riesz kernel with poles at $x,y$, $R_{x,y}(z)=d(x,z)/m(B_{d(x,z)}(x))+d(y,z)/m(B_{d(y,z)}(y))$, truncated and turned into the measure $m^L_{x,y}$; under doubling it is finite with total mass comparable to $L\,d(x,y)$, and it supplies the weights in both the obstacle-avoidance and separating-set conditions. Second, the position function $\mathrm{pos}_A$, which assigns to each point $z$ the least length a curve from $x$ to $y$ spends inside $A$ before first reaching $z$; under local $\Lambda$-quasiconvexity it is $\Lambda$-Lipschitz, and its sublevel sets $\{\mathrm{pos}_A\le t\}$ are separating sets from $x$ to $y$. The coarea inequality for the Minkowski content with respect to $m^L_{x,y}$ is the mechanism that converts bounds on the separating ratio of $A$ into bounds on the weighted Minkowski content of separating sets, and vice versa.

What would settle it

Take a doubling, path-connected metric measure space that is not locally quasiconvex, for example a space with a sequence of thinner and thinner bottlenecks accumulating at a point, and compute the two infima in Theorem 5.2 for a pair $x,y$ separated by the bottleneck. If the separating-ratio infimum is not within the factor $\Lambda$ of the weighted Minkowski content infimum, or if in a locally geodesic case the exact equality fails for a concrete pair, the theorem is false.

Watch

Extended reading notes

Core claim

The central claim, stated as Theorem 5.2, is that for a doubling, path-connected, locally $\Lambda$-quasiconvex metric measure space and any pair of points $x,y$, the infimum over closed sets $A$ of the separating ratio $\mathrm{SR}_{x,y}(A)=m^L_{x,y}(A)/\mathrm{width}_{x,y}(A)$ lies between $\Lambda^{-1}$ and $1$ times the infimum over separating sets $\Omega$ of the weighted Minkowski content $(m^L_{x,y})^+(\Omega)$. In the path-connected, locally geodesic case the two infima agree exactly. The proof's engine is the position function $\mathrm{pos}_A(z)$, the infimum over curves from $x$ to $y$ of the length spent inside $A$ before first reaching $z$; under local $\Lambda$-quasiconvexity $\mathrm{pos}_A$ is $\Lambda$-Lipschitz, and its sublevel sets $\{\mathrm{pos}_A\le t\}$ are separating sets. A coarea inequality for the weighted Minkowski content then converts the total mass of $A$ into an average of boundary contents, yielding the comparison. The paper also surveys and sketches the known characterizations of PI spaces in terms of pencils of curves, modulus estimates, obstacle avoidance, relative isoperimetric inequalities, and perimeter, codimension-1 Hausdorff measure, and Minkowski content energies of separating sets.

Load-bearing premise

The equivalence depends on the space being path-connected and locally $\Lambda$-quasiconvex, which makes the position function $\Lambda$-Lipschitz and turns its level sets into separating sets; without enough quasiconvexity, the two infima can drift apart.

Editorial extensions

If this is right

  • If Theorem 5.2 is correct, checking 1-set-connectedness (obstacle avoidance) for a candidate space reduces to checking uniform lower bounds on the weighted Minkowski content of separating sets, or the reverse.
  • On path-connected locally geodesic spaces, the exact equality of the two infima means any quantitative statement proved for separating sets transfers verbatim to obstacle-avoidance ratios, with no loss of constants.
  • The survey's Theorem 5.1 and Theorem 4.3 imply that a doubling space is a PI space if and only if every separating set carries at least a fixed weighted boundary energy, so bottlenecks—sets that separate with little weighted boundary—are the only obstruction to the 1-Poincaré inequality.
  • The Euclidean toy-model computation shows the separating-set criterion can certify the Poincaré inequality directly, in the spirit of using the criterion to build new examples; the paper points to the Heisenberg group as the target application.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An implicit consequence is that the position-function method may extend to $p$-Poincaré inequalities by weighting the Riesz kernel with a $p$-moment; the paper keeps to the 1-Poincaré case, but the slicing and coarea structure is not tied to $p=1$.
  • The equality in the geodesic case suggests a practical diagnostic: in any geodesic doubling space, discrepancies between the two infima quantify the failure of local quasiconvexity rather than the failure of the Poincaré inequality.
  • For spaces with measure contraction property or upper curvature bounds, Theorem 5.2 gives a route to the paper's open problems: produce separating sets with uniformly positive weighted Minkowski content, and the 1-Poincaré inequality follows without a separate analytic proof.
  • A testable extension is to compute both infima explicitly on the Heisenberg group; agreement within the predicted factor would confirm the position-function mechanism in a sub-Riemannian setting where the Euclidean computation does not apply.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper is a survey of recent geometric characterizations of doubling metric measure spaces satisfying a 1-Poincaré inequality ('PI spaces'). It reviews dimension-1 characterizations (pencils of curves, modulus estimates, obstacle-avoidance and 1-set-connectedness) and codimension-1 characterizations (relative isoperimetric inequalities, perimeter, Minkowski content, and codimension-1 Hausdorff measure of separating sets). The main new material is the author's work with Cavallucci: Theorem 4.3 lists several quantitatively equivalent boundary-energy conditions for PI spaces; Theorem 5.1 proves the equivalence between PI, 1-set-connectedness, and the (BMC) Minkowski-content condition; and Theorem 5.2 claims a direct quantitative comparison, depending only on a local quasiconvexity constant, between the infimum of the separating ratio and the weighted Minkowski content of separating sets. A Euclidean computation is given as a toy model, and Section 6 lists open problems on MCP(0,N) spaces and GCBA spaces.

Significance. If the claims hold, the survey provides a useful map of an active area and highlights the bridge between curve-family conditions and separating-set conditions. The explicit quantitative statements in Theorem 5.2 and the idea of comparing obstacle-avoidance and Minkowski content without passing through a Poincaré inequality are valuable and well motivated. The survey is also honest about provenance: the main codimension-1 characterization is quoted from the unpublished preprint [CC24b], and the proof of Theorem 5.2 is a sketch from [CC24a]. This limits independent verification but is normal for a proceedings-style survey. The paper contains no machine-checked proofs or code, but its organization and the precise formulation of the relevant constants are helpful for readers wishing to consult the original papers.

major comments (3)
  1. [Section 4.2, Eq. (9)] The proof of the first inequality in Theorem 5.2 upgrades Proposition 5.4(iv) to the statement that pos_A is Λ-Lipschitz on X. Proposition 5.4(iv) only gives local Λ-Lipschitz regularity; a locally Λ-Lipschitz function on the compact support of m^L_{x,y} need not be Λ-Lipschitz globally. A finite-chain argument would give a constant depending on the local radii and on the number of chain steps, and in general that constant can be strictly larger than Λ. The proof also invokes item (iii), lip pos_A = 0 on A^c, which is stated under pointwise quasiconvexity; local Λ-quasiconvexity probably implies the required pointwise property, but the implication is not spelled out. In addition, the coarea inequality used to estimate the integral of (m^L_{x,y})^+({pos_A ≤ t}) by ∫ lip pos_A dm^L_{x,y} may carry a multiplicative constant that is not specified. As written, the exposition does not establish the advertised constant Λ^{-1}; it only suggests a constant depending on (X,d) and on the compact support of the Riesz measure. The qualitative equivalence may still be true, but the quantitative claim needs repair.
  2. [Section 4.2] Equation (9) has a sign inconsistency. With G_x defined as in the text, ∇G_x(z) = (x-z)/(d ω_d |x-z|^d) and the exterior unit normal to ∂B_r(x) at z is (z-x)/r, so the integrand d⟨∇G_x, ν_{∂B_r(x)}⟩ equals -R_x(z), not +R_x(z). The subsequent display beginning with '0 = ∫_{Ω ∩ B^L_{x,y} \setminus B_r(x)} ΔG_x dL^d' uses the displayed orientation in a way that is therefore inconsistent. The argument may be repairable by taking absolute values or by choosing the inward normal, but as written the Euclidean computation does not prove the claimed lower bound c_0/2.
  3. [Section 4.1 / Section 5] Theorem 4.3, the central characterization of Section 4, is quoted from the unpublished preprint [CC24b], and the (iv)⇒(i) direction of Theorem 5.1 is justified only by 'repeat the argument of Theorem 4.3'. Since Theorem 4.3 is load-bearing for the survey's claims about separating sets and since [CC24b] is not yet published, the current manuscript does not allow the reader to verify these central implications from the survey alone. For a survey this is not fatal, but the paper should state explicitly which implications are proved here and which are taken from [CC24b]; it would also be desirable to include the actual coarea argument for the (iv)⇒(i) step rather than referring to the preprint.
minor comments (4)
  1. [Example 3.11] The displayed computation ∫_0^r ω_{d-1} s^{1-d} H^{d-1}(∂B_s(x)) ds = (ω_{d-1}/ω_d) r does not follow from the definitions given: with m(B_r) = ω_d r^d and R_x(z) = 1/(ω_d |x-z|^{d-1}), the coarea integral evaluates to d r. Please check the constant and the role of ω_{d-1}.
  2. [Section 5.1] The averaging formula (1/N) ∑_i SR_{x,y}(R_i) = SR_{x,y}(R) is stated as 'trivial' for the Euclidean rectangles in the figure. In a metric-space proof this is only a heuristic analogy, since the rigorous argument in Section 5.2 uses coarea and the position function rather than this discrete formula. It would help to label the paragraph as heuristic, especially because the notation SR_{x,y} is introduced only later.
  3. [Section 5.2] The notation Γ^{Λ_x}_{x,y} in the bullet list is introduced without an explicit definition; the reader has to infer from the earlier Γ^L_{x,y} that it means the set of Λ_x-quasigeodesics from x to y. Please define it explicitly.
  4. [General] There are several small typos and formatting issues, including 'over view' in the title line, 'semplification' in Section 4.2, and the figure captions referencing objects (e.g., 'separating ratio' in Figure 4) that are defined later. These should be cleaned up in the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the survey's central theorems are self-cited but are stated with assumptions independent of their conclusions, and the proof sketches reduce to distinct analytic inputs, not to the target claims.

full rationale

This is an overview of the author's own recent results, so self-citation is frequent; however, the derivation chain is not circular. Theorem 5.1 is established by combining the pencil-of-curves characterization (an external result attributed to [DCEBKS21] and [FO19]) with a coarea inequality for Minkowski content; the implication (iv) implies (i) is delegated to the same coarea/superlevel-set argument used in Theorem 4.3, whose hypotheses do not assume the conclusion. Theorem 5.2 is the only place where the argument could reduce to an identity: the proof uses Proposition 5.4 to produce a Lipschitz position function with lip pos_A = 0 off A and then applies coarea. This is a substantive geometric reduction rather than a definitional equality, because the separating-ratio infimum and the weighted Minkowski-content infimum are different functionals and the quasiconvexity constant Lambda enters through the Lipschitz bound. The reliance on [CC24a, Proposition 5.4] is a self-citation, but the proposition is stated with explicit connectivity hypotheses that do not include the target inequality, so the citation carries independent content. The Euclidean toy-model computation in Section 4.2 is an independent check using the explicit Green function and the identity |grad G_x| = (d-1) R_x, not a restatement of the conclusion. The skeptic's concern that local Lambda-quasiconvexity may only give a larger global Lipschitz constant is a rigor gap in the exposition of Theorem 5.2, not a circularity; no quoted equation in the paper exhibits either side of the theorem as an input to the other.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper is pure mathematics, so there are no data-fitted free parameters. The central claims rest on standard background results (minimax theorem, max-flow min-cut, coarea inequalities, doubling measure assumptions) and on domain assumptions such as local quasiconvexity. No new physical or empirical entities are introduced; the position function is a mathematical tool defined and proved in the cited prior work.

assumptions (6)
  • standard math The equivalence between the Poincaré inequality and the pointwise estimate (PtPI) stated in Proposition 2.1, credited to Heinonen.
    Used throughout to pass from the PI condition to integral estimates against the Riesz measure.
  • standard math Sion's minimax theorem (Theorem 3.4).
    Used in the proof sketch of the pencil of curves characterization.
  • standard math Ford-Fulkerson max-flow min-cut theorem.
    Used in the discrete proof of the pencil of curves result from [FO19].
  • standard math Coarea inequalities for perimeter, codimension-1 Hausdorff measure, and Minkowski content.
    Used to derive the Poincaré inequality from separating-set energy bounds, particularly in Section 5.
  • domain assumption The standing assumption that the measure m is doubling on the metric measure space.
    All characterizations are stated for doubling metric measure spaces, as in Definition 1.1.
  • domain assumption Local Λ-quasiconvexity and path-connectedness in Theorem 5.2.
    Needed for the Lipschitz regularity of the position function (Proposition 5.4) and for the existence of connecting curves with controlled length.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Geometric characterizations of ${\sf PI}$ spaces: an overview of some modern techniques." pith.science (2026). https://pith.science/paper/RKB67KCM

@misc{pith2026250119132,
  author       = {Pith},
  title        = {Pith review of: Geometric characterizations of $\sf PI$ spaces: an overview of some modern techniques},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RKB67KCM}},
  note         = {Machine review of arXiv:2501.19132}
}
read the original abstract

We survey recent results on the study of metric measure spaces satisfying a Poincar\'e 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.

Figures

Figures reproduced from arXiv: 2501.19132 by the authors.

Figure 1
Figure 1. Example of the construction of the graph and of a cut S. We associate a capacity c : E → (0, ∞), defined as c(xi , xj ) := m(Bδ(xi)) δ d(x, xi) m(Bd(x,xi)(x)) + m(Bδ(xj )) δ d(y, xj ) m(Bd(y,xj )(y)) [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. Computation in the toy-example of X = R d and A = Br(x). every rectifiable curve connecting x to y that ‘travels once’ in a radial direction inside Br(x). Thus, widthx,y(Br(x)) = r. For what concerns the right-hand side, we compute with L = 1 m L x,y(Br(x)) = Z Br(x) Rx dL d + Z Br(x) Ry dL d = Z r 0 ωd −1 s 1−dHd−1 (∂Bs(x)) ds + Z Br(x) Ry dL d = ωd−1 ωd r + Z Br(x) RydL d ≥ ωd−1 ωd r. Notice that, for r approachin… view at source ↗
Figure 3
Figure 3. Example of the setting. We consider as a toy model the Euclidean space R d with d ≥ 2 (the arguments can be easily adapted to d = 1). We associate the metric measure space (R d , | · |,L d ), where | · | is the Euclidean distance and L d is the d-dimensional Lebesgue measure. We prove that R d is a PI space using the condition on separating sets. As we previously saw, in this specific case, the Riesz kernel takes th… view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: The picture gives an informal explanation of the proof of the Theo￾rem 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. 5.2. The position function and the proof of Theorem …
Figure 5
Figure 5. 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 5.3. The blue lines represent a level set of the position function for t ∈ [0, width(A)], while the red one for t > width(A). Next, we…
Figure 6
Figure 6. Figure 6: Example of gluings in the 2-dimensional case. Therefore, a more natural question would be to find a geometric condition on a n-dimensional GCBA space which characterizes the validity of a 1-Poincaré inequality [PITH_FULL_IMAGE:figures/full_fig_p025_6.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

46 extracted references · 35 canonical work pages

  1. [1]

    Equivalent definitions of bv space and of total variation on metric measure spaces

    Luigi Ambrosio and Simone Di Marino. Equivalent definitions of bv space and of total variation on metric measure spaces. Journal of Functional Analysis , 266(7):4150--4188, 2014

    work page 2014

  2. [2]

    Perimeter as relaxed M inkowski content in metric measure spaces

    Luigi Ambrosio, Simone Di Marino, and Nicola Gigli. Perimeter as relaxed M inkowski content in metric measure spaces. Nonlinear Anal. , 153:78--88, 2017

    work page 2017

  3. [3]

    urich. Birkh\

    Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar\'e. Gradient flows in metric spaces and in the space of probability measures . Lectures in Mathematics ETH Z\"urich. Birkh\"auser Verlag, Basel, second edition, 2008

    2008

  4. [4]

    Currents in metric spaces

    Luigi Ambrosio and Bernd Kirchheim. Currents in metric spaces. Acta Math. , 185(1):1--80, 2000

    work page 2000

  5. [5]

    Fine properties of sets of finite perimeter in doubling metric measure spaces

    Luigi Ambrosio. Fine properties of sets of finite perimeter in doubling metric measure spaces. volume 10, pages 111--128. 2002. Calculus of variations, nonsmooth analysis and related topics

    work page 2002

  6. [6]

    Measure contraction property and curvature-dimension condition on sub- F insler H eisenberg groups

    Samuël Borza, Mattia Magnabosco, Tommaso Rossi, and Kenshiro Tashiro. Measure contraction property and curvature-dimension condition on sub- F insler H eisenberg groups. arXiv:2402.14779 , 2024

    arXiv 2024

  7. [7]

    A note on the isoperimetric constant

    Peter Buser. A note on the isoperimetric constant. Ann. Sci. \'Ecole Norm. Sup. (4) , 15(2):213--230, 1982

    work page 1982

  8. [8]

    A G eometric A pproach to P oincaré I nequality and M inkowski C ontent of S eparating S ets

    Emanuele Caputo and Nicola Cavallucci. A G eometric A pproach to P oincaré I nequality and M inkowski C ontent of S eparating S ets. International Mathematics Research Notices , 2025(1):rnae276, 12 2024

    work page 2025

Show all 46 references
  1. [9]

    Poincar\' e inequality and energy of separating sets

    Emanuele Caputo and Nicola Cavallucci. Poincar\' e inequality and energy of separating sets. arXiv:2401.02762 , 2024

    2024 arXiv

  2. [10]

    Sobolev spaces via chains in metric measure spaces

    Emanuele Caputo and Nicola Cavallucci. Sobolev spaces via chains in metric measure spaces. arXiv:2408.15071 , 2024

    2024 arXiv

  3. [11]

    In preparation, 2025

    Emanuele Caputo, Nicola Cavallucci, and Pietro Wald. In preparation, 2025

    2025

  4. [12]

    J. Cheeger. Differentiability of L ipschitz functions on metric measure spaces. Geom. Funct. Anal. , 9(3):428--517, 1999

    1999

  5. [13]

    Packing and doubling in metric spaces with curvature bounded above

    Nicola Cavallucci and Andrea Sambusetti. Packing and doubling in metric spaces with curvature bounded above. Math. Z. , 300(3):3269--3314, 2022

    2022

  6. [14]

    Equivalence of two BV classes of functions in metric spaces, and existence of a S emmes family of curves under a 1- P oincar\' e inequality

    Estibalitz Durand-Cartagena, Sylvester Eriksson-Bique, Riikka Korte, and Nageswari Shanmugalingam. Equivalence of two BV classes of functions in metric spaces, and existence of a S emmes family of curves under a 1- P oincar\' e inequality. Adv. Calc. Var. , 14(2):231--245, 2021

    2021

  7. [15]

    Alternative proof of K eith- Z hong self-improvement and connectivity

    Sylvester Eriksson-Bique. Alternative proof of K eith- Z hong self-improvement and connectivity. Ann. Acad. Sci. Fenn. Math. , 44(1):407--425, 2019

    2019

  8. [16]

    Characterizing spaces satisfying P oincar\' e inequalities and applications to differentiability

    Sylvester Eriksson-Bique. Characterizing spaces satisfying P oincar\' e inequalities and applications to differentiability. Geom. Funct. Anal. , 29(1):119--189, 2019

    2019

  9. [17]

    Almost uniform domains and poincar \'e inequalities

    Sylvester Eriksson-Bique and Jasun Gong. Almost uniform domains and poincar \'e inequalities. Transactions of the London Mathematical Society , 8(1):243--298, 2021

    2021

  10. [18]

    Geometric measure theory , volume Band 153 of Die Grundlehren der mathematischen Wissenschaften

    Herbert Federer. Geometric measure theory , volume Band 153 of Die Grundlehren der mathematischen Wissenschaften . Springer-Verlag New York, Inc., New York, 1969

    1969

  11. [19]

    L. R. Ford, Jr. and D. R. Fulkerson. Flows in networks . Princeton Landmarks in Mathematics. Princeton University Press, Princeton, NJ, paperback edition, 2010. With a new foreword by Robert G. Bland and James B. Orlin

    2010

  12. [20]

    Metric currents and the P oincar\' e inequality

    Katrin F\" a ssler and Tuomas Orponen. Metric currents and the P oincar\' e inequality. Calc. Var. Partial Differential Equations , 58(2):Paper No. 69, 20, 2019

    2019

  13. [21]

    Lectures on analysis on metric spaces

    Juha Heinonen. Lectures on analysis on metric spaces . Universitext. Springer-Verlag, New York, 2001

    2001

  14. [22]

    Quasiconformal maps in metric spaces with controlled geometry

    Juha Heinonen and Pekka Koskela. Quasiconformal maps in metric spaces with controlled geometry. Acta Math. , 181(1):1--61, 1998

    1998

  15. [23]

    Sobolev met P oincar\' e

    Piotr Haj asz and Pekka Koskela. Sobolev met P oincar\' e . Mem. Amer. Math. Soc. , 145(688):x+101, 2000

    2000

  16. [24]

    Juha Heinonen, Pekka Koskela, Nageswari Shanmugalingam, and Jeremy T. Tyson. Sobolev spaces on metric measure spaces , volume 27 of New Mathematical Monographs . Cambridge University Press, Cambridge, 2015. An approach based on upper gradients

    2015

  17. [25]

    Geometric inequalities and generalized R icci bounds in the H eisenberg group

    Nicolas Juillet. Geometric inequalities and generalized R icci bounds in the H eisenberg group. Int. Math. Res. Not. IMRN , (13):2347--2373, 2009

    2009

  18. [26]

    Modulus and the poincar \'e inequality on metric measure spaces

    Stephen Keith. Modulus and the poincar \'e inequality on metric measure spaces. Mathematische Zeitschrift , 245:255--292, 2003

    2003

  19. [27]

    Relative isoperimetric inequalities and sufficient conditions for finite perimeter on metric spaces

    Riikka Korte and Panu Lahti. Relative isoperimetric inequalities and sufficient conditions for finite perimeter on metric spaces. Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire , 31(1):129--154, 2014

    2014

  20. [28]

    Lipschitz continuity of C heeger-harmonic functions in metric measure spaces

    Pekka Koskela, Kai Rajala, and Nageswari Shanmugalingam. Lipschitz continuity of C heeger-harmonic functions in metric measure spaces. J. Funct. Anal. , 202(1):147--173, 2003

    2003

  21. [29]

    T. J. Laakso. Ahlfors Q -regular spaces with arbitrary Q>1 admitting weak P oincar\'e inequality. Geom. Funct. Anal. , 10(1):111--123, 2000

    2000

  22. [30]

    A F ederer-style characterization of sets of finite perimeter on metric spaces

    Panu Lahti. A F ederer-style characterization of sets of finite perimeter on metric spaces. Calc. Var. Partial Differential Equations , 56(5):Paper No. 150, 22, 2017

    2017

  23. [31]

    Federer's characterization of sets of finite perimeter in metric spaces

    Panu Lahti. Federer's characterization of sets of finite perimeter in metric spaces. Anal. PDE , 13(5):1501--1519, 2020

    2020

  24. [32]

    Geodesically complete spaces with an upper curvature bound

    Alexander Lytchak and Koichi Nagano. Geodesically complete spaces with an upper curvature bound. Geom. Funct. Anal. , 29(1):295--342, 2019

    2019

  25. [33]

    Bilipschitz embeddings of metric spaces into space forms

    Urs Lang and Conrad Plaut. Bilipschitz embeddings of metric spaces into space forms. Geom. Dedicata , 87(1-3):285--307, 2001

    2001

  26. [34]

    Ricci curvature for metric-measure spaces via optimal transport

    John Lott and C\' e dric Villani. Ricci curvature for metric-measure spaces via optimal transport. Ann. of Math. (2) , 169(3):903--991, 2009

    2009

  27. [35]

    Functions of bounded variation on ``good'' metric spaces

    Michele Miranda, Jr. Functions of bounded variation on ``good'' metric spaces. J. Math. Pures Appl. (9) , 82(8):975--1004, 2003

    2003

  28. [36]

    Mackay, Jeremy T

    John M. Mackay, Jeremy T. Tyson, and Kevin Wildrick. Modulus and P oincar\'e inequalities on non-self-similar S ierpi\'nski carpets. Geom. Funct. Anal. , 23(3):985--1034, 2013

    2013

  29. [37]

    On the measure contraction property of metric measure spaces

    Shin-ichi Ohta. On the measure contraction property of metric measure spaces. Comment. Math. Helv. , 82(4):805--828, 2007

    2007

  30. [38]

    Decomposition of acyclic normal currents in a metric space

    Emanuele Paolini and Eugene Stepanov. Decomposition of acyclic normal currents in a metric space. J. Funct. Anal. , 263(11):3358--3390, 2012

    2012

  31. [39]

    Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of S turm

    Tapio Rajala. Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of S turm. J. Funct. Anal. , 263(4):896--924, 2012

    2012

  32. [40]

    Measure contraction properties of C arnot groups

    Luca Rizzi. Measure contraction properties of C arnot groups. Calc. Var. Partial Differential Equations , 55(3):Art. 60, 20, 2016

    2016

  33. [41]

    Function theory in the unit ball of C n , volume 241 of Grundlehren der Mathematischen Wissenschaften

    Walter Rudin. Function theory in the unit ball of C n , volume 241 of Grundlehren der Mathematischen Wissenschaften . Springer-Verlag, New York-Berlin, 1980

    1980

  34. [42]

    S. Semmes. Finding curves on general spaces through quantitative topology, with applications to S obolev and P oincar\'e inequalities. Selecta Math. (N.S.) , 2(2):155--295, 1996

    1996

  35. [43]

    On general minimax theorems

    Maurice Sion. On general minimax theorems. Pacific J. Math. , 8:171--176, 1958

    1958

  36. [44]

    On the geometry of metric measure spaces

    Karl-Theodor Sturm. On the geometry of metric measure spaces. I . Acta Math. , 196(1):65--131, 2006

    2006

  37. [45]

    On the geometry of metric measure spaces

    Karl-Theodor Sturm. On the geometry of metric measure spaces. II . Acta Math. , 196(1):133--177, 2006

    2006

  38. [46]

    Varopoulos

    Nicolas Th. Varopoulos. Fonctions harmoniques sur les groupes de L ie. C. R. Acad. Sci. Paris S\'er. I Math. , 304(17):519--521, 1987

    1987

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.