On the monotonicity of affine quermassintegrals

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<sup>{-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&lt;k\le n-1$ and $n&gt;(m+2)(k+2)-2$, there exists an origin-symmetric $C<sup>2_+$ convex body $K\subset\mathbb R<sup>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<sup>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.

• The paper demonstrates that the conjectured monotonicity of affine quermassintegrals fails in high dimensions using degree‐four harmonic perturbations.
• It establishes that in low dimensions, particularly in three and four, the full endpoint monotonicity chain holds with equality characterizing ellipsoids.
• The study combines second variation analysis and affine isoperimetric techniques, providing precise dimensional thresholds and new insights for future research.

Monotonicity Phenomena in Affine Quermassintegrals

Introduction

The paper "On the monotonicity of affine quermassintegrals" (2604.26828) undertakes a rigorous analysis of the monotonicity properties for affine quermassintegrals, focusing on the endpoint $L^{-n}$-moment quermassintegrals $I_{k, -n}(K)$ as introduced by Lutwak in the context of affine Brunn–Minkowski theory. The monotonicity conjecture in question, motivated by an Alexandrov–Fenchel-type chain, predicts that

$I_{m, -n}(K)^{1/m} \geq I_{k, -n}(K)^{1/k}$

for all convex bodies $K \subset \mathbb{R}^n$ and integers $1 \le m < k \le n$. While full chains of analogues exist in the classical (Euclidean) setting, the affine analogues' behavior remained unresolved for several parameter ranges, forming a central question in the field.

Main Results

The authors provide two primary contributions:

1. Negative Result (Failure of Full Monotonicity): They rigorously demonstrate that the monotonicity chain conjecture for affine quermassintegrals fails outside low-dimensional regimes. Specifically, for all integers $1 \leq m < k \leq 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};$

i.e., the conjectured monotonicity is strictly reversed in high enough dimensions.

The construction is local: the bodies $I_{k, -n}(K)$0 are obtained as small degree-four even spherical harmonic perturbations (zonal harmonics) of the Euclidean ball, ensuring that the effect is not due to affine or volume-preserving transformations, but captures genuinely new instability phenomena in non-quadratic harmonic directions. The precise instability regime is given by $I_{k, -n}(K)$1.

2. Positive Result (Low-Dimensional Endpoints): The study further establishes that, in dimension three, the full endpoint monotonicity chain does hold. For all convex bodies $I_{k, -n}(K)$2,

$I_{k, -n}(K)$3

with equality (in the non-trivial inequalities) precisely characterizing origin-centered ellipsoids up to translations and nonsingular affine transformations. The proof in dimension three relies on global affine-geometric inequalities and reduction to sharp planar estimates, leveraging centroid bodies and the Blaschke–Santaló inequality through the Blaschke–Petkantschin formula.

Moreover, the argument for the first endpoint comparison extends to dimension four.

Technical Approach

Second Variation Analysis

The core of the negative result is a detailed second variation analysis. For a convex body $I_{k, -n}(K)$4 with support function $I_{k, -n}(K)$5, where $I_{k, -n}(K)$6 is a degree-four, origin-symmetric, even spherical harmonic, the authors expand

$I_{k, -n}(K)$7

to quadratic order in $I_{k, -n}(K)$8. They identify the explicit sign of the $I_{k, -n}(K)$9 coefficient, which depends on $I_{m, -n}(K)^{1/m} \geq I_{k, -n}(K)^{1/k}$0. When $I_{m, -n}(K)^{1/m} \geq I_{k, -n}(K)^{1/k}$1, this coefficient is negative, directly establishing the failure of the conjectured monotonicity.

Their technical analysis leverages:

• The explicit expansion of projection volumes via support functions and spherical harmonics,
• Uniform control of Taylor remainders,
• Grassmannian averages of zonal spherical harmonics, showcasing how higher degree harmonics contribute non-trivially to monotonicity breakdown.

Endpoint Case (Dimension Three)

Dimension three is addressed via a distinct reduction. By expressing the relevant $I_{m, -n}(K)^{1/m} \geq I_{k, -n}(K)^{1/k}$2-moment integrals in terms of body difference and projection bodies, the monotonicity inequality reduces, through polar calculations and the Blaschke–Petkantschin formula, to a sharp inequality for symmetric planar convex bodies. This involves the determinant moments on convex bodies and their polars, centroid body theory, and affine isoperimetric inequalities (Blaschke–Santaló). The equality case identifies ellipsoids using an overview of the aforementioned geometric tools.

Implications and Theoretical Significance

This work definitively resolves the monotonicity question for affine quermassintegrals in large dimensions and provides sharp characterizations in low dimensions. The findings show that, contrary to both the original conjecture and the classical Euclidean monotonicity chains, affine quermassintegrals can violate the expected Alexandrov–Fenchel-type monotonicity outside constrained parameter regimes; the classical analogy breaks down due to higher-order harmonic instabilities not present in traditional Brunn–Minkowski theory.

On a theoretical level, this introduces new complexity into the structure of affine isoperimetric inequalities and clarifies the sharp dimensional thresholds and the role of symmetry in extremal problems. The construction of local counterexamples via degree-four harmonics also provides a roadmap for analyzing further affine geometric functionals.

In terms of affine invariant convex geometry and integral geometry, the characterization of the equality case strengthens underlying structural conjectures about characterization by ellipsoids, affirming their extremality in the affine normalization context.

Prospects for Further Research

Potential future directions include:

• Analysis of monotonicity and extremal structure for other critical exponents or $I_{m, -n}(K)^{1/m} \geq I_{k, -n}(K)^{1/k}$3 projections beyond the $I_{m, -n}(K)^{1/m} \geq I_{k, -n}(K)^{1/k}$4 case,
• Investigation of non-local obstructions and higher-order stability phenomena for related affine functionals,
• Extension of the explicit sharp planar inequalities and determinant estimates to more general settings (including non-Euclidean normed spaces or discrete analogues),
• Exploration of algorithmic implications for geometric tomography and convex body reconstruction, given the breakdown of monotonicity.

Conclusion

The paper settles a central open question in the affine Brunn–Minkowski program by establishing that monotonicity of affine quermassintegrals does not hold universally, except in low-dimensional cases. The precise construction of counterexamples via small harmonic perturbations and the full characterization of the low-dimensional theory significantly advance our understanding of affine isoperimetric inequalities. These results enforce a nuanced view of affine convex geometry and underscore the limitations of classical analogies when extended to the affine setting.