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
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.
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.
Referee Report
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)
- [§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.
- [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)
- [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 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
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
-
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
-
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
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
axioms (2)
- domain assumption Riemannian manifolds with nonnegative sectional curvature admit the stated volume noncollapsing and geodesic-ball lower bounds
- standard math Standard properties of the ABP method and Neumann potential on manifolds
Reference graph
Works this paper leans on
-
[1]
Abresch, Uwe , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1985 , NUMBER =
1985
-
[2]
Agostiniani, Virginia and Fogagnolo, Mattia and Mazzieri, Lorenzo , TITLE =. Invent. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00222-020-00985-4 , URL =
-
[3]
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]
Sharp isoperimetric and
Balogh, Zolt\'. Sharp isoperimetric and. Math. Ann. , FJOURNAL =. 2023 , NUMBER =
2023
-
[5]
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 =
work page doi:10.5209/rev 2000
-
[6]
Open manifolds with asymptotically nonnegative curvature , JOURNAL =
Bazanfar\'. Open manifolds with asymptotically nonnegative curvature , JOURNAL =. 2005 , NUMBER =
2005
-
[7]
, TITLE =
Besse, Arthur L. , TITLE =. 2008 , PAGES =
2008
-
[8]
Brendle, Simon , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/jams/969 , URL =
-
[9]
Brendle, Simon , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2022 , NUMBER =
2022
-
[10]
Brendle, Simon , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2023 , NUMBER =
2023
-
[11]
Cabr\'e, Xavier , TITLE =. Butl. Soc. Catalana Mat. , FJOURNAL =. 2000 , NUMBER =
2000
-
[12]
Isoperimetric,
Cabr\'. Isoperimetric,. Chinese Ann. Math. Ser. B , FJOURNAL =. 2017 , NUMBER =
2017
-
[13]
Actes de la
Carron, Gilles , TITLE =. Actes de la. 1996 , ISBN =
1996
-
[14]
Carron, Gilles , TITLE =
-
[15]
Carron, Gilles , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2019 , NUMBER =
2019
-
[16]
Kato meets
Gilles Carron and Ilaria Mondello and David Tewodrose , year=. Kato meets
-
[17]
Carron, Gilles and Mondello, Ilaria and Tewodrose, David , TITLE =. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/gt.2024.28.2635 , URL =
-
[18]
Limits of manifolds with a
Gilles Carron and Ilaria Mondello and David Tewodrose , year=. Limits of manifolds with a
-
[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]
Carron, Gilles and Rose, Christian , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1515/crelle-2020-0026 , URL =
-
[21]
and Punzo, Fabio , TITLE =
Catino, Giovanni and Monticelli, Dario D. and Punzo, Fabio , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 2021 , NUMBER =
2021
-
[22]
2001 , PAGES =
Chavel, Isaac , TITLE =. 2001 , PAGES =
2001
-
[23]
Cheng, S. Y. and Yau, S. T. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1975 , NUMBER =
1975
-
[24]
Chow, Bennett and Deng, Yuxing and Ma, Zilu , TITLE =. Adv. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.aim.2022.108367 , URL =
-
[25]
Coulhon, Thierry and Devyver, Baptiste and Sikora, Adam , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2020 , PAGES =
2020
-
[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]
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]
, TITLE =
Croke, Christopher B. , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1980 , NUMBER =
1980
-
[29]
Croke, Christopher B. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1984 , NUMBER =. doi:10.1007/BF02566344 , URL =
-
[30]
Coulhon, Thierry and Saloff-Coste, Laurent , TITLE =. Rev. Mat. Iberoamericana , FJOURNAL =. 1993 , NUMBER =
1993
-
[31]
Devyver, Baptiste , TITLE =. Comm. Partial Differential Equations , FJOURNAL =. 2021 , NUMBER =. doi:10.1080/03605302.2020.1857398 , URL =
-
[32]
Devyver, Baptiste , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2019 , NUMBER =
2019
-
[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]
Acta Math
Dong, Yuxin and Lin, Hezi and Lu, Lingen , TITLE =. Acta Math. Sci. Ser. B (Engl. Ed.) , FJOURNAL =. 2024 , NUMBER =
2024
-
[35]
Dong, Yuxin and Lin, Hezi and Lu, Lingen , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2024 , NUMBER =
2024
-
[36]
Druet, Olivier and Hebey, Emmanuel , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2002 , NUMBER =. doi:10.1090/memo/0761 , URL =
-
[37]
Fan, Xu Qian , TITLE =. Acta Math. Sin. (Engl. Ser.) , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s10114-005-0922-9 , URL =
-
[38]
Federer, Herbert and Fleming, Wendell H. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1960 , PAGES =. doi:10.2307/1970227 , URL =
-
[39]
, TITLE =
Gilbarg, David and Trudinger, Neil S. , TITLE =. 2001 , PAGES =
2001
-
[40]
Grigor'yan, Alexander , TITLE =. Rev. Mat. Iberoamericana , FJOURNAL =. 1994 , NUMBER =. doi:10.4171/RMI/157 , URL =
-
[41]
Grigor'yan, Alexander , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/S0273-0979-99-00776-4 , URL =
-
[42]
Grigor'yan, Alexander and Saloff-Coste, Laurent , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2005 , NUMBER =. doi:10.5802/aif.2116 , URL =
-
[43]
Covariant
G\". Covariant. 2017 , PAGES =
2017
-
[44]
Kato's inequality and form boundedness of
G\". Kato's inequality and form boundedness of. Proc. Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =
2014
-
[45]
Locally convex aspects of the
Batu Güneysu and Kazuhiro Kuwae , year=. Locally convex aspects of the
-
[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]
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]
1999 , PAGES =
Hebey, Emmanuel , TITLE =. 1999 , PAGES =
1999
-
[49]
Hebey, Emmanuel , TITLE =. Amer. J. Math. , FJOURNAL =. 1996 , NUMBER =
1996
-
[50]
Hoffman, David and Spruck, Joel , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1974 , PAGES =. doi:10.1002/cpa.3160270601 , URL =
-
[51]
Impera, Debora and Rimoldi, Michele and Veronelli, Giona , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2025 , NUMBER =
2025
-
[52]
Isoperimetric and
Debora Impera and Stefano Pigola and Michele Rimoldi and Giona Veronelli , year=. Isoperimetric and
-
[53]
Sobolev inequalities on manifolds with nonnegative
Johne, Florian , year=. Sobolev inequalities on manifolds with nonnegative
-
[54]
Geometry and analysis on manifolds (
Kasue, Atsushi , TITLE =. Geometry and analysis on manifolds (. 1988 , ISBN =. doi:10.1007/BFb0083054 , URL =
-
[55]
Kleiner, Bruce , TITLE =. Invent. Math. , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF02100598 , URL =
-
[56]
Lee, Man-Chun , TITLE =. J. Geom. Anal. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s12220-023-01522-4 , URL =
-
[57]
2012 , PAGES =
Li, Peter , TITLE =. 2012 , PAGES =
2012
-
[58]
Li, Peter and Tam, Luen-Fai , TITLE =. Amer. J. Math. , FJOURNAL =. 1987 , NUMBER =. doi:10.2307/2374588 , URL =
-
[59]
Li, Peter and Tam, Luen-Fai , TITLE =. J. Differential Geom. , FJOURNAL =. 1995 , NUMBER =
1995
-
[60]
Acta Math
Li, Peter and Yau, Shing-Tung , TITLE =. Acta Math. , FJOURNAL =. 1986 , NUMBER =
1986
-
[61]
Ma, Hui and Wu, Jing , TITLE =. J. Geom. Anal. , FJOURNAL =. 2024 , NUMBER =
2024
-
[62]
Michael, J. H. and Simon, L. M. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1973 , PAGES =
1973
-
[63]
Minerbe, Vincent , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00039-009-0701-3 , URL =
-
[64]
Carlo Morpurgo and Liuyu Qin , year=. Sharp
-
[65]
Carlo Morpurgo and Stefano Nardulli and Liuyu Qin , year=. Sharp
-
[66]
Munteanu, Ovidiu and Wang, Jiaping , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 2011 , NUMBER =
2011
-
[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]
2016 , PAGES =
Petersen, Peter , TITLE =. 2016 , PAGES =
2016
-
[69]
Pham, Doanh , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2024 , NUMBER =
2024
-
[70]
Pigola, Stefano and Rigoli, Marco and Setti, Alberto G. , TITLE =. 2008 , PAGES =. doi:10.1007/978-3-7643-8642-9 , URL =
-
[71]
Rose, Christian , TITLE =. Ann. Global Anal. Geom. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s10455-018-9634-0 , URL =
-
[72]
Rose, Christian and Stollmann, Peter , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/proc/13399 , URL =
-
[73]
Rose, Christian and Wei, Guofang , TITLE =. Anal. PDE , FJOURNAL =. 2022 , NUMBER =. doi:10.2140/apde.2022.15.1703 , URL =
-
[74]
Topping, Peter , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2008 , NUMBER =
2008
-
[75]
Troyanov, Marc , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2000 , NUMBER =. doi:10.1090/S0002-9939-99-05035-2 , URL =
-
[76]
Varopoulos, N. Th. , TITLE =. J. Funct. Anal. , FJOURNAL =. 1985 , NUMBER =. doi:10.1016/0022-1236(85)90087-4 , URL =
-
[77]
Seminar on
Yau, Shing Tung , TITLE =. Seminar on
-
[78]
Yang, Ning , TITLE =. Arch. Math. (Basel) , FJOURNAL =. 2009 , NUMBER =
2009
-
[79]
Wei, Guofang and Wylie, Will , TITLE =. J. Differential Geom. , FJOURNAL =. 2009 , NUMBER =
2009
-
[80]
Weil, Andr\'e , TITLE =. C. R. Acad. Sci. Paris S´er. I Math. , VOLUME =. 1926 , PAGES =
1926
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.