The harmonic algebra algebraic-properties conjecture
Let PPP be a lattice polytope, and let HP⊆R[y0,y]{\mathcal H}_P\subseteq\mathbb{R}[y_0,\mathbf{y}]HP⊆R[y0,y] be its harmonic algebra, with bigraded ideal H‾P\overline{{\mathcal H}}_PHP. Harmonic algebr…