Equality conjecture for the dimension of cone-volume fibers

Let UU(n,m)U \in \mathcal{U}(n,m), and let

U=S1S2SdU=S_1\cup S_2 \cup \cdots \cup S_d

be its unique partition into irreducible sets. Let γCcv(U)R>0m\gamma \in C_{\operatorname{cv}}(U) \cap \mathbb{R}_{>0}^m, and define

S(U,γ)=bR0m:γ(U,b)=γ.S(U,\gamma)=\\{b\in\mathbb{R}_{\geq 0}^m:\gamma(U,b)=\gamma\\}.

Here dim(S(U,γ))\dim^*(S(U,\gamma)) denotes the dimension of this semialgebraic set. Equality conjecture. The dimension satisfies

dim(S(U,γ))=d1.\dim^*(S(U,\gamma))=d-1.

The preceding proposition proves the lower bound dim(S(U,γ))d1\dim^*(S(U,\gamma))\geq d-1; the conjecture asserts that this bound is always sharp, describing the expected dimension of the set of right-hand sides yielding a fixed cone-volume vector.

Sources & referencesView supporting material

Primary source

Tom Baumbach and Martin Henk, “On polynomial inequalities for cone-volumes of polytopes”, arXiv:2506.15370 (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.