pith. sign in

arxiv: 2606.17697 · v1 · pith:NUUVPSODnew · submitted 2026-06-16 · 🧮 math.DG · math.AP

Sobolev and Michael-Simon inequalities via the ABP method beyond Euclidean volume growth

Pith reviewed 2026-06-26 23:06 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords ABP methodMichael-Simon inequalitySobolev inequalityvolume noncollapsingnonnegative sectional curvatureNeumann potentialisoperimetric profileimmersed submanifolds
0
0 comments X

The pith

A refinement of the ABP contact-set argument produces Michael-Simon inequalities with an explicit lower-order term on noncollapsing manifolds of nonnegative sectional curvature.

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

The paper develops an ABP approach to Sobolev and Michael-Simon inequalities that works under volume noncollapsing rather than requiring positive asymptotic volume ratio. The key step is showing that the ABP image of the contact set contains the entire geodesic ball of radius equal to the ABP parameter centered at the minimum of the Neumann potential. This containment lets the authors insert lower bounds on the volumes of geodesic balls at a fixed scale into the estimates. The resulting Michael-Simon inequality applies to immersed submanifolds with controlled mean curvature and includes a lower-order term scaled by the noncollapsing constant. In the intrinsic setting the same method recovers Varopoulos' L1-Sobolev inequality with an optimal gradient constant and gives explicit lower bounds on the isoperimetric profile.

Core claim

The central claim is that a refinement of Brendle's contact-set argument ensures the ABP image contains the full geodesic ball centered at the minimum point of the Neumann potential with radius equal to the ABP parameter. This geometric fact permits the direct insertion of volume lower bounds for geodesic balls, either at a fixed scale or under prescribed growth assumptions, yielding Michael-Simon type inequalities for immersed submanifolds in ambient manifolds with nonnegative sectional curvature and volume noncollapsing, as well as an ABP proof of Varopoulos' L1-Sobolev inequality with lower-order term and optimal constant in front of the gradient term.

What carries the argument

The refined contact-set argument in the ABP method, which guarantees that the ABP image contains the full geodesic ball centered at the minimum point of the Neumann potential with radius equal to the ABP parameter.

Load-bearing premise

The ABP image must contain the full geodesic ball centered at the minimum point of the Neumann potential with radius equal to the ABP parameter; without this containment the volume lower bounds cannot be inserted and the lower-order term disappears.

What would settle it

A concrete manifold with nonnegative sectional curvature and volume noncollapsing, together with a Neumann potential whose ABP image fails to contain the full geodesic ball of radius equal to the ABP parameter centered at its minimum, would show the refinement does not hold.

read the original abstract

We develop an ABP approach to Sobolev and Michael-Simon type inequalities under volume noncollapsing assumptions. The main new observation is a refinement of Brendle's contact-set argument: the ABP image contains the full geodesic ball centered at the minimum point of the Neumann potential, with radius equal to the ABP parameter. This allows one to use lower bounds for the volumes of geodesic balls, either at a fixed scale or under prescribed volume-growth assumptions, rather than positive asymptotic volume ratio. The central application is a Michael-Simon type inequality for immersed submanifolds of ambient manifolds with nonnegative sectional curvature and volume noncollapsing. The resulting inequality contains a lower-order term determined by the noncollapsing scale and applies to submanifolds with controlled mean curvature. In the intrinsic case, the same method gives an ABP proof of Varopoulos' $L^{1}$-Sobolev inequality with lower-order term, identifying the optimal constant in front of the gradient term, as well as explicit lower bounds for the isoperimetric profile in terms of lower bounds on the volumes of geodesic balls. Further geometric applications include Topping-type diameter estimates for submanifolds involving the $L^{n-1}$-norm of the mean curvature and various heat kernel and spectral estimates in the minimal case.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper develops an ABP approach to Sobolev and Michael-Simon type inequalities under volume noncollapsing assumptions rather than positive asymptotic volume ratio. The central new observation is a refinement of Brendle's contact-set argument asserting that the ABP image contains the full geodesic ball centered at the minimum point of the Neumann potential, with radius equal to the ABP parameter. This permits insertion of lower bounds on volumes of geodesic balls at fixed scale. The main application is a Michael-Simon inequality for immersed submanifolds of ambient manifolds with nonnegative sectional curvature and volume noncollapsing, containing a lower-order term determined by the noncollapsing scale and valid for submanifolds with controlled mean curvature. Additional results include an ABP proof of Varopoulos' L^1-Sobolev inequality with lower-order term (identifying the optimal constant in front of the gradient term), explicit lower bounds for the isoperimetric profile, Topping-type diameter estimates, and heat-kernel/spectral estimates in the minimal case.

Significance. If the geometric containment holds, the work supplies a flexible extension of the ABP method to settings with only local volume noncollapsing, yielding inequalities with explicit dependence on the noncollapsing scale. The identification of the optimal gradient constant in the intrinsic Varopoulos inequality and the explicit isoperimetric-profile bounds are concrete strengths that could be useful for further geometric analysis.

major comments (2)
  1. [§3] §3 (refinement of contact-set argument): the claim that the ABP image contains the full geodesic ball of radius equal to the ABP parameter at the Neumann-potential minimum is load-bearing for recovering the lower-order term from fixed-scale volume bounds. The argument must still control the geometry of supporting hyperplanes under nonnegative sectional curvature; an explicit verification that the containment holds on a set of full measure (or a counter-example check) is required before the volume-insertion step can be used.
  2. [Theorem 1.1] Theorem 1.1 (Michael-Simon inequality): the lower-order term is stated to be determined by the noncollapsing scale, but the dependence on the mean-curvature bound and the precise radius of the geodesic ball must be tracked through the ABP estimate; without an explicit error term or constant, it is unclear whether the inequality reduces to the classical form when the noncollapsing scale tends to zero.
minor comments (2)
  1. [Introduction] The introduction should include a short comparison table or paragraph contrasting the new lower-order term with the classical Michael-Simon inequality under Euclidean volume growth.
  2. [§2 and later sections] Notation for the ABP parameter and the Neumann potential should be fixed once in §2 and used consistently; several later sections reuse the same symbols with slightly different normalizations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment of the work's significance, and constructive major comments. We address each point below and will revise the manuscript accordingly.

read point-by-point responses
  1. Referee: [§3] §3 (refinement of contact-set argument): the claim that the ABP image contains the full geodesic ball of radius equal to the ABP parameter at the Neumann-potential minimum is load-bearing for recovering the lower-order term from fixed-scale volume bounds. The argument must still control the geometry of supporting hyperplanes under nonnegative sectional curvature; an explicit verification that the containment holds on a set of full measure (or a counter-example check) is required before the volume-insertion step can be used.

    Authors: We agree that an explicit verification strengthens the argument. In the revised manuscript we will expand §3 with a detailed verification that the containment holds on a set of full measure. This will include a careful analysis of the supporting hyperplanes, using the nonnegative sectional curvature to control their geometry and confirm the required inclusion almost everywhere, prior to the volume-insertion step. revision: yes

  2. Referee: [Theorem 1.1] Theorem 1.1 (Michael-Simon inequality): the lower-order term is stated to be determined by the noncollapsing scale, but the dependence on the mean-curvature bound and the precise radius of the geodesic ball must be tracked through the ABP estimate; without an explicit error term or constant, it is unclear whether the inequality reduces to the classical form when the noncollapsing scale tends to zero.

    Authors: We acknowledge the need for explicit tracking. In the revision we will augment the statement and proof of Theorem 1.1 to record the precise dependence of all constants on the mean-curvature bound and the geodesic-ball radius appearing in the ABP estimate. We will also add a remark demonstrating that the lower-order term vanishes (recovering the classical Michael-Simon inequality) in the limit as the noncollapsing scale tends to zero. revision: yes

Circularity Check

0 steps flagged

No significant circularity: central claim rests on new geometric observation plus standard volume assumptions

full rationale

The paper's derivation chain begins with a claimed refinement of Brendle's contact-set argument (the ABP image contains the full geodesic ball of radius equal to the ABP parameter at the Neumann potential minimum). This is presented as the main new observation, which then permits inserting volume lower bounds from noncollapsing at fixed scale. No equations or steps reduce by construction to fitted parameters, self-definitions, or prior self-citations that themselves depend on the target inequality. The Michael-Simon application follows from this observation combined with nonnegative sectional curvature and volume noncollapsing, without renaming known results or smuggling ansatzes via self-citation. The argument is self-contained against external benchmarks (Brendle's prior work is cited as the base being refined, not as a load-bearing uniqueness theorem).

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard differential-geometry background plus the new geometric containment claim; no free parameters or invented entities appear in the abstract.

axioms (2)
  • domain assumption Riemannian manifolds with nonnegative sectional curvature admit the stated volume noncollapsing and geodesic-ball lower bounds
    Invoked for the central application to immersed submanifolds
  • standard math Standard properties of the ABP method and Neumann potential on manifolds
    Background for the contact-set argument

pith-pipeline@v0.9.1-grok · 5766 in / 1454 out tokens · 28407 ms · 2026-06-26T23:06:12.027344+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

85 extracted references · 34 canonical work pages

  1. [1]

    Abresch, Uwe , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1985 , NUMBER =

  2. [2]

    Agostiniani, Virginia and Fogagnolo, Mattia and Mazzieri, Lorenzo , TITLE =. Invent. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00222-020-00985-4 , URL =

  3. [3]

    and Coulhon, T

    Bakry, D. and Coulhon, T. and Ledoux, M. and Saloff-Coste, L. , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 1995 , NUMBER =. doi:10.1512/iumj.1995.44.2019 , URL =

  4. [4]

    Sharp isoperimetric and

    Balogh, Zolt\'. Sharp isoperimetric and. Math. Ann. , FJOURNAL =. 2023 , NUMBER =

  5. [5]

    and Esteban, M

    Bazanfar\'. A volume comparison theorem and number of ends for manifolds with asymptotically nonnegative. Rev. Mat. Complut. , FJOURNAL =. 2000 , NUMBER =. doi:10.5209/rev\_REMA.2000.v13.n2.17082 , URL =

  6. [6]

    Open manifolds with asymptotically nonnegative curvature , JOURNAL =

    Bazanfar\'. Open manifolds with asymptotically nonnegative curvature , JOURNAL =. 2005 , NUMBER =

  7. [7]

    , TITLE =

    Besse, Arthur L. , TITLE =. 2008 , PAGES =

  8. [8]

    Brendle, Simon , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/jams/969 , URL =

  9. [9]

    Brendle, Simon , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2022 , NUMBER =

  10. [10]

    Brendle, Simon , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2023 , NUMBER =

  11. [11]

    Cabr\'e, Xavier , TITLE =. Butl. Soc. Catalana Mat. , FJOURNAL =. 2000 , NUMBER =

  12. [12]

    Isoperimetric,

    Cabr\'. Isoperimetric,. Chinese Ann. Math. Ser. B , FJOURNAL =. 2017 , NUMBER =

  13. [13]

    Actes de la

    Carron, Gilles , TITLE =. Actes de la. 1996 , ISBN =

  14. [14]

    Carron, Gilles , TITLE =

  15. [15]

    Carron, Gilles , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2019 , NUMBER =

  16. [16]

    Kato meets

    Gilles Carron and Ilaria Mondello and David Tewodrose , year=. Kato meets

  17. [17]

    Carron, Gilles and Mondello, Ilaria and Tewodrose, David , TITLE =. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/gt.2024.28.2635 , URL =

  18. [18]

    Limits of manifolds with a

    Gilles Carron and Ilaria Mondello and David Tewodrose , year=. Limits of manifolds with a

  19. [19]

    Carron, Gilles and Mondello, Ilaria and Tewodrose, David , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/jlms.12704 , URL =

  20. [20]

    Carron, Gilles and Rose, Christian , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1515/crelle-2020-0026 , URL =

  21. [21]

    and Punzo, Fabio , TITLE =

    Catino, Giovanni and Monticelli, Dario D. and Punzo, Fabio , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 2021 , NUMBER =

  22. [22]

    2001 , PAGES =

    Chavel, Isaac , TITLE =. 2001 , PAGES =

  23. [23]

    Cheng, S. Y. and Yau, S. T. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1975 , NUMBER =

  24. [24]

    Chow, Bennett and Deng, Yuxing and Ma, Zilu , TITLE =. Adv. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.aim.2022.108367 , URL =

  25. [25]

    Coulhon, Thierry and Devyver, Baptiste and Sikora, Adam , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2020 , PAGES =

  26. [26]

    A mass-transportation ap- proach to sharp Sobolev and Gagliardo-Nirenberg inequalities

    Cordero-Erausquin, D. and Nazaret, B. and Villani, C. , TITLE =. Adv. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/S0001-8708(03)00080-X , URL =

  27. [27]

    Coulhon, Thierry and Grigor'yan, Alexander and Levin, Daniel , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 2003 , NUMBER =. doi:10.4310/CAG.2003.v11.n1.a5 , URL =

  28. [28]

    , TITLE =

    Croke, Christopher B. , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1980 , NUMBER =

  29. [29]

    , TITLE =

    Croke, Christopher B. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1984 , NUMBER =. doi:10.1007/BF02566344 , URL =

  30. [30]

    Coulhon, Thierry and Saloff-Coste, Laurent , TITLE =. Rev. Mat. Iberoamericana , FJOURNAL =. 1993 , NUMBER =

  31. [31]

    Devyver, Baptiste , TITLE =. Comm. Partial Differential Equations , FJOURNAL =. 2021 , NUMBER =. doi:10.1080/03605302.2020.1857398 , URL =

  32. [32]

    Devyver, Baptiste , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2019 , NUMBER =

  33. [33]

    Dong, Yuxin and Lin, Hezi and Lu, Lingen , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00526-024-02688-7 , URL =

  34. [34]

    Acta Math

    Dong, Yuxin and Lin, Hezi and Lu, Lingen , TITLE =. Acta Math. Sci. Ser. B (Engl. Ed.) , FJOURNAL =. 2024 , NUMBER =

  35. [35]

    Dong, Yuxin and Lin, Hezi and Lu, Lingen , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2024 , NUMBER =

  36. [36]

    Druet, Olivier and Hebey, Emmanuel , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2002 , NUMBER =. doi:10.1090/memo/0761 , URL =

  37. [37]

    Acta Math

    Fan, Xu Qian , TITLE =. Acta Math. Sin. (Engl. Ser.) , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s10114-005-0922-9 , URL =

  38. [38]

    , TITLE =

    Federer, Herbert and Fleming, Wendell H. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1960 , PAGES =. doi:10.2307/1970227 , URL =

  39. [39]

    , TITLE =

    Gilbarg, David and Trudinger, Neil S. , TITLE =. 2001 , PAGES =

  40. [40]

    Grigor'yan, Alexander , TITLE =. Rev. Mat. Iberoamericana , FJOURNAL =. 1994 , NUMBER =. doi:10.4171/RMI/157 , URL =

  41. [41]

    Grigor'yan, Alexander , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/S0273-0979-99-00776-4 , URL =

  42. [42]

    Grigor'yan, Alexander and Saloff-Coste, Laurent , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2005 , NUMBER =. doi:10.5802/aif.2116 , URL =

  43. [43]

    Covariant

    G\". Covariant. 2017 , PAGES =

  44. [44]

    Kato's inequality and form boundedness of

    G\". Kato's inequality and form boundedness of. Proc. Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =

  45. [45]

    Locally convex aspects of the

    Batu Güneysu and Kazuhiro Kuwae , year=. Locally convex aspects of the

  46. [46]

    Functions with bounded variation on a class of

    G\". Functions with bounded variation on a class of. Math. Ann. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00208-015-1208-x , URL =

  47. [47]

    Han, Bang-Xian and Sturm, Karl-Theodor , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s10231-021-01138-x , URL =

  48. [48]

    1999 , PAGES =

    Hebey, Emmanuel , TITLE =. 1999 , PAGES =

  49. [49]

    Hebey, Emmanuel , TITLE =. Amer. J. Math. , FJOURNAL =. 1996 , NUMBER =

  50. [50]

    Hoffman, David and Spruck, Joel , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1974 , PAGES =. doi:10.1002/cpa.3160270601 , URL =

  51. [51]

    Impera, Debora and Rimoldi, Michele and Veronelli, Giona , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2025 , NUMBER =

  52. [52]

    Isoperimetric and

    Debora Impera and Stefano Pigola and Michele Rimoldi and Giona Veronelli , year=. Isoperimetric and

  53. [53]

    Sobolev inequalities on manifolds with nonnegative

    Johne, Florian , year=. Sobolev inequalities on manifolds with nonnegative

  54. [54]

    Geometry and analysis on manifolds (

    Kasue, Atsushi , TITLE =. Geometry and analysis on manifolds (. 1988 , ISBN =. doi:10.1007/BFb0083054 , URL =

  55. [55]

    Kleiner, Bruce , TITLE =. Invent. Math. , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF02100598 , URL =

  56. [56]

    Lee, Man-Chun , TITLE =. J. Geom. Anal. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s12220-023-01522-4 , URL =

  57. [57]

    2012 , PAGES =

    Li, Peter , TITLE =. 2012 , PAGES =

  58. [58]

    Li, Peter and Tam, Luen-Fai , TITLE =. Amer. J. Math. , FJOURNAL =. 1987 , NUMBER =. doi:10.2307/2374588 , URL =

  59. [59]

    Li, Peter and Tam, Luen-Fai , TITLE =. J. Differential Geom. , FJOURNAL =. 1995 , NUMBER =

  60. [60]

    Acta Math

    Li, Peter and Yau, Shing-Tung , TITLE =. Acta Math. , FJOURNAL =. 1986 , NUMBER =

  61. [61]

    Ma, Hui and Wu, Jing , TITLE =. J. Geom. Anal. , FJOURNAL =. 2024 , NUMBER =

  62. [62]

    Michael, J. H. and Simon, L. M. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1973 , PAGES =

  63. [63]

    Minerbe, Vincent , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00039-009-0701-3 , URL =

  64. [64]

    Carlo Morpurgo and Liuyu Qin , year=. Sharp

  65. [65]

    Carlo Morpurgo and Stefano Nardulli and Liuyu Qin , year=. Sharp

  66. [66]

    Munteanu, Ovidiu and Wang, Jiaping , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 2011 , NUMBER =

  67. [67]

    Munteanu, Ovidiu and Sung, Chiung-Jue Anna and Wang, Jiaping , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/tran/8291 , URL =

  68. [68]

    2016 , PAGES =

    Petersen, Peter , TITLE =. 2016 , PAGES =

  69. [69]

    Pham, Doanh , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2024 , NUMBER =

  70. [70]

    , TITLE =

    Pigola, Stefano and Rigoli, Marco and Setti, Alberto G. , TITLE =. 2008 , PAGES =. doi:10.1007/978-3-7643-8642-9 , URL =

  71. [71]

    Rose, Christian , TITLE =. Ann. Global Anal. Geom. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s10455-018-9634-0 , URL =

  72. [72]

    Rose, Christian and Stollmann, Peter , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/proc/13399 , URL =

  73. [73]

    Rose, Christian and Wei, Guofang , TITLE =. Anal. PDE , FJOURNAL =. 2022 , NUMBER =. doi:10.2140/apde.2022.15.1703 , URL =

  74. [74]

    Topping, Peter , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2008 , NUMBER =

  75. [75]

    Troyanov, Marc , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2000 , NUMBER =. doi:10.1090/S0002-9939-99-05035-2 , URL =

  76. [76]

    Varopoulos, N. Th. , TITLE =. J. Funct. Anal. , FJOURNAL =. 1985 , NUMBER =. doi:10.1016/0022-1236(85)90087-4 , URL =

  77. [77]

    Seminar on

    Yau, Shing Tung , TITLE =. Seminar on

  78. [78]

    Yang, Ning , TITLE =. Arch. Math. (Basel) , FJOURNAL =. 2009 , NUMBER =

  79. [79]

    Wei, Guofang and Wylie, Will , TITLE =. J. Differential Geom. , FJOURNAL =. 2009 , NUMBER =

  80. [80]

    Weil, Andr\'e , TITLE =. C. R. Acad. Sci. Paris S´er. I Math. , VOLUME =. 1926 , PAGES =

Showing first 80 references.