Irreducibility conjecture for zero-total curvature measures

Let nn be a positive integer, let Curvk±(Rn)\operatorname{Curv}_k^\pm(\mathbb{R}^n) be the even or odd degree-kk curvature measures, and define

Zk±(Rn)={ΦCurvk±(Rn):Φ(K,Rn)=0 for every convex body K}.\operatorname{Z}_k^\pm(\mathbb{R}^n)=\{\Phi\in\operatorname{Curv}_k^\pm(\mathbb{R}^n):\Phi(K,\mathbb{R}^n)=0\text{ for every convex body }K\}.

This is an invariant closed subspace under the action of GL(n,R)GL(n,\mathbb{R}). Irreducibility conjecture. For k{0,,n2}k\in\{0,\ldots,n-2\}, the representation of GL(n,R)GL(n,\mathbb{R}) on Zk±(Rn)\operatorname{Z}_k^\pm(\mathbb{R}^n) is irreducible. The paper states that this conjecture, together with the density conjecture, is confirmed in degrees 00 and n2n-2; its validity in the remaining degrees is not established here.

Sources & referencesView supporting material

Primary source

Jakob Schuhmacher and Thomas Wannerer, “Translation invariant curvature measures of convex bodies”, arXiv:2601.14193 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.