Pith. sign in

REVIEW 6 minor 1 cited by

Geometric inequalities and the Alexandrov-Bakelman-Pucci technique

T0 review · 0 major / 6 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read One elliptic maximum-principle technique unifies proofs of the sharp isoperimetric, Sobolev, mean-curvature, and logarithmic Sobolev inequalities in Euclidean space and on Ricci-nonnegative manifolds.

desk verdict A clean expository unification of the ABP proofs of several known geometric inequalities; no new theorems, but a genuinely useful map of the technique and a mostly solid presentation with some terseness in the manifold sections. read the letter →

arxiv 2603.12025 v3 pith:K5ELDML6 submitted 2026-03-12 math.DG

S. Brendle This is my paper · ORCID
classification math.DG MSC 53C2135J6053C40
keywords Alexandrov-Bakelman-PuccitechniqueisoperimetricinequalitySobolevlogarithmicmeancurvaturenonnegativeRicciasymptoticvolumeratioJacobifields
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 expository paper aims to show that the Alexandrov-Bakelman-Pucci (ABP) technique, a maximum-principle method from elliptic PDE, provides a common template for proving a wide family of sharp geometric inequalities. The author walks through the Euclidean isoperimetric inequality, the sharp Sobolev inequality for domains, the total mean curvature inequality for submanifolds, the sharp Sobolev and logarithmic Sobolev inequalities for submanifolds, and the Sobolev inequality on complete manifolds with nonnegative Ricci curvature and Euclidean volume growth. In each case the proof reduces to two ingredients: a nonlinear map whose image contains a unit ball, and a Jacobian bound derived from a linear elliptic equation together with the arithmetic-geometric mean inequality. If the framework is right, results that were historically proved by different methods become instances of one argument, with curvature assumptions entering explicitly through the second variation of geodesics.

What carries the argument

The key machinery is the Alexandrov-Bakelman-Pucci maximum-principle template. In its Euclidean form, take a solution u of a linear elliptic equation such as div(f∇u) = n f^{n/(n−1)} − |∇f|, define Φ = ∇u on the set U = {|∇u| < 1}, and let A be the subset where the Hessian D²u is nonnegative. A minimum argument on u − ⟨x, ξ⟩ shows the unit ball lies in Φ(A), while the arithmetic-geometric mean inequality bounds the Jacobian determinant by f^{n/(n−1)}. In the submanifold and manifold versions, Φ incorporates normal-bundle variables and exponential maps, and the Jacobian bound is obtained from Jacobi fields and a matrix Riccati equation; the trace of the curvature term is nonnegative precisely

What would settle it

One concrete check: take a compact hypersurface Σ in a round sphere (nonnegative Ricci curvature) with a point (x̄, ȳ) whose normal geodesic γ(t) = exp_{x̄}(tȳ) passes through a conjugate point at time τ < r, and compute directly whether the monotonicity of t ↦ t^{-1}(1 − t⟨H,ȳ⟩/(n−1))^{-(n−1)} |det DΦ_t(x̄,ȳ)| continues to hold. If it fails at the conjugate point, the proof of the Heintze-Karcher volume estimate needs an explicit cut-locus argument; if it holds, the smoothness assumption can likely be relaxed.

Watch

Extended reading notes

Core claim

The central claim is that the ABP technique supplies a unified proof of the classical isoperimetric inequality, the sharp Sobolev inequality for Euclidean domains, the total mean curvature inequality for closed submanifolds, the sharp Sobolev and logarithmic Sobolev inequalities for submanifolds, and the corresponding Sobolev and mean-curvature inequalities on manifolds with nonnegative Ricci curvature. The template constructs a map Φ from a subset of the domain or its normal bundle into the ambient space, proves that the unit ball lies in the image of the set where a Hessian-type matrix is nonnegative, then bounds the Jacobian determinant by the desired integrand using the arithmetic-geomet

Load-bearing premise

The load-bearing premise is that all minimizing geodesics used in the manifold and submanifold arguments are classically smooth, so that first and second variation formulas apply without cut-locus or conjugate-point corrections; if a cut point lies in the support of the trial functions, the Jacobian estimate and the comparison principle could fail without additional technical handling.

Editorial extensions

If this is right

  • The sharp Michael-Simon Sobolev inequality for submanifolds and the logarithmic Sobolev inequality for submanifolds follow from the same template as the Euclidean isoperimetric inequality, giving a common explanation for their optimal constants.
  • On complete manifolds with nonnegative Ricci curvature and asymptotic volume ratio θ, the sharp Sobolev inequality and the sharp total-mean-curvature inequality for hypersurfaces both carry factors of θ^{1/n} and θ^{1/(n−1)} respectively, showing that volume growth at infinity controls the optimal constants.
  • The Heintze-Karcher tubular neighborhood volume estimate follows from the same Jacobian bound applied to the normal exponential map, providing a unified route to the hypersurface inequality.
  • The ABP approach requires only existence and regularity for linear elliptic equations, unlike proofs based on optimal transport or geometric flows, so it lowers the technical overhead for these inequalities.
  • The submanifold Sobolev inequality is proved directly in codimension at least two, and the codimension-one case is recovered as a corollary, showing how ambient codimension enters through an elementary inequality in the integration step.

Reading between the lines

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

  • The template suggests a search for other geometric inequalities that can be recast as a statement that a unit ball is covered by a map whose Jacobian is controlled by the desired integrand; weighted isoperimetric problems or general L^p Sobolev inequalities are natural candidates.
  • If the smoothness and cut-locus assumptions in the manifold arguments can be removed by approximation or viscosity methods, the unified framework would extend to non-smooth metrics and domains, making it genuinely global rather than local.
  • The appearance of the same elementary inequality for codimension m ≥ 2 hints that the optimal constant in the submanifold Sobolev inequality may have a purely algebraic origin in the ambient dimension, which could guide conjectures for other codimensions or non-Euclidean ambient spaces.
  • The paper leaves implicit that the Riccati comparison underlying the manifold proofs might adapt to lower Ricci bounds, yielding non-sharp but explicit inequalities or reverse inequalities; testing this would clarify how much curvature flexibility the ABP method tolerates.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 6 minor

Summary. This expository paper presents a unified treatment of several sharp geometric inequalities via the Alexandrov-Bakelman-Pucci (ABP) technique. It begins with Cabré's proof of the Euclidean isoperimetric and Sobolev inequalities (Theorems 1.1–1.2), then gives ABP proofs of the Fenchel-Willmore-Chen inequality for submanifolds (Theorem 2.1), the sharp Michael-Simon Sobolev inequality (Theorem 3.1), the sharp logarithmic Sobolev inequality for submanifolds (Theorem 4.1), the Sobolev inequality on manifolds with nonnegative Ricci curvature and Euclidean volume growth (Theorem 5.2), and the Heintze-Karcher/Fenchel-Willmore-Chen inequality for hypersurfaces in such manifolds (Theorem 6.1). The common mechanism is a map whose image covers a ball (or all of space in the log-Sobolev case) and whose Jacobian determinant is bounded by the relevant geometric integrand; the resulting volume comparison yields the sharp constant.

Significance. If the result stands, this is a valuable unified account: it demonstrates that the ABP maximum principle is not a collection of ad hoc arguments but a common source for several central inequalities in geometric analysis. The paper's strengths are the explicitness of the constants, the absence of fitted parameters, and the path-space formulation in Sections 5–6, which avoids delicate cut-locus computations. Although the author's earlier papers are cited for several theorems, the arguments are actually reproduced here rather than assumed, so the presentation is essentially self-contained modulo standard elliptic regularity and the area formula. This should become a useful reference for graduate students and researchers.

minor comments (6)
  1. [§5, Lemma 5.3] The proof says 'Using (2)' but in Section 5 the relevant PDE is (11). Please correct the cross-reference.
  2. [§5, Lemma 5.4] The step 'Using (12) and the inequality sup_x d(x,p)<r, we conclude that the point x̄ lies in the interior of D' is terse. For readers, one can justify it as follows: if x̄ were on ∂D, the inward derivative of r u(x)+1/2 d(x,p)^2 would be ≤ -r+d(x̄,p)<0, contradicting minimality; a triangle-inequality version avoids differentiability issues. A one-sentence explanation would improve clarity.
  3. [§5, after Corollary 5.8; §6, after Corollary 6.6] The area-formula step and the limiting step 'divide by r^n and send r→∞' are stated without comment. It would help to note that the left-hand volume divided by r^n tends to |B^n|θ, e.g. by sandwiching the set between balls of radius r±diam(D) (and similarly for the tubular neighborhood in Section 6), and that the map Φ_r is smooth on the Borel set A_r, so the area formula applies.
  4. [§6, Corollary 6.6] In the proof, 'This completes the proof of Corollary 6.5' should read 'Corollary 6.6'.
  5. [§4] The statement 'Arguing as in the proof of Lemma 3.4, we can show that Φ(A)=R^{n+m}' is correct, but a brief direct explanation would help: for any ξ, a minimizer of u−⟨x,ξ⟩ on the compact manifold Σ gives ξ=∇u(x̄)+ȳ with the required second-order condition, with no boundary issue because Σ has no boundary.
  6. [References] Reference [18] contains a typo: 'Euclidean sapce' should be 'Euclidean space'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: every main theorem is proved in the paper rather than assumed from the cited prior work.

full rationale

The paper is explicitly expository and for each claimed inequality it supplies a self-contained ABP-style proof. Theorem 1.2 is proved from Lemma 1.3 (unit ball inclusion) and Lemma 1.4 (Jacobian bound). The Fenchel-Willmore-Chen inequality is proved from Lemmas 2.2-2.5. For the sharp Michael-Simon inequality, Theorem 3.1 is stated as 'cf. [5]', but the proof is then reproduced in Lemmas 3.4-3.6, starting from the auxiliary solution u of div(f∇u)=... and the normalization (4). Similarly, Theorem 4.1 is proved via the Jacobian estimate in Lemma 4.3; Theorem 5.2 is proved via Lemmas 5.4-5.6, Proposition 5.7, and Corollary 5.8; Theorem 6.1 is proved via Lemmas 6.2-6.4, Proposition 6.5, and Corollary 6.6. In each case the target inequality is obtained by integrating a Jacobian bound over a ball, with no use of the target inequality itself. The citations to the author's prior papers [5], [6], [7] are provenance ('cf. [5]', 'we will follow the arguments in [7]') rather than load-bearing: the mathematical content is presented directly. No fitted parameters are introduced, no quantity is defined in terms of the theorem it is used to prove, and no uniqueness theorem is imported from the author's own work. The only minor caveat is technical regularity where the manuscript assumes smoothness of minimizers without explicit cut-locus handling, but the path-space formulation in Lemmas 5.4-5.5 and 6.2-6.3 shows that the arguments are not circular. Hence there is no exhibited reduction of any 'prediction' to an input, and the circularity score is 0.

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

No free parameters or invented entities. The paper relies on standard elliptic regularity, Bishop-Gromov comparison, area formula, variation formulas, and the AGM inequality.

assumptions (6)
  • domain assumption C^{2,γ} regularity of solutions to the Neumann problem
    Invoked in Sections 1, 3, 4, 5; the ABP proof requires pointwise Hessian bounds and the area formula application.
  • domain assumption Bishop-Gromov volume comparison and existence of asymptotic volume ratio θ
    Section 5 defines θ via monotonicity of volume ratio; used in the r→∞ limit to get |B^n|θ.
  • standard math Area formula for C^1 maps
    Used to compare the measure of the image of A with the Jacobian integral in Sections 2,3,5,6.
  • standard math First and second variation formulas for the energy functional
    Central in Lemmas 5.4-5.6 and 6.2-6.4; requires the minimizer to be interior and the distance function to be classically differentiable (no cut locus).
  • standard math Riccati comparison principle
    Used in Propositions 5.7 and 6.5 to bound tr Q(t); standard scalar ODE comparison with z' = -z^2/n.
  • standard math Arithmetic-geometric mean inequality
    Binds det of a positive semidefinite matrix by (tr/n)^n in Lemmas 1.4, 2.4, 3.6, 4.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Geometric inequalities and the Alexandrov-Bakelman-Pucci technique." pith.science (2026). https://pith.science/paper/K5ELDML6

@misc{pith2026260312025,
  author       = {Pith},
  title        = {Pith review of: Geometric inequalities and the Alexandrov-Bakelman-Pucci technique},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/K5ELDML6}},
  note         = {Machine review of arXiv:2603.12025}
}
read the original abstract

In this expository paper, we discuss a unified framework for proving various geometric inequalities, based on the so-called Alexandrov-Bakelman-Pucci technique. Examples include Cabr\'e's proof of the classical isoperimetric inequality in Euclidean space; the Fenchel-Willmore-Chen inequality for the mean curvature of a submanifold; the sharp version of the Michael-Simon Sobolev inequality for submanifolds; the sharp version of Ecker's logarithmic Sobolev inequality for submanifolds; and the Sobolev inequality for complete manifolds with nonnegative Ricci curvature and Euclidean volume growth. Finally, we discuss a connection to the work of Heintze and Karcher on the volume of a tubular neighborhood of a hypersurface in a manifold with nonnegative Ricci curvature.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A comparison theorem with applications to sharp geometric inequalities for submanifolds

    math.DG 2026-05 unverdicted novelty 7.0 of 10

    An explicit Jacobian formula for the normal exponential map produces a comparison theorem that implies Fenchel-Borsuk-Chern-Lashof-type and Willmore-Chen-type inequalities for closed submanifolds in complete noncompac...

Reference graph

Works this paper leans on

34 extracted references · cited by 1 Pith paper

  1. [1]

    Agostiniani, M

    V. Agostiniani, M. Fogagnolo, and L. Mazzieri,Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature,Invent. Math. 222, 1033– 1101 (2020)

    2020

  2. [2]

    Allard,On the first variation of a varifold,Ann

    W. Allard,On the first variation of a varifold,Ann. of Math. 95, 417–491 (1972)

    1972

  3. [3]

    Almgren, Jr.,Optimal isoperimetric inequalities,Indiana Univ

    F.J. Almgren, Jr.,Optimal isoperimetric inequalities,Indiana Univ. Math. J. 35, 451–547 (1986)

    1986

  4. [4]

    Balogh and A

    Z.M. Balogh and A. Krist´ aly,Sharp isoperimetric and Sobolev inequalities in spaces with nonnegative Ricci curvature,Math. Ann. 385, 1747–1773 (2023)

    2023

  5. [5]

    Brendle,The isoperimetric inequality for a minimal submanifold in Euclidean space,J

    S. Brendle,The isoperimetric inequality for a minimal submanifold in Euclidean space,J. Amer. Math. Soc. 34, 595–603 (2021)

    2021

  6. [6]

    Brendle,The logarithmic Sobolev inequality for a submanifold in Euclidean space, Comm

    S. Brendle,The logarithmic Sobolev inequality for a submanifold in Euclidean space, Comm. Pure Appl. Math. 75, 449–454 (2022)

    2022

  7. [7]

    Brendle,Sobolev inequalities in manifolds with nonnegative curvature,Comm

    S. Brendle,Sobolev inequalities in manifolds with nonnegative curvature,Comm. Pure Appl. Math. 76, 2192–2218 (2023)

    2023

  8. [8]

    Brendle,Minimal hypersurfaces and geometric inequalities,Ann

    S. Brendle,Minimal hypersurfaces and geometric inequalities,Ann. Fac. Sci. Toulouse 32, 179–201 (2023) 24 SIMON BRENDLE

    2023

Show all 34 references
  1. [9]

    Brendle and M

    S. Brendle and M. Eichmair,Proof of the Michael-Simon-Sobolev inequality using optimal transport,J. Reine Angew. Math. 804, 1–10 (2023)

    2023

  2. [10]

    Cabr´ e,Nondivergent elliptic equations on manifolds with nonnegative curvature, Comm

    X. Cabr´ e,Nondivergent elliptic equations on manifolds with nonnegative curvature, Comm. Pure Appl. Math. 50, 623–665 (1997)

    1997

  3. [11]

    Cabr´ e,Equacions en derivades parcials, geometria i control estoc` astic,Butl

    X. Cabr´ e,Equacions en derivades parcials, geometria i control estoc` astic,Butl. Soc. Catalana Mat. 15, 7–27 (2000)

    2000

  4. [12]

    Cabr´ e,Elliptic PDEs in probability and geometry

    X. Cabr´ e,Elliptic PDEs in probability and geometry. Symmetry and regularity of solutions,Discrete Cont. Dyn. Systems A 20, 425–457 (2008)

    2008

  5. [13]

    Carleman,Zur Theorie der Minimalfl¨ achen,Math

    T. Carleman,Zur Theorie der Minimalfl¨ achen,Math. Z. 9, 154–160 (1921)

    1921

  6. [14]

    Castillon,Submanifolds, isoperimetric inequalities and optimal transportation,J

    P. Castillon,Submanifolds, isoperimetric inequalities and optimal transportation,J. Funct. Anal. 259, 79–103 (2010)

    2010

  7. [15]

    Chen,On the total curvature of immersed manifolds, I: an inequality of Fenchel- Borsuk-Willmore,Amer

    B.-Y. Chen,On the total curvature of immersed manifolds, I: an inequality of Fenchel- Borsuk-Willmore,Amer. J. Math. 93, 148–162 (1971)

    1971

  8. [16]

    Choe,The isoperimetric inequality for a minimal surface with radially connected boundary,Ann

    J. Choe,The isoperimetric inequality for a minimal surface with radially connected boundary,Ann. Scuola Norm. Sup. Pisa 17, 583–593 (1990)

    1990

  9. [17]

    Cordero-Erausquin, R.J

    D. Cordero-Erausquin, R.J. McCann, and M. Schmuckenschl¨ ager,A Riemannian interpolation inequality ` a la Borell, Brascamp and Lieb,Invent. Math. 146, 219–257 (2001)

    2001

  10. [18]

    Ecker,Logarithmic Sobolev inequalities on submanifolds of Euclidean sapce,J

    K. Ecker,Logarithmic Sobolev inequalities on submanifolds of Euclidean sapce,J. Reine Angew. Math. 522, 105–118 (2000)

    2000

  11. [19]

    Feinberg,The isoperimetric inequality for doubly-connected minimal surfaces in Rn,J

    J. Feinberg,The isoperimetric inequality for doubly-connected minimal surfaces in Rn,J. d’Anal. Math. 32, 249–278 (1977)

    1977

  12. [20]

    Fenchel, ¨Uber die Kr¨ ummung und Windung geschlossener Randkurven,Math

    W. Fenchel, ¨Uber die Kr¨ ummung und Windung geschlossener Randkurven,Math. Ann. 101, 238–252 (1929)

    1929

  13. [21]

    Gromov,Metric structures for Riemannian and non-Riemannian spaces,Progress in Mathematics vol

    M. Gromov,Metric structures for Riemannian and non-Riemannian spaces,Progress in Mathematics vol. 152, Birkh¨ auser, Boston, 1999

    1999

  14. [22]

    Heintze and H

    E. Heintze and H. Karcher,A general comparison theorem with applications to volume estimates for submanifolds,Ann. Sci. ´Ecole Norm. Sup. 11, 451–470 (1978)

    1978

  15. [23]

    Hsiung,Isoperimetric inequalities for two-dimensional Riemannian manifolds with boundary,Ann

    C.C. Hsiung,Isoperimetric inequalities for two-dimensional Riemannian manifolds with boundary,Ann. of. Math. 73, 213–220 (1961)

    1961

  16. [24]

    P. Li, R. Schoen, and S.T. Yau,On the isoperimetric inequality for minimal surfaces, Ann. Scuola Norm. Sup. Pisa 11, 237–244 (1984)

    1984

  17. [25]

    Lusternik,Die Brunn-Minkowskische Ungleichung f¨ ur beliebige meßbare Mengen, Dokl

    L.A. Lusternik,Die Brunn-Minkowskische Ungleichung f¨ ur beliebige meßbare Mengen, Dokl. Acad. Sci. URSS 8, 55–58 (1935)

    1935

  18. [26]

    McCann,A Convexity Theory for Interacting Gases and Equilibrium Crystals, Ph.D

    R.J. McCann,A Convexity Theory for Interacting Gases and Equilibrium Crystals, Ph.D. thesis, Princeton University, 1994

    1994

  19. [27]

    McCann,A convexity principle for interacting gases,Adv

    R.J. McCann,A convexity principle for interacting gases,Adv. Math. 128, 153–179 (1997)

    1997

  20. [28]

    McCann and N

    R.J. McCann and N. Guillen,Five lectures on optimal transportation: geometry, regularity, and applications,Analysis and Geometry of Metric Measure Spaces, CRM Proc. Lecture Notes vol. 56, pp. 145–180, American Mathematical Society, Providence RI, 2013

    2013

  21. [29]

    Michael and L.M

    J.H. Michael and L.M. Simon,Sobolev and mean value inequalities on generalized submanifolds ofR n,Comm. Pure Appl. Math. 26, 361–379 (1973)

    1973

  22. [30]

    Osserman and M

    R. Osserman and M. Schiffer,Doubly-connected minimal surfaces,Arch. Rational Mech. Anal. 58, 285–307 (1975)

    1975

  23. [31]

    Reid,The isoperimetric inequality and associated boundary problems,J

    W.T. Reid,The isoperimetric inequality and associated boundary problems,J. Math. Mech. 8, 897–906 (1959)

    1959

  24. [32]

    Stone,On the isoperimetric inequality on a minimal surface,Calc

    A. Stone,On the isoperimetric inequality on a minimal surface,Calc. Var. PDE 17, 369–391 (2003)

    2003

  25. [33]

    Trudinger,Isoperimetric inequalities for quermassintegrals,Ann

    N. Trudinger,Isoperimetric inequalities for quermassintegrals,Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire 11, 411–425 (1994) GEOMETRIC INEQUALITIES AND THE ABP TECHNIQUE 25

    1994

  26. [34]

    Willmore,Note on embedded surfaces,A

    T.J. Willmore,Note on embedded surfaces,A. Sti. Univ. ”Al. I. Cuza”, Iasi, Sect. Ia Mat. 11B, 493–496 (1965) Department of Mathematics, Columbia University, New York NY 10027

    1965

Pith tools

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