Pith. sign in

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 →

arxiv 1908.05952 v4 pith:6GJV6JM4 submitted 2019-08-16 math.DG math.AP

classification math.DGmath.AP MSC 52A2052A4053A07
keywords convexbodiespointwisek-thmeancurvatureisoperimetricinequalitycharacterizationoftheballgeneralizedprincipalcurvaturessingularhypersurfacesmeasurespositivereach
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 paper proves a sharp rigidity theorem: if a convex body in $\mathbb R^{n+1}$ has pointwise $k$-th mean curvature at least $\bigl(\mathcal H^n(\partial K)/((n+1)\mathcal L^{n+1}(K))\bigr)^k\binom{n}{k}$ at almost every boundary point, then the body must be a Euclidean ball. This matters because it extends classical smooth rigidity results to a pointwise notion of curvature that imposes no regularity on the boundary. The proof rests on a new isoperimetric inequality for arbitrary convex bodies, $\mathcal L^{n+1}(K) \le \frac{n}{n+1}\int_{\partial K} \frac{1}{H_1(K,x)}\,d\mathcal H^n x$, whose equality case forces the ball. The same inequality is proved for a broad class of closed sets with a generalized mean-convexity condition, and the paper also answers an open conjecture about convex bodies with small singular sets and constant higher-order mean curvature.

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.

Watch

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

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

  • 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.
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

1 major / 1 minor

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)
  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)
  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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

The paper adds no free parameters and no new physical or geometric entities. Its contribution is a new theorem proved within an existing framework, borrowing heavy machinery from the author's prior work and from geometric measure theory.

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].
    Invoked throughout Sections 2 and 4; the main proof is built on these results.
  • domain assumption Theorem of Heveling-Hug-Last [HHL04, Theorem 3]: polynomial parallel volume implies positive reach.
    Used in Claim 4 of Theorem 4.1 to conclude reach C >= n/q.
  • domain assumption Schneider's theorem [Sch79, Satz 1.2]: if a curvature measure is proportional to surface measure, the convex body is a ball.
    Used in Theorem 5.8 to conclude K is a ball.
  • standard math Newton-McLaurin inequality relating the first and k-th mean curvatures.
    Used in the proof of Theorem 5.4 to pass from a k-th mean curvature bound to a first mean curvature bound.
  • standard math Standard geometric measure theory results: Lipschitz area formula, coarea formula, rectifiability theory from [Fed69].
    Used throughout Section 4 and in the proofs of the technical lemmas.

how reviews work

0 comments
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.

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. Uniqueness of critical points of the anisotropic isoperimetric problem for finite perimeter sets

    math.AP 2019-08 accept novelty 7.0 of 10

    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

31 extracted references · 26 canonical work pages · cited by 1 Pith paper

  1. [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

  2. [2]

    A. D. Aleksandrov. Uniqueness theorems for surfaces in the large. V . Vestnik Leningrad. Univ. , 13(19):5--8, 1958

  3. [3]

    William K. Allard. On the first variation of a varifold. Ann. of Math. (2) , 95:417--491, 1972

  4. [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

  5. [5]

    Yu. D. Burago and B. V. Kalinin. Smoothness and singularities of convex hypersurfaces. Algebra i Analiz , 8(3):39--55, 1996

  6. [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

  7. [7]

    Alexandrov's theorem revisited

    Matias Gonzalo Delgadino and Francesco Maggi. Alexandrov's theorem revisited. Anal. PDE , 12(6):1613--1642, 2019

  8. [8]

    Curvature measures

    Herbert Federer. Curvature measures. Trans. Amer. Math. Soc. , 93:418--491, 1959

Show all 31 references
  1. [9]

    Geometric measure theory

    Herbert Federer. Geometric measure theory . Die Grundlehren der mathematischen Wissenschaften, Band 153. Springer-Verlag New York Inc., New York, 1969

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [17]

    McMullen

    P. McMullen. On the inner parallel body of a convex body. Israel J. Math. , 19:217--219, 1974

  10. [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

  11. [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

  12. [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

  13. [21]

    Fl\" a chen mit lauter N abelpunkten

    Arno Pauly. Fl\" a chen mit lauter N abelpunkten. Elem. Math. , 63(3):141--144, 2008

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [30]

    L. L. Stach\'o. On curvature measures. Acta Sci. Math. (Szeged) , 41(1-2):191--207, 1979

  23. [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

Pith tools

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