A new mathematical preprint gives an exact answer to a Hadwiger-like question in spherical geometry: every continuous valuation on a specified class of spherical polytopes that is unchanged by rotations can be written as a linear combination of spherical intrinsic volumes. In ordinary terms, the theorem says that all qualifying measurements of these shapes come from the same basic family of geometric quantities.
The result appears as arXiv:2608.26015v1, dated 26 August 2026. It is a preprint.
The classification has a defined boundary
The theorem concerns P(Sn): spherical polytopes contained in an open hemisphere and expressible as finite intersections of closed hemispheres. That domain is narrower than the collection of all possible spherical sets, so the conclusion applies to a clearly defined class of shapes rather than to every object on a sphere.
The other conditions are just as important. A valuation must be continuous, meaning it belongs to the paper’s continuity class, and SO(n + 1)-invariant, meaning the assigned value is unchanged by the relevant rotations. The paper does not claim to classify arbitrary valuations that lack those conditions.
The phrase “linear combination” means that a qualifying valuation can be assembled by multiplying spherical intrinsic volumes by constants and adding the results. The finding is therefore a classification: within the stated setting, it rules out the need for another independent type of continuous invariant valuation.
The simplest cases collapse to one measure
The preprint also isolates the valuations it calls simple. For that subclass, the result is more specific: every continuous SO(n + 1)-invariant valuation is a scalar multiple of spherical Lebesgue measure. Rather than allowing a mixture of several geometric quantities, the simple case leaves only one measure, up to scale.
The same conclusion is proved for the smooth simple subclass. A smooth, SO(n + 1)-invariant simple valuation is also a multiple of spherical Lebesgue measure, extending the measure characterization to the smoother setting used in the proof.
A bridge between spherical and Euclidean geometry
Much of the argument develops tools for affine-smooth valuations on Euclidean polytopes. The proof uses automatic weak differentiability for these valuations. Another result shows that smoothness of the affine-group action map implies smoothness of a related map involving scaling, linear transformations and translations.
The spherical part is connected to this Euclidean machinery through the gnomonic pullback. The paper shows that this transfer preserves continuous valuations, while GL(n + 1, R)-smoothness implies affine smoothness. That gives the proof a way to move the relevant regularity questions between the two geometric settings.
The argument also studies how derivative information propagates through a valuation filtration, a nested structure used to organize the proof. Under the stated invariance, simplicity and filtration assumptions, if the derivative vanishes at one chart origin, the valuation belongs to the next filtration level in every chart.
On the Euclidean side, the paper proves Wn+1(Rn) = 0, showing that the filtration terminates at that level. It also shows that a valuation in Wn(Rn) is a smooth measure. These intermediate results support the final reduction of the smooth simple spherical case to spherical Lebesgue measure.
To pass from smooth objects to the full continuous class, the paper proves a pointwise approximation result: every continuous SO(n + 1)-invariant valuation can be approximated by smooth invariant valuations, and simple valuations can be approximated by simple ones. This connects the smooth classification with the broader continuous theorem.
A precise mathematical result
The conclusions are exact within their assumptions, but those assumptions define the scope. They cover continuous SO(n + 1)-invariant valuations on spherical polytopes in an open hemisphere; they do not extend the theorem to spherical sets outside that domain or to valuations without continuity or rotational invariance.
The research was funded in whole or in part by the Austrian Science Fund, identified in the acknowledgement as FWF grant 10.55776/PAT4205224.
Paper data and sources
Original title: Isometry invariant valuations on spherical polytopes
Authors: Jonas Knoerr
Journal/Repository: arXiv
Status: Preprint, not yet peer-reviewed
First online: 2026-08-26
DOI: Not available
Original paper · Full text