For a graph $G$, Postnikov-Shapiro \cite{ PS04} construct two ideals $I_G$ and $J_G.$ $I_G$ is a monomial ideal and $J_G$ is generated by powers of linear forms. They proved the equality of their Hilbert series and conjectured that the graded Betti numbers are equal. When $G=K_{ n+1}^{ l,k}$ is the complete graph on the vertices $\{ 0,1,\cdots, n\}$ with the edges $e_{ i, j},$ $i, j\neq 0,$ of multiplicity $k$ and the edges $e_{ 0, i}$ of multiplicity $l,$ for two non-negative integers $k$ and $l,$ they gave an explicit formula for the graded Betti numbers of $I_G,$ which are conjecturally the same for $J_G.$ We prove this conjecture in the case $n=3,$ which was also conjectured by Schenck \cite{ S04}.
Categories: math.AC math.CO