arxiv: 2604.26828 · v3 · submitted 2026-04-29 · 🧮 math.AP

Recognition: unknown

On the monotonicity of affine quermassintegrals

Shibing Chen , Yuanyuan Li , Xianduo Wang

Authors on Pith no claims yet

Pith reviewed 2026-05-07 11:18 UTC · model grok-4.3

classification 🧮 math.AP

keywords affine quermassintegralsL^{-n}-momentmonotonicityconvex bodiesspherical harmonicscounterexamplesthree-dimensional case

0 comments

The pith

Small degree-four perturbations of the Euclidean ball produce convex bodies where the normalized affine quermassintegrals reverse their expected order for most index pairs in high dimensions.

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

The paper tests a long-standing conjecture that the normalized L^{-n}-moment affine quermassintegrals satisfy I_{m,-n}(K)^{1/m} ≥ I_{k,-n}(K)^{1/k} whenever 1 ≤ m < k ≤ n. It constructs explicit counterexamples by taking the unit ball and adding an arbitrarily small multiple of a degree-four spherical harmonic; for every triple m, k, n with 1 ≤ m < k ≤ n-1 and n > (m+2)(k+2)-2, the resulting origin-symmetric C²₊ body satisfies the strict reverse inequality. In dimension three the authors prove the full chain I_{1,-3} ≥ I_{2,-3}^{1/2} ≥ I_{3,-3}^{1/3} = 1 holds for every convex body, with equality only for ellipsoids up to translation and nonsingular affine maps.

Core claim

For every triple of integers m, k, n satisfying 1 ≤ m < k ≤ n-1 and n > (m+2)(k+2)-2 there exists an origin-symmetric C²₊ convex body K in R^n such that I_{m,-n}(K)^{1/m} < I_{k,-n}(K)^{1/k}. The bodies are obtained from the Euclidean ball by an arbitrarily small degree-four spherical-harmonic perturbation whose second-order effect on the normalized functionals produces the reversal. In R^3 the opposite chain holds for all convex bodies, with equality cases precisely the ellipsoids.

What carries the argument

Degree-four spherical harmonic perturbation of the Euclidean ball, whose second-order variation reverses the normalized ordering of I_{m,-n} and I_{k,-n}.

If this is right

The conjectured Alexandrov-Fenchel-type monotonicity for the L^{-n}-moment quermassintegrals does not hold in the full range of indices.
The complete chain from index 1 to index 3 is valid in three dimensions for every convex body.
Equality in the three-dimensional inequalities holds exactly when the body is an ellipsoid after translation and nonsingular affine transformation.

Where Pith is reading between the lines

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

Monotonicity may survive only when one index reaches the ambient dimension, consistent with the already-proved case k = n.
The same perturbation technique can be applied to test monotonicity or other comparison conjectures for different families of affine invariants.
The result indicates that many affine isoperimetric inequalities may require dimension restrictions or additional convexity assumptions.

Load-bearing premise

The second-order term in the expansion of the normalized quermassintegrals under a degree-four harmonic perturbation of the ball has the sign needed to reverse the ordering for the stated range of m, k and n.

What would settle it

Explicit computation, in any dimension n > (m+2)(k+2)-2, of the second-order coefficients for I_{m,-n} and I_{k,-n} on a concrete degree-four perturbed ball, checking whether the normalized values satisfy the claimed strict inequality.

read the original abstract

Lutwak's affine quermassintegral theory is a foundational component of modern affine Brunn--Minkowski theory. Developed in the 1980s, it provides affine analogues of the classical quermassintegrals and has led to a rich family of sharp affine isoperimetric inequalities. A central question in this program, going back to Lutwak's 1988 work, is an Alexandrov--Fenchel-type monotonicity principle for the normalized $L^{-n}$-moment quermassintegrals $I_{k,-n}$. In one form, this principle predicts that \[ I_{m,-n}(K)^{1/m}\ge I_{k,-n}(K)^{1/k}, \qquad 1\le m<k\le n . \] The question was recorded in Gardner's 2006 book Geometric Tomography as part of its problem list, and the comparison with the top dimension, $k=n$, was established by Milman and Yehudayoff in their 2023 JAMS paper. We show that the proposed monotonicity does not persist in the full range. More precisely, for every triple of integers $m,k,n$ satisfying $1\le m<k\le n-1$ and $n>(m+2)(k+2)-2$, there exists an origin-symmetric $C^2_+$ convex body $K\subset\mathbb R^n$ such that \[ I_{m,-n}(K)^{1/m} < I_{k,-n}(K)^{1/k}. \] The example is obtained from the Euclidean ball by an arbitrarily small degree-four spherical harmonic perturbation. On the positive side, we prove that the endpoint chain is true in dimension three: for every convex body $K\subset\mathbb R^3$, \[ I_{1,-3}(K)\ge I_{2,-3}(K)^{1/2}\ge I_{3,-3}(K)^{1/3}=1. \] The equality cases in both non-trivial inequalities are exactly ellipsoids, up to translation and nonsingular affine transformations.

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

This paper gives the first counterexamples to monotonicity of affine quermassintegrals for intermediate indices and proves the 3D case.

read the letter

The main thing to know is that the paper disproves the long-standing monotonicity conjecture for the normalized L^{-n}-moment affine quermassintegrals outside the highest index, with the first counterexamples for pairs m < k both less than n, and it proves the entire chain in dimension three. The new contribution is the range of counterexamples: for any m, k, n with 1 ≤ m < k ≤ n-1 and n larger than (m+2)(k+2)-2, there is an origin-symmetric C^2 convex body where the inequality reverses. The construction is a small perturbation of the ball by a degree-four spherical harmonic. This is independent of the conjecture. The positive result in 3D includes equality cases exactly for ellipsoids after affine transforms, which is clean. The potential soft spot is whether the second-order terms in the variation of I_{j,-n} indeed produce the reversal after normalization for those dimensions. The paper states that they do under the threshold, so if the expansions are correct there is no issue with higher orders for small perturbations. The rest of the argument looks solid and the citations are appropriate. This work is for specialists in convex geometry who follow the affine theory. It will be useful for anyone trying to understand the scope of monotonicity principles in this area. I would send this to a serious referee rather than desk reject it.

Referee Report

1 major / 2 minor

Summary. The manuscript disproves the conjectured monotonicity I_{m,-n}(K)^{1/m} ≥ I_{k,-n}(K)^{1/k} for 1 ≤ m < k ≤ n by exhibiting, for every triple with n > (m+2)(k+2)-2, an origin-symmetric C²₊ convex body K obtained from a small degree-4 spherical-harmonic perturbation of the Euclidean ball on which the inequality reverses. Separately, it proves the full chain I_{1,-3}(K) ≥ I_{2,-3}(K)^{1/2} ≥ I_{3,-3}(K)^{1/3} = 1 in dimension three, with equality cases precisely the ellipsoids (up to translation and nonsingular affine maps).

Significance. The counterexample construction supplies a definitive negative answer to the long-standing question recorded by Lutwak and listed in Gardner’s Geometric Tomography, complementing the k = n case settled by Milman–Yehudayoff. The explicit perturbation method yields concrete, arbitrarily small counterexamples and the three-dimensional positive result with sharp equality cases strengthens the low-dimensional theory. The use of second-order expansions under even spherical harmonics is a standard, reproducible technique in convex geometry.

major comments (1)

[§3] §3 (or the section containing the perturbation analysis): the second-order coefficient in the expansion of the normalized functional I_{j,-n}^{1/j} under the degree-4 harmonic perturbation must be computed explicitly (including the relevant integral of the harmonic against the curvature or support function) to confirm that its sign produces the claimed reversal precisely when n > (m+2)(k+2)-2. This coefficient is load-bearing for the existence statement.

minor comments (2)

[Abstract] The abstract and introduction should state the precise normalization convention for I_{k,-n} at the outset so that the monotonicity statement is immediately readable without external references.
[§5] In the three-dimensional proof, clarify whether the equality-case analysis relies on the equality conditions of the Brunn–Minkowski inequality or on a separate rigidity argument for the affine surface area.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for recommending minor revision. The comment on the perturbation analysis is well taken and will be addressed by adding the requested explicit computation.

read point-by-point responses

Referee: [§3] §3 (or the section containing the perturbation analysis): the second-order coefficient in the expansion of the normalized functional I_{j,-n}^{1/j} under the degree-4 harmonic perturbation must be computed explicitly (including the relevant integral of the harmonic against the curvature or support function) to confirm that its sign produces the claimed reversal precisely when n > (m+2)(k+2)-2. This coefficient is load-bearing for the existence statement.

Authors: We agree that the second-order coefficient must be displayed explicitly to make the sign analysis fully transparent. In the revised manuscript we will insert the complete expansion of I_{j,-n}^{1/j} under the degree-4 even spherical-harmonic perturbation, including the explicit integral formula that arises from the second variation of the L^{-n}-moment functional (the integral of the harmonic against the appropriate combination of the support function and curvature terms of the unit ball). We will then verify algebraically that the resulting coefficient is strictly negative precisely when n > (m+2)(k+2)-2, thereby confirming the reversal for all admissible triples. revision: yes

Circularity Check

0 steps flagged

No significant circularity; counterexample and 3D proof are self-contained

full rationale

The central negative result is an explicit existence claim obtained by perturbing the Euclidean ball with a small degree-4 spherical harmonic; the sign of the second-order expansion of the normalized I_{j,-n} quantities is computed directly from the perturbation and shown to reverse the ordering under the stated dimension threshold. The positive 3D chain I_{1,-3} ≥ I_{2,-3}^{1/2} ≥ I_{3,-3}^{1/3} is proved by a separate, self-contained inequality argument whose equality cases are identified without reference to the conjecture or to any fitted parameters. No step reduces by definition to its own output, no prediction is a renamed fit, and no load-bearing premise rests on a self-citation chain. The derivation is therefore independent of the monotonicity statement it refutes.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on standard definitions and smoothness assumptions from affine convex geometry; no new entities are introduced and no parameters are fitted to data.

axioms (2)

domain assumption Convex bodies under consideration are origin-symmetric, C^2 smooth, and have positive Gaussian curvature
Required for the spherical-harmonic perturbation to remain strictly convex and for the quermassintegrals to be well-defined and differentiable.
standard math The normalized L^{-n}-moment quermassintegrals I_{k,-n} are defined exactly as in Lutwak's affine theory
Background definition taken from the 1980s literature; the paper does not redefine them.

pith-pipeline@v0.9.0 · 5696 in / 1630 out tokens · 102746 ms · 2026-05-07T11:18:13.570403+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 1 canonical work pages

[1]

Busemann, A theorem on convex bodies of Brunn–Minkowski type,Proceedings of the National Academy of Sciences of the United States of America35(1949), 27–31

H. Busemann, A theorem on convex bodies of Brunn–Minkowski type,Proceedings of the National Academy of Sciences of the United States of America35(1949), 27–31

1949
[2]

Blaschke,Vorlesungen ¨ uber Differentialgeometrie und geometrische Grundlagen von Einsteins Relativit¨ atstheorie, Springer, Berlin, 1923

W. Blaschke,Vorlesungen ¨ uber Differentialgeometrie und geometrische Grundlagen von Einsteins Relativit¨ atstheorie, Springer, Berlin, 1923

1923
[3]

Bonnesen and W

T. Bonnesen and W. Fenchel,Theory of Convex Bodies, BCS Associates, Moscow, ID, 1987

1987
[4]

K. J. B¨ or¨ oczky, K. Patsalos, and C. Saroglou, On Ball’s conjectured Santal´ o type inequality, arXiv:2602.20325, 2026

work page arXiv 2026
[5]

R. J. Gardner,Geometric tomography, Encyclopedia of Mathematics and its Applications, vol. 58, Cambridge University Press, Cambridge, second edition, 2006

2006
[6]

E. L. Grinberg, Isoperimetric inequalities and identities for k-dimensional cross-sections of convex bodies, Math. Ann.291(1991), 75–86

1991
[7]

Lutwak, A general isepiphanic inequality,Proc

E. Lutwak, A general isepiphanic inequality,Proc. Amer. Math. Soc.90(1984), no. 3, 415–421

1984
[8]

Lutwak, Inequalities for Hadwiger’s harmonic Quermassintegrals,Math

E. Lutwak, Inequalities for Hadwiger’s harmonic Quermassintegrals,Math. Ann.280(1988), no. 1, 165–175

1988
[9]

Lutwak, Selected affine isoperimetric inequalities, inHandbook of convex geometry, Vol

E. Lutwak, Selected affine isoperimetric inequalities, inHandbook of convex geometry, Vol. A, B, North-Holland, Amsterdam, (1993), 151–176

1993
[10]

Lutwak, D

E. Lutwak, D. Yang, and G. Zhang, Lp affine isoperimetric inequalities,J. Differential Geom.56(2000), no. 1, 111–132

2000
[11]

Lutwak and G

E. Lutwak and G. Zhang, Blaschke–Santal´ o inequalities,J. Differential Geom.47(1997), no. 1, 1–16

1997
[12]

Meyer and A

M. Meyer and A. Pajor, On the Blaschke–Santal´ o inequality,Arch. Math. (Basel)55(1990), no. 1, 82–93

1990
[13]

Milman and A

E. Milman and A. Yehudayoff, Sharp isoperimetric inequalities for affine quermassintegrals,J. Amer. Math. Soc.36(2023), no. 4, 1061–1101

2023
[14]

Petersen,Riemannian Geometry, third edition, Graduate Texts in Mathematics, vol

P. Petersen,Riemannian Geometry, third edition, Graduate Texts in Mathematics, vol. 171, Springer, Cham, 2016

2016
[15]

C. M. Petty, Projection bodies,Proc. Colloq. Convexity, Copenhagen 1965, Københavns Univ. Mat. Inst., Copenhagen, 1967, 234–241

1965
[16]

C. M. Petty, Isoperimetric problems,Proceedings of the Conference on Convexity and Combinatorial Geometry, University of Oklahoma, Norman, 1971, 26–41

1971
[17]

C. M. Petty, Affine isoperimetric problems, inDiscrete geometry and convexity, Annals of the New York Academy of Sciences, vol. 440, New York Academy of Sciences, New York, 1985, pp. 113–127. ON THE MONOTONICITY OF AFFINE QUERMASSINTEGRALS 19

1985
[18]

L. A. Santal´ o, An affine invariant for convex bodies ofn-dimensional space,Portugal. Math.8(1949), 155–161

1949
[19]

Schneider,Convex bodies: the Brunn–Minkowski theory, second expanded edition, Encyclopedia of Mathematics and its Applications, vol

R. Schneider,Convex bodies: the Brunn–Minkowski theory, second expanded edition, Encyclopedia of Mathematics and its Applications, vol. 151, Cambridge University Press, Cambridge, 2014

2014
[20]

Schneider and W

R. Schneider and W. Weil,Stochastic and Integral Geometry, Probability and Its Applications, Springer, Berlin, 2008. School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui 230026, China Email address:chenshib@ustc.edu.cn Institute for Theoretical Sciences, Westlake University, Hangzhou, 310030, China Email address:lyy...

2008