arxiv: 2603.23946 · v2 · submitted 2026-03-25 · 🧮 math.DG

Heintze-Karcher and Reverse Alexandrov-Fenchel Inequalities via Focal Geometry

Kwok-Kun Kwong , Scott Parkins , Glen Wheeler This is my paper

Pith reviewed 2026-05-15 00:55 UTC · model grok-4.3

classification 🧮 math.DG

keywords reverse Alexandrov-Fenchel inequalityfocal geometryHeintze-Karcher inequalityconvex hypersurfacesMinkowski inequalityevolutespace formsisoperimetric deficit

0 comments

The pith

Reverse Alexandrov-Fenchel inequalities for convex hypersurfaces hold with deficits controlled by signed volumes of focal maps.

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

The paper proves reverse Alexandrov-Fenchel type inequalities for smooth closed strictly convex hypersurfaces and curves across Euclidean, spherical, and hyperbolic settings. The unifying mechanism is that each inequality deficit is bounded above by curvature-radius data, expressed equivalently as the signed volume enclosed by an associated evolute or focal map. In Euclidean space this produces the explicit sharp estimate relating integrals of the normalized mean curvatures E_k. The same focal-volume interpretation recovers known two-dimensional formulae and supplies new deficit identities in space forms. A sympathetic reader cares because the bounds give concrete geometric control on how far a given surface or curve deviates from the equality case of a sphere or geodesic circle.

Core claim

For smooth closed strictly convex hypersurfaces in R^{n+1} the inequality 0 ≤ (1/|S^n|) (∫_M E_{n-1} dμ)^2 − ∫_M E_{n-2} dμ ≤ (n/(2(n+1))) ∫_M (E_{n-1}^2 − E_{n-2} E_n)/E_n dμ holds, and the deficit equals the oriented volumes of the two focal maps. In space forms a normal-graph formula for oriented volume yields focal-map interpretations of the deficit in the unweighted Heintze–Karcher inequality. Exact reverse isoperimetric identities are proved for curves on S^2 and strictly horoconvex curves in H^2, with remainders given by explicit nonnegative integrals that measure oscillation of geodesic curvature. An anisotropic Hurwitz-type inequality is established for curves in Minkowski planes.

What carries the argument

The signed volume of the focal map (or evolute), which encodes curvature-radius information and directly controls the size of each inequality deficit.

If this is right

The deficit of the Minkowski inequality equals the oriented volumes of the two focal maps.
Deficits of unweighted Heintze–Karcher inequalities in space forms admit focal-map interpretations via the normal-graph volume formula.
For every smooth simple closed curve on S^2 the spherical isoperimetric deficit is bounded above by the square of the integral of its Euclidean curvature minus 4π².
Exact reverse isoperimetric identities hold on S^2 and in H^2 with remainders given by integrals of geodesic-curvature oscillation.
For smooth simple strictly convex curves in a Minkowski plane the anisotropic isoperimetric deficit is bounded above by the signed Euclidean area of the Minkowski evolute.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The focal-volume technique could be tested on perturbed spheres to produce explicit stability constants for the sphere as a minimizer.
Similar reverse inequalities may exist for hypersurfaces with boundary or in other ambient manifolds once appropriate focal constructions are defined.
Numerical checks on random convex surfaces could verify whether equality holds only for spheres and circles, as the paper’s equality cases suggest.

Load-bearing premise

The hypersurfaces and curves are assumed smooth, closed, and strictly convex so that the normalized mean curvatures remain positive and the focal maps are regular enough for the volume formulas to apply.

What would settle it

Compute both sides of the main Euclidean inequality for a concrete non-round example such as a triaxial ellipsoid; if the observed deficit ever exceeds the right-hand side for any such surface the claimed bound is false.

read the original abstract

We prove a collection of reverse Alexandrov-Fenchel type inequalities in anisotropic, Euclidean, spherical, and hyperbolic settings. The unifying principle is that the relevant deficit is controlled by curvature radius data, or equivalently by the signed volume of an associated evolute or focal map. For smooth simple strictly convex curves in a smooth Minkowski plane we prove an anisotropic Hurwitz-type inequality: the anisotropic isoperimetric deficit is bounded above by the signed Euclidean area of the Minkowski evolute. For smooth closed strictly convex hypersurfaces in $\mathbb R^{n+1}$, with $E_k$ denoting the normalised $k$-th mean curvature, we establish the sharp reverse Alexandrov-Fenchel estimate \[ 0\le \frac{1}{|\mathbb S^{n}|} \left(\int_{M}E_{n-1}\,d\mu\right)^{2} -\int_{M}E_{n-2}\,d\mu \le \frac{n}{2(n+1)} \int_{M}\frac{E_{n-1}^{2}-E_{n-2}E_{n}}{E_{n}}\,d\mu . \] We also relate the deficit of the Minkowski inequality to the oriented volumes of the two focal maps. In space forms we derive a normal-graph formula for oriented volume and use it to give focal-map interpretations of the deficit of an unweighted Heintze--Karcher inequality. In dimension two this recovers evolute-area formulae. We then prove exact reverse isoperimetric identities for curves on $\mathbb S^{2}$ and strictly horoconvex curves in $\mathbb H^{2}$, in which the remainders are explicit nonnegative integrals measuring the oscillation of geodesic curvature. In the spherical case, for every smooth simple closed curve $\gamma\subset\mathbb S^2$ with length $L$ and enclosed area $A$, if $k_E$ denotes the ambient Euclidean curvature of $\gamma$, then \[ L^{2}-A(4\pi-A) \le \left(\int_{\gamma}k_E\,ds\right)^{2}-4\pi^{2}, \] with equality if and only if $\gamma$ is a geodesic circle. This relates the spherical isoperimetric deficit with the Euclidean Fenchel deficit.

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.

Desk Editor's Note private letter to a colleague

Focal geometry supplies a unifying remainder for several reverse AF and Heintze-Karcher inequalities, with the main new estimates holding up formally but needing a check on volume formulas at focal degeneracies.

read the letter

The paper shows that deficits in reverse Alexandrov-Fenchel and Heintze-Karcher inequalities can be controlled by the signed volumes of the associated focal maps or evolutes. This gives a single geometric principle that covers anisotropic curves in Minkowski planes, hypersurfaces in Euclidean space, and curves in spherical and hyperbolic space forms. The Euclidean reverse estimate bounds the normalized curvature deficit by an explicit integral of (E_{n-1}^2 - E_{n-2} E_n)/E_n, and the spherical case ties the isoperimetric deficit to the Euclidean Fenchel term with a clean equality case on geodesic circles. These identities are new as stated and recover the classical evolute-area formulas in dimension two without extra parameters. The derivations rest on normal-graph volume formulas rather than ad-hoc fitting, which keeps the circularity low. Equality cases are identified explicitly, which is useful for applications. The focal-map approach is the clearest part of the work and organizes results that previously sat in separate literatures. The soft spot is the regularity of the focal maps when writing the oriented-volume formulas. At points where the Jacobian factor vanishes the maps cease to be immersions, so the signed-volume interpretation requires either a continuity argument or an approximation by regular cases to cover the whole hypersurface. The abstract and the normal-graph derivation suggest this is handled, but the step is load-bearing and would benefit from a short explicit justification in the text. Overall the claims are specific and the geometry is coherent. The paper is aimed at people working on sharp inequalities for convex hypersurfaces in space forms. A reader who already knows the classical Alexandrov-Fenchel and Heintze-Karcher statements will get the most out of the focal remainders. It deserves a serious referee because the results are concrete, the equality cases are sharp, and the unifying device is worth checking in detail.

Referee Report

2 major / 2 minor

Summary. The manuscript proves reverse Alexandrov-Fenchel inequalities for smooth closed strictly convex hypersurfaces in Euclidean space, bounding the deficit (1/|S^n| (∫ E_{n-1} dμ)^2 - ∫ E_{n-2} dμ) by an integral involving (E_{n-1}^2 - E_{n-2} E_n)/E_n and relating it to oriented volumes of the two focal maps. It derives a normal-graph formula for oriented volume in space forms to interpret Heintze-Karcher deficits via focal maps, and establishes anisotropic Hurwitz-type inequalities for curves in Minkowski planes together with explicit reverse isoperimetric identities for curves on S^2 and horoconvex curves in H^2, with equality cases characterized.

Significance. If the derivations are complete, the work supplies a geometric unification of deficit estimates across Euclidean, spherical, hyperbolic, and anisotropic settings by expressing remainders in terms of signed focal volumes and curvature-radius data. The normal-graph volume formula and the sharp constant n/(2(n+1)) constitute concrete advances that could facilitate further applications in convex geometry.

major comments (2)

[Section deriving the reverse AF estimate and focal-map volumes in R^{n+1}] The central reverse AF inequality and its focal-volume interpretation rest on the oriented-volume formula for the focal maps p ↦ p + r_i(p) ν(p). When the Jacobian factor ∏_{j≠i} (1 - r_i κ_j) vanishes, the map ceases to be an immersion; the manuscript must supply a separate justification (e.g., by density of regular points or continuity of the signed volume) for the formula to remain valid at those loci, as the standard immersion-based derivation does not apply directly.
[Section on normal-graph formula in space forms] The normal-graph volume formula introduced for space forms is invoked to interpret the Heintze-Karcher deficit; the derivation of this formula should be checked for dependence on the focal radius being strictly less than the minimal principal radius of curvature, since the paper applies it to both focal maps simultaneously.

minor comments (2)

[Introduction and notation section] The normalized mean curvatures E_k are introduced without an explicit recursive definition or reference to the standard elementary symmetric polynomials; a short clarifying sentence in the preliminaries would improve readability.
[Spherical-curve inequality] In the spherical-curve identity, the term (∫ k_E ds)^2 - 4π² appears on the right-hand side; its relation to the classical Fenchel deficit should be stated explicitly to avoid reader confusion.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for the thorough review and the encouraging remarks on the significance of our results. We address each major comment below and will make the necessary revisions to strengthen the manuscript.

read point-by-point responses

Referee: [Section deriving the reverse AF estimate and focal-map volumes in R^{n+1}] The central reverse AF inequality and its focal-volume interpretation rest on the oriented-volume formula for the focal maps p ↦ p + r_i(p) ν(p). When the Jacobian factor ∏_{j≠i} (1 - r_i κ_j) vanishes, the map ceases to be an immersion; the manuscript must supply a separate justification (e.g., by density of regular points or continuity of the signed volume) for the formula to remain valid at those loci, as the standard immersion-based derivation does not apply directly.

Authors: We concur that the standard derivation requires the map to be an immersion. In the revised manuscript we will add a dedicated paragraph extending the oriented-volume formula to the vanishing-Jacobian loci by a density-plus-continuity argument: for any fixed hypersurface the singular set has measure zero, and we approximate by nearby strictly convex hypersurfaces on which the focal maps are immersions almost everywhere; the signed volume is continuous in the C^2 topology, so the formula passes to the limit and remains valid without changing the subsequent estimates. revision: yes
Referee: [Section on normal-graph formula in space forms] The normal-graph volume formula introduced for space forms is invoked to interpret the Heintze-Karcher deficit; the derivation of this formula should be checked for dependence on the focal radius being strictly less than the minimal principal radius of curvature, since the paper applies it to both focal maps simultaneously.

Authors: We thank the referee for this observation. The normal-graph formula is initially derived under the assumption that the graphing height keeps the surface away from focal loci. For the focal maps themselves the radius equals a principal radius of curvature. In revision we will first establish the formula for radii strictly below the minimal principal radius, then pass to the exact focal value by continuity of the oriented volume with respect to the radius parameter. Each focal map is handled separately in its own limiting process, so the simultaneous application is justified without altering the Heintze-Karcher deficit interpretation. revision: yes

Circularity Check

0 steps flagged

Derivations are self-contained geometric identities from focal volume formulas derived in the paper

full rationale

The paper derives normal-graph volume formulas internally and relates Alexandrov-Fenchel deficits directly to signed focal-map volumes via explicit integral identities. No parameters are fitted to data and then relabeled as predictions; no load-bearing uniqueness theorems are imported solely via self-citation; the central inequalities follow from curvature-radius expressions and oriented-volume calculations that are not tautological with the input assumptions. The focal-map regularity concern is a potential gap in justification but does not create a circular reduction in the derivation chain itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard differential-geometry background (smoothness of hypersurfaces, positivity of curvatures under strict convexity) and introduces no new free parameters or invented entities beyond the classical focal map.

axioms (1)

domain assumption Hypersurfaces are smooth, closed, and strictly convex
Required for normalized mean curvatures E_k to be positive and for focal maps to be well-defined.

pith-pipeline@v0.9.0 · 5733 in / 1288 out tokens · 28914 ms · 2026-05-15T00:55:35.286707+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove a collection of reverse Alexandrov-Fenchel type inequalities... the relevant deficit is controlled by curvature radius data, or equivalently by the signed volume of an associated evolute or focal map.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

V_K_{n+1}[f] = |Ω| + ∫_M ∑ H_{n-i} ϕ_K^i(u) dμ (normal-graph oriented-volume formula)
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

0 ≤ (1/|S^n| (∫ E_{n-1} dμ)^2 - ∫ E_{n-2} dμ) ≤ (n/2(n+1)) ∫ (E_{n-1}^2 - E_{n-2}E_n)/E_n dμ

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

A characteristic property of spheres.Annali di Matematica Pura ed Ap- plicata, 58:303–315, 1962

Alexander Danilovich Alexandrov. A characteristic property of spheres.Annali di Matematica Pura ed Ap- plicata, 58:303–315, 1962

work page 1962
[2]

Allendoerfer

Carl B. Allendoerfer. Steiner’s formulae on a generalS n+1.Bulletin of the American Mathematical Society, 54:128–135, 1948

work page 1948
[3]

Constant mean curvature surfaces in warped product manifolds.Publications Math´ ematiques de l’IH ´ES, 117:247–269, 2013

Simon Brendle. Constant mean curvature surfaces in warped product manifolds.Publications Math´ ematiques de l’IH ´ES, 117:247–269, 2013

work page 2013
[4]

Chakerian

Gulbank D. Chakerian. The isoperimetric problem in the Minkowski plane.American Mathematical Monthly, pages 1002–1004, 1960

work page 1960
[5]

On the total curvature of immersed manifolds

Bang-Yen Chen. On the total curvature of immersed manifolds. I: An inequality of Fenchel-Borsuk-Willmore. American Journal of Mathematics, 93(1):148–162, 1971

work page 1971
[6]

A note on Hurwitz’s inequality.J

Juli` a Cuf´ ı, Eduardo Gallego, and Agust´ ı Revent´ os. A note on Hurwitz’s inequality.J. Math. Anal. Appl., 458(1):436–451, 2018

work page 2018
[7]

Evolutes and isoperimetric deficit in two-dimensional spaces of constant curvature.Archivum Mathematicum, 50(4):219–236, 2014

Juli` a Cuf´ ı and Agust´ ı Revent´ os. Evolutes and isoperimetric deficit in two-dimensional spaces of constant curvature.Archivum Mathematicum, 50(4):219–236, 2014

work page 2014
[8]

Escudero and Agust´ ı Revent´ os

Carlos A. Escudero and Agust´ ı Revent´ os. An interesting property of the evolute.The American Mathematical Monthly, 114(7):623–628, 2007

work page 2007
[9]

¨Uber Kr¨ ummung und Windung geschlossener Raumkurven.Mathematische Annalen, 101:238–252, 1929

Werner Fenchel. ¨Uber Kr¨ ummung und Windung geschlossener Raumkurven.Mathematische Annalen, 101:238–252, 1929

work page 1929
[10]

Evolving plane curves by curvature in relative geometries

Michael E Gage and Yi Li. Evolving plane curves by curvature in relative geometries. InDuke Math. J. Citeseer, 1993

work page 1993
[11]

Universitext

Sylvestre Gallot, Dominique Hulin, and Jacques Lafontaine.Riemannian Geometry. Universitext. Springer, Berlin, 3rd edition, 2004

work page 2004
[12]

Cambridge University Press, 1996

Helmut Groemer.Geometric applications of Fourier series and spherical harmonics, volume 61. Cambridge University Press, 1996

work page 1996
[13]

A general comparison theorem with applications to volume estimates for submanifolds.Annales scientifiques de l’ ´Ecole Normale Sup´ erieure

Ernst Heintze and Hermann Karcher. A general comparison theorem with applications to volume estimates for submanifolds.Annales scientifiques de l’ ´Ecole Normale Sup´ erieure. Quatri` eme S´ erie, 11(4):451–470, 1978

work page 1978
[14]

Sur quelques applications g´ eom´ etriques des s´ eries de fourier

Adolf Hurwitz. Sur quelques applications g´ eom´ etriques des s´ eries de fourier. InAnnales scientifiques de l’´ ecole normale sup´ erieure, volume 19, pages 357–408, 1902

work page 1902
[15]

Higher order Wirtinger-type inequalities and sharp bounds for the isoperi- metric deficit.Proceedings of the American Mathematical Society, 149(11):4825–4837, 2021

Kwok-Kun Kwong and Hojoo Lee. Higher order Wirtinger-type inequalities and sharp bounds for the isoperi- metric deficit.Proceedings of the American Mathematical Society, 149(11):4825–4837, 2021

work page 2021
[16]

Application of Andrews and Green-Osher inequalities to nonlocal flow of convex plane curves.Journal of Evolution Equations, 12(4):833–854, 2012

Yu-Chu Lin and Dong-Ho Tsai. Application of Andrews and Green-Osher inequalities to nonlocal flow of convex plane curves.Journal of Evolution Equations, 12(4):833–854, 2012

work page 2012
[17]

The geometry of Minkowski spaces-a survey

Horst Martini and Konrad J Swanepoel. The geometry of Minkowski spaces-a survey. part II.Expositiones mathematicae, 22(2):93–144, 2004

work page 2004
[18]

The geometry of Minkowski spaces-a survey

Horst Martini, Konrad J Swanepoel, and Gunter Weiß. The geometry of Minkowski spaces-a survey. part I. Expositiones mathematicae, 19(2):97–142, 2001

work page 2001
[19]

Compact hypersurfaces: The Alexandrov theorem for higher order mean curvatures

Sebasti´ an Montiel and Antonio Ros. Compact hypersurfaces: The Alexandrov theorem for higher order mean curvatures. InDifferential Geometry, volume 52 ofPitman Monographs and Surveys in Pure and Applied Mathematics, pages 279–296. Longman Scientific & Technical, Harlow, 1991

work page 1991
[20]

Academic Press, New York, 1983

Barrett O’Neill.Semi-Riemannian Geometry with Applications to Relativity. Academic Press, New York, 1983

work page 1983
[21]

The quermassintegral inequalities for horo-convex domains in the sphere

Shujing Pan and Julian Scheuer. The quermassintegral inequalities for horo-convex domains in the sphere. arXiv preprint arXiv:2512.12565, 2025

work page arXiv 2025
[22]

A generalization of Reilly’s formula and its applications to a new Heintze–Karcher type inequality.International Mathematics Research Notices, 2015(17):7608–7619, 2015

Guofang Qiu and Chao Xia. A generalization of Reilly’s formula and its applications to a new Heintze–Karcher type inequality.International Mathematics Research Notices, 2015(17):7608–7619, 2015

work page 2015
[23]

Compact hypersurfaces with constant higher order mean curvatures.Revista Matem´ atica Iberoamericana, 3(3–4):447–453, 1987

Antonio Ros. Compact hypersurfaces with constant higher order mean curvatures.Revista Matem´ atica Iberoamericana, 3(3–4):447–453, 1987

work page 1987
[24]

Isoperimetric type problems and Alexandrov-Fenchel type inequalities in the hyperbolic space.Advances in Mathematics, 259:532–556, 2014

Guofang Wang and Chao Xia. Isoperimetric type problems and Alexandrov-Fenchel type inequalities in the hyperbolic space.Advances in Mathematics, 259:532–556, 2014

work page 2014
[25]

Closed strong spacelike curves, Fenchel theorem and Plateau problem in the 3- dimensional Minkowski space.Chinese Annals of Mathematics, Series B, 40(2):217–226, 2019

Nan Ye and Xiang Ma. Closed strong spacelike curves, Fenchel theorem and Plateau problem in the 3- dimensional Minkowski space.Chinese Annals of Mathematics, Series B, 40(2):217–226, 2019. 42 K-K. KWONG, S. PARKINS, AND G. WHEELER School of Mathematics and Physics, University of Wollongong, Northfields A ve, Wollongong, NSW2500, Australia Email address:kw...

work page 2019