Pith. sign in

REVIEW 4 major objections 4 minor 99 references

Isoperimetric problems and lower bounds on curvature

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

Pith's one-line read The note argues that a single differential inequality—the sharp concavity of the isoperimetric profile under a Ricci lower bound—organizes much of isoperimetric comparison geometry, and it sketches how this inequality extends from compact m

desk verdict A transparent, well-organized survey of recent sharp isoperimetric comparison results under lower Ricci bounds, with the non-compact case of the main theorem honestly sketched rather than fully proved. read the letter →

arxiv 2509.18618 v2 pith:LERD6OY7 submitted 2025-09-23 math.DG

classification math.DG MSC 53C2153C2049Q20
keywords isoperimetricprofileRiccicurvaturelowerboundsharpconcavityinequalityspherecomparisonvolumenon-collapsedlimitspacesasymptoticratiostableminimalhypersurfaces
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

The note argues that a single differential inequality—the sharp concavity of the isoperimetric profile under a Ricci lower bound—organizes much of isoperimetric comparison geometry. It states and sketches a proof that on any complete Riemannian manifold with Ricci curvature at least k, the perimeter profile I(v) satisfies -I I'' ≥ k + (I')^2/(n-1) in the viscosity sense. From this one inequality, the sharp comparison with the round sphere and the Euclidean isoperimetric inequality on nonnegatively curved manifolds with positive asymptotic volume ratio follow by ODE comparison and convergence arguments. The technical crux is the noncompact case, where the proof relies on a sharp Laplacian comparison for distance to isoperimetric sets on limit spaces, which is only sketched.

What carries the argument

The isoperimetric profile I_M(v) = inf{P(E) : |E| = v} and the sharp concavity inequality -I I'' ≥ k + (I')^2/(n-1). For k=0 it says I^{n/(n-1)} is concave; the proof passes to isoperimetric boundaries, uses second variation with Ric(ν,ν) ≥ k, and in noncompact settings uses a sharp Laplacian comparison Δd_E ≤ H/(1 + H d_E/(n-1)) on the exterior of an isoperimetric set in non-collapsed Ricci limit spaces, together with localization into one-dimensional needles.

What would settle it

Find, on a complete non-compact manifold with Ric ≥ 0 and positive asymptotic volume ratio, a volume v where I_M^{n/(n-1)} is not concave (e.g., the second derivative changes sign), or exhibit an isoperimetric set E in a non-collapsed Ricci-limit space at a point where the viscosity Laplacian of d_E exceeds H/(1 + H d_E/(n-1)); either would refute the chain of reasoning.

Watch

Extended reading notes

Core claim

The central claim is inequality (3): for a complete Riemannian n-manifold with Ricci curvature at least k, the isoperimetric profile I_M satisfies -I_M I_M'' ≥ k + (I_M')^2/(n-1) in the viscosity sense. When k=0 this is equivalent to concavity of I_M^{n/(n-1)}. The note proves this in the compact case by second-variation of isoperimetric boundaries (with a singular-set perturbation for n≥8) and, for non-compact manifolds, reduces it to a sharp Laplacian comparison for the distance to isoperimetric sets on non-collapsed limit spaces. From this inequality the note derives the sharp isoperimetric inequality P(E) ≥ n(ω_n AVR(M))^{1/n} |E|^{(n-1)/n} on manifolds with Ric≥0 and positive asymptotic

Load-bearing premise

The noncompact case of the sharp concavity inequality rests on a sharp Laplacian comparison for distance to isoperimetric sets on non-collapsed Ricci-limit spaces (stated as (39)), whose proof is only sketched and mostly delegated to references; if that comparison fails, the concavity and the derived sharp isoperimetric inequality do not follow from the arguments presented.

Editorial extensions

If this is right

  • For a compact manifold with Ric ≥ k, the isoperimetric profile satisfies -I I'' ≥ k + (I')^2/(n-1); when k=0 this makes I^{n/(n-1)} concave, giving a sharp quantitative control on how perimeter grows with volume.
  • ODE comparison with the sphere profile yields the sharp isoperimetric comparison with the round sphere and the sharp volume bound |M| ≤ |S^n|, with rigidity if equality holds.
  • On nonnegatively curved manifolds with Euclidean volume growth, the sharp Euclidean isoperimetric inequality P(E) ≥ n(ω_n AVR)^{1/n} |E|^{(n-1)/n} holds, and equality forces M to be Euclidean space and E a ball.
  • A spectral generalization gives a weighted Bonnet–Myers theorem under a spectral condition, with consequences for the stable Bernstein problem in low dimensions.
  • Existence results follow: on surfaces of nonnegative sectional curvature and on nonnegatively curved manifolds with positive asymptotic volume ratio, isoperimetric sets exist for all or all sufficiently large volumes, while explicit examples show small volumes can fail.

Reading between the lines

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

  • If the sharp concavity inequality is taken as a synthetic formulation of lower Ricci bounds, it suggests a possible characterization of Ric ≥ k through isoperimetric profile concavity alone, analogous to curvature-dimension conditions—this is a plausible reformulation the note does not state explicitly.
  • The equality cases on model spaces hint that generic Ricci ≥ k manifolds have strictly concave isoperimetric profiles in the sense of I^{n/(n-1)}; one could test numerically whether the gap to equality in (3) controls the Gromov–Hausdorff distance to the model space.
  • The Laplacian comparison (39) is strong enough that, if established in full for non-smooth spaces with lower Ricci bounds, it would extend the Euclidean isoperimetric inequality (69) to that setting; the note states the extension but the proof is the limiting step.
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

4 major / 4 minor

Summary. This is a lecture-note survey (arXiv:2509.18618) on isoperimetric problems under lower Ricci curvature bounds. The central analytic claim is Theorem 5, the sharp concavity inequality (3) for the isoperimetric profile: -I''_M I_M >= k + (I'_M)^2/(n-1) in the viscosity sense. The compact cases of Theorem 5 are proved in detail by second variation, with a truncation argument when n >= 8. The non-compact case is reduced, via Theorem 10, to isoperimetric sets in non-collapsed Ricci-limit spaces, and then to Theorem 11, whose proof depends on the sharp Laplacian comparison (39), Delta d_E <= H/(1 + H d_E/(n-1)). The note then derives several consequences: Lévy-Gromov and Bishop-Gromov inequalities, a sharp isoperimetric inequality on Ric >= 0 manifolds with Euclidean volume growth (Theorem 12), and applications to the stable Bernstein problem. The Introduction explicitly says that many arguments are only sketched and that the text is intended as a motivating guide rather than a complete research paper.

Significance. If taken as a survey, the note is useful and well-organized: it collects classical and recent results, states precise open questions, and provides exercises. Its strengths include a fairly complete compact-case proof of Theorem 5, the ODE-comparison proofs of Lévy-Gromov and Bishop-Gromov, a second self-contained proof of the sharp isoperimetric inequality (69) via Brunn-Minkowski, and an unusually transparent discussion of which steps are deferred to the literature. The author also credits prior work explicitly. However, the non-compact case of Theorem 5 and the proof of Theorem 12 rest on Theorem 11, especially on the sharp Laplacian comparison (39), whose proof in Section 4.2.1 is only a road-map. Thus the note is not self-contained at its central load-bearing point, although the cited published papers may well supply the missing details.

major comments (4)
  1. [§4.2.1, proof of (39)] The decisive Step 2 is not a proof. The text derives only the adimensional bound (42), then asserts the decomposition (62), the representation (63), the needle inequalities (65)-(66), and the q-a.e. bound (67) as following from (63) and (42). The control of the singular part (Delta f)_sing and the passage from the measure-valued inequality (42) to the pointwise/q-a.e. bound on each needle are nontrivial and are simply referred to [43,17]. Since (39) is the input that makes the maximum of (37) at r=0 follow, and hence the concavity of I^{n/(n-1)} in Case 3 of Theorem 5 and the proof of Theorem 12, this is a load-bearing gap in the presented argument. The final 'standard Riccati comparison' is plausible once (65) and (67) are granted, but those are exactly the unproved steps. The note should either fill this gap or clearly state that Theorem 11 and (39) are imported from [13,17] and not pr
  2. [§3.1, Case 3 and §4.2, Proof of Case 3] The proof of Theorem 5 in the non-compact case is compressed into a short argument after Theorem 11. It relies on Theorem 10 (stated without proof), on the inequality I_X >= I_M (Exercise 11), and on transferring an affine tangent of I^{n/(n-1)} from the limit space X back to M. The last transfer is only sketched in three lines. For a survey this is acceptable if the role of each external theorem is clearly flagged, but as written the reader may mistake the sketch for a complete proof of Theorem 5 in full generality.
  3. [§4.2, Theorem 11] Theorem 11 also claims that the function in (37) achieves its maximum at r=0 on the whole real line, including negative r. The proof says only 'by exploiting the analogue of (39) inside E' without stating that analogue. Since E is not smooth and the distance to the complement is not a smooth function, this is another nontrivial step. It should be formulated explicitly and either proved or attributed to [13,17].
  4. [§5.1, Proof of Theorem 12, Case 2] The second case of Theorem 12 uses the equality I_X(v)=I_M(v) from Theorem 10 and the inequality AV_R(X) >= AV_R(M) delegated to Exercise 11. This makes the proof dependent on an exercise in a way that is somewhat unusual for a central theorem. If the note is meant to be self-contained, the AV_R comparison should be proved in the text; if not, the dependence should be explicit.
minor comments (4)
  1. [§2.1] The definition of the Hausdorff measure H^k(E) uses a double superscript notation 'H^k(E) := sup_{delta>0} H^k_delta(E) := sup ...' that is non-standard and slightly confusing; consider writing H^k_delta first and then H^k(E) = sup_delta H^k_delta(E).
  2. [§3.3] In the proof of Theorem 6, the step 'regularizing Ric, and using classical PDE analysis' is not elaborated; a precise reference or a few lines would help the reader.
  3. [§4.2.1, end of Step 2] The sentence 'H >= 0, otherwise the bound ... degenerates in finite time, contradicting the fact that E is bounded, and the space is non-compact' is cryptic. Please expand the argument or point to the place in [17] where this is justified.
  4. [General] The note would benefit from a table or list stating which results are proved in the text, which are proved only under extra assumptions, and which are quoted from the literature. Many statements are followed by sketches whose status is not always clear from the section heading alone.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the non-compact case invokes the author's own prior theorems, but those are stronger published results cited as external inputs, not consequences of the claim itself.

full rationale

The compact case of Theorem 5 is self-contained: the second-variation computation in Section 3.1, Cases 1 and 2, derives inequality (3) from the minimality of isoperimetric sets, Ric ≥ k, and the trace inequality |II|^2 ≥ H^2/(n−1), without importing the theorem being proved. The non-compact case is not proved from scratch: Section 3.1 Case 3 says 'The detailed proof is a bit technical... We will give a fairly complete sketch, by using the result in Theorem 11. The proof of such a result in an even more general setting is in [17].' Theorem 11 is stated as 'A–G [13] after A–Pa–Po-S [17, 16]', and its key input, the sharp Laplacian comparison (39), is asserted by 'By A–Pa–Po–S [17, Theorem 3.3]'. The subsequent road-map in Section 4.2.1 is explicitly only a sketch: Step 2 derives the adimensional bound (42), then invokes the decomposition (62)–(63), the needle inequalities (65)–(66), and the bound (67), concluding that '(39) then follow[s] from the standard Riccati comparison', leaving several steps to 'the reader' or to [17, 43]. This is a genuine completeness gap in the note, and the citations are to the author's own collaboration. However, it is not circularity: (39) is a stronger theorem whose stated assumptions (non-collapsed Ricci-limit or RCD(0,n) spaces) do not include the target inequality (3), and the cited published results provide independent proofs not reproduced in the note. No parameter is fitted to force the conclusion, and no result is defined into existence. The self-referential character is normal for lecture notes surveying the author's recent work, so the circularity score is low.

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

The note introduces no free parameters or invented entities. Its central arguments rest on standard theorems of geometric measure theory and on a chain of recent results about Ricci-limit spaces and isoperimetric profiles, several of which are due to the author and collaborators and are cited without complete proofs.

assumptions (7)
  • standard math Finite-perimeter set structure: essential boundary, generalized normal, coarea formula, approximation by smooth functions hold in the smooth and RCD settings (Section 2.1.1).
    Invoked to define isoperimetric profile and to perform variations; proofs are cited to Maggi, Ambrosio, Miranda, etc.
  • standard math Almgren-Bombieri-Morgan regularity: isoperimetric sets have smooth regular boundary with constant mean curvature and small singular set (Theorem 1).
    Used in the second variation computations in the proof of Theorem 5.
  • domain assumption CD/RCD condition encodes Ric >= K; complete Riemannian manifolds satisfy (R)CD(K,n) iff Ric >= K (Sturm, Lott-Villani, etc.).
    Bridges smooth Riemannian results to metric-measure setting; referenced in Section 2.3 and throughout.
  • standard math Bishop-Gromov volume monotonicity (21) and its perimeter analogue hold under Ric >= k.
    Used in Corollary 1, Theorem 12, Theorem 14, and to define AVR.
  • domain assumption Concentration-compactness Theorem 10: for noncompact Ric >= 0 manifolds with inf |B_1| > 0, either an isoperimetric set exists for volume v, or a Ricci-limit space at infinity contains one with the same profile value.
    Stated without proof (Section 4.1.1), deferred to A-F-Po [12] and A-Na-Po [14]; it is load-bearing for the non-compact case of Theorem 5 and for Theorem 14.
  • domain assumption Theorem 11 sharp Laplacian comparison (39) and monotonicity (38) for distance functions from isoperimetric sets in non-collapsed Ricci-limit spaces.
    Proved only as a sketch in Section 4.2.1 with steps left to reader; fundamental for the non-compact concavity proof and for Theorem 12.
  • domain assumption Sharp isoperimetric inequality Theorem 12 holds under Ric >= 0 and AVR > 0 (Agostiniani-Fogagnolo-Mazzieri, Brendle, Balogh-Kristaly, A-Pa-Po-S, etc.).
    Used in Theorem 14 and compared against the sharp profile growth.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Isoperimetric problems and lower bounds on curvature." pith.science (2026). https://pith.science/paper/LERD6OY7

@misc{pith2026250918618,
  author       = {Pith},
  title        = {Pith review of: Isoperimetric problems and lower bounds on curvature},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LERD6OY7}},
  note         = {Machine review of arXiv:2509.18618}
}
read the original abstract

This note surveys some classical results and recent developments on the interplay between lower curvature bounds and the isoperimetric problem. It is based on mini-courses given at the "European Doctorate School of Differential Geometry" (Granada, July 2024) and the summer school "Optimal transport, heat flow and synthetic Ricci bounds" (Chicago, June 2025).

Figures

Figures reproduced from arXiv: 2509.18618 by the authors.

Figure 1
Figure 1. Representation of the boundary ∂C. □ We finish with few more open questions. Question 7. Understand whether there exists a smooth complete Riemannian manifold (Mn , g) with Ric ⩾ 0, AVR > 0, and no isoperimetric sets. Question 8. Understand whether the following is true. Let (Mn , g) be a smooth complete Riemannian manifold with Sect ⩾ 0. Then isoperimetric sets exist for every sufficiently large volume. 13Observe: … view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

99 extracted references · 25 canonical work pages

  1. [17]

    Sharp isoperimetric comparison on non-collapsed spaces with lower Ricci bounds

    G. Antonelli, E. Pasqualetto, M. Pozzetta, and D. Semola. “Sharp isoperimetric comparison on non-collapsed spaces with lower Ricci bounds”. In: Ann. Sci. ´Ec. Norm. Sup´ er. (4)58.1 (2025), pp. 1–52. issn: 0012-9593,1873-2151

  2. [1]

    Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature

    V. Agostiniani, M. Fogagnolo, and L. Mazzieri. “Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature”. In: Invent. Math. 222.3 (2020), pp. 1033–1101. doi: 10.1007/s00222-020-00985-4

  3. [2]

    Uniqueness theorems for surfaces in the large. I

    A. D. Aleksandrov. “Uniqueness theorems for surfaces in the large. I”. In: Vestnik Leningrad. Univ. 11.19 (1956), pp. 5–17

  4. [3]

    Some fine properties of sets of finite perimeter in Ahlfors regular metric measure spaces

    L. Ambrosio. “Some fine properties of sets of finite perimeter in Ahlfors regular metric measure spaces”. In: Adv. Math. 159.1 (2001), pp. 51–67. issn: 0001-8708. doi: 10.1006/aima.2000.1963

  5. [4]

    Calculus, heat flow and curvature-dimension bounds in metric mea- sure spaces

    L. Ambrosio. “Calculus, heat flow and curvature-dimension bounds in metric mea- sure spaces”. In: Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. I. Plenary lectures . 2018, pp. 301–340

  6. [5]

    Ambrosio, E

    L. Ambrosio, E. Bru´ e, and D. Semola. Lectures on Optimal Transport. nd. Vol. 169. Unitext. La Matematica per il 3+2. Springer, Cham, 2024, pp. xi+260. doi: 10. 1007/978-3-031-76834-7

  7. [6]

    Rigidity of the 1-Bakry- ´Emery inequality and sets of finite perimeter in RCD spaces

    L. Ambrosio, E. Bru` e, and D. Semola. “Rigidity of the 1-Bakry- ´Emery inequality and sets of finite perimeter in RCD spaces”. In: Geom. Funct. Anal. 29.4 (2019), pp. 949–1001. doi: 10.1007/s00039-019-00504-5

  8. [7]

    Perimeter as relaxed Minkowski content in metric measure spaces

    L. Ambrosio, S. Di Marino, and N. Gigli. “Perimeter as relaxed Minkowski content in metric measure spaces”. In: Nonlinear Anal. 153 (2017), pp. 78–88. issn: 0362- 546X,1873-5215. doi: 10.1016/j.na.2016.03.010

Show all 99 references
  1. [8]

    Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below

    L. Ambrosio, N. Gigli, and G. Savar´ e. “Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below”. In: Invent. Math. 195.2 (2014), pp. 289–391

  2. [9]

    Metric measure spaces with Riemannian Ricci curvature bounded from below

    L. Ambrosio, N. Gigli, and G. Savar´ e. “Metric measure spaces with Riemannian Ricci curvature bounded from below”. In: Duke Math. J. 163.7 (2014), pp. 1405–

  3. [10]

    The rank-one theorem on RCD spaces

    G. Antonelli, C. Brena, and E. Pasqualetto. “The rank-one theorem on RCD spaces”. In: Anal. PDE 17.8 (2024), pp. 2797–2840. issn: 2157-5045,1948-206X. doi: 10 . 2140/apde.2024.17.2797

  4. [11]

    On the existence of isoperi- metric regions in manifolds with nonnegative Ricci curvature and Euclidean volume growth

    G. Antonelli, E. Bru` e, M. Fogagnolo, and M. Pozzetta. “On the existence of isoperi- metric regions in manifolds with nonnegative Ricci curvature and Euclidean volume growth”. In: Calc. Var. Partial Differential Equations 61.2 (2022), Paper No. 77,

  5. [12]

    The isoperimetric problem on Rie- mannian manifolds via Gromov-Hausdorff asymptotic analysis

    G. Antonelli, M. Fogagnolo, and M. Pozzetta. “The isoperimetric problem on Rie- mannian manifolds via Gromov-Hausdorff asymptotic analysis”. In: Commun. Con- temp. Math. 26.1 (2024), Paper No. 2250068, 58. issn: 0219-1997,1793-6683. doi: 10.1142/S0219199722500687

  6. [13]

    Nonexistence of isoperimetric sets in spaces of pos- itive curvature

    G. Antonelli and F. Glaudo. “Nonexistence of isoperimetric sets in spaces of pos- itive curvature”. In: J. Reine Angew. Math. 812 (2024), pp. 211–228. issn: 0075- 4102,1435-5345. doi: 10.1515/crelle-2024-0032

  7. [14]

    The isoperimetric problem via direct method in noncompact metric measure spaces with lower Ricci bounds

    G. Antonelli, S. Nardulli, and M. Pozzetta. “The isoperimetric problem via direct method in noncompact metric measure spaces with lower Ricci bounds”. In: ESAIM Control Optim. Calc. Var. 28 (2022), Paper No. 57, 32. issn: 1292-8119. doi: 10. 1051/cocv/2022052

  8. [15]

    Isoperimetric sets in spaces with lower bounds on the Ricci curvature

    G. Antonelli, E. Pasqualetto, and M. Pozzetta. “Isoperimetric sets in spaces with lower bounds on the Ricci curvature”. In: Nonlinear Anal. 220 (2022), Paper No. 112839, 59. issn: 0362-546X. doi: 10.1016/j.na.2022.112839. 34 REFERENCES

  9. [16]

    Asymptotic isoperimetry on non collapsed spaces with lower Ricci bounds

    G. Antonelli, E. Pasqualetto, M. Pozzetta, and D. Semola. “Asymptotic isoperimetry on non collapsed spaces with lower Ricci bounds”. In: Math. Ann. 389.2 (2024), pp. 1677–1730. issn: 0025-5831,1432-1807. doi: 10.1007/s00208-023-02674-y

  10. [18]

    Topological regularity of isoperimetric sets in PI spaces having a deformation property

    G. Antonelli, E. Pasqualetto, M. Pozzetta, and I. Y. Violo. “Topological regularity of isoperimetric sets in PI spaces having a deformation property”. In: Proc. Roy. Soc. Edinburgh Sect. A 155.2 (2025), pp. 611–633. issn: 0308-2105,1473-7124. doi: 10.1017/prm.2023.105

  11. [19]

    Isoperimetric problem and structure at infinity on Alexandrov spaces with nonnegative curvature

    G. Antonelli and M. Pozzetta. “Isoperimetric problem and structure at infinity on Alexandrov spaces with nonnegative curvature”. In: J. Funct. Anal. 289.4 (2025), Paper No. 110940, 75. issn: 0022-1236,1096-0783. doi: 10 . 1016 / j . jfa . 2025 . 110940

  12. [20]

    A note on the stable Bernstein theorem

    G. Antonelli and K. Xu. “A note on the stable Bernstein theorem”. Note available at https://services.math.duke.edu/ ~kx35/files/note_stable_bernstein.pdf . 2024

  13. [21]

    New spectral Bishop–Gromov and Bonnet–Myers theorems and applications to isoperimetry

    G. Antonelli and K. Xu. “New spectral Bishop–Gromov and Bonnet–Myers theorems and applications to isoperimetry”. In: arXiv:2405.08918 (2024)

  14. [22]

    Ballmann, M

    W. Ballmann, M. Gromov, and V. Schroeder. Manifolds of nonpositive curvature . Vol. 61. Progress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, 1985, pp. vi+263. isbn: 0-8176-3181-X. doi: 10.1007/978-1-4684-9159-3

  15. [23]

    Sharp isoperimetric and Sobolev inequalities in spaces with nonnegative Ricci curvature

    Z. Balogh and A. Krist´ aly. “Sharp isoperimetric and Sobolev inequalities in spaces with nonnegative Ricci curvature”. In: Math. Ann. 385.3-4 (2023), pp. 1747–1773. issn: 0025-5831,1432-1807. doi: 10.1007/s00208-022-02380-1

  16. [24]

    Stability of hypersurfaces with constant mean curvature

    J. L. Barbosa and M. do Carmo. “Stability of hypersurfaces with constant mean curvature”. In: Math. Z. 185.3 (1984), pp. 339–353. issn: 0025-5874,1432-1823. doi: 10.1007/BF01215045

  17. [25]

    Stability of hypersurfaces of con- stant mean curvature in Riemannian manifolds

    J. L. Barbosa, M. do Carmo, and J. Eschenburg. “Stability of hypersurfaces of con- stant mean curvature in Riemannian manifolds”. In: Math. Z. 197.1 (1988), pp. 123–

  18. [26]

    Sur le volume minimal de R2

    C. Bavard and P. Pansu. “Sur le volume minimal de R2”. In: Annales scientifiques de l’ ´Ecole Normale Sup´ erieure19.4 (1986), pp. 479–490

  19. [27]

    A differential inequality for the isoperimetric profile

    V. Bayle. “A differential inequality for the isoperimetric profile”. In: Int. Math. Res. Not. 7 (2004), pp. 311–342

  20. [28]

    Extensions of Schoen-Simon-Yau and Schoen-Simon theorems via iteration ` a la De Giorgi

    C. Bellettini. “Extensions of Schoen-Simon-Yau and Schoen-Simon theorems via iteration ` a la De Giorgi”. In: Invent. Math. 240.1 (2025), pp. 1–34. issn: 0020- 9910,1432-1297. doi: 10.1007/s00222-025-01317-0

  21. [29]

    Minimal cones and the Bernstein prob- lem

    E. Bombieri, E. De Giorgi, and E. Giusti. “Minimal cones and the Bernstein prob- lem”. In: Invent. Math. 7 (1969), pp. 243–268. issn: 0020-9910,1432-1297. doi: 10. 1007/BF01404309

  22. [30]

    H. L. Bray. The Penrose inequality in general relativity and volume comparison theorems involving scalar curvature . Thesis (Ph.D.)–Stanford University. ProQuest LLC, Ann Arbor, MI, 1997, p. 103. isbn: 978-0591-60594-5

  23. [31]

    The isoperimetric inequality for a minimal submanifold in Euclidean space

    S. Brendle. “The isoperimetric inequality for a minimal submanifold in Euclidean space”. In: J. Amer. Math. Soc. 34.2 (2021), pp. 595–603. issn: 0894-0347,1088-6834. doi: 10.1090/jams/969

  24. [32]

    Sobolev inequalities in manifolds with nonnegative curvature

    S. Brendle. “Sobolev inequalities in manifolds with nonnegative curvature”. In: Comm. Pure Appl. Math. 76.9 (2023), pp. 2192–2218. issn: 0010-3640,1097-0312. REFERENCES 35

  25. [33]

    Constancy of the dimension in codimension one and locality of the unit normal on RCD( K, N) spaces

    E. Bru´ e, E. Pasqualetto, and D. Semola. “Constancy of the dimension in codimension one and locality of the unit normal on RCD( K, N) spaces”. In: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 24.3 (2023), pp. 1765–1816. issn: 0391-173X,2036-2145. doi: 10.2422/2036-2145.202110\_007

  26. [34]

    Rectifiability of the reduced boundary for sets of finite perimeter over RCD( K, N) spaces

    E. Bru` e, E. Pasqualetto, and D. Semola. “Rectifiability of the reduced boundary for sets of finite perimeter over RCD( K, N) spaces”. In: J. Eur. Math. Soc. (JEMS) 25.2 (2023), pp. 413–465. issn: 1435-9855,1435-9863. doi: 10.4171/jems/1217

  27. [35]

    Burago, Y

    D. Burago, Y. Burago, and S. Ivanov. A course in metric geometry . Vol. 33. Gradu- ate Studies in Mathematics. American Mathematical Society, Providence, RI, 2001, pp. xiv+415. doi: 10.1090/gsm/033

  28. [36]

    An elementary regularity theory of minimal sur- faces

    L. A. Caffarelli and A. C´ ordoba. “An elementary regularity theory of minimal sur- faces”. In: Differential Integral Equations 6.1 (1993), pp. 1–13. issn: 0893-4983

  29. [37]

    Stable complete minimal surfaces in R3 are planes

    M. do Carmo and C. K. Peng. “Stable complete minimal surfaces in R3 are planes”. In: Bull. Amer. Math. Soc. (N.S.) 1.6 (1979), pp. 903–906. issn: 0273-0979,1088-

  30. [38]

    Two rigidity results for stable minimal hypersurfaces

    G. Catino, P. Mastrolia, and A. Roncoroni. “Two rigidity results for stable minimal hypersurfaces”. In: Geom. Funct. Anal. 34.1 (2024), pp. 1–18. issn: 1016-443X,1420-

  31. [39]

    Isoperimetric inequality in noncompact MCP spaces

    F. Cavalletti and D. Manini. “Isoperimetric inequality in noncompact MCP spaces”. In: Proc. Amer. Math. Soc. 150.8 (2022), pp. 3537–3548. issn: 0002-9939,1088-6826. doi: 10.1090/proc/15945

  32. [40]

    doi: 10.1007/s00526-022-02193-9

    issn: 0944-2669. doi: 10.1007/s00526-022-02193-9

  33. [41]

    The globalization theorem for the curvature-dimension condition

    F. Cavalletti and E. Milman. “The globalization theorem for the curvature-dimension condition”. In: Invent. Math. 226.1 (2021), pp. 1–137. issn: 0020-9910,1432-1297. doi: 10.1007/s00222-021-01040-6

  34. [42]

    Sharp and rigid isoperimetric inequalities in metric- measure spaces with lower Ricci curvature bounds

    F. Cavalletti and A. Mondino. “Sharp and rigid isoperimetric inequalities in metric- measure spaces with lower Ricci curvature bounds”. In: Invent. Math. 208.3 (2017), pp. 803–849

  35. [43]

    New formulas for the Laplacian of distance functions and applications

    F. Cavalletti and A. Mondino. “New formulas for the Laplacian of distance functions and applications”. In: Anal. PDE 13.7 (2020), pp. 2091–2147. issn: 2157-5045,1948- 206X. doi: 10.2140/apde.2020.13.2091

  36. [44]

    Differentiability of Lipschitz Functions on Metric Measure Spaces

    J. Cheeger. “Differentiability of Lipschitz Functions on Metric Measure Spaces”. In: Geometric & Functional Analysis GAF A 9.3 (1999), pp. 428–517. doi: 10.1007/ s000390050094

  37. [45]

    Rigidities of Isoperimetric inequality under nonnega- tive Ricci curvature

    F. Cavalletti and D. Manini. “Rigidities of Isoperimetric inequality under nonnega- tive Ricci curvature”. In: Accepted in J. Eur. Math. Soc. (2024). Preprint on arXiv, arXiv:2207.03423 (2022)

  38. [46]

    On the structure of spaces with Ricci curvature bounded below. I

    J. Cheeger and T. H. Colding. “On the structure of spaces with Ricci curvature bounded below. I”. In: J. Differential Geom. 46.3 (1997), pp. 406–480

  39. [47]

    Stable anisotropic minimal hypersurfaces in R4

    O. Chodosh and C. Li. “Stable anisotropic minimal hypersurfaces in R4”. In: Forum Math. Pi 11 (2023), Paper No. e3, 22. issn: 2050-5086. doi: 10.1017/fmp.2023.1

  40. [48]

    Stable minimal hypersurfaces in R4

    O. Chodosh and C. Li. “Stable minimal hypersurfaces in R4”. In: Acta Math. 233.1 (2024), pp. 1–31. issn: 0001-5962,1871-2509. doi: 10.4310/acta.2024.v233.n1.a1

  41. [49]

    Stable minimal hypersurfaces in R5

    O. Chodosh, Chao Li, P. Minter, and D. Stryker. “Stable minimal hypersurfaces in R5”. In: arXiv:2401.01492 (2024)

  42. [50]

    Lower bounds on Ricci curvature and the almost rigidity of warped products

    J. Cheeger and T. H. Colding. “Lower bounds on Ricci curvature and the almost rigidity of warped products”. In: Ann. of Math. (2) 144.1 (1996), pp. 189–237. doi: 10.2307/2118589

  43. [51]

    Characterization of tangent cones of noncollapsed limits with lower Ricci bounds and applications

    T. H. Colding and A. Naber. “Characterization of tangent cones of noncollapsed limits with lower Ricci bounds and applications”. In:Geom. Funct. Anal.23.1 (2013), pp. 134–148. doi: 10.1007/s00039-012-0202-7

  44. [52]

    Volumes of small balls on open manifolds: lower bounds and examples

    C. B. Croke and H. Karcher. “Volumes of small balls on open manifolds: lower bounds and examples”. In: Trans. Amer. Math. Soc. 309.2 (1988), pp. 753–762. doi: 10.2307/2000936

  45. [53]

    H. Federer. Geometric measure theory. Die Grundlehren der mathematischen Wis- senschaften, Band 153. Springer-Verlag New York Inc., New York, 1969, pp. xiv+676

  46. [54]

    The structure of complete stable minimal sur- faces in 3-manifolds of nonnegative scalar curvature

    D. Fischer-Colbrie and R. Schoen. “The structure of complete stable minimal sur- faces in 3-manifolds of nonnegative scalar curvature”. In: Comm. Pure Appl. Math. 33.2 (1980), pp. 199–211.issn: 0010-3640,1097-0312. doi: 10.1002/cpa.3160330206

  47. [55]

    Ricci curvature and volume convergence

    T. H. Colding. “Ricci curvature and volume convergence”. In: Ann. of Math. (2) 145.3 (1997), pp. 477–501. doi: 10.2307/2951841. 36 REFERENCES

  48. [56]

    In´ egalit´ es isop´ erim´ etriques et analytiques sur les vari´ et´ es riemanniennes

    S. Gallot. “In´ egalit´ es isop´ erim´ etriques et analytiques sur les vari´ et´ es riemanniennes”. In: 163-164. On the geometry of differentiable manifolds (Rome, 1986). 1988, pp. 5– 6, 31–91, 281

  49. [57]

    On the differential structure of metric measure spaces and applications

    N. Gigli. “On the differential structure of metric measure spaces and applications”. In: Mem. Amer. Math. Soc. 236.1113 (2015), pp. vi+91. issn: 0065-9266. doi: 10. 1090/memo/1113

  50. [58]

    N. Gigli. De Giorgi and Gromov working together. Preprint on arXiv, arXiv:2306.14604. 2023

  51. [59]

    Convergence of pointed non-compact metric measure spaces and stability of Ricci curvature bounds and heat flows

    N. Gigli, A. Mondino, and G. Savar´ e. “Convergence of pointed non-compact metric measure spaces and stability of Ricci curvature bounds and heat flows”. In: Proc. Lond. Math. Soc. (3) 111.5 (2015), pp. 1071–1129. doi: 10.1112/plms/pdv047

  52. [60]

    Minimising hulls, p-capacity and isoperimetric in- equality on complete Riemannian manifolds

    M. Fogagnolo and L. Mazzieri. “Minimising hulls, p-capacity and isoperimetric in- equality on complete Riemannian manifolds”. In:J. Funct. Anal. 283.9 (2022), Paper No. 109638, 49. issn: 0022-1236,1096-0783. doi: 10.1016/j.jfa.2022.109638

  53. [61]

    A note about the strong maximum principle on RCD spaces

    N. Gigli and C. Rigoni. “A note about the strong maximum principle on RCD spaces”. In: Canad. Math. Bull. 62.2 (2019), pp. 259–266. issn: 0008-4395. doi: 10.4153/cmb-2018-022-9

  54. [62]

    Groups of polynomial growth and expanding maps

    M. Gromov. “Groups of polynomial growth and expanding maps”. In: Inst. Hautes ´Etudes Sci. Publ. Math. 53 (1981), pp. 53–73. issn: 0073-8301,1618-1913

  55. [63]

    Needle decompositions in Riemannian geometry

    B. Klartag. “Needle decompositions in Riemannian geometry”. In: Mem. Amer. Math. Soc. 249.1180 (2017), pp. v+77. issn: 0065-9266,1947-6221. doi: 10.1090/ memo/1180

  56. [64]

    Isoperimetric inequalities in un- bounded convex bodies

    G. P. Leonardi, M. Ritor´ e, and E. Vernadakis. “Isoperimetric inequalities in un- bounded convex bodies”. In: Mem. Amer. Math. Soc. 276.1354 (2022), pp. 1–86. issn: 0065-9266,1947-6221. doi: 10.1090/memo/1354

  57. [65]

    On the notion of Laplacian bounds on RCD spaces and applications

    N. Gigli, A. Mondino, and D. Semola. “On the notion of Laplacian bounds on RCD spaces and applications”. In: Proc. Amer. Math. Soc. 152.2 (2024), pp. 829–841. issn: 0002-9939,1088-6826. doi: 10.1090/proc/16550

  58. [66]

    F. Maggi. Sets of finite perimeter and geometric variational problems . Vol. 135. Cambridge Studies in Advanced Mathematics. An introduction to geometric measure theory. Cambridge University Press, Cambridge, 2012, pp. xx+454. doi: 10.1017/ CBO9781139108133

  59. [67]

    Stable minimal hypersurfaces in R6

    L. Mazet. “Stable minimal hypersurfaces in R6”. In: arxiv:2405.14676 (2024)

  60. [68]

    A convexity principle for interacting gases

    R. J. McCann. “A convexity principle for interacting gases”. In: Adv. Math. 128.1 (1997), pp. 153–179. issn: 0001-8708,1090-2082. doi: 10.1006/aima.1997.1634. REFERENCES 37

  61. [69]

    Sobolev and mean-value inequalities on generalized submanifolds of Rn

    J. H. Michael and L. M. Simon. “Sobolev and mean-value inequalities on generalized submanifolds of Rn”. In: Comm. Pure Appl. Math. 26 (1973), pp. 361–379. issn: 0010-3640,1097-0312. doi: 10.1002/cpa.3160260305

  62. [70]

    Ricci curvature for metric-measure spaces via optimal trans- port

    J. Lott and C. Villani. “Ricci curvature for metric-measure spaces via optimal trans- port”. In: Ann. of Math. (2) 169.3 (2009), pp. 903–991. doi: 10.4007/annals.2009. 169.903

  63. [71]

    E. Milman. Isoperimetric Inequalities on Slabs with applications to Cubes and Gauss- ian Slabs . Preprint on arXiv, arXiv:2403.06602. 2024

  64. [72]

    Functions of bounded variation on “good

    M. Miranda Jr. “Functions of bounded variation on “good” metric spaces”. In: J. Math. Pures Appl. (9) 82.8 (2003), pp. 975–1004. doi: 10.1016/S0021-7824(03) 00036-9

  65. [73]

    Existence of isoperimetric regions in non-compact Riemannian manifolds under Ricci or scalar curvature conditions

    A. Mondino and S. Nardulli. “Existence of isoperimetric regions in non-compact Riemannian manifolds under Ricci or scalar curvature conditions”. In: Comm. Anal. Geom. 24.1 (2016), pp. 115–138

  66. [74]

    Weak Laplacian bounds and minimal boundaries on non smooth spaces with Ricci curvature lower bounds

    A. Mondino and D. Semola. “Weak Laplacian bounds and minimal boundaries on non smooth spaces with Ricci curvature lower bounds”. In: arXiv:2107.12344. Ac- cepted in Mem. Amer. Math. Soc. (2021)

  67. [75]

    Sharp isoperimetric inequalities and model spaces for the curvature- dimension-diameter condition

    E. Milman. “Sharp isoperimetric inequalities and model spaces for the curvature- dimension-diameter condition”. In: J. Eur. Math. Soc. (JEMS) 17.5 (2015), pp. 1041–

  68. [76]

    Generalized existence of isoperimetric regions in non-compact Rie- mannian manifolds and applications to the isoperimetric profile

    S. Nardulli. “Generalized existence of isoperimetric regions in non-compact Rie- mannian manifolds and applications to the isoperimetric profile”. In: Asian J. Math. 18.1 (2014), pp. 1–28

  69. [77]

    An optimal Poincar´ e inequality for convex domains

    L. E. Payne and H. F. Weinberger. “An optimal Poincar´ e inequality for convex domains”. In: Arch. Rational Mech. Anal. 5 (1960), pp. 286–292. issn: 0003-9527. doi: 10.1007/BF00252910

  70. [78]

    A complete Riemannian manifold of positive Ricci curvature with Euclidean volume growth and nonunique asymptotic cone

    G. Perelman. “A complete Riemannian manifold of positive Ricci curvature with Euclidean volume growth and nonunique asymptotic cone”. In: Comparison geome- try (Berkeley, CA, 1993–94) . Vol. 30. Math. Sci. Res. Inst. Publ. Cambridge Univ. Press, Cambridge, 1997, pp. 165–166

  71. [79]

    Harmonic functions on Alexandrov spaces and their applications

    A. Petrunin. “Harmonic functions on Alexandrov spaces and their applications”. In: Electron. Res. Announc. Amer. Math. Soc. 9 (2003), pp. 135–141. issn: 1079-6762. doi: 10.1090/S1079-6762-03-00120-3

  72. [80]

    On the stability of minimal surfaces

    A. V. Pogorelov. “On the stability of minimal surfaces”. In: Dokl. Akad. Nauk SSSR 260.2 (1981), pp. 293–295. issn: 0002-3264

  73. [81]

    Local H¨ older continuity of the isoperimetric profile in complete noncompact Riemannian manifolds with bounded geometry

    A. E. Mu˜ noz Flores and S. Nardulli. “Local H¨ older continuity of the isoperimetric profile in complete noncompact Riemannian manifolds with bounded geometry”. In: Geom. Dedicata 201 (2019), pp. 1–12. doi: 10.1007/s10711-018-0416-4

  74. [82]

    Examples of constant mean curvature surfaces obtained from harmonic maps to the two sphere

    M. Ritor´ e. “Examples of constant mean curvature surfaces obtained from harmonic maps to the two sphere”. In: Math. Z. 226.1 (1997), pp. 127–146. issn: 0025- 5874,1432-1823. doi: 10.1007/PL00004326

  75. [83]

    The isoperimetric problem in complete surfaces of nonnegative curva- ture

    M. Ritor´ e. “The isoperimetric problem in complete surfaces of nonnegative curva- ture”. In: J. Geom. Anal. 11.3 (2001), pp. 509–517. doi: 10.1007/BF02922017

  76. [84]

    Ritor´ e

    M. Ritor´ e. Isoperimetric Inequalities in Riemannian Manifolds . Vol. 348. Progress in Mathematics. Birkh¨ auser Cham, 2023, pp. xviii+460. doi: https://doi.org/ 10.1007/978-3-031-37901-7

  77. [85]

    Existence and characterization of regions minimizing perimeter under a volume constraint inside Euclidean cones

    M. Ritor´ e and C. Rosales. “Existence and characterization of regions minimizing perimeter under a volume constraint inside Euclidean cones”. In: Trans. Amer. Math. Soc. 356.11 (2004), pp. 4601–4622. 38 REFERENCES

  78. [86]

    The isoperimetric problem

    A. Ros. “The isoperimetric problem”. In: Global theory of minimal surfaces . Vol. 2. Clay Math. Proc. Amer. Math. Soc., Providence, RI, 2005, pp. 175–209

  79. [87]

    Isoperimetry on manifolds with Ricci bounded below: overview of recent results and methods

    M. Pozzetta. “Isoperimetry on manifolds with Ricci bounded below: overview of recent results and methods”. In: Anisotropic isoperimetric problems and related topics. Vol. 62. Springer INdAM Ser. Springer, Singapore, 2024, pp. 49–89. doi: 10.1007/978-981-97-6984-1\_4

  80. [88]

    On the geometry of metric measure spaces. I

    K.-T. Sturm. “On the geometry of metric measure spaces. I”. In: Acta Math. 196.1 (2006), pp. 65–131. doi: 10.1007/s11511-006-0002-8

  81. [89]

    On the geometry of metric measure spaces. II

    K.-T. Sturm. “On the geometry of metric measure spaces. II”. In: Acta Math. 196.1 (2006), pp. 133–177. doi: 10.1007/s11511-006-0003-7

  82. [90]

    L.-F. Tam. Some estimates on stable minimal hypersurfaces in Euclidean space . Preprint on arXiv, arXiv:2409.04947. 2024

  83. [91]

    Controlling area blow-up in minimal or bounded mean curvature vari- eties

    B. White. “Controlling area blow-up in minimal or bounded mean curvature vari- eties”. In: J. Differential Geom. 102.3 (2016), pp. 501–535. issn: 0022-040X,1945- 743X

  84. [92]

    On the geometry at infinity of manifolds with linear volume growth and nonnegative Ricci curvature

    X. Zhu. “On the geometry at infinity of manifolds with linear volume growth and nonnegative Ricci curvature”. In: Trans. Amer. Math. Soc. 378.1 (2025), pp. 503–

  85. [93]

    Curvature estimates for minimal hypersur- faces

    R. Schoen, L. Simon, and S. T. Yau. “Curvature estimates for minimal hypersur- faces”. In: Acta Math. 134.3-4 (1975), pp. 275–288. issn: 0001-5962,1871-2509. doi: 10.1007/BF02392104

  86. [138]

    doi: 10.1007/BF01161634

    issn: 0025-5874,1432-1823. doi: 10.1007/BF01161634

  87. [526]

    doi: 10.1090/tran/9261

    issn: 0002-9947,1088-6850. doi: 10.1090/tran/9261. Gioacchino Antonelli Department of Mathematics, University of Notre Dame, Hurley Hall, 255 Hurley, Notre Dame, IN 46556, United States Email address : gantonel@nd.edu

  88. [1078]

    doi: 10.4171/JEMS/526

    issn: 1435-9855,1435-9863. doi: 10.4171/JEMS/526

  89. [1490]

    doi: 10.1215/00127094-2681605

    issn: 0012-7094,1547-7398. doi: 10.1215/00127094-2681605

  90. [8970]

    doi: 10.1007/s00039-024-00662-1

  91. [9485]

    doi: 10.1090/S0273-0979-1979-14689-5

Pith tools

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