pith. sign in

arxiv: 2605.30927 · v1 · pith:TU6ECSQSnew · submitted 2026-05-29 · 🧮 math.MG

Translation invariant area measures on convex bodies

Jonas Knoerr This is my paper

Pith reviewed 2026-06-28 20:07 UTC · model grok-4.3

classification 🧮 math.MG
keywords area measuresconvex bodiestranslation invariancenormal cycleGL(n,R) smoothnessHadwiger classificationMcMullen conjecturemixed area measures
0
0 comments X

The pith

GL(n,R)-smooth translation invariant area measures on convex bodies are exactly those obtained by integrating with respect to the normal cycle.

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

The paper introduces continuous translation invariant area measures on convex bodies that obey a locality condition on supporting hyperplanes. Its central theorem equates the subclass of those measures that are smooth under linear transformations with the measures arising directly from the normal cycle. The identification produces classification theorems for measures that are equivariant under compact groups acting transitively on the sphere, establishes density of certain invariant submodules, and recovers McMullen's conjecture on valuations as an immediate consequence of the same cycle representation.

Core claim

The space of GL(n,R)-smooth area measures coincides with the space of area measures obtained by integration with respect to the normal cycle. This yields Hadwiger-type classification results for continuous area measures that are equivariant with respect to compact groups acting transitively on the unit sphere. In addition, a general density criterion for invariant submodules is established and mixed area measures are shown to generate dense submodules with respect to suitable topologies on the space of continuous area measures. As a byproduct, McMullen's conjecture follows directly from the representation of GL(n,R)-smooth translation invariant valuations in terms of integration with respect

What carries the argument

Integration with respect to the normal cycle, which represents every GL(n,R)-smooth translation invariant area measure once locality, continuity, and invariance are imposed.

If this is right

  • Hadwiger-type theorems classify all continuous area measures equivariant under any compact group acting transitively on the sphere.
  • Mixed area measures form a dense submodule in the space of continuous area measures under the topologies considered.
  • McMullen's conjecture on the structure of translation invariant valuations is an immediate corollary of the normal-cycle representation for the smooth case.

Where Pith is reading between the lines

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

  • The same locality-plus-smoothness argument may reduce other invariant functionals on convex bodies to cycle integrals without separate case analysis.
  • Density results for mixed measures suggest that approximation by elementary constructions could extend to broader classes of translation invariant objects.
  • Equivariant classification under transitive sphere actions may apply to related measure-valued functionals arising in integral geometry.

Load-bearing premise

Area measures are defined so that the measure assigned to a set depends only on the supporting hyperplanes in a neighborhood of that set.

What would settle it

Exhibit a continuous translation invariant area measure that is GL(n,R)-smooth yet cannot be recovered by integration against the normal cycle, or show that mixed area measures fail to be dense in one of the topologies where density is claimed.

read the original abstract

We introduce the space of continuous and translation invariant area measures, which are measure-valued functionals on the space of convex bodies satisfying a certain locality condition. Our main result shows that the space of $\mathrm{GL}(n,\mathbb{R})$-smooth area measures coincides with the space of area measures obtained by integration with respect to the normal cycle. We show how this result yields Hadwiger-type classification results for continuous area measures that are equivariant with respect to compact groups acting transitively on the unit sphere. In addition, we establish a general density criterion for invariant submodules and show that mixed area measures generate dense submodules with respect to suitable topologies on the space of continuous area measures. As a byproduct, we discuss how McMullen's Conjecture can be obtained directly from the representation of $\mathrm{GL}(n,\mathbb{R})$-smooth translation invariant valuations on convex bodies in terms of integration with respect to the normal cycle.

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.

Referee Report

0 major / 3 minor

Summary. The paper introduces the space of continuous translation-invariant area measures on convex bodies, which are measure-valued functionals satisfying a locality condition. The central result identifies the subspace of GL(n,ℝ)-smooth such measures with the area measures obtained by integration against the normal cycle. From this identification the authors derive Hadwiger-type classification theorems for measures equivariant under compact groups acting transitively on the sphere, a general density criterion for invariant submodules, and the fact that mixed area measures generate dense submodules in suitable topologies. As a byproduct they obtain McMullen’s conjecture directly from the normal-cycle representation of GL(n,ℝ)-smooth translation-invariant valuations.

Significance. If the identification holds, the work supplies a concrete geometric representation for smooth area measures that unifies several classification and density results in convex geometry. The normal-cycle approach yields explicit Hadwiger-type theorems and a direct route to McMullen’s conjecture, both of which are load-bearing contributions. The density criterion for invariant submodules is a useful technical tool for the broader theory of valuations and measures on convex bodies.

minor comments (3)
  1. [Abstract] The abstract refers to the locality condition without a one-sentence reminder of its precise meaning; adding this would make the statement of the main result self-contained for readers outside the immediate area.
  2. [Section 4] The statement of the density criterion for invariant submodules should explicitly name the topologies in which density is claimed (e.g., weak* or uniform on compact sets) already in the theorem formulation rather than only in the surrounding text.
  3. [Section 5] In the discussion of McMullen’s conjecture it would be helpful to indicate which previously known representation of smooth valuations is being invoked, so that the logical step from the area-measure result to the conjecture is transparent.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The central result identifies the space of GL(n,R)-smooth continuous translation-invariant area measures (with built-in locality) with those obtained by integration against the normal cycle. The normal cycle is a standard external construction in convex geometry; the proof relies on the paper's stated hypotheses (locality + continuity + translation invariance + smoothness) without reducing any equation or claim to a fitted parameter, self-definition, or load-bearing self-citation. The byproduct discussion of McMullen's conjecture follows directly from this representation and does not introduce circular steps. No patterns from the enumerated list are present.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard properties of convex bodies, the definition of the normal cycle as a current, and the representation theory of GL(n) on spaces of measures; no free parameters or invented entities are introduced.

axioms (2)
  • standard math Convex bodies are compact convex sets with nonempty interior in Euclidean space; the normal cycle is a well-defined integral current associated to the boundary.
    Invoked implicitly when area measures are defined via integration against the normal cycle.
  • domain assumption The space of continuous translation-invariant area measures is a module over the ring of continuous functions on the sphere under the natural action.
    Used when stating the density criterion for invariant submodules.

pith-pipeline@v0.9.1-grok · 5677 in / 1461 out tokens · 22946 ms · 2026-06-28T20:07:05.913817+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

44 extracted references · 5 canonical work pages · 2 internal anchors

  1. [1]

    Abardia-Ev´ equoz and A

    J. Abardia-Ev´ equoz and A. Bernig,Additive kinematic formulas for flag area mea- sures, Math. Ann.381(2021), no. 3-4, 1615–1652. MR4333426

    2021

  2. [2]

    Abardia-Ev´ equoz, A

    J. Abardia-Ev´ equoz, A. Bernig, and S. Dann,Flag area measures, Mathematika65 (2019), no. 4, 958–989. MR3984044

    2019

  3. [3]

    Alesker,On P

    S. Alesker,On P. McMullen’s conjecture on translation invariant valuations, Adv. Math.155(2000), no. 2, 239–263. MR1794712

    2000

  4. [4]

    McMullen’s conjecture, Geom

    ,Description of translation invariant valuations on convex sets with solution of P. McMullen’s conjecture, Geom. Funct. Anal.11(2001), no. 2, 244–272. MR1837364

    2001

  5. [5]

    ,Theory of valuations on manifolds. I. Linear spaces, Israel J. Math.156 (2006), 311–339. MR2282381

    2006

  6. [6]

    126, Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2018

    ,Introduction to the theory of valuations, CBMS Regional Conference Series in Mathematics, vol. 126, Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2018. MR3820854

    2018

  7. [7]

    Alesker and J

    S. Alesker and J. H. G. Fu,Theory of valuations on manifolds. III. Multiplicative structure in the general case, Trans. Amer. Math. Soc.360(2008), no. 4, 1951–1981. MR2366970

    2008

  8. [8]

    Bernig,A Hadwiger-type theorem for the special unitary group, Geom

    A. Bernig,A Hadwiger-type theorem for the special unitary group, Geom. Funct. Anal. 19(2009), no. 2, 356–372. MR2545241

    2009

  9. [9]

    Dedicata 203(2019), 85–110

    ,Dual area measures and local additive kinematic formulas, Geom. Dedicata 203(2019), 85–110. MR4027586

    2019

  10. [10]

    Bernig and L

    A. Bernig and L. Br¨ ocker,Valuations on manifolds and Rumin cohomology, J. Differ- ential Geom.75(2007), no. 3, 433–457. MR2301452

    2007

  11. [11]

    Bernig and J

    A. Bernig and J. H. G. Fu,Convolution of convex valuations, Geom. Dedicata123 (2006), 153–169. MR2299731

    2006

  12. [12]

    ,Hermitian integral geometry, Ann. of Math. (2)173(2011), no. 2, 907–945. MR2776365 42 JONAS KNOERR

    2011

  13. [13]

    Bernig and G

    A. Bernig and G. Solanes,Kinematic formulas on the quaternionic plane, Proc. Lond. Math. Soc. (3)115(2017), no. 4, 725–762. MR3716941

    2017

  14. [14]

    Borel,Some remarks about Lie groups transitive on spheres and tori, Bull

    A. Borel,Some remarks about Lie groups transitive on spheres and tori, Bull. Amer. Math. Soc.55(1949), 580–587. MR29915

    1949

  15. [15]

    Cannas da Silva,Lectures on symplectic geometry, Lecture Notes in Mathematics, vol

    A. Cannas da Silva,Lectures on symplectic geometry, Lecture Notes in Mathematics, vol. 1764, Springer-Verlag, Berlin, 2001. MR1853077

    2001

  16. [16]

    J. H. G. Fu,Monge-Amp` ere functions. I, Indiana Univ. Math. J.38(1989), no. 3, 711–743. MR1017333

    1989

  17. [17]

    ,Algebraic integral geometry, Integral geometry and valuations, 2014, pp. 47–

    2014

  18. [18]

    Gask,A proof of Schwartz’s kernel theorem, Math

    H. Gask,A proof of Schwartz’s kernel theorem, Math. Scand.8(1960), 327–332. MR125438

    1960

  19. [19]

    Goodey and W

    P. Goodey and W. Weil,Distributions and valuations, Proc. London Math. Soc. (3) 49(1984), no. 3, 504–516. MR759301

    1984

  20. [20]

    Hadwiger,Vorlesungen ¨ uber Inhalt, Oberfl¨ ache und Isoperimetrie, Springer, Berlin- G¨ ottingen-Heidelberg, 1957

    H. Hadwiger,Vorlesungen ¨ uber Inhalt, Oberfl¨ ache und Isoperimetrie, Springer, Berlin- G¨ ottingen-Heidelberg, 1957. MR0102775

    1957

  21. [21]

    G. C. Hofst¨ atter and J. Knoerr,Localization of valuations and Alesker’s irreducibility theorem, arXiv:2510.25698 (2025)

    work page arXiv 2025

  22. [22]

    Huybrechts,Complex geometry:An introduction, Universitext, Springer-Verlag, Berlin, 2005

    D. Huybrechts,Complex geometry:An introduction, Universitext, Springer-Verlag, Berlin, 2005. MR2093043

    2005

  23. [23]

    Knoerr,The support of dually epi-translation invariant valuations on convex func- tions, J

    J. Knoerr,The support of dually epi-translation invariant valuations on convex func- tions, J. Funct. Anal.281(2021), no. 5, Paper No. 109059, 52. MR4252807

    2021

  24. [24]

    ,Monge-Amp` ere operators and valuations, Calc. Var. Partial Differential Equations63(2024), no. 4, Paper No. 89, 34. MR4728223

    2024

  25. [25]

    Differential Geom.126(2024), no

    ,Smooth valuations on convex functions, J. Differential Geom.126(2024), no. 2, 801–835. MR4728707

    2024

  26. [26]

    ,A Paley–Wiener–Schwartz theorem for smooth valuations on convex func- tions, arXiv:2505.22464 (2025)

    work page arXiv 2025

  27. [27]

    ,Polynomial local functionals on convex functions, arXiv:2512.15402 (2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  28. [28]

    London Math

    ,Smooth valuations on convex bodies and finite linear combinations of mixed volumes, Proc. London Math. Soc.130(2025), no. 6, e70057

    2025

  29. [29]

    ,Integral representation of polynomial local functionals on convex functions, arXiv:2604.24485 (2026)

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  30. [30]

    Kotrbat´ y and T

    J. Kotrbat´ y and T. Wannerer,Integral geometry on the octonionic plane, Indiana Univ. Math. J.74(2025), no. 2, 407–465. MR4915448

    2025

  31. [31]

    McMullen,Valuations and Euler-type relations on certain classes of convex poly- topes, Proc

    P. McMullen,Valuations and Euler-type relations on certain classes of convex poly- topes, Proc. London Math. Soc. (3)35(1977), no. 1, 113–135. MR448239

    1977

  32. [32]

    ,Continuous translation-invariant valuations on the space of compact convex sets, Arch. Math. (Basel)34(1980), no. 4, 377–384. MR593954

    1980

  33. [33]

    ,Weakly continuous valuations on convex polytopes, Arch. Math. (Basel)41 (1983), no. 6, 555–564. MR731639

    1983

  34. [34]

    Montgomery and H

    D. Montgomery and H. Samelson,Transformation groups of spheres, Ann. of Math. (2)44(1943), 454–470. MR8817

    1943

  35. [35]

    R. T. Rockafellar,Convex analysis, Princeton Landmarks in Mathematics, Prince- ton University Press, Princeton, NJ, 1997. Reprint of the 1970 original, Princeton Paperbacks. MR1451876

    1997

  36. [36]

    Schneider,Kinematische Ber¨ uhrmaße f¨ ur konvexe K¨ orper, Abh

    R. Schneider,Kinematische Ber¨ uhrmaße f¨ ur konvexe K¨ orper, Abh. Math. Sem. Univ. Hamburg44(1975), 12–23. MR394447

    1975

  37. [37]

    151, Cambridge University Press, Cambridge,

    ,Convex bodies: the Brunn-Minkowski theory, expanded, Encyclopedia of Mathematics and its Applications, vol. 151, Cambridge University Press, Cambridge,

  38. [38]

    Schuhmacher and T

    J. Schuhmacher and T. Wannerer,Translation invariant curvature measures of convex bodies, arXiv:2601.14193 (2026), available at2601.14193

    work page arXiv 2026

  39. [39]

    R Sepanski,Compact Lie groups, Graduate Texts in Mathematics, vol

    M. R Sepanski,Compact Lie groups, Graduate Texts in Mathematics, vol. 235, Springer, New York, 2007. MR2279709

    2007

  40. [40]

    Wannerer,Integral geometry of unitary area measures, Adv

    T. Wannerer,Integral geometry of unitary area measures, Adv. Math.263(2014), 1–44. MR3239133 TRANSLATION INV ARIANT AREA MEASURES ON CONVEX BODIES 43

    2014

  41. [41]

    Differential Geom.96 (2014), no

    ,The module of unitarily invariant area measures, J. Differential Geom.96 (2014), no. 1, 141–182. MR3161388

    2014

  42. [42]

    Warner,Harmonic analysis on semi-simple Lie groups

    G. Warner,Harmonic analysis on semi-simple Lie groups. I, Die Grundlehren der mathematischen Wissenschaften, vol. Band 188, Springer-Verlag, New York- Heidelberg, 1972. MR498999

    1972

  43. [43]

    Weil,Integral geometry of translation invariant functionals, I: The polytopal case, Adv

    W. Weil,Integral geometry of translation invariant functionals, I: The polytopal case, Adv. in Appl. Math.66(2015), 46–79. MR3328022

    2015

  44. [44]

    ,Integral geometry of translation invariant functionals, II: The case of general convex bodies, Adv. in Appl. Math.83(2017), 145–171. MR3573222 Jonas Knoerr,Institute of Discrete Mathematics and Geometry, TU Wien, Wiedner Hauptstrasse 8-10, 1040 Wien, Austria E-mail address:jonas.knoerr@tuwien.ac.at

    2017