Nonnegativity conjecture for the invariant c of integral polytopes

Let PP be an integral polytope, and let

c(P)=FP(1)codim(F)(dim(F)+1)!Vol(F),c(P)=\sum_{F\subset P}(-1)^{\operatorname{codim}(F)}(\dim(F)+1)!\operatorname{Vol}(F),

where the sum runs over all nonempty faces FF of PP. Nonnegativity conjecture. The invariant c(P)c(P) is nonnegative:

c(P)0.c(P)\geq 0.

Numerical experiments and examples, including the hypersimplex Δ(3,6)\Delta(3,6), support this conjecture. The claim is presented as an open conjecture for integral polytopes.

Sources & referencesView supporting material

Primary source

Sandra Di Rocco, “Toric manifolds with degenerate dual variety and defect polytopes”, arXiv:math/0305150 (2003).

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.