Novikov operad不是Koszul的

一个满足恒等式 $a\circ(b\circ c-c\circ b)=(a\circ b)\circ c-(a\circ c)\circ b$ 和 $a\circ(b\circ c)=b\circ(a\circ c)$ 的代数称为Novikov代数。我们证明Novikov operad不是Koszul的。