REVIEW 1 major objections 1 minor 1 cited by
Uniqueness of singular convex hypersurfaces with lower bounded k-th mean curvature
T0 review · 1 major / 1 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A sharp pointwise curvature condition forces every convex body to be a Euclidean ball.
desk verdict A genuinely new sharp rigidity theorem for pointwise k-th mean curvature of convex bodies, proved through a general isoperimetric inequality; the main risk is the heavy reliance on the author's own prior technical machinery, which a referee should verify. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine of the proof is the generalized curvature calculus for arbitrary closed sets. For a closed set $C$ one forms its generalized unit normal bundle $\mathcal N(C)$ and the generalized principal curvatures $\kappa_{C,1},\dots,\kappa_{C,n}$; for a convex body these coincide at normal points with the eigenvalues of the second-order differential of the convex function representing the boundary. Setting $C=\mathbb R^{n+1}\setminus\operatorname{int}(K)$, the mean-convexity condition $\sum_i\kappa_{C,i}\le 0$ a.e. holds automatically, and the trace of the generalized second fundamental form is identified with $-h\cdot\eta$, where $h$ is the approximate mean curvature vector of the positive boundary $\partial_+ C$. The volume estimate comes from applying the generalized area formula to the map $(z,\eta,t)\mapsto z+t\eta$ over the normal bundle, using the arithmetic-geometric mean inequality to bound the Jacobian; the equality case then shows that the parallel hypersurfaces $S(C,r)$ are umbilical $C^{1,1}$ hypersurfaces, all principal curvatures equal almost everywhere, which by the paper's Theorem 3.1 forces them to be spheres, and polynomial volume growth forces positive reach, yielding the finite union of balls.
What would settle it
If the theorem is right, the inequality must fail on the flat equatorial region of any non-spherical convex body of revolution. For instance, take the ellipsoid with semi-axes $1,1,2$ in $\mathbb R^3$ and compute the pointwise mean curvature $H_1$ at an equatorial point, comparing it with $2\mathcal H^2(\partial K)/(3\mathcal L^3(K))$; the comparison must come out negative. Finding any non-ball body on which the pointwise inequality is nonnegative almost everywhere would refute the main theorem.
Extended reading notes
Core claim
Let $K$ be a convex body in $\mathbb R^{n+1}$, and let $H_k(K,x)$ be the pointwise $k$-th mean curvature defined at normal boundary points. The central theorem states that if, for some $k=1,\dots,n$, the inequality $H_k(K,x) \ge \bigl(\mathcal H^n(\partial K)/((n+1)\mathcal L^{n+1}(K))\bigr)^k\binom{n}{k}$ holds for $\mathcal H^n$-almost every $x\in\partial K$, then $K$ is a ball. The constant is sharp: the convex body formed by two proper antipodal spherical caps has $H_k$ equal to $\binom{n}{k}$ on almost all of its boundary, but its volume-to-area ratio makes the right-hand side larger than $\binom{n}{k}$, so the hypothesis barely fails. The theorem is deduced from an isoperimetric inequality for arbitrary convex bodies, $\mathcal L^{n+1}(K) \le \frac{n}{n+1}\int_{\partial K} 1/H_1(K,x)\,d\mathcal H^n x$, whose equality case, under a boundedness assumption on $H_1$, forces $K$ to be a ball. This inequality is proved in a wider setting: for any closed set $C$ whose generalized principal curvatures satisfy $\sum_i \kappa_{C,i} \le 0$ almost everywhere on the generalized unit normal bundle, the volume of $\mathbb R^{n+1}\setminus C$ is bounded by $\frac{n}{n+1}\int_{\partial_+ C} 1/|h|\,d\mathcal H^n$, where $h$ is the approximate mean curvature vector of the positive boundary; equality plus boundedness of $|h|$ implies the complement is a finite union of disjoint open balls. A final result resolves the open conjecture from [FLW19]: a convex body of class $C^{1,1}$ outside a singular set of zero $\mathcal H^s$ measure with constant $k$-th mean curvature on its regular part, $1\le k\le n-s$, must be a ball.
Load-bearing premise
The proof assumes the validity of the generalized curvature formalism for arbitrary closed sets, specifically the identity linking the trace of the generalized second fundamental form to the approximate mean curvature vector and the generalized area formula used to pass from normal-bundle integrals to volume; the paper cites these tools from earlier work rather than reproving them.
Editorial extensions
If this is right
- A purely pointwise curvature bound, carrying no implicit regularity, now suffices to force a convex body to be a ball; the two-cap example shows the threshold cannot be lowered.
- Every convex body satisfies the new isoperimetric inequality $\mathcal L^{n+1}(K) \le \frac{n}{n+1}\int_{\partial K} 1/H_1(K,x)\,d\mathcal H^n x$, with equality characterizing balls under the boundedness condition $H_1\le q$.
- For generalized mean-convex closed sets, equality in the sharp volume bound forces the complement to be a finite union of disjoint open balls of radius at least $n/q$.
- The open problem from [FLW19] is settled: a convex body that is $C^{1,1}$ outside a singular set of zero $\mathcal H^s$ measure and has constant $k$-th mean curvature on its regular part, with $1\le k\le n-s$, must be a ball.
- The $L^1$ stability statement shows that a Hausdorff limit of convex bodies whose pointwise $H_k$ approaches the threshold in $L^1$ is necessarily a ball.
Reading between the lines
- The same isoperimetric mechanism suggests a quantitative stability route: the gap $\mathcal L^{n+1}(K)-\frac{n}{n+1}\int_{\partial K}1/H_1\,d\mathcal H^n$ is a natural, scale-dependent defect that vanishes only for balls, so a quantitative lower bound in terms of a shape asymmetry is a plausible next step.
- Because the proof converts $H_k$ bounds into $H_1$ bounds through the Newton-McLaurin inequality, analogous characterizations may hold for other symmetric functions of the principal curvatures whenever the same inequality chain applies.
- The sharp threshold could serve as a scale-invariant sphericity diagnostic in shape analysis: any convex body violating the pointwise inequality is certified non-spherical, and the theorem guarantees no non-ball can satisfy it.
- Since the mean-convexity condition also covers complements of mean-convex level-set flows and sets of finite perimeter with bounded distributional mean curvature, the equality analysis may yield rigidity statements for those broader classes, which the paper notes but does not explore.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a sharp isoperimetric-type inequality for closed sets satisfying a generalized mean-convexity condition expressed in terms of the trace of the generalized second fundamental form on the unit normal bundle (Theorem 4.1, stated as Theorem 1.3 in the introduction). This inequality is then specialized to convex bodies: Theorem 5.3 gives an isoperimetric inequality involving the pointwise first mean curvature, and Theorem 5.4 characterizes the ball as the unique convex body whose pointwise k-th mean curvature is bounded below by a geometric constant depending only on volume and boundary area. The paper also answers an open question from FLW19 by proving that a convex body whose boundary is C^{1,1} outside a singular set of sufficiently small Hausdorff dimension and whose k-th mean curvature is constant almost everywhere must be a ball (Theorem 5.8). The proofs rely on a substantial apparatus of generalized principal curvatures, approximate mean curvature vectors, and area formulas on unit normal bundles, largely developed in the author's prior work.
Significance. If the results are correct, they constitute a significant contribution: Theorem 5.4 provides a nonsmooth, sharp generalization of the classical Liebmann–Süss and Alexandrov characterizations of the sphere, and the equality case in the general isoperimetric inequality yields a rigidity statement for generalized mean-convex sets. The paper explicitly checks the sharpness example (the union of two antipodal spherical caps) by computation, and the equality-case analysis is detailed and uses a polynomial-volume argument to conclude that the set has positive reach and that its level sets are spheres. The reliance on prior work is heavy but not circular: the convex-body case includes a self-contained proof of the required absolute continuity of the normal-bundle measure (Lemma 5.1), and the general theorem is an independent contribution. The manuscript is careful in its statements and the main line of argument is credible.
major comments (1)
- [Section 5, proof of Theorem 5.8] In Theorem 5.8, when s=0 and k=n, the conclusion C_{n-k}(K,B)=\lambda C_n(K,B) becomes C_0(K,B)=\lambda H^n(B), and the proof invokes [Sch79, Satz 1.2]. However, the introduction explicitly states Schneider's theorem for indices k=1,\ldots,n-1, and it is not immediate that the index k=0 is covered. The author should clarify the exact statement of the cited theorem or supply an alternative argument for the C_0 case; otherwise the claim for s=0, k=n is not justified as written.
minor comments (1)
- [Throughout] There are several typographical and language issues (e.g., 'difference', 'a such characterization', 'Clos(B)'); these do not affect the mathematics but should be corrected in a revision.
Circularity Check
No significant circularity: the ball characterization follows from a new isoperimetric inequality proved in the paper, with prior self-citations supplying independent technical machinery.
full rationale
The central claim, Theorem 5.4, is not obtained by fitting a parameter and then calling it a prediction, nor by invoking a uniqueness theorem from the authors' own prior work. It is derived from the isoperimetric-type inequality Theorem 5.3, which in turn follows from the more general Theorem 4.1 for generalized mean-convex closed sets. The proof of Theorem 4.1 computes integrals over the unit normal bundle using the author's earlier framework [San20a, San19, MS19], but those prior results are parameter-free statements about arbitrary closed sets and do not contain the ball characterization or the volume inequality. The equality case uses independent results such as [HHL04] and a hypersurface rigidity theorem proved in the paper. The threshold appearing in Theorem 5.4 is a sharp constant obtained from Newton–McLaurin and the isoperimetric inequality, not a quantity fitted from the target conclusion. The absolute-continuity property (11) is imported from [San20a, 5.6]; whether that import is fully justified is a correctness concern, not a circularity concern, because it is not an equivalent reformulation of the theorem being proved. Self-citation here is extensive but technical and independent, so it does not make the derivation circular under the stated rules.
Assumptions & free parameters
assumptions (5)
- domain assumption Generalized curvature framework for arbitrary closed sets, including countable n-rectifiability of the unit normal bundle and the generalized area formula [San20a, 5.4].
- domain assumption Theorem of Heveling-Hug-Last [HHL04, Theorem 3]: polynomial parallel volume implies positive reach.
- domain assumption Schneider's theorem [Sch79, Satz 1.2]: if a curvature measure is proportional to surface measure, the convex body is a ball.
- standard math Newton-McLaurin inequality relating the first and k-th mean curvatures.
- standard math Standard geometric measure theory results: Lipschitz area formula, coarea formula, rectifiability theory from [Fed69].
Cite this review
Pith. "Pith review of Uniqueness of singular convex hypersurfaces with lower bounded k-th mean curvature." pith.science (2026). https://pith.science/paper/6GJV6JM4
@misc{pith2026190805952,
author = {Pith},
title = {Pith review of: Uniqueness of singular convex hypersurfaces with lower bounded k-th mean curvature},
year = {2026},
howpublished = {\url{https://pith.science/paper/6GJV6JM4}},
note = {Machine review of arXiv:1908.05952}
}
abstract
We obtain a sharp characterization of the Euclidean ball among all convex bodies K whose boundary has a pointwise k-th mean curvature not smaller than a geometric constant at almost all normal points. This geometric constant depends only on the volume and the boundary area of K. We deduce this characterization from a new isoperimetric-type inequality for arbitrary convex bodies, for which the equality is achieved uniquely by balls. This second result is proved in a more general context of generalized mean-convex sets. Finally we positively answer a question left open in [FLW19] proving a further sharp characterization of the ball among all convex bodies that are of class $ \mathcal{C}^{1,1} outside a singular set, whose Hausdorff dimension is suitably bounded from above.
Forward citations
Cited by 1 Pith paper
-
Uniqueness of critical points of the anisotropic isoperimetric problem for finite perimeter sets
Finite perimeter sets with reduced boundary almost equal to their closure that are volume-constrained critical points of a C^3 elliptic anisotropic perimeter must be finite unions of disjoint equal-radius Wulff shapes.
Reference graph
Works this paper leans on
-
[1]
Functions of bounded variation and free discontinuity problems
Luigi Ambrosio, Nicola Fusco, and Diego Pallara. Functions of bounded variation and free discontinuity problems . Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 2000
2000
-
[2]
A. D. Aleksandrov. Uniqueness theorems for surfaces in the large. V . Vestnik Leningrad. Univ. , 13(19):5--8, 1958
work page 1958
-
[3]
William K. Allard. On the first variation of a varifold. Ann. of Math. (2) , 95:417--491, 1972
1972
-
[4]
Convex hypersurfaces with bounded first mean curvature measure
Victor Bangert. Convex hypersurfaces with bounded first mean curvature measure. Calc. Var. Partial Differential Equations , 8(3):259--278, 1999
work page 1999
-
[5]
Yu. D. Burago and B. V. Kalinin. Smoothness and singularities of convex hypersurfaces. Algebra i Analiz , 8(3):39--55, 1996
work page 1996
-
[6]
Hessian measures of semi-convex functions and applications to support measures of convex bodies
Andrea Colesanti and Daniel Hug. Hessian measures of semi-convex functions and applications to support measures of convex bodies. Manuscripta Math. , 101(2):209--238, 2000
work page 2000
-
[7]
Alexandrov's theorem revisited
Matias Gonzalo Delgadino and Francesco Maggi. Alexandrov's theorem revisited. Anal. PDE , 12(6):1613--1642, 2019
work page 2019
-
[8]
Curvature measures
Herbert Federer. Curvature measures. Trans. Amer. Math. Soc. , 93:418--491, 1959
1959
Show all 31 references
-
[9]
Geometric measure theory
Herbert Federer. Geometric measure theory . Die Grundlehren der mathematischen Wissenschaften, Band 153. Springer-Verlag New York Inc., New York, 1969
1969
-
[10]
A note on closed convex hypersurfaces with singularities
Hao Fang, Mijia Lai, and Weifeng Wo. A note on closed convex hypersurfaces with singularities. Proc. Amer. Math. Soc. , 147(6):2661--2671, 2019
2019
-
[11]
Systems of total differential equations and L iouville's theorem on conformal mappings
Philip Hartman. Systems of total differential equations and L iouville's theorem on conformal mappings. Amer. J. Math. , 69:327--332, 1947
1947
-
[12]
Does polynomial parallel volume imply convexity? Math
Matthias Heveling, Daniel Hug, and G\" u nter Last. Does polynomial parallel volume imply convexity? Math. Ann. , 328(3):469--479, 2004
2004
-
[13]
A local S teiner-type formula for general closed sets and applications
Daniel Hug, G \"u nter Last, and Wolfgang Weil. A local S teiner-type formula for general closed sets and applications. Math. Z. , 246(1-2):237--272, 2004
2004
-
[14]
Absolute continuity for curvature measures of convex sets
Daniel Hug. Absolute continuity for curvature measures of convex sets. I . Math. Nachr. , 195:139--158, 1998
1998
-
[15]
Absolute continuity for curvature measures of convex sets
Daniel Hug. Absolute continuity for curvature measures of convex sets. II . Math. Z. , 232(3):437--485, 1999
1999
-
[16]
Absolute continuity for curvature measures of convex sets
Daniel Hug. Absolute continuity for curvature measures of convex sets. III . Adv. Math. , 169(1):92--117, 2002
2002
-
[17]
McMullen
P. McMullen. On the inner parallel body of a convex body. Israel J. Math. , 19:217--219, 1974
1974
-
[18]
Compact hypersurfaces: the A lexandrov theorem for higher order mean curvatures
Sebasti\' a n Montiel and Antonio Ros. Compact hypersurfaces: the A lexandrov theorem for higher order mean curvatures. In Differential geometry , volume 52 of Pitman Monogr. Surveys Pure Appl. Math. , pages 279--296. Longman Sci. Tech., Harlow, 1991
1991
-
[19]
A geometric second-order-rectifiable stratification for closed subsets of E uclidean space
Ulrich Menne and Mario Santilli. A geometric second-order-rectifiable stratification for closed subsets of E uclidean space. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 19(3):1185--1198, 2019
2019
-
[20]
E. Ossanna. Comparison between the generalized mean curvature according to A llard and F ederer's mean curvature measure. Rend. Sem. Mat. Univ. Padova , 88:221--227, 1992
1992
-
[21]
Fl\" a chen mit lauter N abelpunkten
Arno Pauly. Fl\" a chen mit lauter N abelpunkten. Elem. Math. , 63(3):141--144, 2008
2008
-
[22]
Uniqueness of critical points of the anisotropic isoperimetric problem for finite perimeter sets, 2019
Antonio De Rosa, Slawomir Kolasinski, and Mario Santilli. Uniqueness of critical points of the anisotropic isoperimetric problem for finite perimeter sets, 2019. To appear in Arch. Ration. Mech. Anal. https://doi.org/10.1007/s00205-020-01562-y
2019 doi
-
[23]
Compact hypersurfaces with constant higher order mean curvatures
Antonio Ros. Compact hypersurfaces with constant higher order mean curvatures. Rev. Mat. Iberoamericana , 3(3-4):447--453, 1987
1987
-
[24]
Rectifiability and approximate differentiability of higher order for sets
Mario Santilli. Rectifiability and approximate differentiability of higher order for sets. Indiana Univ. Math. J. , 68(3):1013--1046, 2019
2019
-
[25]
Fine properties of the curvature of arbitrary closed sets
Mario Santilli. Fine properties of the curvature of arbitrary closed sets. Ann. Mat. Pura Appl. (4) , 199(4):1431--1456, 2020
2020
-
[26]
Normal bundle and A lmgren's geometric inequality for singular varieties of bounded mean curvature
Mario Santilli. Normal bundle and A lmgren's geometric inequality for singular varieties of bounded mean curvature. Bull. Math. Sci. , 10(1):2050008, 24, 2020
2020
-
[27]
o rper durch K r\
Rolf Schneider. Bestimmung konvexer K \" o rper durch K r\" u mmungsmasse. Comment. Math. Helv. , 54(1):42--60, 1979
1979
-
[28]
Convex bodies: the B runn- M inkowski theory , volume 151 of Encyclopedia of Mathematics and its Applications
Rolf Schneider. Convex bodies: the B runn- M inkowski theory , volume 151 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, expanded edition, 2014
2014
-
[29]
Curvatures of typical convex bodies---the complete picture
Rolf Schneider. Curvatures of typical convex bodies---the complete picture. Proc. Amer. Math. Soc. , 143(1):387--393, 2015
2015
-
[30]
L. L. Stach\'o. On curvature measures. Acta Sci. Math. (Szeged) , 41(1-2):191--207, 1979
1979
-
[31]
Controlling area blow-up in minimal or bounded mean curvature varieties
Brian White. Controlling area blow-up in minimal or bounded mean curvature varieties. J. Differential Geom. , 102(3):501--535, 2016
2016
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.