Pith. sign in

REVIEW 2 major objections 3 minor 31 references

Isometry invariant valuations on spherical polytopes

T0 review · 2 major / 3 minor · reviewed 2026-08-27 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every continuous rotation-invariant valuation on spherical polytopes is a linear combination of the spherical intrinsic volumes.

desk verdict Spherical Hadwiger theorem for polytopes in all dimensions, conditional on a companion preprint's vanishing result; if that holds, this is a major result. read the letter →

arxiv 2608.26015 v1 pith:YXYQLGX4 submitted 2026-08-26 math.MG

Jonas Knoerr This is my paper · ORCID
classification math.MG MSC 52B4552A5552B11
keywords sphericalpolytopesvaluationsisometryinvariantintrinsicvolumesaffinesmoothgnomonicprojectiontranslationsimple
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

This paper attempts to settle the spherical half of a long-standing classification problem: which quantities assigned to spherical polytopes are additive under dissection and invariant under rotations? The claimed answer is that there are exactly n+1 independent such quantities, the spherical intrinsic volumes $V_0,\dots,V_n$, and every continuous rotation-invariant valuation is a unique linear combination of them. The consequence would be a complete Euclidean-style classification on the sphere in every dimension, extending by Hausdorff approximation to spherical convex bodies. The proof works by showing that polytopal valuations that are smooth under the affine group have weak derivatives in the dilation parameter, and then reducing the spherical problem to known Euclidean results for translation-invariant measurable valuations on polytopes.

What carries the argument

The central mechanism is weak differentiability of affine smooth valuations on polytopes. For a valuation $\mu$ on the polytopes in $\mathbb{R}^n$ whose value $\mu(A(P))$ is smooth in the affine coordinate $A$, the map $t\mapsto\mu(g(tP+x))$ is smooth pointwise; this rests on the Canonical Simplex Decomposition and the Inclusion-Exclusion Principle. This yields a filtration $W^k$ by vanishing of the first $k$ derivatives at $t=0$, and the $k$-th derivative $D^k_x\mu$ is a translation-invariant, measurable, $k$-homogeneous valuation. The gnomonic projection converts $\mathrm{GL}(n+1,\mathbb{R})$-smooth spherical valuations into affine smooth Euclidean valuations chart by chart, and a uniform-decay estimate on rescaled simplices lets one propagate the vanishing of $D^k_0$ from one chart to every chart, substituting for the chain rule that is not available at this regularity.

What would settle it

The theorem predicts a testable equality: for every continuous rotation-invariant simple valuation on spherical polytopes, any two full-dimensional spherical polytopes of equal spherical Lebesgue measure must receive the same value. A reader could search for a rotation-invariant simple valuation on $\mathcal{P}(S^2)$ defined on spherical triangles by a nonconstant symmetric function of the three angles, extended by inclusion-exclusion to all polytopes; if the valuation identity holds on a triangulation and the function is not proportional to area, Theorem B is false. The proof itself can be checked by isolating Proposition 2.7 and testing whether a translation-invariant measurable simple $k$-homogeneous valuation on Euclidean polytopes with $k<n$ must vanish on the standard simplex; a nonzero example would break the induction.

Watch

Extended reading notes

Core claim

On the unit sphere $S^n$, identify each spherical polytope with the polyhedral cone it spans. The paper proves that any continuous valuation on the space of such polytopes that is invariant under the full rotation group $\mathrm{SO}(n+1)$ is a linear combination of the spherical intrinsic volumes $V_0,\dots,V_n$. It first reduces the general statement to the simple case, where the valuation vanishes on every lower-dimensional spherical polytope; it then proves that every rotation-invariant simple valuation is a multiple of the spherical Lebesgue measure, and obtains the general case by induction over great subspheres. The same characterization is stated for continuous valuations on spherical convex bodies, since spherical polytopes are Hausdorff dense among them.

Load-bearing premise

The whole induction rests on a vanishing result quoted from a companion preprint rather than proved here: the only measurable translation-invariant rotation-invariant valuations on Euclidean polytopes that vanish on all lower-dimensional sets are zero, and if that statement fails at any degree the spherical proof has no way to move from one filtration step to the next.

Editorial extensions

If this is right

  • The continuous $\mathrm{SO}(n+1)$-invariant valuations on $\mathcal{P}(S^n)$ form an $(n+1)$-dimensional vector space with basis $V_0,\dots,V_n$.
  • The same classification holds for continuous $\mathrm{SO}(n+1)$-invariant valuations on spherical convex bodies, because every spherical convex body is a Hausdorff limit of spherical polytopes.
  • Every continuous rotation-invariant simple valuation on spherical polytopes is a constant multiple of the spherical Lebesgue measure; this is the special case that carries the proof.
  • The spherical case of the classification problem for valuations on space forms is settled, while the hyperbolic case is not addressed in this paper.
  • The reduction shows that the spherical statement is a consequence of the Euclidean polytopal statement under measurability, so improvements to that Euclidean result transfer directly to the sphere.

Reading between the lines

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

  • Beyond the paper: because the hard input is a Euclidean vanishing statement under measurability, the same proof would likely go through if 'continuous' were weakened to 'measurable' in the spherical theorem, provided the smoothing step can be adapted.
  • Beyond the paper: the gnomonic-projection argument is special to the sphere; a hyperbolic analogue would need an infinitesimal model with the same rigidity, and nothing in this paper supplies it.
  • Beyond the paper: the reliance on Proposition 2.7 from a companion preprint means the theorem should be read as conditional on that companion; verifying that vanishing result in isolation is the fastest check of the proof.
  • Beyond the paper: because spherical polytopes correspond to polyhedral cones in $\mathbb{R}^{n+1}$, the classification may transfer to rotation-invariant valuations on fans of cones, a neighbouring setting not addressed here.
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

2 major / 3 minor

Summary. The paper claims a complete solution to the spherical polytope case of the McMullen-Schneider problem: Theorem A states that every continuous and SO(n+1)-invariant valuation on the space P(S^n) of spherical polytopes is a linear combination of the spherical intrinsic volumes V_0,...,V_n. The proof reduces Theorem A to Theorem B for simple valuations, approximates general invariant valuations by GL(n+1,R)-smooth ones, and transfers the problem to Euclidean polytopes by the gnomonic projection. The central machinery is a weak differentiability theorem for affine smooth valuations on polytopes (Theorem 3.1), a filtration W^k by vanishing of derivative valuations D^k_x, and Lemma 4.4, which serves as a substitute for a chain rule via uniform Taylor estimates. The conclusion of the induction in Theorem 4.6 rests on a quoted vanishing result, Proposition 2.7, taken from the author's companion preprint [20].

Significance. If correct, Theorem A settles a well-known open problem in geometric valuation theory and extends Hadwiger's characterization to the sphere in a strictly polytopal formulation, without passing through smooth valuations on convex bodies. The filtration and derivative formalism introduced here are natural and may well be useful beyond this paper. The exposition is careful, the reduction to simple valuations is convincing, and the uniform decay estimates in Lemma 3.9 and Corollary 3.10 are cleanly presented. The main obstacle is that the proof is not self-contained: the crucial vanishing result Proposition 2.7 is imported from a companion preprint and is used at every induction step of Theorem 4.6, so the central claim cannot be fully verified from this submission alone.

major comments (2)
  1. [§2.2, Proposition 2.7; §4.3, Theorem 4.6] Proposition 2.7 is quoted from [20, Proposition 5.4] and is invoked at every induction step in Theorem 4.6 to conclude D^k_0(G_{u0}*µ)=0 for k=0,...,n-1. This vanishing is exactly what allows the induction to advance from W^k to W^{k+1}, so the conclusion of Theorem 4.6, and therefore of Theorem A, is not self-contained. Please include a complete proof of Proposition 2.7 in this paper (an appendix would suffice), or, if citing the companion preprint remains necessary, provide the preprint with the submission and quote in full the precise statement used here, together with a verification that all its hypotheses apply to D^k_0(G_{u0}*µ).
  2. [§4.3, Theorem 4.6] Before Proposition 2.7 is applied, the valuation D^k_0(G_{u0}*µ) must be shown to be translation invariant, SO(u^⊥)-invariant, measurable, simple, and k-homogeneous. Translation invariance and homogeneity follow from Proposition 3.5, and simplicity is asserted, but the SO(u^⊥)-invariance is justified only by the sentence 'Lemma 2.11 implies it is SO(u^⊥)-invariant'. Since this hypothesis is essential for the quoted vanishing result, please expand this into an explicit computation, for instance using the compatibility g^{u_0,0}_t g^{u_0,0}_A = g^{u_0,0}_{tA} on u^⊥.
minor comments (3)
  1. [§2.3, Lemma 2.13] In the proof of Lemma 2.13, the justification of the nonvanishing differential is incorrect in the case x⊥v: the displayed inner product ⟨x−⟨x,v⟩v,u0⟩ equals 0 in that case. The conclusion of invertibility is still valid, because then the differential is ⟨v,u0⟩x, which is nonzero, but the sentence should be corrected.
  2. [§2.2] The definition of measurability says 'the preimage of any open subset of R^n is a Borel set of P(R^n)'; since the codomain is R, this should read 'any open subset of R'.
  3. [§3.2, Lemma 3.9] The text 'ir is uniformly continuous' contains a typo and should read 'it is uniformly continuous'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the spherical classification is reduced to an independent Euclidean vanishing result, not assumed.

full rationale

The derivation chain is not circular. Theorem A is reduced to Theorem B via a standard induction, and Theorem B is reduced to the smooth case by a standard convolution approximation (Corollary 4.2). Theorem 4.6 then transfers the problem through gnomonic projections to affine smooth valuations on Euclidean polytopes; the enabling input is Proposition 2.7, quoted from the author's companion preprint [20]. That proposition is a vanishing theorem for measurable, translation- and SO(n)-invariant, simple valuations on P(R^n) that are homogeneous of degree k < n. Its hypotheses do not include the spherical classification Theorem A or Theorem B, it contains no fitted parameters, and it is a genuinely separate Euclidean result. Thus the reliance on [20] is a self-citation dependency and is load-bearing for the induction, but it is not circular: the paper does not define the spherical conclusion into the assumptions, and it does not rename a fitted quantity as a prediction. The remaining ingredients, including the Canonical Simplex Decomposition argument in Theorem 3.1, the filtration results Propositions 3.7 and 3.8, and the transfer Lemma 4.4, are proved inside the paper. No equation in the paper is equivalent by construction to the result it is meant to establish. The questionable nonvanishing estimate in the proof of Lemma 2.13 is a potential proof gap, but it is a correctness issue, not a circularity issue, and does not change this finding.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The theorem is derived from classical valuation theory, the author's adapted version of Alesker's filtration, and one external proposition from the companion paper. The only non-standard ingredient that could fail is Proposition 2.7; everything else is proved in the text or is standard background. No free parameters or invented entities appear.

assumptions (5)
  • standard math Standard facts of convex geometry and valuation theory: Hadwiger's theorem, Blaschke Selection, the Canonical Simplex Decomposition, and Hausdorff metric convergence characterizations.
    Invoked throughout Sections 2 and 3; these are classical results from [15] and [28].
  • domain assumption Proposition 2.7: measurable, translation and SO(n)-invariant, simple valuations on polytopes homogeneous of degree k < n vanish identically.
    Quoted from the author's companion preprint arXiv:2608.19110. This is the key external input for the induction in Theorem 4.6 and is not proved in this paper.
  • domain assumption Alesker's theory of quasi-smooth valuations and the filtration by vanishing derivatives, adapted to polytopes.
    The W^k filtration and the proofs of Propositions 3.7 and 3.8 are adapted from Alesker [3]; the paper supplies full proofs of the adapted statements.
  • standard math The gnomonic projection maps open hemispheres diffeomorphically to tangent hyperplanes and maps spherical polytopes to Euclidean polytopes.
    Lemma 2.8 and surrounding discussion; classical spherical geometry.
  • standard math Haar measure on GL(n+1,R) and convolution with smooth compactly supported functions produce smooth invariant approximations with pointwise convergence.
    Used in Corollary 4.2; standard functional analysis.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Isometry invariant valuations on spherical polytopes." pith.science (2026). https://pith.science/paper/YXYQLGX4

@misc{pith2026260826015,
  author       = {Pith},
  title        = {Pith review of: Isometry invariant valuations on spherical polytopes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YXYQLGX4}},
  note         = {Machine review of arXiv:2608.26015}
}
abstract

We show that every continuous and isometry invariant valuation on spherical polytopes is a linear combination of the spherical intrinsic volumes. The proof relies on a weak differentiability property satisfied by valuations on polytopes in $\mathbb{R}^n$ with a natural smoothness property with respect to the action of the affine group. This enables us to transfer several results established by Alesker for quasi-smooth valuations to the polytopal setting, and to reduce the problem to the translation invariant case of measurable valuations on polytopes.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 28 canonical work pages

  1. [20]

    ,Rigid motion invariant valuations on polytopes, arXiv 2608.19110 (2026)

    work page Pith review arXiv 2026

  2. [1]

    Alesker,Description of continuous isometry covariant valuations on convex sets, Geom

    S. Alesker,Description of continuous isometry covariant valuations on convex sets, Geom. Dedicata74(1999), no. 3, 241–248. MR1669363

    work page 1999

  3. [2]

    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

    work page 2001

  4. [3]

    ,Theory of valuations on manifolds. I. Linear spaces, Israel J. Math.156 (2006), 311–339. MR2282381 ISOMETRY INV ARIANT V ALUATIONS ON SPHERICAL POLYTOPES 19

    work page 2006

  5. [4]

    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

    work page 2018

  6. [5]

    Alesker and D

    S. Alesker and D. Faifman,Convex valuations invariant under the Lorentz group, J. Differential Geom.98(2014), no. 2, 183–236. MR3238311

    work page 2014

  7. [6]

    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

    work page 2007

  8. [7]

    Bernig, J

    A. Bernig, J. H. G. Fu, and G. Solanes,Integral geometry of complex space forms, Geom. Funct. Anal.24(2014), no. 2, 403–492. MR3192033

    work page 2014

Show all 31 references
  1. [8]

    Bernig, J

    A. Bernig, J. H G Fu, G. Solanes, and T. Wannerer,The Weyl tube theorem for K¨ ahler manifolds, Geom. Topol.30(2026), no. 7, 2713–2772. MR5118603

    2026

  2. [9]

    Bernig, J

    A. Bernig, J. Kotrbat´ y, and T. Wannerer,Hard Lefschetz theorem and Hodge- Riemann relations for convex valuations, arXiv:2312.12294 (2024)

    2024 arXiv

  3. [10]

    Besau and F

    F. Besau and F. Schuster,Binary operations in spherical convex geometry, Indiana Univ. Math. J.65(2016), no. 4, 1263–1288. MR3549201

    2016

  4. [11]

    K. J. B¨ or¨ oczky and M. Ludwig,Minkowski valuations on lattice polytopes, J. Eur. Math. Soc. (JEMS)21(2019), no. 1, 163–197. MR3880207

    2019

  5. [12]

    Chen,A simplified elementary proof of Hadwiger’s volume theorem, Geom

    B. Chen,A simplified elementary proof of Hadwiger’s volume theorem, Geom. Dedi- cata105(2004), 107–120. MR2057247

    2004

  6. [13]

    Faifman and G

    D. Faifman and G. C. Hofst¨ atter,Convex valuations from Whitney to Nash, Duke Math. J.174(2025), no. 14, 3063–3133. MR4974475

    2025

  7. [14]

    Freyer, M

    A. Freyer, M. Ludwig, and M. Rubey,Unimodular valuations beyond Ehrhart, Forum Math. Sigma13(2025), Paper No. e188, 26. MR4990253

    2025

  8. [15]

    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

  9. [16]

    D. A. Klain,A short proof of Hadwiger’s characterization theorem, Mathematika42 (1995), no. 2, 329–339. MR1376731

    1995

  10. [17]

    ,Isometry-invariant valuations on hyperbolic space, Discrete Comput. Geom. 36(2006), no. 3, 457–477. MR2255514

    2006

  11. [18]

    D. A. Klain and G.-C. Rota,Introduction to geometric probability, Lezioni Lincee. [Lincei Lectures], Cambridge University Press, Cambridge, 1997. MR1608265

    1997

  12. [19]

    Knoerr,Smooth valuations on convex bodies and finite linear combinations of mixed volumes, Proc

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

    2025

  13. [21]

    Ludwig,Ellipsoids and matrix-valued valuations, Duke Math

    M. Ludwig,Ellipsoids and matrix-valued valuations, Duke Math. J.119(2003), no. 1, 159–188. MR1991649

    2003

  14. [22]

    Ludwig and F

    M. Ludwig and F. Mussnig,Valuations on convex bodies and functions, Convex ge- ometry, 2023, pp. 19–78

    2023

  15. [23]

    Ludwig and M

    M. Ludwig and M. Reitzner,A classification ofSL(n)invariant valuations, Ann. of Math. (2)172(2010), no. 2, 1219–1267. MR2680490

    2010

  16. [24]

    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

  17. [25]

    McMullen and R

    P. McMullen and R. Schneider,Valuations on convex bodies, Convexity and its ap- plications, 1983, pp. 170–247. MR731112

    1983

  18. [26]

    A. V. Pukhlikov and A. G. Khovanski˘i,Finitely additive measures of virtual polyhedra, Algebra i Analiz4(1992), no. 2, 161–185. MR1182399

    1992

  19. [27]

    Schneider,Simple valuations on convex bodies, Mathematika43(1996), no

    R. Schneider,Simple valuations on convex bodies, Mathematika43(1996), no. 1, 32–

    1996

  20. [28]

    151, Cambridge University Press, Cambridge,

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

  21. [29]

    Schuster and T

    F. Schuster and T. Wannerer,Minkowski valuations and generalized valuations, J. Eur. Math. Soc. (JEMS)20(2018), no. 8, 1851–1884. MR3854893

    2018

  22. [30]

    F. E. Schuster and T. Wannerer, GL(n)contravariant Minkowski valuations, Trans. Amer. Math. Soc.364(2012), no. 2, 815–826. MR2846354

    2012

  23. [31]

    Weyl,On the Volume of Tubes, Amer

    H. Weyl,On the Volume of Tubes, Amer. J. Math.61(1939), no. 2, 461–472. MR1507388 20 JONAS KNOERR 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

    1939

Pith tools

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